Safe Haskell | None |
---|
Documentation
mapDP2Prod :: DT env1 env2 -> DProd a env1 -> Prod a env2Source
type GTrafo = Trafo Unit ProductionsSource
dmap2trans :: DMapping env s -> DT env sSource
Safe Haskell | None |
---|
mapDP2Prod :: DT env1 env2 -> DProd a env1 -> Prod a env2Source
type GTrafo = Trafo Unit ProductionsSource
dmap2trans :: DMapping env s -> DT env sSource