feldspar-language-0.7: A functional embedded language for DSP and parallelism

Safe HaskellNone

Feldspar.Core.Constructs.Error

Documentation

data Error a whereSource

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