~/jendhub

def slot.fill

bend-kit-migrate@0.3.0.0 · migrate.bend:377

import bend-kit-migrate@0.3.0.0/migrate.bend as Migrate
import Base

377def slot.fill(m: Maybe<&1, Scalar>, x: Scalar, k: Key) -> Result<&1, &1, Error, Maybe<&1, Scalar>>:
378  match m:
379    case None{}:
380      Done{Some{x}}
381    case Some{y}:
382      Fail{Duplicate{k}}

Uses (5)

Used by (1)