DDC.Source.Tetra.Exp.Predicates

Simple predicates on Source Tetra things.

Documentation

module DDC.Type.Exp.Generic.Predicates

Atoms

isXVar :: GExp l -> Bool

Check whether an expression is a variable.

isXCon :: GExp l -> Bool

Check whether an expression is a constructor.

isAtomX :: GExp l -> Bool

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

isAtomW :: GWitness l -> Bool

Check whether a witness is a WVar or WCon.

Lambdas

isXLAM :: GExp l -> Bool

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

isXLam :: GExp l -> Bool

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

isLambdaX :: GExp l -> Bool

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

Applications

isXApp :: GExp l -> Bool

Check whether an expression is an XApp.

Let bindings

isXLet :: GExp l -> Bool

Check whether an expression is a XLet.

Types and Witnesses

isXType :: GExp l -> Bool

Check whether an expression is an XType

isXWitness :: GExp l -> Bool

Check whether an expression is an XWitness

Patterns

isPDefault :: GPat l -> Bool

Check whether a pattern is a PDefault.

isPVar :: GPat l -> Bool

Check whether a pattern is a PVar.