Safe Haskell	Safe-Inferred
Language	Haskell2010

Profunctor.Monad.Syntax

Description

Rebind syntax locally.

{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE RecordWildCards #-}

-- Qualify to avoid polluting the namespace.
import qualified Profunctor.Monad.Syntax as S

let S.Syntax{..} = S.promonad
in do
  ...

Documentation

data Syntax Source #

Constructors

Syntax

Fields

(<$>) :: 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

promonad :: Syntax Source #