Hydra.Lib.Equality

Haskell implementations of hydralibequality primitives. These simply make use of derived Eq.

Documentation

equalBinary :: String -> String -> Bool

equalBoolean :: Bool -> Bool -> Bool

equalBigfloat :: Double -> Double -> Bool

equalFloat32 :: Float -> Float -> Bool

equalFloat64 :: Double -> Double -> Bool

equalBigint :: Integer -> Integer -> Bool

equalInt8 :: Int8 -> Int8 -> Bool

equalInt16 :: Int16 -> Int16 -> Bool

equalInt32 :: Int -> Int -> Bool

equalInt64 :: Int64 -> Int64 -> Bool

equalUint8 :: Int16 -> Int16 -> Bool

equalUint16 :: Int -> Int -> Bool

equalUint32 :: Int64 -> Int64 -> Bool

equalUint64 :: Integer -> Integer -> Bool

equalString :: String -> String -> Bool

equalTerm :: Term -> Term -> Bool

equalType :: Type -> Type -> Bool

gtInt32 :: Int -> Int -> Bool

gteInt32 :: Int -> Int -> Bool

identity :: x -> x

ltInt32 :: Int -> Int -> Bool

lteInt32 :: Int -> Int -> Bool