Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- class Alternative t => Exclusive t where
- exclusive :: t a
Documentation
class Alternative t => Exclusive t where Source #
When providing a new instance, you should ensure it satisfies the two laws: * Left absorption: x <+> exclusive ≡ x * Right absorption: exclusive <+> x ≡ x
Instances
Exclusive Maybe Source # | |
Defined in Pandora.Paradigm.Basis.Maybe | |
Exclusive t => Exclusive (Yoneda t) Source # | |
Defined in Pandora.Paradigm.Basis.Yoneda | |
Exclusive t => Exclusive (Jack t) Source # | |
Defined in Pandora.Paradigm.Basis.Jack | |
Exclusive t => Exclusive (Free t) Source # | |
Defined in Pandora.Paradigm.Basis.Free | |
(Covariant (t u), Exclusive u) => Exclusive (Y t u) Source # | |
Defined in Pandora.Paradigm.Basis.Junction.Transformer | |
(Covariant t, Exclusive u) => Exclusive (T t u) Source # | |
Defined in Pandora.Paradigm.Basis.Junction.Transformer | |
(Exclusive t, Covariant u) => Exclusive (U Co Co t u) Source # | |
(Exclusive t, Covariant u, Covariant v) => Exclusive (UU Co Co Co t u v) Source # | |
(Exclusive t, Covariant u, Covariant v, Covariant w) => Exclusive (UUU Co Co Co Co t u v w) Source # | |