UVMHS.Core.Data.Option
Contents
iter𝑂 :: 𝑂 a -> 𝐼 a Source #
elim𝑂 :: (() -> b) -> (a -> b) -> 𝑂 a -> b Source #
isNone :: 𝑂 a -> 𝔹 Source #
isSome :: 𝑂 a -> 𝔹 Source #
ifNone :: a -> 𝑂 a -> a Source #
ifNoneZ :: a -> 𝑂 a -> a Source #
ifNoneM :: Return m => m a -> 𝑂 a -> m a Source #
ifNoneMZ :: Return m => m a -> 𝑂 a -> m a Source #
first :: 𝑂 a -> 𝑂 a -> 𝑂 a Source #
last :: 𝑂 a -> 𝑂 a -> 𝑂 a Source #
Methods
(≫=) :: 𝑂 a -> (a -> 𝑂 b) -> 𝑂 b Source #
map :: (a -> b) -> 𝑂 a -> 𝑂 b Source #
mapM :: Monad m => (a -> m b) -> 𝑂 a -> m (𝑂 b) Source #
return :: a -> 𝑂 a Source #
iter :: 𝑂 a -> 𝐼 a Source #
(⧺) :: 𝑂 a -> 𝑂 a -> 𝑂 a Source #
null :: 𝑂 a Source #
isoto :: 𝑂 a -> () ∨ a Source #
isofr :: (() ∨ a) -> 𝑂 a Source #