Safe Haskell	None
Language	Haskell2010

Effectful.Internal.Utils

Contents

Utils for ThreadId
Utils for Any
Unique
CallStack

Synopsis

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

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 -> Int Source #

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

eqThreadId :: ThreadId -> ThreadId -> Bool Source #

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 #