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

Safe HaskellNone
LanguageHaskell2010

Feldspar.Core.Constructs.Eq

Description

Implementation of Equality constructs

Synopsis

Documentation

data EQ a where Source

Equality constructs

Constructors

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