SMR.Prim.Op

Documentation

primNames :: Set Text

Set containing textual names of all the primitive operators.

primOps :: [PrimEval Text Prim w]

Evaluators for all the primitive operators.

primOpsBool :: [PrimEval s Prim w]

Primitive evaluators for boolean operators.

primOpsList :: [PrimEval s Prim w]

Primitive evaluators for list operators.

primOpsMatch :: [PrimEval s Prim w]

Primitive matching operators.

primOpsNat :: [PrimEval s Prim w]

Primitive evaluators for nat operators.

primOpsNom :: [PrimEval s Prim w]

Primitive evalutor for nominal variable operators.

primOpsSym :: Eq s => [PrimEval s Prim w]

Primitive evaluator for symbol operators.