Safe Haskell | None |
---|
- make_family_gadt :: Name -> Q [Dec]
- collect_type_args :: Type -> [Type]
Main Interface
make_family_gadt :: Name -> Q [Dec]Source
Pass in the name of to generate the GDiff GADT and instances.
Utils
collect_type_args :: Type -> [Type]Source