Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Reverse (t a) |
Instances
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) t) => Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Reverse t) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) t) => Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Reverse t) Source # | |
(Semimonoidal (-->) (:*:) (:*:) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t) => Semimonoidal (-->) (:*:) (:*:) (Reverse t :: Type -> Type) Source # | |
(Semimonoidal (<--) (:*:) (:*:) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t) => Semimonoidal (<--) (:*:) (:*:) (Reverse t :: Type -> Type) Source # | |
Hoistable (Reverse :: (Type -> Type) -> Type -> Type) Source # | |
Liftable ((->) :: Type -> Type -> Type) (Reverse :: (Type -> Type) -> Type -> Type) Source # | |
Lowerable ((->) :: Type -> Type -> Type) (Reverse :: (Type -> Type) -> Type -> Type) Source # | |
Interpreted ((->) :: Type -> Type -> Type) (Reverse t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Reverse run :: Reverse t a -> Primary (Reverse t) a Source # unite :: Primary (Reverse t) a -> Reverse t a Source # (||=) :: (Semigroupoid (->), Interpreted (->) u) => (Primary (Reverse t) a -> Primary u b) -> Reverse t a -> u b Source # (=||) :: (Semigroupoid (->), Interpreted (->) u) => (Reverse t a -> u b) -> Primary (Reverse t) a -> Primary u b Source # (<$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (Primary (Reverse t) a -> Primary u b) -> (j := Reverse t a) -> (j := u b) Source # (<$$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Interpreted (->) u) => (Primary (Reverse t) a -> Primary u b) -> ((j :. k) := Reverse t a) -> ((j :. k) := u b) Source # (<$$$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted (->) u) => (Primary (Reverse t) a -> Primary u b) -> ((j :. (k :. l)) := Reverse t a) -> ((j :. (k :. l)) := u b) Source # (<$$$$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u) => (Primary (Reverse t) a -> Primary u b) -> ((j :. (k :. (l :. n))) := Reverse t a) -> ((j :. (k :. (l :. n))) := u b) Source # (=||$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (Reverse t a -> u b) -> (j := Primary (Reverse t) a) -> (j := Primary u b) Source # (=||$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Interpreted (->) u) => (Reverse t a -> u b) -> ((j :. k) := Primary (Reverse t) a) -> ((j :. k) := Primary u b) Source # (=||$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted (->) u) => (Reverse t a -> u b) -> ((j :. (k :. l)) := Primary (Reverse t) a) -> ((j :. (k :. l)) := Primary u b) Source # (=||$$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u) => (Reverse t a -> u b) -> ((j :. (k :. (l :. n))) := Primary (Reverse t) a) -> ((j :. (k :. (l :. n))) := Primary u b) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Reverse t) Source # | |
Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Reverse t) Source # | |
Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Reverse t) Source # | |
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Reverse t) Source # | |
type Primary (Reverse t) a Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Reverse |