Stdlib.Data.Maybe.Base
Contents
type Maybe (A : Type)Source#
Represents an optional value that may or may not be present. Providing a way to handle null or missing values in a type-safe manner.
Constructors
fromMaybe : {A : Type} → A → Maybe A → ASource#
Extracts the value from a Maybe if present, else returns the given value.
maybe : {A : Type} → {B : Type} → B → (A → B) → Maybe A → BSource#
Applies a function to the value from a Maybe if present, else returns the given value.