def lift

bend-collections-laws-math@1.0.0.0 · src/math/random/chacha8.bend:107

import Base
import bend-collections-laws-math@1.0.0.0/src/math/random/chacha8/block.bend as B

107def lift(m: Maybe<&2, B.Key>) -> Maybe<&2, ChaCha8>:
108  match m:
109    case None{}:
110      None{}
111    case Some{k}:
112      Some{of_key(k)}