Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
(&=&) :: Applicative p => (a -> p b) -> (a -> p c) -> a -> p (b, c) infixr 3 Source #
(*=*) :: Applicative p => (a1 -> p b1) -> (a2 -> p b2) -> (a1, a2) -> p (b1, b2) infixr 3 Source #
tripleK :: Applicative p => (a1 -> p b1) -> (a2 -> p b2) -> (a3 -> p b3) -> (a1, a2, a3) -> p (b1, b2, b3) Source #
liftA4 :: Applicative p => (a -> b -> c -> d -> e) -> p a -> p b -> p c -> p d -> p e Source #
replicate :: Alternative f => Natural -> a -> f a Source #
replicateA :: (Applicative p, Alternative f) => Natural -> p a -> p (f a) Source #
Monad p => Monad (Ap p) Source # | |
Functor p => Functor (Ap p) Source # | |
Applicative p => Applicative (Ap p) Source # | |
Foldable p => Foldable (Ap p) Source # | |
Traversable p => Traversable (Ap p) Source # | |
Eq1 p => Eq1 (Ap p) Source # | |
Ord1 p => Ord1 (Ap p) Source # | |
Read1 p => Read1 (Ap p) Source # | |
Show1 p => Show1 (Ap p) Source # | |
Alternative p => Alternative (Ap p) Source # | |
MonadPlus p => MonadPlus (Ap p) Source # | |
Bounded (p a) => Bounded (Ap p a) Source # | |
Enum (p a) => Enum (Ap p a) Source # | |
Eq (p a) => Eq (Ap p a) Source # | |
Ord (p a) => Ord (Ap p a) Source # | |
Read (p a) => Read (Ap p a) Source # | |
Show (p a) => Show (Ap p a) Source # | |
(Applicative p, Semigroup a) => Semigroup (Ap p a) Source # | |
(Applicative p, Semigroup a, Monoid a) => Monoid (Ap p a) Source # | |
intercalate :: Semigroup a => a -> NonEmpty a -> a Source #