ValidityPredicates - 0.1.0

Stdlib.Data.Maybe

Definitions

type Maybe (A : Type)Source#

Constructors

nothing : Maybe A
just : A Maybe A

fromMaybe : {A : Type} A Maybe A ASource#

maybe : {A : Type} {B : Type} B (A B) Maybe A BSource#