Language.Syntactic.Features.PrimFunc

Primitive functions

Documentation

data PrimFunc a where

Constructors

PrimFunc :: ConsType b => String -> ConsEval (a :-> b) -> PrimFunc (a :-> b)

Instances

ExprEq PrimFunc

ToTree PrimFunc

Render PrimFunc

Eval PrimFunc

ExprHash PrimFunc

primFunc :: (Typeable a, PrimFunc :<: dom) => String -> (a -> b) -> ASTF dom a -> ASTF dom b

primFunc2 :: (Typeable a, Typeable b, PrimFunc :<: dom) => String -> (a -> b -> c) -> ASTF dom a -> ASTF dom b -> ASTF dom c

primFunc3 :: (Typeable a, Typeable b, Typeable c, PrimFunc :<: dom) => String -> (a -> b -> c -> d) -> ASTF dom a -> ASTF dom b -> ASTF dom c -> ASTF dom d

primFunc4 :: (Typeable a, Typeable b, Typeable c, Typeable d, PrimFunc :<: dom) => String -> (a -> b -> c -> d -> e) -> ASTF dom a -> ASTF dom b -> ASTF dom c -> ASTF dom d -> ASTF dom e