Copyright | (c) Mateusz Kłoczko 2016 |
---|---|
License | MIT |
Maintainer | mateusz.p.kloczko@gmail.com |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
Various helping functions.
Synopsis
- getIdsBind :: CoreBind -> [Id]
- getExprsBind :: CoreBind -> [CoreExpr]
- getIdsExprsBind :: CoreBind -> [(Id, CoreExpr)]
- getIdsExpr :: CoreExpr -> [Id]
- cutOccName :: Int -> OccName -> OccName
- eqType :: Type -> Type -> Bool
- eqTyBind :: TyBinder -> TyBinder -> Bool
- eqTyVarBind :: TyVarBinder -> TyVarBinder -> Bool
- elemType :: Type -> [Type] -> Bool
- isProxy :: TyVarBinder -> Bool
- removeProxy :: Type -> Type
Documentation
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 #
Equality for type variable binders
isProxy :: TyVarBinder -> Bool Source #
removeProxy :: Type -> Type Source #