catch package:polysemy

catch :: forall e_aqvl r_aqxg a_aqvn . Member (Error e_aqvl) r_aqxg => Sem r_aqxg a_aqvn -> (e_aqvl -> Sem r_aqxg a_aqvn) -> Sem r_aqxg a_aqvn
polysemy Polysemy.Error
Recover from an error that might have been thrown in the higher-order action given by the first argument by passing the error to the handler given by the second argument.
Catch :: forall e m a . m a -> (e -> m a) -> Error e m a
polysemy Polysemy.Error
Recover from an error that might have been thrown in the higher-order action given by the first argument by passing the error to the handler given by the second argument.
catchJust :: Member (Error e) r => (e -> Maybe b) -> Sem r a -> (b -> Sem r a) -> Sem r a
polysemy Polysemy.Error
The function catchJust is like catch, but it takes an extra argument which is an exception predicate, a function which selects which type of exceptions we're interested in.