Copyright	(c) 2011 National Institute of Aerospace / Galois Inc.
Safe Haskell	Safe
Language	Haskell2010

Copilot.Core

Description

The following articles might also be useful:

Carette, Jacques and Kiselyov, Oleg and Shan, Chung-chieh, "Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages", Journal of Functional Programming vol. 19, p. 509-543, 2009.
Guillemette, Louis-Julien and Monnier, Stefan, "Type-Safe Code Transformations in Haskell", Electronic Notes in Theoretical Computer Science vol. 174, p. 23-39, 2007.

For examples of how to traverse a Copilot specification see the source code of the interpreter (copilot-interpreter) and the pretty-printer (copilot-prettyprinter).

Documentation

module Copilot.Core.Expr

module Copilot.Core.Operators

module Copilot.Core.Spec

module Copilot.Core.Type

module Copilot.Core.Type.Array

data Int #

Instances

Instances details

PrintfArg Int

Instance details

Defined in Text.Printf

Methods

formatArg :: Int -> FieldFormatter

parseFormat :: Int -> ModifierParser

Bits Int

Instance details

Defined in GHC.Internal.Bits

Methods

(.&.) :: Int -> Int -> Int

(.|.) :: Int -> Int -> Int

xor :: Int -> Int -> Int

complement :: Int -> Int

shift :: Int -> Int -> Int

rotate :: Int -> Int -> Int

zeroBits :: Int

bit :: Int -> Int

setBit :: Int -> Int -> Int

clearBit :: Int -> Int -> Int

complementBit :: Int -> Int -> Int

testBit :: Int -> Int -> Bool

bitSizeMaybe :: Int -> Maybe Int

bitSize :: Int -> Int

isSigned :: Int -> Bool

shiftL :: Int -> Int -> Int

unsafeShiftL :: Int -> Int -> Int

shiftR :: Int -> Int -> Int

unsafeShiftR :: Int -> Int -> Int

rotateL :: Int -> Int -> Int

rotateR :: Int -> Int -> Int

popCount :: Int -> Int

FiniteBits Int

Instance details

Defined in GHC.Internal.Bits

Methods

finiteBitSize :: Int -> Int

countLeadingZeros :: Int -> Int

countTrailingZeros :: Int -> Int

Bounded Int

Instance details

Defined in GHC.Internal.Enum

Methods

minBound :: Int

maxBound :: Int

Enum Int

Instance details

Defined in GHC.Internal.Enum

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]

Num Int

Instance details

Defined in GHC.Internal.Num

Methods

(+) :: Int -> Int -> Int

(-) :: Int -> Int -> Int

(*) :: Int -> Int -> Int

negate :: Int -> Int

abs :: Int -> Int

signum :: Int -> Int

fromInteger :: Integer -> Int

Integral Int

Instance details

Defined in GHC.Internal.Real

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

Real Int

Instance details

Defined in GHC.Internal.Real

Methods

toRational :: Int -> Rational

Show Int

Instance details

Defined in GHC.Internal.Show

Methods

showsPrec :: Int -> Int -> ShowS

show :: Int -> String

showList :: [Int] -> ShowS

Eq Int

Instance details

Defined in GHC.Classes

Methods

(==) :: Int -> Int -> Bool

(/=) :: Int -> Int -> Bool

Ord Int

Instance details

Defined in GHC.Classes

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

Generic1 (URec Int :: k -> Type)

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep1 (URec Int :: k -> Type)
Instance details Defined in GHC.Internal.Generics type Rep1 (URec Int :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Type)))

Methods

from1 :: forall (a :: k). URec Int a -> Rep1 (URec Int :: k -> Type) a

to1 :: forall (a :: k). Rep1 (URec Int :: k -> Type) a -> URec Int a

Foldable (UInt :: Type -> Type)

Instance details

Defined in GHC.Internal.Data.Foldable

Methods

fold :: Monoid m => UInt m -> m

foldMap :: Monoid m => (a -> m) -> UInt a -> m

foldMap' :: Monoid m => (a -> m) -> UInt a -> m

foldr :: (a -> b -> b) -> b -> UInt a -> b

foldr' :: (a -> b -> b) -> b -> UInt a -> b

foldl :: (b -> a -> b) -> b -> UInt a -> b

foldl' :: (b -> a -> b) -> b -> UInt a -> b

foldr1 :: (a -> a -> a) -> UInt a -> a

foldl1 :: (a -> a -> a) -> UInt a -> a

toList :: UInt a -> [a]

null :: UInt a -> Bool

length :: UInt a -> Int

elem :: Eq a => a -> UInt a -> Bool

maximum :: Ord a => UInt a -> a

minimum :: Ord a => UInt a -> a

sum :: Num a => UInt a -> a

product :: Num a => UInt a -> a

Functor (URec Int :: Type -> Type)

Instance details

Defined in GHC.Internal.Generics

