Safe Haskell | None |
---|
- 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 :: PolPathSet
- siNodes :: [GNode GeniVal]
- siDerived :: Tree Text
- siRoot_ :: NodeName
- siFoot_ :: Maybe NodeName
- siPendingTb :: [NodeName]
- siDerivation :: TagDerivation
- siGuiStuff :: SimpleGuiItem
- simpleBuilder_1p :: SimpleBuilder
- simpleBuilder_2p :: 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 :: [Text]
- 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]Source
type AuxAgenda = [SimpleItem]Source
type Chart = [SimpleItem]Source
data SimpleStatus Source
type SimpleState a = BuilderState SimpleStatus aSource
data SimpleItem Source
SimpleItem | |
|
simpleBuilder_1p :: SimpleBuilderSource
simpleBuilder_2p :: SimpleBuilderSource
simpleBuilder :: Bool -> SimpleBuilderSource
theChart :: SimpleStatus -> ChartSource
theResults :: SimpleStatus -> [SimpleItem]Source
:: Bool | use two phase algorithm |
-> Input | input items |
-> [Flag] | GenI options |
-> (SimpleStatus, Statistics) |
Creates an initial SimpleStatus.
addToAgenda :: SimpleItem -> SimpleState ()Source
addToChart :: SimpleItem -> SimpleState ()Source
genconfig :: SimpleStatus -> [Flag]Source
data SimpleGuiItem Source
Things whose only use is within the graphical debugger
SimpleGuiItem | |
|
theTrash :: SimpleStatus -> TrashSource
step :: SimpleStatus -> GenerationPhaseSource
unpackResult :: SimpleItem -> [Output]Source
Aliases to non-exported functions
testCanAdjoin :: SimpleItem -> TagSite -> Maybe (TagSite, TagSite, Subst)Source
testIapplyAdjNode :: Bool -> SimpleItem -> SimpleItem -> Maybe SimpleItemSource