def Utf8.compact

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

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

2122def Utf8.compact(handle: Utf8.Handle) -> IO(Utf8.Handle & Result<&1, &1, Utf8.Error, Unit>):
2123  match handle:
2124    case Utf8Handle{inner}:
2125      do IO<Utf8.Handle & Result<&1, &1, Utf8.Error, Unit>>:
2126        pair : Bytes.Handle & Result<&1, &1, Bytes.Error, Unit> <- Bytes.compact(inner)
2127        return Utf8.unit.result(pair)

Uses (12)

Used by (0)

No other definition uses this definition.