derive-storable-plugin-0.2.3.3: GHC core plugin supporting the derive-storable package.

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.Helpers

Description

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 :: TyCoVarBinder -> 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

cutOccName :: Int -> OccName -> OccName Source #

Takes first n characters out of occName

eqType :: Type -> Type -> Bool Source #

Equality for types

eqTyBind :: TyBinder -> TyBinder -> Bool Source #

Equality for type binders

eqTyVarBind :: TyVarBinder -> TyVarBinder -> Bool Source #

elemType :: Type -> [Type] -> Bool Source #

elem function for types

isProxy :: TyCoVarBinder -> Bool Source #

removeProxy :: Type -> Type Source #