Methods

fmap :: (a -> b) -> URec Int a -> URec Int b

(<$) :: a -> URec Int b -> URec Int a

Generic (URec Int p)

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep (URec Int p)
Instance details Defined in GHC.Internal.Generics type Rep (URec Int p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: Type -> Type)))

Methods

from :: URec Int p -> Rep (URec Int p) x

to :: Rep (URec Int p) x -> URec Int p

Show (URec Int p)

Instance details

Defined in GHC.Internal.Generics

Methods

showsPrec :: Int -> URec Int p -> ShowS

show :: URec Int p -> String

showList :: [URec Int p] -> ShowS

Eq (URec Int p)

Instance details

Defined in GHC.Internal.Generics

Methods

(==) :: URec Int p -> URec Int p -> Bool

(/=) :: URec Int p -> URec Int p -> Bool

Ord (URec Int p)

Instance details

Defined in GHC.Internal.Generics

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

data URec Int (p :: k)

Instance details

Defined in GHC.Internal.Generics

data URec Int (p :: k) = UInt {

uInt# :: Int#

}

type Rep1 (URec Int :: k -> Type)

Instance details

Defined in GHC.Internal.Generics

type Rep1 (URec Int :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Type)))

type Rep (URec Int p)

Instance details

Defined in GHC.Internal.Generics

type Rep (URec Int p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: Type -> Type)))

data Int16 #

Instances

Instances details

PrintfArg Int16
Instance details Defined in Text.Printf Methods formatArg :: Int16 -> FieldFormatter parseFormat :: Int16 -> ModifierParser
Typed Int16 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int16 Source # simpleType :: Type Int16 -> SimpleType Source #
Bits Int16
Instance details Defined in GHC.Internal.Int 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
FiniteBits Int16
Instance details Defined in GHC.Internal.Int Methods finiteBitSize :: Int16 -> Int countLeadingZeros :: Int16 -> Int countTrailingZeros :: Int16 -> Int
Bounded Int16
Instance details Defined in GHC.Internal.Int Methods minBound :: Int16 maxBound :: Int16
Enum Int16
Instance details Defined in GHC.Internal.Int 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]
Ix Int16
Instance details Defined in GHC.Internal.Int 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
Num Int16
Instance details Defined in GHC.Internal.Int Methods (+) :: Int16 -> Int16 -> Int16 (-) :: Int16 -> Int16 -> Int16 (*) :: Int16 -> Int16 -> Int16 negate :: Int16 -> Int16 abs :: Int16 -> Int16 signum :: Int16 -> Int16 fromInteger :: Integer -> Int16
Read Int16
Instance details Defined in GHC.Internal.Int Methods readsPrec :: Int -> ReadS Int16 readList :: ReadS [Int16] readPrec :: ReadPrec Int16 readListPrec :: ReadPrec [Int16]
Integral Int16
Instance details Defined in GHC.Internal.Int 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
Real Int16
Instance details Defined in GHC.Internal.Int Methods toRational :: Int16 -> Rational
Show Int16
Instance details Defined in GHC.Internal.Int Methods showsPrec :: Int -> Int16 -> ShowS show :: Int16 -> String showList :: [Int16] -> ShowS
Eq Int16
Instance details Defined in GHC.Internal.Int Methods (==) :: Int16 -> Int16 -> Bool (/=) :: Int16 -> Int16 -> Bool
Ord Int16
Instance details Defined in GHC.Internal.Int 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

data Int32 #

Instances

Instances details

PrintfArg Int32
Instance details Defined in Text.Printf Methods formatArg :: Int32 -> FieldFormatter parseFormat :: Int32 -> ModifierParser
Typed Int32 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int32 Source # simpleType :: Type Int32 -> SimpleType Source #
Bits Int32
Instance details Defined in GHC.Internal.Int 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
FiniteBits Int32
Instance details Defined in GHC.Internal.Int Methods finiteBitSize :: Int32 -> Int countLeadingZeros :: Int32 -> Int countTrailingZeros :: Int32 -> Int
Bounded Int32
Instance details Defined in GHC.Internal.Int Methods minBound :: Int32 maxBound :: Int32
Enum Int32
Instance details Defined in GHC.Internal.Int 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]
Ix Int32
Instance details Defined in GHC.Internal.Int 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
Num Int32
Instance details Defined in GHC.Internal.Int Methods (+) :: Int32 -> Int32 -> Int32 (-) :: Int32 -> Int32 -> Int32 (*) :: Int32 -> Int32 -> Int32 negate :: Int32 -> Int32 abs :: Int32 -> Int32 signum :: Int32 -> Int32 fromInteger :: Integer -> Int32
Read Int32
Instance details Defined in GHC.Internal.Int Methods readsPrec :: Int -> ReadS Int32 readList :: ReadS [Int32] readPrec :: ReadPrec Int32 readListPrec :: ReadPrec [Int32]
Integral Int32
Instance details Defined in GHC.Internal.Int 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
Real Int32
Instance details Defined in GHC.Internal.Int Methods toRational :: Int32 -> Rational
Show Int32
Instance details Defined in GHC.Internal.Int Methods showsPrec :: Int -> Int32 -> ShowS show :: Int32 -> String showList :: [Int32] -> ShowS
Eq Int32
Instance details Defined in GHC.Internal.Int Methods (==) :: Int32 -> Int32 -> Bool (/=) :: Int32 -> Int32 -> Bool
Ord Int32
Instance details Defined in GHC.Internal.Int 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

data Int64 #

Instances

Instances details

PrintfArg Int64
Instance details Defined in Text.Printf Methods formatArg :: Int64 -> FieldFormatter parseFormat :: Int64 -> ModifierParser
Typed Int64 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int64 Source # simpleType :: Type Int64 -> SimpleType Source #
Bits Int64
Instance details Defined in GHC.Internal.Int 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
FiniteBits Int64
Instance details Defined in GHC.Internal.Int Methods finiteBitSize :: Int64 -> Int countLeadingZeros :: Int64 -> Int countTrailingZeros :: Int64 -> Int
Bounded Int64
Instance details Defined in GHC.Internal.Int Methods minBound :: Int64 maxBound :: Int64
Enum Int64
Instance details Defined in GHC.Internal.Int 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]
Ix Int64
Instance details Defined in GHC.Internal.Int 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
Num Int64
Instance details Defined in GHC.Internal.Int Methods (+) :: Int64 -> Int64 -> Int64 (-) :: Int64 -> Int64 -> Int64 (*) :: Int64 -> Int64 -> Int64 negate :: Int64 -> Int64 abs :: Int64 -> Int64 signum :: Int64 -> Int64 fromInteger :: Integer -> Int64
Read Int64
Instance details Defined in GHC.Internal.Int Methods readsPrec :: Int -> ReadS Int64 readList :: ReadS [Int64] readPrec :: ReadPrec Int64 readListPrec :: ReadPrec [Int64]
Integral Int64
Instance details Defined in GHC.Internal.Int 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
Real Int64
Instance details Defined in GHC.Internal.Int Methods toRational :: Int64 -> Rational
Show Int64
Instance details Defined in GHC.Internal.Int Methods showsPrec :: Int -> Int64 -> ShowS show :: Int64 -> String showList :: [Int64] -> ShowS
Eq Int64
Instance details Defined in GHC.Internal.Int Methods (==) :: Int64 -> Int64 -> Bool (/=) :: Int64 -> Int64 -> Bool
Ord Int64
Instance details Defined in GHC.Internal.Int 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

data Int8 #

Instances

Instances details

PrintfArg Int8
Instance details Defined in Text.Printf Methods formatArg :: Int8 -> FieldFormatter parseFormat :: Int8 -> ModifierParser
Typed Int8 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int8 Source # simpleType :: Type Int8 -> SimpleType Source #
Bits Int8
Instance details Defined in GHC.Internal.Int 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
FiniteBits Int8
Instance details Defined in GHC.Internal.Int Methods finiteBitSize :: Int8 -> Int countLeadingZeros :: Int8 -> Int countTrailingZeros :: Int8 -> Int
Bounded Int8
Instance details Defined in GHC.Internal.Int Methods minBound :: Int8 maxBound :: Int8
Enum Int8
Instance details Defined in GHC.Internal.Int 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]
Ix Int8
Instance details Defined in GHC.Internal.Int 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
Num Int8
Instance details Defined in GHC.Internal.Int Methods (+) :: Int8 -> Int8 -> Int8 (-) :: Int8 -> Int8 -> Int8 (*) :: Int8 -> Int8 -> Int8 negate :: Int8 -> Int8 abs :: Int8 -> Int8 signum :: Int8 -> Int8 fromInteger :: Integer -> Int8
Read Int8
Instance details Defined in GHC.Internal.Int Methods readsPrec :: Int -> ReadS Int8 readList :: ReadS [Int8] readPrec :: ReadPrec Int8 readListPrec :: ReadPrec [Int8]
Integral Int8
Instance details Defined in GHC.Internal.Int 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
Real Int8
Instance details Defined in GHC.Internal.Int Methods toRational :: Int8 -> Rational
Show Int8
Instance details Defined in GHC.Internal.Int Methods showsPrec :: Int -> Int8 -> ShowS show :: Int8 -> String showList :: [Int8] -> ShowS
Eq Int8
Instance details Defined in GHC.Internal.Int Methods (==) :: Int8 -> Int8 -> Bool (/=) :: Int8 -> Int8 -> Bool
Ord Int8
Instance details Defined in GHC.Internal.Int 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

data Word #

Instances

Instances details

PrintfArg Word

Instance details

Defined in Text.Printf

Methods

