Control.Arrow.Unicode

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

Maintainer | Roel van Dijk <vandijk.roel@gmail.com>

Control.Arrow.Unicode

Description

Synopsis

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

# Documentation

(⋙) :: Category ⇝ => (α ⇝ β) -> (β ⇝ γ) -> α ⇝ γ

(⋙) = (`>>>`)

U+22D9, VERY MUCH GREATER-THAN

(⋘) :: Category ⇝ => (β ⇝ γ) -> (α ⇝ β) -> α ⇝ γ

(⋘) = (`<<<`)

U+22D8, VERY MUCH LESS-THAN

⁂ :: Arrow ⇝ => (α ⇝ β) -> (α' ⇝ β') -> (α, α') ⇝ (β, β')

(⁂) = (`***`)

U+2042, ASTERISM

(⧻) :: ArrowChoice ⇝ => (α ⇝ β) -> (α' ⇝ β') -> Either α α' ⇝ Either β β'

(⧻) = (`+++`)

U+29FB, TRIPLE PLUS

(⫴) :: ArrowChoice ⇝ => (α ⇝ δ) -> (β ⇝ δ) -> Either α β ⇝ δ

(⫴) = (`|||`)

U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION