Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Simple predicates on Source Tetra things.
- module DDC.Type.Predicates
- isXVar :: GExp l -> Bool
- isXCon :: GExp l -> Bool
- isAtomX :: GExp l -> Bool
- isAtomW :: GWitness l -> Bool
- isXLAM :: GExp l -> Bool
- isXLam :: GExp l -> Bool
- isLambdaX :: GExp l -> Bool
- isXApp :: GExp l -> Bool
- isXLet :: GExp l -> Bool
- isXType :: GExp l -> Bool
- isXWitness :: GExp l -> Bool
- isPDefault :: GPat l -> Bool
Documentation
module DDC.Type.Predicates
Atoms
Lambdas
isXLam :: GExp l -> Bool Source
Check whether an expression is a value or witness abstraction (level-0).
isLambdaX :: GExp l -> Bool Source
Check whether an expression is a spec, value, or witness abstraction.
Applications
Let bindings
Types and Witnesses
isXWitness :: GExp l -> Bool Source
Check whether an expression is an XWitness
Patterns
isPDefault :: GPat l -> Bool Source
Check whether an alternative is a PDefault
.