Moduleeffectful-core-2.3.0.1Haskell2010

Effectful.Internal.Utils

3 types
15 values

Packageeffectful-core-2.3.0.1
Exports19
LanguageHaskell2010
LicenceBSD-3-Clause
SourceUtils.hs

valueinlineBracket :: IO a -> (a -> IO b) -> (a -> IO c) -> IO c

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

Utils for ThreadId

2 declarations

valueweakThreadId :: ThreadId -> Int

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

valueeqThreadId :: ThreadId -> ThreadId -> Bool

Utils for Any

3 declarations

familytype 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.

valuetoAny :: a -> Any

valuefromAny :: Any -> a

Strict IORef

4 declarations

newtypenewtype IORef' a

A strict variant of IORef.

Instances1Eq

Eq (IORef' a)Defined in effectful-core-2.3.0.1 · Effectful.Internal.Utils

valuenewIORef' :: a -> IO (IORef' a)

valuereadIORef' :: IORef' a -> IO a

valuewriteIORef' :: IORef' a -> a -> IO ()

Strict MVar

6 declarations

newtypenewtype MVar' a

A strict variant of MVar.

Instances1Eq

Eq (MVar' a)Defined in effectful-core-2.3.0.1 · Effectful.Internal.Utils

valuetoMVar' :: MVar a -> IO (MVar' a)

valuenewMVar' :: a -> IO (MVar' a)

valuereadMVar' :: MVar' a -> IO a

valuemodifyMVar' :: MVar' a -> (a -> IO (a, r)) -> IO r

valuemodifyMVar_' :: MVar' a -> (a -> IO a) -> IO ()

Unique

2 declarations

newtypenewtype Unique

A unique with no possibility for CAS contention.

Credits for this go to Edward Kmett.

Instances1Eq

Eq UniqueDefined in effectful-core-2.3.0.1 · Effectful.Internal.Utils

valuenewUnique :: IO Unique

CallStack

1 declaration

valuethawCallStack :: CallStack -> CallStack