Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type UidDd si sa = TypeSel (DdTypeSel sa) (Prod (Uid (DdType si) (DdType sa))) *> (Name "id" si > Merge sa) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
type UidDd si sa = TypeSel (DdTypeSel sa) (Prod (Uid (DdType si) (DdType sa))) *> (Name "id" si > Merge sa) Source #