def map_some_result

bend-collections@1.0.0.0 · src/containers/internal/intrusive_list.bend:557

import bend-collections@1.0.0.0/src/containers/internal/intrusive_list.bend as IntrusiveList
import Base

557def map_some_result(~S: Type, ~T: Type, r: S & T) -> S & Maybe<&1, T>:
558  (s, v) = r
559  (s, Some{v})

Uses (3)

Used by (1)