liquidhaskell-0.8.0.2: Liquid Types for Haskell
Language.Haskell.Liquid.GHC.Play
dataConImplicitIds :: DataCon -> [Id] Source #
class Subable a where Source #
Minimal complete definition
sub, subTy
Methods
sub :: HashMap CoreBndr CoreExpr -> a -> a Source #
subTy :: HashMap TyVar Type -> a -> a Source #
Instances
sub :: HashMap CoreBndr CoreExpr -> CoreExpr -> CoreExpr Source #
subTy :: HashMap TyVar Type -> CoreExpr -> CoreExpr Source #
sub :: HashMap CoreBndr CoreExpr -> Var -> Var Source #
subTy :: HashMap TyVar Type -> Var -> Var Source #
sub :: HashMap CoreBndr CoreExpr -> Type -> Type Source #
subTy :: HashMap TyVar Type -> Type -> Type Source #
sub :: HashMap CoreBndr CoreExpr -> Coercion -> Coercion Source #
subTy :: HashMap TyVar Type -> Coercion -> Coercion Source #
sub :: HashMap CoreBndr CoreExpr -> Alt Var -> Alt Var Source #
subTy :: HashMap TyVar Type -> Alt Var -> Alt Var Source #
sub :: HashMap CoreBndr CoreExpr -> Bind Var -> Bind Var Source #
subTy :: HashMap TyVar Type -> Bind Var -> Bind Var Source #
subVar :: Expr t -> Id Source #
substTysWith :: HashMap Var Type -> Type -> Type Source #
mapType :: (Type -> Type) -> Type -> Type Source #
stringClassArg :: Type -> Maybe Type Source #