Control.Category.Unicode

Documentation

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

(∘) = (.)

U+2218, RING OPERATOR

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

(⋙) = (>>>)

U+22D9, VERY MUCH GREATER-THAN

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

(⋘) = (<<<)

U+22D8, VERY MUCH LESS-THAN