def Utf8.close

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

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

import Base

2362def Utf8.close(handle: Utf8.Handle) -> IO(Result<&1, &1, Utf8.Error, Unit>):
2363  match handle:
2364    case Utf8Handle{inner}:
2365      do IO<Result<&1, &1, Utf8.Error, Unit>>:
2366        result : Result<&1, &1, Bytes.Error, Unit> <- Bytes.close(inner)
2367        return Utf8.close.result(result)

Uses (10)

Result
Unit
IO
IO.bind
IO.pure
…

Used by (0)

No other definition uses this definition.