Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype Flip (v :: * -> * -> *) a e Source #
Flip (v e a) |
Instances
(Category m, Covariant m m t) => Contravariant m (Flip m) t Source # | |
Defined in Pandora.Pattern.Morphism.Flip | |
Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) Identity Source # | |
Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) ((:*:) s) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Construction t) Source # | |
Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Store s) Source # | |
Semimonoidal (<--) (:*:) (:*:) t => Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Tap t) Source # | |
Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Flip (:*:) a) Source # | |
Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Tagged tag) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) t) => Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Backwards t) Source # | |
(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, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) t', Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t t') => Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) ((t <:<.>:> t') := u) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) t, Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) u) => Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) (t <.:> u) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) t, Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) u) => Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) (t <:.> u) Source # | |
Semigroupoid m => Semigroupoid (Flip m) Source # | |
Category m => Category (Flip m) Source # | |
(Category m, Covariant m m t) => Contravariant (Flip m) m t Source # | |
Defined in Pandora.Pattern.Morphism.Flip | |
Semimonoidal (<--) (:*:) (:*:) Wye Source # | |
Semimonoidal (<--) (:*:) (:*:) Identity Source # | |
Semimonoidal (<--) (:*:) (:*:) Maybe Source # | |
Semimonoidal (<--) (:*:) (:*:) ((:*:) s :: Type -> Type) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Semimonoidal (<--) (:*:) (:*:) (Construction t :: Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Construction mult :: forall (a :: k) (b :: k). (Construction t a :*: Construction t b) <-- Construction t (a :*: b) Source # | |
Semimonoidal (<--) (:*:) (:*:) (Store s :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) t => Semimonoidal (<--) (:*:) (:*:) (Tap t :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) (Flip (:*:) a :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) (Tagged tag :: Type -> Type) Source # | |
(Semimonoidal (<--) (:*:) (:*:) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t) => Semimonoidal (<--) (:*:) (:*:) (Backwards t :: Type -> Type) Source # | |
(Semimonoidal (<--) (:*:) (:*:) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t) => Semimonoidal (<--) (:*:) (:*:) (Reverse t :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) ((->) e :: Type -> Type) Source # | |
(Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) ((t <:.:> u) := (:*:) :: Type -> Type) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (<--) (:*:) (:*:) u, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t', Semimonoidal (<--) (:*:) (:*:) t') => Semimonoidal (<--) (:*:) (:*:) ((t <:<.>:> t') := u :: Type -> Type) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <.:> u :: Type -> Type) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <:.> u :: Type -> Type) Source # | |
(Category m, Covariant m m t) => Covariant (Flip m) (Flip m) t Source # | |
Appliable (Flip m :: Type -> Type -> Type) (b :: Type) (c :: Type) (m :: Type -> Type -> Type) (c :: Type) (b :: Type) Source # | |
Defined in Pandora.Pattern.Morphism.Flip | |
Morphable ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe Source # | |
Morphable ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source # | |
Morphable ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) Source # | |
Invariant (Flip Store r) Source # | |
Invariant (Flip (Lens available) tgt) Source # | |
Invariant (Flip State r) Source # | |
Substructure ('Left :: a1 -> Wye a1) (Flip (:*:) a2) Source # | |
Interpreted ((->) :: Type -> Type -> Type) (Flip v a) Source # | |
Defined in Pandora.Paradigm.Controlflow.Effect.Interpreted run :: Flip v a a0 -> Primary (Flip v a) a0 Source # unite :: Primary (Flip v a) a0 -> Flip v a a0 Source # (||=) :: (Semigroupoid (->), Interpreted (->) u) => (Primary (Flip v a) a0 -> Primary u b) -> Flip v a a0 -> u b Source # (=||) :: (Semigroupoid (->), Interpreted (->) u) => (Flip v a a0 -> u b) -> Primary (Flip v a) a0 -> Primary u b Source # (<$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (Primary (Flip v a) a0 -> Primary u b) -> (j := Flip v a a0) -> (j := u b) Source # (<$$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Interpreted (->) u) => (Primary (Flip v a) a0 -> Primary u b) -> ((j :. k) := Flip v a a0) -> ((j :. k) := u b) Source # (<$$$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted (->) u) => (Primary (Flip v a) a0 -> Primary u b) -> ((j :. (k :. l)) := Flip v a a0) -> ((j :. (k :. l)) := u b) Source # (<$$$$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u) => (Primary (Flip v a) a0 -> Primary u b) -> ((j :. (k :. (l :. n))) := Flip v a a0) -> ((j :. (k :. (l :. n))) := u b) Source # (=||$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (Flip v a a0 -> u b) -> (j := Primary (Flip v a) a0) -> (j := Primary u b) Source # (=||$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Interpreted (->) u) => (Flip v a a0 -> u b) -> ((j :. k) := Primary (Flip v a) a0) -> ((j :. k) := Primary u b) Source # (=||$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted (->) u) => (Flip v a a0 -> u b) -> ((j :. (k :. l)) := Primary (Flip v a) a0) -> ((j :. (k :. l)) := Primary u b) Source # (=||$$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u) => (Flip v a a0 -> u b) -> ((j :. (k :. (l :. n))) := Primary (Flip v a) a0) -> ((j :. (k :. (l :. n))) := Primary u b) Source # | |
Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((<--) a) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Constant :: Type -> Type -> Type) b) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:+:) a) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:*:) a) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Validation a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Validation (<$>) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Tagged :: Type -> Type -> Type) a) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Conclusion e) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion (<$>) :: (a -> b) -> Flip Conclusion e a -> Flip Conclusion e b Source # | |
Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Imprint a) Source # | |
Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Environment a) Source # | |
Defined in Pandora.Paradigm.Inventory.Environment (>$<) :: (a0 -> b) -> Flip Environment a b -> Flip Environment a a0 Source # | |
Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:*:) s) ((->) s :: Type -> Type) Source # | |
type Morphing ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe Source # | |
Defined in Pandora.Paradigm.Primary type Morphing ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe = ((->) e :: Type -> Type) <:.> Flip Conclusion e | |
type Morphing ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source # | |
type Morphing ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) Source # | |
type Primary (Flip v a) e Source # | |
type Available ('Left :: a1 -> Wye a1) (Flip (:*:) a2) Source # | |
type Substance ('Left :: a1 -> Wye a1) (Flip (:*:) a2) Source # | |