NLP.GenI.Simple.SimpleBuilder

Documentation

type Agenda = [SimpleItem]

type AuxAgenda = [SimpleItem]

type Chart = [SimpleItem]

data SimpleStatus

type SimpleState a = BuilderState SimpleStatus a

data SimpleItem

Constructors

SimpleItem

Fields

• siId :: ChartId
• siSubstnodes :: [NodeName]
• siAdjnodes :: [NodeName]
• siSemantics :: BitVector
• siPolpaths :: PolPathSet
• siNodes :: [GNode GeniVal]

  actually a set

• siDerived :: Tree Text
• siRoot_ :: NodeName
• siFoot_ :: Maybe NodeName
• siPendingTb :: [NodeName]
• siDerivation :: TagDerivation
• siGuiStuff :: SimpleGuiItem

Instances

DescendGeniVal SimpleItem

Methods

descendGeniVal :: (GeniVal -> GeniVal) -> SimpleItem -> SimpleItem

simpleBuilder_1p :: SimpleBuilder

simpleBuilder_2p :: SimpleBuilder

simpleBuilder :: Bool -> SimpleBuilder

theAgenda :: SimpleStatus -> Agenda

theHoldingPen :: SimpleStatus -> AuxAgenda

theChart :: SimpleStatus -> Chart

theResults :: SimpleStatus -> [SimpleItem]

initSimpleBuilder

Arguments

:: Bool

use two phase algorithm

-> Input

input items

-> [Flag]

GenI options

-> (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

Constructors

SimpleGuiItem

Fields

• siHighlight :: [Text]

  nodes to highlight if there are things wrong with this item, what?

• siDiagnostic :: [Text]
• siFullSem :: Sem
• siIdname :: Text

Instances

Data SimpleGuiItem

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SimpleGuiItem -> c SimpleGuiItem

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SimpleGuiItem

toConstr :: SimpleGuiItem -> Constr

dataTypeOf :: SimpleGuiItem -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SimpleGuiItem)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SimpleGuiItem)

gmapT :: (forall b. Data b => b -> b) -> SimpleGuiItem -> SimpleGuiItem

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SimpleGuiItem -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SimpleGuiItem -> r

gmapQ :: (forall d. Data d => d -> u) -> SimpleGuiItem -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SimpleGuiItem -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SimpleGuiItem -> m SimpleGuiItem

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleGuiItem -> m SimpleGuiItem

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleGuiItem -> m 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

testEmptySimpleGuiItem :: SimpleGuiItem

Orphan instances

DescendGeniVal (Text, UninflectedDisjunction)

Methods

descendGeniVal :: (GeniVal -> GeniVal) -> (Text, UninflectedDisjunction) -> (Text, UninflectedDisjunction)