Safe Haskell	Safe
Language	Haskell2010

Copilot.Language

Description

Main Copilot language export file.

This is mainly a meta-module that re-exports most definitions in this library.

Synopsis

data Int64
data Int32
data Int16
data Int8
data Word
data Word32
data Word64
data Word16
data Word8
bitReverse16 :: Word16 -> Word16
bitReverse32 :: Word32 -> Word32
bitReverse64 :: Word64 -> Word64
bitReverse8 :: Word8 -> Word8
byteSwap16 :: Word16 -> Word16
byteSwap32 :: Word32 -> Word32
byteSwap64 :: Word64 -> Word64
type Name = String
class (Show a, Typeable a) => Typed a
class (Show a, Typeable a) => Typed a where
- typeOf :: Type a
- simpleType :: Type a -> SimpleType
data Type a where
- Bool :: Type Bool
- Int8 :: Type Int8
- Int16 :: Type Int16
- Int32 :: Type Int32
- Int64 :: Type Int64
- Word8 :: Type Word8
- Word16 :: Type Word16
- Word32 :: Type Word32
- Word64 :: Type Word64
- Float :: Type Float
- Double :: Type Double
- Array :: forall (n :: Nat) t. (KnownNat n, Typed t) => Type t -> Type (Array n t)
- Struct :: forall a. (Typed a, Struct a) => a -> Type a
class Struct a where
- typeName :: a -> String
- toValues :: a -> [Value a]
- updateField :: a -> Value t -> a
fieldName :: forall (s :: Symbol) t. KnownSymbol s => Field s t -> String
data Field (s :: Symbol) t = Field t
data SimpleType where
- SBool :: SimpleType
- SInt8 :: SimpleType
- SInt16 :: SimpleType
- SInt32 :: SimpleType
- SInt64 :: SimpleType
- SWord8 :: SimpleType
- SWord16 :: SimpleType
- SWord32 :: SimpleType
- SWord64 :: SimpleType
- SFloat :: SimpleType
- SDouble :: SimpleType
- SArray :: forall t. Type t -> SimpleType
- SStruct :: SimpleType
data UType = Typeable a => UType (Type a)
data Value a = (Typeable t, KnownSymbol s, Show t) => Value (Type t) (Field s t)
accessorName :: forall a (s :: Symbol) t. (Struct a, KnownSymbol s) => (a -> Field s t) -> String
toValuesDefault :: (Generic a, GStruct (Rep a)) => a -> [Value a]
typeLength :: forall (n :: Nat) t. KnownNat n => Type (Array n t) -> Int
typeNameDefault :: (Generic a, GDatatype (Rep a)) => a -> String
typeOfDefault :: (Typed a, Struct a, Generic a, GTypedStruct (Rep a)) => Type a
typeSize :: forall (n :: Nat) t. KnownNat n => Type (Array n t) -> Int
updateFieldDefault :: (Generic a, GStruct (Rep a)) => a -> Value t -> a
array :: forall (n :: Nat) t. KnownNat n => [t] -> Array n t
data Array (n :: Nat) t
arrayElems :: forall (n :: Nat) a. Array n a -> [a]
arrayUpdate :: forall (n :: Nat) a. Array n a -> Int -> a -> Array n a
impossible :: String -> String -> a
badUsage :: String -> a
csv :: Integer -> Spec -> IO ()
interpret :: Integer -> Spec -> IO ()
module Copilot.Language.Operators.Boolean
module Copilot.Language.Operators.Cast
module Copilot.Language.Operators.Constant
module Copilot.Language.Operators.Eq
module Copilot.Language.Operators.Extern
module Copilot.Language.Operators.Local
module Copilot.Language.Operators.Label
module Copilot.Language.Operators.Integral
module Copilot.Language.Operators.Mux
module Copilot.Language.Operators.Ord
module Copilot.Language.Operators.Temporal
module Copilot.Language.Operators.BitWise
module Copilot.Language.Operators.Array
module Copilot.Language.Operators.Struct
module Copilot.Language.Prelude
type Spec = Writer [SpecItem] ()
data Stream a
observer :: Typed a => String -> Stream a -> Spec
trigger :: String -> Stream Bool -> [Arg] -> Spec
arg :: Typed a => Stream a -> Arg
prop :: String -> Prop a -> Writer [SpecItem] (PropRef a)
theorem :: String -> Prop a -> Proof a -> Writer [SpecItem] (PropRef a)
forAll :: Stream Bool -> Prop Universal
exists :: Stream Bool -> Prop Existential

Documentation

data Int64 #

Instances

Instances details

PrintfArg Int64
Instance details Defined in Text.Printf Methods formatArg :: Int64 -> FieldFormatter parseFormat :: Int64 -> ModifierParser
Typed Int64
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int64 # simpleType :: Type Int64 -> SimpleType #
NFData Int64
Instance details Defined in Control.DeepSeq Methods rnf :: Int64 -> ()
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
IArray UArray Int64
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Int64 -> (i, i) numElements :: Ix i => UArray i Int64 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Int64)] -> UArray i Int64 unsafeAt :: Ix i => UArray i Int64 -> Int -> Int64 unsafeReplace :: Ix i => UArray i Int64 -> [(Int, Int64)] -> UArray i Int64 unsafeAccum :: Ix i => (Int64 -> e' -> Int64) -> UArray i Int64 -> [(Int, e')] -> UArray i Int64 unsafeAccumArray :: Ix i => (Int64 -> e' -> Int64) -> Int64 -> (i, i) -> [(Int, e')] -> UArray i Int64
Cast Int16 Int64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int16 -> Stream Int64 Source #
Cast Int32 Int64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int32 -> Stream Int64 Source #
Cast Int64 Int64 Source #	Identity casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int64 -> Stream Int64 Source #
Cast Int8 Int64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int8 -> Stream Int64 Source #
Cast Word16 Int64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word16 -> Stream Int64 Source #
Cast Word32 Int64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word32 -> Stream Int64 Source #
Cast Word8 Int64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Int64 Source #
Cast Bool Int64 Source #	Cast a boolean stream to a stream of numbers, producing 1 if the value at a point in time is `True`, and 0 otherwise.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Bool -> Stream Int64 Source #
UnsafeCast Int64 Int16 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int64 -> Stream Int16 Source #
UnsafeCast Int64 Int32 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int64 -> Stream Int32 Source #
UnsafeCast Int64 Int8 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int64 -> Stream Int8 Source #
UnsafeCast Int64 Word64 Source #	Signed to unsigned casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int64 -> Stream Word64 Source #
UnsafeCast Int64 Double Source #	Unsafe signed integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int64 -> Stream Double Source #
UnsafeCast Int64 Float Source #	Unsafe signed integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int64 -> Stream Float Source #
UnsafeCast Word64 Int64 Source #	Cast from unsigned numbers to signed numbers.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word64 -> Stream Int64 Source #
Lift Int64
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Quote m => Int64 -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Int64 -> Code m Int64
MArray IOUArray Int64 IO
Instance details Defined in Data.Array.IO.Internals Methods getBounds :: Ix i => IOUArray i Int64 -> IO (i, i) getNumElements :: Ix i => IOUArray i Int64 -> IO Int newArray :: Ix i => (i, i) -> Int64 -> IO (IOUArray i Int64) newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int64) unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int64) unsafeRead :: Ix i => IOUArray i Int64 -> Int -> IO Int64 unsafeWrite :: Ix i => IOUArray i Int64 -> Int -> Int64 -> IO ()
MArray (STUArray s) Int64 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Int64 -> ST s (i, i) getNumElements :: Ix i => STUArray s i Int64 -> ST s Int newArray :: Ix i => (i, i) -> Int64 -> ST s (STUArray s i Int64) newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int64) unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int64) unsafeRead :: Ix i => STUArray s i Int64 -> Int -> ST s Int64 unsafeWrite :: Ix i => STUArray s i Int64 -> Int -> Int64 -> ST s ()

