DDC.Core.Exp.Generic.Predicates

Simple predicates on core expressions.

Documentation

module DDC.Type.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 an atomic value, eg an XVar, XCon, or XPrim.

isAtomR :: GArg l -> Bool

Check whether an argument is an atomic value,

isAtomW :: GWitness l -> Bool

Check whether a witness is a WVar or WCon.

Abstractions

isXAbs :: GExp l -> Bool

Check whether an expression is an abstraction.

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).

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.

Patterns

isPDefault :: GPat l -> Bool

Check whether an alternative is a PDefault.