morphisms-functors-0.1.7: Functors, theirs compositions and transformations

Safe Haskell	Safe
Language	Haskell2010

Control.Functor.Covariant.Exclusive

Documentation

class Alternative t => Exclusive t where Source #

Minimal complete definition

Methods

exclusive :: t a Source #

Instances

Exclusive t => Exclusive (Yoneda t) Source #
Instance details Defined in Data.Functor.Yoneda Methods exclusive :: Yoneda t a Source #
(Exclusive t, Covariant u) => Exclusive (T Co Co t u) Source #
Instance details Defined in Data.Functor.Composition.T Methods exclusive :: T Co Co t u a Source #
(Exclusive t, Covariant u, Covariant v) => Exclusive (TT Co Co Co t u v) Source #
Instance details Defined in Data.Functor.Composition.TT Methods exclusive :: TT Co Co Co t u v a Source #
(Exclusive t, Covariant u, Covariant v, Covariant w) => Exclusive (TTT Co Co Co Co t u v w) Source #
Instance details Defined in Data.Functor.Composition.TTT Methods exclusive :: TTT Co Co Co Co t u v w a Source #