Safe Haskell | Safe-Infered |
---|
- type Agenda = [SimpleItem]
- type AuxAgenda = [SimpleItem]
- type Chart = [SimpleItem]
- data SimpleStatus
- type SimpleState a = BuilderState SimpleStatus a
- data SimpleItem = SimpleItem {
- siId :: ChartId
- siSubstnodes :: [NodeName]
- siAdjnodes :: [NodeName]
- siSemantics :: BitVector
- siPolpaths :: BitVector
- siNodes :: [GNode GeniVal]
- siDerived :: Tree Text
- siRoot_ :: NodeName
- siFoot_ :: Maybe NodeName
- siPendingTb :: [NodeName]
- siDerivation :: TagDerivation
- siGuiStuff :: SimpleGuiItem
- simpleBuilder_2p, simpleBuilder_1p :: SimpleBuilder
- simpleBuilder :: Bool -> SimpleBuilder
- theAgenda :: SimpleStatus -> Agenda
- theHoldingPen :: SimpleStatus -> AuxAgenda
- theChart :: SimpleStatus -> Chart
- theResults :: SimpleStatus -> [SimpleItem]
- initSimpleBuilder :: Bool -> Input -> [Flag] -> (SimpleStatus, Statistics)
- addToAgenda :: SimpleItem -> SimpleState ()
- addToChart :: SimpleItem -> SimpleState ()
- genconfig :: SimpleStatus -> [Flag]
- data SimpleGuiItem = SimpleGuiItem {
- siHighlight :: [Text]
- siDiagnostic :: [String]
- siFullSem :: Sem
- siIdname :: Text
- theTrash :: SimpleStatus -> Trash
- step :: SimpleStatus -> GenerationPhase
- unpackResult :: SimpleItem -> [Output]
- testCanAdjoin :: SimpleItem -> TagSite -> Maybe (TagSite, TagSite, Subst)
- testIapplyAdjNode :: Bool -> SimpleItem -> SimpleItem -> Maybe SimpleItem
- testEmptySimpleGuiItem :: SimpleGuiItem
Documentation
type Agenda = [SimpleItem]
type AuxAgenda = [SimpleItem]
type Chart = [SimpleItem]
data SimpleStatus
type SimpleState a = BuilderState SimpleStatus a
data SimpleItem
SimpleItem | |
|
simpleBuilder_2p, simpleBuilder_1p :: SimpleBuilder
simpleBuilder :: Bool -> SimpleBuilder
theAgenda :: SimpleStatus -> Agenda
theChart :: SimpleStatus -> Chart
theResults :: SimpleStatus -> [SimpleItem]
initSimpleBuilder :: Bool -> Input -> [Flag] -> (SimpleStatus, Statistics)
Creates an initial SimpleStatus.
addToAgenda :: SimpleItem -> SimpleState ()
addToChart :: SimpleItem -> SimpleState ()
genconfig :: SimpleStatus -> [Flag]
data SimpleGuiItem
Things whose only use is within the graphical debugger
SimpleGuiItem | |
|
theTrash :: SimpleStatus -> Trash
step :: SimpleStatus -> GenerationPhase
unpackResult :: SimpleItem -> [Output]
Aliases to non-exported functions
testCanAdjoin :: SimpleItem -> TagSite -> Maybe (TagSite, TagSite, Subst)
testIapplyAdjNode :: Bool -> SimpleItem -> SimpleItem -> Maybe SimpleItem