nspec - 0.1.3

Stdlib.Data.Maybe.Base

Description

Definitions

import Juvix.Builtin.V1.Maybe open public

fromMaybe {A} (defaultValue : A) (maybeValue : Maybe A) : ASource#

Extracts the value from a Maybe if present, else returns the given value.

maybe {A B} (defaultValue : B) (fun : A -> B) (maybeValue : Maybe A) : BSource#

Applies a function to the value from a Maybe if present, else returns the given value.

isJust {A} (maybeValue : Maybe A) : BoolSource#