type Step

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

import Base

18# One decoding step. Short, Bad, and End give the input back untouched, at the frame start.
19type Step<-P: Type, -S: Type> is Type:
20  End{s: S}
21  Short{s: S}
22  Bad{why: String, s: S}
23  Got{p: P, s: S}