Safe Haskell | Safe-Inferred |
---|
Simple predicates on core expressions.
- module DDC.Type.Predicates
- isXVar :: Exp a n -> Bool
- isXCon :: Exp a n -> Bool
- isAtomX :: Exp a n -> Bool
- isAtomW :: Witness n -> Bool
- isXLAM :: Exp a n -> Bool
- isXLam :: Exp a n -> Bool
- isLambdaX :: Exp a n -> Bool
- isXApp :: Exp a n -> Bool
- isXType :: Exp a n -> Bool
- isXWitness :: Exp a n -> Bool
- isPDefault :: Pat n -> Bool
Documentation
module DDC.Type.Predicates
Atoms
Lambdas
isXLam :: Exp a n -> BoolSource
Check whether an expression is a value or witness abstraction (level-0).
isLambdaX :: Exp a n -> BoolSource
Check whether an expression is a spec, value, or witness abstraction.
Applications
Types and Witnesses
isXWitness :: Exp a n -> BoolSource
Check whether an expression is an XWitness
Patterns
isPDefault :: Pat n -> BoolSource
Check whether an alternative is a PDefault
.