data Int32 #

Instances

Instances details

PrintfArg Int32
Instance details Defined in Text.Printf Methods formatArg :: Int32 -> FieldFormatter parseFormat :: Int32 -> ModifierParser
Typed Int32
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int32 # simpleType :: Type Int32 -> SimpleType #
NFData Int32
Instance details Defined in Control.DeepSeq Methods rnf :: Int32 -> ()
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
IArray UArray Int32
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Int32 -> (i, i) numElements :: Ix i => UArray i Int32 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Int32)] -> UArray i Int32 unsafeAt :: Ix i => UArray i Int32 -> Int -> Int32 unsafeReplace :: Ix i => UArray i Int32 -> [(Int, Int32)] -> UArray i Int32 unsafeAccum :: Ix i => (Int32 -> e' -> Int32) -> UArray i Int32 -> [(Int, e')] -> UArray i Int32 unsafeAccumArray :: Ix i => (Int32 -> e' -> Int32) -> Int32 -> (i, i) -> [(Int, e')] -> UArray i Int32
Cast Int16 Int32 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int16 -> Stream Int32 Source #
Cast Int32 Int32 Source #	Identity casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int32 -> Stream Int32 Source #
Cast Int32 Int64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int32 -> Stream Int64 Source #
Cast Int8 Int32 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int8 -> Stream Int32 Source #
Cast Word16 Int32 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word16 -> Stream Int32 Source #
Cast Word8 Int32 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Int32 Source #
Cast Bool Int32 Source #	Cast a boolean stream to a stream of numbers, producing 1 if the value at a point in time is `True`, and 0 otherwise.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Bool -> Stream Int32 Source #
UnsafeCast Int32 Int16 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int32 -> Stream Int16 Source #
UnsafeCast Int32 Int8 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int32 -> Stream Int8 Source #
UnsafeCast Int32 Word32 Source #	Signed to unsigned casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int32 -> Stream Word32 Source #
UnsafeCast Int32 Double Source #	Unsafe signed integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int32 -> Stream Double Source #
UnsafeCast Int32 Float Source #	Unsafe signed integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int32 -> Stream Float Source #
UnsafeCast Int64 Int32 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int64 -> Stream Int32 Source #
UnsafeCast Word32 Int32 Source #	Cast from unsigned numbers to signed numbers.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word32 -> Stream Int32 Source #
Lift Int32
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Quote m => Int32 -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Int32 -> Code m Int32
MArray IOUArray Int32 IO
Instance details Defined in Data.Array.IO.Internals Methods getBounds :: Ix i => IOUArray i Int32 -> IO (i, i) getNumElements :: Ix i => IOUArray i Int32 -> IO Int newArray :: Ix i => (i, i) -> Int32 -> IO (IOUArray i Int32) newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int32) unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int32) unsafeRead :: Ix i => IOUArray i Int32 -> Int -> IO Int32 unsafeWrite :: Ix i => IOUArray i Int32 -> Int -> Int32 -> IO ()
MArray (STUArray s) Int32 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Int32 -> ST s (i, i) getNumElements :: Ix i => STUArray s i Int32 -> ST s Int newArray :: Ix i => (i, i) -> Int32 -> ST s (STUArray s i Int32) newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int32) unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int32) unsafeRead :: Ix i => STUArray s i Int32 -> Int -> ST s Int32 unsafeWrite :: Ix i => STUArray s i Int32 -> Int -> Int32 -> ST s ()

data Int16 #

Instances

Instances details

PrintfArg Int16
Instance details Defined in Text.Printf Methods formatArg :: Int16 -> FieldFormatter parseFormat :: Int16 -> ModifierParser
Typed Int16
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int16 # simpleType :: Type Int16 -> SimpleType #
NFData Int16
Instance details Defined in Control.DeepSeq Methods rnf :: Int16 -> ()
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
IArray UArray Int16
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Int16 -> (i, i) numElements :: Ix i => UArray i Int16 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Int16)] -> UArray i Int16 unsafeAt :: Ix i => UArray i Int16 -> Int -> Int16 unsafeReplace :: Ix i => UArray i Int16 -> [(Int, Int16)] -> UArray i Int16 unsafeAccum :: Ix i => (Int16 -> e' -> Int16) -> UArray i Int16 -> [(Int, e')] -> UArray i Int16 unsafeAccumArray :: Ix i => (Int16 -> e' -> Int16) -> Int16 -> (i, i) -> [(Int, e')] -> UArray i Int16
Cast Int16 Int16 Source #	Identity casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int16 -> Stream Int16 Source #
Cast Int16 Int32 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int16 -> Stream Int32 Source #
Cast Int16 Int64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int16 -> Stream Int64 Source #
Cast Int8 Int16 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int8 -> Stream Int16 Source #
Cast Word8 Int16 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Int16 Source #
Cast Bool Int16 Source #	Cast a boolean stream to a stream of numbers, producing 1 if the value at a point in time is `True`, and 0 otherwise.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Bool -> Stream Int16 Source #
UnsafeCast Int16 Int8 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int16 -> Stream Int8 Source #
UnsafeCast Int16 Word16 Source #	Signed to unsigned casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int16 -> Stream Word16 Source #
UnsafeCast Int16 Double Source #	Unsafe signed integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int16 -> Stream Double Source #
UnsafeCast Int16 Float Source #	Unsafe signed integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int16 -> Stream Float Source #
UnsafeCast Int32 Int16 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int32 -> Stream Int16 Source #
UnsafeCast Int64 Int16 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int64 -> Stream Int16 Source #
UnsafeCast Word16 Int16 Source #	Cast from unsigned numbers to signed numbers.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word16 -> Stream Int16 Source #
Lift Int16
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Quote m => Int16 -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Int16 -> Code m Int16
MArray IOUArray Int16 IO
Instance details Defined in Data.Array.IO.Internals Methods getBounds :: Ix i => IOUArray i Int16 -> IO (i, i) getNumElements :: Ix i => IOUArray i Int16 -> IO Int newArray :: Ix i => (i, i) -> Int16 -> IO (IOUArray i Int16) newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int16) unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int16) unsafeRead :: Ix i => IOUArray i Int16 -> Int -> IO Int16 unsafeWrite :: Ix i => IOUArray i Int16 -> Int -> Int16 -> IO ()
MArray (STUArray s) Int16 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Int16 -> ST s (i, i) getNumElements :: Ix i => STUArray s i Int16 -> ST s Int newArray :: Ix i => (i, i) -> Int16 -> ST s (STUArray s i Int16) newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int16) unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int16) unsafeRead :: Ix i => STUArray s i Int16 -> Int -> ST s Int16 unsafeWrite :: Ix i => STUArray s i Int16 -> Int -> Int16 -> ST s ()

