MonadicBang.Internal.Error

Documentation

data Error

Constructors

ErrOutOfScopeVariable OccName

ErrBangOutsideOfDo

type PsErrors = Writer (Messages PsError)

customError :: Error -> PsError

tellPsError :: forall (sig :: (Type -> Type) -> Type -> Type) m. Has PsErrors sig m => PsError -> SrcSpan -> m ()