Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xc7d136e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12

Modulepolysemy-1.9.2.0

Polysemy.Error

1 type
15 values

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