Safe Haskell | None |
---|
- makeAlgebraProduct :: Name -> Q [Dec]
- sel3 :: (t, t1, t2) -> t2
- zzz :: VarStrictType -> String
- isObjectiveF :: Type -> Bool
Documentation
makeAlgebraProduct :: Name -> Q [Dec]Source
Create the algebra product function from a signature type constructor.
zzz :: VarStrictType -> StringSource
isObjectiveF :: Type -> BoolSource