base-unicode-symbols 0.2.2.3 → 0.2.2.4

raw patch · 3 files changed

+11/−11 lines, 3 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

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

+ Control.Arrow.Unicode: (⁂) :: Arrow a => a α β -> a α' β' -> a (α, α') (β, β')

- Control.Arrow.Unicode: (⋘) :: Category ⇝ => (β ⇝ γ) -> (α ⇝ β) -> (α ⇝ γ)

+ Control.Arrow.Unicode: (⋘) :: Category c => c β γ -> c α β -> c α γ

- Control.Arrow.Unicode: (⋙) :: Category ⇝ => (α ⇝ β) -> (β ⇝ γ) -> (α ⇝ γ)

+ Control.Arrow.Unicode: (⋙) :: Category c => c α β -> c β γ -> c α γ

- Control.Arrow.Unicode: (⧻) :: ArrowChoice ⇝ => (α ⇝ β) -> (α' ⇝ β') -> (Either α α' ⇝ Either β β')

+ Control.Arrow.Unicode: (⧻) :: ArrowChoice a => a α β -> a α' β' -> a (Either α α') (Either β β')

- Control.Arrow.Unicode: (⫴) :: ArrowChoice ⇝ => (α ⇝ δ) -> (β ⇝ δ) -> (Either α β ⇝ δ)

+ Control.Arrow.Unicode: (⫴) :: ArrowChoice a => a α δ -> a β δ -> a (Either α β) δ

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

+ Control.Category.Unicode: (∘) :: Category c => c β γ -> c α β -> c α γ

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

+ Control.Category.Unicode: (⋘) :: Category c => c β γ -> c α β -> c α γ

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

+ Control.Category.Unicode: (⋙) :: Category c => c α β -> c β γ -> c α γ

Control/Arrow/Unicode.hs view

@@ -58,7 +58,7 @@  U+2042, ASTERISM -}-(⁂) ∷ Arrow (⇝) ⇒ (α ⇝ β) → (α' ⇝ β') → (α, α') ⇝ (β, β')+(⁂) ∷ Arrow a ⇒ a α β → a α' β' → a (α, α') (β, β') (⁂) = (***) {-# INLINE (⁂) #-} #endif@@ -68,7 +68,7 @@  U+29FB, TRIPLE PLUS -}-(⧻) ∷ ArrowChoice (⇝) ⇒ (α ⇝ β) → (α' ⇝ β') → (Either α α' ⇝ Either β β')+(⧻) ∷ ArrowChoice a ⇒ a α β → a α' β' → a (Either α α') (Either β β') (⧻) = (+++) {-# INLINE (⧻) #-} @@ -77,7 +77,7 @@  U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION -}-(⫴) ∷ ArrowChoice (⇝) ⇒ (α ⇝ δ) → (β ⇝ δ) → (Either α β ⇝ δ)+(⫴) ∷ ArrowChoice a ⇒ a α δ → a β δ → a (Either α β) δ (⫴) = (|||) {-# INLINE (⫴) #-} @@ -87,7 +87,7 @@  U+22D9, VERY MUCH GREATER-THAN -}-(⋙) ∷ Arrow (⇝) ⇒ (α ⇝ β) → (β ⇝ γ) → (α ⇝ γ)+(⋙) ∷ Arrow a ⇒ a α β → a β γ → a α γ (⋙) = (>>>) {-# INLINE (⋙) #-} @@ -96,7 +96,7 @@  U+22D8, VERY MUCH LESS-THAN -}-(⋘) ∷ Arrow (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)+(⋘) ∷ Arrow a ⇒ a β γ → a α β → a α γ (⋘) = (<<<) {-# INLINE (⋘) #-} #endif

Control/Category/Unicode.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax, TypeOperators #-}+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}  {-| Module     : Control.Category.Unicode@@ -35,7 +35,7 @@  U+2218, RING OPERATOR -}-(∘) ∷ Category (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)+(∘) ∷ Category c ⇒ c β γ → c α β → c α γ (∘) = (.) {-# INLINE (∘) #-} @@ -44,7 +44,7 @@  U+22D9, VERY MUCH GREATER-THAN -}-(⋙) ∷ Category (⇝) ⇒ (α ⇝ β) → (β ⇝ γ) → (α ⇝ γ)+(⋙) ∷ Category c ⇒ c α β → c β γ → c α γ (⋙) = (>>>) {-# INLINE (⋙) #-} @@ -53,6 +53,6 @@  U+22D8, VERY MUCH LESS-THAN -}-(⋘) ∷ Category (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)+(⋘) ∷ Category c ⇒ c β γ → c α β → c α γ (⋘) = (<<<) {-# INLINE (⋘) #-}

base-unicode-symbols.cabal view

@@ -1,5 +1,5 @@ name:          base-unicode-symbols-version:       0.2.2.3+version:       0.2.2.4 cabal-version: >=1.6 build-type:    Simple stability:     provisional@@ -45,7 +45,7 @@   if flag(old-base)     build-depends: base >= 3.0 && < 3.0.3.1   else-    build-depends: base >= 3.0.3.1 && < 4.6+    build-depends: base >= 3.0.3.1 && < 5     exposed-modules: Control.Category.Unicode   exposed-modules: Control.Applicative.Unicode                  , Control.Arrow.Unicode