type Tail

bend-kit-journal@0.3.1.0 · journal.bend:10

import Base

10# Clean: the input ends on a frame boundary.
11# Torn: the input ends inside a frame. A crash cut the last append short.
12# Corrupt: a whole header or a whole frame fails its check. Recovery does not go past it.
13type Tail is Data:
14  Clean{}
15  Torn{}
16  Corrupt{why: String}