def fe.fin

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

import Base

846def fe.fin(r: Cur & Front) -> Maybe<&1, Front>:
847  (c, m) = r
848  Cur{b, +i, +e, ok} = c
849  match ok:
850    case True{}:
851      Bool.pick(Maybe<&1, Front>, U32.is_eq(i, e), Some{m}, None{})
852    case False{}:
853      None{}