| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ProjectM36.AtomFunction
Synopsis
- foldAtomFuncType :: AtomType -> AtomType -> [AtomType]
- atomFunctionForName :: AtomFunctionName -> AtomFunctions -> Either RelationalError AtomFunction
- emptyAtomFunction :: AtomFunctionName -> AtomFunction
- compiledAtomFunction :: AtomFunctionName -> [AtomType] -> AtomFunctionBodyType -> AtomFunction
- evalAtomFunction :: AtomFunction -> [Atom] -> Either AtomFunctionError Atom
- extractAtomFunctionType :: [TypeConstructor] -> Either RelationalError [TypeConstructor]
- isScriptedAtomFunction :: AtomFunction -> Bool
- atomFunctionScript :: AtomFunction -> Maybe AtomFunctionBodyScript
- createScriptedAtomFunction :: AtomFunctionName -> [TypeConstructor] -> TypeConstructor -> AtomFunctionBodyScript -> DatabaseContextIOExpr
- loadAtomFunctions :: ModName -> FuncName -> FilePath -> IO (Either LoadSymbolError [AtomFunction])
- atomFunctionsAsRelation :: AtomFunctions -> Either RelationalError Relation
Documentation
atomFunctionForName :: AtomFunctionName -> AtomFunctions -> Either RelationalError AtomFunction Source #
emptyAtomFunction :: AtomFunctionName -> AtomFunction Source #
Create a junk named atom function for use with searching for an already existing function in the AtomFunctions HashSet.
compiledAtomFunction :: AtomFunctionName -> [AtomType] -> AtomFunctionBodyType -> AtomFunction Source #
AtomFunction constructor for compiled-in functions.
evalAtomFunction :: AtomFunction -> [Atom] -> Either AtomFunctionError Atom Source #
createScriptedAtomFunction :: AtomFunctionName -> [TypeConstructor] -> TypeConstructor -> AtomFunctionBodyScript -> DatabaseContextIOExpr Source #
Create a DatabaseContextIOExpr which can be used to load a new atom function written in Haskell and loaded at runtime.
loadAtomFunctions :: ModName -> FuncName -> FilePath -> IO (Either LoadSymbolError [AtomFunction]) Source #