type Step

bend-kit-commands@0.4.0.0 · commands.bend:26

import Base

26# Write: commit the state, the record, and the effects together. Note: commit only the record. Keep: write nothing.
27type Step<-S: Type, -P: Type, -R: Type, -E: Type> is Type:
28  Write{state: S, record: Record<P, R>, reply: Reply<R>, effects: List<E>}
29  Note{record: Record<P, R>, reply: Reply<R>}
30  Keep{reply: Reply<R>}