data Int8 #

Instances

Instances details

PrintfArg Int8
Instance details Defined in Text.Printf Methods formatArg :: Int8 -> FieldFormatter parseFormat :: Int8 -> ModifierParser
Typed Int8
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int8 # simpleType :: Type Int8 -> SimpleType #
NFData Int8
Instance details Defined in Control.DeepSeq Methods rnf :: Int8 -> ()
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
IArray UArray Int8
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Int8 -> (i, i) numElements :: Ix i => UArray i Int8 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Int8)] -> UArray i Int8 unsafeAt :: Ix i => UArray i Int8 -> Int -> Int8 unsafeReplace :: Ix i => UArray i Int8 -> [(Int, Int8)] -> UArray i Int8 unsafeAccum :: Ix i => (Int8 -> e' -> Int8) -> UArray i Int8 -> [(Int, e')] -> UArray i Int8 unsafeAccumArray :: Ix i => (Int8 -> e' -> Int8) -> Int8 -> (i, i) -> [(Int, e')] -> UArray i Int8
Cast Int8 Int16 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int8 -> Stream Int16 Source #
Cast Int8 Int32 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int8 -> Stream Int32 Source #
Cast Int8 Int64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int8 -> Stream Int64 Source #
Cast Int8 Int8 Source #	Identity casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Int8 -> Stream Int8 Source #
Cast Bool Int8 Source #	Cast a boolean stream to a stream of numbers, producing 1 if the value at a point in time is `True`, and 0 otherwise.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Bool -> Stream Int8 Source #
UnsafeCast Int16 Int8 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int16 -> Stream Int8 Source #
UnsafeCast Int32 Int8 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int32 -> Stream Int8 Source #
UnsafeCast Int64 Int8 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int64 -> Stream Int8 Source #
UnsafeCast Int8 Word8 Source #	Signed to unsigned casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int8 -> Stream Word8 Source #
UnsafeCast Int8 Double Source #	Unsafe signed integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int8 -> Stream Double Source #
UnsafeCast Int8 Float Source #	Unsafe signed integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int8 -> Stream Float Source #
UnsafeCast Word8 Int8 Source #	Cast from unsigned numbers to signed numbers.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word8 -> Stream Int8 Source #
Lift Int8
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Quote m => Int8 -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Int8 -> Code m Int8
MArray IOUArray Int8 IO
Instance details Defined in Data.Array.IO.Internals Methods getBounds :: Ix i => IOUArray i Int8 -> IO (i, i) getNumElements :: Ix i => IOUArray i Int8 -> IO Int newArray :: Ix i => (i, i) -> Int8 -> IO (IOUArray i Int8) newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int8) unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int8) unsafeRead :: Ix i => IOUArray i Int8 -> Int -> IO Int8 unsafeWrite :: Ix i => IOUArray i Int8 -> Int -> Int8 -> IO ()
MArray (STUArray s) Int8 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Int8 -> ST s (i, i) getNumElements :: Ix i => STUArray s i Int8 -> ST s Int newArray :: Ix i => (i, i) -> Int8 -> ST s (STUArray s i Int8) newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int8) unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int8) unsafeRead :: Ix i => STUArray s i Int8 -> Int -> ST s Int8 unsafeWrite :: Ix i => STUArray s i Int8 -> Int -> Int8 -> ST s ()

data Word #

Instances

Instances details

PrintfArg Word

Instance details

Defined in Text.Printf

Methods

formatArg :: Word -> FieldFormatter

parseFormat :: Word -> ModifierParser

NFData Word

Instance details

Defined in Control.DeepSeq

Methods

rnf :: Word -> ()

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 #

Read Word

Instance details

Defined in GHC.Internal.Read

Methods

readsPrec :: Int -> ReadS Word #

readList :: ReadS [Word] #

readPrec :: ReadPrec Word

readListPrec :: ReadPrec [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

IArray UArray Word

Instance details

Defined in Data.Array.Base

Methods

bounds :: Ix i => UArray i Word -> (i, i)

numElements :: Ix i => UArray i Word -> Int

unsafeArray :: Ix i => (i, i) -> [(Int, Word)] -> UArray i Word

unsafeAt :: Ix i => UArray i Word -> Int -> Word

unsafeReplace :: Ix i => UArray i Word -> [(Int, Word)] -> UArray i Word

unsafeAccum :: Ix i => (Word -> e' -> Word) -> UArray i Word -> [(Int, e')] -> UArray i Word

unsafeAccumArray :: Ix i => (Word -> e' -> Word) -> Word -> (i, i) -> [(Int, e')] -> UArray i Word

Lift Word

Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Word -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Word -> Code m Word

MArray IOUArray Word IO

Instance details

Defined in Data.Array.IO.Internals

Methods

getBounds :: Ix i => IOUArray i Word -> IO (i, i)

getNumElements :: Ix i => IOUArray i Word -> IO Int

newArray :: Ix i => (i, i) -> Word -> IO (IOUArray i Word)

newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word)

unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word)

unsafeRead :: Ix i => IOUArray i Word -> Int -> IO Word

unsafeWrite :: Ix i => IOUArray i Word -> Int -> Word -> IO ()

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 #

Traversable (UWord :: Type -> Type)

Instance details

Defined in GHC.Internal.Data.Traversable

Methods

traverse :: Applicative f => (a -> f b) -> UWord a -> f (UWord b) #

sequenceA :: Applicative f => UWord (f a) -> f (UWord a) #

mapM :: Monad m => (a -> m b) -> UWord a -> m (UWord b) #

sequence :: Monad m => UWord (m a) -> m (UWord a) #

MArray (STUArray s) Word (ST s)

