def Maybe.or

Base · base.bend:859

import Base
859def Maybe.or(a, -A: Kind(a), m: Maybe<a, A>, n: Maybe<a, A>) -> Maybe<a, A>:
860  match m:
861    case None{}:
862      n
863    case Some{x}:
864      Some{x}

Uses (1)

Used by (19)