Safe Haskell	None
Language	GHC2021

Effectful.Internal.Utils

Contents

Utils for ThreadId
Utils for Any
Unique
CallStack
Array capacity

Synopsis

inlineBracket :: IO a -> (a -> IO b) -> (a -> IO c) -> IO c
weakThreadId :: ThreadId -> Word64
type family Any :: k where ...
toAny :: a -> Any
fromAny :: Any -> a
data Unique
newUnique :: IO Unique
thawCallStack :: CallStack -> CallStack
growCapacity :: Int -> Int

Documentation

inlineBracket :: IO a -> (a -> IO b) -> (a -> IO c) -> IO c Source #

Version of bracket with an INLINE pragma to work around https://gitlab.haskell.org/ghc/ghc/-/issues/22824.

Utils for `ThreadId`

weakThreadId :: ThreadId -> Word64 Source #

Get an id of a thread that doesn't prevent its garbage collection.

Utils for `Any`

type family Any :: k where ... #

The type constructor Any is type to which you can unsafely coerce any lifted type, and back. More concretely, for a lifted type t and value x :: t, unsafeCoerce (unsafeCoerce x :: Any) :: t is equivalent to x.

toAny :: a -> Any Source #

fromAny :: Any -> a Source #

Unique

data Unique Source #

A unique with no possibility for CAS contention.

Credits for this go to Edward Kmett.

Instances

Instances details

Eq Unique Source #
Instance details Defined in Effectful.Internal.Utils Methods (==) :: Unique -> Unique -> Bool # (/=) :: Unique -> Unique -> Bool #

newUnique :: IO Unique Source #

CallStack

thawCallStack :: CallStack -> CallStack Source #

Remove exactly one layer of freezing, i.e. the one added by send and friends via withFrozenCallStack. Freezes applied by client code need to stay intact, so this must not recurse.

Array capacity

growCapacity :: Int -> Int Source #

Grow capacity of an array.

See https://archive.ph/Z2R8w.