Safe Haskell	Safe

Eta.Types

Documentation

data Int :: * #

Instances

Bounded Int
Methods minBound :: Int # maxBound :: Int #
Enum Int
Methods succ :: Int -> Int pred :: Int -> Int toEnum :: Int -> Int # fromEnum :: Int -> Int # enumFrom :: Int -> [Int] enumFromThen :: Int -> Int -> [Int] enumFromTo :: Int -> Int -> [Int] enumFromThenTo :: Int -> Int -> Int -> [Int]
Eq Int
Methods (==) :: Int -> Int -> Bool # (/=) :: Int -> Int -> Bool #
Integral Int
Methods quot :: Int -> Int -> Int # rem :: Int -> Int -> Int # div :: Int -> Int -> Int # mod :: Int -> Int -> Int # quotRem :: Int -> Int -> (Int, Int) # divMod :: Int -> Int -> (Int, Int) # toInteger :: Int -> Integer #
Num Int
Methods (+) :: Int -> Int -> Int # (-) :: Int -> Int -> Int # (*) :: Int -> Int -> Int # negate :: Int -> Int # abs :: Int -> Int # signum :: Int -> Int # fromInteger :: Integer -> Int #
Ord Int
Methods compare :: Int -> Int -> Ordering # (<) :: Int -> Int -> Bool # (<=) :: Int -> Int -> Bool # (>) :: Int -> Int -> Bool # (>=) :: Int -> Int -> Bool # max :: Int -> Int -> Int # min :: Int -> Int -> Int #
Read Int
Methods readsPrec :: Int -> ReadS Int # readList :: ReadS [Int] readPrec :: ReadPrec Int readListPrec :: ReadPrec [Int]
Real Int
Methods toRational :: Int -> Rational #
Show Int
Methods showsPrec :: Int -> Int -> ShowS # show :: Int -> String # showList :: [Int] -> ShowS #
Functor (URec Int)
Methods fmap :: (a -> b) -> URec Int a -> URec Int b # (<$) :: a -> URec Int b -> URec Int a
Foldable (URec Int)
Methods fold :: Monoid m => URec Int m -> m foldMap :: Monoid m => (a -> m) -> URec Int a -> m # foldr :: (a -> b -> b) -> b -> URec Int a -> b # foldr' :: (a -> b -> b) -> b -> URec Int a -> b foldl :: (b -> a -> b) -> b -> URec Int a -> b foldl' :: (b -> a -> b) -> b -> URec Int a -> b foldr1 :: (a -> a -> a) -> URec Int a -> a foldl1 :: (a -> a -> a) -> URec Int a -> a toList :: URec Int a -> [a] null :: URec Int a -> Bool length :: URec Int a -> Int elem :: Eq a => a -> URec Int a -> Bool maximum :: Ord a => URec Int a -> a minimum :: Ord a => URec Int a -> a sum :: Num a => URec Int a -> a product :: Num a => URec Int a -> a
Traversable (URec Int)
Methods traverse :: Applicative f => (a -> f b) -> URec Int a -> f (URec Int b) # sequenceA :: Applicative f => URec Int (f a) -> f (URec Int a) # mapM :: Monad m => (a -> m b) -> URec Int a -> m (URec Int b) sequence :: Monad m => URec Int (m a) -> m (URec Int a)
Generic1 (URec Int)
Associated Types type Rep1 (URec Int :: * -> ) :: -> * Methods from1 :: URec Int a -> Rep1 (URec Int) a to1 :: Rep1 (URec Int) a -> URec Int a
Eq (URec Int p)
Methods (==) :: URec Int p -> URec Int p -> Bool # (/=) :: URec Int p -> URec Int p -> Bool #
Ord (URec Int p)
Methods compare :: URec Int p -> URec Int p -> Ordering # (<) :: URec Int p -> URec Int p -> Bool # (<=) :: URec Int p -> URec Int p -> Bool # (>) :: URec Int p -> URec Int p -> Bool # (>=) :: URec Int p -> URec Int p -> Bool # max :: URec Int p -> URec Int p -> URec Int p # min :: URec Int p -> URec Int p -> URec Int p #
Show (URec Int p)
Methods showsPrec :: Int -> URec Int p -> ShowS # show :: URec Int p -> String # showList :: [URec Int p] -> ShowS #
Generic (URec Int p)
Associated Types type Rep (URec Int p) :: * -> * Methods from :: URec Int p -> Rep (URec Int p) x to :: Rep (URec Int p) x -> URec Int p
data URec Int
data URec Int = UInt { uInt# :: Int# }
type Rep1 (URec Int)
type Rep1 (URec Int) = D1 (MetaData "URec" "GHC.Generics" "base" False) (C1 (MetaCons "UInt" PrefixI True) (S1 (MetaSel (Just Symbol "uInt#") NoSourceUnpackedness NoSourceStrictness DecidedLazy) UInt))
type Rep (URec Int p)
type Rep (URec Int p) = D1 (MetaData "URec" "GHC.Generics" "base" False) (C1 (MetaCons "UInt" PrefixI True) (S1 (MetaSel (Just Symbol "uInt#") NoSourceUnpackedness NoSourceStrictness DecidedLazy) UInt))

data Int8 :: * #

Instances

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

data Int16 :: * #

Instances

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

data Int32 :: * #

Instances

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

data Int64 :: * #

Instances

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