Pandora.Pattern.Functor.Alternative

Documentation

class Covariant t => Alternative t where

When providing a new instance, you should ensure it satisfies the two laws:
* Associativity of <+>: (x <+> y) <+> z ≡ x <+> (y <+> z)
* Left-distributes <$> over <+>: f <$> (x <+> y) ≡ (f <$> x) <+> (f <$> y)

Minimal complete definition

(<+>)

Methods

(<+>) :: t a -> t a -> t a infixl 3

Infix version of alter

alter :: t a -> t a -> t a

Prefix version of <+>

Instances

Alternative Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

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

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

Alternative t => Alternative (Yoneda t)

Defined in Pandora.Paradigm.Basis.Yoneda

Methods

(<+>) :: Yoneda t a -> Yoneda t a -> Yoneda t a

alter :: Yoneda t a -> Yoneda t a -> Yoneda t a

Alternative t => Alternative (Free t)

Defined in Pandora.Paradigm.Basis.Free

Methods

(<+>) :: Free t a -> Free t a -> Free t a

alter :: Free t a -> Free t a -> Free t a

Alternative t => Alternative (Jack t)

Defined in Pandora.Paradigm.Basis.Jack

Methods

(<+>) :: Jack t a -> Jack t a -> Jack t a

alter :: Jack t a -> Jack t a -> Jack t a

Alternative (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

(<+>) :: Conclusion e a -> Conclusion e a -> Conclusion e a

alter :: Conclusion e a -> Conclusion e a -> Conclusion e a

Alternative t => Alternative (Environmental e t)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

(<+>) :: Environmental e t a -> Environmental e t a -> Environmental e t a

alter :: Environmental e t a -> Environmental e t a -> Environmental e t a

(Covariant (t u), Alternative u) => Alternative (Y t u)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

(<+>) :: Y t u a -> Y t u a -> Y t u a

alter :: Y t u a -> Y t u a -> Y t u a

(Covariant t, Alternative u) => Alternative (T t u)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

(<+>) :: T t u a -> T t u a -> T t u a

alter :: T t u a -> T t u a -> T t u a

(Alternative t, Covariant u) => Alternative (U Co Co t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

(<+>) :: U Co Co t u a -> U Co Co t u a -> U Co Co t u a

alter :: U Co Co t u a -> U Co Co t u a -> U Co Co t u a

(Alternative t, Covariant u, Covariant v) => Alternative (UU Co Co Co t u v)

Defined in Pandora.Paradigm.Junction.Composition

Methods

(<+>) :: UU Co Co Co t u v a -> UU Co Co Co t u v a -> UU Co Co Co t u v a

alter :: UU Co Co Co t u v a -> UU Co Co Co t u v a -> UU Co Co Co t u v a

(Alternative t, Covariant u, Covariant v, Covariant w) => Alternative (UUU Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Composition

Methods

(<+>) :: UUU Co Co Co Co t u v w a -> UUU Co Co Co Co t u v w a -> UUU Co Co Co Co t u v w a

alter :: UUU Co Co Co Co t u v w a -> UUU Co Co Co Co t u v w a -> UUU Co Co Co Co t u v w a