Language.Eval

Documentation

newtype Pkg

Constructors

Pkg String

Instances

Eq Pkg

Ord Pkg

Show Pkg

IsString Pkg

newtype Mod

Constructors

Mod String

Instances

Eq Mod

Ord Mod

Show Mod

IsString Mod

newtype Expr

Constructors

Expr ([Pkg], [Mod], String)

Instances

Eq Expr

Show Expr

IsString Expr

eval :: Expr -> IO (Maybe String)

Evaluate an Expr; this is where the magic happens! If successful, returns Just a String, which you can do what you like with.

raw :: String -> Expr

A raw String of Haskell code, with no packages or modules. You can use OverloadedStrings to call this automatically.

($$) :: Expr -> Expr -> Expr infixr 8

Apply the first Expr to the second, eg. `f $$ x` ==> `f x`

asString :: Show a => a -> Expr

Convert the argument to a String, then send to raw

qualified :: Mod -> String -> Expr

Qualify an expression, eg. `qualified Data.Bool "not"` gives the expression not with Data.Bool in its module list

withMods :: [Mod] -> Expr -> Expr

Append modules to an expression's context

withPkgs :: [Pkg] -> Expr -> Expr

Append packages to an expression's context