def Utf8.set_mutations_result

mylsm-lsm-store@0.6.0.1 · mylsm.bend:1938

import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
import Base

1938def Utf8.set_mutations_result(
1939  head: Result<&1, &1, Utf8.Error, Bytes.Mutation>,
1940  tail: Result<&1, &1, Utf8.Error, List<&1, Bytes.Mutation>>
1941) -> Result<&1, &1, Utf8.Error, List<&1, Bytes.Mutation>>:
1942  match head tail:
1943    case Fail{error} _:
1944      Fail{error}
1945    case Done{_} Fail{error}:
1946      Fail{error}
1947    case Done{mutation} Done{mutations}:
1948      Done{Con{mutation, mutations}}

Uses (4)

Used by (2)