def Utf8.flush

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

import Base

2115def Utf8.flush(handle: Utf8.Handle) -> IO(Utf8.Handle & Result<&1, &1, Utf8.Error, Unit>):
2116  match handle:
2117    case Utf8Handle{inner}:
2118      do IO<Utf8.Handle & Result<&1, &1, Utf8.Error, Unit>>:
2119        pair : Bytes.Handle & Result<&1, &1, Bytes.Error, Unit> <- Bytes.flush(inner)
2120        return Utf8.unit.result(pair)