Copyright	(c) 2013-2020 Brendan Hay <brendan.g.hay@gmail.com>
License	This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. A copy of the MPL can be found in the LICENSE file or you can obtain it at http://mozilla.org/MPL/2.0/.
Maintainer	Brendan Hay <brendan.g.hay@gmail.com>
Stability	experimental
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell2010

Text.EDE.Internal.Eval

Description

Warning: this is an internal module, and does not have a stable API or name. Functions in this module may not check or enforce preconditions expected by public modules. Use at your own risk!

Synopsis

data Env = Env {
- _templates :: HashMap Id (Exp Delta)
- _quoted :: HashMap Id Term
- _values :: HashMap Id Value
}
type Context = ReaderT Env Result
render :: HashMap Id (Exp Delta) -> HashMap Id Term -> Exp Delta -> HashMap Id Value -> Result Builder
eval :: Exp Delta -> Context Term
bind :: (Object -> Object) -> Context a -> Context a
variable :: Delta -> Var -> Context Value
predicate :: Exp Delta -> Context Term
binding :: Delta -> Term -> Term -> Context Term
build :: Delta -> Value -> Context Builder
throwError :: Delta -> AnsiDoc -> Context a

Documentation

data Env Source #

Constructors

Env
Fields _templates :: HashMap Id (Exp Delta) _quoted :: HashMap Id Term _values :: HashMap Id Value

type Context = ReaderT Env Result Source #

render :: HashMap Id (Exp Delta) -> HashMap Id Term -> Exp Delta -> HashMap Id Value -> Result Builder Source #

eval :: Exp Delta -> Context Term Source #

bind :: (Object -> Object) -> Context a -> Context a Source #

variable :: Delta -> Var -> Context Value Source #

predicate :: Exp Delta -> Context Term Source #

A variable can be tested for truthiness, but a non-whnf expr cannot.

binding :: Delta -> Term -> Term -> Context Term Source #

build :: Delta -> Value -> Context Builder Source #

throwError :: Delta -> AnsiDoc -> Context a Source #