napkin-spec-2.0.0
Safe HaskellNone
LanguageGHC2024

Napkin.Run.Effects.Languages.FatalError

Documentation

type FatalError = Error FatalErrorInfo :: (k -> Type) -> k -> Type #

fatalError :: forall (r :: EffectRow) a. Member (FatalError :: (Type -> Type) -> Type -> Type) r => Text -> Sem r a #

orFatalErrorME :: forall (r :: EffectRow) e' v. Member (FatalError :: (Type -> Type) -> Type -> Type) r => Sem r (Either e' v) -> (e' -> Text) -> Sem r v #

orFatalErrorM :: forall (r :: EffectRow) v. Member (FatalError :: (Type -> Type) -> Type -> Type) r => Sem r (Maybe v) -> Text -> Sem r v #

orFatalError :: forall (r :: EffectRow) v. Member (FatalError :: (Type -> Type) -> Type -> Type) r => Maybe v -> Text -> Sem r v #