~/jendhub

def gate.source

mylsm-lsm-store@0.6.0.1 · src/transfer/Migrate.bend:327

import mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend as Migrate
import Base

327# Applies the source compatibility check before destination admission.
328def gate.source(
329  validation: SourceValidation,
330  destination_missing: Bool,
331  max_entries: Nat,
332  max_encoded_bytes: Nat,
333  supported: Bool
334) -> Decision:
335  Bool.pick(Decision, supported,
336    gate.destination(validation, destination_missing, max_entries,
337      max_encoded_bytes),
338    MigrateRejected{UnsupportedSource{}})

Uses (7)

Used by (1)