Idrall.Check

Definitions

quote : List Name -> Value -> Either Error (Expr Void)

Visibility: export

initCxt : Cxt

Visibility: export

check : Cxt -> Expr Void -> Value -> Either Error (Expr Void)

  returns the original `Expr Void` on success

Visibility: export

infer : Cxt -> Expr Void -> Either Error (Expr Void, Value)

  returns a pair (Expr, Value), which is original Expr, and it's type as a Value

Visibility: export

getHighestType : Foldable t => t Value -> U

Visibility: export