Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x04404a62026-10-19Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 04404a6 · 2026-10-19

Modulepolysemy-1.9.2.0

Polysemy.Error

Synopsis

value catch
value catchJust
value errorToIOFinal
value fromEither
value fromEitherM
value fromException
value fromExceptionSem
value fromExceptionSemVia
value fromExceptionVia
value mapError
value note
value runError
value throw
value try
value tryJust
data Error

Packagepolysemy-1.9.2.0
Exports16
LicenceBSD-3-Clause

valuecatch :: Member (Error e) r => Sem r a -> (e -> Sem r a) -> Sem r a

valuecatchJust

:: Member (Error e) r
=> e -> Maybe b
-> Sem r a
-> b -> Sem r a
-> Sem r a

valueerrorToIOFinal

:: Member (Final IO) r
=> Sem (Error e ': r) a
-> Sem r (Either e a)

valuefromEither :: Member (Error e) r => Either e a -> Sem r a

valuefromEitherM

:: (Member (Error e) r, Member (Embed m) r)
=> m (Either e a)
-> Sem r a

valuefromException

:: (Exception e, Member (Error e) r, Member (Embed IO) r)
=> IO a
-> Sem r a

valuefromExceptionSem

:: (Exception e, Member (Error e) r, Member (Final IO) r)
=> Sem r a
-> Sem r a

valuefromExceptionSemVia

:: (Exception exc, Member (Error err) r, Member (Final IO) r)
=> exc -> err
-> Sem r a
-> Sem r a

valuefromExceptionVia

:: (Exception exc, Member (Error err) r, Member (Embed IO) r)
=> exc -> err
-> IO a
-> Sem r a

valuemapError

:: Member (Error e2) r
=> e1 -> e2
-> Sem (Error e1 ': r) a
-> Sem r a

valuenote :: Member (Error e) r => e -> Maybe a -> Sem r a

valuerunError :: Sem (Error e ': r) a -> Sem r (Either e a)

valuethrow :: Member (Error e) r => e -> Sem r a

valuetry :: Member (Error e) r => Sem r a -> Sem r (Either e a)

valuetryJust

:: Member (Error e) r
=> e -> Maybe b
-> Sem r a
-> Sem r (Either b a)

datadata Error e (m :: k -> Type) (a :: k) where

Constructors

Throw :: e -> Error e m a
Catch :: m a -> (e -> m a) -> Error e m a