Language.Haskell.Liquid.GHC.Play
isRecursivenewTyCon :: TyCon -> Bool #
isHoleVar :: Var -> Bool #
dataConImplicitIds :: DataCon -> [Id] #
class Subable a where #
Methods
sub :: HashMap CoreBndr CoreExpr -> a -> a #
subTy :: HashMap TyVar Type -> a -> a #
Defined in Language.Haskell.Liquid.GHC.Play
sub :: HashMap CoreBndr CoreExpr -> CoreExpr -> CoreExpr #
subTy :: HashMap TyVar Type -> CoreExpr -> CoreExpr #
sub :: HashMap CoreBndr CoreExpr -> Type -> Type #
subTy :: HashMap TyVar Type -> Type -> Type #
sub :: HashMap CoreBndr CoreExpr -> Coercion -> Coercion #
subTy :: HashMap TyVar Type -> Coercion -> Coercion #
sub :: HashMap CoreBndr CoreExpr -> Var -> Var #
subTy :: HashMap TyVar Type -> Var -> Var #
sub :: HashMap CoreBndr CoreExpr -> Alt Var -> Alt Var #
subTy :: HashMap TyVar Type -> Alt Var -> Alt Var #
sub :: HashMap CoreBndr CoreExpr -> Bind Var -> Bind Var #
subTy :: HashMap TyVar Type -> Bind Var -> Bind Var #
subVar :: Expr t -> Id #
substTysWith :: HashMap Var Type -> Type -> Type #
substExpr :: HashMap Var Var -> CoreExpr -> CoreExpr #
mapType :: (Type -> Type) -> Type -> Type #
stringClassArg :: Type -> Maybe Type #