Instance details

Defined in Data.Array.Base

Methods

getBounds :: Ix i => STUArray s i Word -> ST s (i, i)

getNumElements :: Ix i => STUArray s i Word -> ST s Int

newArray :: Ix i => (i, i) -> Word -> ST s (STUArray s i Word)

newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word)

unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word)

unsafeRead :: Ix i => STUArray s i Word -> Int -> ST s Word

unsafeWrite :: Ix i => STUArray s i Word -> Int -> Word -> ST s ()

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

Instance details

Defined in Copilot.Core.Type

Methods

typeOf :: Type Word32 #

simpleType :: Type Word32 -> SimpleType #

NFData Word32

Instance details

Defined in Control.DeepSeq

Methods

rnf :: Word32 -> ()

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 #

Read Word32

Instance details

Defined in GHC.Internal.Read

Methods

readsPrec :: Int -> ReadS Word32 #

readList :: ReadS [Word32] #

readPrec :: ReadPrec Word32

readListPrec :: ReadPrec [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

IArray UArray Word32

Instance details

Defined in Data.Array.Base

Methods

bounds :: Ix i => UArray i Word32 -> (i, i)

numElements :: Ix i => UArray i Word32 -> Int

unsafeArray :: Ix i => (i, i) -> [(Int, Word32)] -> UArray i Word32

unsafeAt :: Ix i => UArray i Word32 -> Int -> Word32

unsafeReplace :: Ix i => UArray i Word32 -> [(Int, Word32)] -> UArray i Word32

unsafeAccum :: Ix i => (Word32 -> e' -> Word32) -> UArray i Word32 -> [(Int, e')] -> UArray i Word32

unsafeAccumArray :: Ix i => (Word32 -> e' -> Word32) -> Word32 -> (i, i) -> [(Int, e')] -> UArray i Word32

Cast Word16 Word32 Source #

Cast number to bigger type.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

cast :: Stream Word16 -> Stream Word32 Source #

Cast Word32 Int64 Source #

Cast number to bigger type.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

cast :: Stream Word32 -> Stream Int64 Source #

Cast Word32 Word32 Source #

Identity casting.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

cast :: Stream Word32 -> Stream Word32 Source #

Cast Word32 Word64 Source #

Cast number to bigger type.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

cast :: Stream Word32 -> Stream Word64 Source #

Cast Word8 Word32 Source #

Cast number to bigger type.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

cast :: Stream Word8 -> Stream Word32 Source #

Cast Bool Word32 Source #

Cast a boolean stream to a stream of numbers, producing 1 if the value at a point in time is True, and 0 otherwise.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

cast :: Stream Bool -> Stream Word32 Source #

UnsafeCast Int32 Word32 Source #

Signed to unsigned casting.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

unsafeCast :: Stream Int32 -> Stream Word32 Source #

UnsafeCast Word32 Int32 Source #

Cast from unsigned numbers to signed numbers.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

unsafeCast :: Stream Word32 -> Stream Int32 Source #

UnsafeCast Word32 Word16 Source #

Unsafe downcasting to smaller sizes.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

unsafeCast :: Stream Word32 -> Stream Word16 Source #

UnsafeCast Word32 Word8 Source #

Unsafe downcasting to smaller sizes.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

unsafeCast :: Stream Word32 -> Stream Word8 Source #

UnsafeCast Word32 Double Source #

Unsafe unsigned integer promotion to floating point values.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

unsafeCast :: Stream Word32 -> Stream Double Source #

UnsafeCast Word32 Float Source #

Unsafe unsigned integer promotion to floating point values.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

unsafeCast :: Stream Word32 -> Stream Float Source #

UnsafeCast Word64 Word32 Source #

Unsafe downcasting to smaller sizes.

Instance details

Defined in Copilot.Language.Operators.Cast

Methods

unsafeCast :: Stream Word64 -> Stream Word32 Source #

Lift Word32

Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Word32 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Word32 -> Code m Word32

MArray IOUArray Word32 IO

Instance details

Defined in Data.Array.IO.Internals

Methods

getBounds :: Ix i => IOUArray i Word32 -> IO (i, i)

getNumElements :: Ix i => IOUArray i Word32 -> IO Int

newArray :: Ix i => (i, i) -> Word32 -> IO (IOUArray i Word32)

newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word32)

unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word32)

unsafeRead :: Ix i => IOUArray i Word32 -> Int -> IO Word32

unsafeWrite :: Ix i => IOUArray i Word32 -> Int -> Word32 -> IO ()

MArray (STUArray s) Word32 (ST s)

Instance details

Defined in Data.Array.Base

Methods

getBounds :: Ix i => STUArray s i Word32 -> ST s (i, i)

getNumElements :: Ix i => STUArray s i Word32 -> ST s Int

newArray :: Ix i => (i, i) -> Word32 -> ST s (STUArray s i Word32)

newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word32)

unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word32)

unsafeRead :: Ix i => STUArray s i Word32 -> Int -> ST s Word32

unsafeWrite :: Ix i => STUArray s i Word32 -> Int -> Word32 -> ST s ()

(KnownNat n, Typed t) => Projectable (Array n t) (Stream Word32) t Source #

Update a stream of arrays.

Instance details

Defined in Copilot.Language.Operators.Array

Associated Types

data Projection (Array n t) (Stream Word32) t
Instance details Defined in Copilot.Language.Operators.Array data Projection (Array n t) (Stream Word32) t = ProjectionA (Stream (Array n t)) (Stream Word32)

Methods

(=:) :: Projection (Array n t) (Stream Word32) t -> Stream t -> Stream (Array n t) Source #

(=$) :: Projection (Array n t) (Stream Word32) t -> (Stream t -> Stream t) -> Stream (Array n t) Source #

data Projection (Array n t) (Stream Word32) t Source #

Instance details

Defined in Copilot.Language.Operators.Array

data Projection (Array n t) (Stream Word32) t = ProjectionA (Stream (Array n t)) (Stream Word32)

data Word64 #

Instances

Instances details

