Language.Haskell.Liquid.GHC.Play

Documentation

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

Instances

Subable CoreExpr

Defined in Language.Haskell.Liquid.GHC.Play

Methods

sub :: HashMap CoreBndr CoreExpr -> CoreExpr -> CoreExpr

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

Subable Type

Defined in Language.Haskell.Liquid.GHC.Play

Methods

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

subTy :: HashMap TyVar Type -> Type -> Type

Subable Coercion

Defined in Language.Haskell.Liquid.GHC.Play

Methods

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

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

Subable Var

Defined in Language.Haskell.Liquid.GHC.Play

Methods

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

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

Subable (Alt Var)

Defined in Language.Haskell.Liquid.GHC.Play

Methods

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

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

Subable (Bind Var)

Defined in Language.Haskell.Liquid.GHC.Play

Methods

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