def decode.front

bend-kit-postgres@0.3.0.0 · codec.bend:855

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

855# One frontend message that fills b exactly, or None. The protocol leaves the phase to context:
856# mode 0 reads an untagged startup packet, and 'p' reads as Password (1), SASLInitial (2) or SASLResponse (3).
857def decode.front(+mode: U32, b: Bytes.Bytes) -> Maybe<&1, Front>:
858  Bytes.Bytes{+len, buf} = b
859  fe.fin(fe.start(mode, mode, Cur{Bytes.Bytes{len, buf}, 0, len, True{}}))