Control.Monad.Unicode

base-unicode-symbols-0.2.4.2: Unicode alternatives for common functions and operators

Safe Haskell | Safe-Inferred
Language | Haskell98

Control.Monad.Unicode

Synopsis

- (≫=) :: Monad m => m α -> (α -> m β) -> m β
- (≫) :: Monad m => m α -> m β -> m β
- (=≪) :: Monad m => (α -> m β) -> m α -> m β
- (↣) :: Monad μ => (α -> μ β) -> (β -> μ γ) -> α -> μ γ
- (↢) :: Monad μ => (β -> μ γ) -> (α -> μ β) -> α -> μ γ

# Documentation

(≫=) :: Monad m => m α -> (α -> m β) -> m β infixl 1 #

(≫=) = (`>>=`)

(U+226B, MUCH GREATER-THAN) + (U+3D, EQUALS SIGN)

(≫) :: Monad m => m α -> m β -> m β infixl 1 #

(≫) = (`>>`)

U+226B, MUCH GREATER-THAN

(=≪) :: Monad m => (α -> m β) -> m α -> m β infixr 1 #

(=≪) = (`=<<`)

(U+3D, EQUALS SIGN) + (U+226A, MUCH LESS-THAN)

(↣) :: Monad μ => (α -> μ β) -> (β -> μ γ) -> α -> μ γ infixl 1 #

(↣) = (`>=>`)

(U+21A3, RIGHTWARDS ARROW WITH TAIL)

(↢) :: Monad μ => (β -> μ γ) -> (α -> μ β) -> α -> μ γ infixr 1 #

(↢) = (`<=<`)

(U+21A2, LEFTWARDS ARROW WITH TAIL)