Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Conc.Race

Description

Synopsis

race_ :: Member Race r => Sem r a -> Sem r a -> Sem r a
timeout_ :: TimeUnit u => Member Race r => Sem r a -> u -> Sem r a -> Sem r a
timeoutAs :: TimeUnit u => Member Race r => a -> u -> Sem r b -> Sem r (Either a b)
timeoutAs_ :: TimeUnit u => Member Race r => a -> u -> Sem r a -> Sem r a
timeoutU :: TimeUnit u => Member Race r => u -> Sem r () -> Sem r ()
timeoutMaybe :: TimeUnit u => Member Race r => u -> Sem r a -> Sem r (Maybe a)

Documentation

race_ :: Member Race r => Sem r a -> Sem r a -> Sem r a Source #

Specialization of race for the case where both thunks return the same type, obviating the need for Either.

timeout_ :: TimeUnit u => Member Race r => Sem r a -> u -> Sem r a -> Sem r a Source #

Specialization of timeout for the case where the thunk return the same type as the fallback, obviating the need for Either.

Version of timeout that takes a pure fallback value.

Specialization of timeoutAs for the case where the thunk return the same type as the fallback, obviating the need for Either.

Specialization of timeout for unit actions.

Variant of timeout that returns Maybe.