Safe Haskell	None
Language	Haskell2010

Feldspar.Core.Constructs.Error

Documentation

data Error a where Source

Constructors

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

Instances

EvalBind Error
Semantic Error
Eval Error
Render Error
StringTree Error
Equality 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