Control.Arrow.Unicode

base-unicode-symbols-0.2.4.2: Unicode alternatives for common functions and operators

Safe Haskell | Safe-Inferred
Language | Haskell98

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