base-unicode-symbols-0.2.1.5: Unicode alternatives for common functions and operators
Control.Category.Unicode
Description
Synopsis
(∘) :: Category ⇝ => (β ⇝ γ) -> (α ⇝ β) -> α ⇝ γSource
(∘) = (.)
.
U+2218, RING OPERATOR
(⋙) :: Category ⇝ => (α ⇝ β) -> (β ⇝ γ) -> α ⇝ γSource
(⋙) = (>>>)
>>>
U+22D9, VERY MUCH GREATER-THAN
(⋘) :: Category ⇝ => (β ⇝ γ) -> (α ⇝ β) -> α ⇝ γSource
(⋘) = (<<<)
<<<
U+22D8, VERY MUCH LESS-THAN