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)
timeoutStop :: TimeUnit u => Members [Race, Stop err] r => err -> u -> Sem r a -> Sem r a

Documentation

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

Specialization of race for the case where both actions 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 main action returns 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 main action return the same type as the fallback, obviating the need for Either.

Specialization of timeout for unit actions.

Variant of timeout that returns Maybe.

timeoutStop :: TimeUnit u => Members [Race, Stop err] r => err -> u -> Sem r a -> Sem r a Source #

Variant of timeout that calls Stop with the supplied error when the action times out.