Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Alternative t => Exclusive t where Source #
Instances
Exclusive t => Exclusive (Yoneda t) Source # | |
Defined in Data.Functor.Yoneda | |
(Exclusive t, Covariant u) => Exclusive (T Co Co t u) Source # | |
(Exclusive t, Covariant u, Covariant v) => Exclusive (TT Co Co Co t u v) Source # | |
(Exclusive t, Covariant u, Covariant v, Covariant w) => Exclusive (TTT Co Co Co Co t u v w) Source # | |