base-unicode-symbols 0.1.3 → 0.1.4

raw patch · 5 files changed

+20/−12 lines, 5 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

+ Data.Eq.Unicode: (≠) :: (Eq α) => α -> α -> Bool

+ Prelude.Unicode: (≠) :: (Eq α) => α -> α -> Bool

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Control/Arrow/Unicode.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax, TypeOperators #-}  {-| Module     : Control.Arrow.Unicode@@ -40,7 +40,7 @@  U+29FB, TRIPLE PLUS -}-(⧻) ∷ ArrowChoice α ⇒ α β γ → α β' γ' → α (Either β β') (Either γ γ')+(⧻) ∷ ArrowChoice (⇝) ⇒ (α ⇝ β) → (α' ⇝ β') → (Either α α' ⇝ Either β β') (⧻) = (+++)  {-|@@ -48,5 +48,5 @@  U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION -}-(⫴) ∷ ArrowChoice α ⇒ α β δ → α γ δ → α (Either β γ) δ+(⫴) ∷ ArrowChoice (⇝) ⇒ (α ⇝ δ) → (β ⇝ δ) → (Either α β ⇝ δ) (⫴) = (|||)

Control/Category/Unicode.hs view

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

Data/Eq/Unicode.hs view

@@ -7,7 +7,7 @@ Maintainer : Roel van Dijk <vandijk.roel@gmail.com> -} -module Data.Eq.Unicode ( (≡), (≢) ) where+module Data.Eq.Unicode ( (≡), (≢), (≠) ) where   -------------------------------------------------------------------------------@@ -25,7 +25,7 @@  infix  4 ≡ infix  4 ≢-+infix  4 ≠  ------------------------------------------------------------------------------- -- Symbols@@ -46,3 +46,11 @@ -} (≢) ∷ Eq α ⇒ α → α → Bool (≢) = (/=)++{-|+(&#x2260;) = ('/=')++U+2260, NOT EQUAL TO+-}+(≠) ∷ Eq α ⇒ α → α → Bool+(≠) = (/=)

Prelude/Unicode.hs view

@@ -9,7 +9,7 @@  module Prelude.Unicode     ( (¬), (∧), (∨)-    , (≡), (≢)+    , (≡), (≢), (≠)     , (≤), (≥), (≮), (≯)     , π     , (÷), (⋅)@@ -31,7 +31,7 @@  -- from base-unicode-symbols: import Data.Bool.Unicode     ( (∧), (∨), (¬) )-import Data.Eq.Unicode       ( (≡), (≢) )+import Data.Eq.Unicode       ( (≡), (≢), (≠) ) import Data.Function.Unicode ( (∘) ) import Data.List.Unicode     ( (⧺), (∈), (∉) ) import Data.Ord.Unicode      ( (≤), (≥), (≮), (≯) )

base-unicode-symbols.cabal view

@@ -1,5 +1,5 @@ name:          base-unicode-symbols-version:       0.1.3+version:       0.1.4 cabal-version: >=1.6 build-type:    Simple stability:     provisional