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 #
type Divisible t = (Covariant (->) (->) t, Semimonoidal (<--) (:*:) (:*:) t, Monoidal (-->) (<--) (:*:) (:*:) t) Source #
type Decidable 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 b -> t a -> t b infixl 4 Source #
(<-*-*-) :: (Covariant (->) (->) t, Covariant (->) (->) u, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:*:) u) => t (u (a -> b)) -> t (u a) -> t (u b) infixl 3 Source #
(.-*-*-) :: (Covariant (->) (->) t, Covariant (->) (->) u, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:*:) u) => t (u b) -> t (u a) -> t (u b) infixl 3 Source #
(<-+-) :: (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:+:) t) => t b -> t a -> ((a :+: b) -> r) -> t r infixl 3 Source #
(-+-) :: (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:+:) t) => t a -> t a -> t a infixl 3 Source #
extract :: Extractable t => t a -> a Source #
Orphan instances
Monoidal (-->) (-->) (:*:) (:*:) ((:+:) e) Source # | |
Monoidal (<--) (-->) (:*:) (:*:) ((:*:) s) Source # | |
Monoidal (<--) (-->) (:*:) (:*:) (Flip (:*:) a) 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 (-->) (:*:) (:*:) ((->) 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 # | |