formatArg :: Word -> FieldFormatter

parseFormat :: Word -> ModifierParser

Bits Word

Instance details

Defined in GHC.Internal.Bits

Methods

(.&.) :: Word -> Word -> Word

(.|.) :: Word -> Word -> Word

xor :: Word -> Word -> Word

complement :: Word -> Word

shift :: Word -> Int -> Word

rotate :: Word -> Int -> Word

zeroBits :: Word

bit :: Int -> Word

setBit :: Word -> Int -> Word

clearBit :: Word -> Int -> Word

complementBit :: Word -> Int -> Word

testBit :: Word -> Int -> Bool

bitSizeMaybe :: Word -> Maybe Int

bitSize :: Word -> Int

isSigned :: Word -> Bool

shiftL :: Word -> Int -> Word

unsafeShiftL :: Word -> Int -> Word

shiftR :: Word -> Int -> Word

unsafeShiftR :: Word -> Int -> Word

rotateL :: Word -> Int -> Word

rotateR :: Word -> Int -> Word

popCount :: Word -> Int

FiniteBits Word

Instance details

Defined in GHC.Internal.Bits

Methods

finiteBitSize :: Word -> Int

countLeadingZeros :: Word -> Int

countTrailingZeros :: Word -> Int

Bounded Word

Instance details

Defined in GHC.Internal.Enum

Methods

minBound :: Word

maxBound :: Word

Enum Word

Instance details

Defined in GHC.Internal.Enum

Methods

succ :: Word -> Word

pred :: Word -> Word

toEnum :: Int -> Word

fromEnum :: Word -> Int

enumFrom :: Word -> [Word]

enumFromThen :: Word -> Word -> [Word]

enumFromTo :: Word -> Word -> [Word]

enumFromThenTo :: Word -> Word -> Word -> [Word]

Num Word

Instance details

Defined in GHC.Internal.Num

Methods

(+) :: Word -> Word -> Word

(-) :: Word -> Word -> Word

(*) :: Word -> Word -> Word

negate :: Word -> Word

abs :: Word -> Word

signum :: Word -> Word

fromInteger :: Integer -> Word

Integral Word

Instance details

Defined in GHC.Internal.Real

Methods

quot :: Word -> Word -> Word

rem :: Word -> Word -> Word

div :: Word -> Word -> Word

mod :: Word -> Word -> Word

quotRem :: Word -> Word -> (Word, Word)

divMod :: Word -> Word -> (Word, Word)

toInteger :: Word -> Integer

Real Word

Instance details

Defined in GHC.Internal.Real

Methods

toRational :: Word -> Rational

Show Word

Instance details

Defined in GHC.Internal.Show

Methods

showsPrec :: Int -> Word -> ShowS

show :: Word -> String

showList :: [Word] -> ShowS

Eq Word

Instance details

Defined in GHC.Classes

Methods

(==) :: Word -> Word -> Bool

(/=) :: Word -> Word -> Bool

Ord Word

Instance details

Defined in GHC.Classes

Methods

compare :: Word -> Word -> Ordering

(<) :: Word -> Word -> Bool

(<=) :: Word -> Word -> Bool

(>) :: Word -> Word -> Bool

(>=) :: Word -> Word -> Bool

max :: Word -> Word -> Word

min :: Word -> Word -> Word

Generic1 (URec Word :: k -> Type)

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep1 (URec Word :: k -> Type)
Instance details Defined in GHC.Internal.Generics type Rep1 (URec Word :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: k -> Type)))

Methods

from1 :: forall (a :: k). URec Word a -> Rep1 (URec Word :: k -> Type) a

to1 :: forall (a :: k). Rep1 (URec Word :: k -> Type) a -> URec Word a

Foldable (UWord :: Type -> Type)

Instance details

Defined in GHC.Internal.Data.Foldable

Methods

fold :: Monoid m => UWord m -> m

foldMap :: Monoid m => (a -> m) -> UWord a -> m

foldMap' :: Monoid m => (a -> m) -> UWord a -> m

foldr :: (a -> b -> b) -> b -> UWord a -> b

foldr' :: (a -> b -> b) -> b -> UWord a -> b

foldl :: (b -> a -> b) -> b -> UWord a -> b

foldl' :: (b -> a -> b) -> b -> UWord a -> b

foldr1 :: (a -> a -> a) -> UWord a -> a

foldl1 :: (a -> a -> a) -> UWord a -> a

toList :: UWord a -> [a]

null :: UWord a -> Bool

length :: UWord a -> Int

elem :: Eq a => a -> UWord a -> Bool

maximum :: Ord a => UWord a -> a

minimum :: Ord a => UWord a -> a

sum :: Num a => UWord a -> a

product :: Num a => UWord a -> a

Functor (URec Word :: Type -> Type)

Instance details

Defined in GHC.Internal.Generics

Methods

