::
GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12
Modulepolysemy-1.9.2.0
failToEmbed
:: (Member (Embed m) r, MonadFail m)
=> Sem (Fail ': r) a
-> Sem r a
failToError
:: Member (Error e) r
=> String -> e
-> Sem (Fail ': r) a
failToNonDet :: Member NonDet r => Sem (Fail ': r) a -> Sem r a
runFail :: Sem (Fail ': r) a -> Sem r (Either String a)
newtype Fail (m :: k) (a :: k1)
Fail String