Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- primOpsMatch :: [PrimEval s Prim w]
- primOpMatchSym :: PrimEval s Prim w
- primOpMatchApp :: PrimEval s Prim w
- primOpMatchAbs :: PrimEval s Prim w
- primOpMatchAbs1 :: PrimEval s Prim w
Documentation
primOpsMatch :: [PrimEval s Prim w] Source #
Primitive matching operators.
primOpMatchSym :: PrimEval s Prim w Source #
Match against a given symbol.
primOpMatchApp :: PrimEval s Prim w Source #
Match an application. TODO(BL: pack the args into a list)
primOpMatchAbs :: PrimEval s Prim w Source #
Match all parameters of an abstraction.
primOpMatchAbs1 :: PrimEval s Prim w Source #
Match the first parameter of an abstraction.