| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Ecluse.Core.Registry.Fault
Description
The registry layer's ecosystem-agnostic fault vocabulary: the exception form of a response-bound breach.
Every registry data plane reads its response bodies through
boundedRead against a Limits budget,
and the bounded read reports a breach as a value (a
LimitError). Some consumers sit behind an exception-shaped
boundary instead, and this module owns the typed form they carry there. The breach
is about the budget, never about any one ecosystem's wire format, so the vocabulary
lives beside the agnostic registry contract rather than in a protocol module.
Synopsis
Documentation
newtype ResponseBoundExceeded Source #
The typed exception form of a response-bound breach: a body that crossed the
maxBodyBytes ceiling, carried as its
LimitError. The worker's bounded artifact fetch
(Ecluse.Core.Worker.Fetch) types its fetch channel with it, and the request
perimeter (Ecluse.Core.Server.Fault) recognises it as a typed gate fault, so a
breach that reaches an exception-shaped boundary stays a classified refusal rather
than a truncated body.
Constructors
| ResponseBoundExceeded LimitError |
Instances
| Exception ResponseBoundExceeded Source # | |
Defined in Ecluse.Core.Registry.Fault | |
| Show ResponseBoundExceeded Source # | |
Defined in Ecluse.Core.Registry.Fault Methods showsPrec :: Int -> ResponseBoundExceeded -> ShowS # show :: ResponseBoundExceeded -> String # showList :: [ResponseBoundExceeded] -> ShowS # | |
| Eq ResponseBoundExceeded Source # | |
Defined in Ecluse.Core.Registry.Fault Methods (==) :: ResponseBoundExceeded -> ResponseBoundExceeded -> Bool # (/=) :: ResponseBoundExceeded -> ResponseBoundExceeded -> Bool # | |