egison-3.3.3: Programming language with non-linear pattern-matching with backtracking

Safe HaskellNone

Language.Egison

Contents

Description

This is the top module of Egison.

Synopsis

Documentation

Eval Egison expressions

evalEgisonExpr :: Env -> EgisonExpr -> IO (Either EgisonError EgisonValue)Source

eval an Egison expression

evalEgisonTopExpr :: Env -> EgisonTopExpr -> IO (Either EgisonError Env)Source

eval an Egison top expression

evalEgisonTopExprs :: Env -> [EgisonTopExpr] -> IO (Either EgisonError Env)Source

eval Egison top expressions

runEgisonExpr :: Env -> String -> IO (Either EgisonError EgisonValue)Source

eval an Egison expression. Input is a Haskell string.

runEgisonTopExpr :: Env -> String -> IO (Either EgisonError Env)Source

eval an Egison top expression. Input is a Haskell string.

runEgisonTopExprs :: Env -> String -> IO (Either EgisonError Env)Source

eval Egison top expressions. Input is a Haskell string.

Load Egison files

loadEgisonLibrary :: Env -> FilePath -> IO (Either EgisonError Env)Source

load an Egison library

loadEgisonFile :: Env -> FilePath -> IO (Either EgisonError Env)Source

load an Egison file

Environment

initialEnv :: IO EnvSource

Environment that contains core libraries

initialEnvNoIO :: IO EnvSource

Environment that contains core libraries without IO primitives

Information

version :: VersionSource

Version number