| Copyright | (c) The University of Glasgow 2002 |
|---|---|
| License | see libraries/base/LICENSE |
| Maintainer | ghc-devs@haskell.org |
| Stability | internal |
| Portability | non-portable (GHC Extensions) |
| Safe Haskell | None |
| Language | Haskell2010 |
GHC.Exts
Description
GHC Extensions: this is the Approved Way to get at GHC-specific extensions.
Note: no other base module should import this module.
Synopsis
- data Ptr a = Ptr Addr#
- data FunPtr a = FunPtr Addr#
- isTrue# :: Int# -> Bool
- pattern KindRepApp :: KindRep -> KindRep -> KindRep
- pattern KindRepFun :: KindRep -> KindRep -> KindRep
- pattern KindRepTYPE :: RuntimeRep -> KindRep
- pattern KindRepTyConApp :: TyCon -> [KindRep] -> KindRep
- pattern KindRepTypeLitD :: TypeLitSort -> [Char] -> KindRep
- pattern KindRepTypeLitS :: TypeLitSort -> Addr# -> KindRep
- pattern KindRepVar :: KindBndr -> KindRep
- type family MultMul (a :: Multiplicity) (b :: Multiplicity) :: Multiplicity where ...
- data Ordering
- data SPEC
- pattern TrNameD :: [Char] -> TrName
- pattern TrNameS :: Addr# -> TrName
- pattern TypeLitChar :: TypeLitSort
- pattern TypeLitNat :: TypeLitSort
- pattern TypeLitSymbol :: TypeLitSort
- type Void# = (# #)
- data CONSTRAINT (a :: RuntimeRep)
- data TYPE (a :: RuntimeRep)
- type family Any :: k where ...
- data Bool
- data Char = C# Char#
- class a ~R# b => Coercible (a :: k) (b :: k)
- type Constraint = CONSTRAINT LiftedRep
- data DictBox a = a => MkDictBox
- data Double = D# Double#
- data DoubleBox (a :: TYPE 'DoubleRep) = MkDoubleBox a
- data Float = F# Float#
- data FloatBox (a :: TYPE 'FloatRep) = MkFloatBox a
- data Int = I# Int#
- data IntBox (a :: TYPE 'IntRep) = MkIntBox a
- data Levity
- type LiftedRep = 'BoxedRep 'Lifted
- data List a
- data Multiplicity
- data RuntimeRep
- data Symbol
- type UnliftedRep = 'BoxedRep 'Unlifted
- type UnliftedType = TYPE UnliftedRep
- data VecCount
- data VecElem
- data Word = W# Word#
- data WordBox (a :: TYPE 'WordRep) = MkWordBox a
- type ZeroBitRep = 'TupleRep ('[] :: [RuntimeRep])
- type ZeroBitType = TYPE ZeroBitRep
- class a ~# b => (a :: k) ~ (b :: k)
- class a ~# b => (a :: k0) ~~ (b :: k1)
- module GHC.Internal.ArrayArray
- (*#) :: Int# -> Int# -> Int#
- (*##) :: Double# -> Double# -> Double#
- (**##) :: Double# -> Double# -> Double#
- (+#) :: Int# -> Int# -> Int#
- (+##) :: Double# -> Double# -> Double#
- (-#) :: Int# -> Int# -> Int#
- (-##) :: Double# -> Double# -> Double#
- (/##) :: Double# -> Double# -> Double#
- (/=#) :: Int# -> Int# -> Int#
- (/=##) :: Double# -> Double# -> Int#
- (<#) :: Int# -> Int# -> Int#
- (<##) :: Double# -> Double# -> Int#
- (<=#) :: Int# -> Int# -> Int#
- (<=##) :: Double# -> Double# -> Int#
- (==#) :: Int# -> Int# -> Int#
- (==##) :: Double# -> Double# -> Int#
- (>#) :: Int# -> Int# -> Int#
- (>##) :: Double# -> Double# -> Int#
- (>=#) :: Int# -> Int# -> Int#
- (>=##) :: Double# -> Double# -> Int#
- acosDouble# :: Double# -> Double#
- acosFloat# :: Float# -> Float#
- acoshDouble# :: Double# -> Double#
- acoshFloat# :: Float# -> Float#
- addCFinalizerToWeak# :: forall {k :: Levity} (b :: TYPE ('BoxedRep k)). Addr# -> Addr# -> Int# -> Addr# -> Weak# b -> State# RealWorld -> (# State# RealWorld, Int# #)
- addIntC# :: Int# -> Int# -> (# Int#, Int# #)
- addWordC# :: Word# -> Word# -> (# Word#, Int# #)
- addr2Int# :: Addr# -> Int#
- addrToAny# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). Addr# -> (# a #)
- and# :: Word# -> Word# -> Word#
- and64# :: Word64# -> Word64# -> Word64#
- andI# :: Int# -> Int# -> Int#
- andWord16# :: Word16# -> Word16# -> Word16#
- andWord32# :: Word32# -> Word32# -> Word32#
- andWord8# :: Word8# -> Word8# -> Word8#
- annotateStack# :: b -> (State# d -> (# State# d, a #)) -> State# d -> (# State# d, a #)
- anyToAddr# :: a -> State# RealWorld -> (# State# RealWorld, Addr# #)
- asinDouble# :: Double# -> Double#
- asinFloat# :: Float# -> Float#
- asinhDouble# :: Double# -> Double#
- asinhFloat# :: Float# -> Float#
- atanDouble# :: Double# -> Double#
- atanFloat# :: Float# -> Float#
- atanhDouble# :: Double# -> Double#
- atanhFloat# :: Float# -> Float#
- atomicCasAddrAddr# :: Addr# -> Addr# -> Addr# -> State# d -> (# State# d, Addr# #)
- atomicCasWord16Addr# :: Addr# -> Word16# -> Word16# -> State# d -> (# State# d, Word16# #)
- atomicCasWord32Addr# :: Addr# -> Word32# -> Word32# -> State# d -> (# State# d, Word32# #)
- atomicCasWord64Addr# :: Addr# -> Word64# -> Word64# -> State# d -> (# State# d, Word64# #)
- atomicCasWord8Addr# :: Addr# -> Word8# -> Word8# -> State# d -> (# State# d, Word8# #)
- atomicCasWordAddr# :: Addr# -> Word# -> Word# -> State# d -> (# State# d, Word# #)
- atomicExchangeAddrAddr# :: Addr# -> Addr# -> State# d -> (# State# d, Addr# #)
- atomicExchangeWordAddr# :: Addr# -> Word# -> State# d -> (# State# d, Word# #)
- atomicModifyMutVar2# :: MutVar# d a -> (a -> c) -> State# d -> (# State# d, a, c #)
- atomicModifyMutVar_# :: MutVar# d a -> (a -> a) -> State# d -> (# State# d, a, a #)
- atomicReadIntArray# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int# #)
- atomicReadWordAddr# :: Addr# -> State# d -> (# State# d, Word# #)
- atomicSwapMutVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutVar# d a -> a -> State# d -> (# State# d, a #)
- atomicWriteIntArray# :: MutableByteArray# d -> Int# -> Int# -> State# d -> State# d
- atomicWriteWordAddr# :: Addr# -> Word# -> State# d -> State# d
- atomically# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). (State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #)
- bitReverse# :: Word# -> Word#
- bitReverse16# :: Word# -> Word#
- bitReverse32# :: Word# -> Word#
- bitReverse64# :: Word64# -> Word64#
- bitReverse8# :: Word# -> Word#
- broadcastDoubleX2# :: Double# -> DoubleX2#
- broadcastDoubleX4# :: Double# -> DoubleX4#
- broadcastDoubleX8# :: Double# -> DoubleX8#
- broadcastFloatX16# :: Float# -> FloatX16#
- broadcastFloatX4# :: Float# -> FloatX4#
- broadcastFloatX8# :: Float# -> FloatX8#
- broadcastInt16X16# :: Int16# -> Int16X16#
- broadcastInt16X32# :: Int16# -> Int16X32#
- broadcastInt16X8# :: Int16# -> Int16X8#
- broadcastInt32X16# :: Int32# -> Int32X16#
- broadcastInt32X4# :: Int32# -> Int32X4#
- broadcastInt32X8# :: Int32# -> Int32X8#
- broadcastInt64X2# :: Int64# -> Int64X2#
- broadcastInt64X4# :: Int64# -> Int64X4#
- broadcastInt64X8# :: Int64# -> Int64X8#
- broadcastInt8X16# :: Int8# -> Int8X16#
- broadcastInt8X32# :: Int8# -> Int8X32#
- broadcastInt8X64# :: Int8# -> Int8X64#
- broadcastWord16X16# :: Word16# -> Word16X16#
- broadcastWord16X32# :: Word16# -> Word16X32#
- broadcastWord16X8# :: Word16# -> Word16X8#
- broadcastWord32X16# :: Word32# -> Word32X16#
- broadcastWord32X4# :: Word32# -> Word32X4#
- broadcastWord32X8# :: Word32# -> Word32X8#
- broadcastWord64X2# :: Word64# -> Word64X2#
- broadcastWord64X4# :: Word64# -> Word64X4#
- broadcastWord64X8# :: Word64# -> Word64X8#
- broadcastWord8X16# :: Word8# -> Word8X16#
- broadcastWord8X32# :: Word8# -> Word8X32#
- broadcastWord8X64# :: Word8# -> Word8X64#
- byteArrayContents# :: ByteArray# -> Addr#
- byteSwap# :: Word# -> Word#
- byteSwap16# :: Word# -> Word#
- byteSwap32# :: Word# -> Word#
- byteSwap64# :: Word64# -> Word64#
- casArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutableArray# d a -> Int# -> a -> a -> State# d -> (# State# d, Int#, a #)
- casInt16Array# :: MutableByteArray# d -> Int# -> Int16# -> Int16# -> State# d -> (# State# d, Int16# #)
- casInt32Array# :: MutableByteArray# d -> Int# -> Int32# -> Int32# -> State# d -> (# State# d, Int32# #)
- casInt64Array# :: MutableByteArray# d -> Int# -> Int64# -> Int64# -> State# d -> (# State# d, Int64# #)
- casInt8Array# :: MutableByteArray# d -> Int# -> Int8# -> Int8# -> State# d -> (# State# d, Int8# #)
- casIntArray# :: MutableByteArray# d -> Int# -> Int# -> Int# -> State# d -> (# State# d, Int# #)
- casMutVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutVar# d a -> a -> a -> State# d -> (# State# d, Int#, a #)
- casSmallArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). SmallMutableArray# d a -> Int# -> a -> a -> State# d -> (# State# d, Int#, a #)
- castDoubleToWord64# :: Double# -> Word64#
- castFloatToWord32# :: Float# -> Word32#
- castWord32ToFloat# :: Word32# -> Float#
- castWord64ToDouble# :: Word64# -> Double#
- catch# :: forall {k :: Levity} a (b :: TYPE ('BoxedRep k)). (State# RealWorld -> (# State# RealWorld, a #)) -> (b -> State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #)
- catchRetry# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). (State# RealWorld -> (# State# RealWorld, a #)) -> (State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #)
- catchSTM# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) b. (State# RealWorld -> (# State# RealWorld, a #)) -> (b -> State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #)
- chr# :: Int# -> Char#
- clearCCS# :: (State# d -> (# State# d, a #)) -> State# d -> (# State# d, a #)
- cloneArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). Array# a -> Int# -> Int# -> Array# a
- cloneMutableArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutableArray# d a -> Int# -> Int# -> State# d -> (# State# d, MutableArray# d a #)
- cloneSmallArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). SmallArray# a -> Int# -> Int# -> SmallArray# a
- cloneSmallMutableArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). SmallMutableArray# d a -> Int# -> Int# -> State# d -> (# State# d, SmallMutableArray# d a #)
- closureSize# :: a -> Int#
- clz# :: Word# -> Word#
- clz16# :: Word# -> Word#
- clz32# :: Word# -> Word#
- clz64# :: Word64# -> Word#
- clz8# :: Word# -> Word#
- compactAdd# :: Compact# -> a -> State# RealWorld -> (# State# RealWorld, a #)
- compactAddWithSharing# :: Compact# -> a -> State# RealWorld -> (# State# RealWorld, a #)
- compactAllocateBlock# :: Word# -> Addr# -> State# RealWorld -> (# State# RealWorld, Addr# #)
- compactContains# :: Compact# -> a -> State# RealWorld -> (# State# RealWorld, Int# #)
- compactContainsAny# :: a -> State# RealWorld -> (# State# RealWorld, Int# #)
- compactFixupPointers# :: Addr# -> Addr# -> State# RealWorld -> (# State# RealWorld, Compact#, Addr# #)
- compactGetFirstBlock# :: Compact# -> State# RealWorld -> (# State# RealWorld, Addr#, Word# #)
- compactGetNextBlock# :: Compact# -> Addr# -> State# RealWorld -> (# State# RealWorld, Addr#, Word# #)
- compactNew# :: Word# -> State# RealWorld -> (# State# RealWorld, Compact# #)
- compactResize# :: Compact# -> Word# -> State# RealWorld -> State# RealWorld
- compactSize# :: Compact# -> State# RealWorld -> (# State# RealWorld, Word# #)
- compareByteArrays# :: ByteArray# -> Int# -> ByteArray# -> Int# -> Int# -> Int#
- control0# :: PromptTag# a -> (((State# RealWorld -> (# State# RealWorld, b #)) -> State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, b #)
- copyAddrToAddr# :: Addr# -> Addr# -> Int# -> State# RealWorld -> State# RealWorld
- copyAddrToAddrNonOverlapping# :: Addr# -> Addr# -> Int# -> State# RealWorld -> State# RealWorld
- copyAddrToByteArray# :: Addr# -> MutableByteArray# d -> Int# -> Int# -> State# d -> State# d
- copyArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d. Array# a -> Int# -> MutableArray# d a -> Int# -> Int# -> State# d -> State# d
- copyByteArray# :: ByteArray# -> Int# -> MutableByteArray# d -> Int# -> Int# -> State# d -> State# d
- copyByteArrayToAddr# :: ByteArray# -> Int# -> Addr# -> Int# -> State# d -> State# d
- copyMutableArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutableArray# d a -> Int# -> MutableArray# d a -> Int# -> Int# -> State# d -> State# d
- copyMutableByteArray# :: MutableByteArray# d -> Int# -> MutableByteArray# d -> Int# -> Int# -> State# d -> State# d
- copyMutableByteArrayNonOverlapping# :: MutableByteArray# d -> Int# -> MutableByteArray# d -> Int# -> Int# -> State# d -> State# d
- copyMutableByteArrayToAddr# :: MutableByteArray# d -> Int# -> Addr# -> Int# -> State# d -> State# d
- copySmallArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d. SmallArray# a -> Int# -> SmallMutableArray# d a -> Int# -> Int# -> State# d -> State# d
- copySmallMutableArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). SmallMutableArray# d a -> Int# -> SmallMutableArray# d a -> Int# -> Int# -> State# d -> State# d
- cosDouble# :: Double# -> Double#
- cosFloat# :: Float# -> Float#
- coshDouble# :: Double# -> Double#
- coshFloat# :: Float# -> Float#
- ctz# :: Word# -> Word#
- ctz16# :: Word# -> Word#
- ctz32# :: Word# -> Word#
- ctz64# :: Word64# -> Word#
- ctz8# :: Word# -> Word#
- deRefStablePtr# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). StablePtr# a -> State# RealWorld -> (# State# RealWorld, a #)
- deRefWeak# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). Weak# a -> State# RealWorld -> (# State# RealWorld, Int#, a #)
- decodeDouble_2Int# :: Double# -> (# Int#, Word#, Word#, Int# #)
- decodeDouble_Int64# :: Double# -> (# Int64#, Int# #)
- decodeFloat_Int# :: Float# -> (# Int#, Int# #)
- delay# :: Int# -> State# d -> State# d
- divideDoubleX2# :: DoubleX2# -> DoubleX2# -> DoubleX2#
- divideDoubleX4# :: DoubleX4# -> DoubleX4# -> DoubleX4#
- divideDoubleX8# :: DoubleX8# -> DoubleX8# -> DoubleX8#
- divideFloat# :: Float# -> Float# -> Float#
- divideFloatX16# :: FloatX16# -> FloatX16# -> FloatX16#
- divideFloatX4# :: FloatX4# -> FloatX4# -> FloatX4#
- divideFloatX8# :: FloatX8# -> FloatX8# -> FloatX8#
- double2Float# :: Double# -> Float#
- double2Int# :: Double# -> Int#
- eqAddr# :: Addr# -> Addr# -> Int#
- eqChar# :: Char# -> Char# -> Int#
- eqFloat# :: Float# -> Float# -> Int#
- eqInt16# :: Int16# -> Int16# -> Int#
- eqInt32# :: Int32# -> Int32# -> Int#
- eqInt64# :: Int64# -> Int64# -> Int#
- eqInt8# :: Int8# -> Int8# -> Int#
- eqStablePtr# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). StablePtr# a -> StablePtr# a -> Int#
- eqWord# :: Word# -> Word# -> Int#
- eqWord16# :: Word16# -> Word16# -> Int#
- eqWord32# :: Word32# -> Word32# -> Int#
- eqWord64# :: Word64# -> Word64# -> Int#
- eqWord8# :: Word8# -> Word8# -> Int#
- expDouble# :: Double# -> Double#
- expFloat# :: Float# -> Float#
- expm1Double# :: Double# -> Double#
- expm1Float# :: Float# -> Float#
- fabsDouble# :: Double# -> Double#
- fabsFloat# :: Float# -> Float#
- fetchAddIntArray# :: MutableByteArray# d -> Int# -> Int# -> State# d -> (# State# d, Int# #)
- fetchAddWordAddr# :: Addr# -> Word# -> State# d -> (# State# d, Word# #)
- fetchAndIntArray# :: MutableByteArray# d -> Int# -> Int# -> State# d -> (# State# d, Int# #)
- fetchAndWordAddr# :: Addr# -> Word# -> State# d -> (# State# d, Word# #)
- fetchNandIntArray# :: MutableByteArray# d -> Int# -> Int# -> State# d -> (# State# d, Int# #)
- fetchNandWordAddr# :: Addr# -> Word# -> State# d -> (# State# d, Word# #)
- fetchOrIntArray# :: MutableByteArray# d -> Int# -> Int# -> State# d -> (# State# d, Int# #)
- fetchOrWordAddr# :: Addr# -> Word# -> State# d -> (# State# d, Word# #)
- fetchSubIntArray# :: MutableByteArray# d -> Int# -> Int# -> State# d -> (# State# d, Int# #)
- fetchSubWordAddr# :: Addr# -> Word# -> State# d -> (# State# d, Word# #)
- fetchXorIntArray# :: MutableByteArray# d -> Int# -> Int# -> State# d -> (# State# d, Int# #)
- fetchXorWordAddr# :: Addr# -> Word# -> State# d -> (# State# d, Word# #)
- finalizeWeak# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) b. Weak# a -> State# RealWorld -> (# State# RealWorld, Int#, State# RealWorld -> (# State# RealWorld, b #) #)
- float2Double# :: Float# -> Double#
- float2Int# :: Float# -> Int#
- fmaddDouble# :: Double# -> Double# -> Double# -> Double#
- fmaddFloat# :: Float# -> Float# -> Float# -> Float#
- fmsubDouble# :: Double# -> Double# -> Double# -> Double#
- fmsubFloat# :: Float# -> Float# -> Float# -> Float#
- fnmaddDouble# :: Double# -> Double# -> Double# -> Double#
- fnmaddFloat# :: Float# -> Float# -> Float# -> Float#
- fnmsubDouble# :: Double# -> Double# -> Double# -> Double#
- fnmsubFloat# :: Float# -> Float# -> Float# -> Float#
- fork# :: (State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, ThreadId# #)
- forkOn# :: Int# -> (State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, ThreadId# #)
- freezeArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutableArray# d a -> Int# -> Int# -> State# d -> (# State# d, Array# a #)
- freezeSmallArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). SmallMutableArray# d a -> Int# -> Int# -> State# d -> (# State# d, SmallArray# a #)
- geAddr# :: Addr# -> Addr# -> Int#
- geChar# :: Char# -> Char# -> Int#
- geFloat# :: Float# -> Float# -> Int#
- geInt16# :: Int16# -> Int16# -> Int#
- geInt32# :: Int32# -> Int32# -> Int#
- geInt64# :: Int64# -> Int64# -> Int#
- geInt8# :: Int8# -> Int8# -> Int#
- geWord# :: Word# -> Word# -> Int#
- geWord16# :: Word16# -> Word16# -> Int#
- geWord32# :: Word32# -> Word32# -> Int#
- geWord64# :: Word64# -> Word64# -> Int#
- geWord8# :: Word8# -> Word8# -> Int#
- getApStackVal# :: a -> Int# -> (# Int#, b #)
- getCCSOf# :: a -> State# d -> (# State# d, Addr# #)
- getCurrentCCS# :: a -> State# d -> (# State# d, Addr# #)
- getMaskingState# :: State# RealWorld -> (# State# RealWorld, Int# #)
- getSizeofMutableByteArray# :: MutableByteArray# d -> State# d -> (# State# d, Int# #)
- getSizeofSmallMutableArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). SmallMutableArray# d a -> State# d -> (# State# d, Int# #)
- getSpark# :: State# d -> (# State# d, Int#, a #)
- gtAddr# :: Addr# -> Addr# -> Int#
- gtChar# :: Char# -> Char# -> Int#
- gtFloat# :: Float# -> Float# -> Int#
- gtInt16# :: Int16# -> Int16# -> Int#
- gtInt32# :: Int32# -> Int32# -> Int#
- gtInt64# :: Int64# -> Int64# -> Int#
- gtInt8# :: Int8# -> Int8# -> Int#
- gtWord# :: Word# -> Word# -> Int#
- gtWord16# :: Word16# -> Word16# -> Int#
- gtWord32# :: Word32# -> Word32# -> Int#
- gtWord64# :: Word64# -> Word64# -> Int#
- gtWord8# :: Word8# -> Word8# -> Int#
- indexAddrArray# :: ByteArray# -> Int# -> Addr#
- indexAddrOffAddr# :: Addr# -> Int# -> Addr#
- indexArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). Array# a -> Int# -> (# a #)
- indexCharArray# :: ByteArray# -> Int# -> Char#
- indexCharOffAddr# :: Addr# -> Int# -> Char#
- indexDoubleArray# :: ByteArray# -> Int# -> Double#
- indexDoubleArrayAsDoubleX2# :: ByteArray# -> Int# -> DoubleX2#
- indexDoubleArrayAsDoubleX4# :: ByteArray# -> Int# -> DoubleX4#
- indexDoubleArrayAsDoubleX8# :: ByteArray# -> Int# -> DoubleX8#
- indexDoubleOffAddr# :: Addr# -> Int# -> Double#
- indexDoubleOffAddrAsDoubleX2# :: Addr# -> Int# -> DoubleX2#
- indexDoubleOffAddrAsDoubleX4# :: Addr# -> Int# -> DoubleX4#
- indexDoubleOffAddrAsDoubleX8# :: Addr# -> Int# -> DoubleX8#
- indexDoubleX2Array# :: ByteArray# -> Int# -> DoubleX2#
- indexDoubleX2OffAddr# :: Addr# -> Int# -> DoubleX2#
- indexDoubleX4Array# :: ByteArray# -> Int# -> DoubleX4#
- indexDoubleX4OffAddr# :: Addr# -> Int# -> DoubleX4#
- indexDoubleX8Array# :: ByteArray# -> Int# -> DoubleX8#
- indexDoubleX8OffAddr# :: Addr# -> Int# -> DoubleX8#
- indexFloatArray# :: ByteArray# -> Int# -> Float#
- indexFloatArrayAsFloatX16# :: ByteArray# -> Int# -> FloatX16#
- indexFloatArrayAsFloatX4# :: ByteArray# -> Int# -> FloatX4#
- indexFloatArrayAsFloatX8# :: ByteArray# -> Int# -> FloatX8#
- indexFloatOffAddr# :: Addr# -> Int# -> Float#
- indexFloatOffAddrAsFloatX16# :: Addr# -> Int# -> FloatX16#
- indexFloatOffAddrAsFloatX4# :: Addr# -> Int# -> FloatX4#
- indexFloatOffAddrAsFloatX8# :: Addr# -> Int# -> FloatX8#
- indexFloatX16Array# :: ByteArray# -> Int# -> FloatX16#
- indexFloatX16OffAddr# :: Addr# -> Int# -> FloatX16#
- indexFloatX4Array# :: ByteArray# -> Int# -> FloatX4#
- indexFloatX4OffAddr# :: Addr# -> Int# -> FloatX4#
- indexFloatX8Array# :: ByteArray# -> Int# -> FloatX8#
- indexFloatX8OffAddr# :: Addr# -> Int# -> FloatX8#
- indexInt16Array# :: ByteArray# -> Int# -> Int16#
- indexInt16ArrayAsInt16X16# :: ByteArray# -> Int# -> Int16X16#
- indexInt16ArrayAsInt16X32# :: ByteArray# -> Int# -> Int16X32#
- indexInt16ArrayAsInt16X8# :: ByteArray# -> Int# -> Int16X8#
- indexInt16OffAddr# :: Addr# -> Int# -> Int16#
- indexInt16OffAddrAsInt16X16# :: Addr# -> Int# -> Int16X16#
- indexInt16OffAddrAsInt16X32# :: Addr# -> Int# -> Int16X32#
- indexInt16OffAddrAsInt16X8# :: Addr# -> Int# -> Int16X8#
- indexInt16X16Array# :: ByteArray# -> Int# -> Int16X16#
- indexInt16X16OffAddr# :: Addr# -> Int# -> Int16X16#
- indexInt16X32Array# :: ByteArray# -> Int# -> Int16X32#
- indexInt16X32OffAddr# :: Addr# -> Int# -> Int16X32#
- indexInt16X8Array# :: ByteArray# -> Int# -> Int16X8#
- indexInt16X8OffAddr# :: Addr# -> Int# -> Int16X8#
- indexInt32Array# :: ByteArray# -> Int# -> Int32#
- indexInt32ArrayAsInt32X16# :: ByteArray# -> Int# -> Int32X16#
- indexInt32ArrayAsInt32X4# :: ByteArray# -> Int# -> Int32X4#
- indexInt32ArrayAsInt32X8# :: ByteArray# -> Int# -> Int32X8#
- indexInt32OffAddr# :: Addr# -> Int# -> Int32#
- indexInt32OffAddrAsInt32X16# :: Addr# -> Int# -> Int32X16#
- indexInt32OffAddrAsInt32X4# :: Addr# -> Int# -> Int32X4#
- indexInt32OffAddrAsInt32X8# :: Addr# -> Int# -> Int32X8#
- indexInt32X16Array# :: ByteArray# -> Int# -> Int32X16#
- indexInt32X16OffAddr# :: Addr# -> Int# -> Int32X16#
- indexInt32X4Array# :: ByteArray# -> Int# -> Int32X4#
- indexInt32X4OffAddr# :: Addr# -> Int# -> Int32X4#
- indexInt32X8Array# :: ByteArray# -> Int# -> Int32X8#
- indexInt32X8OffAddr# :: Addr# -> Int# -> Int32X8#
- indexInt64Array# :: ByteArray# -> Int# -> Int64#
- indexInt64ArrayAsInt64X2# :: ByteArray# -> Int# -> Int64X2#
- indexInt64ArrayAsInt64X4# :: ByteArray# -> Int# -> Int64X4#
- indexInt64ArrayAsInt64X8# :: ByteArray# -> Int# -> Int64X8#
- indexInt64OffAddr# :: Addr# -> Int# -> Int64#
- indexInt64OffAddrAsInt64X2# :: Addr# -> Int# -> Int64X2#
- indexInt64OffAddrAsInt64X4# :: Addr# -> Int# -> Int64X4#
- indexInt64OffAddrAsInt64X8# :: Addr# -> Int# -> Int64X8#
- indexInt64X2Array# :: ByteArray# -> Int# -> Int64X2#
- indexInt64X2OffAddr# :: Addr# -> Int# -> Int64X2#
- indexInt64X4Array# :: ByteArray# -> Int# -> Int64X4#
- indexInt64X4OffAddr# :: Addr# -> Int# -> Int64X4#
- indexInt64X8Array# :: ByteArray# -> Int# -> Int64X8#
- indexInt64X8OffAddr# :: Addr# -> Int# -> Int64X8#
- indexInt8Array# :: ByteArray# -> Int# -> Int8#
- indexInt8ArrayAsInt8X16# :: ByteArray# -> Int# -> Int8X16#
- indexInt8ArrayAsInt8X32# :: ByteArray# -> Int# -> Int8X32#
- indexInt8ArrayAsInt8X64# :: ByteArray# -> Int# -> Int8X64#
- indexInt8OffAddr# :: Addr# -> Int# -> Int8#
- indexInt8OffAddrAsInt8X16# :: Addr# -> Int# -> Int8X16#
- indexInt8OffAddrAsInt8X32# :: Addr# -> Int# -> Int8X32#
- indexInt8OffAddrAsInt8X64# :: Addr# -> Int# -> Int8X64#
- indexInt8X16Array# :: ByteArray# -> Int# -> Int8X16#
- indexInt8X16OffAddr# :: Addr# -> Int# -> Int8X16#
- indexInt8X32Array# :: ByteArray# -> Int# -> Int8X32#
- indexInt8X32OffAddr# :: Addr# -> Int# -> Int8X32#
- indexInt8X64Array# :: ByteArray# -> Int# -> Int8X64#
- indexInt8X64OffAddr# :: Addr# -> Int# -> Int8X64#
- indexIntArray# :: ByteArray# -> Int# -> Int#
- indexIntOffAddr# :: Addr# -> Int# -> Int#
- indexSmallArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). SmallArray# a -> Int# -> (# a #)
- indexStablePtrArray# :: ByteArray# -> Int# -> StablePtr# a
- indexStablePtrOffAddr# :: Addr# -> Int# -> StablePtr# a
- indexWideCharArray# :: ByteArray# -> Int# -> Char#
- indexWideCharOffAddr# :: Addr# -> Int# -> Char#
- indexWord16Array# :: ByteArray# -> Int# -> Word16#
- indexWord16ArrayAsWord16X16# :: ByteArray# -> Int# -> Word16X16#
- indexWord16ArrayAsWord16X32# :: ByteArray# -> Int# -> Word16X32#
- indexWord16ArrayAsWord16X8# :: ByteArray# -> Int# -> Word16X8#
- indexWord16OffAddr# :: Addr# -> Int# -> Word16#
- indexWord16OffAddrAsWord16X16# :: Addr# -> Int# -> Word16X16#
- indexWord16OffAddrAsWord16X32# :: Addr# -> Int# -> Word16X32#
- indexWord16OffAddrAsWord16X8# :: Addr# -> Int# -> Word16X8#
- indexWord16X16Array# :: ByteArray# -> Int# -> Word16X16#
- indexWord16X16OffAddr# :: Addr# -> Int# -> Word16X16#
- indexWord16X32Array# :: ByteArray# -> Int# -> Word16X32#
- indexWord16X32OffAddr# :: Addr# -> Int# -> Word16X32#
- indexWord16X8Array# :: ByteArray# -> Int# -> Word16X8#
- indexWord16X8OffAddr# :: Addr# -> Int# -> Word16X8#
- indexWord32Array# :: ByteArray# -> Int# -> Word32#
- indexWord32ArrayAsWord32X16# :: ByteArray# -> Int# -> Word32X16#
- indexWord32ArrayAsWord32X4# :: ByteArray# -> Int# -> Word32X4#
- indexWord32ArrayAsWord32X8# :: ByteArray# -> Int# -> Word32X8#
- indexWord32OffAddr# :: Addr# -> Int# -> Word32#
- indexWord32OffAddrAsWord32X16# :: Addr# -> Int# -> Word32X16#
- indexWord32OffAddrAsWord32X4# :: Addr# -> Int# -> Word32X4#
- indexWord32OffAddrAsWord32X8# :: Addr# -> Int# -> Word32X8#
- indexWord32X16Array# :: ByteArray# -> Int# -> Word32X16#
- indexWord32X16OffAddr# :: Addr# -> Int# -> Word32X16#
- indexWord32X4Array# :: ByteArray# -> Int# -> Word32X4#
- indexWord32X4OffAddr# :: Addr# -> Int# -> Word32X4#
- indexWord32X8Array# :: ByteArray# -> Int# -> Word32X8#
- indexWord32X8OffAddr# :: Addr# -> Int# -> Word32X8#
- indexWord64Array# :: ByteArray# -> Int# -> Word64#
- indexWord64ArrayAsWord64X2# :: ByteArray# -> Int# -> Word64X2#
- indexWord64ArrayAsWord64X4# :: ByteArray# -> Int# -> Word64X4#
- indexWord64ArrayAsWord64X8# :: ByteArray# -> Int# -> Word64X8#
- indexWord64OffAddr# :: Addr# -> Int# -> Word64#
- indexWord64OffAddrAsWord64X2# :: Addr# -> Int# -> Word64X2#
- indexWord64OffAddrAsWord64X4# :: Addr# -> Int# -> Word64X4#
- indexWord64OffAddrAsWord64X8# :: Addr# -> Int# -> Word64X8#
- indexWord64X2Array# :: ByteArray# -> Int# -> Word64X2#
- indexWord64X2OffAddr# :: Addr# -> Int# -> Word64X2#
- indexWord64X4Array# :: ByteArray# -> Int# -> Word64X4#
- indexWord64X4OffAddr# :: Addr# -> Int# -> Word64X4#
- indexWord64X8Array# :: ByteArray# -> Int# -> Word64X8#
- indexWord64X8OffAddr# :: Addr# -> Int# -> Word64X8#
- indexWord8Array# :: ByteArray# -> Int# -> Word8#
- indexWord8ArrayAsAddr# :: ByteArray# -> Int# -> Addr#
- indexWord8ArrayAsChar# :: ByteArray# -> Int# -> Char#
- indexWord8ArrayAsDouble# :: ByteArray# -> Int# -> Double#
- indexWord8ArrayAsFloat# :: ByteArray# -> Int# -> Float#
- indexWord8ArrayAsInt# :: ByteArray# -> Int# -> Int#
- indexWord8ArrayAsInt16# :: ByteArray# -> Int# -> Int16#
- indexWord8ArrayAsInt32# :: ByteArray# -> Int# -> Int32#
- indexWord8ArrayAsInt64# :: ByteArray# -> Int# -> Int64#
- indexWord8ArrayAsStablePtr# :: ByteArray# -> Int# -> StablePtr# a
- indexWord8ArrayAsWideChar# :: ByteArray# -> Int# -> Char#
- indexWord8ArrayAsWord# :: ByteArray# -> Int# -> Word#
- indexWord8ArrayAsWord16# :: ByteArray# -> Int# -> Word16#
- indexWord8ArrayAsWord32# :: ByteArray# -> Int# -> Word32#
- indexWord8ArrayAsWord64# :: ByteArray# -> Int# -> Word64#
- indexWord8ArrayAsWord8X16# :: ByteArray# -> Int# -> Word8X16#
- indexWord8ArrayAsWord8X32# :: ByteArray# -> Int# -> Word8X32#
- indexWord8ArrayAsWord8X64# :: ByteArray# -> Int# -> Word8X64#
- indexWord8OffAddr# :: Addr# -> Int# -> Word8#
- indexWord8OffAddrAsAddr# :: Addr# -> Int# -> Addr#
- indexWord8OffAddrAsChar# :: Addr# -> Int# -> Char#
- indexWord8OffAddrAsDouble# :: Addr# -> Int# -> Double#
- indexWord8OffAddrAsFloat# :: Addr# -> Int# -> Float#
- indexWord8OffAddrAsInt# :: Addr# -> Int# -> Int#
- indexWord8OffAddrAsInt16# :: Addr# -> Int# -> Int16#
- indexWord8OffAddrAsInt32# :: Addr# -> Int# -> Int32#
- indexWord8OffAddrAsInt64# :: Addr# -> Int# -> Int64#
- indexWord8OffAddrAsStablePtr# :: Addr# -> Int# -> StablePtr# a
- indexWord8OffAddrAsWideChar# :: Addr# -> Int# -> Char#
- indexWord8OffAddrAsWord# :: Addr# -> Int# -> Word#
- indexWord8OffAddrAsWord16# :: Addr# -> Int# -> Word16#
- indexWord8OffAddrAsWord32# :: Addr# -> Int# -> Word32#
- indexWord8OffAddrAsWord64# :: Addr# -> Int# -> Word64#
- indexWord8OffAddrAsWord8X16# :: Addr# -> Int# -> Word8X16#
- indexWord8OffAddrAsWord8X32# :: Addr# -> Int# -> Word8X32#
- indexWord8OffAddrAsWord8X64# :: Addr# -> Int# -> Word8X64#
- indexWord8X16Array# :: ByteArray# -> Int# -> Word8X16#
- indexWord8X16OffAddr# :: Addr# -> Int# -> Word8X16#
- indexWord8X32Array# :: ByteArray# -> Int# -> Word8X32#
- indexWord8X32OffAddr# :: Addr# -> Int# -> Word8X32#
- indexWord8X64Array# :: ByteArray# -> Int# -> Word8X64#
- indexWord8X64OffAddr# :: Addr# -> Int# -> Word8X64#
- indexWordArray# :: ByteArray# -> Int# -> Word#
- indexWordOffAddr# :: Addr# -> Int# -> Word#
- insertDoubleX2# :: DoubleX2# -> Double# -> Int# -> DoubleX2#
- insertDoubleX4# :: DoubleX4# -> Double# -> Int# -> DoubleX4#
- insertDoubleX8# :: DoubleX8# -> Double# -> Int# -> DoubleX8#
- insertFloatX16# :: FloatX16# -> Float# -> Int# -> FloatX16#
- insertFloatX4# :: FloatX4# -> Float# -> Int# -> FloatX4#
- insertFloatX8# :: FloatX8# -> Float# -> Int# -> FloatX8#
- insertInt16X16# :: Int16X16# -> Int16# -> Int# -> Int16X16#
- insertInt16X32# :: Int16X32# -> Int16# -> Int# -> Int16X32#
- insertInt16X8# :: Int16X8# -> Int16# -> Int# -> Int16X8#
- insertInt32X16# :: Int32X16# -> Int32# -> Int# -> Int32X16#
- insertInt32X4# :: Int32X4# -> Int32# -> Int# -> Int32X4#
- insertInt32X8# :: Int32X8# -> Int32# -> Int# -> Int32X8#
- insertInt64X2# :: Int64X2# -> Int64# -> Int# -> Int64X2#
- insertInt64X4# :: Int64X4# -> Int64# -> Int# -> Int64X4#
- insertInt64X8# :: Int64X8# -> Int64# -> Int# -> Int64X8#
- insertInt8X16# :: Int8X16# -> Int8# -> Int# -> Int8X16#
- insertInt8X32# :: Int8X32# -> Int8# -> Int# -> Int8X32#
- insertInt8X64# :: Int8X64# -> Int8# -> Int# -> Int8X64#
- insertWord16X16# :: Word16X16# -> Word16# -> Int# -> Word16X16#
- insertWord16X32# :: Word16X32# -> Word16# -> Int# -> Word16X32#
- insertWord16X8# :: Word16X8# -> Word16# -> Int# -> Word16X8#
- insertWord32X16# :: Word32X16# -> Word32# -> Int# -> Word32X16#
- insertWord32X4# :: Word32X4# -> Word32# -> Int# -> Word32X4#
- insertWord32X8# :: Word32X8# -> Word32# -> Int# -> Word32X8#
- insertWord64X2# :: Word64X2# -> Word64# -> Int# -> Word64X2#
- insertWord64X4# :: Word64X4# -> Word64# -> Int# -> Word64X4#
- insertWord64X8# :: Word64X8# -> Word64# -> Int# -> Word64X8#
- insertWord8X16# :: Word8X16# -> Word8# -> Int# -> Word8X16#
- insertWord8X32# :: Word8X32# -> Word8# -> Int# -> Word8X32#
- insertWord8X64# :: Word8X64# -> Word8# -> Int# -> Word8X64#
- int16ToInt# :: Int16# -> Int#
- int16ToWord16# :: Int16# -> Word16#
- int2Addr# :: Int# -> Addr#
- int2Double# :: Int# -> Double#
- int2Float# :: Int# -> Float#
- int2Word# :: Int# -> Word#
- int32ToInt# :: Int32# -> Int#
- int32ToWord32# :: Int32# -> Word32#
- int64ToInt# :: Int64# -> Int#
- int64ToWord64# :: Int64# -> Word64#
- int8ToInt# :: Int8# -> Int#
- int8ToWord8# :: Int8# -> Word8#
- intToInt16# :: Int# -> Int16#
- intToInt32# :: Int# -> Int32#
- intToInt64# :: Int# -> Int64#
- intToInt8# :: Int# -> Int8#
- isByteArrayPinned# :: ByteArray# -> Int#
- isCurrentThreadBound# :: State# RealWorld -> (# State# RealWorld, Int# #)
- isEmptyMVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MVar# d a -> State# d -> (# State# d, Int# #)
- isMutableByteArrayPinned# :: MutableByteArray# d -> Int#
- keepAlive# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d b. a -> State# d -> (State# d -> b) -> b
- killThread# :: ThreadId# -> a -> State# RealWorld -> State# RealWorld
- labelThread# :: ThreadId# -> ByteArray# -> State# RealWorld -> State# RealWorld
- leAddr# :: Addr# -> Addr# -> Int#
- leChar# :: Char# -> Char# -> Int#
- leFloat# :: Float# -> Float# -> Int#
- leInt16# :: Int16# -> Int16# -> Int#
- leInt32# :: Int32# -> Int32# -> Int#
- leInt64# :: Int64# -> Int64# -> Int#
- leInt8# :: Int8# -> Int8# -> Int#
- leWord# :: Word# -> Word# -> Int#
- leWord16# :: Word16# -> Word16# -> Int#
- leWord32# :: Word32# -> Word32# -> Int#
- leWord64# :: Word64# -> Word64# -> Int#
- leWord8# :: Word8# -> Word8# -> Int#
- leftSection :: forall {n :: Multiplicity} a b. (a %n -> b) -> a %n -> b
- listThreads# :: State# RealWorld -> (# State# RealWorld, Array# ThreadId# #)
- log1pDouble# :: Double# -> Double#
- log1pFloat# :: Float# -> Float#
- logDouble# :: Double# -> Double#
- logFloat# :: Float# -> Float#
- ltAddr# :: Addr# -> Addr# -> Int#
- ltChar# :: Char# -> Char# -> Int#
- ltFloat# :: Float# -> Float# -> Int#
- ltInt16# :: Int16# -> Int16# -> Int#
- ltInt32# :: Int32# -> Int32# -> Int#
- ltInt64# :: Int64# -> Int64# -> Int#
- ltInt8# :: Int8# -> Int8# -> Int#
- ltWord# :: Word# -> Word# -> Int#
- ltWord16# :: Word16# -> Word16# -> Int#
- ltWord32# :: Word32# -> Word32# -> Int#
- ltWord64# :: Word64# -> Word64# -> Int#
- ltWord8# :: Word8# -> Word8# -> Int#
- makeStableName# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). a -> State# RealWorld -> (# State# RealWorld, StableName# a #)
- makeStablePtr# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). a -> State# RealWorld -> (# State# RealWorld, StablePtr# a #)
- maskAsyncExceptions# :: (State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #)
- maskUninterruptible# :: (State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #)
- minusAddr# :: Addr# -> Addr# -> Int#
- minusDoubleX2# :: DoubleX2# -> DoubleX2# -> DoubleX2#
- minusDoubleX4# :: DoubleX4# -> DoubleX4# -> DoubleX4#
- minusDoubleX8# :: DoubleX8# -> DoubleX8# -> DoubleX8#
- minusFloat# :: Float# -> Float# -> Float#
- minusFloatX16# :: FloatX16# -> FloatX16# -> FloatX16#
- minusFloatX4# :: FloatX4# -> FloatX4# -> FloatX4#
- minusFloatX8# :: FloatX8# -> FloatX8# -> FloatX8#
- minusInt16X16# :: Int16X16# -> Int16X16# -> Int16X16#
- minusInt16X32# :: Int16X32# -> Int16X32# -> Int16X32#
- minusInt16X8# :: Int16X8# -> Int16X8# -> Int16X8#
- minusInt32X16# :: Int32X16# -> Int32X16# -> Int32X16#
- minusInt32X4# :: Int32X4# -> Int32X4# -> Int32X4#
- minusInt32X8# :: Int32X8# -> Int32X8# -> Int32X8#
- minusInt64X2# :: Int64X2# -> Int64X2# -> Int64X2#
- minusInt64X4# :: Int64X4# -> Int64X4# -> Int64X4#
- minusInt64X8# :: Int64X8# -> Int64X8# -> Int64X8#
- minusInt8X16# :: Int8X16# -> Int8X16# -> Int8X16#
- minusInt8X32# :: Int8X32# -> Int8X32# -> Int8X32#
- minusInt8X64# :: Int8X64# -> Int8X64# -> Int8X64#
- minusWord# :: Word# -> Word# -> Word#
- minusWord16X16# :: Word16X16# -> Word16X16# -> Word16X16#
- minusWord16X32# :: Word16X32# -> Word16X32# -> Word16X32#
- minusWord16X8# :: Word16X8# -> Word16X8# -> Word16X8#
- minusWord32X16# :: Word32X16# -> Word32X16# -> Word32X16#
- minusWord32X4# :: Word32X4# -> Word32X4# -> Word32X4#
- minusWord32X8# :: Word32X8# -> Word32X8# -> Word32X8#
- minusWord64X2# :: Word64X2# -> Word64X2# -> Word64X2#
- minusWord64X4# :: Word64X4# -> Word64X4# -> Word64X4#
- minusWord64X8# :: Word64X8# -> Word64X8# -> Word64X8#
- minusWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
- minusWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
- minusWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
- mkApUpd0# :: BCO -> (# a #)
- mkWeak# :: forall {l :: Levity} {k :: Levity} (a :: TYPE ('BoxedRep l)) (b :: TYPE ('BoxedRep k)) c. a -> b -> (State# RealWorld -> (# State# RealWorld, c #)) -> State# RealWorld -> (# State# RealWorld, Weak# b #)
- mkWeakNoFinalizer# :: forall {l :: Levity} {k :: Levity} (a :: TYPE ('BoxedRep l)) (b :: TYPE ('BoxedRep k)). a -> b -> State# RealWorld -> (# State# RealWorld, Weak# b #)
- mulIntMayOflo# :: Int# -> Int# -> Int#
- mutableByteArrayContents# :: MutableByteArray# d -> Addr#
- myThreadId# :: State# RealWorld -> (# State# RealWorld, ThreadId# #)
- narrow16Int# :: Int# -> Int#
- narrow16Word# :: Word# -> Word#
- narrow32Int# :: Int# -> Int#
- narrow32Word# :: Word# -> Word#
- narrow8Int# :: Int# -> Int#
- narrow8Word# :: Word# -> Word#
- neAddr# :: Addr# -> Addr# -> Int#
- neChar# :: Char# -> Char# -> Int#
- neFloat# :: Float# -> Float# -> Int#
- neInt16# :: Int16# -> Int16# -> Int#
- neInt32# :: Int32# -> Int32# -> Int#
- neInt64# :: Int64# -> Int64# -> Int#
- neInt8# :: Int8# -> Int8# -> Int#
- neWord# :: Word# -> Word# -> Int#
- neWord16# :: Word16# -> Word16# -> Int#
- neWord32# :: Word32# -> Word32# -> Int#
- neWord64# :: Word64# -> Word64# -> Int#
- neWord8# :: Word8# -> Word8# -> Int#
- negateDouble# :: Double# -> Double#
- negateDoubleX2# :: DoubleX2# -> DoubleX2#
- negateDoubleX4# :: DoubleX4# -> DoubleX4#
- negateDoubleX8# :: DoubleX8# -> DoubleX8#
- negateFloat# :: Float# -> Float#
- negateFloatX16# :: FloatX16# -> FloatX16#
- negateFloatX4# :: FloatX4# -> FloatX4#
- negateFloatX8# :: FloatX8# -> FloatX8#
- negateInt# :: Int# -> Int#
- negateInt16# :: Int16# -> Int16#
- negateInt16X16# :: Int16X16# -> Int16X16#
- negateInt16X32# :: Int16X32# -> Int16X32#
- negateInt16X8# :: Int16X8# -> Int16X8#
- negateInt32# :: Int32# -> Int32#
- negateInt32X16# :: Int32X16# -> Int32X16#
- negateInt32X4# :: Int32X4# -> Int32X4#
- negateInt32X8# :: Int32X8# -> Int32X8#
- negateInt64# :: Int64# -> Int64#
- negateInt64X2# :: Int64X2# -> Int64X2#
- negateInt64X4# :: Int64X4# -> Int64X4#
- negateInt64X8# :: Int64X8# -> Int64X8#
- negateInt8# :: Int8# -> Int8#
- negateInt8X16# :: Int8X16# -> Int8X16#
- negateInt8X32# :: Int8X32# -> Int8X32#
- negateInt8X64# :: Int8X64# -> Int8X64#
- newAlignedPinnedByteArray# :: Int# -> Int# -> State# d -> (# State# d, MutableByteArray# d #)
- newArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d. Int# -> a -> State# d -> (# State# d, MutableArray# d a #)
- newBCO# :: ByteArray# -> ByteArray# -> Array# a -> Int# -> ByteArray# -> State# d -> (# State# d, BCO #)
- newByteArray# :: Int# -> State# d -> (# State# d, MutableByteArray# d #)
- newMVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). State# d -> (# State# d, MVar# d a #)
- newMutVar# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d. a -> State# d -> (# State# d, MutVar# d a #)
- newPinnedByteArray# :: Int# -> State# d -> (# State# d, MutableByteArray# d #)
- newPromptTag# :: State# RealWorld -> (# State# RealWorld, PromptTag# a #)
- newSmallArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d. Int# -> a -> State# d -> (# State# d, SmallMutableArray# d a #)
- newTVar# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d. a -> State# d -> (# State# d, TVar# d a #)
- noDuplicate# :: State# d -> State# d
- not# :: Word# -> Word#
- not64# :: Word64# -> Word64#
- notI# :: Int# -> Int#
- notWord16# :: Word16# -> Word16#
- notWord32# :: Word32# -> Word32#
- notWord8# :: Word8# -> Word8#
- nullAddr# :: Addr#
- numSparks# :: State# d -> (# State# d, Int# #)
- or# :: Word# -> Word# -> Word#
- or64# :: Word64# -> Word64# -> Word64#
- orI# :: Int# -> Int# -> Int#
- orWord16# :: Word16# -> Word16# -> Word16#
- orWord32# :: Word32# -> Word32# -> Word32#
- orWord8# :: Word8# -> Word8# -> Word8#
- ord# :: Char# -> Int#
- packDoubleX2# :: (# Double#, Double# #) -> DoubleX2#
- packDoubleX4# :: (# Double#, Double#, Double#, Double# #) -> DoubleX4#
- packDoubleX8# :: (# Double#, Double#, Double#, Double#, Double#, Double#, Double#, Double# #) -> DoubleX8#
- packFloatX16# :: (# Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float# #) -> FloatX16#
- packFloatX4# :: (# Float#, Float#, Float#, Float# #) -> FloatX4#
- packFloatX8# :: (# Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float# #) -> FloatX8#
- packInt16X16# :: (# Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16# #) -> Int16X16#
- packInt16X32# :: (# Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16# #) -> Int16X32#
- packInt16X8# :: (# Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16# #) -> Int16X8#
- packInt32X16# :: (# Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32# #) -> Int32X16#
- packInt32X4# :: (# Int32#, Int32#, Int32#, Int32# #) -> Int32X4#
- packInt32X8# :: (# Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32# #) -> Int32X8#
- packInt64X2# :: (# Int64#, Int64# #) -> Int64X2#
- packInt64X4# :: (# Int64#, Int64#, Int64#, Int64# #) -> Int64X4#
- packInt64X8# :: (# Int64#, Int64#, Int64#, Int64#, Int64#, Int64#, Int64#, Int64# #) -> Int64X8#
- packInt8X16# :: (# Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8# #) -> Int8X16#
- packInt8X32# :: (# Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8# #) -> Int8X32#
- packInt8X64# :: (# Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8# #) -> Int8X64#
- packWord16X16# :: (# Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16# #) -> Word16X16#
- packWord16X32# :: (# Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16# #) -> Word16X32#
- packWord16X8# :: (# Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16# #) -> Word16X8#
- packWord32X16# :: (# Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32# #) -> Word32X16#
- packWord32X4# :: (# Word32#, Word32#, Word32#, Word32# #) -> Word32X4#
- packWord32X8# :: (# Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32# #) -> Word32X8#
- packWord64X2# :: (# Word64#, Word64# #) -> Word64X2#
- packWord64X4# :: (# Word64#, Word64#, Word64#, Word64# #) -> Word64X4#
- packWord64X8# :: (# Word64#, Word64#, Word64#, Word64#, Word64#, Word64#, Word64#, Word64# #) -> Word64X8#
- packWord8X16# :: (# Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8# #) -> Word8X16#
- packWord8X32# :: (# Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8# #) -> Word8X32#
- packWord8X64# :: (# Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8# #) -> Word8X64#
- par# :: a -> Int#
- pdep# :: Word# -> Word# -> Word#
- pdep16# :: Word# -> Word# -> Word#
- pdep32# :: Word# -> Word# -> Word#
- pdep64# :: Word64# -> Word64# -> Word64#
- pdep8# :: Word# -> Word# -> Word#
- pext# :: Word# -> Word# -> Word#
- pext16# :: Word# -> Word# -> Word#
- pext32# :: Word# -> Word# -> Word#
- pext64# :: Word64# -> Word64# -> Word64#
- pext8# :: Word# -> Word# -> Word#
- plusAddr# :: Addr# -> Int# -> Addr#
- plusDoubleX2# :: DoubleX2# -> DoubleX2# -> DoubleX2#
- plusDoubleX4# :: DoubleX4# -> DoubleX4# -> DoubleX4#
- plusDoubleX8# :: DoubleX8# -> DoubleX8# -> DoubleX8#
- plusFloat# :: Float# -> Float# -> Float#
- plusFloatX16# :: FloatX16# -> FloatX16# -> FloatX16#
- plusFloatX4# :: FloatX4# -> FloatX4# -> FloatX4#
- plusFloatX8# :: FloatX8# -> FloatX8# -> FloatX8#
- plusInt16# :: Int16# -> Int16# -> Int16#
- plusInt16X16# :: Int16X16# -> Int16X16# -> Int16X16#
- plusInt16X32# :: Int16X32# -> Int16X32# -> Int16X32#
- plusInt16X8# :: Int16X8# -> Int16X8# -> Int16X8#
- plusInt32# :: Int32# -> Int32# -> Int32#
- plusInt32X16# :: Int32X16# -> Int32X16# -> Int32X16#
- plusInt32X4# :: Int32X4# -> Int32X4# -> Int32X4#
- plusInt32X8# :: Int32X8# -> Int32X8# -> Int32X8#
- plusInt64# :: Int64# -> Int64# -> Int64#
- plusInt64X2# :: Int64X2# -> Int64X2# -> Int64X2#
- plusInt64X4# :: Int64X4# -> Int64X4# -> Int64X4#
- plusInt64X8# :: Int64X8# -> Int64X8# -> Int64X8#
- plusInt8# :: Int8# -> Int8# -> Int8#
- plusInt8X16# :: Int8X16# -> Int8X16# -> Int8X16#
- plusInt8X32# :: Int8X32# -> Int8X32# -> Int8X32#
- plusInt8X64# :: Int8X64# -> Int8X64# -> Int8X64#
- plusWord# :: Word# -> Word# -> Word#
- plusWord16# :: Word16# -> Word16# -> Word16#
- plusWord16X16# :: Word16X16# -> Word16X16# -> Word16X16#
- plusWord16X32# :: Word16X32# -> Word16X32# -> Word16X32#
- plusWord16X8# :: Word16X8# -> Word16X8# -> Word16X8#
- plusWord2# :: Word# -> Word# -> (# Word#, Word# #)
- plusWord32# :: Word32# -> Word32# -> Word32#
- plusWord32X16# :: Word32X16# -> Word32X16# -> Word32X16#
- plusWord32X4# :: Word32X4# -> Word32X4# -> Word32X4#
- plusWord32X8# :: Word32X8# -> Word32X8# -> Word32X8#
- plusWord64# :: Word64# -> Word64# -> Word64#
- plusWord64X2# :: Word64X2# -> Word64X2# -> Word64X2#
- plusWord64X4# :: Word64X4# -> Word64X4# -> Word64X4#
- plusWord64X8# :: Word64X8# -> Word64X8# -> Word64X8#
- plusWord8# :: Word8# -> Word8# -> Word8#
- plusWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
- plusWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
- plusWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
- popCnt# :: Word# -> Word#
- popCnt16# :: Word# -> Word#
- popCnt32# :: Word# -> Word#
- popCnt64# :: Word64# -> Word#
- popCnt8# :: Word# -> Word#
- powerFloat# :: Float# -> Float# -> Float#
- prefetchAddr0# :: Addr# -> Int# -> State# d -> State# d
- prefetchAddr1# :: Addr# -> Int# -> State# d -> State# d
- prefetchAddr2# :: Addr# -> Int# -> State# d -> State# d
- prefetchAddr3# :: Addr# -> Int# -> State# d -> State# d
- prefetchByteArray0# :: ByteArray# -> Int# -> State# d -> State# d
- prefetchByteArray1# :: ByteArray# -> Int# -> State# d -> State# d
- prefetchByteArray2# :: ByteArray# -> Int# -> State# d -> State# d
- prefetchByteArray3# :: ByteArray# -> Int# -> State# d -> State# d
- prefetchMutableByteArray0# :: MutableByteArray# d -> Int# -> State# d -> State# d
- prefetchMutableByteArray1# :: MutableByteArray# d -> Int# -> State# d -> State# d
- prefetchMutableByteArray2# :: MutableByteArray# d -> Int# -> State# d -> State# d
- prefetchMutableByteArray3# :: MutableByteArray# d -> Int# -> State# d -> State# d
- prefetchValue0# :: a -> State# d -> State# d
- prefetchValue1# :: a -> State# d -> State# d
- prefetchValue2# :: a -> State# d -> State# d
- prefetchValue3# :: a -> State# d -> State# d
- prompt# :: PromptTag# a -> (State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #)
- proxy# :: forall {k} (a :: k). Proxy# a
- putMVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MVar# d a -> a -> State# d -> State# d
- quotInt# :: Int# -> Int# -> Int#
- quotInt16# :: Int16# -> Int16# -> Int16#
- quotInt16X16# :: Int16X16# -> Int16X16# -> Int16X16#
- quotInt16X32# :: Int16X32# -> Int16X32# -> Int16X32#
- quotInt16X8# :: Int16X8# -> Int16X8# -> Int16X8#
- quotInt32# :: Int32# -> Int32# -> Int32#
- quotInt32X16# :: Int32X16# -> Int32X16# -> Int32X16#
- quotInt32X4# :: Int32X4# -> Int32X4# -> Int32X4#
- quotInt32X8# :: Int32X8# -> Int32X8# -> Int32X8#
- quotInt64# :: Int64# -> Int64# -> Int64#
- quotInt64X2# :: Int64X2# -> Int64X2# -> Int64X2#
- quotInt64X4# :: Int64X4# -> Int64X4# -> Int64X4#
- quotInt64X8# :: Int64X8# -> Int64X8# -> Int64X8#
- quotInt8# :: Int8# -> Int8# -> Int8#
- quotInt8X16# :: Int8X16# -> Int8X16# -> Int8X16#
- quotInt8X32# :: Int8X32# -> Int8X32# -> Int8X32#
- quotInt8X64# :: Int8X64# -> Int8X64# -> Int8X64#
- quotRemInt# :: Int# -> Int# -> (# Int#, Int# #)
- quotRemInt16# :: Int16# -> Int16# -> (# Int16#, Int16# #)
- quotRemInt32# :: Int32# -> Int32# -> (# Int32#, Int32# #)
- quotRemInt8# :: Int8# -> Int8# -> (# Int8#, Int8# #)
- quotRemWord# :: Word# -> Word# -> (# Word#, Word# #)
- quotRemWord16# :: Word16# -> Word16# -> (# Word16#, Word16# #)
- quotRemWord2# :: Word# -> Word# -> Word# -> (# Word#, Word# #)
- quotRemWord32# :: Word32# -> Word32# -> (# Word32#, Word32# #)
- quotRemWord8# :: Word8# -> Word8# -> (# Word8#, Word8# #)
- quotWord# :: Word# -> Word# -> Word#
- quotWord16# :: Word16# -> Word16# -> Word16#
- quotWord16X16# :: Word16X16# -> Word16X16# -> Word16X16#
- quotWord16X32# :: Word16X32# -> Word16X32# -> Word16X32#
- quotWord16X8# :: Word16X8# -> Word16X8# -> Word16X8#
- quotWord32# :: Word32# -> Word32# -> Word32#
- quotWord32X16# :: Word32X16# -> Word32X16# -> Word32X16#
- quotWord32X4# :: Word32X4# -> Word32X4# -> Word32X4#
- quotWord32X8# :: Word32X8# -> Word32X8# -> Word32X8#
- quotWord64# :: Word64# -> Word64# -> Word64#
- quotWord64X2# :: Word64X2# -> Word64X2# -> Word64X2#
- quotWord64X4# :: Word64X4# -> Word64X4# -> Word64X4#
- quotWord64X8# :: Word64X8# -> Word64X8# -> Word64X8#
- quotWord8# :: Word8# -> Word8# -> Word8#
- quotWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
- quotWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
- quotWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
- raise# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) b. a -> b
- raiseDivZero# :: (# #) -> b
- raiseIO# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) b. a -> State# RealWorld -> (# State# RealWorld, b #)
- raiseOverflow# :: (# #) -> b
- raiseUnderflow# :: (# #) -> b
- readAddrArray# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Addr# #)
- readAddrOffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Addr# #)
- readArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutableArray# d a -> Int# -> State# d -> (# State# d, a #)
- readCharArray# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Char# #)
- readCharOffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Char# #)
- readDoubleArray# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Double# #)
- readDoubleArrayAsDoubleX2# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, DoubleX2# #)
- readDoubleArrayAsDoubleX4# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, DoubleX4# #)
- readDoubleArrayAsDoubleX8# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, DoubleX8# #)
- readDoubleOffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Double# #)
- readDoubleOffAddrAsDoubleX2# :: Addr# -> Int# -> State# d -> (# State# d, DoubleX2# #)
- readDoubleOffAddrAsDoubleX4# :: Addr# -> Int# -> State# d -> (# State# d, DoubleX4# #)
- readDoubleOffAddrAsDoubleX8# :: Addr# -> Int# -> State# d -> (# State# d, DoubleX8# #)
- readDoubleX2Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, DoubleX2# #)
- readDoubleX2OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, DoubleX2# #)
- readDoubleX4Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, DoubleX4# #)
- readDoubleX4OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, DoubleX4# #)
- readDoubleX8Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, DoubleX8# #)
- readDoubleX8OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, DoubleX8# #)
- readFloatArray# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Float# #)
- readFloatArrayAsFloatX16# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, FloatX16# #)
- readFloatArrayAsFloatX4# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, FloatX4# #)
- readFloatArrayAsFloatX8# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, FloatX8# #)
- readFloatOffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Float# #)
- readFloatOffAddrAsFloatX16# :: Addr# -> Int# -> State# d -> (# State# d, FloatX16# #)
- readFloatOffAddrAsFloatX4# :: Addr# -> Int# -> State# d -> (# State# d, FloatX4# #)
- readFloatOffAddrAsFloatX8# :: Addr# -> Int# -> State# d -> (# State# d, FloatX8# #)
- readFloatX16Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, FloatX16# #)
- readFloatX16OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, FloatX16# #)
- readFloatX4Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, FloatX4# #)
- readFloatX4OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, FloatX4# #)
- readFloatX8Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, FloatX8# #)
- readFloatX8OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, FloatX8# #)
- readInt16Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int16# #)
- readInt16ArrayAsInt16X16# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int16X16# #)
- readInt16ArrayAsInt16X32# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int16X32# #)
- readInt16ArrayAsInt16X8# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int16X8# #)
- readInt16OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int16# #)
- readInt16OffAddrAsInt16X16# :: Addr# -> Int# -> State# d -> (# State# d, Int16X16# #)
- readInt16OffAddrAsInt16X32# :: Addr# -> Int# -> State# d -> (# State# d, Int16X32# #)
- readInt16OffAddrAsInt16X8# :: Addr# -> Int# -> State# d -> (# State# d, Int16X8# #)
- readInt16X16Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int16X16# #)
- readInt16X16OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int16X16# #)
- readInt16X32Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int16X32# #)
- readInt16X32OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int16X32# #)
- readInt16X8Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int16X8# #)
- readInt16X8OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int16X8# #)
- readInt32Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int32# #)
- readInt32ArrayAsInt32X16# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int32X16# #)
- readInt32ArrayAsInt32X4# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int32X4# #)
- readInt32ArrayAsInt32X8# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int32X8# #)
- readInt32OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int32# #)
- readInt32OffAddrAsInt32X16# :: Addr# -> Int# -> State# d -> (# State# d, Int32X16# #)
- readInt32OffAddrAsInt32X4# :: Addr# -> Int# -> State# d -> (# State# d, Int32X4# #)
- readInt32OffAddrAsInt32X8# :: Addr# -> Int# -> State# d -> (# State# d, Int32X8# #)
- readInt32X16Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int32X16# #)
- readInt32X16OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int32X16# #)
- readInt32X4Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int32X4# #)
- readInt32X4OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int32X4# #)
- readInt32X8Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int32X8# #)
- readInt32X8OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int32X8# #)
- readInt64Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int64# #)
- readInt64ArrayAsInt64X2# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int64X2# #)
- readInt64ArrayAsInt64X4# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int64X4# #)
- readInt64ArrayAsInt64X8# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int64X8# #)
- readInt64OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int64# #)
- readInt64OffAddrAsInt64X2# :: Addr# -> Int# -> State# d -> (# State# d, Int64X2# #)
- readInt64OffAddrAsInt64X4# :: Addr# -> Int# -> State# d -> (# State# d, Int64X4# #)
- readInt64OffAddrAsInt64X8# :: Addr# -> Int# -> State# d -> (# State# d, Int64X8# #)
- readInt64X2Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int64X2# #)
- readInt64X2OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int64X2# #)
- readInt64X4Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int64X4# #)
- readInt64X4OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int64X4# #)
- readInt64X8Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int64X8# #)
- readInt64X8OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int64X8# #)
- readInt8Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int8# #)
- readInt8ArrayAsInt8X16# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int8X16# #)
- readInt8ArrayAsInt8X32# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int8X32# #)
- readInt8ArrayAsInt8X64# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int8X64# #)
- readInt8OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int8# #)
- readInt8OffAddrAsInt8X16# :: Addr# -> Int# -> State# d -> (# State# d, Int8X16# #)
- readInt8OffAddrAsInt8X32# :: Addr# -> Int# -> State# d -> (# State# d, Int8X32# #)
- readInt8OffAddrAsInt8X64# :: Addr# -> Int# -> State# d -> (# State# d, Int8X64# #)
- readInt8X16Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int8X16# #)
- readInt8X16OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int8X16# #)
- readInt8X32Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int8X32# #)
- readInt8X32OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int8X32# #)
- readInt8X64Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int8X64# #)
- readInt8X64OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int8X64# #)
- readIntArray# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int# #)
- readIntOffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Int# #)
- readMVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MVar# d a -> State# d -> (# State# d, a #)
- readMutVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutVar# d a -> State# d -> (# State# d, a #)
- readSmallArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). SmallMutableArray# d a -> Int# -> State# d -> (# State# d, a #)
- readStablePtrArray# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, StablePtr# a #)
- readStablePtrOffAddr# :: Addr# -> Int# -> State# d -> (# State# d, StablePtr# a #)
- readTVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). TVar# d a -> State# d -> (# State# d, a #)
- readTVarIO# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). TVar# d a -> State# d -> (# State# d, a #)
- readWideCharArray# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Char# #)
- readWideCharOffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Char# #)
- readWord16Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word16# #)
- readWord16ArrayAsWord16X16# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word16X16# #)
- readWord16ArrayAsWord16X32# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word16X32# #)
- readWord16ArrayAsWord16X8# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word16X8# #)
- readWord16OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word16# #)
- readWord16OffAddrAsWord16X16# :: Addr# -> Int# -> State# d -> (# State# d, Word16X16# #)
- readWord16OffAddrAsWord16X32# :: Addr# -> Int# -> State# d -> (# State# d, Word16X32# #)
- readWord16OffAddrAsWord16X8# :: Addr# -> Int# -> State# d -> (# State# d, Word16X8# #)
- readWord16X16Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word16X16# #)
- readWord16X16OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word16X16# #)
- readWord16X32Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word16X32# #)
- readWord16X32OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word16X32# #)
- readWord16X8Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word16X8# #)
- readWord16X8OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word16X8# #)
- readWord32Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word32# #)
- readWord32ArrayAsWord32X16# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word32X16# #)
- readWord32ArrayAsWord32X4# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word32X4# #)
- readWord32ArrayAsWord32X8# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word32X8# #)
- readWord32OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word32# #)
- readWord32OffAddrAsWord32X16# :: Addr# -> Int# -> State# d -> (# State# d, Word32X16# #)
- readWord32OffAddrAsWord32X4# :: Addr# -> Int# -> State# d -> (# State# d, Word32X4# #)
- readWord32OffAddrAsWord32X8# :: Addr# -> Int# -> State# d -> (# State# d, Word32X8# #)
- readWord32X16Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word32X16# #)
- readWord32X16OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word32X16# #)
- readWord32X4Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word32X4# #)
- readWord32X4OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word32X4# #)
- readWord32X8Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word32X8# #)
- readWord32X8OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word32X8# #)
- readWord64Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word64# #)
- readWord64ArrayAsWord64X2# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word64X2# #)
- readWord64ArrayAsWord64X4# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word64X4# #)
- readWord64ArrayAsWord64X8# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word64X8# #)
- readWord64OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word64# #)
- readWord64OffAddrAsWord64X2# :: Addr# -> Int# -> State# d -> (# State# d, Word64X2# #)
- readWord64OffAddrAsWord64X4# :: Addr# -> Int# -> State# d -> (# State# d, Word64X4# #)
- readWord64OffAddrAsWord64X8# :: Addr# -> Int# -> State# d -> (# State# d, Word64X8# #)
- readWord64X2Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word64X2# #)
- readWord64X2OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word64X2# #)
- readWord64X4Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word64X4# #)
- readWord64X4OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word64X4# #)
- readWord64X8Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word64X8# #)
- readWord64X8OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word64X8# #)
- readWord8Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word8# #)
- readWord8ArrayAsAddr# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Addr# #)
- readWord8ArrayAsChar# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Char# #)
- readWord8ArrayAsDouble# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Double# #)
- readWord8ArrayAsFloat# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Float# #)
- readWord8ArrayAsInt# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int# #)
- readWord8ArrayAsInt16# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int16# #)
- readWord8ArrayAsInt32# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int32# #)
- readWord8ArrayAsInt64# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int64# #)
- readWord8ArrayAsStablePtr# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, StablePtr# a #)
- readWord8ArrayAsWideChar# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Char# #)
- readWord8ArrayAsWord# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word# #)
- readWord8ArrayAsWord16# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word16# #)
- readWord8ArrayAsWord32# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word32# #)
- readWord8ArrayAsWord64# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word64# #)
- readWord8ArrayAsWord8X16# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word8X16# #)
- readWord8ArrayAsWord8X32# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word8X32# #)
- readWord8ArrayAsWord8X64# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word8X64# #)
- readWord8OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word8# #)
- readWord8OffAddrAsAddr# :: Addr# -> Int# -> State# d -> (# State# d, Addr# #)
- readWord8OffAddrAsChar# :: Addr# -> Int# -> State# d -> (# State# d, Char# #)
- readWord8OffAddrAsDouble# :: Addr# -> Int# -> State# d -> (# State# d, Double# #)
- readWord8OffAddrAsFloat# :: Addr# -> Int# -> State# d -> (# State# d, Float# #)
- readWord8OffAddrAsInt# :: Addr# -> Int# -> State# d -> (# State# d, Int# #)
- readWord8OffAddrAsInt16# :: Addr# -> Int# -> State# d -> (# State# d, Int16# #)
- readWord8OffAddrAsInt32# :: Addr# -> Int# -> State# d -> (# State# d, Int32# #)
- readWord8OffAddrAsInt64# :: Addr# -> Int# -> State# d -> (# State# d, Int64# #)
- readWord8OffAddrAsStablePtr# :: Addr# -> Int# -> State# d -> (# State# d, StablePtr# a #)
- readWord8OffAddrAsWideChar# :: Addr# -> Int# -> State# d -> (# State# d, Char# #)
- readWord8OffAddrAsWord# :: Addr# -> Int# -> State# d -> (# State# d, Word# #)
- readWord8OffAddrAsWord16# :: Addr# -> Int# -> State# d -> (# State# d, Word16# #)
- readWord8OffAddrAsWord32# :: Addr# -> Int# -> State# d -> (# State# d, Word32# #)
- readWord8OffAddrAsWord64# :: Addr# -> Int# -> State# d -> (# State# d, Word64# #)
- readWord8OffAddrAsWord8X16# :: Addr# -> Int# -> State# d -> (# State# d, Word8X16# #)
- readWord8OffAddrAsWord8X32# :: Addr# -> Int# -> State# d -> (# State# d, Word8X32# #)
- readWord8OffAddrAsWord8X64# :: Addr# -> Int# -> State# d -> (# State# d, Word8X64# #)
- readWord8X16Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word8X16# #)
- readWord8X16OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word8X16# #)
- readWord8X32Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word8X32# #)
- readWord8X32OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word8X32# #)
- readWord8X64Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word8X64# #)
- readWord8X64OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word8X64# #)
- readWordArray# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word# #)
- readWordOffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word# #)
- realWorld# :: State# RealWorld
- reallyUnsafePtrEquality# :: forall {l :: Levity} {k :: Levity} (a :: TYPE ('BoxedRep l)) (b :: TYPE ('BoxedRep k)). a -> b -> Int#
- remAddr# :: Addr# -> Int# -> Int#
- remInt# :: Int# -> Int# -> Int#
- remInt16# :: Int16# -> Int16# -> Int16#
- remInt16X16# :: Int16X16# -> Int16X16# -> Int16X16#
- remInt16X32# :: Int16X32# -> Int16X32# -> Int16X32#
- remInt16X8# :: Int16X8# -> Int16X8# -> Int16X8#
- remInt32# :: Int32# -> Int32# -> Int32#
- remInt32X16# :: Int32X16# -> Int32X16# -> Int32X16#
- remInt32X4# :: Int32X4# -> Int32X4# -> Int32X4#
- remInt32X8# :: Int32X8# -> Int32X8# -> Int32X8#
- remInt64# :: Int64# -> Int64# -> Int64#
- remInt64X2# :: Int64X2# -> Int64X2# -> Int64X2#
- remInt64X4# :: Int64X4# -> Int64X4# -> Int64X4#
- remInt64X8# :: Int64X8# -> Int64X8# -> Int64X8#
- remInt8# :: Int8# -> Int8# -> Int8#
- remInt8X16# :: Int8X16# -> Int8X16# -> Int8X16#
- remInt8X32# :: Int8X32# -> Int8X32# -> Int8X32#
- remInt8X64# :: Int8X64# -> Int8X64# -> Int8X64#
- remWord# :: Word# -> Word# -> Word#
- remWord16# :: Word16# -> Word16# -> Word16#
- remWord16X16# :: Word16X16# -> Word16X16# -> Word16X16#
- remWord16X32# :: Word16X32# -> Word16X32# -> Word16X32#
- remWord16X8# :: Word16X8# -> Word16X8# -> Word16X8#
- remWord32# :: Word32# -> Word32# -> Word32#
- remWord32X16# :: Word32X16# -> Word32X16# -> Word32X16#
- remWord32X4# :: Word32X4# -> Word32X4# -> Word32X4#
- remWord32X8# :: Word32X8# -> Word32X8# -> Word32X8#
- remWord64# :: Word64# -> Word64# -> Word64#
- remWord64X2# :: Word64X2# -> Word64X2# -> Word64X2#
- remWord64X4# :: Word64X4# -> Word64X4# -> Word64X4#
- remWord64X8# :: Word64X8# -> Word64X8# -> Word64X8#
- remWord8# :: Word8# -> Word8# -> Word8#
- remWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
- remWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
- remWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
- resizeMutableByteArray# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, MutableByteArray# d #)
- retry# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). State# RealWorld -> (# State# RealWorld, a #)
- rightSection :: forall {n :: Multiplicity} {o :: Multiplicity} a b c. (a %n -> b %o -> c) -> b %o -> a %n -> c
- seq :: a -> b -> b
- setAddrRange# :: Addr# -> Int# -> Int# -> State# RealWorld -> State# RealWorld
- setByteArray# :: MutableByteArray# d -> Int# -> Int# -> Int# -> State# d -> State# d
- setOtherThreadAllocationCounter# :: Int64# -> ThreadId# -> State# RealWorld -> State# RealWorld
- setThreadAllocationCounter# :: Int64# -> State# RealWorld -> State# RealWorld
- shrinkMutableByteArray# :: MutableByteArray# d -> Int# -> State# d -> State# d
- shrinkSmallMutableArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). SmallMutableArray# d a -> Int# -> State# d -> State# d
- sinDouble# :: Double# -> Double#
- sinFloat# :: Float# -> Float#
- sinhDouble# :: Double# -> Double#
- sinhFloat# :: Float# -> Float#
- sizeofArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). Array# a -> Int#
- sizeofByteArray# :: ByteArray# -> Int#
- sizeofMutableArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutableArray# d a -> Int#
- sizeofMutableByteArray# :: MutableByteArray# d -> Int#
- sizeofSmallArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). SmallArray# a -> Int#
- sizeofSmallMutableArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). SmallMutableArray# d a -> Int#
- spark# :: a -> State# d -> (# State# d, a #)
- sqrtDouble# :: Double# -> Double#
- sqrtFloat# :: Float# -> Float#
- stableNameToInt# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). StableName# a -> Int#
- subInt16# :: Int16# -> Int16# -> Int16#
- subInt32# :: Int32# -> Int32# -> Int32#
- subInt64# :: Int64# -> Int64# -> Int64#
- subInt8# :: Int8# -> Int8# -> Int8#
- subIntC# :: Int# -> Int# -> (# Int#, Int# #)
- subWord16# :: Word16# -> Word16# -> Word16#
- subWord32# :: Word32# -> Word32# -> Word32#
- subWord64# :: Word64# -> Word64# -> Word64#
- subWord8# :: Word8# -> Word8# -> Word8#
- subWordC# :: Word# -> Word# -> (# Word#, Int# #)
- tagToEnum# :: Int# -> a
- takeMVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MVar# d a -> State# d -> (# State# d, a #)
- tanDouble# :: Double# -> Double#
- tanFloat# :: Float# -> Float#
- tanhDouble# :: Double# -> Double#
- tanhFloat# :: Float# -> Float#
- thawArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d. Array# a -> Int# -> Int# -> State# d -> (# State# d, MutableArray# d a #)
- thawSmallArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d. SmallArray# a -> Int# -> Int# -> State# d -> (# State# d, SmallMutableArray# d a #)
- threadLabel# :: ThreadId# -> State# RealWorld -> (# State# RealWorld, Int#, ByteArray# #)
- threadStatus# :: ThreadId# -> State# RealWorld -> (# State# RealWorld, Int#, Int#, Int# #)
- timesDoubleX2# :: DoubleX2# -> DoubleX2# -> DoubleX2#
- timesDoubleX4# :: DoubleX4# -> DoubleX4# -> DoubleX4#
- timesDoubleX8# :: DoubleX8# -> DoubleX8# -> DoubleX8#
- timesFloat# :: Float# -> Float# -> Float#
- timesFloatX16# :: FloatX16# -> FloatX16# -> FloatX16#
- timesFloatX4# :: FloatX4# -> FloatX4# -> FloatX4#
- timesFloatX8# :: FloatX8# -> FloatX8# -> FloatX8#
- timesInt16# :: Int16# -> Int16# -> Int16#
- timesInt16X16# :: Int16X16# -> Int16X16# -> Int16X16#
- timesInt16X32# :: Int16X32# -> Int16X32# -> Int16X32#
- timesInt16X8# :: Int16X8# -> Int16X8# -> Int16X8#
- timesInt2# :: Int# -> Int# -> (# Int#, Int#, Int# #)
- timesInt32# :: Int32# -> Int32# -> Int32#
- timesInt32X16# :: Int32X16# -> Int32X16# -> Int32X16#
- timesInt32X4# :: Int32X4# -> Int32X4# -> Int32X4#
- timesInt32X8# :: Int32X8# -> Int32X8# -> Int32X8#
- timesInt64# :: Int64# -> Int64# -> Int64#
- timesInt64X2# :: Int64X2# -> Int64X2# -> Int64X2#
- timesInt64X4# :: Int64X4# -> Int64X4# -> Int64X4#
- timesInt64X8# :: Int64X8# -> Int64X8# -> Int64X8#
- timesInt8# :: Int8# -> Int8# -> Int8#
- timesInt8X16# :: Int8X16# -> Int8X16# -> Int8X16#
- timesInt8X32# :: Int8X32# -> Int8X32# -> Int8X32#
- timesInt8X64# :: Int8X64# -> Int8X64# -> Int8X64#
- timesWord# :: Word# -> Word# -> Word#
- timesWord16# :: Word16# -> Word16# -> Word16#
- timesWord16X16# :: Word16X16# -> Word16X16# -> Word16X16#
- timesWord16X32# :: Word16X32# -> Word16X32# -> Word16X32#
- timesWord16X8# :: Word16X8# -> Word16X8# -> Word16X8#
- timesWord2# :: Word# -> Word# -> (# Word#, Word# #)
- timesWord32# :: Word32# -> Word32# -> Word32#
- timesWord32X16# :: Word32X16# -> Word32X16# -> Word32X16#
- timesWord32X4# :: Word32X4# -> Word32X4# -> Word32X4#
- timesWord32X8# :: Word32X8# -> Word32X8# -> Word32X8#
- timesWord64# :: Word64# -> Word64# -> Word64#
- timesWord64X2# :: Word64X2# -> Word64X2# -> Word64X2#
- timesWord64X4# :: Word64X4# -> Word64X4# -> Word64X4#
- timesWord64X8# :: Word64X8# -> Word64X8# -> Word64X8#
- timesWord8# :: Word8# -> Word8# -> Word8#
- timesWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
- timesWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
- timesWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
- touch# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d. a -> State# d -> State# d
- traceBinaryEvent# :: Addr# -> Int# -> State# d -> State# d
- traceEvent# :: Addr# -> State# d -> State# d
- traceMarker# :: Addr# -> State# d -> State# d
- tryPutMVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MVar# d a -> a -> State# d -> (# State# d, Int# #)
- tryReadMVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MVar# d a -> State# d -> (# State# d, Int#, a #)
- tryTakeMVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MVar# d a -> State# d -> (# State# d, Int#, a #)
- uncheckedIShiftL# :: Int# -> Int# -> Int#
- uncheckedIShiftL64# :: Int64# -> Int# -> Int64#
- uncheckedIShiftRA# :: Int# -> Int# -> Int#
- uncheckedIShiftRA64# :: Int64# -> Int# -> Int64#
- uncheckedIShiftRL# :: Int# -> Int# -> Int#
- uncheckedIShiftRL64# :: Int64# -> Int# -> Int64#
- uncheckedShiftL# :: Word# -> Int# -> Word#
- uncheckedShiftL64# :: Word64# -> Int# -> Word64#
- uncheckedShiftLInt16# :: Int16# -> Int# -> Int16#
- uncheckedShiftLInt32# :: Int32# -> Int# -> Int32#
- uncheckedShiftLInt8# :: Int8# -> Int# -> Int8#
- uncheckedShiftLWord16# :: Word16# -> Int# -> Word16#
- uncheckedShiftLWord32# :: Word32# -> Int# -> Word32#
- uncheckedShiftLWord8# :: Word8# -> Int# -> Word8#
- uncheckedShiftRAInt16# :: Int16# -> Int# -> Int16#
- uncheckedShiftRAInt32# :: Int32# -> Int# -> Int32#
- uncheckedShiftRAInt8# :: Int8# -> Int# -> Int8#
- uncheckedShiftRL# :: Word# -> Int# -> Word#
- uncheckedShiftRL64# :: Word64# -> Int# -> Word64#
- uncheckedShiftRLInt16# :: Int16# -> Int# -> Int16#
- uncheckedShiftRLInt32# :: Int32# -> Int# -> Int32#
- uncheckedShiftRLInt8# :: Int8# -> Int# -> Int8#
- uncheckedShiftRLWord16# :: Word16# -> Int# -> Word16#
- uncheckedShiftRLWord32# :: Word32# -> Int# -> Word32#
- uncheckedShiftRLWord8# :: Word8# -> Int# -> Word8#
- unmaskAsyncExceptions# :: (State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #)
- unpackClosure# :: a -> (# Addr#, ByteArray#, Array# b #)
- unpackDoubleX2# :: DoubleX2# -> (# Double#, Double# #)
- unpackDoubleX4# :: DoubleX4# -> (# Double#, Double#, Double#, Double# #)
- unpackDoubleX8# :: DoubleX8# -> (# Double#, Double#, Double#, Double#, Double#, Double#, Double#, Double# #)
- unpackFloatX16# :: FloatX16# -> (# Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float# #)
- unpackFloatX4# :: FloatX4# -> (# Float#, Float#, Float#, Float# #)
- unpackFloatX8# :: FloatX8# -> (# Float#, Float#, Float#, Float#, Float#, Float#, Float#, Float# #)
- unpackInt16X16# :: Int16X16# -> (# Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16# #)
- unpackInt16X32# :: Int16X32# -> (# Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16# #)
- unpackInt16X8# :: Int16X8# -> (# Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16#, Int16# #)
- unpackInt32X16# :: Int32X16# -> (# Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32# #)
- unpackInt32X4# :: Int32X4# -> (# Int32#, Int32#, Int32#, Int32# #)
- unpackInt32X8# :: Int32X8# -> (# Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32#, Int32# #)
- unpackInt64X2# :: Int64X2# -> (# Int64#, Int64# #)
- unpackInt64X4# :: Int64X4# -> (# Int64#, Int64#, Int64#, Int64# #)
- unpackInt64X8# :: Int64X8# -> (# Int64#, Int64#, Int64#, Int64#, Int64#, Int64#, Int64#, Int64# #)
- unpackInt8X16# :: Int8X16# -> (# Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8# #)
- unpackInt8X32# :: Int8X32# -> (# Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8# #)
- unpackInt8X64# :: Int8X64# -> (# Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8#, Int8# #)
- unpackWord16X16# :: Word16X16# -> (# Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16# #)
- unpackWord16X32# :: Word16X32# -> (# Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16# #)
- unpackWord16X8# :: Word16X8# -> (# Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16#, Word16# #)
- unpackWord32X16# :: Word32X16# -> (# Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32# #)
- unpackWord32X4# :: Word32X4# -> (# Word32#, Word32#, Word32#, Word32# #)
- unpackWord32X8# :: Word32X8# -> (# Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32#, Word32# #)
- unpackWord64X2# :: Word64X2# -> (# Word64#, Word64# #)
- unpackWord64X4# :: Word64X4# -> (# Word64#, Word64#, Word64#, Word64# #)
- unpackWord64X8# :: Word64X8# -> (# Word64#, Word64#, Word64#, Word64#, Word64#, Word64#, Word64#, Word64# #)
- unpackWord8X16# :: Word8X16# -> (# Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8# #)
- unpackWord8X32# :: Word8X32# -> (# Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8# #)
- unpackWord8X64# :: Word8X64# -> (# Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8#, Word8# #)
- unsafeFreezeArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutableArray# d a -> State# d -> (# State# d, Array# a #)
- unsafeFreezeByteArray# :: MutableByteArray# d -> State# d -> (# State# d, ByteArray# #)
- unsafeFreezeSmallArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). SmallMutableArray# d a -> State# d -> (# State# d, SmallArray# a #)
- unsafeThawArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d. Array# a -> State# d -> (# State# d, MutableArray# d a #)
- unsafeThawByteArray# :: ByteArray# -> State# d -> (# State# d, MutableByteArray# d #)
- unsafeThawSmallArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)) d. SmallArray# a -> State# d -> (# State# d, SmallMutableArray# d a #)
- void# :: (# #)
- waitRead# :: Int# -> State# d -> State# d
- waitWrite# :: Int# -> State# d -> State# d
- word16ToInt16# :: Word16# -> Int16#
- word16ToWord# :: Word16# -> Word#
- word2Double# :: Word# -> Double#
- word2Float# :: Word# -> Float#
- word2Int# :: Word# -> Int#
- word32ToInt32# :: Word32# -> Int32#
- word32ToWord# :: Word32# -> Word#
- word64ToInt64# :: Word64# -> Int64#
- word64ToWord# :: Word64# -> Word#
- word8ToInt8# :: Word8# -> Int8#
- word8ToWord# :: Word8# -> Word#
- wordToWord16# :: Word# -> Word16#
- wordToWord32# :: Word# -> Word32#
- wordToWord64# :: Word# -> Word64#
- wordToWord8# :: Word# -> Word8#
- writeAddrArray# :: MutableByteArray# d -> Int# -> Addr# -> State# d -> State# d
- writeAddrOffAddr# :: Addr# -> Int# -> Addr# -> State# d -> State# d
- writeArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutableArray# d a -> Int# -> a -> State# d -> State# d
- writeCharArray# :: MutableByteArray# d -> Int# -> Char# -> State# d -> State# d
- writeCharOffAddr# :: Addr# -> Int# -> Char# -> State# d -> State# d
- writeDoubleArray# :: MutableByteArray# d -> Int# -> Double# -> State# d -> State# d
- writeDoubleArrayAsDoubleX2# :: MutableByteArray# d -> Int# -> DoubleX2# -> State# d -> State# d
- writeDoubleArrayAsDoubleX4# :: MutableByteArray# d -> Int# -> DoubleX4# -> State# d -> State# d
- writeDoubleArrayAsDoubleX8# :: MutableByteArray# d -> Int# -> DoubleX8# -> State# d -> State# d
- writeDoubleOffAddr# :: Addr# -> Int# -> Double# -> State# d -> State# d
- writeDoubleOffAddrAsDoubleX2# :: Addr# -> Int# -> DoubleX2# -> State# d -> State# d
- writeDoubleOffAddrAsDoubleX4# :: Addr# -> Int# -> DoubleX4# -> State# d -> State# d
- writeDoubleOffAddrAsDoubleX8# :: Addr# -> Int# -> DoubleX8# -> State# d -> State# d
- writeDoubleX2Array# :: MutableByteArray# d -> Int# -> DoubleX2# -> State# d -> State# d
- writeDoubleX2OffAddr# :: Addr# -> Int# -> DoubleX2# -> State# d -> State# d
- writeDoubleX4Array# :: MutableByteArray# d -> Int# -> DoubleX4# -> State# d -> State# d
- writeDoubleX4OffAddr# :: Addr# -> Int# -> DoubleX4# -> State# d -> State# d
- writeDoubleX8Array# :: MutableByteArray# d -> Int# -> DoubleX8# -> State# d -> State# d
- writeDoubleX8OffAddr# :: Addr# -> Int# -> DoubleX8# -> State# d -> State# d
- writeFloatArray# :: MutableByteArray# d -> Int# -> Float# -> State# d -> State# d
- writeFloatArrayAsFloatX16# :: MutableByteArray# d -> Int# -> FloatX16# -> State# d -> State# d
- writeFloatArrayAsFloatX4# :: MutableByteArray# d -> Int# -> FloatX4# -> State# d -> State# d
- writeFloatArrayAsFloatX8# :: MutableByteArray# d -> Int# -> FloatX8# -> State# d -> State# d
- writeFloatOffAddr# :: Addr# -> Int# -> Float# -> State# d -> State# d
- writeFloatOffAddrAsFloatX16# :: Addr# -> Int# -> FloatX16# -> State# d -> State# d
- writeFloatOffAddrAsFloatX4# :: Addr# -> Int# -> FloatX4# -> State# d -> State# d
- writeFloatOffAddrAsFloatX8# :: Addr# -> Int# -> FloatX8# -> State# d -> State# d
- writeFloatX16Array# :: MutableByteArray# d -> Int# -> FloatX16# -> State# d -> State# d
- writeFloatX16OffAddr# :: Addr# -> Int# -> FloatX16# -> State# d -> State# d
- writeFloatX4Array# :: MutableByteArray# d -> Int# -> FloatX4# -> State# d -> State# d
- writeFloatX4OffAddr# :: Addr# -> Int# -> FloatX4# -> State# d -> State# d
- writeFloatX8Array# :: MutableByteArray# d -> Int# -> FloatX8# -> State# d -> State# d
- writeFloatX8OffAddr# :: Addr# -> Int# -> FloatX8# -> State# d -> State# d
- writeInt16Array# :: MutableByteArray# d -> Int# -> Int16# -> State# d -> State# d
- writeInt16ArrayAsInt16X16# :: MutableByteArray# d -> Int# -> Int16X16# -> State# d -> State# d
- writeInt16ArrayAsInt16X32# :: MutableByteArray# d -> Int# -> Int16X32# -> State# d -> State# d
- writeInt16ArrayAsInt16X8# :: MutableByteArray# d -> Int# -> Int16X8# -> State# d -> State# d
- writeInt16OffAddr# :: Addr# -> Int# -> Int16# -> State# d -> State# d
- writeInt16OffAddrAsInt16X16# :: Addr# -> Int# -> Int16X16# -> State# d -> State# d
- writeInt16OffAddrAsInt16X32# :: Addr# -> Int# -> Int16X32# -> State# d -> State# d
- writeInt16OffAddrAsInt16X8# :: Addr# -> Int# -> Int16X8# -> State# d -> State# d
- writeInt16X16Array# :: MutableByteArray# d -> Int# -> Int16X16# -> State# d -> State# d
- writeInt16X16OffAddr# :: Addr# -> Int# -> Int16X16# -> State# d -> State# d
- writeInt16X32Array# :: MutableByteArray# d -> Int# -> Int16X32# -> State# d -> State# d
- writeInt16X32OffAddr# :: Addr# -> Int# -> Int16X32# -> State# d -> State# d
- writeInt16X8Array# :: MutableByteArray# d -> Int# -> Int16X8# -> State# d -> State# d
- writeInt16X8OffAddr# :: Addr# -> Int# -> Int16X8# -> State# d -> State# d
- writeInt32Array# :: MutableByteArray# d -> Int# -> Int32# -> State# d -> State# d
- writeInt32ArrayAsInt32X16# :: MutableByteArray# d -> Int# -> Int32X16# -> State# d -> State# d
- writeInt32ArrayAsInt32X4# :: MutableByteArray# d -> Int# -> Int32X4# -> State# d -> State# d
- writeInt32ArrayAsInt32X8# :: MutableByteArray# d -> Int# -> Int32X8# -> State# d -> State# d
- writeInt32OffAddr# :: Addr# -> Int# -> Int32# -> State# d -> State# d
- writeInt32OffAddrAsInt32X16# :: Addr# -> Int# -> Int32X16# -> State# d -> State# d
- writeInt32OffAddrAsInt32X4# :: Addr# -> Int# -> Int32X4# -> State# d -> State# d
- writeInt32OffAddrAsInt32X8# :: Addr# -> Int# -> Int32X8# -> State# d -> State# d
- writeInt32X16Array# :: MutableByteArray# d -> Int# -> Int32X16# -> State# d -> State# d
- writeInt32X16OffAddr# :: Addr# -> Int# -> Int32X16# -> State# d -> State# d
- writeInt32X4Array# :: MutableByteArray# d -> Int# -> Int32X4# -> State# d -> State# d
- writeInt32X4OffAddr# :: Addr# -> Int# -> Int32X4# -> State# d -> State# d
- writeInt32X8Array# :: MutableByteArray# d -> Int# -> Int32X8# -> State# d -> State# d
- writeInt32X8OffAddr# :: Addr# -> Int# -> Int32X8# -> State# d -> State# d
- writeInt64Array# :: MutableByteArray# d -> Int# -> Int64# -> State# d -> State# d
- writeInt64ArrayAsInt64X2# :: MutableByteArray# d -> Int# -> Int64X2# -> State# d -> State# d
- writeInt64ArrayAsInt64X4# :: MutableByteArray# d -> Int# -> Int64X4# -> State# d -> State# d
- writeInt64ArrayAsInt64X8# :: MutableByteArray# d -> Int# -> Int64X8# -> State# d -> State# d
- writeInt64OffAddr# :: Addr# -> Int# -> Int64# -> State# d -> State# d
- writeInt64OffAddrAsInt64X2# :: Addr# -> Int# -> Int64X2# -> State# d -> State# d
- writeInt64OffAddrAsInt64X4# :: Addr# -> Int# -> Int64X4# -> State# d -> State# d
- writeInt64OffAddrAsInt64X8# :: Addr# -> Int# -> Int64X8# -> State# d -> State# d
- writeInt64X2Array# :: MutableByteArray# d -> Int# -> Int64X2# -> State# d -> State# d
- writeInt64X2OffAddr# :: Addr# -> Int# -> Int64X2# -> State# d -> State# d
- writeInt64X4Array# :: MutableByteArray# d -> Int# -> Int64X4# -> State# d -> State# d
- writeInt64X4OffAddr# :: Addr# -> Int# -> Int64X4# -> State# d -> State# d
- writeInt64X8Array# :: MutableByteArray# d -> Int# -> Int64X8# -> State# d -> State# d
- writeInt64X8OffAddr# :: Addr# -> Int# -> Int64X8# -> State# d -> State# d
- writeInt8Array# :: MutableByteArray# d -> Int# -> Int8# -> State# d -> State# d
- writeInt8ArrayAsInt8X16# :: MutableByteArray# d -> Int# -> Int8X16# -> State# d -> State# d
- writeInt8ArrayAsInt8X32# :: MutableByteArray# d -> Int# -> Int8X32# -> State# d -> State# d
- writeInt8ArrayAsInt8X64# :: MutableByteArray# d -> Int# -> Int8X64# -> State# d -> State# d
- writeInt8OffAddr# :: Addr# -> Int# -> Int8# -> State# d -> State# d
- writeInt8OffAddrAsInt8X16# :: Addr# -> Int# -> Int8X16# -> State# d -> State# d
- writeInt8OffAddrAsInt8X32# :: Addr# -> Int# -> Int8X32# -> State# d -> State# d
- writeInt8OffAddrAsInt8X64# :: Addr# -> Int# -> Int8X64# -> State# d -> State# d
- writeInt8X16Array# :: MutableByteArray# d -> Int# -> Int8X16# -> State# d -> State# d
- writeInt8X16OffAddr# :: Addr# -> Int# -> Int8X16# -> State# d -> State# d
- writeInt8X32Array# :: MutableByteArray# d -> Int# -> Int8X32# -> State# d -> State# d
- writeInt8X32OffAddr# :: Addr# -> Int# -> Int8X32# -> State# d -> State# d
- writeInt8X64Array# :: MutableByteArray# d -> Int# -> Int8X64# -> State# d -> State# d
- writeInt8X64OffAddr# :: Addr# -> Int# -> Int8X64# -> State# d -> State# d
- writeIntArray# :: MutableByteArray# d -> Int# -> Int# -> State# d -> State# d
- writeIntOffAddr# :: Addr# -> Int# -> Int# -> State# d -> State# d
- writeMutVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). MutVar# d a -> a -> State# d -> State# d
- writeSmallArray# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). SmallMutableArray# d a -> Int# -> a -> State# d -> State# d
- writeStablePtrArray# :: MutableByteArray# d -> Int# -> StablePtr# a -> State# d -> State# d
- writeStablePtrOffAddr# :: Addr# -> Int# -> StablePtr# a -> State# d -> State# d
- writeTVar# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). TVar# d a -> a -> State# d -> State# d
- writeWideCharArray# :: MutableByteArray# d -> Int# -> Char# -> State# d -> State# d
- writeWideCharOffAddr# :: Addr# -> Int# -> Char# -> State# d -> State# d
- writeWord16Array# :: MutableByteArray# d -> Int# -> Word16# -> State# d -> State# d
- writeWord16ArrayAsWord16X16# :: MutableByteArray# d -> Int# -> Word16X16# -> State# d -> State# d
- writeWord16ArrayAsWord16X32# :: MutableByteArray# d -> Int# -> Word16X32# -> State# d -> State# d
- writeWord16ArrayAsWord16X8# :: MutableByteArray# d -> Int# -> Word16X8# -> State# d -> State# d
- writeWord16OffAddr# :: Addr# -> Int# -> Word16# -> State# d -> State# d
- writeWord16OffAddrAsWord16X16# :: Addr# -> Int# -> Word16X16# -> State# d -> State# d
- writeWord16OffAddrAsWord16X32# :: Addr# -> Int# -> Word16X32# -> State# d -> State# d
- writeWord16OffAddrAsWord16X8# :: Addr# -> Int# -> Word16X8# -> State# d -> State# d
- writeWord16X16Array# :: MutableByteArray# d -> Int# -> Word16X16# -> State# d -> State# d
- writeWord16X16OffAddr# :: Addr# -> Int# -> Word16X16# -> State# d -> State# d
- writeWord16X32Array# :: MutableByteArray# d -> Int# -> Word16X32# -> State# d -> State# d
- writeWord16X32OffAddr# :: Addr# -> Int# -> Word16X32# -> State# d -> State# d
- writeWord16X8Array# :: MutableByteArray# d -> Int# -> Word16X8# -> State# d -> State# d
- writeWord16X8OffAddr# :: Addr# -> Int# -> Word16X8# -> State# d -> State# d
- writeWord32Array# :: MutableByteArray# d -> Int# -> Word32# -> State# d -> State# d
- writeWord32ArrayAsWord32X16# :: MutableByteArray# d -> Int# -> Word32X16# -> State# d -> State# d
- writeWord32ArrayAsWord32X4# :: MutableByteArray# d -> Int# -> Word32X4# -> State# d -> State# d
- writeWord32ArrayAsWord32X8# :: MutableByteArray# d -> Int# -> Word32X8# -> State# d -> State# d
- writeWord32OffAddr# :: Addr# -> Int# -> Word32# -> State# d -> State# d
- writeWord32OffAddrAsWord32X16# :: Addr# -> Int# -> Word32X16# -> State# d -> State# d
- writeWord32OffAddrAsWord32X4# :: Addr# -> Int# -> Word32X4# -> State# d -> State# d
- writeWord32OffAddrAsWord32X8# :: Addr# -> Int# -> Word32X8# -> State# d -> State# d
- writeWord32X16Array# :: MutableByteArray# d -> Int# -> Word32X16# -> State# d -> State# d
- writeWord32X16OffAddr# :: Addr# -> Int# -> Word32X16# -> State# d -> State# d
- writeWord32X4Array# :: MutableByteArray# d -> Int# -> Word32X4# -> State# d -> State# d
- writeWord32X4OffAddr# :: Addr# -> Int# -> Word32X4# -> State# d -> State# d
- writeWord32X8Array# :: MutableByteArray# d -> Int# -> Word32X8# -> State# d -> State# d
- writeWord32X8OffAddr# :: Addr# -> Int# -> Word32X8# -> State# d -> State# d
- writeWord64Array# :: MutableByteArray# d -> Int# -> Word64# -> State# d -> State# d
- writeWord64ArrayAsWord64X2# :: MutableByteArray# d -> Int# -> Word64X2# -> State# d -> State# d
- writeWord64ArrayAsWord64X4# :: MutableByteArray# d -> Int# -> Word64X4# -> State# d -> State# d
- writeWord64ArrayAsWord64X8# :: MutableByteArray# d -> Int# -> Word64X8# -> State# d -> State# d
- writeWord64OffAddr# :: Addr# -> Int# -> Word64# -> State# d -> State# d
- writeWord64OffAddrAsWord64X2# :: Addr# -> Int# -> Word64X2# -> State# d -> State# d
- writeWord64OffAddrAsWord64X4# :: Addr# -> Int# -> Word64X4# -> State# d -> State# d
- writeWord64OffAddrAsWord64X8# :: Addr# -> Int# -> Word64X8# -> State# d -> State# d
- writeWord64X2Array# :: MutableByteArray# d -> Int# -> Word64X2# -> State# d -> State# d
- writeWord64X2OffAddr# :: Addr# -> Int# -> Word64X2# -> State# d -> State# d
- writeWord64X4Array# :: MutableByteArray# d -> Int# -> Word64X4# -> State# d -> State# d
- writeWord64X4OffAddr# :: Addr# -> Int# -> Word64X4# -> State# d -> State# d
- writeWord64X8Array# :: MutableByteArray# d -> Int# -> Word64X8# -> State# d -> State# d
- writeWord64X8OffAddr# :: Addr# -> Int# -> Word64X8# -> State# d -> State# d
- writeWord8Array# :: MutableByteArray# d -> Int# -> Word8# -> State# d -> State# d
- writeWord8ArrayAsAddr# :: MutableByteArray# d -> Int# -> Addr# -> State# d -> State# d
- writeWord8ArrayAsChar# :: MutableByteArray# d -> Int# -> Char# -> State# d -> State# d
- writeWord8ArrayAsDouble# :: MutableByteArray# d -> Int# -> Double# -> State# d -> State# d
- writeWord8ArrayAsFloat# :: MutableByteArray# d -> Int# -> Float# -> State# d -> State# d
- writeWord8ArrayAsInt# :: MutableByteArray# d -> Int# -> Int# -> State# d -> State# d
- writeWord8ArrayAsInt16# :: MutableByteArray# d -> Int# -> Int16# -> State# d -> State# d
- writeWord8ArrayAsInt32# :: MutableByteArray# d -> Int# -> Int32# -> State# d -> State# d
- writeWord8ArrayAsInt64# :: MutableByteArray# d -> Int# -> Int64# -> State# d -> State# d
- writeWord8ArrayAsStablePtr# :: MutableByteArray# d -> Int# -> StablePtr# a -> State# d -> State# d
- writeWord8ArrayAsWideChar# :: MutableByteArray# d -> Int# -> Char# -> State# d -> State# d
- writeWord8ArrayAsWord# :: MutableByteArray# d -> Int# -> Word# -> State# d -> State# d
- writeWord8ArrayAsWord16# :: MutableByteArray# d -> Int# -> Word16# -> State# d -> State# d
- writeWord8ArrayAsWord32# :: MutableByteArray# d -> Int# -> Word32# -> State# d -> State# d
- writeWord8ArrayAsWord64# :: MutableByteArray# d -> Int# -> Word64# -> State# d -> State# d
- writeWord8ArrayAsWord8X16# :: MutableByteArray# d -> Int# -> Word8X16# -> State# d -> State# d
- writeWord8ArrayAsWord8X32# :: MutableByteArray# d -> Int# -> Word8X32# -> State# d -> State# d
- writeWord8ArrayAsWord8X64# :: MutableByteArray# d -> Int# -> Word8X64# -> State# d -> State# d
- writeWord8OffAddr# :: Addr# -> Int# -> Word8# -> State# d -> State# d
- writeWord8OffAddrAsAddr# :: Addr# -> Int# -> Addr# -> State# d -> State# d
- writeWord8OffAddrAsChar# :: Addr# -> Int# -> Char# -> State# d -> State# d
- writeWord8OffAddrAsDouble# :: Addr# -> Int# -> Double# -> State# d -> State# d
- writeWord8OffAddrAsFloat# :: Addr# -> Int# -> Float# -> State# d -> State# d
- writeWord8OffAddrAsInt# :: Addr# -> Int# -> Int# -> State# d -> State# d
- writeWord8OffAddrAsInt16# :: Addr# -> Int# -> Int16# -> State# d -> State# d
- writeWord8OffAddrAsInt32# :: Addr# -> Int# -> Int32# -> State# d -> State# d
- writeWord8OffAddrAsInt64# :: Addr# -> Int# -> Int64# -> State# d -> State# d
- writeWord8OffAddrAsStablePtr# :: Addr# -> Int# -> StablePtr# a -> State# d -> State# d
- writeWord8OffAddrAsWideChar# :: Addr# -> Int# -> Char# -> State# d -> State# d
- writeWord8OffAddrAsWord# :: Addr# -> Int# -> Word# -> State# d -> State# d
- writeWord8OffAddrAsWord16# :: Addr# -> Int# -> Word16# -> State# d -> State# d
- writeWord8OffAddrAsWord32# :: Addr# -> Int# -> Word32# -> State# d -> State# d
- writeWord8OffAddrAsWord64# :: Addr# -> Int# -> Word64# -> State# d -> State# d
- writeWord8OffAddrAsWord8X16# :: Addr# -> Int# -> Word8X16# -> State# d -> State# d
- writeWord8OffAddrAsWord8X32# :: Addr# -> Int# -> Word8X32# -> State# d -> State# d
- writeWord8OffAddrAsWord8X64# :: Addr# -> Int# -> Word8X64# -> State# d -> State# d
- writeWord8X16Array# :: MutableByteArray# d -> Int# -> Word8X16# -> State# d -> State# d
- writeWord8X16OffAddr# :: Addr# -> Int# -> Word8X16# -> State# d -> State# d
- writeWord8X32Array# :: MutableByteArray# d -> Int# -> Word8X32# -> State# d -> State# d
- writeWord8X32OffAddr# :: Addr# -> Int# -> Word8X32# -> State# d -> State# d
- writeWord8X64Array# :: MutableByteArray# d -> Int# -> Word8X64# -> State# d -> State# d
- writeWord8X64OffAddr# :: Addr# -> Int# -> Word8X64# -> State# d -> State# d
- writeWordArray# :: MutableByteArray# d -> Int# -> Word# -> State# d -> State# d
- writeWordOffAddr# :: Addr# -> Int# -> Word# -> State# d -> State# d
- xor# :: Word# -> Word# -> Word#
- xor64# :: Word64# -> Word64# -> Word64#
- xorI# :: Int# -> Int# -> Int#
- xorWord16# :: Word16# -> Word16# -> Word16#
- xorWord32# :: Word32# -> Word32# -> Word32#
- xorWord8# :: Word8# -> Word8# -> Word8#
- yield# :: State# RealWorld -> State# RealWorld
- data Addr# :: TYPE 'AddrRep
- data Array# (a :: TYPE ('BoxedRep l)) :: UnliftedType
- data BCO
- data ByteArray# :: UnliftedType
- data CONSTRAINT (a :: RuntimeRep)
- data Char# :: TYPE 'WordRep
- data Compact# :: UnliftedType
- data Double# :: TYPE 'DoubleRep
- data DoubleX2# :: TYPE ('VecRep 'Vec2 'DoubleElemRep)
- data DoubleX4# :: TYPE ('VecRep 'Vec4 'DoubleElemRep)
- data DoubleX8# :: TYPE ('VecRep 'Vec8 'DoubleElemRep)
- data FUN
- data Float# :: TYPE 'FloatRep
- data FloatX16# :: TYPE ('VecRep 'Vec16 'FloatElemRep)
- data FloatX4# :: TYPE ('VecRep 'Vec4 'FloatElemRep)
- data FloatX8# :: TYPE ('VecRep 'Vec8 'FloatElemRep)
- data Int# :: TYPE 'IntRep
- data Int16# :: TYPE 'Int16Rep
- data Int16X16# :: TYPE ('VecRep 'Vec16 'Int16ElemRep)
- data Int16X32# :: TYPE ('VecRep 'Vec32 'Int16ElemRep)
- data Int16X8# :: TYPE ('VecRep 'Vec8 'Int16ElemRep)
- data Int32# :: TYPE 'Int32Rep
- data Int32X16# :: TYPE ('VecRep 'Vec16 'Int32ElemRep)
- data Int32X4# :: TYPE ('VecRep 'Vec4 'Int32ElemRep)
- data Int32X8# :: TYPE ('VecRep 'Vec8 'Int32ElemRep)
- data Int64# :: TYPE 'Int64Rep
- data Int64X2# :: TYPE ('VecRep 'Vec2 'Int64ElemRep)
- data Int64X4# :: TYPE ('VecRep 'Vec4 'Int64ElemRep)
- data Int64X8# :: TYPE ('VecRep 'Vec8 'Int64ElemRep)
- data Int8# :: TYPE 'Int8Rep
- data Int8X16# :: TYPE ('VecRep 'Vec16 'Int8ElemRep)
- data Int8X32# :: TYPE ('VecRep 'Vec32 'Int8ElemRep)
- data Int8X64# :: TYPE ('VecRep 'Vec64 'Int8ElemRep)
- data MVar# a (b :: TYPE ('BoxedRep l)) :: UnliftedType
- data MutVar# a (b :: TYPE ('BoxedRep l)) :: UnliftedType
- data MutableArray# a (b :: TYPE ('BoxedRep l)) :: UnliftedType
- data MutableByteArray# a :: UnliftedType
- data PromptTag# a :: UnliftedType
- data Proxy# (a :: k) :: ZeroBitType
- data RealWorld
- data SmallArray# (a :: TYPE ('BoxedRep l)) :: UnliftedType
- data SmallMutableArray# a (b :: TYPE ('BoxedRep l)) :: UnliftedType
- data StableName# (a :: TYPE ('BoxedRep l)) :: UnliftedType
- data StablePtr# (a :: TYPE ('BoxedRep l)) :: TYPE 'AddrRep
- data StackSnapshot# :: UnliftedType
- data State# a :: ZeroBitType
- data TVar# a (b :: TYPE ('BoxedRep l)) :: UnliftedType
- data TYPE (a :: RuntimeRep)
- data ThreadId# :: UnliftedType
- data Weak# (a :: TYPE ('BoxedRep l)) :: UnliftedType
- data Word# :: TYPE 'WordRep
- data Word16# :: TYPE 'Word16Rep
- data Word16X16# :: TYPE ('VecRep 'Vec16 'Word16ElemRep)
- data Word16X32# :: TYPE ('VecRep 'Vec32 'Word16ElemRep)
- data Word16X8# :: TYPE ('VecRep 'Vec8 'Word16ElemRep)
- data Word32# :: TYPE 'Word32Rep
- data Word32X16# :: TYPE ('VecRep 'Vec16 'Word32ElemRep)
- data Word32X4# :: TYPE ('VecRep 'Vec4 'Word32ElemRep)
- data Word32X8# :: TYPE ('VecRep 'Vec8 'Word32ElemRep)
- data Word64# :: TYPE 'Word64Rep
- data Word64X2# :: TYPE ('VecRep 'Vec2 'Word64ElemRep)
- data Word64X4# :: TYPE ('VecRep 'Vec4 'Word64ElemRep)
- data Word64X8# :: TYPE ('VecRep 'Vec8 'Word64ElemRep)
- data Word8# :: TYPE 'Word8Rep
- data Word8X16# :: TYPE ('VecRep 'Vec16 'Word8ElemRep)
- data Word8X32# :: TYPE ('VecRep 'Vec32 'Word8ElemRep)
- data Word8X64# :: TYPE ('VecRep 'Vec64 'Word8ElemRep)
- module GHC.Internal.Prim.Ext
- runRW# :: (State# RealWorld -> o) -> o
- shiftL# :: Word# -> Int# -> Word#
- shiftRL# :: Word# -> Int# -> Word#
- iShiftL# :: Int# -> Int# -> Int#
- iShiftRA# :: Int# -> Int# -> Int#
- iShiftRL# :: Int# -> Int# -> Int#
- reallyUnsafePtrEquality :: a -> a -> Int#
- unsafePtrEquality# :: forall (a :: UnliftedType) (b :: UnliftedType). a -> b -> Int#
- eqStableName# :: forall {k :: Levity} {l :: Levity} (a :: TYPE ('BoxedRep k)) (b :: TYPE ('BoxedRep l)). StableName# a -> StableName# b -> Int#
- sameArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). Array# a -> Array# a -> Int#
- sameMutableArray# :: forall {l :: Levity} s (a :: TYPE ('BoxedRep l)). MutableArray# s a -> MutableArray# s a -> Int#
- sameSmallArray# :: forall {l :: Levity} (a :: TYPE ('BoxedRep l)). SmallArray# a -> SmallArray# a -> Int#
- sameSmallMutableArray# :: forall {l :: Levity} s (a :: TYPE ('BoxedRep l)). SmallMutableArray# s a -> SmallMutableArray# s a -> Int#
- sameByteArray# :: ByteArray# -> ByteArray# -> Int#
- sameMutableByteArray# :: MutableByteArray# s -> MutableByteArray# s -> Int#
- sameMVar# :: forall {l :: Levity} s (a :: TYPE ('BoxedRep l)). MVar# s a -> MVar# s a -> Int#
- sameMutVar# :: forall {l :: Levity} s (a :: TYPE ('BoxedRep l)). MutVar# s a -> MutVar# s a -> Int#
- sameTVar# :: forall {l :: Levity} s (a :: TYPE ('BoxedRep l)). TVar# s a -> TVar# s a -> Int#
- samePromptTag# :: PromptTag# a -> PromptTag# a -> Int#
- atomicModifyMutVar# :: MutVar# s a -> (a -> b) -> State# s -> (# State# s, c #)
- resizeSmallMutableArray# :: SmallMutableArray# s a -> Int# -> a -> State# s -> (# State# s, SmallMutableArray# s a #)
- build :: (forall b. (a -> b -> b) -> b -> b) -> [a]
- augment :: (forall b. (a -> b -> b) -> b -> b) -> [a] -> [a]
- class IsList l where
- newtype Down a = Down {
- getDown :: a
- groupWith :: Ord b => (a -> b) -> [a] -> [[a]]
- sortWith :: Ord b => (a -> b) -> [a] -> [a]
- the :: Eq a => [a] -> a
- class IsString a where
- fromString :: String -> a
- unpackCString# :: Addr# -> [Char]
- unpackAppendCString# :: Addr# -> [Char] -> [Char]
- unpackFoldrCString# :: Addr# -> (Char -> a -> a) -> a -> a
- unpackCStringUtf8# :: Addr# -> [Char]
- unpackNBytes# :: Addr# -> Int# -> [Char]
- cstringLength# :: Addr# -> Int#
- breakpoint :: a -> a
- breakpointCond :: Bool -> a -> a
- traceEvent :: String -> IO ()
- currentCallStack :: IO [String]
- inline :: a -> a
- noinline :: a -> a
- lazy :: a -> a
- oneShot :: (a -> b) -> a -> b
- considerAccessible :: Bool
- seq# :: a -> State# s -> (# State# s, a #)
- data SpecConstrAnnotation
- data SPEC
- coerce :: Coercible a b => a -> b
- unsafeCoerce# :: a -> b
- class WithDict cls meth where
- withDict :: forall {rr :: RuntimeRep} (r :: TYPE rr). meth -> (cls => r) -> r
- class DataToTag (a :: TYPE ('BoxedRep lev)) where
- dataToTag# :: a -> Int#
- maxTupleSize :: Int
Pointer types
A value of type Ptr aa.
The type a will often be an instance of class
Storable which provides the marshalling operations.
However this is not essential, and you can provide your own operations
to access the pointer. For example you might write small foreign
functions to get or set the fields of a C struct.
Instances
| Generic1 (URec (Ptr ()) :: k -> Type) Source # | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Eq1 (UAddr :: Type -> Type) Source # | Since: base-4.21.0.0 | ||||
| Ord1 (UAddr :: Type -> Type) Source # | Since: base-4.21.0.0 | ||||
Defined in Data.Functor.Classes | |||||
| Show1 (UAddr :: Type -> Type) Source # | Since: base-4.21.0.0 | ||||
| Eq (Ptr a) Source # | Since: base-2.1 | ||||
| Ord (Ptr a) Source # | Since: base-2.1 | ||||
Defined in GHC.Internal.Ptr | |||||
| Data a => Data (Ptr a) Source # | Since: base-4.8.0.0 | ||||
Defined in GHC.Internal.Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ptr a -> c (Ptr a) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Ptr a) Source # toConstr :: Ptr a -> Constr Source # dataTypeOf :: Ptr a -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Ptr a)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Ptr a)) Source # gmapT :: (forall b. Data b => b -> b) -> Ptr a -> Ptr a Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ptr a -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ptr a -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Ptr a -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Ptr a -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ptr a -> m (Ptr a) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ptr a -> m (Ptr a) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ptr a -> m (Ptr a) Source # | |||||
| Foldable (UAddr :: Type -> Type) Source # | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Data.Foldable Methods fold :: Monoid m => UAddr m -> m Source # foldMap :: Monoid m => (a -> m) -> UAddr a -> m Source # foldMap' :: Monoid m => (a -> m) -> UAddr a -> m Source # foldr :: (a -> b -> b) -> b -> UAddr a -> b Source # foldr' :: (a -> b -> b) -> b -> UAddr a -> b Source # foldl :: (b -> a -> b) -> b -> UAddr a -> b Source # foldl' :: (b -> a -> b) -> b -> UAddr a -> b Source # foldr1 :: (a -> a -> a) -> UAddr a -> a Source # foldl1 :: (a -> a -> a) -> UAddr a -> a Source # toList :: UAddr a -> [a] Source # null :: UAddr a -> Bool Source # length :: UAddr a -> Int Source # elem :: Eq a => a -> UAddr a -> Bool Source # maximum :: Ord a => UAddr a -> a Source # minimum :: Ord a => UAddr a -> a Source # | |||||
| Traversable (UAddr :: Type -> Type) Source # | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Data.Traversable | |||||
| Storable (Ptr a) Source # | Since: base-2.1 | ||||
Defined in GHC.Internal.Foreign.Storable Methods sizeOf :: Ptr a -> Int Source # alignment :: Ptr a -> Int Source # peekElemOff :: Ptr (Ptr a) -> Int -> IO (Ptr a) Source # pokeElemOff :: Ptr (Ptr a) -> Int -> Ptr a -> IO () Source # peekByteOff :: Ptr b -> Int -> IO (Ptr a) Source # pokeByteOff :: Ptr b -> Int -> Ptr a -> IO () Source # | |||||
| Show (Ptr a) Source # | Since: base-2.1 | ||||
| Functor (URec (Ptr ()) :: Type -> Type) Source # | Since: base-4.9.0.0 | ||||
| Show (UAddr p) Source # | Since: base-4.21.0.0 | ||||
| Eq (URec (Ptr ()) p) Source # | Since: base-4.9.0.0 | ||||
| Ord (URec (Ptr ()) p) Source # | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Generics Methods compare :: URec (Ptr ()) p -> URec (Ptr ()) p -> Ordering Source # (<) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source # (<=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source # (>) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source # (>=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source # max :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p Source # min :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p Source # | |||||
| Generic (URec (Ptr ()) p) Source # | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| data URec (Ptr ()) (p :: k) Source # | Used for marking occurrences of Since: base-4.9.0.0 | ||||
| type Rep1 (URec (Ptr ()) :: k -> Type) Source # | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Generics | |||||
| type Rep (URec (Ptr ()) p) Source # | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Generics | |||||
A value of type FunPtr aa will normally be a foreign type,
a function type with zero or more arguments where
- the argument types are marshallable foreign types,
i.e.
Char,Int,Double,Float,Bool,Int8,Int16,Int32,Int64,Word8,Word16,Word32,Word64,PtraFunPtraStablePtranewtype. - the return type is either a marshallable foreign type or has the form
IOttis a marshallable foreign type or().
A value of type FunPtr a
foreign import ccall "stdlib.h &free" p_free :: FunPtr (Ptr a -> IO ())
or a pointer to a Haskell function created using a wrapper stub
declared to produce a FunPtr of the correct type. For example:
type Compare = Int -> Int -> Bool foreign import ccall "wrapper" mkCompare :: Compare -> IO (FunPtr Compare)
Calls to wrapper stubs like mkCompare allocate storage, which
should be released with freeHaskellFunPtr when no
longer required.
To convert FunPtr values to corresponding Haskell functions, one
can define a dynamic stub for the specific foreign type, e.g.
type IntFunction = CInt -> IO () foreign import ccall "dynamic" mkFun :: FunPtr IntFunction -> IntFunction
Instances
| Eq (FunPtr a) Source # | |
| Ord (FunPtr a) Source # | |
Defined in GHC.Internal.Ptr | |
| Storable (FunPtr a) Source # | Since: base-2.1 |
Defined in GHC.Internal.Foreign.Storable Methods sizeOf :: FunPtr a -> Int Source # alignment :: FunPtr a -> Int Source # peekElemOff :: Ptr (FunPtr a) -> Int -> IO (FunPtr a) Source # pokeElemOff :: Ptr (FunPtr a) -> Int -> FunPtr a -> IO () Source # peekByteOff :: Ptr b -> Int -> IO (FunPtr a) Source # pokeByteOff :: Ptr b -> Int -> FunPtr a -> IO () Source # | |
| Show (FunPtr a) Source # | Since: base-2.1 |
Other primitive types
isTrue# :: Int# -> Bool Source #
Alias for tagToEnum#. Returns True if its parameter is 1# and False
if it is 0#.
pattern KindRepTYPE :: RuntimeRep -> KindRep Source #
pattern KindRepTypeLitD :: TypeLitSort -> [Char] -> KindRep Source #
pattern KindRepTypeLitS :: TypeLitSort -> Addr# -> KindRep Source #
pattern KindRepVar :: KindBndr -> KindRep Source #
type family MultMul (a :: Multiplicity) (b :: Multiplicity) :: Multiplicity where ... Source #
Instances
| Monoid Ordering Source # | Since: base-2.1 | ||||
| Semigroup Ordering Source # | Since: base-4.9.0.0 | ||||
| Eq Ordering Source # | |||||
| Ord Ordering Source # | |||||
Defined in GHC.Internal.Classes | |||||
| Data Ordering Source # | Since: base-4.0.0.0 | ||||
Defined in GHC.Internal.Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ordering -> c Ordering Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ordering Source # toConstr :: Ordering -> Constr Source # dataTypeOf :: Ordering -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Ordering) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ordering) Source # gmapT :: (forall b. Data b => b -> b) -> Ordering -> Ordering Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ordering -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ordering -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Ordering -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Ordering -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ordering -> m Ordering Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ordering -> m Ordering Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ordering -> m Ordering Source # | |||||
| Bounded Ordering Source # | Since: base-2.1 | ||||
| Enum Ordering Source # | Since: base-2.1 | ||||
Defined in GHC.Internal.Enum Methods succ :: Ordering -> Ordering Source # pred :: Ordering -> Ordering Source # toEnum :: Int -> Ordering Source # fromEnum :: Ordering -> Int Source # enumFrom :: Ordering -> [Ordering] Source # enumFromThen :: Ordering -> Ordering -> [Ordering] Source # enumFromTo :: Ordering -> Ordering -> [Ordering] Source # enumFromThenTo :: Ordering -> Ordering -> Ordering -> [Ordering] Source # | |||||
| Generic Ordering Source # | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Ix Ordering Source # | Since: base-2.1 | ||||
Defined in GHC.Internal.Ix | |||||
| Read Ordering Source # | Since: base-2.1 | ||||
| Show Ordering Source # | Since: base-2.1 | ||||
| type Rep Ordering Source # | Since: base-4.6.0.0 | ||||
Defined in GHC.Internal.Generics | |||||
SPEC is used by GHC in the SpecConstr pass in order to inform
the compiler when to be particularly aggressive. In particular, it
tells GHC to specialize regardless of size or the number of
specializations. However, not all loops fall into this category.
Libraries can specify this by using SPEC data type to inform which
loops should be aggressively specialized. For example,
instead of
loop x where loop arg = ...
write
loop SPEC x where loop !_ arg = ...
There is no semantic difference between SPEC and SPEC2,
we just need a type with two constructors lest it is optimised away
before SpecConstr.
This type is reexported from GHC.Exts since GHC 9.0 and base-4.15.
For compatibility with earlier releases import it from GHC.Internal.Types
in ghc-internal package.
Since: ghc-internal-0.3.1.0
pattern TypeLitChar :: TypeLitSort Source #
pattern TypeLitNat :: TypeLitSort Source #
pattern TypeLitSymbol :: TypeLitSort Source #
data CONSTRAINT (a :: RuntimeRep) Source #
data TYPE (a :: RuntimeRep) Source #
Instances
type family Any :: k where ... Source #
The type constructor Any :: forall k. k is a type to which you can unsafely coerce any type, and back.
For unsafeCoerce this means for all lifted types t that
unsafeCoerce (unsafeCoerce x :: Any) :: t is equivalent to x and safe.
The same is true for *all* types when using
unsafeCoerce# :: forall (r1 :: RuntimeRep) (r2 :: RuntimeRep)
(a :: TYPE r1) (b :: TYPE r2).
a -> b
but only if you instantiate r1 and r2 to the same runtime representation.
For example using (unsafeCoerce# :: forall (a :: TYPE IntRep) (b :: TYPE IntRep). a -> b) x
is fine, but (unsafeCoerce# :: forall (a :: TYPE IntRep) (b :: TYPE FloatRep). a -> b)
will likely cause seg-faults or worse.
For this resason, users should always prefer unsafeCoerce over unsafeCoerce# when possible.
Here are some more examples:
bad_a1 :: Any (TYPE 'IntRep)
bad_a1 = unsafeCoerce# True
bad_a2 :: Any (TYPE ('BoxedRep 'UnliftedRep))
bad_a2 = unsafeCoerce# True
Here bad_a1 is bad because we started with True :: (Bool :: Type), represented by a boxed heap pointer,
and coerced it to a1 :: Any (TYPE 'IntRep), whose representation is a non-pointer integer.
That's why we had to use bad_a2unsafeCoerce#; it is really unsafe because it can change representations.
Similarly is bad because although both True and bad_a2 are represented by a heap pointer,
True is lifted but bad_a2@ is not; bugs here may be rather subtle.
If you must use unsafeCoerce# to cast to Any, type annotations are recommended
to make sure that Any has the correct kind. As casting between different runtimereps is
unsound. For example to cast a ByteArray# to Any you might use:
unsafeCoerce# b :: (Any :: TYPE ('BoxedRep 'Unlifted))
Instances
| Bits Bool Source # | Interpret Since: base-4.7.0.0 | ||||
Defined in GHC.Internal.Bits Methods (.&.) :: Bool -> Bool -> Bool Source # (.|.) :: Bool -> Bool -> Bool Source # xor :: Bool -> Bool -> Bool Source # complement :: Bool -> Bool Source # shift :: Bool -> Int -> Bool Source # rotate :: Bool -> Int -> Bool Source # setBit :: Bool -> Int -> Bool Source # clearBit :: Bool -> Int -> Bool Source # complementBit :: Bool -> Int -> Bool Source # testBit :: Bool -> Int -> Bool Source # bitSizeMaybe :: Bool -> Maybe Int Source # bitSize :: Bool -> Int Source # isSigned :: Bool -> Bool Source # shiftL :: Bool -> Int -> Bool Source # unsafeShiftL :: Bool -> Int -> Bool Source # shiftR :: Bool -> Int -> Bool Source # unsafeShiftR :: Bool -> Int -> Bool Source # rotateL :: Bool -> Int -> Bool Source # | |||||
| FiniteBits Bool Source # | Since: base-4.7.0.0 | ||||
Defined in GHC.Internal.Bits Methods finiteBitSize :: Bool -> Int Source # countLeadingZeros :: Bool -> Int Source # countTrailingZeros :: Bool -> Int Source # | |||||
| Eq Bool Source # | |||||
| Ord Bool Source # | |||||
Defined in GHC.Internal.Classes | |||||
| Data Bool Source # | Since: base-4.0.0.0 | ||||
Defined in GHC.Internal.Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bool -> c Bool Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bool Source # toConstr :: Bool -> Constr Source # dataTypeOf :: Bool -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bool) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bool) Source # gmapT :: (forall b. Data b => b -> b) -> Bool -> Bool Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Bool -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Bool -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bool -> m Bool Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool Source # | |||||
| Bounded Bool Source # | Since: base-2.1 | ||||
| Enum Bool Source # | Since: base-2.1 | ||||
| Storable Bool Source # | Since: base-2.1 | ||||
Defined in GHC.Internal.Foreign.Storable Methods sizeOf :: Bool -> Int Source # alignment :: Bool -> Int Source # peekElemOff :: Ptr Bool -> Int -> IO Bool Source # pokeElemOff :: Ptr Bool -> Int -> Bool -> IO () Source # peekByteOff :: Ptr b -> Int -> IO Bool Source # pokeByteOff :: Ptr b -> Int -> Bool -> IO () Source # | |||||
| Generic Bool Source # | |||||
Defined in GHC.Internal.Generics | |||||
| SingKind Bool | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Ix Bool Source # | Since: base-2.1 | ||||
Defined in GHC.Internal.Ix | |||||
| Read Bool Source # | Since: base-2.1 | ||||
| Show Bool Source # | Since: base-2.1 | ||||
| SingI 'False | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Generics | |||||
| SingI 'True | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Generics | |||||
| Lift Bool Source # | |||||
| type DemoteRep Bool Source # | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep Bool Source # | Since: base-4.6.0.0 | ||||
| data Sing (a :: Bool) Source # | |||||
The character type Char represents Unicode codespace
and its elements are code points as in definitions
D9 and D10 of the Unicode Standard.
Character literals in Haskell are single-quoted: 'Q', 'Я' or 'Ω'.
To represent a single quote itself use '\'', and to represent a backslash
use '\\'. The full grammar can be found in the section 2.6 of the
Haskell 2010 Language Report.
To specify a character by its code point one can use decimal, hexadecimal
or octal notation: '\65', '\x41' and '\o101' are all alternative forms
of 'A'. The largest code point is '\x10ffff'.
There is a special escape syntax for ASCII control characters:
| Escape | Alternatives | Meaning |
|---|---|---|
'\NUL' | '\0' | null character |
'\SOH' | '\1' | start of heading |
'\STX' | '\2' | start of text |
'\ETX' | '\3' | end of text |
'\EOT' | '\4' | end of transmission |
'\ENQ' | '\5' | enquiry |
'\ACK' | '\6' | acknowledge |
'\BEL' | '\7', '\a' | bell (alert) |
'\BS' | '\8', '\b' | backspace |
'\HT' | '\9', '\t' | horizontal tab |
'\LF' | '\10', '\n' | line feed (new line) |
'\VT' | '\11', '\v' | vertical tab |
'\FF' | '\12', '\f' | form feed |
'\CR' | '\13', '\r' | carriage return |
'\SO' | '\14' | shift out |
'\SI' | '\15' | shift in |
'\DLE' | '\16' | data link escape |
'\DC1' | '\17' | device control 1 |
'\DC2' | '\18' | device control 2 |
'\DC3' | '\19' | device control 3 |
'\DC4' | '\20' | device control 4 |
'\NAK' | '\21' | negative acknowledge |
'\SYN' | '\22' | synchronous idle |
'\ETB' | '\23' | end of transmission block |
'\CAN' | '\24' | cancel |
'\EM' | '\25' | end of medium |
'\SUB' | '\26' | substitute |
'\ESC' | '\27' | escape |
'\FS' | '\28' | file separator |
'\GS' | '\29' | group separator |
'\RS' | '\30' | record separator |
'\US' | '\31' | unit separator |
'\SP' | '\32', ' ' | space |
'\DEL' | '\127' | delete |
Instances
| IsChar Char Source # | Since: base-2.1 | ||||
| PrintfArg Char Source # | Since: base-2.1 | ||||
Defined in Text.Printf | |||||
| Eq Char Source # | |||||
| Ord Char Source # | |||||
Defined in GHC.Internal.Classes | |||||
| Data Char Source # | Since: base-4.0.0.0 | ||||
Defined in GHC.Internal.Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Char -> c Char Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Char Source # toConstr :: Char -> Constr Source # dataTypeOf :: Char -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Char) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Char) Source # gmapT :: (forall b. Data b => b -> b) -> Char -> Char Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Char -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Char -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Char -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Char -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Char -> m Char Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Char -> m Char Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Char -> m Char Source # | |||||
| Bounded Char Source # | Since: base-2.1 | ||||
| Enum Char Source # | Since: base-2.1 | ||||
| Storable Char Source # | Since: base-2.1 | ||||
Defined in GHC.Internal.Foreign.Storable Methods sizeOf :: Char -> Int Source # alignment :: Char -> Int Source # peekElemOff :: Ptr Char -> Int -> IO Char Source # pokeElemOff :: Ptr Char -> Int -> Char -> IO () Source # peekByteOff :: Ptr b -> Int -> IO Char Source # pokeByteOff :: Ptr b -> Int -> Char -> IO () Source # | |||||
| Ix Char Source # | Since: base-2.1 | ||||
Defined in GHC.Internal.Ix | |||||
| Read Char Source # | Since: base-2.1 | ||||
| Show Char Source # | Since: base-2.1 | ||||
| TestCoercion SChar Source # | Since: base-4.18.0.0 | ||||
Defined in GHC.Internal.TypeLits | |||||
| TestEquality SChar Source # | Since: base-4.18.0.0 | ||||
Defined in GHC.Internal.TypeLits | |||||
| Lift Char Source # | |||||
| Generic1 (URec Char :: k -> Type) Source # | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Eq1 (UChar :: Type -> Type) Source # | Since: base-4.21.0.0 | ||||
| Ord1 (UChar :: Type -> Type) Source # | Since: base-4.21.0.0 | ||||
Defined in Data.Functor.Classes | |||||
| Show1 (UChar :: Type -> Type) Source # | Since: base-4.21.0.0 | ||||
| Foldable (UChar :: Type -> Type) Source # | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Data.Foldable Methods fold :: Monoid m => UChar m -> m Source # foldMap :: Monoid m => (a -> m) -> UChar a -> m Source # foldMap' :: Monoid m => (a -> m) -> UChar a -> m Source # foldr :: (a -> b -> b) -> b -> UChar a -> b Source # foldr' :: (a -> b -> b) -> b -> UChar a -> b Source # foldl :: (b -> a -> b) -> b -> UChar a -> b Source # foldl' :: (b -> a -> b) -> b -> UChar a -> b Source # foldr1 :: (a -> a -> a) -> UChar a -> a Source # foldl1 :: (a -> a -> a) -> UChar a -> a Source # toList :: UChar a -> [a] Source # null :: UChar a -> Bool Source # length :: UChar a -> Int Source # elem :: Eq a => a -> UChar a -> Bool Source # maximum :: Ord a => UChar a -> a Source # minimum :: Ord a => UChar a -> a Source # | |||||
| Traversable (UChar :: Type -> Type) Source # | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Data.Traversable | |||||
| Functor (URec Char :: Type -> Type) Source # | Since: base-4.9.0.0 | ||||
| Eq (URec Char p) Source # | Since: base-4.9.0.0 | ||||
| Ord (URec Char p) Source # | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Generics Methods compare :: URec Char p -> URec Char p -> Ordering Source # (<) :: URec Char p -> URec Char p -> Bool Source # (<=) :: URec Char p -> URec Char p -> Bool Source # (>) :: URec Char p -> URec Char p -> Bool Source # (>=) :: URec Char p -> URec Char p -> Bool Source # | |||||
| Generic (URec Char p) Source # | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Show (URec Char p) Source # | Since: base-4.9.0.0 | ||||
| data URec Char (p :: k) Source # | Used for marking occurrences of Since: base-4.9.0.0 | ||||
| type Compare (a :: Char) (b :: Char) Source # | |||||
Defined in GHC.Internal.Data.Type.Ord | |||||
| type Rep1 (URec Char :: k -> Type) Source # | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Generics | |||||
| type Rep (URec Char p) Source # | Since: base-4.9.0.0 | ||||
Defined in GHC.Internal.Generics | |||||
class a ~R# b => Coercible (a :: k) (b :: k) Source #
Coercible is a two-parameter class that has instances for types a and b if
the compiler can infer that they have the same representation. This class
does not have regular instances; instead they are created on-the-fly during
type-checking. Trying to manually declare an instance of Coercible
is an error.
Nevertheless one can pretend that the following three kinds of instances exist. First, as a trivial base-case:
instance Coercible a a
Furthermore, for every type constructor there is
an instance that allows to coerce under the type constructor. For
example, let D be a prototypical type constructor (data or
newtype) with three type arguments, which have roles nominal,
representational resp. phantom. Then there is an instance of
the form
instance Coercible b b' => Coercible (D a b c) (D a b' c')
Note that the nominal type arguments are equal, the
representational type arguments can differ, but need to have a
Coercible instance themself, and the phantom type arguments can be
changed arbitrarily.
The third kind of instance exists for every newtype NT = MkNT T and
comes in two variants, namely
instance Coercible a T => Coercible a NT
instance Coercible T b => Coercible NT b
This instance is only usable if the constructor MkNT is in scope.
If, as a library author of a type constructor like Set a, you
want to prevent a user of your module to write
coerce :: Set T -> Set NT,
you need to set the role of Set's type parameter to nominal,
by writing
type role Set nominal
For more details about this feature, please refer to Safe Coercions by Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones and Stephanie Weirich.
Since: ghc-internal-0.4.0
type Constraint = CONSTRAINT LiftedRep Source #
The kind of lifted constraints
Data type Dict provides a simple way to wrap up a (lifted)
constraint as a type
Constructors
| a => MkDictBox |
Double-precision floating point numbers. It is desirable that this type be at least equal in range and precision to the IEEE double-precision type.
Instances
| PrintfArg Double Source # | Since: base-2.1 | ||||
Defined in Text.Printf Methods formatArg :: Double -> FieldFormatter Source # parseFormat :: Double -> ModifierParser Source # | |||||
| Eq Double Source # | Note that due to the presence of
Also note that
| ||||
| Ord Double Source # | IEEE 754 IEEE 754-2008, section 5.11 requires that if at least one of arguments of
IEEE 754-2008, section 5.10 defines Thus, users must be extremely cautious when using Moving further, the behaviour of IEEE 754-2008 compliant | ||||
| Data Double Source # | Since: base-4.0.0.0 | ||||
Defined in GHC.Internal.Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Double -> c Double Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Double Source # toConstr :: Double -> Constr Source # dataTypeOf :: Double -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Double) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Double) Source # gmapT :: (forall b. Data b => b -> b) -> Double -> Double Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Double -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Double -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Double -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Double -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Double -> m Double Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Double -> m Double Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Double -> m Double Source # | |||||
| Enum Double Source # |
List generators have extremely peculiar behavior, mandated by Haskell Report 2010:
Since: base-2.1 | ||||
Defined in GHC.Internal.Float Methods succ :: Double -> Double Source # pred :: Double -> Double Source # toEnum :: Int -> Double Source # fromEnum :: Double -> Int Source # enumFrom :: Double -> [Double] Source # enumFromThen :: Double -> Double -> [Double] Source # enumFromTo :: Double -> Double -> [Double] Source # enumFromThenTo :: Double -> Double -> Double -> [Double] Source # | |||||
| Floating Double Source # | Since: base-2.1 | ||||
Defined in GHC.Internal.Float Methods exp :: Double -> Double Source # log :: Double -> Double Source # sqrt :: Double -> Double Source # (**) :: Double -> Double -> Double Source # logBase :: Double -> Double -> Double Source # sin :: Double -> Double Source # cos :: Double -> Double Source # tan :: Double -> Double Source # asin :: Double -> Double Source # acos :: Double -> Double Source # atan :: Double -> Double Source # sinh :: Double -> Double Source # cosh :: Double -> Double Source # tanh :: Double -> Double Source # asinh :: Double -> Double Source # acosh :: Double -> Double Source # atanh :: Double -> Double Source # log1p :: Double -> Double Source # expm1 :: Double -> Double Source # | |||||
| RealFloat Double Source # | Since: base-2.1 | ||||
Defined in GHC.Internal.Float Methods floatRadix :: Double -> Integer Source # floatDigits :: Double -> Int Source # floatRange :: Double -> (Int, Int) Source # decodeFloat :: Double -> (Integer, Int) Source # encodeFloat :: Integer -> Int -> Double Source # exponent :: Double -> Int Source # significand :: Double -> Double Source # scaleFloat :: Int -> Double -> Double Source # isNaN :: Double -> Bool Source # isInfinite :: Double -> Bool Source # isDenormalized :: Double -> Bool Source # isNegativeZero :: Double -> Bool Source # | |||||
| Storable Double Source # | Since: base-2.1 | ||||
Defined in GHC.Internal.Foreign.Storable Methods sizeOf :: Double -> Int Source # alignment :: Double -> Int Source # peekElemOff :: Ptr Double -> Int -> IO Double Source # pokeElemOff :: Ptr Double -> Int -> Double -> IO () Source # peekByteOff :: Ptr b -> Int -> IO Double Source # pokeByteOff :: Ptr b -> Int -> Double -> IO () Source # | |||||
| Num Double Source # | This instance implements IEEE 754 standard with all its usual pitfalls about NaN, infinities and negative zero. Neither addition nor multiplication are associative or distributive:
Since: base-2.1 | ||||
Defined in GHC.Internal.Float | |||||
| Read Double Source # | Since: base-2.1 | ||||
| Fractional Double Source # | This instance implements IEEE 754 standard with all its usual pitfalls about NaN, infinities and negative zero.
Since: base-2.1 | ||||
| Real Double Source # | Beware that
Since: base-2.1 | ||||
Defined in GHC.Internal.Float Methods toRational :: Double -> Rational Source # | |||||
| RealFrac Double Source # | Beware that results for non-finite arguments are garbage:
and get even more non-sensical if you ask for Since: base-2.1 | ||||
| Show Double Source # | Since: base-2.1 | ||||
| Lift Double Source # | |||||
| Generic1 (URec Double :: k -> Type) Source # | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Eq1 (UDouble :: Type -> Type) Source | |||||