Feldspar.Core.Constructs.Error

Documentation

data Error a where

Constructors

Undefined :: Type a => Error (Full a)

Assert :: Type a => String -> Error (Bool :-> (a :-> Full a))

Instances

Semantic Error

StringTree Error

Render Error

Eval Error

Equality Error

EvalBind Error

Monotonic Error

Sharable Error

AlphaEq dom dom dom env => AlphaEq Error Error dom env

SizeProp (:|| Error Type)

(:<: (:|| Error Type) dom, Optimize dom dom) => Optimize (:|| Error Type) dom