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.NonDet

Synopsis

value nonDetToError
value runNonDet
value runNonDetMaybe
data NonDet

Packagepolysemy-1.9.2.0
Exports4
LicenceBSD-3-Clause

valuenonDetToError :: Member (Error e) r => e -> Sem (NonDet ': r) a -> Sem r a

valuerunNonDet :: Alternative f => Sem (NonDet ': r) a -> Sem r (f a)

valuerunNonDetMaybe :: Sem (NonDet ': r) a -> Sem r (Maybe a)

datadata NonDet (m :: Type -> Type) a

Constructors

Empty
Choose (m a) (m a)