PrintfArg Word64
Instance details Defined in Text.Printf Methods formatArg :: Word64 -> FieldFormatter parseFormat :: Word64 -> ModifierParser
Typed Word64
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word64 # simpleType :: Type Word64 -> SimpleType #
NFData Word64
Instance details Defined in Control.DeepSeq Methods rnf :: Word64 -> ()
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 #
Read Word64
Instance details Defined in GHC.Internal.Read Methods readsPrec :: Int -> ReadS Word64 # readList :: ReadS [Word64] # readPrec :: ReadPrec Word64 readListPrec :: ReadPrec [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
IArray UArray Word64
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Word64 -> (i, i) numElements :: Ix i => UArray i Word64 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Word64)] -> UArray i Word64 unsafeAt :: Ix i => UArray i Word64 -> Int -> Word64 unsafeReplace :: Ix i => UArray i Word64 -> [(Int, Word64)] -> UArray i Word64 unsafeAccum :: Ix i => (Word64 -> e' -> Word64) -> UArray i Word64 -> [(Int, e')] -> UArray i Word64 unsafeAccumArray :: Ix i => (Word64 -> e' -> Word64) -> Word64 -> (i, i) -> [(Int, e')] -> UArray i Word64
Cast Word16 Word64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word16 -> Stream Word64 Source #
Cast Word32 Word64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word32 -> Stream Word64 Source #
Cast Word64 Word64 Source #	Identity casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word64 -> Stream Word64 Source #
Cast Word8 Word64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Word64 Source #
Cast Bool Word64 Source #	Cast a boolean stream to a stream of numbers, producing 1 if the value at a point in time is `True`, and 0 otherwise.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Bool -> Stream Word64 Source #
UnsafeCast Int64 Word64 Source #	Signed to unsigned casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int64 -> Stream Word64 Source #
UnsafeCast Word64 Int64 Source #	Cast from unsigned numbers to signed numbers.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word64 -> Stream Int64 Source #
UnsafeCast Word64 Word16 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word64 -> Stream Word16 Source #
UnsafeCast Word64 Word32 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word64 -> Stream Word32 Source #
UnsafeCast Word64 Word8 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word64 -> Stream Word8 Source #
UnsafeCast Word64 Double Source #	Unsafe unsigned integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word64 -> Stream Double Source #
UnsafeCast Word64 Float Source #	Unsafe unsigned integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word64 -> Stream Float Source #
Lift Word64
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Quote m => Word64 -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Word64 -> Code m Word64
MArray IOUArray Word64 IO
Instance details Defined in Data.Array.IO.Internals Methods getBounds :: Ix i => IOUArray i Word64 -> IO (i, i) getNumElements :: Ix i => IOUArray i Word64 -> IO Int newArray :: Ix i => (i, i) -> Word64 -> IO (IOUArray i Word64) newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word64) unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word64) unsafeRead :: Ix i => IOUArray i Word64 -> Int -> IO Word64 unsafeWrite :: Ix i => IOUArray i Word64 -> Int -> Word64 -> IO ()
MArray (STUArray s) Word64 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Word64 -> ST s (i, i) getNumElements :: Ix i => STUArray s i Word64 -> ST s Int newArray :: Ix i => (i, i) -> Word64 -> ST s (STUArray s i Word64) newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word64) unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word64) unsafeRead :: Ix i => STUArray s i Word64 -> Int -> ST s Word64 unsafeWrite :: Ix i => STUArray s i Word64 -> Int -> Word64 -> ST s ()

data Word16 #

Instances

Instances details

PrintfArg Word16
Instance details Defined in Text.Printf Methods formatArg :: Word16 -> FieldFormatter parseFormat :: Word16 -> ModifierParser
Typed Word16
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word16 # simpleType :: Type Word16 -> SimpleType #
NFData Word16
Instance details Defined in Control.DeepSeq Methods rnf :: Word16 -> ()
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 #
Read Word16
Instance details Defined in GHC.Internal.Read Methods readsPrec :: Int -> ReadS Word16 # readList :: ReadS [Word16] # readPrec :: ReadPrec Word16 readListPrec :: ReadPrec [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
IArray UArray Word16
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Word16 -> (i, i) numElements :: Ix i => UArray i Word16 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Word16)] -> UArray i Word16 unsafeAt :: Ix i => UArray i Word16 -> Int -> Word16 unsafeReplace :: Ix i => UArray i Word16 -> [(Int, Word16)] -> UArray i Word16 unsafeAccum :: Ix i => (Word16 -> e' -> Word16) -> UArray i Word16 -> [(Int, e')] -> UArray i Word16 unsafeAccumArray :: Ix i => (Word16 -> e' -> Word16) -> Word16 -> (i, i) -> [(Int, e')] -> UArray i Word16
Cast Word16 Int32 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word16 -> Stream Int32 Source #
Cast Word16 Int64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word16 -> Stream Int64 Source #
Cast Word16 Word16 Source #	Identity casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word16 -> Stream Word16 Source #
Cast Word16 Word32 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word16 -> Stream Word32 Source #
Cast Word16 Word64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word16 -> Stream Word64 Source #
Cast Word8 Word16 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Word16 Source #
Cast Bool Word16 Source #	Cast a boolean stream to a stream of numbers, producing 1 if the value at a point in time is `True`, and 0 otherwise.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Bool -> Stream Word16 Source #
UnsafeCast Int16 Word16 Source #	Signed to unsigned casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int16 -> Stream Word16 Source #
UnsafeCast Word16 Int16 Source #	Cast from unsigned numbers to signed numbers.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word16 -> Stream Int16 Source #
UnsafeCast Word16 Word8 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word16 -> Stream Word8 Source #
UnsafeCast Word16 Double Source #	Unsafe unsigned integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word16 -> Stream Double Source #
UnsafeCast Word16 Float Source #	Unsafe unsigned integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word16 -> Stream Float Source #
UnsafeCast Word32 Word16 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word32 -> Stream Word16 Source #
UnsafeCast Word64 Word16 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word64 -> Stream Word16 Source #
Lift Word16
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Quote m => Word16 -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Word16 -> Code m Word16
MArray IOUArray Word16 IO
Instance details Defined in Data.Array.IO.Internals Methods getBounds :: Ix i => IOUArray i Word16 -> IO (i, i) getNumElements :: Ix i => IOUArray i Word16 -> IO Int newArray :: Ix i => (i, i) -> Word16 -> IO (IOUArray i Word16) newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word16) unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word16) unsafeRead :: Ix i => IOUArray i Word16 -> Int -> IO Word16 unsafeWrite :: Ix i => IOUArray i Word16 -> Int -> Word16 -> IO ()
MArray (STUArray s) Word16 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Word16 -> ST s (i, i) getNumElements :: Ix i => STUArray s i Word16 -> ST s Int newArray :: Ix i => (i, i) -> Word16 -> ST s (STUArray s i Word16) newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word16) unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word16) unsafeRead :: Ix i => STUArray s i Word16 -> Int -> ST s Word16 unsafeWrite :: Ix i => STUArray s i Word16 -> Int -> Word16 -> ST s ()

data Word8 #

Instances

Instances details

