| Copyright | (c) Mateusz Kłoczko 2016 |
|---|---|
| License | MIT |
| Maintainer | mateusz.p.kloczko@gmail.com |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Foreign.Storable.Generic.Plugin.Internal.Helpers
Description
Various helping functions.
Synopsis
- type TyBinder = PiTyBinder
- type TyCoVarBinder = ForAllTyBinder
- getIdsBind :: CoreBind -> [Id]
- getExprsBind :: CoreBind -> [CoreExpr]
- getIdsExprsBind :: CoreBind -> [(Id, CoreExpr)]
- getIdsExpr :: CoreExpr -> [Id]
- extractAlt :: Alt CoreBndr -> [Id]
- cutOccName :: Int -> OccName -> OccName
- eqType :: Type -> Type -> Bool
- eqTyBind :: TyBinder -> TyBinder -> Bool
- eqTyVarBind :: TyVarBinder -> TyVarBinder -> Bool
- elemType :: Type -> [Type] -> Bool
- isProxy :: TyCoVarBinder -> Bool
- removeProxy :: Type -> Type
Documentation
type TyBinder = PiTyBinder Source #
type TyCoVarBinder = ForAllTyBinder Source #
getIdsBind :: CoreBind -> [Id] Source #
Get ids from core bind.
getExprsBind :: CoreBind -> [CoreExpr] Source #
Get all expressions from a binding.
getIdsExprsBind :: CoreBind -> [(Id, CoreExpr)] Source #
Get both identifiers and expressions from a binding.
getIdsExpr :: CoreExpr -> [Id] Source #
Get all IDs from CoreExpr
eqTyVarBind :: TyVarBinder -> TyVarBinder -> Bool Source #
isProxy :: TyCoVarBinder -> Bool Source #
removeProxy :: Type -> Type Source #