PmExpr

Documentation

data PmExpr

Lifted expressions for pattern match checking.

Constructors

PmExprVar Name

PmExprCon ConLike [PmExpr]

PmExprLit PmLit

PmExprOther (HsExpr GhcTc)

Instances

Outputable PmExpr

Defined in PmExpr

Methods

ppr :: PmExpr -> SDoc

pprPrec :: Rational -> PmExpr -> SDoc

data PmLit

Literals (simple and overloaded ones) for pattern match checking.

Constructors

PmSLit (HsLit GhcTc)

PmOLit Bool (HsOverLit GhcTc)

Instances

Outputable PmLit

Defined in PmExpr

Methods

ppr :: PmLit -> SDoc

pprPrec :: Rational -> PmLit -> SDoc

newtype PmAltCon

Represents a match against a literal. We mostly use it to to encode shapes for a variable that immediately lead to a refutation.

See Note [Refutable shapes] in TmOracle. Really similar to AltCon.

Constructors

PmAltLit PmLit

Instances

Eq PmAltCon

Defined in PmExpr

Methods

(==) :: PmAltCon -> PmAltCon -> Bool

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

Outputable PmAltCon

Defined in PmExpr

Methods

ppr :: PmAltCon -> SDoc

pprPrec :: Rational -> PmAltCon -> SDoc

data TmVarCt

A term constraint. TVC x e encodes that x is equal to e.

Constructors

TVC !Id !PmExpr

Instances

Outputable TmVarCt

Defined in PmExpr

Methods

ppr :: TmVarCt -> SDoc

pprPrec :: Rational -> TmVarCt -> SDoc

eqPmLit :: PmLit -> PmLit -> Bool

Equality between literals for pattern match checking.

isNotPmExprOther :: PmExpr -> Bool

Check if an expression is lifted or not

lhsExprToPmExpr :: LHsExpr GhcTc -> PmExpr

hsExprToPmExpr :: HsExpr GhcTc -> PmExpr