Language.Symantic.Interpreting.Eval

Interpreter to evaluate a term as a host-term.

Type Eval

newtype Eval a

Interpreter's data.

Constructors

Eval

Fields

• unEval :: a

Instances

Monad Eval

Methods

(>>=) :: Eval a -> (a -> Eval b) -> Eval b

(>>) :: Eval a -> Eval b -> Eval b

return :: a -> Eval a

fail :: String -> Eval a

Functor Eval

Methods

fmap :: (a -> b) -> Eval a -> Eval b

(<$) :: a -> Eval b -> Eval a

Applicative Eval

Methods

pure :: a -> Eval a

(<*>) :: Eval (a -> b) -> Eval a -> Eval b

(*>) :: Eval a -> Eval b -> Eval b

(<*) :: Eval a -> Eval b -> Eval a

Sym_Lambda Eval

Methods

apply :: Eval ((a -> b) -> a -> b)

app :: Eval (a -> b) -> Eval a -> Eval b

lam :: (Eval a -> Eval b) -> Eval (a -> b)

let_ :: Eval var -> (Eval var -> Eval res) -> Eval res

lam1 :: (Eval a -> Eval b) -> Eval (a -> b)

qual :: proxy q -> Eval t -> Eval (q #> t)

eval :: Eval a -> a

Interpreter.

Constructors

eval0 :: a -> Eval a

eval1 :: (a -> b) -> Eval a -> Eval b

eval2 :: (a -> b -> c) -> Eval a -> Eval b -> Eval c

eval3 :: (a -> b -> c -> d) -> Eval a -> Eval b -> Eval c -> Eval d