Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- primOpsNom :: [PrimEval s Prim w]
- primOpNomEq :: PrimEval s Prim w
- primOpNomFresh :: PrimEval s Prim w
- primOpNomClose :: PrimEval s Prim w
Documentation
primOpsNom :: [PrimEval s Prim w] Source #
Primitive evalutor for nominal variable operators.
primOpNomEq :: PrimEval s Prim w Source #
Check for equality of two nominal variables.
primOpNomFresh :: PrimEval s Prim w Source #
Allocate a fresh nominal variable.
primOpNomClose :: PrimEval s Prim w Source #
Create a closing substitution for a nominal variable.