Control.Arrow.Unicode

Documentation

(⋙) :: Category cat => cat α β -> cat β γ -> cat α γ

(⋙) = (>>>)

U+22D9, VERY MUCH GREATER-THAN

(⋘) :: Category cat => cat β γ -> cat α β -> cat α γ

(⋘) = (<<<)

U+22D8, VERY MUCH LESS-THAN

(⧻) :: ArrowChoice α => α β γ -> α β' γ' -> α (Either β β') (Either γ γ')

(⧻) = (+++)

U+29FB, TRIPLE PLUS

(⫴) :: ArrowChoice α => α β δ -> α γ δ -> α (Either β γ) δ

(⫴) = (|||)

U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION