Stdlib.Data.Maybe.Base
Contents
import Juvix.Builtin.V1.Maybe open public
fromMaybe {A} (a : A) : Maybe A → ASource#
Extracts the value from a Maybe if present, else returns the given value.
maybe {A B} (b : B) (f : A → B) : Maybe A → BSource#
Applies a function to the value from a Maybe if present, else returns the given value.
