Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Semimonoidal p source target t => Monoidal p q source target t | p target -> source where Source #
Instances
Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:+:) Maybe Source # | |
Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) Identity Source # | |
Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) Maybe Source # | |
Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) Identity Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:+:) t) => Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:+:) (Comprehension t) Source # | |
Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) ((:+:) e) Source # | |
Semigroup e => Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Validation e) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Validation | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Instruction t) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t, Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:+:) t) => Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Construction t) Source # | |
Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Conclusion e) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion | |
Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (State s) Source # | |
Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Environment e) Source # | |
Defined in Pandora.Paradigm.Inventory.Environment | |
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) (:*:) (:*:) (Tagged tag) Source # | |
Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Schematic Monad t 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) (:*:) (:*:) (Backwards t) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) t) => Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Reverse t) Source # | |
Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Schematic Comonad t u) => Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (t :< u) 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, Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:+:) t) => Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:+:) (t <:.> u) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t', 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) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:*:) 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, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:*:) 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, 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 # | |