DDC.Core.Predicates

Simple predicates on core expressions.

Atoms

isXVar :: Exp a n -> Bool

Check whether an expression is a variable.

isXCon :: Exp a n -> Bool

Check whether an expression is a constructor.

isAtomW :: Witness n -> Bool

Check whether a witness is a WVar or WCon.

isAtomX :: Exp a n -> Bool

Check whether an expression is a XVar or an XCon, or some type or witness atom.

Lambdas

isXLAM :: Exp a n -> Bool

Check whether an expression is a spec abstraction (level-1).

isXLam :: Exp a n -> Bool

Check whether an expression is a value or witness abstraction (level-0).

isLambdaX :: Exp a n -> Bool

Check whether an expression is a spec, value, or witness abstraction.

Applications

isXApp :: Exp a n -> Bool

Check whether an expression is an XApp.

Patterns

isPDefault :: Pat n -> Bool

Check whether an alternative is a PDefault.