base-unicode-symbols-0.2: Unicode alternatives for common functions and operators
Control.Arrow.Unicode
Description
Synopsis
(⋙) :: Category ⇝ => (α ⇝ β) -> (β ⇝ γ) -> α ⇝ γSource
(⋙) = (>>>)
>>>
U+22D9, VERY MUCH GREATER-THAN
(⋘) :: Category ⇝ => (β ⇝ γ) -> (α ⇝ β) -> α ⇝ γSource
(⋘) = (<<<)
<<<
U+22D8, VERY MUCH LESS-THAN
(⧻) :: ArrowChoice ⇝ => (α ⇝ β) -> (α' ⇝ β') -> Either α α' ⇝ Either β β'Source
(⧻) = (+++)
+++
U+29FB, TRIPLE PLUS
(⫴) :: ArrowChoice ⇝ => (α ⇝ δ) -> (β ⇝ δ) -> Either α β ⇝ δSource
(⫴) = (|||)
|||
U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION