Documentation
interpretRace :: Member (Final IO) r => InterpreterFor Race r Source #
Interpret Race
in terms of race
and timeout
.
Since this has to pass higher-order thunks as IO
arguments, it is interpreted in terms of 'Final IO'.
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 => 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
.