rebindable-0.1.2: A library to facilitate rebinding of Haskell syntax

Safe HaskellSafe
LanguageHaskell2010

Language.Haskell.Rebindable.Do

Documentation

data Monad Source #

Constructors

Monad 

Fields

  • return :: forall a m. Monad m => a -> m a
     
  • (>>=) :: forall a b m. Monad m => m a -> (a -> m b) -> m b
     
  • (>>) :: forall a b m. Monad m => m a -> m b -> m b
     

Instances

data IxMonad Source #

Constructors

IxMonad 

Fields

  • return :: forall a i m. IxMonad m => a -> m i i a
     
  • (>>=) :: forall a b i j k m. IxMonad m => m i j a -> (a -> m j k b) -> m i k b
     
  • (>>) :: forall a b i j k m. IxMonad m => m i j a -> m j k b -> m i k b
     

Instances