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

Safe HaskellNone

Feldspar.Core.Constructs.Eq

Description

Implementation of Equality constructs

Synopsis

Documentation

data EQ a whereSource

Equality constructs

Constructors

Equal :: (Type a, Eq a) => EQ (a :-> (a :-> Full Bool)) 
NotEqual :: (Type a, Eq a) => EQ (a :-> (a :-> Full Bool)) 

Instances

Semantic EQ 
StringTree EQ 
Render EQ 
Eval EQ 
Equality EQ 
EvalBind EQ 
Monotonic EQ 
Sharable EQ 
AlphaEq dom dom dom env => AlphaEq EQ EQ dom env 
SizeProp (:|| EQ Type) 
(:<: (:|| EQ Type) dom, OptimizeSuper dom) => Optimize (:|| EQ Type) dom