Control.Monad.Unicode

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)