Feldspar.Core.Functions.Eq

Equality operations

Documentation

class Type a => Eq a where

Redefinition of the standard Eq class for Feldspar

Methods

(==) :: Data a -> Data a -> Data Bool

(/=) :: Data a -> Data a -> Data Bool

Instances

Eq Bool

Eq Float

Eq Int8

Eq Int16

Eq Int32

Eq Word8

Eq Word16

Eq Word32

Eq ()

Eq DefaultInt

Eq DefaultWord

Eq a => Eq [a]

(Eq a, RealFloat a) => Eq (Complex a)

(Eq a, Eq b) => Eq (a, b)

(Eq a, Eq b, Eq c) => Eq (a, b, c)

(Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)

defaultEq :: Eq a => Data a -> Data a -> Data Bool

defaultNeq :: Eq a => Data a -> Data a -> Data Bool

optEq :: (Eq a, BoundedInt b, Size a ~ Range b) => Data a -> Data a -> Data Bool

optNeq :: (Eq a, BoundedInt b, Size a ~ Range b) => Data a -> Data a -> Data Bool