def close.optional

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupCursorIo.bend:69

import mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursorIo.bend as BackupCursorIo
import Base
import mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend as VisibleCursor
import mylsm-lsm-store@0.6.0.1/src/transfer/BackupIo.bend as BackupIo

69def close.optional(
70  file: File,
71  +directory: String,
72  cursor: Maybe<&1, VisibleCursor.Cursor>,
73  error: U32 & String
74) -> IO(Result<&1, &1, BackupIo.Error, Unit>):
75  match cursor:
76    case Some{reader}: close.source(file, directory, reader, error)
77    case None{}: BackupIo.close.failed(file, directory, error)

Uses (12)

Used by (1)