Idrall.Eval

Definitions

vType : Value

  returns `VConst CType`

Visibility: export

vKind : Value

  returns `VConst Kind`

Visibility: export

vSort : Value

  returns `VConst Sort`

Visibility: export

inst : Closure -> Value -> Either Error Value

Visibility: export

evalClosure : Closure -> Value -> Either Error Value

Visibility: export

eval : Env -> Expr Void -> Either Error Value

Visibility: export

vProjectByFields : FC -> SortedMap FieldName Value -> List FieldName -> Either Error (List (FieldName, Value))

Visibility: export

doCombine : FC -> Value -> Value -> Either Error Value

Visibility: export

compressChunks : List (String, Value) -> List (String, Value)

Visibility: export

strFromExpr : Expr Void -> Maybe String

Visibility: export

strFromChunks : List (String, Value) -> Maybe String

Visibility: export

conv : Env -> Value -> Value -> Either Error ()

Visibility: export