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 :<: expr) => String -> (a -> b) -> ASTF expr a -> ASTF expr b

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

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

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