Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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 a Source #
data SimpleItem Source #
SimpleItem | |
|
simpleBuilder_1p :: SimpleBuilder Source #
simpleBuilder_2p :: SimpleBuilder Source #
simpleBuilder :: Bool -> SimpleBuilder Source #
theAgenda :: SimpleStatus -> Agenda Source #
theChart :: SimpleStatus -> Chart Source #
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 -> Trash Source #
step :: SimpleStatus -> GenerationPhase Source #
unpackResult :: SimpleItem -> [Output] Source #
Aliases to non-exported functions
testCanAdjoin :: SimpleItem -> TagSite -> Maybe (TagSite, TagSite, Subst) Source #
testIapplyAdjNode :: Bool -> SimpleItem -> SimpleItem -> Maybe SimpleItem Source #