Language.Haskell.Liquid.GHC.Play

Documentation

dataConImplicitIds :: DataCon -> [Id]

class Subable a where

Minimal complete definition

sub, subTy

Methods

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

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

Instances

Subable CoreExpr

Methods

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

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

Subable Var

Methods

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

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

Subable Type

Methods

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

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

Subable Coercion

Methods

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

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

Subable (Alt Var)

Methods

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

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

Subable (Bind Var)

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