def Utf8.stats

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

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

2347def Utf8.stats(handle: Utf8.Handle) -> IO(Utf8.Handle & Result<&1, &1, Utf8.Error, Utf8.Stats>):
2348  match handle:
2349    case Utf8Handle{inner}:
2350      do IO<Utf8.Handle & Result<&1, &1, Utf8.Error, Utf8.Stats>>:
2351        pair : Bytes.Handle & Result<&1, &1, Bytes.Error, Bytes.Stats> <-
2352          Bytes.stats(inner)
2353        return Utf8.stats.result(pair)

Uses (13)

Used by (0)

No other definition uses this definition.