fmap :: (a -> b) -> URec Word a -> URec Word b

(<$) :: a -> URec Word b -> URec Word a

Generic (URec Word p)

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep (URec Word p)
Instance details Defined in GHC.Internal.Generics type Rep (URec Word p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: Type -> Type)))

Methods

from :: URec Word p -> Rep (URec Word p) x

to :: Rep (URec Word p) x -> URec Word p

Show (URec Word p)

Instance details

Defined in GHC.Internal.Generics

Methods

showsPrec :: Int -> URec Word p -> ShowS

show :: URec Word p -> String

showList :: [URec Word p] -> ShowS

Eq (URec Word p)

Instance details

Defined in GHC.Internal.Generics

Methods

(==) :: URec Word p -> URec Word p -> Bool

(/=) :: URec Word p -> URec Word p -> Bool

Ord (URec Word p)

Instance details

Defined in GHC.Internal.Generics

Methods

compare :: URec Word p -> URec Word p -> Ordering

(<) :: URec Word p -> URec Word p -> Bool

(<=) :: URec Word p -> URec Word p -> Bool

(>) :: URec Word p -> URec Word p -> Bool

(>=) :: URec Word p -> URec Word p -> Bool

max :: URec Word p -> URec Word p -> URec Word p

min :: URec Word p -> URec Word p -> URec Word p

data URec Word (p :: k)

Instance details

Defined in GHC.Internal.Generics

data URec Word (p :: k) = UWord {

uWord# :: Word#

}

type Rep1 (URec Word :: k -> Type)

Instance details

Defined in GHC.Internal.Generics

type Rep1 (URec Word :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: k -> Type)))

type Rep (URec Word p)

Instance details

Defined in GHC.Internal.Generics

type Rep (URec Word p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: Type -> Type)))

data Word32 #

Instances

Instances details

PrintfArg Word32
Instance details Defined in Text.Printf Methods formatArg :: Word32 -> FieldFormatter parseFormat :: Word32 -> ModifierParser
Typed Word32 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word32 Source # simpleType :: Type Word32 -> SimpleType Source #
Bits Word32
Instance details Defined in GHC.Internal.Word Methods (.&.) :: Word32 -> Word32 -> Word32 (.\|.) :: Word32 -> Word32 -> Word32 xor :: Word32 -> Word32 -> Word32 complement :: Word32 -> Word32 shift :: Word32 -> Int -> Word32 rotate :: Word32 -> Int -> Word32 zeroBits :: Word32 bit :: Int -> Word32 setBit :: Word32 -> Int -> Word32 clearBit :: Word32 -> Int -> Word32 complementBit :: Word32 -> Int -> Word32 testBit :: Word32 -> Int -> Bool bitSizeMaybe :: Word32 -> Maybe Int bitSize :: Word32 -> Int isSigned :: Word32 -> Bool shiftL :: Word32 -> Int -> Word32 unsafeShiftL :: Word32 -> Int -> Word32 shiftR :: Word32 -> Int -> Word32 unsafeShiftR :: Word32 -> Int -> Word32 rotateL :: Word32 -> Int -> Word32 rotateR :: Word32 -> Int -> Word32 popCount :: Word32 -> Int
FiniteBits Word32
Instance details Defined in GHC.Internal.Word Methods finiteBitSize :: Word32 -> Int countLeadingZeros :: Word32 -> Int countTrailingZeros :: Word32 -> Int
Bounded Word32
Instance details Defined in GHC.Internal.Word Methods minBound :: Word32 maxBound :: Word32
Enum Word32
Instance details Defined in GHC.Internal.Word Methods succ :: Word32 -> Word32 pred :: Word32 -> Word32 toEnum :: Int -> Word32 fromEnum :: Word32 -> Int enumFrom :: Word32 -> [Word32] enumFromThen :: Word32 -> Word32 -> [Word32] enumFromTo :: Word32 -> Word32 -> [Word32] enumFromThenTo :: Word32 -> Word32 -> Word32 -> [Word32]
Ix Word32
Instance details Defined in GHC.Internal.Word Methods range :: (Word32, Word32) -> [Word32] index :: (Word32, Word32) -> Word32 -> Int unsafeIndex :: (Word32, Word32) -> Word32 -> Int inRange :: (Word32, Word32) -> Word32 -> Bool rangeSize :: (Word32, Word32) -> Int unsafeRangeSize :: (Word32, Word32) -> Int
Num Word32
Instance details Defined in GHC.Internal.Word Methods (+) :: Word32 -> Word32 -> Word32 (-) :: Word32 -> Word32 -> Word32 (*) :: Word32 -> Word32 -> Word32 negate :: Word32 -> Word32 abs :: Word32 -> Word32 signum :: Word32 -> Word32 fromInteger :: Integer -> Word32
Integral Word32
Instance details Defined in GHC.Internal.Word Methods quot :: Word32 -> Word32 -> Word32 rem :: Word32 -> Word32 -> Word32 div :: Word32 -> Word32 -> Word32 mod :: Word32 -> Word32 -> Word32 quotRem :: Word32 -> Word32 -> (Word32, Word32) divMod :: Word32 -> Word32 -> (Word32, Word32) toInteger :: Word32 -> Integer
Real Word32
Instance details Defined in GHC.Internal.Word Methods toRational :: Word32 -> Rational
Show Word32
Instance details Defined in GHC.Internal.Word Methods showsPrec :: Int -> Word32 -> ShowS show :: Word32 -> String showList :: [Word32] -> ShowS
Eq Word32
Instance details Defined in GHC.Internal.Word Methods (==) :: Word32 -> Word32 -> Bool (/=) :: Word32 -> Word32 -> Bool
Ord Word32
Instance details Defined in GHC.Internal.Word Methods compare :: Word32 -> Word32 -> Ordering (<) :: Word32 -> Word32 -> Bool (<=) :: Word32 -> Word32 -> Bool (>) :: Word32 -> Word32 -> Bool (>=) :: Word32 -> Word32 -> Bool max :: Word32 -> Word32 -> Word32 min :: Word32 -> Word32 -> Word32

