Safe Haskell | None |
---|---|
Language | GHC2021 |
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 #