| Copyright | (c) Mateusz Kłoczko 2016 |
|---|---|
| License | MIT |
| Maintainer | mateusz.p.kloczko@gmail.com |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | None |
| Language | Haskell2010 |
Foreign.Storable.Generic.Plugin.Internal.GroupTypes
Description
Grouping methods, both for types and core bindings.
Synopsis
- calcGroupOrder :: [Type] -> ([[Type]], Maybe Error)
- substituteTyCon :: [TypeScope] -> Type -> Type
- getDataConArgs :: Type -> [Type]
- groupBinds :: [[Type]] -> [CoreBind] -> ([[CoreBind]], Maybe Error)
Documentation
substituteTyCon :: [TypeScope] -> Type -> Type Source #
Functions doing the type substitutions.
getDataConArgs :: Type -> [Type] Source #
Get data constructor arguments from an algebraic type.