Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
newtype U ct cu t u a Source #
Instances
(Covariant t, Contravariant u) => Contravariant (U Co Contra t u) Source # | |
Defined in Pandora.Paradigm.Junction.Composition (>$<) :: (a -> b) -> U Co Contra t u b -> U Co Contra t u a Source # contramap :: (a -> b) -> U Co Contra t u b -> U Co Contra t u a Source # (>$) :: b -> U Co Contra t u b -> U Co Contra t u a Source # ($<) :: U Co Contra t u b -> b -> U Co Contra t u a Source # full :: U Co Contra t u () -> U Co Contra t u a Source # (>&<) :: U Co Contra t u b -> (a -> b) -> U Co Contra t u a Source # (>$$<) :: Contravariant u0 => (a -> b) -> ((U Co Contra t u :.: u0) >< a) -> (U Co Contra t u :.: u0) >< b Source # (>$$$<) :: (Contravariant u0, Contravariant v) => (a -> b) -> ((U Co Contra t u :.: (u0 :.: v)) >< b) -> (U Co Contra t u :.: (u0 :.: v)) >< a Source # (>$$$$<) :: (Contravariant u0, Contravariant v, Contravariant w) => (a -> b) -> ((U Co Contra t u :.: (u0 :.: (v :.: w))) >< a) -> (U Co Contra t u :.: (u0 :.: (v :.: w))) >< b Source # (>&&<) :: Contravariant u0 => ((U Co Contra t u :.: u0) >< a) -> (a -> b) -> (U Co Contra t u :.: u0) >< b Source # (>&&&<) :: (Contravariant u0, Contravariant v) => ((U Co Contra t u :.: (u0 :.: v)) >< b) -> (a -> b) -> (U Co Contra t u :.: (u0 :.: v)) >< a Source # (>&&&&<) :: (Contravariant u0, Contravariant v, Contravariant w) => ((U Co Contra t u :.: (u0 :.: (v :.: w))) >< a) -> (a -> b) -> (U Co Contra t u :.: (u0 :.: (v :.: w))) >< b Source # | |
(Contravariant t, Covariant u) => Contravariant (U Contra Co t u) Source # | |
Defined in Pandora.Paradigm.Junction.Composition (>$<) :: (a -> b) -> U Contra Co t u b -> U Contra Co t u a Source # contramap :: (a -> b) -> U Contra Co t u b -> U Contra Co t u a Source # (>$) :: b -> U Contra Co t u b -> U Contra Co t u a Source # ($<) :: U Contra Co t u b -> b -> U Contra Co t u a Source # full :: U Contra Co t u () -> U Contra Co t u a Source # (>&<) :: U Contra Co t u b -> (a -> b) -> U Contra Co t u a Source # (>$$<) :: Contravariant u0 => (a -> b) -> ((U Contra Co t u :.: u0) >< a) -> (U Contra Co t u :.: u0) >< b Source # (>$$$<) :: (Contravariant u0, Contravariant v) => (a -> b) -> ((U Contra Co t u :.: (u0 :.: v)) >< b) -> (U Contra Co t u :.: (u0 :.: v)) >< a Source # (>$$$$<) :: (Contravariant u0, Contravariant v, Contravariant w) => (a -> b) -> ((U Contra Co t u :.: (u0 :.: (v :.: w))) >< a) -> (U Contra Co t u :.: (u0 :.: (v :.: w))) >< b Source # (>&&<) :: Contravariant u0 => ((U Contra Co t u :.: u0) >< a) -> (a -> b) -> (U Contra Co t u :.: u0) >< b Source # (>&&&<) :: (Contravariant u0, Contravariant v) => ((U Contra Co t u :.: (u0 :.: v)) >< b) -> (a -> b) -> (U Contra Co t u :.: (u0 :.: v)) >< a Source # (>&&&&<) :: (Contravariant u0, Contravariant v, Contravariant w) => ((U Contra Co t u :.: (u0 :.: (v :.: w))) >< a) -> (a -> b) -> (U Contra Co t u :.: (u0 :.: (v :.: w))) >< b Source # | |
(Covariant t, Covariant u) => Covariant (U Co Co t u) Source # | |
Defined in Pandora.Paradigm.Junction.Composition (<$>) :: (a -> b) -> U Co Co t u a -> U Co Co t u b Source # comap :: (a -> b) -> U Co Co t u a -> U Co Co t u b Source # (<$) :: a -> U Co Co t u b -> U Co Co t u a Source # ($>) :: U Co Co t u a -> b -> U Co Co t u b Source # void :: U Co Co t u a -> U Co Co t u () Source # loeb :: U Co Co t u (U Co Co t u a -> a) -> U Co Co t u a Source # (<&>) :: U Co Co t u a -> (a -> b) -> U Co Co t u b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((U Co Co t u :.: u0) >< a) -> (U Co Co t u :.: u0) >< b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((U Co Co t u :.: (u0 :.: v)) >< a) -> (U Co Co t u :.: (u0 :.: v)) >< b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((U Co Co t u :.: (u0 :.: (v :.: w))) >< a) -> (U Co Co t u :.: (u0 :.: (v :.: w))) >< b Source # (<&&>) :: Covariant u0 => ((U Co Co t u :.: u0) >< a) -> (a -> b) -> (U Co Co t u :.: u0) >< b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((U Co Co t u :.: (u0 :.: v)) >< a) -> (a -> b) -> (U Co Co t u :.: (u0 :.: v)) >< b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((U Co Co t u :.: (u0 :.: (v :.: w))) >< a) -> (a -> b) -> (U Co Co t u :.: (u0 :.: (v :.: w))) >< b Source # | |
(Contravariant t, Contravariant u) => Covariant (U Contra Contra t u) Source # | |
Defined in Pandora.Paradigm.Junction.Composition (<$>) :: (a -> b) -> U Contra Contra t u a -> U Contra Contra t u b Source # comap :: (a -> b) -> U Contra Contra t u a -> U Contra Contra t u b Source # (<$) :: a -> U Contra Contra t u b -> U Contra Contra t u a Source # ($>) :: U Contra Contra t u a -> b -> U Contra Contra t u b Source # void :: U Contra Contra t u a -> U Contra Contra t u () Source # loeb :: U Contra Contra t u (U Contra Contra t u a -> a) -> U Contra Contra t u a Source # (<&>) :: U Contra Contra t u a -> (a -> b) -> U Contra Contra t u b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((U Contra Contra t u :.: u0) >< a) -> (U Contra Contra t u :.: u0) >< b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((U Contra Contra t u :.: (u0 :.: v)) >< a) -> (U Contra Contra t u :.: (u0 :.: v)) >< b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((U Contra Contra t u :.: (u0 :.: (v :.: w))) >< a) -> (U Contra Contra t u :.: (u0 :.: (v :.: w))) >< b Source # (<&&>) :: Covariant u0 => ((U Contra Contra t u :.: u0) >< a) -> (a -> b) -> (U Contra Contra t u :.: u0) >< b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((U Contra Contra t u :.: (u0 :.: v)) >< a) -> (a -> b) -> (U Contra Contra t u :.: (u0 :.: v)) >< b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((U Contra Contra t u :.: (u0 :.: (v :.: w))) >< a) -> (a -> b) -> (U Contra Contra t u :.: (u0 :.: (v :.: w))) >< b Source # | |
(Applicative t, Applicative u) => Applicative (U Co Co t u) Source # | |
Defined in Pandora.Paradigm.Junction.Composition (<*>) :: U Co Co t u (a -> b) -> U Co Co t u a -> U Co Co t u b Source # apply :: U Co Co t u (a -> b) -> U Co Co t u a -> U Co Co t u b Source # (*>) :: U Co Co t u a -> U Co Co t u b -> U Co Co t u b Source # (<*) :: U Co Co t u a -> U Co Co t u b -> U Co Co t u a Source # forever :: U Co Co t u a -> U Co Co t u b Source # (<**>) :: Applicative u0 => (U Co Co t u :.: u0) (a -> b) -> (U Co Co t u :.: u0) a -> (U Co Co t u :.: u0) b Source # (<***>) :: (Applicative u0, Applicative v) => (U Co Co t u :.: (u0 :.: v)) (a -> b) -> (U Co Co t u :.: (u0 :.: v)) a -> (U Co Co t u :.: (u0 :.: v)) b Source # (<****>) :: (Applicative u0, Applicative v, Applicative w) => (U Co Co t u :.: (u0 :.: (v :.: w))) (a -> b) -> (U Co Co t u :.: (u0 :.: (v :.: w))) a -> (U Co Co t u :.: (u0 :.: (v :.: w))) b Source # | |
(Alternative t, Covariant u) => Alternative (U Co Co t u) Source # | |
(Avoidable t, Covariant u) => Avoidable (U Co Co t u) Source # | |
(Distributive t, Distributive u) => Distributive (U Co Co t u) Source # | |
Defined in Pandora.Paradigm.Junction.Composition (>>-) :: Covariant t0 => t0 a -> (a -> U Co Co t u b) -> (U Co Co t u :.: t0) b Source # collect :: Covariant t0 => (a -> U Co Co t u b) -> t0 a -> (U Co Co t u :.: t0) b Source # distribute :: Covariant t0 => (t0 :.: U Co Co t u) a -> (U Co Co t u :.: t0) a Source # (>>>-) :: (Covariant t0, Covariant v) => (t0 :.: v) a -> (a -> U Co Co t u b) -> (U Co Co t u :.: (t0 :.: v)) b Source # (>>>>-) :: (Covariant t0, Covariant v, Covariant w) => (t0 :.: (v :.: w)) a -> (a -> U Co Co t u b) -> (U Co Co t u :.: (t0 :.: (v :.: w))) b Source # (>>>>>-) :: (Covariant t0, Covariant v, Covariant w, Covariant j) => (t0 :.: (v :.: (w :.: j))) a -> (a -> U Co Co t u b) -> (U Co Co t u :.: (t0 :.: (v :.: (w :.: j)))) b Source # | |
(Extractable t, Extractable u) => Extractable (U Co Co t u) Source # | |
(Pointable t, Pointable u) => Pointable (U Co Co t u) Source # | |
(Traversable t, Traversable u) => Traversable (U Co Co t u) Source # | |
Defined in Pandora.Paradigm.Junction.Composition (->>) :: (Pointable u0, Applicative u0) => U Co Co t u a -> (a -> u0 b) -> (u0 :.: U Co Co t u) b Source # traverse :: (Pointable u0, Applicative u0) => (a -> u0 b) -> U Co Co t u a -> (u0 :.: U Co Co t u) b Source # sequence :: (Pointable u0, Applicative u0) => (U Co Co t u :.: u0) a -> (u0 :.: U Co Co t u) a Source # (->>>) :: (Pointable u0, Applicative u0, Traversable v) => (v :.: U Co Co t u) a -> (a -> u0 b) -> (u0 :.: (v :.: U Co Co t u)) b Source # (->>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w) => (w :.: (v :.: U Co Co t u)) a -> (a -> u0 b) -> (u0 :.: (w :.: (v :.: U Co Co t u))) b Source # (->>>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w, Traversable j) => (j :.: (w :.: (v :.: U Co Co t u))) a -> (a -> u0 b) -> (u0 :.: (j :.: (w :.: (v :.: U Co Co t u)))) b Source # | |
(t :-|: u, v :-|: w) => Adjoint (U Co Co t v) (U Co Co u w) Source # | |
newtype UU ct cu cv t u v a Source #
Instances
newtype UUU ct cu cv cw t u v w a Source #