Language.Haskell.Liquid.GHC.Play

Documentation

getNonPositivesTyCon :: [TyCon] -> [(TyCon, [DataCon])]

Positivity Checker -------------------------------------------------------

type OccurrenceMap = HashMap TyCon [(DataCon, TyConOccurrence)]

data TyConOccurrence

Constructors

TyConOcc

Fields

• posOcc :: [TyCon]
• negOcc :: [TyCon]

Instances

Monoid TyConOccurrence

Defined in Language.Haskell.Liquid.GHC.Play

Methods

mempty :: TyConOccurrence

mappend :: TyConOccurrence -> TyConOccurrence -> TyConOccurrence

mconcat :: [TyConOccurrence] -> TyConOccurrence

Semigroup TyConOccurrence

Defined in Language.Haskell.Liquid.GHC.Play

Methods

(<>) :: TyConOccurrence -> TyConOccurrence -> TyConOccurrence

sconcat :: NonEmpty TyConOccurrence -> TyConOccurrence

stimes :: Integral b => b -> TyConOccurrence -> TyConOccurrence

Outputable OccurrenceMap

Defined in Language.Haskell.Liquid.GHC.Play

Methods

ppr :: OccurrenceMap -> SDoc

Outputable TyConOccurrence

Defined in Language.Haskell.Liquid.GHC.Play

Methods

ppr :: TyConOccurrence -> SDoc

Eq TyConOccurrence

Defined in Language.Haskell.Liquid.GHC.Play

Methods

(==) :: TyConOccurrence -> TyConOccurrence -> Bool

(/=) :: TyConOccurrence -> TyConOccurrence -> Bool

makeOccurrences :: [TyCon] -> OccurrenceMap

makeOccurrence :: HashMap TyCon VarianceInfo -> [Type] -> TyConOccurrence

findOccurrence :: OccurrenceMap -> TyCon -> TyConOccurrence

isRecursivenewTyCon :: TyCon -> 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 Coercion

Defined in Language.Haskell.Liquid.GHC.Play

Methods

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

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

Subable Type

Defined in Language.Haskell.Liquid.GHC.Play

Methods

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

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

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