ChristmasTree-0.2: Alternative approach of 'read' that composes grammars instead of parsers.

Text.GRead.Transformations.GramTrafo

Documentation

newtype MapA_X env a env' Source

Constructors

MapA_X (forall x. Symbol x env -> Maybe (Ref (x -> a) env')) 

emptyMap :: MapA_X env a env'Source

extendMap :: Symbol x env -> MapA_X env a env' -> MapA_X env a (env', x -> a)Source

type GramTrafo env a = Trafo (MapA_X env a) ProductionsSource

initMap :: GramTrafo env a s c d -> Trafo Unit Productions s c dSource

newNontR :: forall x env s a. Symbol x env -> GramTrafo env a s (Productions (x -> a) s) (Ref (x -> a) s)Source

newtype Mapping old new Source

Constructors

Mapping (Env Ref new old) 

map2trans :: Mapping env s -> T env sSource

mapProd :: T env1 env2 -> Prod a env1 -> Prod a env2Source