data Word16 #

Instances

Instances details

PrintfArg Word16
Instance details Defined in Text.Printf Methods formatArg :: Word16 -> FieldFormatter parseFormat :: Word16 -> ModifierParser
Typed Word16 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word16 Source # simpleType :: Type Word16 -> SimpleType Source #
Bits Word16
Instance details Defined in GHC.Internal.Word Methods (.&.) :: Word16 -> Word16 -> Word16 (.\|.) :: Word16 -> Word16 -> Word16 xor :: Word16 -> Word16 -> Word16 complement :: Word16 -> Word16 shift :: Word16 -> Int -> Word16 rotate :: Word16 -> Int -> Word16 zeroBits :: Word16 bit :: Int -> Word16 setBit :: Word16 -> Int -> Word16 clearBit :: Word16 -> Int -> Word16 complementBit :: Word16 -> Int -> Word16 testBit :: Word16 -> Int -> Bool bitSizeMaybe :: Word16 -> Maybe Int bitSize :: Word16 -> Int isSigned :: Word16 -> Bool shiftL :: Word16 -> Int -> Word16 unsafeShiftL :: Word16 -> Int -> Word16 shiftR :: Word16 -> Int -> Word16 unsafeShiftR :: Word16 -> Int -> Word16 rotateL :: Word16 -> Int -> Word16 rotateR :: Word16 -> Int -> Word16 popCount :: Word16 -> Int
FiniteBits Word16
Instance details Defined in GHC.Internal.Word Methods finiteBitSize :: Word16 -> Int countLeadingZeros :: Word16 -> Int countTrailingZeros :: Word16 -> Int
Bounded Word16
Instance details Defined in GHC.Internal.Word Methods minBound :: Word16 maxBound :: Word16
Enum Word16
Instance details Defined in GHC.Internal.Word Methods succ :: Word16 -> Word16 pred :: Word16 -> Word16 toEnum :: Int -> Word16 fromEnum :: Word16 -> Int enumFrom :: Word16 -> [Word16] enumFromThen :: Word16 -> Word16 -> [Word16] enumFromTo :: Word16 -> Word16 -> [Word16] enumFromThenTo :: Word16 -> Word16 -> Word16 -> [Word16]
Ix Word16
Instance details Defined in GHC.Internal.Word Methods range :: (Word16, Word16) -> [Word16] index :: (Word16, Word16) -> Word16 -> Int unsafeIndex :: (Word16, Word16) -> Word16 -> Int inRange :: (Word16, Word16) -> Word16 -> Bool rangeSize :: (Word16, Word16) -> Int unsafeRangeSize :: (Word16, Word16) -> Int
Num Word16
Instance details Defined in GHC.Internal.Word Methods (+) :: Word16 -> Word16 -> Word16 (-) :: Word16 -> Word16 -> Word16 (*) :: Word16 -> Word16 -> Word16 negate :: Word16 -> Word16 abs :: Word16 -> Word16 signum :: Word16 -> Word16 fromInteger :: Integer -> Word16
Integral Word16
Instance details Defined in GHC.Internal.Word Methods quot :: Word16 -> Word16 -> Word16 rem :: Word16 -> Word16 -> Word16 div :: Word16 -> Word16 -> Word16 mod :: Word16 -> Word16 -> Word16 quotRem :: Word16 -> Word16 -> (Word16, Word16) divMod :: Word16 -> Word16 -> (Word16, Word16) toInteger :: Word16 -> Integer
Real Word16
Instance details Defined in GHC.Internal.Word Methods toRational :: Word16 -> Rational
Show Word16
Instance details Defined in GHC.Internal.Word Methods showsPrec :: Int -> Word16 -> ShowS show :: Word16 -> String showList :: [Word16] -> ShowS
Eq Word16
Instance details Defined in GHC.Internal.Word Methods (==) :: Word16 -> Word16 -> Bool (/=) :: Word16 -> Word16 -> Bool
Ord Word16
Instance details Defined in GHC.Internal.Word Methods compare :: Word16 -> Word16 -> Ordering (<) :: Word16 -> Word16 -> Bool (<=) :: Word16 -> Word16 -> Bool (>) :: Word16 -> Word16 -> Bool (>=) :: Word16 -> Word16 -> Bool max :: Word16 -> Word16 -> Word16 min :: Word16 -> Word16 -> Word16

