Pandora.Paradigm.Basis.Maybe

Documentation

data Maybe a

Constructors

Nothing

Just a

Instances

Covariant Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(<$>) :: (a -> b) -> Maybe a -> Maybe b

comap :: (a -> b) -> Maybe a -> Maybe b

(<$) :: a -> Maybe b -> Maybe a

($>) :: Maybe a -> b -> Maybe b

void :: Maybe a -> Maybe ()

loeb :: Maybe (Maybe a -> a) -> Maybe a

(<&>) :: Maybe a -> (a -> b) -> Maybe b

(<$$>) :: Covariant u => (a -> b) -> (Maybe :.: u) a -> (Maybe :.: u) b

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> (Maybe :.: (u :.: v)) a -> (Maybe :.: (u :.: v)) b

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> (Maybe :.: (u :.: (v :.: w))) a -> (Maybe :.: (u :.: (v :.: w))) b

(<&&>) :: Covariant u => (Maybe :.: u) a -> (a -> b) -> (Maybe :.: u) b

(<&&&>) :: (Covariant u, Covariant v) => (Maybe :.: (u :.: v)) a -> (a -> b) -> (Maybe :.: (u :.: v)) b

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => (Maybe :.: (u :.: (v :.: w))) a -> (a -> b) -> (Maybe :.: (u :.: (v :.: w))) b

Bindable Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(>>=) :: Maybe a -> (a -> Maybe b) -> Maybe b

(=<<) :: (a -> Maybe b) -> Maybe a -> Maybe b

bind :: (a -> Maybe b) -> Maybe a -> Maybe b

join :: (Maybe :.: Maybe) a -> Maybe a

(>=>) :: (a -> Maybe b) -> (b -> Maybe c) -> a -> Maybe c

(<=<) :: (b -> Maybe c) -> (a -> Maybe b) -> a -> Maybe c

Applicative Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b

apply :: Maybe (a -> b) -> Maybe a -> Maybe b

(*>) :: Maybe a -> Maybe b -> Maybe b

(<*) :: Maybe a -> Maybe b -> Maybe a

forever :: Maybe a -> Maybe b

Alternative Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(<+>) :: Maybe a -> Maybe a -> Maybe a

alter :: Maybe a -> Maybe a -> Maybe a

Avoidable Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

idle :: Maybe a

Pointable Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

point :: a -> Maybe a

Monad Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Traversable Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(->>) :: (Pointable u, Applicative u) => Maybe a -> (a -> u b) -> (u :.: Maybe) b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Maybe a -> (u :.: Maybe) b

sequence :: (Pointable u, Applicative u) => (Maybe :.: u) a -> (u :.: Maybe) a

(->>>) :: (Pointable u, Applicative u, Traversable v) => (v :.: Maybe) a -> (a -> u b) -> (u :.: (v :.: Maybe)) b

(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => (w :.: (v :.: Maybe)) a -> (a -> u b) -> (u :.: (w :.: (v :.: Maybe))) b

(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => (j :.: (w :.: (v :.: Maybe))) a -> (a -> u b) -> (u :.: (j :.: (w :.: (v :.: Maybe)))) b

Semigroup a => Semigroup (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(+) :: Maybe a -> Maybe a -> Maybe a

Semigroup a => Monoid (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

zero :: Maybe a

Supremum a => Supremum (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(\/) :: Maybe a -> Maybe a -> Maybe a

Infimum a => Infimum (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(/\) :: Maybe a -> Maybe a -> Maybe a

Lattice a => Lattice (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Setoid a => Setoid (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(==) :: Maybe a -> Maybe a -> Boolean

(/=) :: Maybe a -> Maybe a -> Boolean

Chain a => Chain (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(<=>) :: Maybe a -> Maybe a -> Ordering

(<) :: Maybe a -> Maybe a -> Boolean

(<=) :: Maybe a -> Maybe a -> Boolean

(>) :: Maybe a -> Maybe a -> Boolean

(>=) :: Maybe a -> Maybe a -> Boolean

(Pointable t, Bindable t) => Bindable (Maybe :!: t)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(>>=) :: (Maybe :!: t) a -> (a -> (Maybe :!: t) b) -> (Maybe :!: t) b

(=<<) :: (a -> (Maybe :!: t) b) -> (Maybe :!: t) a -> (Maybe :!: t) b

bind :: (a -> (Maybe :!: t) b) -> (Maybe :!: t) a -> (Maybe :!: t) b

join :: ((Maybe :!: t) :.: (Maybe :!: t)) a -> (Maybe :!: t) a

(>=>) :: (a -> (Maybe :!: t) b) -> (b -> (Maybe :!: t) c) -> a -> (Maybe :!: t) c

(<=<) :: (b -> (Maybe :!: t) c) -> (a -> (Maybe :!: t) b) -> a -> (Maybe :!: t) c

Monad t => Monad (Maybe :!: t)

Defined in Pandora.Paradigm.Basis.Maybe

maybe :: b -> (a -> b) -> Maybe a -> b