base-unicode-symbols-0.2.4.2: Unicode alternatives for common functions and operators
Safe HaskellSafe-Inferred
LanguageHaskell98

Control.Arrow.Unicode

Synopsis
  • (⋙) :: Category c => c α β -> c β γ -> c α γ
  • (⋘) :: Category c => c β γ -> c α β -> c α γ
  • (⁂) :: Arrow a => a α β -> a α' β' -> a (α, α') (β, β')
  • (⧻) :: ArrowChoice a => a α β -> a α' β' -> a (Either α α') (Either β β')
  • (⫴) :: ArrowChoice a => a α δ -> a β δ -> a (Either α β) δ

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