Copyright | (c) The University of Glasgow 1992-2002 |
---|---|
License | see libraries/base/LICENSE |
Maintainer | ghc-devs@haskell.org |
Stability | internal |
Portability | non-portable (GHC extensions) |
Safe Haskell | Unsafe |
Language | Haskell2010 |
Basic data types and classes.
Synopsis
- ($) :: (a -> b) -> a -> b
- ($!) :: (a -> b) -> a -> b
- (++) :: [a] -> [a] -> [a]
- (.) :: (b -> c) -> (a -> b) -> a -> c
- (<**>) :: Applicative f => f a -> f (a -> b) -> f b
- (=<<) :: Monad m => (a -> m b) -> m a -> m b
- absurd :: Void -> a
- ap :: Monad m => m (a -> b) -> m a -> m b
- asTypeOf :: a -> a -> a
- assert :: Bool -> a -> a
- augment :: (forall b. (a -> b -> b) -> b -> b) -> [a] -> [a]
- bindIO :: IO a -> (a -> IO b) -> IO b
- breakpoint :: a -> a
- breakpointCond :: Bool -> a -> a
- build :: (forall b. (a -> b -> b) -> b -> b) -> [a]
- const :: a -> b -> a
- divInt :: Int -> Int -> Int
- divModInt :: Int -> Int -> (Int, Int)
- eqString :: String -> String -> Bool
- failIO :: String -> IO a
- flip :: (a -> b -> c) -> b -> a -> c
- foldr :: (a -> b -> b) -> b -> [a] -> b
- getTag :: forall {lev :: Levity} (a :: TYPE ('BoxedRep lev)). DataToTag a => a -> Int#
- iShiftL# :: Int# -> Int# -> Int#
- iShiftRA# :: Int# -> Int# -> Int#
- iShiftRL# :: Int# -> Int# -> Int#
- id :: a -> a
- join :: Monad m => m (m a) -> m a
- liftA :: Applicative f => (a -> b) -> f a -> f b
- liftA3 :: Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
- liftM :: Monad m => (a1 -> r) -> m a1 -> m r
- liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r
- liftM3 :: Monad m => (a1 -> a2 -> a3 -> r) -> m a1 -> m a2 -> m a3 -> m r
- liftM4 :: Monad m => (a1 -> a2 -> a3 -> a4 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m r
- liftM5 :: Monad m => (a1 -> a2 -> a3 -> a4 -> a5 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m a5 -> m r
- map :: (a -> b) -> [a] -> [b]
- mapFB :: (elt -> lst -> lst) -> (a -> elt) -> a -> lst -> lst
- mapM :: Monad m => (a -> m b) -> [a] -> m [b]
- maxInt :: Int
- minInt :: Int
- modInt :: Int -> Int -> Int
- ord :: Char -> Int
- otherwise :: Bool
- quotInt :: Int -> Int -> Int
- quotRemInt :: Int -> Int -> (Int, Int)
- remInt :: Int -> Int -> Int
- returnIO :: a -> IO a
- sequence :: Monad m => [m a] -> m [a]
- shiftL# :: Word# -> Int# -> Word#
- shiftRL# :: Word# -> Int# -> Word#
- shift_mask :: Int# -> Int# -> Int#
- thenIO :: IO a -> IO b -> IO b
- unIO :: IO a -> State# RealWorld -> (# State# RealWorld, a #)
- unsafeChr :: Int -> Char
- until :: (a -> Bool) -> (a -> a) -> a -> a
- vacuous :: Functor f => f Void -> f a
- when :: Applicative f => Bool -> f () -> f ()
- class Applicative f => Alternative (f :: Type -> Type) where
- class Functor f => Applicative (f :: Type -> Type) where
- class Functor (f :: Type -> Type) where
- class Applicative m => Monad (m :: Type -> Type) where
- class (Alternative m, Monad m) => MonadPlus (m :: Type -> Type) where
- class Semigroup a => Monoid a where
- data NonEmpty a = a :| [a]
- data Opaque = O a
- class Semigroup a where
- data Void
- type String = [Char]
- (&&) :: Bool -> Bool -> Bool
- compareInt :: Int -> Int -> Ordering
- compareInt# :: Int# -> Int# -> Ordering
- compareWord :: Word -> Word -> Ordering
- compareWord# :: Word# -> Word# -> Ordering
- divInt# :: Int# -> Int# -> Int#
- divInt16# :: Int16# -> Int16# -> Int16#
- divInt32# :: Int32# -> Int32# -> Int32#
- divInt8# :: Int8# -> Int8# -> Int8#
- divModInt# :: Int# -> Int# -> (# Int#, Int# #)
- divModInt16# :: Int16# -> Int16# -> (# Int16#, Int16# #)
- divModInt32# :: Int32# -> Int32# -> (# Int32#, Int32# #)
- divModInt8# :: Int8# -> Int8# -> (# Int8#, Int8# #)
- eqChar :: Char -> Char -> Bool
- eqDouble :: Double -> Double -> Bool
- eqFloat :: Float -> Float -> Bool
- eqInt :: Int -> Int -> Bool
- eqWord :: Word -> Word -> Bool
- geInt :: Int -> Int -> Bool
- geWord :: Word -> Word -> Bool
- gtInt :: Int -> Int -> Bool
- gtWord :: Word -> Word -> Bool
- leInt :: Int -> Int -> Bool
- leWord :: Word -> Word -> Bool
- ltInt :: Int -> Int -> Bool
- ltWord :: Word -> Word -> Bool
- modInt# :: Int# -> Int# -> Int#
- modInt16# :: Int16# -> Int16# -> Int16#
- modInt32# :: Int32# -> Int32# -> Int32#
- modInt8# :: Int8# -> Int8# -> Int8#
- neChar :: Char -> Char -> Bool
- neInt :: Int -> Int -> Bool
- neWord :: Word -> Word -> Bool
- not :: Bool -> Bool
- (||) :: Bool -> Bool -> Bool
- class Eq a where
- class IP (x :: Symbol) a | x -> a where
- ip :: a
- class Eq a => Ord a where
- module GHC.CString
- module GHC.Magic
- module GHC.Magic.Dict
- isTrue# :: Int# -> Bool
- newtype IO a = IO (State# RealWorld -> (# State# RealWorld, a #))
- type KindBndr = Int
- data KindRep
- data Module = Module TrName TrName
- type family MultMul (a :: Multiplicity) (b :: Multiplicity) :: Multiplicity where ...
- data Ordering
- data SPEC
- data TrName
- data TyCon = TyCon Word64# Word64# Module TrName Int# KindRep
- data 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 Type = TYPE LiftedRep
- 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)
- (*#) :: 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#
- 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#
- coerce :: Coercible a b => a -> b
- 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#
- fmaddDoubleX2# :: DoubleX2# -> DoubleX2# -> DoubleX2# -> DoubleX2#
- fmaddDoubleX4# :: DoubleX4# -> DoubleX4# -> DoubleX4# -> DoubleX4#
- fmaddDoubleX8# :: DoubleX8# -> DoubleX8# -> DoubleX8# -> DoubleX8#
- fmaddFloat# :: Float# -> Float# -> Float# -> Float#
- fmaddFloatX16# :: FloatX16# -> FloatX16# -> FloatX16# -> FloatX16#
- fmaddFloatX4# :: FloatX4# -> FloatX4# -> FloatX4# -> FloatX4#
- fmaddFloatX8# :: FloatX8# -> FloatX8# -> FloatX8# -> FloatX8#
- fmsubDouble# :: Double# -> Double# -> Double# -> Double#
- fmsubDoubleX2# :: DoubleX2# -> DoubleX2# -> DoubleX2# -> DoubleX2#
- fmsubDoubleX4# :: DoubleX4# -> DoubleX4# -> DoubleX4# -> DoubleX4#
- fmsubDoubleX8# :: DoubleX8# -> DoubleX8# -> DoubleX8# -> DoubleX8#
- fmsubFloat# :: Float# -> Float# -> Float# -> Float#
- fmsubFloatX16# :: FloatX16# -> FloatX16# -> FloatX16# -> FloatX16#
- fmsubFloatX4# :: FloatX4# -> FloatX4# -> FloatX4# -> FloatX4#
- fmsubFloatX8# :: FloatX8# -> FloatX8# -> FloatX8# -> FloatX8#
- fnmaddDouble# :: Double# -> Double# -> Double# -> Double#
- fnmaddDoubleX2# :: DoubleX2# -> DoubleX2# -> DoubleX2# -> DoubleX2#
- fnmaddDoubleX4# :: DoubleX4# -> DoubleX4# -> DoubleX4# -> DoubleX4#
- fnmaddDoubleX8# :: DoubleX8# -> DoubleX8# -> DoubleX8# -> DoubleX8#
- fnmaddFloat# :: Float# -> Float# -> Float# -> Float#
- fnmaddFloatX16# :: FloatX16# -> FloatX16# -> FloatX16# -> FloatX16#
- fnmaddFloatX4# :: FloatX4# -> FloatX4# -> FloatX4# -> FloatX4#
- fnmaddFloatX8# :: FloatX8# -> FloatX8# -> FloatX8# -> FloatX8#
- fnmsubDouble# :: Double# -> Double# -> Double# -> Double#
- fnmsubDoubleX2# :: DoubleX2# -> DoubleX2# -> DoubleX2# -> DoubleX2#
- fnmsubDoubleX4# :: DoubleX4# -> DoubleX4# -> DoubleX4# -> DoubleX4#
- fnmsubDoubleX8# :: DoubleX8# -> DoubleX8# -> DoubleX8# -> DoubleX8#
- fnmsubFloat# :: Float# -> Float# -> Float# -> Float#
- fnmsubFloatX16# :: FloatX16# -> FloatX16# -> FloatX16# -> FloatX16#
- fnmsubFloatX4# :: FloatX4# -> FloatX4# -> FloatX4# -> FloatX4#
- fnmsubFloatX8# :: FloatX8# -> FloatX8# -> FloatX8# -> FloatX8#
- 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#
- isByteArrayWeaklyPinned# :: 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#
- isMutableByteArrayWeaklyPinned# :: 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 #)
- maxDouble# :: Double# -> Double# -> Double#
- maxDoubleX2# :: DoubleX2# -> DoubleX2# -> DoubleX2#
- maxDoubleX4# :: DoubleX4# -> DoubleX4# -> DoubleX4#
- maxDoubleX8# :: DoubleX8# -> DoubleX8# -> DoubleX8#
- maxFloat# :: Float# -> Float# -> Float#
- maxFloatX16# :: FloatX16# -> FloatX16# -> FloatX16#
- maxFloatX4# :: FloatX4# -> FloatX4# -> FloatX4#
- maxFloatX8# :: FloatX8# -> FloatX8# -> FloatX8#
- maxInt16X16# :: Int16X16# -> Int16X16# -> Int16X16#
- maxInt16X32# :: Int16X32# -> Int16X32# -> Int16X32#
- maxInt16X8# :: Int16X8# -> Int16X8# -> Int16X8#
- maxInt32X16# :: Int32X16# -> Int32X16# -> Int32X16#
- maxInt32X4# :: Int32X4# -> Int32X4# -> Int32X4#
- maxInt32X8# :: Int32X8# -> Int32X8# -> Int32X8#
- maxInt64X2# :: Int64X2# -> Int64X2# -> Int64X2#
- maxInt64X4# :: Int64X4# -> Int64X4# -> Int64X4#
- maxInt64X8# :: Int64X8# -> Int64X8# -> Int64X8#
- maxInt8X16# :: Int8X16# -> Int8X16# -> Int8X16#
- maxInt8X32# :: Int8X32# -> Int8X32# -> Int8X32#
- maxInt8X64# :: Int8X64# -> Int8X64# -> Int8X64#
- maxWord16X16# :: Word16X16# -> Word16X16# -> Word16X16#
- maxWord16X32# :: Word16X32# -> Word16X32# -> Word16X32#
- maxWord16X8# :: Word16X8# -> Word16X8# -> Word16X8#
- maxWord32X16# :: Word32X16# -> Word32X16# -> Word32X16#
- maxWord32X4# :: Word32X4# -> Word32X4# -> Word32X4#
- maxWord32X8# :: Word32X8# -> Word32X8# -> Word32X8#
- maxWord64X2# :: Word64X2# -> Word64X2# -> Word64X2#
- maxWord64X4# :: Word64X4# -> Word64X4# -> Word64X4#
- maxWord64X8# :: Word64X8# -> Word64X8# -> Word64X8#
- maxWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
- maxWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
- maxWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
- minDouble# :: Double# -> Double# -> Double#
- minDoubleX2# :: DoubleX2# -> DoubleX2# -> DoubleX2#
- minDoubleX4# :: DoubleX4# -> DoubleX4# -> DoubleX4#
- minDoubleX8# :: DoubleX8# -> DoubleX8# -> DoubleX8#
- minFloat# :: Float# -> Float# -> Float#
- minFloatX16# :: FloatX16# -> FloatX16# -> FloatX16#
- minFloatX4# :: FloatX4# -> FloatX4# -> FloatX4#
- minFloatX8# :: FloatX8# -> FloatX8# -> FloatX8#
- minInt16X16# :: Int16X16# -> Int16X16# -> Int16X16#
- minInt16X32# :: Int16X32# -> Int16X32# -> Int16X32#
- minInt16X8# :: Int16X8# -> Int16X8# -> Int16X8#
- minInt32X16# :: Int32X16# -> Int32X16# -> Int32X16#
- minInt32X4# :: Int32X4# -> Int32X4# -> Int32X4#
- minInt32X8# :: Int32X8# -> Int32X8# -> Int32X8#
- minInt64X2# :: Int64X2# -> Int64X2# -> Int64X2#
- minInt64X4# :: Int64X4# -> Int64X4# -> Int64X4#
- minInt64X8# :: Int64X8# -> Int64X8# -> Int64X8#
- minInt8X16# :: Int8X16# -> Int8X16# -> Int8X16#
- minInt8X32# :: Int8X32# -> Int8X32# -> Int8X32#
- minInt8X64# :: Int8X64# -> Int8X64# -> Int8X64#
- minWord16X16# :: Word16X16# -> Word16X16# -> Word16X16#
- minWord16X32# :: Word16X32# -> Word16X32# -> Word16X32#
- minWord16X8# :: Word16X8# -> Word16X8# -> Word16X8#
- minWord32X16# :: Word32X16# -> Word32X16# -> Word32X16#
- minWord32X4# :: Word32X4# -> Word32X4# -> Word32X4#
- minWord32X8# :: Word32X8# -> Word32X8# -> Word32X8#
- minWord64X2# :: Word64X2# -> Word64X2# -> Word64X2#
- minWord64X4# :: Word64X4# -> Word64X4# -> Word64X4#
- minWord64X8# :: Word64X8# -> Word64X8# -> Word64X8#
- minWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
- minWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
- minWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
- 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 #)
- newIOPort# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). State# d -> (# State# d, IOPort# d a #)
- 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# #)
- readIOPort# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). IOPort# d a -> State# d -> (# State# d, a #)
- 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
- 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
- shuffleDoubleX2# :: DoubleX2# -> DoubleX2# -> (# Int#, Int# #) -> DoubleX2#
- shuffleDoubleX4# :: DoubleX4# -> DoubleX4# -> (# Int#, Int#, Int#, Int# #) -> DoubleX4#
- shuffleDoubleX8# :: DoubleX8# -> DoubleX8# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> DoubleX8#
- shuffleFloatX16# :: FloatX16# -> FloatX16# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> FloatX16#
- shuffleFloatX4# :: FloatX4# -> FloatX4# -> (# Int#, Int#, Int#, Int# #) -> FloatX4#
- shuffleFloatX8# :: FloatX8# -> FloatX8# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> FloatX8#
- shuffleInt16X16# :: Int16X16# -> Int16X16# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Int16X16#
- shuffleInt16X32# :: Int16X32# -> Int16X32# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Int16X32#
- shuffleInt16X8# :: Int16X8# -> Int16X8# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Int16X8#
- shuffleInt32X16# :: Int32X16# -> Int32X16# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Int32X16#
- shuffleInt32X4# :: Int32X4# -> Int32X4# -> (# Int#, Int#, Int#, Int# #) -> Int32X4#
- shuffleInt32X8# :: Int32X8# -> Int32X8# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Int32X8#
- shuffleInt64X2# :: Int64X2# -> Int64X2# -> (# Int#, Int# #) -> Int64X2#
- shuffleInt64X4# :: Int64X4# -> Int64X4# -> (# Int#, Int#, Int#, Int# #) -> Int64X4#
- shuffleInt64X8# :: Int64X8# -> Int64X8# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Int64X8#
- shuffleInt8X16# :: Int8X16# -> Int8X16# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Int8X16#
- shuffleInt8X32# :: Int8X32# -> Int8X32# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Int8X32#
- shuffleInt8X64# :: Int8X64# -> Int8X64# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Int8X64#
- shuffleWord16X16# :: Word16X16# -> Word16X16# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Word16X16#
- shuffleWord16X32# :: Word16X32# -> Word16X32# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Word16X32#
- shuffleWord16X8# :: Word16X8# -> Word16X8# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Word16X8#
- shuffleWord32X16# :: Word32X16# -> Word32X16# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Word32X16#
- shuffleWord32X4# :: Word32X4# -> Word32X4# -> (# Int#, Int#, Int#, Int# #) -> Word32X4#
- shuffleWord32X8# :: Word32X8# -> Word32X8# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Word32X8#
- shuffleWord64X2# :: Word64X2# -> Word64X2# -> (# Int#, Int# #) -> Word64X2#
- shuffleWord64X4# :: Word64X4# -> Word64X4# -> (# Int#, Int#, Int#, Int# #) -> Word64X4#
- shuffleWord64X8# :: Word64X8# -> Word64X8# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Word64X8#
- shuffleWord8X16# :: Word8X16# -> Word8X16# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Word8X16#
- shuffleWord8X32# :: Word8X32# -> Word8X32# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Word8X32#
- shuffleWord8X64# :: Word8X64# -> Word8X64# -> (# Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int#, Int# #) -> Word8X64#
- 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
- writeIOPort# :: forall {l :: Levity} d (a :: TYPE ('BoxedRep l)). IOPort# d a -> a -> State# d -> (# State# d, Int# #)
- 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 IOPort# a (b :: TYPE ('BoxedRep l)) :: UnliftedType
- 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.Prim.Ext
- module GHC.Prim.PtrEq
- module GHC.Internal.Err
- module GHC.Internal.Maybe
Documentation
($) :: (a -> b) -> a -> b infixr 0 Source #
is the function application operator.($)
Applying
to a function ($)
f
and an argument x
gives the same result as applying f
to x
directly. The definition is akin to this:
($) :: (a -> b) -> a -> b ($) f x = f x
This is
specialized from id
a -> a
to (a -> b) -> (a -> b)
which by the associativity of (->)
is the same as (a -> b) -> a -> b
.
On the face of it, this may appear pointless! But it's actually one of the most useful and important operators in Haskell.
The order of operations is very different between ($)
and normal function application. Normal function application has precedence 10 - higher than any operator - and associates to the left. So these two definitions are equivalent:
expr = min 5 1 + 5 expr = ((min 5) 1) + 5
($)
has precedence 0 (the lowest) and associates to the right, so these are equivalent:
expr = min 5 $ 1 + 5 expr = (min 5) (1 + 5)
Examples
A common use cases of ($)
is to avoid parentheses in complex expressions.
For example, instead of using nested parentheses in the following Haskell function:
-- | Sum numbers in a string: strSum "100 5 -7" == 98 strSum ::String
->Int
strSum s =sum
(mapMaybe
readMaybe
(words
s))
we can deploy the function application operator:
-- | Sum numbers in a string: strSum "100 5 -7" == 98 strSum ::String
->Int
strSum s =sum
$
mapMaybe
readMaybe
$
words
s
($)
is also used as a section (a partially applied operator), in order to indicate that we wish to apply some yet-unspecified function to a given value. For example, to apply the argument 5
to a list of functions:
applyFive :: [Int] applyFive = map ($ 5) [(+1), (2^)] >>> [6, 32]
Technical Remark (Representation Polymorphism)
($)
is fully representation-polymorphic. This allows it to also be used with arguments of unlifted and even unboxed kinds, such as unboxed integers:
fastMod :: Int -> Int -> Int fastMod (I# x) (I# m) = I# $ remInt# x m
($!) :: (a -> b) -> a -> b infixr 0 Source #
Strict (call-by-value) application operator. It takes a function and an argument, evaluates the argument to weak head normal form (WHNF), then calls the function with that value.
(++) :: [a] -> [a] -> [a] infixr 5 Source #
(++)
appends two lists, i.e.,
[x1, ..., xm] ++ [y1, ..., yn] == [x1, ..., xm, y1, ..., yn] [x1, ..., xm] ++ [y1, ...] == [x1, ..., xm, y1, ...]
If the first list is not finite, the result is the first list.
Performance considerations
This function takes linear time in the number of elements of the
first list. Thus it is better to associate repeated
applications of (++)
to the right (which is the default behaviour):
xs ++ (ys ++ zs)
or simply xs ++ ys ++ zs
, but not (xs ++ ys) ++ zs
.
For the same reason concat
=
foldr
(++)
[]
has linear performance, while foldl
(++)
[]
is prone
to quadratic slowdown
Examples
>>>
[1, 2, 3] ++ [4, 5, 6]
[1,2,3,4,5,6]
>>>
[] ++ [1, 2, 3]
[1,2,3]
>>>
[3, 2, 1] ++ []
[3,2,1]
(.) :: (b -> c) -> (a -> b) -> a -> c infixr 9 Source #
Right to left function composition.
(f . g) x = f (g x)
f . id = f = id . f
Examples
>>>
map ((*2) . length) [[], [0, 1, 2], [0]]
[0,6,2]
>>>
foldr (.) id [(+1), (*3), (^3)] 2
25
>>>
let (...) = (.).(.) in ((*2)...(+)) 5 10
30
(<**>) :: Applicative f => f a -> f (a -> b) -> f b infixl 4 Source #
A variant of <*>
with the types of the arguments reversed. It differs from
in that the effects are resolved in the order the arguments are
presented.flip
(<*>)
Examples
>>>
(<**>) (print 1) (id <$ print 2)
1 2
>>>
flip (<*>) (print 1) (id <$ print 2)
2 1
>>>
ZipList [4, 5, 6] <**> ZipList [(+1), (*2), (/3)]
ZipList {getZipList = [5.0,10.0,2.0]}
(=<<) :: Monad m => (a -> m b) -> m a -> m b infixr 1 Source #
Same as >>=
, but with the arguments interchanged.
as >>= f == f =<< as
Since Void
values logically don't exist, this witnesses the
logical reasoning tool of "ex falso quodlibet".
>>>
let x :: Either Void Int; x = Right 5
>>>
:{
case x of Right r -> r Left l -> absurd l :} 5
Since: base-4.8.0.0
assert :: Bool -> a -> a Source #
If the first argument evaluates to True
, then the result is the
second argument. Otherwise an AssertionFailed
exception
is raised, containing a String
with the source file and line number of the
call to assert
.
Assertions can normally be turned on or off with a compiler flag
(for GHC, assertions are normally on unless optimisation is turned on
with -O
or the -fignore-asserts
option is given). When assertions are turned off, the first
argument to assert
is ignored, and the second argument is
returned as the result.
breakpoint :: a -> a Source #
breakpointCond :: Bool -> a -> a Source #
const x y
always evaluates to x
, ignoring its second argument.
const x = \_ -> x
This function might seem useless at first glance, but it can be very useful in a higher order context.
Examples
>>>
const 42 "hello"
42
>>>
map (const 42) [0..3]
[42,42,42,42]
eqString :: String -> String -> Bool Source #
This String
equality predicate is used when desugaring
pattern-matches against strings.
flip :: (a -> b -> c) -> b -> a -> c Source #
takes its (first) two arguments in the reverse order of flip
ff
.
flip f x y = f y x
flip . flip = id
Examples
>>>
flip (++) "hello" "world"
"worldhello"
>>>
let (.>) = flip (.) in (+1) .> show $ 5
"6"
foldr :: (a -> b -> b) -> b -> [a] -> b Source #
foldr
, applied to a binary operator, a starting value (typically
the right-identity of the operator), and a list, reduces the list
using the binary operator, from right to left:
foldr f z [x1, x2, ..., xn] == x1 `f` (x2 `f` ... (xn `f` z)...)
getTag :: forall {lev :: Levity} (a :: TYPE ('BoxedRep lev)). DataToTag a => a -> Int# Source #
Returns the tag of a constructor application; this function was once used by the deriving code for Eq, Ord and Enum.
iShiftL# :: Int# -> Int# -> Int# Source #
Shift the argument left by the specified number of bits (which must be non-negative).
iShiftRA# :: Int# -> Int# -> Int# Source #
Shift the argument right (signed) by the specified number of bits (which must be non-negative). The RA means "right, arithmetic" (as opposed to RL for logical)
iShiftRL# :: Int# -> Int# -> Int# Source #
Shift the argument right (unsigned) by the specified number of bits (which must be non-negative). The RL means "right, logical" (as opposed to RA for arithmetic)
Identity function.
id x = x
This function might seem useless at first glance, but it can be very useful in a higher order context.
Examples
>>>
length $ filter id [True, True, False, True]
3
>>>
Just (Just 3) >>= id
Just 3
>>>
foldr id 0 [(^3), (*5), (+2)]
1000
join :: Monad m => m (m a) -> m a Source #
The join
function is the conventional monad join operator. It
is used to remove one level of monadic structure, projecting its
bound argument into the outer level.
'
' can be understood as the join
bssdo
expression
do bs <- bss bs
Examples
>>>
join [[1, 2, 3], [4, 5, 6], [7, 8, 9]]
[1,2,3,4,5,6,7,8,9]
>>>
join (Just (Just 3))
Just 3
A common use of join
is to run an IO
computation returned from
an STM
transaction, since STM
transactions
can't perform IO
directly. Recall that
atomically
:: STM a -> IO a
is used to run STM
transactions atomically. So, by
specializing the types of atomically
and join
to
atomically
:: STM (IO b) -> IO (IO b)join
:: IO (IO b) -> IO b
we can compose them as
join
.atomically
:: STM (IO b) -> IO b
liftA :: Applicative f => (a -> b) -> f a -> f b Source #
Lift a function to actions.
Equivalent to Functor's fmap
but implemented using only Applicative
's methods:
liftA
f a = pure
f <*>
a
As such this function may be used to implement a Functor
instance from an Applicative
one.
Examples
Using the Applicative instance for Lists:
>>>
liftA (+1) [1, 2]
[2,3]
Or the Applicative instance for Maybe
>>>
liftA (+1) (Just 3)
Just 4
liftA3 :: Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d Source #
Lift a ternary function to actions.
liftM :: Monad m => (a1 -> r) -> m a1 -> m r Source #
Promote a function to a monad.
This is equivalent to fmap
but specialised to Monads.
liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r Source #
Promote a function to a monad, scanning the monadic arguments from left to right.
Examples
>>>
liftM2 (+) [0,1] [0,2]
[0,2,1,3]
>>>
liftM2 (+) (Just 1) Nothing
Nothing
>>>
liftM2 (+) (+ 3) (* 2) 5
18
liftM3 :: Monad m => (a1 -> a2 -> a3 -> r) -> m a1 -> m a2 -> m a3 -> m r Source #
Promote a function to a monad, scanning the monadic arguments from
left to right (cf. liftM2
).
liftM4 :: Monad m => (a1 -> a2 -> a3 -> a4 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m r Source #
Promote a function to a monad, scanning the monadic arguments from
left to right (cf. liftM2
).
liftM5 :: Monad m => (a1 -> a2 -> a3 -> a4 -> a5 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m a5 -> m r Source #
Promote a function to a monad, scanning the monadic arguments from
left to right (cf. liftM2
).
map :: (a -> b) -> [a] -> [b] Source #
\(\mathcal{O}(n)\). map
f xs
is the list obtained by applying f
to
each element of xs
, i.e.,
map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn] map f [x1, x2, ...] == [f x1, f x2, ...]
this means that map id == id
Examples
>>>
map (+1) [1, 2, 3]
[2,3,4]
>>>
map id [1, 2, 3]
[1,2,3]
>>>
map (\n -> 3 * n + 1) [1, 2, 3]
[4,7,10]
sequence :: Monad m => [m a] -> m [a] Source #
Evaluate each action in the sequence from left to right, and collect the results.
shiftL# :: Word# -> Int# -> Word# Source #
Shift the argument left by the specified number of bits (which must be non-negative).
shiftRL# :: Word# -> Int# -> Word# Source #
Shift the argument right by the specified number of bits (which must be non-negative). The RL means "right, logical" (as opposed to RA for arithmetic) (although an arithmetic right shift wouldn't make sense for Word#)
shift_mask :: Int# -> Int# -> Int# Source #
This function is used to implement branchless shifts. If the number of bits to shift is greater than or equal to the type size in bits, then the shift must return 0. Instead of doing a test, we use a mask obtained via this function which is branchless too.
shift_mask m b | b < m = 0xFF..FF | otherwise = 0
until :: (a -> Bool) -> (a -> a) -> a -> a Source #
yields the result of applying until
p ff
until p
holds.
when :: Applicative f => Bool -> f () -> f () Source #
Conditional execution of Applicative
expressions. For example,
Examples
when debug (putStrLn "Debugging")
will output the string Debugging
if the Boolean value debug
is True
, and otherwise do nothing.
>>>
putStr "pi:" >> when False (print 3.14159)
pi:
class Applicative f => Alternative (f :: Type -> Type) where Source #
A monoid on applicative functors.
If defined, some
and many
should be the least solutions
of the equations:
Examples
>>>
Nothing <|> Just 42
Just 42
>>>
[1, 2] <|> [3, 4]
[1,2,3,4]
>>>
empty <|> print (2^15)
32768
The identity of <|>
empty <|> a == a a <|> empty == a
(<|>) :: f a -> f a -> f a infixl 3 Source #
An associative binary operation
One or more.
Examples
>>>
some (putStr "la")
lalalalalalalalala... * goes on forever *
>>>
some Nothing
nothing
>>>
take 5 <$> some (Just 1)
* hangs forever *
Note that this function can be used with Parsers based on
Applicatives. In that case some parser
will attempt to
parse parser
one or more times until it fails.
Zero or more.
Examples
>>>
many (putStr "la")
lalalalalalalalala... * goes on forever *
>>>
many Nothing
Just []
>>>
take 5 <$> many (Just 1)
* hangs forever *
Note that this function can be used with Parsers based on
Applicatives. In that case many parser
will attempt to
parse parser
zero or more times until it fails.
Instances
Alternative STM Source # | Takes the first non- Since: base-4.8.0.0 |
Alternative ZipList Source # | Since: base-4.11.0.0 |
Alternative ReadP Source # | Since: base-4.6.0.0 |
Alternative ReadPrec Source # | Since: base-4.6.0.0 |
Alternative IO Source # | Takes the first non-throwing Since: base-4.9.0.0 |
Alternative Maybe Source # | Picks the leftmost Since: base-2.1 |
Alternative [] Source # | Combines lists by concatenation, starting from the empty list. Since: base-2.1 |
ArrowPlus a => Alternative (ArrowMonad a) Source # | Since: base-4.6.0.0 |
Defined in GHC.Internal.Control.Arrow empty :: ArrowMonad a a0 Source # (<|>) :: ArrowMonad a a0 -> ArrowMonad a a0 -> ArrowMonad a a0 Source # some :: ArrowMonad a a0 -> ArrowMonad a [a0] Source # many :: ArrowMonad a a0 -> ArrowMonad a [a0] Source # | |
Alternative (Proxy :: Type -> Type) Source # | Since: base-4.9.0.0 |
Alternative (U1 :: Type -> Type) Source # | Since: base-4.9.0.0 |
Alternative m => Alternative (Kleisli m a) Source # | Since: base-4.14.0.0 |
Alternative f => Alternative (Ap f) Source # | Since: base-4.12.0.0 |
Alternative f => Alternative (Alt f) Source # | Since: base-4.8.0.0 |
(Generic1 f, Alternative (Rep1 f)) => Alternative (Generically1 f) Source # | Since: base-4.17.0.0 |
Defined in GHC.Internal.Generics empty :: Generically1 f a Source # (<|>) :: Generically1 f a -> Generically1 f a -> Generically1 f a Source # some :: Generically1 f a -> Generically1 f [a] Source # many :: Generically1 f a -> Generically1 f [a] Source # | |
Alternative f => Alternative (Rec1 f) Source # | Since: base-4.9.0.0 |
(Alternative f, Alternative g) => Alternative (f :*: g) Source # | Since: base-4.9.0.0 |
(Alternative f, Applicative g) => Alternative (f :.: g) Source # | Since: base-4.9.0.0 |
Alternative f => Alternative (M1 i c f) Source # | Since: base-4.9.0.0 |
class Functor f => Applicative (f :: Type -> Type) where Source #
A functor with application, providing operations to
A minimal complete definition must include implementations of pure
and of either <*>
or liftA2
. If it defines both, then they must behave
the same as their default definitions:
(<*>
) =liftA2
id
liftA2
f x y = f<$>
x<*>
y
Further, any definition must satisfy the following:
- Identity
pure
id
<*>
v = v- Composition
pure
(.)<*>
u<*>
v<*>
w = u<*>
(v<*>
w)- Homomorphism
pure
f<*>
pure
x =pure
(f x)- Interchange
u
<*>
pure
y =pure
($
y)<*>
u
The other methods have the following default definitions, which may be overridden with equivalent specialized implementations:
As a consequence of these laws, the Functor
instance for f
will satisfy
It may be useful to note that supposing
forall x y. p (q x y) = f x . g y
it follows from the above that
liftA2
p (liftA2
q u v) =liftA2
f u .liftA2
g v
If f
is also a Monad
, it should satisfy
(which implies that pure
and <*>
satisfy the applicative functor laws).
Lift a value into the Structure.
Examples
>>>
pure 1 :: Maybe Int
Just 1
>>>
pure 'z' :: [Char]
"z"
>>>
pure (pure ":D") :: Maybe [String]
Just [":D"]
(<*>) :: f (a -> b) -> f a -> f b infixl 4 Source #
Sequential application.
A few functors support an implementation of <*>
that is more
efficient than the default one.
Example
Used in combination with
, (<$>)
can be used to build a record.(<*>)
>>>
data MyState = MyState {arg1 :: Foo, arg2 :: Bar, arg3 :: Baz}
>>>
produceFoo :: Applicative f => f Foo
>>>
produceBar :: Applicative f => f Bar
>>>
produceBaz :: Applicative f => f Baz
>>>
mkState :: Applicative f => f MyState
>>>
mkState = MyState <$> produceFoo <*> produceBar <*> produceBaz
liftA2 :: (a -> b -> c) -> f a -> f b -> f c Source #
Lift a binary function to actions.
Some functors support an implementation of liftA2
that is more
efficient than the default one. In particular, if fmap
is an
expensive operation, it is likely better to use liftA2
than to
fmap
over the structure and then use <*>
.
This became a typeclass method in 4.10.0.0. Prior to that, it was
a function defined in terms of <*>
and fmap
.
Example
>>>
liftA2 (,) (Just 3) (Just 5)
Just (3,5)
>>>
liftA2 (+) [1, 2, 3] [4, 5, 6]
[5,6,7,6,7,8,7,8,9]
(*>) :: f a -> f b -> f b infixl 4 Source #
Sequence actions, discarding the value of the first argument.
Examples
If used in conjunction with the Applicative instance for Maybe
,
you can chain Maybe computations, with a possible "early return"
in case of Nothing
.
>>>
Just 2 *> Just 3
Just 3
>>>
Nothing *> Just 3
Nothing
Of course a more interesting use case would be to have effectful computations instead of just returning pure values.
>>>
import Data.Char
>>>
import GHC.Internal.Text.ParserCombinators.ReadP
>>>
let p = string "my name is " *> munch1 isAlpha <* eof
>>>
readP_to_S p "my name is Simon"
[("Simon","")]
(<*) :: f a -> f b -> f a infixl 4 Source #
Sequence actions, discarding the value of the second argument.
Instances
Applicative NonEmpty Source # | Since: base-4.9.0.0 |
Defined in GHC.Internal.Base | |
Applicative STM Source # | Since: base-4.8.0.0 |
Applicative Identity Source # | Since: base-4.8.0.0 |
Defined in GHC.Internal.Data.Functor.Identity | |
Applicative First Source # | Since: base-4.8.0.0 |
Applicative Last Source # | Since: base-4.8.0.0 |
Applicative Down Source # | Since: base-4.11.0.0 |
Applicative Dual Source # | Since: base-4.8.0.0 |
Applicative Product Source # | Since: base-4.8.0.0 |
Defined in GHC.Internal.Data.Semigroup.Internal | |
Applicative Sum Source # | Since: base-4.8.0.0 |
Applicative ZipList Source # | f <$> ZipList xs1 <*> ... <*> ZipList xsN = ZipList (zipWithN f xs1 ... xsN) where (\a b c -> stimes c [a, b]) <$> ZipList "abcd" <*> ZipList "567" <*> ZipList [1..] = ZipList (zipWith3 (\a b c -> stimes c [a, b]) "abcd" "567" [1..]) = ZipList {getZipList = ["a5","b6b6","c7c7c7"]} Since: base-2.1 |
Defined in GHC.Internal.Functor.ZipList | |
Applicative NoIO Source # | Since: base-4.8.0.0 |
Applicative Par1 Source # | Since: base-4.9.0.0 |
Applicative Q Source # | |
Applicative ReadP Source # | Since: base-4.6.0.0 |
Applicative ReadPrec Source # | Since: base-4.6.0.0 |
Defined in GHC.Internal.Text.ParserCombinators.ReadPrec | |
Applicative IO Source # | Since: base-2.1 |
Applicative Maybe Source # | Since: base-2.1 |
Applicative Solo Source # | Since: base-4.15 |
Applicative [] Source # | Since: base-2.1 |
Arrow a => Applicative (ArrowMonad a) Source # | Since: base-4.6.0.0 |
Defined in GHC.Internal.Control.Arrow pure :: a0 -> ArrowMonad a a0 Source # (<*>) :: ArrowMonad a (a0 -> b) -> ArrowMonad a a0 -> ArrowMonad a b Source # liftA2 :: (a0 -> b -> c) -> ArrowMonad a a0 -> ArrowMonad a b -> ArrowMonad a c Source # (*>) :: ArrowMonad a a0 -> ArrowMonad a b -> ArrowMonad a b Source # (<*) :: ArrowMonad a a0 -> ArrowMonad a b -> ArrowMonad a a0 Source # | |
Applicative (ST s) Source # | Since: base-2.1 |
Applicative (Either e) Source # | Since: base-3.0 |
Defined in GHC.Internal.Data.Either | |
Applicative (StateL s) Source # | Since: base-4.0 |
Defined in GHC.Internal.Data.Functor.Utils | |
Applicative (StateR s) Source # | Since: base-4.0 |
Defined in GHC.Internal.Data.Functor.Utils | |
Applicative (Proxy :: Type -> Type) Source # | Since: base-4.7.0.0 |
Applicative (U1 :: Type -> Type) Source # | Since: base-4.9.0.0 |
Applicative (ST s) Source # | Since: base-4.4.0.0 |
Monoid a => Applicative ((,) a) Source # | For tuples, the ("hello ", (+15)) <*> ("world!", 2002) ("hello world!",2017) Since: base-2.1 |
Applicative m => Applicative (Kleisli m a) Source # | Since: base-4.14.0.0 |
Defined in GHC.Internal.Control.Arrow pure :: a0 -> Kleisli m a a0 Source # (<*>) :: Kleisli m a (a0 -> b) -> Kleisli m a a0 -> Kleisli m a b Source # liftA2 :: (a0 -> b -> c) -> Kleisli m a a0 -> Kleisli m a b -> Kleisli m a c Source # (*>) :: Kleisli m a a0 -> Kleisli m a b -> Kleisli m a b Source # (<*) :: Kleisli m a a0 -> Kleisli m a b -> Kleisli m a a0 Source # | |
Monoid m => Applicative (Const m :: Type -> Type) Source # | Since: base-2.0.1 |
Defined in GHC.Internal.Data.Functor.Const | |
Monad m => Applicative (StateT s m) Source # | Since: base-4.18.0.0 |
Defined in GHC.Internal.Data.Functor.Utils pure :: a -> StateT s m a Source # (<*>) :: StateT s m (a -> b) -> StateT s m a -> StateT s m b Source # liftA2 :: (a -> b -> c) -> StateT s m a -> StateT s m b -> StateT s m c Source # (*>) :: StateT s m a -> StateT s m b -> StateT s m b Source # (<*) :: StateT s m a -> StateT s m b -> StateT s m a Source # | |
Applicative f => Applicative (Ap f) Source # | Since: base-4.12.0.0 |
Applicative f => Applicative (Alt f) Source # | Since: base-4.8.0.0 |
(Generic1 f, Applicative (Rep1 f)) => Applicative (Generically1 f) Source # | Since: base-4.17.0.0 |
Defined in GHC.Internal.Generics pure :: a -> Generically1 f a Source # (<*>) :: Generically1 f (a -> b) -> Generically1 f a -> Generically1 f b Source # liftA2 :: (a -> b -> c) -> Generically1 f a -> Generically1 f b -> Generically1 f c Source # (*>) :: Generically1 f a -> Generically1 f b -> Generically1 f b Source # (<*) :: Generically1 f a -> Generically1 f b -> Generically1 f a Source # | |
Applicative f => Applicative (Rec1 f) Source # | Since: base-4.9.0.0 |
(Monoid a, Monoid b) => Applicative ((,,) a b) Source # | Since: base-4.14.0.0 |
Defined in GHC.Internal.Base | |
(Applicative f, Applicative g) => Applicative (f :*: g) Source # | Since: base-4.9.0.0 |
Defined in GHC.Internal.Generics | |
Monoid c => Applicative (K1 i c :: Type -> Type) Source # | Since: base-4.12.0.0 |
(Monoid a, Monoid b, Monoid c) => Applicative ((,,,) a b c) Source # | Since: base-4.14.0.0 |
Defined in GHC.Internal.Base pure :: a0 -> (a, b, c, a0) Source # (<*>) :: (a, b, c, a0 -> b0) -> (a, b, c, a0) -> (a, b, c, b0) Source # liftA2 :: (a0 -> b0 -> c0) -> (a, b, c, a0) -> (a, b, c, b0) -> (a, b, c, c0) Source # (*>) :: (a, b, c, a0) -> (a, b, c, b0) -> (a, b, c, b0) Source # (<*) :: (a, b, c, a0) -> (a, b, c, b0) -> (a, b, c, a0) Source # | |
Applicative ((->) r) Source # | Since: base-2.1 |
(Applicative f, Applicative g) => Applicative (f :.: g) Source # | Since: base-4.9.0.0 |
Defined in GHC.Internal.Generics | |
Applicative f => Applicative (M1 i c f) Source # | Since: base-4.9.0.0 |
Defined in GHC.Internal.Generics |
class Functor (f :: Type -> Type) where Source #
A type f
is a Functor if it provides a function fmap
which, given any types a
and b
lets you apply any function from (a -> b)
to turn an f a
into an f b
, preserving the
structure of f
. Furthermore f
needs to adhere to the following:
Note, that the second law follows from the free theorem of the type fmap
and
the first law, so you need only check that the former condition holds.
See these articles by School of Haskell or
David Luposchainsky
for an explanation.
fmap :: (a -> b) -> f a -> f b Source #
fmap
is used to apply a function of type (a -> b)
to a value of type f a
,
where f is a functor, to produce a value of type f b
.
Note that for any type constructor with more than one parameter (e.g., Either
),
only the last type parameter can be modified with fmap
(e.g., b
in `Either a b`).
Some type constructors with two parameters or more have a
instance that allows
both the last and the penultimate parameters to be mapped over.Bifunctor