Safe Haskell	Safe-Inferred
Language	GHC2021

Language.Hasmtlib.Integraled

Synopsis

class Integraled a where
- quot :: a -> a -> a
- rem :: a -> a -> a
- div :: a -> a -> a
- mod :: a -> a -> a
- quotRem :: a -> a -> (a, a)
- divMod :: a -> a -> (a, a)

Documentation

class Integraled a where Source #

Integral-like class for clean API. In context hide the Preludes Integral.

Minimal complete definition

Nothing

Methods

quot :: a -> a -> a Source #

rem :: a -> a -> a Source #

div :: a -> a -> a Source #

mod :: a -> a -> a Source #

quotRem :: a -> a -> (a, a) Source #

default quotRem :: Integral a => a -> a -> (a, a) Source #

divMod :: a -> a -> (a, a) Source #

default divMod :: Integral a => a -> a -> (a, a) Source #

Instances

Instances details

Integraled Word16 Source #
Instance details Defined in Language.Hasmtlib.Integraled Methods quot :: Word16 -> Word16 -> Word16 Source # rem :: Word16 -> Word16 -> Word16 Source # div :: Word16 -> Word16 -> Word16 Source # mod :: Word16 -> Word16 -> Word16 Source # quotRem :: Word16 -> Word16 -> (Word16, Word16) Source # divMod :: Word16 -> Word16 -> (Word16, Word16) Source #
Integraled Word32 Source #
Instance details Defined in Language.Hasmtlib.Integraled Methods quot :: Word32 -> Word32 -> Word32 Source # rem :: Word32 -> Word32 -> Word32 Source # div :: Word32 -> Word32 -> Word32 Source # mod :: Word32 -> Word32 -> Word32 Source # quotRem :: Word32 -> Word32 -> (Word32, Word32) Source # divMod :: Word32 -> Word32 -> (Word32, Word32) Source #
Integraled Word64 Source #
Instance details Defined in Language.Hasmtlib.Integraled Methods quot :: Word64 -> Word64 -> Word64 Source # rem :: Word64 -> Word64 -> Word64 Source # div :: Word64 -> Word64 -> Word64 Source # mod :: Word64 -> Word64 -> Word64 Source # quotRem :: Word64 -> Word64 -> (Word64, Word64) Source # divMod :: Word64 -> Word64 -> (Word64, Word64) Source #
Integraled Word8 Source #
Instance details Defined in Language.Hasmtlib.Integraled Methods quot :: Word8 -> Word8 -> Word8 Source # rem :: Word8 -> Word8 -> Word8 Source # div :: Word8 -> Word8 -> Word8 Source # mod :: Word8 -> Word8 -> Word8 Source # quotRem :: Word8 -> Word8 -> (Word8, Word8) Source # divMod :: Word8 -> Word8 -> (Word8, Word8) Source #
Integraled Integer Source #
Instance details Defined in Language.Hasmtlib.Integraled Methods quot :: Integer -> Integer -> Integer Source # rem :: Integer -> Integer -> Integer Source # div :: Integer -> Integer -> Integer Source # mod :: Integer -> Integer -> Integer Source # quotRem :: Integer -> Integer -> (Integer, Integer) Source # divMod :: Integer -> Integer -> (Integer, Integer) Source #
Integraled Natural Source #
Instance details Defined in Language.Hasmtlib.Integraled Methods quot :: Natural -> Natural -> Natural Source # rem :: Natural -> Natural -> Natural Source # div :: Natural -> Natural -> Natural Source # mod :: Natural -> Natural -> Natural Source # quotRem :: Natural -> Natural -> (Natural, Natural) Source # divMod :: Natural -> Natural -> (Natural, Natural) Source #
Integraled Int Source #
Instance details Defined in Language.Hasmtlib.Integraled Methods quot :: Int -> Int -> Int Source # rem :: Int -> Int -> Int Source # div :: Int -> Int -> Int Source # mod :: Int -> Int -> Int Source # quotRem :: Int -> Int -> (Int, Int) Source # divMod :: Int -> Int -> (Int, Int) Source #
Integraled Word Source #
Instance details Defined in Language.Hasmtlib.Integraled Methods quot :: Word -> Word -> Word Source # rem :: Word -> Word -> Word Source # div :: Word -> Word -> Word Source # mod :: Word -> Word -> Word Source # quotRem :: Word -> Word -> (Word, Word) Source # divMod :: Word -> Word -> (Word, Word) Source #
Integral a => Integraled (Identity a) Source #
Instance details Defined in Language.Hasmtlib.Integraled Methods quot :: Identity a -> Identity a -> Identity a Source # rem :: Identity a -> Identity a -> Identity a Source # div :: Identity a -> Identity a -> Identity a Source # mod :: Identity a -> Identity a -> Identity a Source # quotRem :: Identity a -> Identity a -> (Identity a, Identity a) Source # divMod :: Identity a -> Identity a -> (Identity a, Identity a) Source #
KnownNat n => Integraled (Expr ('BvSort n)) Source #
Instance details Defined in Language.Hasmtlib.Internal.Expr.Num Methods quot :: Expr ('BvSort n) -> Expr ('BvSort n) -> Expr ('BvSort n) Source # rem :: Expr ('BvSort n) -> Expr ('BvSort n) -> Expr ('BvSort n) Source # div :: Expr ('BvSort n) -> Expr ('BvSort n) -> Expr ('BvSort n) Source # mod :: Expr ('BvSort n) -> Expr ('BvSort n) -> Expr ('BvSort n) Source # quotRem :: Expr ('BvSort n) -> Expr ('BvSort n) -> (Expr ('BvSort n), Expr ('BvSort n)) Source # divMod :: Expr ('BvSort n) -> Expr ('BvSort n) -> (Expr ('BvSort n), Expr ('BvSort n)) Source #
Integraled (Expr 'IntSort) Source #
Instance details Defined in Language.Hasmtlib.Internal.Expr.Num Methods quot :: Expr 'IntSort -> Expr 'IntSort -> Expr 'IntSort Source # rem :: Expr 'IntSort -> Expr 'IntSort -> Expr 'IntSort Source # div :: Expr 'IntSort -> Expr 'IntSort -> Expr 'IntSort Source # mod :: Expr 'IntSort -> Expr 'IntSort -> Expr 'IntSort Source # quotRem :: Expr 'IntSort -> Expr 'IntSort -> (Expr 'IntSort, Expr 'IntSort) Source # divMod :: Expr 'IntSort -> Expr 'IntSort -> (Expr 'IntSort, Expr 'IntSort) Source #
Integral a => Integraled (Const a b) Source #
Instance details Defined in Language.Hasmtlib.Integraled Methods quot :: Const a b -> Const a b -> Const a b Source # rem :: Const a b -> Const a b -> Const a b Source # div :: Const a b -> Const a b -> Const a b Source # mod :: Const a b -> Const a b -> Const a b Source # quotRem :: Const a b -> Const a b -> (Const a b, Const a b) Source # divMod :: Const a b -> Const a b -> (Const a b, Const a b) Source #