type Maybe (A : Type)Source#

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

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