PrintfArg Word8
Instance details Defined in Text.Printf Methods formatArg :: Word8 -> FieldFormatter parseFormat :: Word8 -> ModifierParser
Typed Word8
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word8 # simpleType :: Type Word8 -> SimpleType #
NFData Word8
Instance details Defined in Control.DeepSeq Methods rnf :: Word8 -> ()
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 #
Read Word8
Instance details Defined in GHC.Internal.Read Methods readsPrec :: Int -> ReadS Word8 # readList :: ReadS [Word8] # readPrec :: ReadPrec Word8 readListPrec :: ReadPrec [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
IArray UArray Word8
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Word8 -> (i, i) numElements :: Ix i => UArray i Word8 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Word8)] -> UArray i Word8 unsafeAt :: Ix i => UArray i Word8 -> Int -> Word8 unsafeReplace :: Ix i => UArray i Word8 -> [(Int, Word8)] -> UArray i Word8 unsafeAccum :: Ix i => (Word8 -> e' -> Word8) -> UArray i Word8 -> [(Int, e')] -> UArray i Word8 unsafeAccumArray :: Ix i => (Word8 -> e' -> Word8) -> Word8 -> (i, i) -> [(Int, e')] -> UArray i Word8
Cast Word8 Int16 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Int16 Source #
Cast Word8 Int32 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Int32 Source #
Cast Word8 Int64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Int64 Source #
Cast Word8 Word16 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Word16 Source #
Cast Word8 Word32 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Word32 Source #
Cast Word8 Word64 Source #	Cast number to bigger type.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Word64 Source #
Cast Word8 Word8 Source #	Identity casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Word8 -> Stream Word8 Source #
Cast Bool Word8 Source #	Cast a boolean stream to a stream of numbers, producing 1 if the value at a point in time is `True`, and 0 otherwise.
Instance details Defined in Copilot.Language.Operators.Cast Methods cast :: Stream Bool -> Stream Word8 Source #
UnsafeCast Int8 Word8 Source #	Signed to unsigned casting.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Int8 -> Stream Word8 Source #
UnsafeCast Word16 Word8 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word16 -> Stream Word8 Source #
UnsafeCast Word32 Word8 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word32 -> Stream Word8 Source #
UnsafeCast Word64 Word8 Source #	Unsafe downcasting to smaller sizes.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word64 -> Stream Word8 Source #
UnsafeCast Word8 Int8 Source #	Cast from unsigned numbers to signed numbers.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word8 -> Stream Int8 Source #
UnsafeCast Word8 Double Source #	Unsafe unsigned integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word8 -> Stream Double Source #
UnsafeCast Word8 Float Source #	Unsafe unsigned integer promotion to floating point values.
Instance details Defined in Copilot.Language.Operators.Cast Methods unsafeCast :: Stream Word8 -> Stream Float Source #
Lift Word8
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Quote m => Word8 -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Word8 -> Code m Word8
MArray IOUArray Word8 IO
Instance details Defined in Data.Array.IO.Internals Methods getBounds :: Ix i => IOUArray i Word8 -> IO (i, i) getNumElements :: Ix i => IOUArray i Word8 -> IO Int newArray :: Ix i => (i, i) -> Word8 -> IO (IOUArray i Word8) newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word8) unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word8) unsafeRead :: Ix i => IOUArray i Word8 -> Int -> IO Word8 unsafeWrite :: Ix i => IOUArray i Word8 -> Int -> Word8 -> IO ()
MArray (STUArray s) Word8 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Word8 -> ST s (i, i) getNumElements :: Ix i => STUArray s i Word8 -> ST s Int newArray :: Ix i => (i, i) -> Word8 -> ST s (STUArray s i Word8) newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word8) unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word8) unsafeRead :: Ix i => STUArray s i Word8 -> Int -> ST s Word8 unsafeWrite :: Ix i => STUArray s i Word8 -> Int -> Word8 -> ST s ()

bitReverse16 :: Word16 -> Word16 #

bitReverse32 :: Word32 -> Word32 #

bitReverse64 :: Word64 -> Word64 #

bitReverse8 :: Word8 -> Word8 #

byteSwap16 :: Word16 -> Word16 #

byteSwap32 :: Word32 -> Word32 #

byteSwap64 :: Word64 -> Word64 #

type Name = String #

class (Show a, Typeable a) => Typed a #

Minimal complete definition

typeOf

Instances

Instances details

Typed Int16
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int16 # simpleType :: Type Int16 -> SimpleType #
Typed Int32
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int32 # simpleType :: Type Int32 -> SimpleType #
Typed Int64
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int64 # simpleType :: Type Int64 -> SimpleType #
Typed Int8
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int8 # simpleType :: Type Int8 -> SimpleType #
Typed Word16
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word16 # simpleType :: Type Word16 -> SimpleType #
Typed Word32
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word32 # simpleType :: Type Word32 -> SimpleType #
Typed Word64
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word64 # simpleType :: Type Word64 -> SimpleType #
Typed Word8
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word8 # simpleType :: Type Word8 -> SimpleType #
Typed Bool
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Bool # simpleType :: Type Bool -> SimpleType #
Typed Double
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Double # simpleType :: Type Double -> SimpleType #
Typed Float
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Float # simpleType :: Type Float -> SimpleType #
(Typeable t, Typed t, KnownNat n) => Typed (Array n t)
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type (Array n t) # simpleType :: Type (Array n t) -> SimpleType #

class (Show a, Typeable a) => Typed a where #

Minimal complete definition

typeOf

Methods

typeOf :: Type a #

simpleType :: Type a -> SimpleType #

Instances

Instances details

Typed Int16
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int16 # simpleType :: Type Int16 -> SimpleType #
Typed Int32
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int32 # simpleType :: Type Int32 -> SimpleType #
Typed Int64
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int64 # simpleType :: Type Int64 -> SimpleType #
Typed Int8
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int8 # simpleType :: Type Int8 -> SimpleType #
Typed Word16
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word16 # simpleType :: Type Word16 -> SimpleType #
Typed Word32
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word32 # simpleType :: Type Word32 -> SimpleType #
Typed Word64
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word64 # simpleType :: Type Word64 -> SimpleType #
Typed Word8
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word8 # simpleType :: Type Word8 -> SimpleType #
Typed Bool
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Bool # simpleType :: Type Bool -> SimpleType #
Typed Double
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Double # simpleType :: Type Double -> SimpleType #
Typed Float
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Float # simpleType :: Type Float -> SimpleType #
(Typeable t, Typed t, KnownNat n) => Typed (Array n t)
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type (Array n t) # simpleType :: Type (Array n t) -> SimpleType #

data Type a where #

Constructors

Bool :: Type Bool
Int8 :: Type Int8
Int16 :: Type Int16
Int32 :: Type Int32
Int64 :: Type Int64
Word8 :: Type Word8
Word16 :: Type Word16
Word32 :: Type Word32
Word64 :: Type Word64
Float :: Type Float
Double :: Type Double
Array :: forall (n :: Nat) t. (KnownNat n, Typed t) => Type t -> Type (Array n t)
Struct :: forall a. (Typed a, Struct a) => a -> Type a

Instances

Instances details

