Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Semiring

Documentation

newtype MaxPlus a Source #

Constructors

MaxPlus
Fields getMaxPlus :: a

Instances

Instances details

(Ord a, Bounded a, Num a) => Num (MaxPlus a) Source #
Instance details Defined in Data.Semiring Methods (+) :: MaxPlus a -> MaxPlus a -> MaxPlus a # (-) :: MaxPlus a -> MaxPlus a -> MaxPlus a # (*) :: MaxPlus a -> MaxPlus a -> MaxPlus a # negate :: MaxPlus a -> MaxPlus a # abs :: MaxPlus a -> MaxPlus a # signum :: MaxPlus a -> MaxPlus a # fromInteger :: Integer -> MaxPlus a #
Show a => Show (MaxPlus a) Source #
Instance details Defined in Data.Semiring Methods showsPrec :: Int -> MaxPlus a -> ShowS # show :: MaxPlus a -> String # showList :: [MaxPlus a] -> ShowS #
Eq a => Eq (MaxPlus a) Source #
Instance details Defined in Data.Semiring Methods (==) :: MaxPlus a -> MaxPlus a -> Bool # (/=) :: MaxPlus a -> MaxPlus a -> Bool #
Ord a => Ord (MaxPlus a) Source #
Instance details Defined in Data.Semiring Methods compare :: MaxPlus a -> MaxPlus a -> Ordering # (<) :: MaxPlus a -> MaxPlus a -> Bool # (<=) :: MaxPlus a -> MaxPlus a -> Bool # (>) :: MaxPlus a -> MaxPlus a -> Bool # (>=) :: MaxPlus a -> MaxPlus a -> Bool # max :: MaxPlus a -> MaxPlus a -> MaxPlus a # min :: MaxPlus a -> MaxPlus a -> MaxPlus a #
Prim a => Prim (MaxPlus a) Source #
Instance details Defined in Data.Semiring Methods sizeOf# :: MaxPlus a -> Int# alignment# :: MaxPlus a -> Int# indexByteArray# :: ByteArray# -> Int# -> MaxPlus a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MaxPlus a #) writeByteArray# :: MutableByteArray# s -> Int# -> MaxPlus a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> MaxPlus a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> MaxPlus a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, MaxPlus a #) writeOffAddr# :: Addr# -> Int# -> MaxPlus a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> MaxPlus a -> State# s -> State# s

newtype MinPlus a Source #

Constructors

MinPlus
Fields getMinPlus :: a

Instances

Instances details

(Ord a, Bounded a, Num a) => Num (MinPlus a) Source #
Instance details Defined in Data.Semiring Methods (+) :: MinPlus a -> MinPlus a -> MinPlus a # (-) :: MinPlus a -> MinPlus a -> MinPlus a # (*) :: MinPlus a -> MinPlus a -> MinPlus a # negate :: MinPlus a -> MinPlus a # abs :: MinPlus a -> MinPlus a # signum :: MinPlus a -> MinPlus a # fromInteger :: Integer -> MinPlus a #
Show a => Show (MinPlus a) Source #
Instance details Defined in Data.Semiring Methods showsPrec :: Int -> MinPlus a -> ShowS # show :: MinPlus a -> String # showList :: [MinPlus a] -> ShowS #
Eq a => Eq (MinPlus a) Source #
Instance details Defined in Data.Semiring Methods (==) :: MinPlus a -> MinPlus a -> Bool # (/=) :: MinPlus a -> MinPlus a -> Bool #
Ord a => Ord (MinPlus a) Source #
Instance details Defined in Data.Semiring Methods compare :: MinPlus a -> MinPlus a -> Ordering # (<) :: MinPlus a -> MinPlus a -> Bool # (<=) :: MinPlus a -> MinPlus a -> Bool # (>) :: MinPlus a -> MinPlus a -> Bool # (>=) :: MinPlus a -> MinPlus a -> Bool # max :: MinPlus a -> MinPlus a -> MinPlus a # min :: MinPlus a -> MinPlus a -> MinPlus a #
Prim a => Prim (MinPlus a) Source #
Instance details Defined in Data.Semiring Methods sizeOf# :: MinPlus a -> Int# alignment# :: MinPlus a -> Int# indexByteArray# :: ByteArray# -> Int# -> MinPlus a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MinPlus a #) writeByteArray# :: MutableByteArray# s -> Int# -> MinPlus a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> MinPlus a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> MinPlus a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, MinPlus a #) writeOffAddr# :: Addr# -> Int# -> MinPlus a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> MinPlus a -> State# s -> State# s

newtype XorAnd a Source #

Constructors

XorAnd
Fields getXorAnd :: a

Instances

Instances details

Bits a => Bits (XorAnd a) Source #
Instance details Defined in Data.Semiring Methods (.&.) :: XorAnd a -> XorAnd a -> XorAnd a # (.\|.) :: XorAnd a -> XorAnd a -> XorAnd a # xor :: XorAnd a -> XorAnd a -> XorAnd a # complement :: XorAnd a -> XorAnd a # shift :: XorAnd a -> Int -> XorAnd a # rotate :: XorAnd a -> Int -> XorAnd a # zeroBits :: XorAnd a # bit :: Int -> XorAnd a # setBit :: XorAnd a -> Int -> XorAnd a # clearBit :: XorAnd a -> Int -> XorAnd a # complementBit :: XorAnd a -> Int -> XorAnd a # testBit :: XorAnd a -> Int -> Bool # bitSizeMaybe :: XorAnd a -> Maybe Int # bitSize :: XorAnd a -> Int # isSigned :: XorAnd a -> Bool # shiftL :: XorAnd a -> Int -> XorAnd a # unsafeShiftL :: XorAnd a -> Int -> XorAnd a # shiftR :: XorAnd a -> Int -> XorAnd a # unsafeShiftR :: XorAnd a -> Int -> XorAnd a # rotateL :: XorAnd a -> Int -> XorAnd a # rotateR :: XorAnd a -> Int -> XorAnd a # popCount :: XorAnd a -> Int #
Bits a => Num (XorAnd a) Source #
Instance details Defined in Data.Semiring Methods (+) :: XorAnd a -> XorAnd a -> XorAnd a # (-) :: XorAnd a -> XorAnd a -> XorAnd a # (*) :: XorAnd a -> XorAnd a -> XorAnd a # negate :: XorAnd a -> XorAnd a # abs :: XorAnd a -> XorAnd a # signum :: XorAnd a -> XorAnd a # fromInteger :: Integer -> XorAnd a #
Show a => Show (XorAnd a) Source #
Instance details Defined in Data.Semiring Methods showsPrec :: Int -> XorAnd a -> ShowS # show :: XorAnd a -> String # showList :: [XorAnd a] -> ShowS #
Eq a => Eq (XorAnd a) Source #
Instance details Defined in Data.Semiring Methods (==) :: XorAnd a -> XorAnd a -> Bool # (/=) :: XorAnd a -> XorAnd a -> Bool #
Prim a => Prim (XorAnd a) Source #
Instance details Defined in Data.Semiring Methods sizeOf# :: XorAnd a -> Int# alignment# :: XorAnd a -> Int# indexByteArray# :: ByteArray# -> Int# -> XorAnd a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, XorAnd a #) writeByteArray# :: MutableByteArray# s -> Int# -> XorAnd a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> XorAnd a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> XorAnd a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, XorAnd a #) writeOffAddr# :: Addr# -> Int# -> XorAnd a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> XorAnd a -> State# s -> State# s