noodle-0.0.19: the noodle programming language

Safe HaskellSafe-Infered

Language.Noodle.Evaluation

Documentation

compile :: Env -> String -> ValSource

compileFile :: Env -> FilePath -> IO ValSource

compute :: Env -> Comp -> IO ValSource

declare :: Env -> Decls -> IO (Either String Env)Source

extfun :: (Val -> IO Val) -> ValSource

extop :: (Val -> Val -> IO Val) -> ValSource

extenv :: [(String, Val)] -> EnvSource

extmod :: Env -> ValSource

showAst :: String -> StringSource

rtError :: Val -> ValSource

srtError :: String -> ValSource

data Error Source

Constructors

BadParse String Int Int String 

Instances

data Env Source

Constructors

Env Unique Env [(Name, Val)] 
Bar Env 
Top 

Instances

type Name = StringSource

data Val Source

Constructors

Function (Val -> IO Val) 
Thunk (IO Val) 
Module (IO Env) 
Error Error 
Number Rational 
Symbol String 
Str String 
Prod Val Val 
Extern Dynamic 
Abst (Maybe Unique) Val 
Nil 

Instances