TestEquality Type
Instance details Defined in Copilot.Core.Type Methods testEquality :: Type a -> Type b -> Maybe (a :~: b)
Show (Type a)
Instance details Defined in Copilot.Core.Type Methods showsPrec :: Int -> Type a -> ShowS # show :: Type a -> String # showList :: [Type a] -> ShowS #

class Struct a where #

Minimal complete definition

typeName, toValues

Methods

typeName :: a -> String #

toValues :: a -> [Value a] #

updateField :: a -> Value t -> a #

fieldName :: forall (s :: Symbol) t. KnownSymbol s => Field s t -> String #

data Field (s :: Symbol) t #

Constructors

Field t

Instances

Instances details

(KnownSymbol f, Typed s, Typed t, Struct s) => Projectable s (s -> Field f t) t Source #

Update a stream of structs.

Instance details

Defined in Copilot.Language.Operators.Struct

Associated Types

data Projection s (s -> Field f t) t
Instance details Defined in Copilot.Language.Operators.Struct data Projection s (s -> Field f t) t = ProjectionS (Stream s) (s -> Field f t)

Methods

(=:) :: Projection s (s -> Field f t) t -> Stream t -> Stream s Source #

(=$) :: Projection s (s -> Field f t) t -> (Stream t -> Stream t) -> Stream s Source #

(KnownSymbol s, Show t) => Show (Field s t)

Instance details

Defined in Copilot.Core.Type

Methods

showsPrec :: Int -> Field s t -> ShowS #

show :: Field s t -> String #

showList :: [Field s t] -> ShowS #

data Projection s (s -> Field f t) t Source #

Instance details

Defined in Copilot.Language.Operators.Struct

data Projection s (s -> Field f t) t = ProjectionS (Stream s) (s -> Field f t)

data SimpleType where #

Constructors

SBool :: SimpleType
SInt8 :: SimpleType
SInt16 :: SimpleType
SInt32 :: SimpleType
SInt64 :: SimpleType
SWord8 :: SimpleType
SWord16 :: SimpleType
SWord32 :: SimpleType
SWord64 :: SimpleType
SFloat :: SimpleType
SDouble :: SimpleType
SArray :: forall t. Type t -> SimpleType
SStruct :: SimpleType

Instances

Instances details

Eq SimpleType
Instance details Defined in Copilot.Core.Type Methods (==) :: SimpleType -> SimpleType -> Bool (/=) :: SimpleType -> SimpleType -> Bool

data UType #

Constructors

Typeable a => UType (Type a)

Instances

Instances details

Eq UType
Instance details Defined in Copilot.Core.Type Methods (==) :: UType -> UType -> Bool (/=) :: UType -> UType -> Bool

data Value a #

Constructors

(Typeable t, KnownSymbol s, Show t) => Value (Type t) (Field s t)

accessorName :: forall a (s :: Symbol) t. (Struct a, KnownSymbol s) => (a -> Field s t) -> String #

toValuesDefault :: (Generic a, GStruct (Rep a)) => a -> [Value a] #

typeLength :: forall (n :: Nat) t. KnownNat n => Type (Array n t) -> Int #

typeNameDefault :: (Generic a, GDatatype (Rep a)) => a -> String #

typeOfDefault :: (Typed a, Struct a, Generic a, GTypedStruct (Rep a)) => Type a #

typeSize :: forall (n :: Nat) t. KnownNat n => Type (Array n t) -> Int #

updateFieldDefault :: (Generic a, GStruct (Rep a)) => a -> Value t -> a #

array :: forall (n :: Nat) t. KnownNat n => [t] -> Array n t #

data Array (n :: Nat) t #

Instances

Instances details

(Typeable t, Typed t, KnownNat n) => Typed (Array n t)

Instance details

Defined in Copilot.Core.Type

Methods

typeOf :: Type (Array n t) #

simpleType :: Type (Array n t) -> SimpleType #

Show t => Show (Array n t)

Instance details

Defined in Copilot.Core.Type.Array

Methods

showsPrec :: Int -> Array n t -> ShowS #

show :: Array n t -> String #

showList :: [Array n t] -> ShowS #

(KnownNat n, Typed t) => Projectable (Array n t) (Stream Word32) t Source #

Update a stream of arrays.

Instance details

Defined in Copilot.Language.Operators.Array

Associated Types

data Projection (Array n t) (Stream Word32) t
Instance details Defined in Copilot.Language.Operators.Array data Projection (Array n t) (Stream Word32) t = ProjectionA (Stream (Array n t)) (Stream Word32)

Methods

(=:) :: Projection (Array n t) (Stream Word32) t -> Stream t -> Stream (Array n t) Source #

(=$) :: Projection (Array n t) (Stream Word32) t -> (Stream t -> Stream t) -> Stream (Array n t) Source #

data Projection (Array n t) (Stream Word32) t Source #

Instance details

Defined in Copilot.Language.Operators.Array

data Projection (Array n t) (Stream Word32) t = ProjectionA (Stream (Array n t)) (Stream Word32)

arrayElems :: forall (n :: Nat) a. Array n a -> [a] #

arrayUpdate :: forall (n :: Nat) a. Array n a -> Int -> a -> Array n a #

impossible Source #

Arguments

:: String	Name of the function in which the error was detected.
-> String	Name of the package in which the function is located.
-> a

Report an error due to a bug in Copilot.

badUsage Source #

Arguments

:: String	Description of the error.
-> a

Report an error due to an error detected by Copilot (e.g., user error).

csv :: Integer -> Spec -> IO () Source #

Simulate a number of steps of a given specification, printing the results in a table in comma-separated value (CSV) format.

interpret :: Integer -> Spec -> IO () Source #

Simulate a number of steps of a given specification, printing the results in a table in readable format.

Compared to csv, this function is slower but the output may be more readable.

module Copilot.Language.Operators.Boolean

module Copilot.Language.Operators.Cast

module Copilot.Language.Operators.Constant

module Copilot.Language.Operators.Eq

module Copilot.Language.Operators.Extern

module Copilot.Language.Operators.Local

module Copilot.Language.Operators.Label

module Copilot.Language.Operators.Integral

module Copilot.Language.Operators.Mux

module Copilot.Language.Operators.Ord

module Copilot.Language.Operators.Temporal

module Copilot.Language.Operators.BitWise

module Copilot.Language.Operators.Array

module Copilot.Language.Operators.Struct

module Copilot.Language.Prelude

type Spec = Writer [SpecItem] () Source #

A specification is a list of declarations of triggers, observers, properties and theorems.

Specifications are normally declared in monadic style, for example:

monitor1 :: Stream Bool
monitor1 = [False] ++ not monitor1

counter :: Stream Int32
counter = [0] ++ not counter

