Control.Category.Unicode

Documentation

(∘) :: Category c => c β γ -> c α β -> c α γ infixr 9

(∘) = (.)

U+2218, RING OPERATOR

(⋙) :: Category c => c α β -> c β γ -> c α γ infixr 1

(⋙) = (>>>)

U+22D9, VERY MUCH GREATER-THAN

(⋘) :: Category c => c β γ -> c α β -> c α γ infixr 1

(⋘) = (<<<)

U+22D8, VERY MUCH LESS-THAN