data Word64 #

Instances

Instances details

PrintfArg Word64
Instance details Defined in Text.Printf Methods formatArg :: Word64 -> FieldFormatter parseFormat :: Word64 -> ModifierParser
Typed Word64 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word64 Source # simpleType :: Type Word64 -> SimpleType Source #
Bits Word64
Instance details Defined in GHC.Internal.Word Methods (.&.) :: Word64 -> Word64 -> Word64 (.\|.) :: Word64 -> Word64 -> Word64 xor :: Word64 -> Word64 -> Word64 complement :: Word64 -> Word64 shift :: Word64 -> Int -> Word64 rotate :: Word64 -> Int -> Word64 zeroBits :: Word64 bit :: Int -> Word64 setBit :: Word64 -> Int -> Word64 clearBit :: Word64 -> Int -> Word64 complementBit :: Word64 -> Int -> Word64 testBit :: Word64 -> Int -> Bool bitSizeMaybe :: Word64 -> Maybe Int bitSize :: Word64 -> Int isSigned :: Word64 -> Bool shiftL :: Word64 -> Int -> Word64 unsafeShiftL :: Word64 -> Int -> Word64 shiftR :: Word64 -> Int -> Word64 unsafeShiftR :: Word64 -> Int -> Word64 rotateL :: Word64 -> Int -> Word64 rotateR :: Word64 -> Int -> Word64 popCount :: Word64 -> Int
FiniteBits Word64
Instance details Defined in GHC.Internal.Word Methods finiteBitSize :: Word64 -> Int countLeadingZeros :: Word64 -> Int countTrailingZeros :: Word64 -> Int
Bounded Word64
Instance details Defined in GHC.Internal.Word Methods minBound :: Word64 maxBound :: Word64
Enum Word64
Instance details Defined in GHC.Internal.Word Methods succ :: Word64 -> Word64 pred :: Word64 -> Word64 toEnum :: Int -> Word64 fromEnum :: Word64 -> Int enumFrom :: Word64 -> [Word64] enumFromThen :: Word64 -> Word64 -> [Word64] enumFromTo :: Word64 -> Word64 -> [Word64] enumFromThenTo :: Word64 -> Word64 -> Word64 -> [Word64]
Ix Word64
Instance details Defined in GHC.Internal.Word Methods range :: (Word64, Word64) -> [Word64] index :: (Word64, Word64) -> Word64 -> Int unsafeIndex :: (Word64, Word64) -> Word64 -> Int inRange :: (Word64, Word64) -> Word64 -> Bool rangeSize :: (Word64, Word64) -> Int unsafeRangeSize :: (Word64, Word64) -> Int
Num Word64
Instance details Defined in GHC.Internal.Word Methods (+) :: Word64 -> Word64 -> Word64 (-) :: Word64 -> Word64 -> Word64 (*) :: Word64 -> Word64 -> Word64 negate :: Word64 -> Word64 abs :: Word64 -> Word64 signum :: Word64 -> Word64 fromInteger :: Integer -> Word64
Integral Word64
Instance details Defined in GHC.Internal.Word Methods quot :: Word64 -> Word64 -> Word64 rem :: Word64 -> Word64 -> Word64 div :: Word64 -> Word64 -> Word64 mod :: Word64 -> Word64 -> Word64 quotRem :: Word64 -> Word64 -> (Word64, Word64) divMod :: Word64 -> Word64 -> (Word64, Word64) toInteger :: Word64 -> Integer
Real Word64
Instance details Defined in GHC.Internal.Word Methods toRational :: Word64 -> Rational
Show Word64
Instance details Defined in GHC.Internal.Word Methods showsPrec :: Int -> Word64 -> ShowS show :: Word64 -> String showList :: [Word64] -> ShowS
Eq Word64
Instance details Defined in GHC.Internal.Word Methods (==) :: Word64 -> Word64 -> Bool (/=) :: Word64 -> Word64 -> Bool
Ord Word64
Instance details Defined in GHC.Internal.Word Methods compare :: Word64 -> Word64 -> Ordering (<) :: Word64 -> Word64 -> Bool (<=) :: Word64 -> Word64 -> Bool (>) :: Word64 -> Word64 -> Bool (>=) :: Word64 -> Word64 -> Bool max :: Word64 -> Word64 -> Word64 min :: Word64 -> Word64 -> Word64

