liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.GHC.Play

Documentation

isRecursivenewTyCon :: TyCon -> Bool Source #

isHoleVar :: Var -> Bool Source #

dataConImplicitIds :: DataCon -> [Id] Source #

class Subable a where Source #

Methods

sub :: HashMap CoreBndr CoreExpr -> a -> a Source #

subTy :: HashMap TyVar Type -> a -> a Source #

Instances

Instances details
Subable CoreExpr Source # 
Instance details

Defined in Language.Haskell.Liquid.GHC.Play

Methods

sub :: HashMap CoreBndr CoreExpr -> CoreExpr -> CoreExpr Source #

subTy :: HashMap TyVar Type -> CoreExpr -> CoreExpr Source #

Subable Type Source # 
Instance details

Defined in Language.Haskell.Liquid.GHC.Play

Methods

sub :: HashMap CoreBndr CoreExpr -> Type -> Type Source #

subTy :: HashMap TyVar Type -> Type -> Type Source #

Subable Coercion Source # 
Instance details

Defined in Language.Haskell.Liquid.GHC.Play

Methods

sub :: HashMap CoreBndr CoreExpr -> Coercion -> Coercion Source #

subTy :: HashMap TyVar Type -> Coercion -> Coercion Source #

Subable Var Source # 
Instance details

Defined in Language.Haskell.Liquid.GHC.Play

Methods

sub :: HashMap CoreBndr CoreExpr -> Var -> Var Source #

subTy :: HashMap TyVar Type -> Var -> Var Source #

Subable (Alt Var) Source # 
Instance details

Defined in Language.Haskell.Liquid.GHC.Play

Methods

sub :: HashMap CoreBndr CoreExpr -> Alt Var -> Alt Var Source #

subTy :: HashMap TyVar Type -> Alt Var -> Alt Var Source #

Subable (Bind Var) Source # 
Instance details

Defined in Language.Haskell.Liquid.GHC.Play

Methods

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 #

substExpr :: HashMap Var Var -> CoreExpr -> CoreExpr Source #

mapType :: (Type -> Type) -> Type -> Type Source #

stringClassArg :: Type -> Maybe Type Source #