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

primFunc1 :: (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

primFuncAnn1 :: (Typeable a, PrimFunc :<: dom) => String -> (a -> b) -> info b -> AnnSTF info dom a -> AnnSTF info dom b

primFuncAnn2 :: (Typeable a, Typeable b, PrimFunc :<: dom) => String -> (a -> b -> c) -> info c -> AnnSTF info dom a -> AnnSTF info dom b -> AnnSTF info dom c

primFuncAnn3 :: (Typeable a, Typeable b, Typeable c, PrimFunc :<: dom) => String -> (a -> b -> c -> d) -> info d -> AnnSTF info dom a -> AnnSTF info dom b -> AnnSTF info dom c -> AnnSTF info dom d

primFuncAnn4 :: (Typeable a, Typeable b, Typeable c, Typeable d, PrimFunc :<: dom) => String -> (a -> b -> c -> d -> e) -> info e -> AnnSTF info dom a -> AnnSTF info dom b -> AnnSTF info dom c -> AnnSTF info dom d -> AnnSTF info dom e

class IsFunction expr where

Class of expressions that can be treated as primitive functions

Methods

toFunction :: expr a -> PrimFunc a

Instances

IsFunction Select

IsFunction Tuple

exprEqFunc :: IsFunction expr => expr a -> expr b -> Bool

Default implementation of exprEq

renderPartFunc :: IsFunction expr => [String] -> expr a -> String

Default implementation of renderPart

evaluateFunc :: IsFunction expr => expr a -> a

Default implementation of evaluate

exprHashFunc :: IsFunction expr => expr a -> Hash

Default implementation of exprHash