Documentation
(⋙) :: 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
(⁂) :: Arrow a => a α β -> a α' β' -> a (α, α') (β, β') infixr 3 #
(⁂) = (***
)
U+2042, ASTERISM
(⧻) :: ArrowChoice a => a α β -> a α' β' -> a (Either α α') (Either β β') infixr 2 #
(⧻) = (+++
)
U+29FB, TRIPLE PLUS
(⫴) :: ArrowChoice a => a α δ -> a β δ -> a (Either α β) δ infixr 2 #
(⫴) = (|||
)
U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION