Parser.ProductRule.Internal.Manager

Documentation

newtype Manager' a x

Constructors

Manager

Fields

unManager :: Writer [Maker a] x

Instances

FromMaker Manager'

Monad (Manager' a)

Functor (Manager' a)

Applicative (Manager' a)

MonadWriter [Maker a] (Manager' a)

type Manager a = Manager' a ()

getMakers :: Manager a -> [Maker a]

addMakers :: [Maker a] -> Manager a -> Manager a

empty :: Manager a

singleton :: Maker a -> Manager a

getRules :: Ord a => Manager a -> Set a -> [ProductRule a]

getNTs :: Ord a => Manager a -> Set a

productRules :: Ord a => Manager a -> [ProductRule a]

Collect the defined syntax and produces a list of production rules.