packages feed

base-unicode-symbols 0.1.2.1 → 0.1.3

raw patch · 4 files changed

+131/−3 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Control.Arrow.Unicode: (⋘) :: (Category cat) => cat β γ -> cat α β -> cat α γ
+ Control.Arrow.Unicode: (⋙) :: (Category cat) => cat α β -> cat β γ -> cat α γ
+ Control.Arrow.Unicode: (⧻) :: (ArrowChoice α) => α β γ -> α β' γ' -> α (Either β β') (Either γ γ')
+ Control.Arrow.Unicode: (⫴) :: (ArrowChoice α) => α β δ -> α γ δ -> α (Either β γ) δ
+ Control.Category.Unicode: (⋘) :: (Category cat) => cat β γ -> cat α β -> cat α γ
+ Control.Category.Unicode: (⋙) :: (Category cat) => cat α β -> cat β γ -> cat α γ
+ Control.Monad.Unicode: (=≪) :: (Monad m) => (α -> m β) -> m α -> m β
+ Control.Monad.Unicode: (≫) :: (Monad m) => m α -> m β -> m β
+ Control.Monad.Unicode: (≫=) :: (Monad m) => m α -> (α -> m β) -> m β

Files

+ Control/Arrow/Unicode.hs view
@@ -0,0 +1,52 @@+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}++{-|+Module     : Control.Arrow.Unicode+Copyright  : (c) 2010 Roel van Dijk+License    : BSD3 (see the file LICENSE)+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>+-}++module Control.Arrow.Unicode ( (⋙), (⋘), (⧻), (⫴) ) where+++-------------------------------------------------------------------------------+-- Imports+-------------------------------------------------------------------------------++-- from base:+import Control.Arrow ( ArrowChoice, (+++), (|||) )+import Data.Either   ( Either )++-- from base-unicode-symbols+import Control.Category.Unicode ( (⋙), (⋘) )+++-------------------------------------------------------------------------------+-- Fixities+-------------------------------------------------------------------------------++infixr 2 ⧻+infixr 2 ⫴+++-------------------------------------------------------------------------------+-- Symbols+-------------------------------------------------------------------------------+++{-|+(&#x29FB;) = ('+++')++U+29FB, TRIPLE PLUS+-}+(⧻) ∷ ArrowChoice α ⇒ α β γ → α β' γ' → α (Either β β') (Either γ γ')+(⧻) = (+++)++{-|+(&#x2AF4;) = ('|||')++U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION+-}+(⫴) ∷ ArrowChoice α ⇒ α β δ → α γ δ → α (Either β γ) δ+(⫴) = (|||)
Control/Category/Unicode.hs view
@@ -7,14 +7,15 @@ Maintainer : Roel van Dijk <vandijk.roel@gmail.com> -} -module Control.Category.Unicode ( (∘) ) where+module Control.Category.Unicode ( (∘), (⋙), (⋘) ) where + ------------------------------------------------------------------------------- -- Imports -------------------------------------------------------------------------------  -- from base:-import Control.Category ( Category, (.) )+import Control.Category ( Category, (.), (>>>), (<<<) )   -------------------------------------------------------------------------------@@ -22,6 +23,7 @@ -------------------------------------------------------------------------------  infixr 9 ∘+infixr 1 ⋙, ⋘   -------------------------------------------------------------------------------@@ -36,3 +38,18 @@ (∘) ∷ Category cat ⇒ cat β γ → cat α β → cat α γ (∘) = (.) +{-|+(&#x22D9;) = ('>>>')++U+22D9, VERY MUCH GREATER-THAN+-}+(⋙) ∷ Category cat ⇒ cat α β → cat β γ → cat α γ+(⋙) = (>>>)++{-|+(&#x22D8;) = ('<<<')++U+22D8, VERY MUCH LESS-THAN+-}+(⋘) ∷ Category cat ⇒ cat β γ → cat α β → cat α γ+(⋘) = (<<<)
+ Control/Monad/Unicode.hs view
@@ -0,0 +1,56 @@+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}++{-|+Module     : Control.Monad.Unicode+Copyright  : (c) 2010 Roel van Dijk+License    : BSD3 (see the file LICENSE)+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>+-}++module Control.Monad.Unicode ( (≫=), (≫), (=≪) ) where+++-------------------------------------------------------------------------------+-- Imports+-------------------------------------------------------------------------------++-- from base:+import Control.Monad ( Monad, (>>=), (>>), (=<<) )+++-------------------------------------------------------------------------------+-- Fixities+-------------------------------------------------------------------------------++infixl 1 ≫=+infixl 1 ≫+infixr 1 =≪+++-------------------------------------------------------------------------------+-- Symbols+-------------------------------------------------------------------------------++{-|+(&#x226B;=) = ('>>=')++(U+226B, MUCH GREATER-THAN) + (U+3D, EQUALS SIGN)+-}+(≫=) ∷ Monad m ⇒ m α → (α → m β) → m β+(≫=) = (>>=)++{-|+(&#x226B;) = ('>>')++U+226B, MUCH GREATER-THAN+-}+(≫) ∷ Monad m ⇒ m α → m β → m β+(≫) = (>>)++{-|+(=&#x226A;) = ('=<<')++(U+3D, EQUALS SIGN) + (U+226A, MUCH LESS-THAN)+-}+(=≪) ∷ Monad m ⇒ (α → m β) → m α → m β+(=≪) = (=<<)
base-unicode-symbols.cabal view
@@ -1,5 +1,5 @@ name:          base-unicode-symbols-version:       0.1.2.1+version:       0.1.3 cabal-version: >=1.6 build-type:    Simple stability:     provisional@@ -9,6 +9,7 @@ license:       BSD3 license-file:  LICENSE category:+homepage:      http://haskell.org/haskellwiki/Unicode-symbols synopsis:      Unicode alternatives for common functions and operators description:   This package defines new symbols for a number of functions and@@ -45,7 +46,9 @@  library   exposed-modules: Control.Applicative.Unicode+                 , Control.Arrow.Unicode                  , Control.Category.Unicode+                 , Control.Monad.Unicode                  , Data.Bool.Unicode                  , Data.Eq.Unicode                  , Data.Foldable.Unicode