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

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Exclusive

Documentation

class Alternative t => Exclusive t where Source #

Minimal complete definition

exclusive

Methods

exclusive :: t a Source #

Instances
(Exclusive t, Covariant u) => Exclusive (T Co Co t u) Source # 
Instance details

Defined in Control.Functor.Basic.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 Control.Functor.Basic.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 Control.Functor.Basic.TTT

Methods

exclusive :: TTT Co Co Co Co t u v w a Source #