data Word8 #

Instances

Instances details

PrintfArg Word8
Instance details Defined in Text.Printf Methods formatArg :: Word8 -> FieldFormatter parseFormat :: Word8 -> ModifierParser
Typed Word8 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word8 Source # simpleType :: Type Word8 -> SimpleType Source #
Bits Word8
Instance details Defined in GHC.Internal.Word Methods (.&.) :: Word8 -> Word8 -> Word8 (.\|.) :: Word8 -> Word8 -> Word8 xor :: Word8 -> Word8 -> Word8 complement :: Word8 -> Word8 shift :: Word8 -> Int -> Word8 rotate :: Word8 -> Int -> Word8 zeroBits :: Word8 bit :: Int -> Word8 setBit :: Word8 -> Int -> Word8 clearBit :: Word8 -> Int -> Word8 complementBit :: Word8 -> Int -> Word8 testBit :: Word8 -> Int -> Bool bitSizeMaybe :: Word8 -> Maybe Int bitSize :: Word8 -> Int isSigned :: Word8 -> Bool shiftL :: Word8 -> Int -> Word8 unsafeShiftL :: Word8 -> Int -> Word8 shiftR :: Word8 -> Int -> Word8 unsafeShiftR :: Word8 -> Int -> Word8 rotateL :: Word8 -> Int -> Word8 rotateR :: Word8 -> Int -> Word8 popCount :: Word8 -> Int
FiniteBits Word8
Instance details Defined in GHC.Internal.Word Methods finiteBitSize :: Word8 -> Int countLeadingZeros :: Word8 -> Int countTrailingZeros :: Word8 -> Int
Bounded Word8
Instance details Defined in GHC.Internal.Word Methods minBound :: Word8 maxBound :: Word8
Enum Word8
Instance details Defined in GHC.Internal.Word Methods succ :: Word8 -> Word8 pred :: Word8 -> Word8 toEnum :: Int -> Word8 fromEnum :: Word8 -> Int enumFrom :: Word8 -> [Word8] enumFromThen :: Word8 -> Word8 -> [Word8] enumFromTo :: Word8 -> Word8 -> [Word8] enumFromThenTo :: Word8 -> Word8 -> Word8 -> [Word8]
Ix Word8
Instance details Defined in GHC.Internal.Word Methods range :: (Word8, Word8) -> [Word8] index :: (Word8, Word8) -> Word8 -> Int unsafeIndex :: (Word8, Word8) -> Word8 -> Int inRange :: (Word8, Word8) -> Word8 -> Bool rangeSize :: (Word8, Word8) -> Int unsafeRangeSize :: (Word8, Word8) -> Int
Num Word8
Instance details Defined in GHC.Internal.Word Methods (+) :: Word8 -> Word8 -> Word8 (-) :: Word8 -> Word8 -> Word8 (*) :: Word8 -> Word8 -> Word8 negate :: Word8 -> Word8 abs :: Word8 -> Word8 signum :: Word8 -> Word8 fromInteger :: Integer -> Word8
Integral Word8
Instance details Defined in GHC.Internal.Word Methods quot :: Word8 -> Word8 -> Word8 rem :: Word8 -> Word8 -> Word8 div :: Word8 -> Word8 -> Word8 mod :: Word8 -> Word8 -> Word8 quotRem :: Word8 -> Word8 -> (Word8, Word8) divMod :: Word8 -> Word8 -> (Word8, Word8) toInteger :: Word8 -> Integer
Real Word8
Instance details Defined in GHC.Internal.Word Methods toRational :: Word8 -> Rational
Show Word8
Instance details Defined in GHC.Internal.Word Methods showsPrec :: Int -> Word8 -> ShowS show :: Word8 -> String showList :: [Word8] -> ShowS
Eq Word8
Instance details Defined in GHC.Internal.Word Methods (==) :: Word8 -> Word8 -> Bool (/=) :: Word8 -> Word8 -> Bool
Ord Word8
Instance details Defined in GHC.Internal.Word Methods compare :: Word8 -> Word8 -> Ordering (<) :: Word8 -> Word8 -> Bool (<=) :: Word8 -> Word8 -> Bool (>) :: Word8 -> Word8 -> Bool (>=) :: Word8 -> Word8 -> Bool max :: Word8 -> Word8 -> Word8 min :: Word8 -> Word8 -> Word8

bitReverse16 :: Word16 -> Word16 #

bitReverse32 :: Word32 -> Word32 #

bitReverse64 :: Word64 -> Word64 #

bitReverse8 :: Word8 -> Word8 #

byteSwap16 :: Word16 -> Word16 #

byteSwap32 :: Word32 -> Word32 #

byteSwap64 :: Word64 -> Word64 #