Mylsm.Bytes.create.options.validated: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm Lines 612-621 of mylsm-lsm-store@0.6.0.1/mylsm.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&start_line=612&end_line=621 import Base import mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend as ResourceOptions def Bytes.create.options.validated( +path: String, decision: ResourceOptions.Decision ) -> IO(Result<&1, &1, Bytes.Error, Bytes.Handle>): match decision: case ResourceOptions.Accepted{+options}: Bytes.create.options.decision(path, options, ResourceOptions.same(options, ResourceOptions.defaults())) case _: IO.pure(Result<&1, &1, Bytes.Error, Bytes.Handle>, Fail{InvalidArgument{}}) Uses (10): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.Error https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.Handle https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.create.options.decision https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=Decision https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=defaults https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=same