def Utf8.delete_mutation_result

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

import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as PackedBytes

1924def Utf8.delete_mutation_result(
1925  key: Result<&1, &1, Utf8.Error, PackedBytes.Bytes>,
1926  value: Maybe<&1, Result<&1, &1, Utf8.Error, PackedBytes.Bytes>>
1927) -> Result<&1, &1, Utf8.Error, Bytes.Mutation>:
1928  match key value:
1929    case Fail{error} _:
1930      Fail{error}
1931    case Done{_} Some{Fail{error}}:
1932      Fail{error}
1933    case Done{_} Some{Done{_}}:
1934      Fail{Utf8InvalidArgument{}}
1935    case Done{key_bytes} None{}:
1936      Done{BytesDelete{key_bytes}}

Uses (5)

Used by (1)