Documentation

newtype DT env1 env2 Source

mapDP2Prod :: DT env1 env2 -> DProd a env1 -> Prod a env2Source

type GTrafo = Trafo Unit ProductionsSource

dp2prod :: DProd a env -> GTrafo s (DT env s) (Prod a s)Source

ld2nt :: (DRef a env, DProductions a env) -> GTrafo s (DT env s) (DRef a s)Source

newtype ListDR a s Source

newtype DMapping o n Source

dmap2trans :: DMapping env s -> DT env sSource

plookup :: Int -> [DRef a s] -> Ref a sSource

group :: DGrammar a -> Grammar aSource

gGrammar :: DGrammar a -> GTrafo s t (ListDR a s)Source

gDGrams :: Env DGram env env' -> GTrafo s (DT env s) (DMapping env' s)Source