| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Language.Futhark.Primitive
Description
Definitions of primitive types, the values that inhabit these types, and operations on these values. A primitive value can also be called a scalar.
This module diverges from the actual Futhark language in that it does not distinguish signed and unsigned types. Further, we allow a "unit" type that is only indirectly present in source Futhark in the form of empty tuples.
Synopsis
- data IntType
- allIntTypes :: [IntType]
- data FloatType
- allFloatTypes :: [FloatType]
- data PrimType
- allPrimTypes :: [PrimType]
- data Int16
- data Int32
- data Int64
- data Int8
- data Word16
- data Word32
- data Word64
- data Word8
- data Half
- data IntValue
- = Int8Value !Int8
- | Int16Value !Int16
- | Int32Value !Int32
- | Int64Value !Int64
- intValue :: Integral int => IntType -> int -> IntValue
- intValueType :: IntValue -> IntType
- valueIntegral :: Integral int => IntValue -> int
- data FloatValue
- = Float16Value !Half
- | Float32Value !Float
- | Float64Value !Double
- floatValue :: Real num => FloatType -> num -> FloatValue
- floatValueType :: FloatValue -> FloatType
- data PrimValue
- = IntValue !IntValue
- | FloatValue !FloatValue
- | BoolValue !Bool
- | UnitValue
- primValueType :: PrimValue -> PrimType
- blankPrimValue :: PrimType -> PrimValue
- onePrimValue :: PrimType -> PrimValue
- data Overflow
- data Safety
- data UnOp
- allUnOps :: [UnOp]
- data BinOp
- = Add IntType Overflow
- | FAdd FloatType
- | Sub IntType Overflow
- | FSub FloatType
- | Mul IntType Overflow
- | FMul FloatType
- | UDiv IntType Safety
- | UDivUp IntType Safety
- | SDiv IntType Safety
- | SDivUp IntType Safety
- | FDiv FloatType
- | FMod FloatType
- | UMod IntType Safety
- | SMod IntType Safety
- | SQuot IntType Safety
- | SRem IntType Safety
- | SMin IntType
- | UMin IntType
- | FMin FloatType
- | SMax IntType
- | UMax IntType
- | FMax FloatType
- | Shl IntType
- | LShr IntType
- | AShr IntType
- | And IntType
- | Or IntType
- | Xor IntType
- | Pow IntType
- | FPow FloatType
- | LogAnd
- | LogOr
- allBinOps :: [BinOp]
- data ConvOp
- allConvOps :: [ConvOp]
- data CmpOp
- allCmpOps :: [CmpOp]
- doUnOp :: UnOp -> PrimValue -> Maybe PrimValue
- doComplement :: IntValue -> IntValue
- doAbs :: IntValue -> IntValue
- doFAbs :: FloatValue -> FloatValue
- doSSignum :: IntValue -> IntValue
- doUSignum :: IntValue -> IntValue
- doBinOp :: BinOp -> PrimValue -> PrimValue -> Maybe PrimValue
- doAdd :: IntValue -> IntValue -> IntValue
- doMul :: IntValue -> IntValue -> IntValue
- doSDiv :: IntValue -> IntValue -> Maybe IntValue
- doSMod :: IntValue -> IntValue -> Maybe IntValue
- doPow :: IntValue -> IntValue -> Maybe IntValue
- doConvOp :: ConvOp -> PrimValue -> Maybe PrimValue
- doZExt :: IntValue -> IntType -> IntValue
- doSExt :: IntValue -> IntType -> IntValue
- doFPConv :: FloatValue -> FloatType -> FloatValue
- doFPToUI :: FloatValue -> IntType -> IntValue
- doFPToSI :: FloatValue -> IntType -> IntValue
- doUIToFP :: IntValue -> FloatType -> FloatValue
- doSIToFP :: IntValue -> FloatType -> FloatValue
- intToInt64 :: IntValue -> Int64
- intToWord64 :: IntValue -> Word64
- flipConvOp :: ConvOp -> ConvOp
- doCmpOp :: CmpOp -> PrimValue -> PrimValue -> Maybe Bool
- doCmpEq :: PrimValue -> PrimValue -> Bool
- doCmpUlt :: IntValue -> IntValue -> Bool
- doCmpUle :: IntValue -> IntValue -> Bool
- doCmpSlt :: IntValue -> IntValue -> Bool
- doCmpSle :: IntValue -> IntValue -> Bool
- doFCmpLt :: FloatValue -> FloatValue -> Bool
- doFCmpLe :: FloatValue -> FloatValue -> Bool
- binOpType :: BinOp -> PrimType
- unOpType :: UnOp -> PrimType
- cmpOpType :: CmpOp -> PrimType
- convOpType :: ConvOp -> (PrimType, PrimType)
- primFuns :: Map Text ([PrimType], PrimType, [PrimValue] -> Maybe PrimValue)
- condFun :: PrimType -> Text
- isCondFun :: Text -> Maybe PrimType
- zeroIsh :: PrimValue -> Bool
- zeroIshInt :: IntValue -> Bool
- oneIsh :: PrimValue -> Bool
- oneIshInt :: IntValue -> Bool
- negativeIsh :: PrimValue -> Bool
- primBitSize :: PrimType -> Int
- primByteSize :: Num a => PrimType -> a
- intByteSize :: Num a => IntType -> a
- floatByteSize :: Num a => FloatType -> a
- commutativeBinOp :: BinOp -> Bool
- associativeBinOp :: BinOp -> Bool
- convOpFun :: ConvOp -> String
- prettySigned :: Bool -> PrimType -> Text
Types
An integer type, ordered by size. Note that signedness is not a property of the type, but a property of the operations performed on values of these types.
allIntTypes :: [IntType] Source #
A list of all integer types.
A floating point type.
Instances
| Bounded FloatType Source # | |
Defined in Language.Futhark.Primitive | |
| Enum FloatType Source # | |
Defined in Language.Futhark.Primitive | |
| Show FloatType Source # | |
| Eq FloatType Source # | |
| Ord FloatType Source # | |
Defined in Language.Futhark.Primitive | |
| Pretty FloatType Source # | |
allFloatTypes :: [FloatType] Source #
A list of all floating-point types.
Low-level primitive types.
Constructors
| IntType IntType | |
| FloatType FloatType | |
| Bool | |
| Unit | An informationless type - An array of this type takes up no space. |
Instances
| FreeIn PrimType Source # | |
| Simplifiable PrimType Source # | |
Defined in Futhark.Optimise.Simplify.Engine | |
| Rename PrimType Source # | |
| Substitute PrimType Source # | |
Defined in Futhark.Transform.Substitute | |
| Bounded PrimType Source # | |
Defined in Language.Futhark.Primitive | |
| Enum PrimType Source # | |
Defined in Language.Futhark.Primitive | |
| Show PrimType Source # | |
| Eq PrimType Source # | |
| Ord PrimType Source # | |
Defined in Language.Futhark.Primitive | |
| Pretty PrimType Source # | |
allPrimTypes :: [PrimType] Source #
A list of all primitive types.
Instances
| FromJSON Int16 | |
| FromJSONKey Int16 | |
Defined in Data.Aeson.Types.FromJSON Methods | |
| ToJSON Int16 | |
| ToJSONKey Int16 | |
Defined in Data.Aeson.Types.ToJSON Methods | |
| PrintfArg Int16 | |
Defined in Text.Printf | |
| Binary Int16 | |
| NFData Int16 | |
Defined in Control.DeepSeq | |
| IsValue Int16 Source # | |
| IsPrimValue Int16 Source # | |
| GetValue Int16 | |
| PutValue Int16 | |
| PutValue1 Int16 | |
| Bits Int16 | |
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 setBit :: Int16 -> Int -> Int16 clearBit :: Int16 -> Int -> Int16 complementBit :: Int16 -> Int -> Int16 testBit :: Int16 -> Int -> Bool bitSizeMaybe :: Int16 -> Maybe Int shiftL :: Int16 -> Int -> Int16 unsafeShiftL :: Int16 -> Int -> Int16 shiftR :: Int16 -> Int -> Int16 unsafeShiftR :: Int16 -> Int -> Int16 rotateL :: Int16 -> Int -> Int16 | |
| FiniteBits Int16 | |
Defined in GHC.Internal.Int Methods finiteBitSize :: Int16 -> Int countLeadingZeros :: Int16 -> Int countTrailingZeros :: Int16 -> Int | |
| Bounded Int16 | |
Defined in GHC.Internal.Int | |
| Enum Int16 | |
| Storable Int16 | |
Defined in GHC.Internal.Foreign.Storable | |
| Ix Int16 | |
| Num Int16 | |
| Read Int16 | |
Defined in GHC.Internal.Int | |
| Integral Int16 | |
| Real Int16 | |
Defined in GHC.Internal.Int Methods toRational :: Int16 -> Rational | |
| Show Int16 | |
| Eq Int16 | |
| Ord Int16 | |
| Hashable Int16 | |
Defined in Data.Hashable.Class | |
| ToConst Int16 | |
| ToExp Int16 | |
| Pretty Int16 | |
| Variate Int16 | |
| Pretty Int16 | |
| Prim Int16 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Int16 -> Int# alignmentOfType# :: Proxy Int16 -> Int# alignment# :: Int16 -> Int# indexByteArray# :: ByteArray# -> Int# -> Int16 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int16 #) writeByteArray# :: MutableByteArray# s -> Int# -> Int16 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int16 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Int16 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int16 #) writeOffAddr# :: Addr# -> Int# -> Int16 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Int16 -> State# s -> State# s | |
| Random Int16 | |
| Uniform Int16 | |
Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Int16 Source # | |
| UniformRange Int16 | |
Defined in System.Random.Internal | |
| Unbox Int16 | |
Defined in Data.Vector.Unboxed.Base | |
| IArray UArray Int16 | |
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 | |
| IntExp Int16 Source # | |
Defined in Futhark.Analysis.PrimExp | |
| NumExp Int16 Source # | |
Defined in Futhark.Analysis.PrimExp | |
| MkTV Int16 Source # | |
| Lift Int16 | |
| Vector Vector Int16 | |
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Int16 -> ST s (Vector Int16) basicUnsafeThaw :: Vector Int16 -> ST s (Mutable Vector s Int16) basicLength :: Vector Int16 -> Int basicUnsafeSlice :: Int -> Int -> Vector Int16 -> Vector Int16 basicUnsafeIndexM :: Vector Int16 -> Int -> Box Int16 basicUnsafeCopy :: Mutable Vector s Int16 -> Vector Int16 -> ST s () | |
| MVector MVector Int16 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int16 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Int16 -> MVector s Int16 basicOverlaps :: MVector s Int16 -> MVector s Int16 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Int16) basicInitialize :: MVector s Int16 -> ST s () basicUnsafeReplicate :: Int -> Int16 -> ST s (MVector s Int16) basicUnsafeRead :: MVector s Int16 -> Int -> ST s Int16 basicUnsafeWrite :: MVector s Int16 -> Int -> Int16 -> ST s () basicClear :: MVector s Int16 -> ST s () basicSet :: MVector s Int16 -> Int16 -> ST s () basicUnsafeCopy :: MVector s Int16 -> MVector s Int16 -> ST s () basicUnsafeMove :: MVector s Int16 -> MVector s Int16 -> ST s () basicUnsafeGrow :: MVector s Int16 -> Int -> ST s (MVector s Int16) | |
| MArray IOUArray Int16 IO | |
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) | |
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 () | |
| type Unsigned Int16 | |
Defined in System.Random.MWC | |
| newtype Vector Int16 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Int16 | |
Defined in Data.Vector.Unboxed.Base | |
Instances
| FromJSON Int32 | |
| FromJSONKey Int32 | |
Defined in Data.Aeson.Types.FromJSON Methods | |
| ToJSON Int32 | |
| ToJSONKey Int32 | |
Defined in Data.Aeson.Types.ToJSON Methods | |
| PrintfArg Int32 | |
Defined in Text.Printf | |
| Binary Int32 | |
| ToMarkup Int32 | |
Defined in Text.Blaze | |
| ToValue Int32 | |
Defined in Text.Blaze | |
| NFData Int32 | |
Defined in Control.DeepSeq | |
| IsValue Int32 Source # | |
| IsPrimValue Int32 Source # | |
| GetValue Int32 | |
| PutValue Int32 | |
| PutValue1 Int32 | |
| Bits Int32 | |
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 setBit :: Int32 -> Int -> Int32 clearBit :: Int32 -> Int -> Int32 complementBit :: Int32 -> Int -> Int32 testBit :: Int32 -> Int -> Bool bitSizeMaybe :: Int32 -> Maybe Int shiftL :: Int32 -> Int -> Int32 unsafeShiftL :: Int32 -> Int -> Int32 shiftR :: Int32 -> Int -> Int32 unsafeShiftR :: Int32 -> Int -> Int32 rotateL :: Int32 -> Int -> Int32 | |
| FiniteBits Int32 | |
Defined in GHC.Internal.Int Methods finiteBitSize :: Int32 -> Int countLeadingZeros :: Int32 -> Int countTrailingZeros :: Int32 -> Int | |
| Bounded Int32 | |
Defined in GHC.Internal.Int | |
| Enum Int32 | |
| Storable Int32 | |
Defined in GHC.Internal.Foreign.Storable | |
| Ix Int32 | |
| Num Int32 | |
| Read Int32 | |
Defined in GHC.Internal.Int | |
| Integral Int32 | |
| Real Int32 | |
Defined in GHC.Internal.Int Methods toRational :: Int32 -> Rational | |
| Show Int32 | |
| Eq Int32 | |
| Ord Int32 | |
| Hashable Int32 | |
Defined in Data.Hashable.Class | |
| ToConst Int32 | |
| ToExp Int32 | |
| Pretty Int32 | |
| Variate Int32 | |
| Pretty Int32 | |
| Prim Int32 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Int32 -> Int# alignmentOfType# :: Proxy Int32 -> Int# alignment# :: Int32 -> Int# indexByteArray# :: ByteArray# -> Int# -> Int32 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int32 #) writeByteArray# :: MutableByteArray# s -> Int# -> Int32 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int32 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Int32 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int32 #) writeOffAddr# :: Addr# -> Int# -> Int32 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Int32 -> State# s -> State# s | |
| Random Int32 | |
| Uniform Int32 | |
Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Int32 Source # | |
| UniformRange Int32 | |
Defined in System.Random.Internal | |
| Unbox Int32 | |
Defined in Data.Vector.Unboxed.Base | |
| IArray UArray Int32 | |
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 | |
| IntExp Int32 Source # | |
Defined in Futhark.Analysis.PrimExp | |
| NumExp Int32 Source # | |
Defined in Futhark.Analysis.PrimExp | |
| MkTV Int32 Source # | |
| Lift Int32 | |
| Vector Vector Int32 | |
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Int32 -> ST s (Vector Int32) basicUnsafeThaw :: Vector Int32 -> ST s (Mutable Vector s Int32) basicLength :: Vector Int32 -> Int basicUnsafeSlice :: Int -> Int -> Vector Int32 -> Vector Int32 basicUnsafeIndexM :: Vector Int32 -> Int -> Box Int32 basicUnsafeCopy :: Mutable Vector s Int32 -> Vector Int32 -> ST s () | |
| MVector MVector Int32 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int32 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Int32 -> MVector s Int32 basicOverlaps :: MVector s Int32 -> MVector s Int32 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Int32) basicInitialize :: MVector s Int32 -> ST s () basicUnsafeReplicate :: Int -> Int32 -> ST s (MVector s Int32) basicUnsafeRead :: MVector s Int32 -> Int -> ST s Int32 basicUnsafeWrite :: MVector s Int32 -> Int -> Int32 -> ST s () basicClear :: MVector s Int32 -> ST s () basicSet :: MVector s Int32 -> Int32 -> ST s () basicUnsafeCopy :: MVector s Int32 -> MVector s Int32 -> ST s () basicUnsafeMove :: MVector s Int32 -> MVector s Int32 -> ST s () basicUnsafeGrow :: MVector s Int32 -> Int -> ST s (MVector s Int32) | |
| MArray IOUArray Int32 IO | |
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) | |
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 () | |
| type Unsigned Int32 | |
Defined in System.Random.MWC | |
| newtype Vector Int32 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Int32 | |
Defined in Data.Vector.Unboxed.Base | |
Instances
| FromJSON Int64 | |
| FromJSONKey Int64 | |
Defined in Data.Aeson.Types.FromJSON Methods | |
| ToJSON Int64 | |
| ToJSONKey Int64 | |
Defined in Data.Aeson.Types.ToJSON Methods | |
| PrintfArg Int64 | |
Defined in Text.Printf | |
| Binary Int64 | |
| ToMarkup Int64 | |
Defined in Text.Blaze | |
| ToValue Int64 | |
Defined in Text.Blaze | |
| NFData Int64 | |
Defined in Control.DeepSeq | |
| IsValue Int64 Source # | |
| IsPrimValue Int64 Source # | |
| GetValue Int64 | |
| PutValue Int64 | |
| PutValue1 Int64 | |
| Bits Int64 | |
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 setBit :: Int64 -> Int -> Int64 clearBit :: Int64 -> Int -> Int64 complementBit :: Int64 -> Int -> Int64 testBit :: Int64 -> Int -> Bool bitSizeMaybe :: Int64 -> Maybe Int shiftL :: Int64 -> Int -> Int64 unsafeShiftL :: Int64 -> Int -> Int64 shiftR :: Int64 -> Int -> Int64 unsafeShiftR :: Int64 -> Int -> Int64 rotateL :: Int64 -> Int -> Int64 | |
| FiniteBits Int64 | |
Defined in GHC.Internal.Int Methods finiteBitSize :: Int64 -> Int countLeadingZeros :: Int64 -> Int countTrailingZeros :: Int64 -> Int | |
| Bounded Int64 | |
Defined in GHC.Internal.Int | |
| Enum Int64 | |
| Storable Int64 | |
Defined in GHC.Internal.Foreign.Storable | |
| Ix Int64 | |
| Num Int64 | |
| Read Int64 | |
Defined in GHC.Internal.Int | |
| Integral Int64 | |
| Real Int64 | |
Defined in GHC.Internal.Int Methods toRational :: Int64 -> Rational | |
| Show Int64 | |
| Eq Int64 | |
| Ord Int64 | |
| Hashable Int64 | |
Defined in Data.Hashable.Class | |
| ToConst Int64 | |
| ToExp Int64 | |
| Pretty Int64 | |
| Variate Int64 | |
| Pretty Int64 | |
| Prim Int64 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Int64 -> Int# alignmentOfType# :: Proxy Int64 -> Int# alignment# :: Int64 -> Int# indexByteArray# :: ByteArray# -> Int# -> Int64 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int64 #) writeByteArray# :: MutableByteArray# s -> Int# -> Int64 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int64 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Int64 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int64 #) writeOffAddr# :: Addr# -> Int# -> Int64 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Int64 -> State# s -> State# s | |
| Random Int64 | |
| Uniform Int64 | |
Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Int64 Source # | |
| UniformRange Int64 | |
Defined in System.Random.Internal | |
| Unbox Int64 | |
Defined in Data.Vector.Unboxed.Base | |
| IArray UArray Int64 | |
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 | |
| IntExp Int64 Source # | |
Defined in Futhark.Analysis.PrimExp | |
| NumExp Int64 Source # | |
Defined in Futhark.Analysis.PrimExp | |
| MkTV Int64 Source # | |
| Lift Int64 | |
| Vector Vector Int64 | |
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Int64 -> ST s (Vector Int64) basicUnsafeThaw :: Vector Int64 -> ST s (Mutable Vector s Int64) basicLength :: Vector Int64 -> Int basicUnsafeSlice :: Int -> Int -> Vector Int64 -> Vector Int64 basicUnsafeIndexM :: Vector Int64 -> Int -> Box Int64 basicUnsafeCopy :: Mutable Vector s Int64 -> Vector Int64 -> ST s () | |
| MVector MVector Int64 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int64 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Int64 -> MVector s Int64 basicOverlaps :: MVector s Int64 -> MVector s Int64 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Int64) basicInitialize :: MVector s Int64 -> ST s () basicUnsafeReplicate :: Int -> Int64 -> ST s (MVector s Int64) basicUnsafeRead :: MVector s Int64 -> Int -> ST s Int64 basicUnsafeWrite :: MVector s Int64 -> Int -> Int64 -> ST s () basicClear :: MVector s Int64 -> ST s () basicSet :: MVector s Int64 -> Int64 -> ST s () basicUnsafeCopy :: MVector s Int64 -> MVector s Int64 -> ST s () basicUnsafeMove :: MVector s Int64 -> MVector s Int64 -> ST s () basicUnsafeGrow :: MVector s Int64 -> Int -> ST s (MVector s Int64) | |
| MArray IOUArray Int64 IO | |
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 () | |
| Pretty (Shape Int64) Source # | |
| MArray (STUArray s) Int64 (ST s) | |
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 () | |
| type Unsigned Int64 | |
Defined in System.Random.MWC | |
| newtype Vector Int64 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Int64 | |
Defined in Data.Vector.Unboxed.Base | |
Instances
| FromJSON Int8 | |
| FromJSONKey Int8 | |
Defined in Data.Aeson.Types.FromJSON Methods | |
| ToJSON Int8 | |
| ToJSONKey Int8 | |
Defined in Data.Aeson.Types.ToJSON Methods | |
| PrintfArg Int8 | |
Defined in Text.Printf | |
| Binary Int8 | |
| NFData Int8 | |
Defined in Control.DeepSeq | |
| IsValue Int8 Source # | |
| IsPrimValue Int8 Source # | |
| GetValue Int8 | |
| PutValue Int8 | |
| PutValue1 Int8 | |
| Bits Int8 | |
Defined in GHC.Internal.Int | |
| FiniteBits Int8 | |
Defined in GHC.Internal.Int Methods finiteBitSize :: Int8 -> Int countLeadingZeros :: Int8 -> Int countTrailingZeros :: Int8 -> Int | |
| Bounded Int8 | |
Defined in GHC.Internal.Int | |
| Enum Int8 | |
| Storable Int8 | |
Defined in GHC.Internal.Foreign.Storable | |
| Ix Int8 | |
| Num Int8 | |
| Read Int8 | |
Defined in GHC.Internal.Int | |
| Integral Int8 | |
| Real Int8 | |
Defined in GHC.Internal.Int Methods toRational :: Int8 -> Rational | |
| Show Int8 | |
| Eq Int8 | |
| Ord Int8 | |
| Hashable Int8 | |
Defined in Data.Hashable.Class | |
| ToConst Int8 | |
| ToExp Int8 | |
| Pretty Int8 | |
| Variate Int8 | |
| Pretty Int8 | |
| Prim Int8 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Int8 -> Int# alignmentOfType# :: Proxy Int8 -> Int# alignment# :: Int8 -> Int# indexByteArray# :: ByteArray# -> Int# -> Int8 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int8 #) writeByteArray# :: MutableByteArray# s -> Int# -> Int8 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int8 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Int8 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int8 #) writeOffAddr# :: Addr# -> Int# -> Int8 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Int8 -> State# s -> State# s | |
| Random Int8 | |
| Uniform Int8 | |
Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Int8 Source # | |
| UniformRange Int8 | |
Defined in System.Random.Internal | |
| Unbox Int8 | |
Defined in Data.Vector.Unboxed.Base | |
| IArray UArray Int8 | |
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 | |
| IntExp Int8 Source # | |
Defined in Futhark.Analysis.PrimExp | |
| NumExp Int8 Source # | |
Defined in Futhark.Analysis.PrimExp | |
| MkTV Int8 Source # | |
| Lift Int8 | |
| Vector Vector Int8 | |
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Int8 -> ST s (Vector Int8) basicUnsafeThaw :: Vector Int8 -> ST s (Mutable Vector s Int8) basicLength :: Vector Int8 -> Int basicUnsafeSlice :: Int -> Int -> Vector Int8 -> Vector Int8 basicUnsafeIndexM :: Vector Int8 -> Int -> Box Int8 basicUnsafeCopy :: Mutable Vector s Int8 -> Vector Int8 -> ST s () | |
| MVector MVector Int8 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int8 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Int8 -> MVector s Int8 basicOverlaps :: MVector s Int8 -> MVector s Int8 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Int8) basicInitialize :: MVector s Int8 -> ST s () basicUnsafeReplicate :: Int -> Int8 -> ST s (MVector s Int8) basicUnsafeRead :: MVector s Int8 -> Int -> ST s Int8 basicUnsafeWrite :: MVector s Int8 -> Int -> Int8 -> ST s () basicClear :: MVector s Int8 -> ST s () basicSet :: MVector s Int8 -> Int8 -> ST s () basicUnsafeCopy :: MVector s Int8 -> MVector s Int8 -> ST s () basicUnsafeMove :: MVector s Int8 -> MVector s Int8 -> ST s () basicUnsafeGrow :: MVector s Int8 -> Int -> ST s (MVector s Int8) | |
| MArray IOUArray Int8 IO | |
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) | |
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 () | |
| type Unsigned Int8 | |
Defined in System.Random.MWC | |
| newtype Vector Int8 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Int8 | |
Defined in Data.Vector.Unboxed.Base | |
Instances
| FromJSON Word16 | |
| FromJSONKey Word16 | |
Defined in Data.Aeson.Types.FromJSON Methods | |
| ToJSON Word16 | |
| ToJSONKey Word16 | |
Defined in Data.Aeson.Types.ToJSON Methods | |
| PrintfArg Word16 | |
Defined in Text.Printf | |
| Binary Word16 | |
| NFData Word16 | |
Defined in Control.DeepSeq | |
| IsValue Word16 Source # | |
| IsPrimValue Word16 Source # | |
| GetValue Word16 | |
| PutValue Word16 | |
| PutValue1 Word16 | |
| Bits Word16 | |
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 setBit :: Word16 -> Int -> Word16 clearBit :: Word16 -> Int -> Word16 complementBit :: Word16 -> Int -> Word16 testBit :: Word16 -> Int -> Bool bitSizeMaybe :: Word16 -> Maybe Int shiftL :: Word16 -> Int -> Word16 unsafeShiftL :: Word16 -> Int -> Word16 shiftR :: Word16 -> Int -> Word16 unsafeShiftR :: Word16 -> Int -> Word16 rotateL :: Word16 -> Int -> Word16 | |
| FiniteBits Word16 | |
Defined in GHC.Internal.Word Methods finiteBitSize :: Word16 -> Int countLeadingZeros :: Word16 -> Int countTrailingZeros :: Word16 -> Int | |
| Bounded Word16 | |
Defined in GHC.Internal.Word | |
| Enum Word16 | |
Defined in GHC.Internal.Word | |
| Storable Word16 | |
Defined in GHC.Internal.Foreign.Storable | |
| Ix Word16 | |
| Num Word16 | |
| Read Word16 | |
Defined in GHC.Internal.Read | |
| Integral Word16 | |
| Real Word16 | |
Defined in GHC.Internal.Word Methods toRational :: Word16 -> Rational | |
| Show Word16 | |
| Eq Word16 | |
| Ord Word16 | |
| Hashable Word16 | |
Defined in Data.Hashable.Class | |
| ToConst Word16 | |
| ToExp Word16 | |
| Pretty Word16 | |
| Variate Word16 | |
| Pretty Word16 | |
| Prim Word16 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Word16 -> Int# alignmentOfType# :: Proxy Word16 -> Int# alignment# :: Word16 -> Int# indexByteArray# :: ByteArray# -> Int# -> Word16 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word16 #) writeByteArray# :: MutableByteArray# s -> Int# -> Word16 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word16 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Word16 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word16 #) writeOffAddr# :: Addr# -> Int# -> Word16 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Word16 -> State# s -> State# s | |
| Random Word16 | |
| Uniform Word16 | |
Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Word16 Source # | |
| UniformRange Word16 | |
Defined in System.Random.Internal | |
| ByteSource Word16 | |
Defined in Data.UUID.Types.Internal.Builder | |
| Unbox Word16 | |
Defined in Data.Vector.Unboxed.Base | |
| IArray UArray Word16 | |
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 | |
| Lift Word16 | |
| Vector Vector Word16 | |
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Word16 -> ST s (Vector Word16) basicUnsafeThaw :: Vector Word16 -> ST s (Mutable Vector s Word16) basicLength :: Vector Word16 -> Int basicUnsafeSlice :: Int -> Int -> Vector Word16 -> Vector Word16 basicUnsafeIndexM :: Vector Word16 -> Int -> Box Word16 basicUnsafeCopy :: Mutable Vector s Word16 -> Vector Word16 -> ST s () | |
| MVector MVector Word16 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Word16 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Word16 -> MVector s Word16 basicOverlaps :: MVector s Word16 -> MVector s Word16 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Word16) basicInitialize :: MVector s Word16 -> ST s () basicUnsafeReplicate :: Int -> Word16 -> ST s (MVector s Word16) basicUnsafeRead :: MVector s Word16 -> Int -> ST s Word16 basicUnsafeWrite :: MVector s Word16 -> Int -> Word16 -> ST s () basicClear :: MVector s Word16 -> ST s () basicSet :: MVector s Word16 -> Word16 -> ST s () basicUnsafeCopy :: MVector s Word16 -> MVector s Word16 -> ST s () basicUnsafeMove :: MVector s Word16 -> MVector s Word16 -> ST s () basicUnsafeGrow :: MVector s Word16 -> Int -> ST s (MVector s Word16) | |
| MArray IOUArray Word16 IO | |
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) | |
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 () | |
| type Unsigned Word16 | |
Defined in System.Random.MWC | |
| newtype Vector Word16 | |
Defined in Data.Vector.Unboxed.Base | |
| type ByteSink Word16 g | |
Defined in Data.UUID.Types.Internal.Builder type ByteSink Word16 g = Takes2Bytes g | |
| newtype MVector s Word16 | |
Defined in Data.Vector.Unboxed.Base | |
Instances
| FromJSON Word32 | |
| FromJSONKey Word32 | |
Defined in Data.Aeson.Types.FromJSON Methods | |
| ToJSON Word32 | |
| ToJSONKey Word32 | |
Defined in Data.Aeson.Types.ToJSON Methods | |
| PrintfArg Word32 | |
Defined in Text.Printf | |
| Binary Word32 | |
| ToMarkup Word32 | |
Defined in Text.Blaze | |
| ToValue Word32 | |
Defined in Text.Blaze | |
| NFData Word32 | |
Defined in Control.DeepSeq | |
| IsValue Word32 Source # | |
| IsPrimValue Word32 Source # | |
| GetValue Word32 | |
| PutValue Word32 | |
| PutValue1 Word32 | |
| Bits Word32 | |
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 setBit :: Word32 -> Int -> Word32 clearBit :: Word32 -> Int -> Word32 complementBit :: Word32 -> Int -> Word32 testBit :: Word32 -> Int -> Bool bitSizeMaybe :: Word32 -> Maybe Int shiftL :: Word32 -> Int -> Word32 unsafeShiftL :: Word32 -> Int -> Word32 shiftR :: Word32 -> Int -> Word32 unsafeShiftR :: Word32 -> Int -> Word32 rotateL :: Word32 -> Int -> Word32 | |
| FiniteBits Word32 | |
Defined in GHC.Internal.Word Methods finiteBitSize :: Word32 -> Int countLeadingZeros :: Word32 -> Int countTrailingZeros :: Word32 -> Int | |
| Bounded Word32 | |
Defined in GHC.Internal.Word | |
| Enum Word32 | |
Defined in GHC.Internal.Word | |
| Storable Word32 | |
Defined in GHC.Internal.Foreign.Storable | |
| Ix Word32 | |
| Num Word32 | |
| Read Word32 | |
Defined in GHC.Internal.Read | |
| Integral Word32 | |
| Real Word32 | |
Defined in GHC.Internal.Word Methods toRational :: Word32 -> Rational | |
| Show Word32 | |
| Eq Word32 | |
| Ord Word32 | |
| Hashable Word32 | |
Defined in Data.Hashable.Class | |
| ToConst Word32 | |
| ToExp Word32 | |
| Pretty Word32 | |
| Variate Word32 | |
| Pretty Word32 | |
| Prim Word32 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Word32 -> Int# alignmentOfType# :: Proxy Word32 -> Int# alignment# :: Word32 -> Int# indexByteArray# :: ByteArray# -> Int# -> Word32 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word32 #) writeByteArray# :: MutableByteArray# s -> Int# -> Word32 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word32 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Word32 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word32 #) writeOffAddr# :: Addr# -> Int# -> Word32 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Word32 -> State# s -> State# s | |
| Random Word32 | |
| Uniform Word32 | |
Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Word32 Source # | |
| UniformRange Word32 | |
Defined in System.Random.Internal | |
| ByteSource Word32 | |
Defined in Data.UUID.Types.Internal.Builder | |
| Unbox Word32 | |
Defined in Data.Vector.Unboxed.Base | |
| IArray UArray Word32 | |
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 | |
| Lift Word32 | |
| Vector Vector Word32 | |
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Word32 -> ST s (Vector Word32) basicUnsafeThaw :: Vector Word32 -> ST s (Mutable Vector s Word32) basicLength :: Vector Word32 -> Int basicUnsafeSlice :: Int -> Int -> Vector Word32 -> Vector Word32 basicUnsafeIndexM :: Vector Word32 -> Int -> Box Word32 basicUnsafeCopy :: Mutable Vector s Word32 -> Vector Word32 -> ST s () | |
| MVector MVector Word32 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Word32 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Word32 -> MVector s Word32 basicOverlaps :: MVector s Word32 -> MVector s Word32 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Word32) basicInitialize :: MVector s Word32 -> ST s () basicUnsafeReplicate :: Int -> Word32 -> ST s (MVector s Word32) basicUnsafeRead :: MVector s Word32 -> Int -> ST s Word32 basicUnsafeWrite :: MVector s Word32 -> Int -> Word32 -> ST s () basicClear :: MVector s Word32 -> ST s () basicSet :: MVector s Word32 -> Word32 -> ST s () basicUnsafeCopy :: MVector s Word32 -> MVector s Word32 -> ST s () basicUnsafeMove :: MVector s Word32 -> MVector s Word32 -> ST s () basicUnsafeGrow :: MVector s Word32 -> Int -> ST s (MVector s Word32) | |
| MArray IOUArray Word32 IO | |
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) | |
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 () | |
| type Unsigned Word32 | |
Defined in System.Random.MWC | |
| newtype Vector Word32 | |
Defined in Data.Vector.Unboxed.Base | |
| type ByteSink Word32 g | |
Defined in Data.UUID.Types.Internal.Builder type ByteSink Word32 g = Takes4Bytes g | |
| newtype MVector s Word32 | |
Defined in Data.Vector.Unboxed.Base | |
Instances
| FromJSON Word64 | |
| FromJSONKey Word64 | |
Defined in Data.Aeson.Types.FromJSON Methods | |
| ToJSON Word64 | |
| ToJSONKey Word64 | |
Defined in Data.Aeson.Types.ToJSON Methods | |
| PrintfArg Word64 | |
Defined in Text.Printf | |
| Binary Word64 | |
| ToMarkup Word64 | |
Defined in Text.Blaze | |
| ToValue Word64 | |
Defined in Text.Blaze | |
| NFData Word64 | |
Defined in Control.DeepSeq | |
| IsValue Word64 Source # | |
| IsPrimValue Word64 Source # | |
| GetValue Word64 | |
| PutValue Word64 | |
| PutValue1 Word64 | |
| Bits Word64 | |
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 setBit :: Word64 -> Int -> Word64 clearBit :: Word64 -> Int -> Word64 complementBit :: Word64 -> Int -> Word64 testBit :: Word64 -> Int -> Bool bitSizeMaybe :: Word64 -> Maybe Int shiftL :: Word64 -> Int -> Word64 unsafeShiftL :: Word64 -> Int -> Word64 shiftR :: Word64 -> Int -> Word64 unsafeShiftR :: Word64 -> Int -> Word64 rotateL :: Word64 -> Int -> Word64 | |
| FiniteBits Word64 | |
Defined in GHC.Internal.Word Methods finiteBitSize :: Word64 -> Int countLeadingZeros :: Word64 -> Int countTrailingZeros :: Word64 -> Int | |
| Bounded Word64 | |
Defined in GHC.Internal.Word | |
| Enum Word64 | |
Defined in GHC.Internal.Word | |
| Storable Word64 | |
Defined in GHC.Internal.Foreign.Storable | |
| Ix Word64 | |
| Num Word64 | |
| Read Word64 | |
Defined in GHC.Internal.Read | |
| Integral Word64 | |
| Real Word64 | |
Defined in GHC.Internal.Word Methods toRational :: Word64 -> Rational | |
| Show Word64 | |
| Eq Word64 | |
| Ord Word64 | |
| Hashable Word64 | |
Defined in Data.Hashable.Class | |
| ToConst Word64 | |
| ToExp Word64 | |
| Pretty Word64 | |
| Variate Word64 | |
| Pretty Word64 | |
| Prim Word64 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Word64 -> Int# alignmentOfType# :: Proxy Word64 -> Int# alignment# :: Word64 -> Int# indexByteArray# :: ByteArray# -> Int# -> Word64 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word64 #) writeByteArray# :: MutableByteArray# s -> Int# -> Word64 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word64 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Word64 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word64 #) writeOffAddr# :: Addr# -> Int# -> Word64 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Word64 -> State# s -> State# s | |
| Random Word64 | |
| Uniform Word64 | |
Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Word64 Source # | |
| UniformRange Word64 | |
Defined in System.Random.Internal | |
| ByteSource Word64 | |
Defined in Data.UUID.Types.Internal.Builder | |
| Unbox Word64 | |
Defined in Data.Vector.Unboxed.Base | |
| IArray UArray Word64 | |
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 | |
| Lift Word64 | |
| Vector Vector Word64 | |
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Word64 -> ST s (Vector Word64) basicUnsafeThaw :: Vector Word64 -> ST s (Mutable Vector s Word64) basicLength :: Vector Word64 -> Int basicUnsafeSlice :: Int -> Int -> Vector Word64 -> Vector Word64 basicUnsafeIndexM :: Vector Word64 -> Int -> Box Word64 basicUnsafeCopy :: Mutable Vector s Word64 -> Vector Word64 -> ST s () | |
| MVector MVector Word64 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Word64 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Word64 -> MVector s Word64 basicOverlaps :: MVector s Word64 -> MVector s Word64 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Word64) basicInitialize :: MVector s Word64 -> ST s () basicUnsafeReplicate :: Int -> Word64 -> ST s (MVector s Word64) basicUnsafeRead :: MVector s Word64 -> Int -> ST s Word64 basicUnsafeWrite :: MVector s Word64 -> Int -> Word64 -> ST s () basicClear :: MVector s Word64 -> ST s () basicSet :: MVector s Word64 -> Word64 -> ST s () basicUnsafeCopy :: MVector s Word64 -> MVector s Word64 -> ST s () basicUnsafeMove :: MVector s Word64 -> MVector s Word64 -> ST s () basicUnsafeGrow :: MVector s Word64 -> Int -> ST s (MVector s Word64) | |
| MArray IOUArray Word64 IO | |
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) | |
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 () | |
| type Unsigned Word64 | |
Defined in System.Random.MWC | |
| newtype Vector Word64 | |
Defined in Data.Vector.Unboxed.Base | |
| type ByteSink Word64 g | |
Defined in Data.UUID.Types.Internal.Builder type ByteSink Word64 g = Takes8Bytes g | |
| newtype MVector s Word64 | |
Defined in Data.Vector.Unboxed.Base | |
Instances
| FromJSON Word8 | |
| FromJSONKey Word8 | |
Defined in Data.Aeson.Types.FromJSON Methods | |
| ToJSON Word8 | |
| ToJSONKey Word8 | |
Defined in Data.Aeson.Types.ToJSON Methods | |
| PrintfArg Word8 | |
Defined in Text.Printf | |
| Binary Word8 | |
| NFData Word8 | |
Defined in Control.DeepSeq | |
| IsValue Word8 Source # | |
| IsPrimValue Word8 Source # | |
| GetValue Word8 | |
| PutValue Word8 | |
| PutValue1 Word8 | |
| Bits Word8 | |
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 setBit :: Word8 -> Int -> Word8 clearBit :: Word8 -> Int -> Word8 complementBit :: Word8 -> Int -> Word8 testBit :: Word8 -> Int -> Bool bitSizeMaybe :: Word8 -> Maybe Int shiftL :: Word8 -> Int -> Word8 unsafeShiftL :: Word8 -> Int -> Word8 shiftR :: Word8 -> Int -> Word8 unsafeShiftR :: Word8 -> Int -> Word8 rotateL :: Word8 -> Int -> Word8 | |
| FiniteBits Word8 | |
Defined in GHC.Internal.Word Methods finiteBitSize :: Word8 -> Int countLeadingZeros :: Word8 -> Int countTrailingZeros :: Word8 -> Int | |
| Bounded Word8 | |
Defined in GHC.Internal.Word | |
| Enum Word8 | |
| Storable Word8 | |
Defined in GHC.Internal.Foreign.Storable | |
| Ix Word8 | |
| Num Word8 | |
| Read Word8 | |
Defined in GHC.Internal.Read | |
| Integral Word8 | |
| Real Word8 | |
Defined in GHC.Internal.Word Methods toRational :: Word8 -> Rational | |
| Show Word8 | |
| Eq Word8 | |
| Ord Word8 | |
| Hashable Word8 | |
Defined in Data.Hashable.Class | |
| ToConst Word8 | |
| ToExp Word8 | |
| Pretty Word8 | |
| Variate Word8 | |
| Pretty Word8 | |
| Prim Word8 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Word8 -> Int# alignmentOfType# :: Proxy Word8 -> Int# alignment# :: Word8 -> Int# indexByteArray# :: ByteArray# -> Int# -> Word8 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word8 #) writeByteArray# :: MutableByteArray# s -> Int# -> Word8 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word8 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Word8 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word8 #) writeOffAddr# :: Addr# -> Int# -> Word8 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Word8 -> State# s -> State# s | |
| Dot Word8 | |
Defined in System.Process.Run | |
| Random Word8 | |
| Uniform Word8 | |
Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Word8 Source # | |
| UniformRange Word8 | |
Defined in System.Random.Internal | |
| ByteSource Word8 | |
Defined in Data.UUID.Types.Internal.Builder | |
| Unbox Word8 | |
Defined in Data.Vector.Unboxed.Base | |
| ListLike ByteString Word8 | |
Defined in Data.ListLike.Instances Methods empty :: ByteString singleton :: Word8 -> ByteString cons :: Word8 -> ByteString -> ByteString snoc :: ByteString -> Word8 -> ByteString append :: ByteString -> ByteString -> ByteString uncons :: ByteString -> Maybe (Word8, ByteString) tail :: ByteString -> ByteString init :: ByteString -> ByteString null :: ByteString -> Bool map :: ListLike full' item' => (Word8 -> item') -> ByteString -> full' rigidMap :: (Word8 -> Word8) -> ByteString -> ByteString reverse :: ByteString -> ByteString intersperse :: Word8 -> ByteString -> ByteString concat :: ListLike full' ByteString => full' -> ByteString concatMap :: ListLike full' item' => (Word8 -> full') -> ByteString -> full' rigidConcatMap :: (Word8 -> ByteString) -> ByteString -> ByteString any :: (Word8 -> Bool) -> ByteString -> Bool all :: (Word8 -> Bool) -> ByteString -> Bool maximum :: ByteString -> Word8 minimum :: ByteString -> Word8 replicate :: Int -> Word8 -> ByteString take :: Int -> ByteString -> ByteString drop :: Int -> ByteString -> ByteString splitAt :: Int -> ByteString -> (ByteString, ByteString) takeWhile :: (Word8 -> Bool) -> ByteString -> ByteString dropWhile :: (Word8 -> Bool) -> ByteString -> ByteString dropWhileEnd :: (Word8 -> Bool) -> ByteString -> ByteString span :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString) break :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString) group :: (ListLike full' ByteString, Eq Word8) => ByteString -> full' inits :: ListLike full' ByteString => ByteString -> full' tails :: ListLike full' ByteString => ByteString -> full' isPrefixOf :: ByteString -> ByteString -> Bool isSuffixOf :: ByteString -> ByteString -> Bool isInfixOf :: ByteString -> ByteString -> Bool stripPrefix :: ByteString -> ByteString -> Maybe ByteString stripSuffix :: ByteString -> ByteString -> Maybe ByteString elem :: Word8 -> ByteString -> Bool notElem :: Word8 -> ByteString -> Bool find :: (Word8 -> Bool) -> ByteString -> Maybe Word8 filter :: (Word8 -> Bool) -> ByteString -> ByteString partition :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString) index :: ByteString -> Int -> Word8 elemIndex :: Word8 -> ByteString -> Maybe Int elemIndices :: (Eq Word8, ListLike result Int) => Word8 -> ByteString -> result findIndex :: (Word8 -> Bool) -> ByteString -> Maybe Int findIndices :: ListLike result Int => (Word8 -> Bool) -> ByteString -> result sequence :: (Applicative m, ListLike fullinp (m Word8)) => fullinp -> m ByteString mapM :: (Applicative m, ListLike full' item') => (Word8 -> m item') -> ByteString -> m full' rigidMapM :: Monad m => (Word8 -> m Word8) -> ByteString -> m ByteString nub :: ByteString -> ByteString delete :: Word8 -> ByteString -> ByteString deleteFirsts :: ByteString -> ByteString -> ByteString union :: ByteString -> ByteString -> ByteString intersect :: ByteString -> ByteString -> ByteString sort :: ByteString -> ByteString insert :: Word8 -> ByteString -> ByteString toList' :: ByteString -> [Word8] fromList' :: [Word8] -> ByteString fromListLike :: ListLike full' Word8 => ByteString -> full' nubBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString deleteBy :: (Word8 -> Word8 -> Bool) -> Word8 -> ByteString -> ByteString deleteFirstsBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString unionBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString intersectBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString groupBy :: (ListLike full' ByteString, Eq Word8) => (Word8 -> Word8 -> Bool) -> ByteString -> full' sortBy :: (Word8 -> Word8 -> Ordering) -> ByteString -> ByteString insertBy :: (Word8 -> Word8 -> Ordering) -> Word8 -> ByteString -> ByteString genericLength :: Num a => ByteString -> a genericTake :: Integral a => a -> ByteString -> ByteString genericDrop :: Integral a => a -> ByteString -> ByteString genericSplitAt :: Integral a => a -> ByteString -> (ByteString, ByteString) genericReplicate :: Integral a => a -> Word8 -> ByteString | |
| ListLike ByteString Word8 | |
Defined in Data.ListLike.Instances Methods empty :: ByteString singleton :: Word8 -> ByteString cons :: Word8 -> ByteString -> ByteString snoc :: ByteString -> Word8 -> ByteString append :: ByteString -> ByteString -> ByteString uncons :: ByteString -> Maybe (Word8, ByteString) tail :: ByteString -> ByteString init :: ByteString -> ByteString null :: ByteString -> Bool map :: ListLike full' item' => (Word8 -> item') -> ByteString -> full' rigidMap :: (Word8 -> Word8) -> ByteString -> ByteString reverse :: ByteString -> ByteString intersperse :: Word8 -> ByteString -> ByteString concat :: ListLike full' ByteString => full' -> ByteString concatMap :: ListLike full' item' => (Word8 -> full') -> ByteString -> full' rigidConcatMap :: (Word8 -> ByteString) -> ByteString -> ByteString any :: (Word8 -> Bool) -> ByteString -> Bool all :: (Word8 -> Bool) -> ByteString -> Bool maximum :: ByteString -> Word8 minimum :: ByteString -> Word8 replicate :: Int -> Word8 -> ByteString take :: Int -> ByteString -> ByteString drop :: Int -> ByteString -> ByteString splitAt :: Int -> ByteString -> (ByteString, ByteString) takeWhile :: (Word8 -> Bool) -> ByteString -> ByteString dropWhile :: (Word8 -> Bool) -> ByteString -> ByteString dropWhileEnd :: (Word8 -> Bool) -> ByteString -> ByteString span :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString) break :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString) group :: (ListLike full' ByteString, Eq Word8) => ByteString -> full' inits :: ListLike full' ByteString => ByteString -> full' tails :: ListLike full' ByteString => ByteString -> full' isPrefixOf :: ByteString -> ByteString -> Bool isSuffixOf :: ByteString -> ByteString -> Bool isInfixOf :: ByteString -> ByteString -> Bool stripPrefix :: ByteString -> ByteString -> Maybe ByteString stripSuffix :: ByteString -> ByteString -> Maybe ByteString elem :: Word8 -> ByteString -> Bool notElem :: Word8 -> ByteString -> Bool find :: (Word8 -> Bool) -> ByteString -> Maybe Word8 filter :: (Word8 -> Bool) -> ByteString -> ByteString partition :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString) index :: ByteString -> Int -> Word8 elemIndex :: Word8 -> ByteString -> Maybe Int elemIndices :: (Eq Word8, ListLike result Int) => Word8 -> ByteString -> result findIndex :: (Word8 -> Bool) -> ByteString -> Maybe Int findIndices :: ListLike result Int => (Word8 -> Bool) -> ByteString -> result sequence :: (Applicative m, ListLike fullinp (m Word8)) => fullinp -> m ByteString mapM :: (Applicative m, ListLike full' item') => (Word8 -> m item') -> ByteString -> m full' rigidMapM :: Monad m => (Word8 -> m Word8) -> ByteString -> m ByteString nub :: ByteString -> ByteString delete :: Word8 -> ByteString -> ByteString deleteFirsts :: ByteString -> ByteString -> ByteString union :: ByteString -> ByteString -> ByteString intersect :: ByteString -> ByteString -> ByteString sort :: ByteString -> ByteString insert :: Word8 -> ByteString -> ByteString toList' :: ByteString -> [Word8] fromList' :: [Word8] -> ByteString fromListLike :: ListLike full' Word8 => ByteString -> full' nubBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString deleteBy :: (Word8 -> Word8 -> Bool) -> Word8 -> ByteString -> ByteString deleteFirstsBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString unionBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString intersectBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString groupBy :: (ListLike full' ByteString, Eq Word8) => (Word8 -> Word8 -> Bool) -> ByteString -> full' sortBy :: (Word8 -> Word8 -> Ordering) -> ByteString -> ByteString insertBy :: (Word8 -> Word8 -> Ordering) -> Word8 -> ByteString -> ByteString genericLength :: Num a => ByteString -> a genericTake :: Integral a => a -> ByteString -> ByteString genericDrop :: Integral a => a -> ByteString -> ByteString genericSplitAt :: Integral a => a -> ByteString -> (ByteString, ByteString) genericReplicate :: Integral a => a -> Word8 -> ByteString | |
| FoldableLL ByteString Word8 | |
Defined in Data.ListLike.Instances | |
| FoldableLL ByteString Word8 | |
Defined in Data.ListLike.Instances | |
| ListLikeIO ByteString Word8 | |
Defined in Data.ListLike.Instances Methods hGetLine :: Handle -> IO ByteString hGetContents :: Handle -> IO ByteString hGet :: Handle -> Int -> IO ByteString hGetNonBlocking :: Handle -> Int -> IO ByteString hPutStr :: Handle -> ByteString -> IO () hPutStrLn :: Handle -> ByteString -> IO () getLine :: IO ByteString getContents :: IO ByteString putStr :: ByteString -> IO () putStrLn :: ByteString -> IO () interact :: (ByteString -> ByteString) -> IO () readFile :: FilePath -> IO ByteString writeFile :: FilePath -> ByteString -> IO () appendFile :: FilePath -> ByteString -> IO () | |
| ListLikeIO ByteString Word8 | |
Defined in Data.ListLike.Instances Methods hGetLine :: Handle -> IO ByteString hGetContents :: Handle -> IO ByteString hGet :: Handle -> Int -> IO ByteString hGetNonBlocking :: Handle -> Int -> IO ByteString hPutStr :: Handle -> ByteString -> IO () hPutStrLn :: Handle -> ByteString -> IO () getLine :: IO ByteString getContents :: IO ByteString putStr :: ByteString -> IO () putStrLn :: ByteString -> IO () interact :: (ByteString -> ByteString) -> IO () readFile :: FilePath -> IO ByteString writeFile :: FilePath -> ByteString -> IO () appendFile :: FilePath -> ByteString -> IO () | |
| IArray UArray Word8 | |
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 | |
| ListLikeProcessIO ByteString Word8 | Like |
Defined in System.Process.ByteString Methods forceOutput :: ByteString -> IO ByteString Source # readChunks :: Handle -> IO [ByteString] Source # | |
| ProcessText ByteString Word8 | |
Defined in System.Process.ByteString | |
| Lift Word8 | |
| Vector Vector Word8 | |
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Word8 -> ST s (Vector Word8) basicUnsafeThaw :: Vector Word8 -> ST s (Mutable Vector s Word8) basicLength :: Vector Word8 -> Int basicUnsafeSlice :: Int -> Int -> Vector Word8 -> Vector Word8 basicUnsafeIndexM :: Vector Word8 -> Int -> Box Word8 basicUnsafeCopy :: Mutable Vector s Word8 -> Vector Word8 -> ST s () | |
| MVector MVector Word8 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Word8 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Word8 -> MVector s Word8 basicOverlaps :: MVector s Word8 -> MVector s Word8 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Word8) basicInitialize :: MVector s Word8 -> ST s () basicUnsafeReplicate :: Int -> Word8 -> ST s (MVector s Word8) basicUnsafeRead :: MVector s Word8 -> Int -> ST s Word8 basicUnsafeWrite :: MVector s Word8 -> Int -> Word8 -> ST s () basicClear :: MVector s Word8 -> ST s () basicSet :: MVector s Word8 -> Word8 -> ST s () basicUnsafeCopy :: MVector s Word8 -> MVector s Word8 -> ST s () basicUnsafeMove :: MVector s Word8 -> MVector s Word8 -> ST s () basicUnsafeGrow :: MVector s Word8 -> Int -> ST s (MVector s Word8) | |
| MArray IOUArray Word8 IO | |
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 () | |
| (MonadIO m, MonadState (RunState ByteString) m) => RunM ByteString Word8 m | |
Defined in System.Process.Run | |
| (MonadIO m, MonadState (RunState ByteString) m) => RunM ByteString Word8 m | |
Defined in System.Process.Run | |
| Cons ByteString ByteString Word8 Word8 | |
| Cons ByteString ByteString Word8 Word8 | |
| Snoc ByteString ByteString Word8 Word8 | |
| Snoc ByteString ByteString Word8 Word8 | |
| MArray (STUArray s) Word8 (ST s) | |
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 () | |
| type Unsigned Word8 | |
Defined in System.Random.MWC | |
| newtype Vector Word8 | |
Defined in Data.Vector.Unboxed.Base | |
| type ByteSink Word8 g | |
Defined in Data.UUID.Types.Internal.Builder type ByteSink Word8 g = Takes1Byte g | |
| newtype MVector s Word8 | |
Defined in Data.Vector.Unboxed.Base | |
A half-precision floating point value
Instances
| Binary Half | |||||
| NFData Half | |||||
Defined in Numeric.Half.Internal | |||||
| Floating Half | |||||
Defined in Numeric.Half.Internal | |||||
| RealFloat Half | |||||
Defined in Numeric.Half.Internal Methods floatRadix :: Half -> Integer floatDigits :: Half -> Int floatRange :: Half -> (Int, Int) decodeFloat :: Half -> (Integer, Int) encodeFloat :: Integer -> Int -> Half significand :: Half -> Half scaleFloat :: Int -> Half -> Half isInfinite :: Half -> Bool isDenormalized :: Half -> Bool isNegativeZero :: Half -> Bool | |||||
| Storable Half | |||||
Defined in Numeric.Half.Internal | |||||
| Generic Half | |||||
Defined in Numeric.Half.Internal Associated Types
| |||||
| Num Half | |||||
| Read Half | |||||
Defined in Numeric.Half.Internal | |||||
| Fractional Half | |||||
Defined in Numeric.Half.Internal | |||||
| Real Half | |||||
Defined in Numeric.Half.Internal Methods toRational :: Half -> Rational | |||||
| RealFrac Half | |||||
| Show Half | |||||
| Eq Half | |||||
| Ord Half | |||||
| Pretty Half Source # | |||||
| UniformRange Half Source # | |||||
Defined in Futhark.CLI.Dataset | |||||
| FloatExp Half Source # | |||||
Defined in Futhark.Analysis.PrimExp | |||||
| NumExp Half Source # | |||||
Defined in Futhark.Analysis.PrimExp | |||||
| MkTV Half Source # | |||||
| Lift Half | |||||
| Pretty v => Floating (TPrimExp Half v) | |||||
Defined in Futhark.Analysis.PrimExp Methods exp :: TPrimExp Half v -> TPrimExp Half v log :: TPrimExp Half v -> TPrimExp Half v sqrt :: TPrimExp Half v -> TPrimExp Half v (**) :: TPrimExp Half v -> TPrimExp Half v -> TPrimExp Half v logBase :: TPrimExp Half v -> TPrimExp Half v -> TPrimExp Half v sin :: TPrimExp Half v -> TPrimExp Half v cos :: TPrimExp Half v -> TPrimExp Half v tan :: TPrimExp Half v -> TPrimExp Half v asin :: TPrimExp Half v -> TPrimExp Half v acos :: TPrimExp Half v -> TPrimExp Half v atan :: TPrimExp Half v -> TPrimExp Half v sinh :: TPrimExp Half v -> TPrimExp Half v cosh :: TPrimExp Half v -> TPrimExp Half v tanh :: TPrimExp Half v -> TPrimExp Half v asinh :: TPrimExp Half v -> TPrimExp Half v acosh :: TPrimExp Half v -> TPrimExp Half v atanh :: TPrimExp Half v -> TPrimExp Half v log1p :: TPrimExp Half v -> TPrimExp Half v expm1 :: TPrimExp Half v -> TPrimExp Half v | |||||
| type Rep Half | |||||
Defined in Numeric.Half.Internal type Rep Half = D1 ('MetaData "Half" "Numeric.Half.Internal" "half-0.3.3-Jvy5dNDq4tiIUhNYeZg50I" 'True) (C1 ('MetaCons "Half" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHalf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CUShort))) | |||||
Values
An integer value.
Constructors
| Int8Value !Int8 | |
| Int16Value !Int16 | |
| Int32Value !Int32 | |
| Int64Value !Int64 |
intValue :: Integral int => IntType -> int -> IntValue Source #
Create an IntValue from a type and an Integer.
intValueType :: IntValue -> IntType Source #
The type of an integer value.
valueIntegral :: Integral int => IntValue -> int Source #
Convert an IntValue to any Integral type.
data FloatValue Source #
A floating-point value.
Constructors
| Float16Value !Half | |
| Float32Value !Float | |
| Float64Value !Double |
Instances
| IsValue FloatValue Source # | |
Defined in Futhark.IR.Prop.Constants Methods value :: FloatValue -> PrimValue Source # | |
| Show FloatValue Source # | |
Defined in Language.Futhark.Primitive Methods showsPrec :: Int -> FloatValue -> ShowS show :: FloatValue -> String showList :: [FloatValue] -> ShowS | |
| Eq FloatValue Source # | |
Defined in Language.Futhark.Primitive | |
| Ord FloatValue Source # | |
Defined in Language.Futhark.Primitive Methods compare :: FloatValue -> FloatValue -> Ordering (<) :: FloatValue -> FloatValue -> Bool (<=) :: FloatValue -> FloatValue -> Bool (>) :: FloatValue -> FloatValue -> Bool (>=) :: FloatValue -> FloatValue -> Bool max :: FloatValue -> FloatValue -> FloatValue min :: FloatValue -> FloatValue -> FloatValue | |
| ToExp FloatValue Source # | |
Defined in Futhark.CodeGen.Backends.SimpleRep | |
| Pretty FloatValue Source # | |
Defined in Language.Futhark.Primitive | |
floatValue :: Real num => FloatType -> num -> FloatValue Source #
Create a FloatValue from a type and a Rational.
floatValueType :: FloatValue -> FloatType Source #
The type of a floating-point value.
Non-array values.
Constructors
| IntValue !IntValue | |
| FloatValue !FloatValue | |
| BoolValue !Bool | |
| UnitValue | The only value of type |
primValueType :: PrimValue -> PrimType Source #
The type of a basic value.
blankPrimValue :: PrimType -> PrimValue Source #
A "blank" value of the given primitive type - this is zero, or whatever is close to it. Don't depend on this value, but use it for e.g. creating arrays to be populated by do-loops.
onePrimValue :: PrimType -> PrimValue Source #
A one value of the given primitive type - this is one whatever is close to it.
Operations
What to do in case of arithmetic overflow. Futhark's semantics are that overflow does wraparound, but for generated code (like address arithmetic), it can be beneficial for overflow to be undefined behaviour, as it allows better optimisation of things such as GPU kernels.
Note that all values of this type are considered equal for Eq and
Ord.
Constructors
| OverflowWrap | |
| OverflowUndef |
Whether something is safe or unsafe (mostly function calls, and
in the context of whether operations are dynamically checked).
When we inline an Unsafe function, we remove all safety checks in
its body. The Ord instance picks Unsafe as being less than
Safe.
For operations like integer division, a safe division will not explode the computer in case of division by zero, but instead return some unspecified value. This always involves a run-time check, so generally the unsafe variant is what the compiler will insert, but guarded by an explicit assertion elsewhere. Safe operations are useful when the optimiser wants to move e.g. a division to a location where the divisor may be zero, but where the result will only be used when it is non-zero (so it doesn't matter what result is provided with a zero divisor, as long as the program keeps running).
Various unary operators. It is a bit ad-hoc what is a unary operator and what is a built-in function. Perhaps these should all go away eventually.
Constructors
| Neg PrimType | Flip sign. Logical negation for booleans. |
| Complement IntType | E.g., |
| Abs IntType |
|
| FAbs FloatType |
|
| SSignum IntType | Signed sign function: |
| USignum IntType | Unsigned sign function: |
| FSignum FloatType | Floating-point sign function. |
Binary operators. These correspond closely to the binary operators in LLVM. Most are parametrised by their expected input and output types.
Constructors
| Add IntType Overflow | Integer addition. |
| FAdd FloatType | Floating-point addition. |
| Sub IntType Overflow | Integer subtraction. |
| FSub FloatType | Floating-point subtraction. |
| Mul IntType Overflow | Integer multiplication. |
| FMul FloatType | Floating-point multiplication. |
| UDiv IntType Safety | Unsigned integer division. Rounds towards negativity infinity. Note: this is different from LLVM. |
| UDivUp IntType Safety | Unsigned integer division. Rounds towards positive infinity. |
| SDiv IntType Safety | Signed integer division. Rounds towards negativity infinity. Note: this is different from LLVM. |
| SDivUp IntType Safety | Signed integer division. Rounds towards positive infinity. |
| FDiv FloatType | Floating-point division. |
| FMod FloatType | Floating-point modulus. |
| UMod IntType Safety | Unsigned integer modulus; the countepart to |
| SMod IntType Safety | Signed integer modulus; the countepart to |
| SQuot IntType Safety | Signed integer division. Rounds towards zero. This
corresponds to the |
| SRem IntType Safety | Signed integer division. Rounds towards zero. This
corresponds to the |
| SMin IntType | Returns the smallest of two signed integers. |
| UMin IntType | Returns the smallest of two unsigned integers. |
| FMin FloatType | Returns the smallest of two floating-point numbers. |
| SMax IntType | Returns the greatest of two signed integers. |
| UMax IntType | Returns the greatest of two unsigned integers. |
| FMax FloatType | Returns the greatest of two floating-point numbers. |
| Shl IntType | Left-shift. |
| LShr IntType | Logical right-shift, zero-extended. |
| AShr IntType | Arithmetic right-shift, sign-extended. |
| And IntType | Bitwise and. |
| Or IntType | Bitwise or. |
| Xor IntType | Bitwise exclusive-or. |
| Pow IntType | Integer exponentiation. |
| FPow FloatType | Floating-point exponentiation. |
| LogAnd | Boolean and - not short-circuiting. |
| LogOr | Boolean or - not short-circuiting. |
Conversion operators try to generalise the from t0 x to t1
instructions from LLVM.
Constructors
| ZExt IntType IntType | Zero-extend the former integer type to the latter. If the new type is smaller, the result is a truncation. |
| SExt IntType IntType | Sign-extend the former integer type to the latter. If the new type is smaller, the result is a truncation. |
| FPConv FloatType FloatType | Convert value of the former floating-point type to the latter. If the new type is smaller, the result is a truncation. |
| FPToUI FloatType IntType | Convert a floating-point value to the nearest unsigned integer (rounding towards zero). |
| FPToSI FloatType IntType | Convert a floating-point value to the nearest signed integer (rounding towards zero). |
| UIToFP IntType FloatType | Convert an unsigned integer to a floating-point value. |
| SIToFP IntType FloatType | Convert a signed integer to a floating-point value. |
| FPToBits FloatType | Convert floating point number to its bitwise representation. |
| BitsToFP FloatType | Convert bitwise representation to a floating point number. |
| IToB IntType | Convert an integer to a boolean value. Zero becomes false; anything else is true. |
| BToI IntType | Convert a boolean to an integer. True is converted to 1 and False to 0. |
| FToB FloatType | Convert a float to a boolean value. Zero becomes false; | anything else is true. |
| BToF FloatType | Convert a boolean to a float. True is converted to 1 and False to 0. |
allConvOps :: [ConvOp] Source #
A list of all conversion operators for all types.
Comparison operators are like BinOps, but they always return a
boolean value. The somewhat ugly constructor names are straight
out of LLVM.
Constructors
| CmpEq PrimType | All types equality. |
| CmpUlt IntType | Unsigned less than. |
| CmpUle IntType | Unsigned less than or equal. |
| CmpSlt IntType | Signed less than. |
| CmpSle IntType | Signed less than or equal. |
| FCmpLt FloatType | Floating-point less than. |
| FCmpLe FloatType | Floating-point less than or equal. |
| CmpLlt | Boolean less than. |
| CmpLle | Boolean less than or equal. |
Unary Operations
doUnOp :: UnOp -> PrimValue -> Maybe PrimValue Source #
Apply an UnOp to an operand. Returns Nothing if the
application is mistyped.
doComplement :: IntValue -> IntValue Source #
E.g., ~(~1) = 1.
doFAbs :: FloatValue -> FloatValue Source #
abs(-2.0) = 2.0.
Binary Operations
doBinOp :: BinOp -> PrimValue -> PrimValue -> Maybe PrimValue Source #
Apply a BinOp to an operand. Returns Nothing if the
application is mistyped, or outside the domain (e.g. division by
zero).
doSDiv :: IntValue -> IntValue -> Maybe IntValue Source #
Signed integer division. Rounds towards negativity infinity. Note: this is different from LLVM.
doSMod :: IntValue -> IntValue -> Maybe IntValue Source #
Signed integer modulus; the countepart to SDiv.
Conversion Operations
doConvOp :: ConvOp -> PrimValue -> Maybe PrimValue Source #
Apply a ConvOp to an operand. Returns Nothing if the
application is mistyped.
doZExt :: IntValue -> IntType -> IntValue Source #
Zero-extend the given integer value to the size of the given type. If the type is smaller than the given value, the result is a truncation.
doSExt :: IntValue -> IntType -> IntValue Source #
Sign-extend the given integer value to the size of the given type. If the type is smaller than the given value, the result is a truncation.
doFPConv :: FloatValue -> FloatType -> FloatValue Source #
Convert the former floating-point type to the latter.
doFPToUI :: FloatValue -> IntType -> IntValue Source #
Convert a floating-point value to the nearest unsigned integer (rounding towards zero).
doFPToSI :: FloatValue -> IntType -> IntValue Source #
Convert a floating-point value to the nearest signed integer (rounding towards zero).
doUIToFP :: IntValue -> FloatType -> FloatValue Source #
Convert an unsigned integer to a floating-point value.
doSIToFP :: IntValue -> FloatType -> FloatValue Source #
Convert a signed integer to a floating-point value.
intToWord64 :: IntValue -> Word64 Source #
flipConvOp :: ConvOp -> ConvOp Source #
Turn the conversion the other way around. Note that most conversions are lossy, so there is no guarantee the value will round-trip.
Comparison Operations
doCmpOp :: CmpOp -> PrimValue -> PrimValue -> Maybe Bool Source #
Apply a CmpOp to an operand. Returns Nothing if the
application is mistyped.
doCmpEq :: PrimValue -> PrimValue -> Bool Source #
Compare any two primtive values for exact equality.
doFCmpLt :: FloatValue -> FloatValue -> Bool Source #
Floating-point less than.
doFCmpLe :: FloatValue -> FloatValue -> Bool Source #
Floating-point less than or equal.
Type Of
convOpType :: ConvOp -> (PrimType, PrimType) Source #
The input and output types of a conversion operator.
Primitive functions
primFuns :: Map Text ([PrimType], PrimType, [PrimValue] -> Maybe PrimValue) Source #
A mapping from names of primitive functions to their parameter types, their result type, and a function for evaluating them.
condFun :: PrimType -> Text Source #
condFun t is the name of the ternary conditional function that
accepts operands of type [Bool, t, t], and returns either the
first or second t based on the truth value of the Bool.
isCondFun :: Text -> Maybe PrimType Source #
Is this the name of a condition function as per condFun, and
for which type?
Utility
zeroIshInt :: IntValue -> Bool Source #
Is the given integer value kind of zero?
negativeIsh :: PrimValue -> Bool Source #
Is the given value kind of negative?
primBitSize :: PrimType -> Int Source #
The size of a value of a given primitive type in bits.
primByteSize :: Num a => PrimType -> a Source #
intByteSize :: Num a => IntType -> a Source #
The size of a value of a given integer type in eight-bit bytes.
floatByteSize :: Num a => FloatType -> a Source #
The size of a value of a given floating-point type in eight-bit bytes.
commutativeBinOp :: BinOp -> Bool Source #
True if the given binary operator is commutative.
associativeBinOp :: BinOp -> Bool Source #
True if the given binary operator is associative.
Prettyprinting
prettySigned :: Bool -> PrimType -> Text Source #
True if signed. Only makes a difference for integer types.