HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Moduleghc-prim-0.12.0Haskell2010

GHC.PrimopWrappers

Users should not import this module. It is GHC internal only. Use GHC.Exts instead.

  • 730 values
  • Packageghc-prim-0.12.0
  • Exports730
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourcePrimopWrappers.hs
valuegtChar# :: Char# -> Char# -> Int#
#
valuegeChar# :: Char# -> Char# -> Int#
#
valueeqChar# :: Char# -> Char# -> Int#
#
valueneChar# :: Char# -> Char# -> Int#
#
valueltChar# :: Char# -> Char# -> Int#
#
valueleChar# :: Char# -> Char# -> Int#
#
valueord# :: Char# -> Int#
#
valuesubInt8# :: Int8# -> Int8# -> Int8#
#
valueremInt8# :: Int8# -> Int8# -> Int8#
#
valueeqInt8# :: Int8# -> Int8# -> Int#
#
valuegeInt8# :: Int8# -> Int8# -> Int#
#
valuegtInt8# :: Int8# -> Int8# -> Int#
#
valueleInt8# :: Int8# -> Int8# -> Int#
#
valueltInt8# :: Int8# -> Int8# -> Int#
#
valueneInt8# :: Int8# -> Int8# -> Int#
#
valuesubWord8# :: Word8# -> Word8# -> Word8#
#
valueremWord8# :: Word8# -> Word8# -> Word8#
#
valueandWord8# :: Word8# -> Word8# -> Word8#
#
valueorWord8# :: Word8# -> Word8# -> Word8#
#
valuexorWord8# :: Word8# -> Word8# -> Word8#
#
valueeqWord8# :: Word8# -> Word8# -> Int#
#
valuegeWord8# :: Word8# -> Word8# -> Int#
#
valuegtWord8# :: Word8# -> Word8# -> Int#
#
valueleWord8# :: Word8# -> Word8# -> Int#
#
valueltWord8# :: Word8# -> Word8# -> Int#
#
valueneWord8# :: Word8# -> Word8# -> Int#
#
valuesubInt16# :: Int16# -> Int16# -> Int16#
#
valueremInt16# :: Int16# -> Int16# -> Int16#
#
valueeqInt16# :: Int16# -> Int16# -> Int#
#
valuegeInt16# :: Int16# -> Int16# -> Int#
#
valuegtInt16# :: Int16# -> Int16# -> Int#
#
valueleInt16# :: Int16# -> Int16# -> Int#
#
valueltInt16# :: Int16# -> Int16# -> Int#
#
valueneInt16# :: Int16# -> Int16# -> Int#
#
valueorWord16# :: Word16# -> Word16# -> Word16#
#
valueeqWord16# :: Word16# -> Word16# -> Int#
#
valuegeWord16# :: Word16# -> Word16# -> Int#
#
valuegtWord16# :: Word16# -> Word16# -> Int#
#
valueleWord16# :: Word16# -> Word16# -> Int#
#
valueltWord16# :: Word16# -> Word16# -> Int#
#
valueneWord16# :: Word16# -> Word16# -> Int#
#
valuesubInt32# :: Int32# -> Int32# -> Int32#
#
valueremInt32# :: Int32# -> Int32# -> Int32#
#
valueeqInt32# :: Int32# -> Int32# -> Int#
#
valuegeInt32# :: Int32# -> Int32# -> Int#
#
valuegtInt32# :: Int32# -> Int32# -> Int#
#
valueleInt32# :: Int32# -> Int32# -> Int#
#
valueltInt32# :: Int32# -> Int32# -> Int#
#
valueneInt32# :: Int32# -> Int32# -> Int#
#
valueorWord32# :: Word32# -> Word32# -> Word32#
#
valueeqWord32# :: Word32# -> Word32# -> Int#
#
valuegeWord32# :: Word32# -> Word32# -> Int#
#
valuegtWord32# :: Word32# -> Word32# -> Int#
#
valueleWord32# :: Word32# -> Word32# -> Int#
#
valueltWord32# :: Word32# -> Word32# -> Int#
#
valueneWord32# :: Word32# -> Word32# -> Int#
#
valuesubInt64# :: Int64# -> Int64# -> Int64#
#
valueremInt64# :: Int64# -> Int64# -> Int64#
#
valueeqInt64# :: Int64# -> Int64# -> Int#
#
valuegeInt64# :: Int64# -> Int64# -> Int#
#
valuegtInt64# :: Int64# -> Int64# -> Int#
#
valueleInt64# :: Int64# -> Int64# -> Int#
#
valueltInt64# :: Int64# -> Int64# -> Int#
#
valueneInt64# :: Int64# -> Int64# -> Int#
#
valueand64# :: Word64# -> Word64# -> Word64#
#
valueor64# :: Word64# -> Word64# -> Word64#
#
valuexor64# :: Word64# -> Word64# -> Word64#
#
valuenot64# :: Word64# -> Word64#
#
valueeqWord64# :: Word64# -> Word64# -> Int#
#
valuegeWord64# :: Word64# -> Word64# -> Int#
#
valuegtWord64# :: Word64# -> Word64# -> Int#
#
valueleWord64# :: Word64# -> Word64# -> Int#
#
valueltWord64# :: Word64# -> Word64# -> Int#
#
valueneWord64# :: Word64# -> Word64# -> Int#
#
value(+#) :: Int# -> Int# -> Int#
#
value(-#) :: Int# -> Int# -> Int#
#
value(*#) :: Int# -> Int# -> Int#
#
valuetimesInt2# :: Int# -> Int# -> (# Int#, Int#, Int# #)
#
valueremInt# :: Int# -> Int# -> Int#
#
valueandI# :: Int# -> Int# -> Int#
#
valueorI# :: Int# -> Int# -> Int#
#
valuexorI# :: Int# -> Int# -> Int#
#
valuenotI# :: Int# -> Int#
#
valueaddIntC# :: Int# -> Int# -> (# Int#, Int# #)
#
valuesubIntC# :: Int# -> Int# -> (# Int#, Int# #)
#
value(>#) :: Int# -> Int# -> Int#
#
value(>=#) :: Int# -> Int# -> Int#
#
value(==#) :: Int# -> Int# -> Int#
#
value(/=#) :: Int# -> Int# -> Int#
#
value(<#) :: Int# -> Int# -> Int#
#
value(<=#) :: Int# -> Int# -> Int#
#
valuechr# :: Int# -> Char#
#
valueaddWordC# :: Word# -> Word# -> (# Word#, Int# #)
#
valuesubWordC# :: Word# -> Word# -> (# Word#, Int# #)
#
valueplusWord2# :: Word# -> Word# -> (# Word#, Word# #)
#
valuetimesWord2# :: Word# -> Word# -> (# Word#, Word# #)
#
valueremWord# :: Word# -> Word# -> Word#
#
valuequotRemWord2# :: Word# -> Word# -> Word# -> (# Word#, Word# #)
#
valueand# :: Word# -> Word# -> Word#
#
valueor# :: Word# -> Word# -> Word#
#
valuexor# :: Word# -> Word# -> Word#
#
valuenot# :: Word# -> Word#
#
valuegtWord# :: Word# -> Word# -> Int#
#
valuegeWord# :: Word# -> Word# -> Int#
#
valueeqWord# :: Word# -> Word# -> Int#
#
valueneWord# :: Word# -> Word# -> Int#
#
valueltWord# :: Word# -> Word# -> Int#
#
valueleWord# :: Word# -> Word# -> Int#
#
valuepdep8# :: Word# -> Word# -> Word#
#
valuepdep16# :: Word# -> Word# -> Word#
#
valuepdep32# :: Word# -> Word# -> Word#
#
valuepdep64# :: Word64# -> Word64# -> Word64#
#
valuepdep# :: Word# -> Word# -> Word#
#
valuepext8# :: Word# -> Word# -> Word#
#
valuepext16# :: Word# -> Word# -> Word#
#
valuepext32# :: Word# -> Word# -> Word#
#
valuepext64# :: Word64# -> Word64# -> Word64#
#
valuepext# :: Word# -> Word# -> Word#
#
valueclz8# :: Word# -> Word#
#
valueclz16# :: Word# -> Word#
#
valueclz32# :: Word# -> Word#
#
valueclz64# :: Word64# -> Word#
#
valueclz# :: Word# -> Word#
#
valuectz8# :: Word# -> Word#
#
valuectz16# :: Word# -> Word#
#
valuectz32# :: Word# -> Word#
#
valuectz64# :: Word64# -> Word#
#
valuectz# :: Word# -> Word#
#
value(>##) :: Double# -> Double# -> Int#
#
value(>=##) :: Double# -> Double# -> Int#
#
value(==##) :: Double# -> Double# -> Int#
#
value(/=##) :: Double# -> Double# -> Int#
#
value(<##) :: Double# -> Double# -> Int#
#
value(<=##) :: Double# -> Double# -> Int#
#
value(+##) :: Double# -> Double# -> Double#
#
value(-##) :: Double# -> Double# -> Double#
#
value(*##) :: Double# -> Double# -> Double#
#
value(/##) :: Double# -> Double# -> Double#
#
value(**##) :: Double# -> Double# -> Double#
#
valuegtFloat# :: Float# -> Float# -> Int#
#
valuegeFloat# :: Float# -> Float# -> Int#
#
valueeqFloat# :: Float# -> Float# -> Int#
#
valueneFloat# :: Float# -> Float# -> Int#
#
valueltFloat# :: Float# -> Float# -> Int#
#
valueleFloat# :: Float# -> Float# -> Int#
#
valuefmaddFloat# :: Float# -> Float# -> Float# -> Float#
#
valuefmsubFloat# :: Float# -> Float# -> Float# -> Float#
#
valuefmaddDouble# :: Double# -> Double# -> Double# -> Double#
#
valuefmsubDouble# :: Double# -> Double# -> Double# -> Double#
#
valuenewArray#
  1. :: Int#
  2. -> a_levpoly
  3. -> State# s
  4. -> (# State# s, MutableArray# s a_levpoly #)
#
valuereadArray#
  1. :: MutableArray# s a_levpoly
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, a_levpoly #)
#
valuewriteArray#
  1. :: MutableArray# s a_levpoly
  2. -> Int#
  3. -> a_levpoly
  4. -> State# s
  5. -> State# s
#
valueindexArray# :: Array# a_levpoly -> Int# -> (# a_levpoly #)
#
valueunsafeFreezeArray#
  1. :: MutableArray# s a_levpoly
  2. -> State# s
  3. -> (# State# s, Array# a_levpoly #)
#
valueunsafeThawArray#
  1. :: Array# a_levpoly
  2. -> State# s
  3. -> (# State# s, MutableArray# s a_levpoly #)
#
valuecopyArray#
  1. :: Array# a_levpoly
  2. -> Int#
  3. -> MutableArray# s a_levpoly
  4. -> Int#
  5. -> Int#
  6. -> State# s
  7. -> State# s
#
valuecopyMutableArray#
  1. :: MutableArray# s a_levpoly
  2. -> Int#
  3. -> MutableArray# s a_levpoly
  4. -> Int#
  5. -> Int#
  6. -> State# s
  7. -> State# s
#
valuecloneArray# :: Array# a_levpoly -> Int# -> Int# -> Array# a_levpoly
#
valuecloneMutableArray#
  1. :: MutableArray# s a_levpoly
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, MutableArray# s a_levpoly #)
#
valuefreezeArray#
  1. :: MutableArray# s a_levpoly
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, Array# a_levpoly #)
#
valuethawArray#
  1. :: Array# a_levpoly
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, MutableArray# s a_levpoly #)
#
valuecasArray#
  1. :: MutableArray# s a_levpoly
  2. -> Int#
  3. -> a_levpoly
  4. -> a_levpoly
  5. -> State# s
  6. -> (# State# s, Int#, a_levpoly #)
#
valuenewSmallArray#
  1. :: Int#
  2. -> a_levpoly
  3. -> State# s
  4. -> (# State# s, SmallMutableArray# s a_levpoly #)
#
valuereadSmallArray#
  1. :: SmallMutableArray# s a_levpoly
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, a_levpoly #)
#
valuewriteSmallArray#
  1. :: SmallMutableArray# s a_levpoly
  2. -> Int#
  3. -> a_levpoly
  4. -> State# s
  5. -> State# s
#
valueunsafeThawSmallArray#
  1. :: SmallArray# a_levpoly
  2. -> State# s
  3. -> (# State# s, SmallMutableArray# s a_levpoly #)
#
valuecopySmallArray#
  1. :: SmallArray# a_levpoly
  2. -> Int#
  3. -> SmallMutableArray# s a_levpoly
  4. -> Int#
  5. -> Int#
  6. -> State# s
  7. -> State# s
#
valuecopySmallMutableArray#
  1. :: SmallMutableArray# s a_levpoly
  2. -> Int#
  3. -> SmallMutableArray# s a_levpoly
  4. -> Int#
  5. -> Int#
  6. -> State# s
  7. -> State# s
#
valuecloneSmallArray#
  1. :: SmallArray# a_levpoly
  2. -> Int#
  3. -> Int#
  4. -> SmallArray# a_levpoly
#
valuecloneSmallMutableArray#
  1. :: SmallMutableArray# s a_levpoly
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, SmallMutableArray# s a_levpoly #)
#
valuefreezeSmallArray#
  1. :: SmallMutableArray# s a_levpoly
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, SmallArray# a_levpoly #)
#
valuethawSmallArray#
  1. :: SmallArray# a_levpoly
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, SmallMutableArray# s a_levpoly #)
#
valuecasSmallArray#
  1. :: SmallMutableArray# s a_levpoly
  2. -> Int#
  3. -> a_levpoly
  4. -> a_levpoly
  5. -> State# s
  6. -> (# State# s, Int#, a_levpoly #)
#
valuenewByteArray# :: Int# -> State# s -> (# State# s, MutableByteArray# s #)
#
valuereadCharArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Char# #)
#
valuereadIntArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Int# #)
#
valuereadWordArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Word# #)
#
valuereadAddrArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Addr# #)
#
valuereadFloatArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Float# #)
#
valuereadDoubleArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Double# #)
#
valuereadStablePtrArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, StablePtr# a #)
#
valuereadInt8Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Int8# #)
#
valuereadWord8Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Word8# #)
#
valuereadInt16Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Int16# #)
#
valuereadWord16Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Word16# #)
#
valuereadInt32Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Int32# #)
#
valuereadWord32Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Word32# #)
#
valuereadInt64Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Int64# #)
#
valuereadWord64Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> State# s
  4. -> (# State# s, Word64# #)
#
valuewriteCharArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Char#
  4. -> State# s
  5. -> State# s
#
valuewriteIntArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> State# s
#
valuewriteWordArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Word#
  4. -> State# s
  5. -> State# s
#
valuewriteAddrArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Addr#
  4. -> State# s
  5. -> State# s
#
valuewriteFloatArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Float#
  4. -> State# s
  5. -> State# s
#
valuewriteDoubleArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Double#
  4. -> State# s
  5. -> State# s
#
valuewriteInt8Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int8#
  4. -> State# s
  5. -> State# s
#
valuewriteWord8Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Word8#
  4. -> State# s
  5. -> State# s
#
valuewriteInt16Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int16#
  4. -> State# s
  5. -> State# s
#
valuewriteWord16Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Word16#
  4. -> State# s
  5. -> State# s
#
valuewriteInt32Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int32#
  4. -> State# s
  5. -> State# s
#
valuewriteWord32Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Word32#
  4. -> State# s
  5. -> State# s
#
valuewriteInt64Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int64#
  4. -> State# s
  5. -> State# s
#
valuewriteWord64Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Word64#
  4. -> State# s
  5. -> State# s
#
valuecopyByteArray#
  1. :: ByteArray#
  2. -> Int#
  3. -> MutableByteArray# s
  4. -> Int#
  5. -> Int#
  6. -> State# s
  7. -> State# s
#
valuecopyMutableByteArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> MutableByteArray# s
  4. -> Int#
  5. -> Int#
  6. -> State# s
  7. -> State# s
#
valuecopyAddrToAddr#
  1. :: Addr#
  2. -> Addr#
  3. -> Int#
  4. -> State# RealWorld
  5. -> State# RealWorld
#
valuesetByteArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int#
  4. -> Int#
  5. -> State# s
  6. -> State# s
#
valuesetAddrRange#
  1. :: Addr#
  2. -> Int#
  3. -> Int#
  4. -> State# RealWorld
  5. -> State# RealWorld
#
valuecasIntArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int#
  4. -> Int#
  5. -> State# s
  6. -> (# State# s, Int# #)
#
valuecasInt8Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int8#
  4. -> Int8#
  5. -> State# s
  6. -> (# State# s, Int8# #)
#
valuecasInt16Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int16#
  4. -> Int16#
  5. -> State# s
  6. -> (# State# s, Int16# #)
#
valuecasInt32Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int32#
  4. -> Int32#
  5. -> State# s
  6. -> (# State# s, Int32# #)
#
valuecasInt64Array#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int64#
  4. -> Int64#
  5. -> State# s
  6. -> (# State# s, Int64# #)
#
valuefetchAddIntArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, Int# #)
#
valuefetchSubIntArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, Int# #)
#
valuefetchAndIntArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, Int# #)
#
valuefetchNandIntArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, Int# #)
#
valuefetchOrIntArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, Int# #)
#
valuefetchXorIntArray#
  1. :: MutableByteArray# s
  2. -> Int#
  3. -> Int#
  4. -> State# s
  5. -> (# State# s, Int# #)
#
valuegtAddr# :: Addr# -> Addr# -> Int#
#
valuegeAddr# :: Addr# -> Addr# -> Int#
#
valueeqAddr# :: Addr# -> Addr# -> Int#
#
valueneAddr# :: Addr# -> Addr# -> Int#
#
valueltAddr# :: Addr# -> Addr# -> Int#
#
valueleAddr# :: Addr# -> Addr# -> Int#
#
valuenewMutVar# :: a_levpoly -> State# s -> (# State# s, MutVar# s a_levpoly #)
#
valuereadMutVar# :: MutVar# s a_levpoly -> State# s -> (# State# s, a_levpoly #)
#
valuewriteMutVar# :: MutVar# s a_levpoly -> a_levpoly -> State# s -> State# s
#
valueatomicSwapMutVar#
  1. :: MutVar# s a_levpoly
  2. -> a_levpoly
  3. -> State# s
  4. -> (# State# s, a_levpoly #)
#
valuecasMutVar#
  1. :: MutVar# s a_levpoly
  2. -> a_levpoly
  3. -> a_levpoly
  4. -> State# s
  5. -> (# State# s, Int#, a_levpoly #)
#
valuecatch#
  1. :: State# RealWorld -> (# State# RealWorld, a_reppoly #)
  2. -> b_levpoly -> State# RealWorld -> (# State# RealWorld, a_reppoly #)
  3. -> State# RealWorld
  4. -> (# State# RealWorld, a_reppoly #)
#
valueraise# :: a_levpoly -> b_reppoly
#
valueraiseIO#
  1. :: a_levpoly
  2. -> State# RealWorld
  3. -> (# State# RealWorld, b_reppoly #)
#
valuemaskAsyncExceptions#
  1. :: State# RealWorld -> (# State# RealWorld, a_reppoly #)
  2. -> State# RealWorld
  3. -> (# State# RealWorld, a_reppoly #)
#
valuemaskUninterruptible#
  1. :: State# RealWorld -> (# State# RealWorld, a_reppoly #)
  2. -> State# RealWorld
  3. -> (# State# RealWorld, a_reppoly #)
#
valueunmaskAsyncExceptions#
  1. :: State# RealWorld -> (# State# RealWorld, a_reppoly #)
  2. -> State# RealWorld
  3. -> (# State# RealWorld, a_reppoly #)
#
valuenewPromptTag# :: State# RealWorld -> (# State# RealWorld, PromptTag# a #)
#
valueprompt#
  1. :: PromptTag# a
  2. -> State# RealWorld -> (# State# RealWorld, a #)
  3. -> State# RealWorld
  4. -> (# State# RealWorld, a #)
#
valuecontrol0#
  1. :: PromptTag# a
  2. -> ((State# RealWorld -> (# State# RealWorld, b_reppoly #)) -> State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #)
  3. -> State# RealWorld
  4. -> (# State# RealWorld, b_reppoly #)
#
valueatomically#
  1. :: State# RealWorld -> (# State# RealWorld, a_levpoly #)
  2. -> State# RealWorld
  3. -> (# State# RealWorld, a_levpoly #)
#
valueretry# :: State# RealWorld -> (# State# RealWorld, a_levpoly #)
#
valuecatchRetry#
  1. :: State# RealWorld -> (# State# RealWorld, a_levpoly #)
  2. -> State# RealWorld -> (# State# RealWorld, a_levpoly #)
  3. -> State# RealWorld
  4. -> (# State# RealWorld, a_levpoly #)
#
valuecatchSTM#
  1. :: State# RealWorld -> (# State# RealWorld, a_levpoly #)
  2. -> b -> State# RealWorld -> (# State# RealWorld, a_levpoly #)
  3. -> State# RealWorld
  4. -> (# State# RealWorld, a_levpoly #)
#
valuenewTVar# :: a_levpoly -> State# s -> (# State# s, TVar# s a_levpoly #)
#
valuereadTVar# :: TVar# s a_levpoly -> State# s -> (# State# s, a_levpoly #)
#
valuereadTVarIO# :: TVar# s a_levpoly -> State# s -> (# State# s, a_levpoly #)
#
valuewriteTVar# :: TVar# s a_levpoly -> a_levpoly -> State# s -> State# s
#
valuenewMVar# :: State# s -> (# State# s, MVar# s a_levpoly #)
#
valuetakeMVar# :: MVar# s a_levpoly -> State# s -> (# State# s, a_levpoly #)
#
valuetryTakeMVar#
  1. :: MVar# s a_levpoly
  2. -> State# s
  3. -> (# State# s, Int#, a_levpoly #)
#
valueputMVar# :: MVar# s a_levpoly -> a_levpoly -> State# s -> State# s
#
valuetryPutMVar#
  1. :: MVar# s a_levpoly
  2. -> a_levpoly
  3. -> State# s
  4. -> (# State# s, Int# #)
#
valuereadMVar# :: MVar# s a_levpoly -> State# s -> (# State# s, a_levpoly #)
#
valuetryReadMVar#
  1. :: MVar# s a_levpoly
  2. -> State# s
  3. -> (# State# s, Int#, a_levpoly #)
#
valueisEmptyMVar# :: MVar# s a_levpoly -> State# s -> (# State# s, Int# #)
#
valuenewIOPort# :: State# s -> (# State# s, IOPort# s a_levpoly #)
#
valuereadIOPort# :: IOPort# s a_levpoly -> State# s -> (# State# s, a_levpoly #)
#
valuewriteIOPort#
  1. :: IOPort# s a_levpoly
  2. -> a_levpoly
  3. -> State# s
  4. -> (# State# s, Int# #)
#
valuedelay# :: Int# -> State# s -> State# s
#
valuewaitRead# :: Int# -> State# s -> State# s
#
valuefork#
  1. :: State# RealWorld -> (# State# RealWorld, a_reppoly #)
  2. -> State# RealWorld
  3. -> (# State# RealWorld, ThreadId# #)
#
valueforkOn#
  1. :: Int#
  2. -> State# RealWorld -> (# State# RealWorld, a_reppoly #)
  3. -> State# RealWorld
  4. -> (# State# RealWorld, ThreadId# #)
#
valuekillThread# :: ThreadId# -> a -> State# RealWorld -> State# RealWorld
#
valueyield# :: State# RealWorld -> State# RealWorld
#
valuemyThreadId# :: State# RealWorld -> (# State# RealWorld, ThreadId# #)
#
valuelabelThread#
  1. :: ThreadId#
  2. -> ByteArray#
  3. -> State# RealWorld
  4. -> State# RealWorld
#
valuethreadLabel#
  1. :: ThreadId#
  2. -> State# RealWorld
  3. -> (# State# RealWorld, Int#, ByteArray# #)
#
valuethreadStatus#
  1. :: ThreadId#
  2. -> State# RealWorld
  3. -> (# State# RealWorld, Int#, Int#, Int# #)
#
valuelistThreads# :: State# RealWorld -> (# State# RealWorld, Array# ThreadId# #)
#
valuemkWeak#
  1. :: a_levpoly
  2. -> b_levpoly
  3. -> State# RealWorld -> (# State# RealWorld, c #)
  4. -> State# RealWorld
  5. -> (# State# RealWorld, Weak# b_levpoly #)
#
valuemkWeakNoFinalizer#
  1. :: a_levpoly
  2. -> b_levpoly
  3. -> State# RealWorld
  4. -> (# State# RealWorld, Weak# b_levpoly #)
#
valueaddCFinalizerToWeak#
  1. :: Addr#
  2. -> Addr#
  3. -> Int#
  4. -> Addr#
  5. -> Weak# b_levpoly
  6. -> State# RealWorld
  7. -> (# State# RealWorld, Int# #)
#
valuedeRefWeak#
  1. :: Weak# a_levpoly
  2. -> State# RealWorld
  3. -> (# State# RealWorld, Int#, a_levpoly #)
#
valuefinalizeWeak#
  1. :: Weak# a_levpoly
  2. -> State# RealWorld
  3. -> (# State# RealWorld, Int#, State# RealWorld -> (# State# RealWorld, b #) #)
#
valuetouch# :: a_levpoly -> State# s -> State# s
#
valuemakeStablePtr#
  1. :: a_levpoly
  2. -> State# RealWorld
  3. -> (# State# RealWorld, StablePtr# a_levpoly #)
#
valuedeRefStablePtr#
  1. :: StablePtr# a_levpoly
  2. -> State# RealWorld
  3. -> (# State# RealWorld, a_levpoly #)
#
valueeqStablePtr# :: StablePtr# a_levpoly -> StablePtr# a_levpoly -> Int#
#
valuemakeStableName#
  1. :: a_levpoly
  2. -> State# RealWorld
  3. -> (# State# RealWorld, StableName# a_levpoly #)
#
valuecompactNew# :: Word# -> State# RealWorld -> (# State# RealWorld, Compact# #)
#
valuecompactResize# :: Compact# -> Word# -> State# RealWorld -> State# RealWorld
#
valuecompactContains#
  1. :: Compact#
  2. -> a
  3. -> State# RealWorld
  4. -> (# State# RealWorld, Int# #)
#
valuecompactGetNextBlock#
  1. :: Compact#
  2. -> Addr#
  3. -> State# RealWorld
  4. -> (# State# RealWorld, Addr#, Word# #)
#
valuecompactFixupPointers#
  1. :: Addr#
  2. -> Addr#
  3. -> State# RealWorld
  4. -> (# State# RealWorld, Compact#, Addr# #)
#
valuecompactAdd#
  1. :: Compact#
  2. -> a
  3. -> State# RealWorld
  4. -> (# State# RealWorld, a #)
#
valuecompactSize#
  1. :: Compact#
  2. -> State# RealWorld
  3. -> (# State# RealWorld, Word# #)
#
valuepar# :: a -> Int#
#
valuespark# :: a -> State# s -> (# State# s, a #)
#
valueseq# :: a -> State# s -> (# State# s, a #)
#
valuegetSpark# :: State# s -> (# State# s, Int#, a #)
#
valuenumSparks# :: State# s -> (# State# s, Int# #)
#
valuekeepAlive# :: a_levpoly -> State# s -> (State# s -> b_reppoly) -> b_reppoly
#
valueanyToAddr# :: a -> State# RealWorld -> (# State# RealWorld, Addr# #)
#
valuenewBCO#
  1. :: ByteArray#
  2. -> ByteArray#
  3. -> Array# a
  4. -> Int#
  5. -> ByteArray#
  6. -> State# s
  7. -> (# State# s, BCO #)
#
valuegetCCSOf# :: a -> State# s -> (# State# s, Addr# #)
#
valueclearCCS#
  1. :: State# s -> (# State# s, a #)
  2. -> State# s
  3. -> (# State# s, a #)
#
valuewhereFrom# :: a -> Addr# -> State# s -> (# State# s, Int# #)
#