| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Pandora.Pattern.Functor.Monad
Documentation
class (Pointable t, Bindable t) => Monad t where Source #
Let f :: (Pointable t, Bindable t) => a -> t a Let g :: (Pointable t, Bindable t) => a -> t a Let h :: (Pointable t, Bindable t) => t a
When providing a new instance, you should ensure it satisfies: * Left identity: point a >>= f ≡ f a * Right identity: h >>= point ≡ h * Associativity: h >>= (f >=> g) ≡ (h >>= f) >>= g
Minimal complete definition
Nothing
Methods
(>>=-) :: t a -> t b -> t a infixl 1 Source #
(->>=) :: t a -> t b -> t b infixl 1 Source #