spec :: Spec
spec = do
  trigger "handler_1" monitor1 []
  trigger "handler_2" (counter > 10) [arg counter]

data Stream a Source #

A stream in Copilot is an infinite succession of values of the same type.

Streams can be built using simple primities (e.g., Const), by applying step-wise (e.g., Op1) or temporal transformations (e.g., Append, Drop) to streams, or by combining existing streams to form new streams (e.g., Op2, Op3).

Instances

Instances details

(Typed a, Bits a) => Bits (Stream a) Source #

Instance of the Bits class for Streams.

Only the methods .&., complement, .|. and xor are defined.

Instance details

Defined in Copilot.Language.Operators.BitWise

Methods

(.&.) :: Stream a -> Stream a -> Stream a #

(.|.) :: Stream a -> Stream a -> Stream a #

xor :: Stream a -> Stream a -> Stream a

complement :: Stream a -> Stream a #

shift :: Stream a -> Int -> Stream a

rotate :: Stream a -> Int -> Stream a

zeroBits :: Stream a

bit :: Int -> Stream a

setBit :: Stream a -> Int -> Stream a

clearBit :: Stream a -> Int -> Stream a

complementBit :: Stream a -> Int -> Stream a

testBit :: Stream a -> Int -> Bool

bitSizeMaybe :: Stream a -> Maybe Int

bitSize :: Stream a -> Int

isSigned :: Stream a -> Bool

shiftL :: Stream a -> Int -> Stream a

unsafeShiftL :: Stream a -> Int -> Stream a

shiftR :: Stream a -> Int -> Stream a

unsafeShiftR :: Stream a -> Int -> Stream a

rotateL :: Stream a -> Int -> Stream a

rotateR :: Stream a -> Int -> Stream a

popCount :: Stream a -> Int

(Typed a, Eq a, Floating a) => Floating (Stream a) Source #

Streams carrying floating point numbers are instances of Floating, and you can apply to them the Floating functions, point-wise.

Instance details

Defined in Copilot.Language.Stream

Methods

pi :: Stream a #

exp :: Stream a -> Stream a #

log :: Stream a -> Stream a #

sqrt :: Stream a -> Stream a #

(**) :: Stream a -> Stream a -> Stream a #

logBase :: Stream a -> Stream a -> Stream a #

sin :: Stream a -> Stream a #

cos :: Stream a -> Stream a #

tan :: Stream a -> Stream a #

asin :: Stream a -> Stream a #

acos :: Stream a -> Stream a #

atan :: Stream a -> Stream a #

sinh :: Stream a -> Stream a #

cosh :: Stream a -> Stream a #

tanh :: Stream a -> Stream a #

asinh :: Stream a -> Stream a #

acosh :: Stream a -> Stream a #

atanh :: Stream a -> Stream a #

log1p :: Stream a -> Stream a

expm1 :: Stream a -> Stream a

log1pexp :: Stream a -> Stream a

log1mexp :: Stream a -> Stream a

(Typed a, Eq a, Num a) => Num (Stream a) Source #

Streams carrying numbers are instances of Num, and you can apply to them the Num functions, point-wise.

Instance details

Defined in Copilot.Language.Stream

Methods

(+) :: Stream a -> Stream a -> Stream a #

(-) :: Stream a -> Stream a -> Stream a #

(*) :: Stream a -> Stream a -> Stream a #

negate :: Stream a -> Stream a #

abs :: Stream a -> Stream a #

signum :: Stream a -> Stream a #

fromInteger :: Integer -> Stream a #

(Typed a, Eq a, Fractional a) => Fractional (Stream a) Source #

Streams carrying fractional numbers are instances of Fractional, and you can apply to them the Fractional functions, point-wise.

Instance details

Defined in Copilot.Language.Stream

Methods

(/) :: Stream a -> Stream a -> Stream a #

recip :: Stream a -> Stream a #

fromRational :: Rational -> Stream a #

Show (Stream a) Source #

Dummy instance in order to make Stream an instance of Num.

Instance details

Defined in Copilot.Language.Stream

Methods

showsPrec :: Int -> Stream a -> ShowS #

show :: Stream a -> String #

showList :: [Stream a] -> ShowS #

Eq (Stream a) Source #

Dummy instance in order to make Stream an instance of Num.

Instance details

Defined in Copilot.Language.Stream

Methods

(==) :: Stream a -> Stream a -> Bool

(/=) :: Stream a -> Stream a -> Bool

(KnownNat n, Typed t) => Projectable (Array n t) (Stream Word32) t Source #

Update a stream of arrays.

Instance details

Defined in Copilot.Language.Operators.Array

Associated Types

data Projection (Array n t) (Stream Word32) t
Instance details Defined in Copilot.Language.Operators.Array data Projection (Array n t) (Stream Word32) t = ProjectionA (Stream (Array n t)) (Stream Word32)

Methods

(=:) :: Projection (Array n t) (Stream Word32) t -> Stream t -> Stream (Array n t) Source #

(=$) :: Projection (Array n t) (Stream Word32) t -> (Stream t -> Stream t) -> Stream (Array n t) Source #

data Projection (Array n t) (Stream Word32) t Source #

Instance details

Defined in Copilot.Language.Operators.Array

data Projection (Array n t) (Stream Word32) t = ProjectionA (Stream (Array n t)) (Stream Word32)

observer Source #

Arguments

:: Typed a
=> String	Name used to identify the stream monitored in the output produced during interpretation.
-> Stream a	The stream being monitored.
-> Spec

Define a new observer as part of a specification. This allows someone to print the value at every iteration during interpretation. Observers do not have any functionality outside the interpreter.

trigger Source #

Arguments

:: String	Name of the handler to be called.
-> Stream Bool	The stream used as the guard for the trigger.
-> [Arg]	List of arguments to the handler.
-> Spec

Define a new trigger as part of a specification. A trigger declares which external function, or handler, will be called when a guard defined by a boolean stream becomes true.

arg :: Typed a => Stream a -> Arg Source #

Construct a function argument from a stream.

Args can be used to pass arguments to handlers or trigger functions, to provide additional information to monitor handlers in order to address property violations. At any given point (e.g., when the trigger must be called due to a violation), the arguments passed using arg will contain the current samples of the given streams.

prop :: String -> Prop a -> Writer [SpecItem] (PropRef a) Source #

A proposition, representing a boolean stream that is existentially or universally quantified over time, as part of a specification.

This function returns, in the monadic context, a reference to the proposition.

theorem :: String -> Prop a -> Proof a -> Writer [SpecItem] (PropRef a) Source #

A theorem, or proposition together with a proof.

This function returns, in the monadic context, a reference to the proposition.

forAll :: Stream Bool -> Prop Universal Source #

Universal quantification of boolean streams over time.

exists :: Stream Bool -> Prop Existential Source #

Existential quantification of boolean streams over time.