Fin 0.2.4.0 → 0.2.5.0

raw patch · 2 files changed

+5/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Data/Fin/Permutation.hs +4/−1
• Fin.cabal +1/−1

@@ -2,7 +2,7 @@  module Data.Fin.Permutation (Permutation, apply, unapply, swap, orbit, cycles) where -import Prelude (Functor (..), Eq (..), Bool (..), ($), (<$>), otherwise, snd, flip, curry, uncurry)+import Prelude (Functor (..), Eq (..), Show (..), Bool (..), ($), (<$>), otherwise, snd, flip, curry, uncurry) import Algebra import Control.Category (Category (..)) import Data.Fin@@ -16,6 +16,9 @@ data Permutation n where     PZ :: Permutation P.Zero     PS :: Fin (P.Succ n) -> Permutation n -> Permutation (P.Succ n)++deriving instance Eq (Permutation n)+deriving instance Show (Permutation n)  apply :: Permutation n -> List n a -> List n a apply PZ Nil = Nil

@@ -1,5 +1,5 @@ name:                Fin-version:             0.2.4.0+version:             0.2.5.0 synopsis:            Finite totally-ordered sets -- description:          license:             BSD3