Safe Haskell	Safe
Language	Haskell98

Data.Sized.Unsigned

Description

Unsigned, fixed sized numbers.

Maintainer: Andy Gill andygill@ku.edu Stability: unstable Portability: ghc

Synopsis

Documentation

data Unsigned ix Source #

Instances

Size ix => Bounded (Unsigned ix) Source #
Methods minBound :: Unsigned ix # maxBound :: Unsigned ix #
Size ix => Enum (Unsigned ix) Source #
Methods succ :: Unsigned ix -> Unsigned ix # pred :: Unsigned ix -> Unsigned ix # toEnum :: Int -> Unsigned ix # fromEnum :: Unsigned ix -> Int # enumFrom :: Unsigned ix -> [Unsigned ix] # enumFromThen :: Unsigned ix -> Unsigned ix -> [Unsigned ix] # enumFromTo :: Unsigned ix -> Unsigned ix -> [Unsigned ix] # enumFromThenTo :: Unsigned ix -> Unsigned ix -> Unsigned ix -> [Unsigned ix] #
Size ix => Eq (Unsigned ix) Source #
Methods (==) :: Unsigned ix -> Unsigned ix -> Bool # (/=) :: Unsigned ix -> Unsigned ix -> Bool #
Size ix => Integral (Unsigned ix) Source #
Methods quot :: Unsigned ix -> Unsigned ix -> Unsigned ix # rem :: Unsigned ix -> Unsigned ix -> Unsigned ix # div :: Unsigned ix -> Unsigned ix -> Unsigned ix # mod :: Unsigned ix -> Unsigned ix -> Unsigned ix # quotRem :: Unsigned ix -> Unsigned ix -> (Unsigned ix, Unsigned ix) # divMod :: Unsigned ix -> Unsigned ix -> (Unsigned ix, Unsigned ix) # toInteger :: Unsigned ix -> Integer #
Size ix => Num (Unsigned ix) Source #
Methods (+) :: Unsigned ix -> Unsigned ix -> Unsigned ix # (-) :: Unsigned ix -> Unsigned ix -> Unsigned ix # (*) :: Unsigned ix -> Unsigned ix -> Unsigned ix # negate :: Unsigned ix -> Unsigned ix # abs :: Unsigned ix -> Unsigned ix # signum :: Unsigned ix -> Unsigned ix # fromInteger :: Integer -> Unsigned ix #
Size ix => Ord (Unsigned ix) Source #
Methods compare :: Unsigned ix -> Unsigned ix -> Ordering # (<) :: Unsigned ix -> Unsigned ix -> Bool # (<=) :: Unsigned ix -> Unsigned ix -> Bool # (>) :: Unsigned ix -> Unsigned ix -> Bool # (>=) :: Unsigned ix -> Unsigned ix -> Bool # max :: Unsigned ix -> Unsigned ix -> Unsigned ix # min :: Unsigned ix -> Unsigned ix -> Unsigned ix #
Size ix => Read (Unsigned ix) Source #
Methods readsPrec :: Int -> ReadS (Unsigned ix) # readList :: ReadS [Unsigned ix] # readPrec :: ReadPrec (Unsigned ix) # readListPrec :: ReadPrec [Unsigned ix] #
Size ix => Real (Unsigned ix) Source #
Methods toRational :: Unsigned ix -> Rational #
Size ix => Show (Unsigned ix) Source #
Methods showsPrec :: Int -> Unsigned ix -> ShowS # show :: Unsigned ix -> String # showList :: [Unsigned ix] -> ShowS #
Size ix => Ix (Unsigned ix) Source #
Methods range :: (Unsigned ix, Unsigned ix) -> [Unsigned ix] # index :: (Unsigned ix, Unsigned ix) -> Unsigned ix -> Int # unsafeIndex :: (Unsigned ix, Unsigned ix) -> Unsigned ix -> Int inRange :: (Unsigned ix, Unsigned ix) -> Unsigned ix -> Bool # rangeSize :: (Unsigned ix, Unsigned ix) -> Int # unsafeRangeSize :: (Unsigned ix, Unsigned ix) -> Int
(Size ix, Integral ix) => Bits (Unsigned ix) Source #
Methods (.&.) :: Unsigned ix -> Unsigned ix -> Unsigned ix # (.\|.) :: Unsigned ix -> Unsigned ix -> Unsigned ix # xor :: Unsigned ix -> Unsigned ix -> Unsigned ix # complement :: Unsigned ix -> Unsigned ix # shift :: Unsigned ix -> Int -> Unsigned ix # rotate :: Unsigned ix -> Int -> Unsigned ix # zeroBits :: Unsigned ix # bit :: Int -> Unsigned ix # setBit :: Unsigned ix -> Int -> Unsigned ix # clearBit :: Unsigned ix -> Int -> Unsigned ix # complementBit :: Unsigned ix -> Int -> Unsigned ix # testBit :: Unsigned ix -> Int -> Bool # bitSizeMaybe :: Unsigned ix -> Maybe Int # bitSize :: Unsigned ix -> Int # isSigned :: Unsigned ix -> Bool # shiftL :: Unsigned ix -> Int -> Unsigned ix # unsafeShiftL :: Unsigned ix -> Int -> Unsigned ix # shiftR :: Unsigned ix -> Int -> Unsigned ix # unsafeShiftR :: Unsigned ix -> Int -> Unsigned ix # rotateL :: Unsigned ix -> Int -> Unsigned ix # rotateR :: Unsigned ix -> Int -> Unsigned ix # popCount :: Unsigned ix -> Int #
(Size ix, Integral ix) => FiniteBits (Unsigned ix) Source #
Methods finiteBitSize :: Unsigned ix -> Int # countLeadingZeros :: Unsigned ix -> Int # countTrailingZeros :: Unsigned ix -> Int #
Size ix => Size (Unsigned ix) Source #
Methods size :: Unsigned ix -> Int Source # addIndex :: Unsigned ix -> Index (Unsigned ix) -> Unsigned ix Source # toIndex :: Unsigned ix -> Index (Unsigned ix) Source #
type Index (Unsigned ix) Source #
type Index (Unsigned ix) = Int