Control.Arrow.Unicode

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

Copyright | 2010—2011 Roel van Dijk
License | BSD3 (see the file LICENSE)
Maintainer | Roel van Dijk <vandijk.roel@gmail.com>
Safe Haskell | Safe
Language | Haskell98

Control.Arrow.Unicode

Description

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