| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Profunctor.Monad.Monad
Contents
Synopsis
- (<$>) :: forall p x a b. ForallF Functor p => (a -> b) -> p x a -> p x b
- (<*>) :: forall p x a b. ForallF Applicative p => p x (a -> b) -> p x a -> p x b
- pure :: forall p x a. ForallF Applicative p => a -> p x a
- (<*) :: forall p x a b. ForallF Applicative p => p x a -> p x b -> p x a
- (*>) :: forall p x a b. ForallF Applicative p => p x a -> p x b -> p x b
- (>>=) :: forall p x a b. ForallF Monad p => p x a -> (a -> p x b) -> p x b
- (>>) :: forall p x a b. ForallF Monad p => p x a -> p x b -> p x b
- return :: forall p x a. ForallF Monad p => a -> p x a
- fail :: forall p x a. ForallF MonadFail p => String -> p x a
Rebound syntax
Works with RebindableSyntax.
(<*>) :: forall p x a b. ForallF Applicative p => p x (a -> b) -> p x a -> p x b infixl 4 Source #
pure :: forall p x a. ForallF Applicative p => a -> p x a Source #
(<*) :: forall p x a b. ForallF Applicative p => p x a -> p x b -> p x a infixl 4 Source #
(*>) :: forall p x a b. ForallF Applicative p => p x a -> p x b -> p x b infixl 4 Source #