Control.Category.Unicode

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

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

Control.Category.Unicode

Description

Synopsis

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

# Documentation

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

(∘) = (`.`)

U+2218, RING OPERATOR

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

(⋙) = (`>>>`)

U+22D9, VERY MUCH GREATER-THAN

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

(⋘) = (`<<<`)

U+22D8, VERY MUCH LESS-THAN