uniform-pair 0.1.6 → 0.1.7

raw patch · 2 files changed

+11/−10 lines, 2 files

Files

• src/Data/UniformPair.hs +10/−9
• uniform-pair.cabal +1/−1

@@ -16,7 +16,7 @@ ----------------------------------------------------------------------  module Data.UniformPair-  ( Pair(..), fstP,sndP, firstP, secondP, updateP, compareSwap+  ( Pair(..), fstP,sndP, firstP, secondP, getP, onElemP, compareSwap   ) where  import Data.Monoid (Monoid(..),(<>))@@ -73,16 +73,17 @@ --      (c :# _) = f a --      (_ :# d) = f b --- Update a component, indexing by 'False' for the first element and 'True' for+-- | Update a component, indexing by 'False' for the first element and 'True' for -- the second.-updateP :: Bool -> (a -> a) -> Pair a -> Pair a-updateP False f (a :# b) = f a :# b-updateP True  f (a :# b) = a :# f b+onElemP :: Bool -> (a -> a) -> Pair a -> Pair a+onElemP False f (a :# b) = f a :# b+onElemP True  f (a :# b) = a :# f b --- -- Untrie. What argument order do I want here?--- getP :: Pair a -> Bool -> a--- getP (a :# _) False = a--- getP (_ :# b) True  = b+-- | Extract an element, indexing by 'False' for the first element and 'True'+-- for the second.+getP :: Bool -> Pair a -> a+getP False (a :# _) = a+getP True  (_ :# b) = b  -- Compare and swap compareSwap :: Ord a => Pair a -> Pair a

@@ -1,5 +1,5 @@ Name:                uniform-pair-Version:             0.1.6+Version:             0.1.7 Cabal-Version:       >= 1.6 Synopsis:            Uniform pairs with class instances Category:            Data