Hydra.Dsl.Lib.Equality

Documentation

equal :: TTerm (a -> a -> Bool)

equalBinary :: TTerm (String -> String -> Bool)

equalBoolean :: TTerm (Bool -> Bool -> Bool)

equalBigfloat :: TTerm (Double -> Double -> Bool)

equalFloat32 :: TTerm (Float -> Float -> Bool)

equalFloat64 :: TTerm (Double -> Double -> Bool)

equalBigint :: TTerm (Integer -> Integer -> Bool)

equalInt8 :: TTerm (Int8 -> Int8 -> Bool)

equalInt16 :: TTerm (Int16 -> Int16 -> Bool)

equalInt32 :: TTerm (Int -> Int -> Bool)

equalInt64 :: TTerm (Int64 -> Int64 -> Bool)

equalString :: TTerm (String -> String -> Bool)

equalTerm :: TTerm (Term -> Term -> Bool)

equalType :: TTerm (Type -> Type -> Bool)

equalUint8 :: TTerm (Int16 -> Int16 -> Bool)

equalUint16 :: TTerm (Int -> Int -> Bool)

equalUint32 :: TTerm (Int64 -> Int64 -> Bool)

equalUint64 :: TTerm (Integer -> Integer -> Bool)

identity :: TTerm (x -> x)

gtInt32 :: TTerm (Int -> Int -> Bool)

gteInt32 :: TTerm (Int -> Int -> Bool)

ltInt32 :: TTerm (Int -> Int -> Bool)

lteInt32 :: TTerm (Int -> Int -> Bool)