def Bytes.open_existing.options.decision

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

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

557def Bytes.open_existing.options.decision(
558  +path: String,
559  decision: ResourceOptions.Decision
560) -> IO(Result<&1, &1, Bytes.Error, Bytes.Handle>):
561  match decision:
562    case ResourceOptions.Accepted{options}:
563      do IO<Result<&1, &1, Bytes.Error, Bytes.Handle>>:
564        opened : Result<&1, &1, Bytes.Error, Bytes.Handle> <-
565          Bytes.open_existing(path)
566        Bytes.options.opened.result(opened, options)
567    case _: IO.pure(Result<&1, &1, Bytes.Error, Bytes.Handle>,
568      Fail{InvalidArgument{}})

Uses (10)

Used by (1)