ProjectM36.AtomFunction

Documentation

foldAtomFuncType :: AtomType -> AtomType -> [AtomType]

atomFunctionForName :: AtomFunctionName -> AtomFunctions -> Either RelationalError AtomFunction

emptyAtomFunction :: AtomFunctionName -> AtomFunction

Create a junk named atom function for use with searching for an already existing function in the AtomFunctions HashSet.

compiledAtomFunction :: AtomFunctionName -> [AtomType] -> AtomFunctionBodyType -> AtomFunction

AtomFunction constructor for compiled-in functions.

evalAtomFunction :: AtomFunction -> [Atom] -> Either AtomFunctionError Atom

extractAtomFunctionType :: [TypeConstructor] -> Either RelationalError [TypeConstructor]

isScriptedAtomFunction :: AtomFunction -> Bool

atomFunctionScript :: AtomFunction -> Maybe AtomFunctionBodyScript

createScriptedAtomFunction :: AtomFunctionName -> [TypeConstructor] -> TypeConstructor -> AtomFunctionBodyScript -> DatabaseContextIOExpr

Create a DatabaseContextIOExpr which can be used to load a new atom function written in Haskell and loaded at runtime.