Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type Applicative t = (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:*:) t, Monoidal (-->) (->) (:*:) (:*:) t) Source #
type Alternative t = (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:+:) t, Monoidal (-->) (->) (:*:) (:+:) t) Source #
($$$>-) :: (Covariant (->) (->) t, Covariant (->) (->) u, Covariant (->) (->) v) => t (u (v a)) -> b -> t (u (v b)) Source #
(<-*-) :: (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:*:) t) => t (a -> b) -> t a -> t b infixl 4 Source #
(-+-) :: (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:+:) t) => t a -> t b -> ((a :+: b) -> r) -> t r Source #
extract :: Extractable t => t a -> a Source #
Orphan instances
Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) ((:+:) e) Source # | |
Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) ((:*:) s) Source # | |
Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Flip (:*:) a) Source # | |
Semimonoidal (-->) (:*:) (:+:) ((:+:) e :: Type -> Type) Source # | |
Semimonoidal (-->) (:*:) (:*:) ((:+:) e :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) ((:*:) s :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) (Flip (:*:) a :: Type -> Type) Source # | |
Semimonoidal (-->) (:*:) (:*:) ((->) e :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) ((->) e :: Type -> Type) Source # | |
Comonad ((->) :: Type -> Type -> Type) ((:*:) s) Source # | |
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((:*:) s) Source # | |
Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((:*:) s) ((->) s :: Type -> Type) Source # | |