Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Orphan instances
Monoidal (-->) (-->) (:*:) (:*:) ((:+:) e) Source # | |
Monoidal (<--) (-->) (:*:) (:*:) ((:*:) s) Source # | |
Monoidal (<--) (-->) (:*:) (:*:) (Flip (:*:) a) Source # | |
(Monoidal (-->) (-->) (:*:) (:+:) t, Monoidal (-->) (-->) (:*:) (:+:) u) => Monoidal (-->) (-->) (:*:) (:+:) (t <:*:> u) Source # | |
Monoidal (-->) (-->) (:*:) (:*:) ((->) e :: Type -> Type) Source # | |
Semimonoidal (-->) (:*:) (:+:) ((:+:) e :: Type -> Type) Source # | |
Semimonoidal (-->) (:*:) (:*:) ((:+:) e :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) ((:*:) s :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) (Flip (:*:) a :: Type -> Type) Source # | |
(Semimonoidal (-->) (:*:) (:+:) t, Semimonoidal (-->) (:*:) (:+:) u) => Semimonoidal (-->) (:*:) (:+:) (t <:*:> u :: Type -> Type) Source # | |
Semimonoidal (-->) (:*:) (:*:) ((->) e :: Type -> Type) Source # | |
(Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:*:) u) => Semimonoidal (-->) (:*:) (:*:) (t <:*:> u :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) ((->) e :: Type -> Type) Source # | |
(Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <:*:> u :: Type -> Type) Source # | |
Comonad ((->) :: Type -> Type -> Type) ((:*:) s) Source # | |
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((:*:) s) Source # | |
(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (s :*: a) -> u (s :*: b) Source # (<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (s :*: a) -> u (s :*: b) Source # (<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (s :*: a) -> u (s :*: b) Source # (<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (s :*: a) -> u (s :*: b) Source # (<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (s :*: a) -> u (s :*: b) Source # (<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (s :*: a) -> u (s :*: b) Source # (<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (s :*: a) -> u (s :*: b) Source # | |
(Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <:*:> u) Source # | |
(<<-) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b) Source # (<<-------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b) Source # (<<------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b) Source # (<<-----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b) Source # (<<----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b) Source # (<<---) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b) Source # (<<--) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b) Source # |