SMR.Prim.Op.Nat

Documentation

type Nat = Integer

primOpsNat :: [PrimEval s Prim w]

Primitive evaluators for nat operators.

primOpNat2Nat :: Text -> Text -> (Nat -> Nat -> Nat) -> PrimEval s Prim w

Construct an evaluator for a 2-arity nat operator returning nat.

primOpNat2Bool :: Text -> Text -> (Nat -> Nat -> Bool) -> PrimEval s Prim w

Construct an evaluator for a 2-arity nat operator returning bool.