packages feed

fadno-braids 0.1.2 → 0.1.3

raw patch · 2 files changed

+6/−3 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Fadno.Braids.Internal: instance (GHC.Base.Monoid (b a), GHC.Real.Integral a) => GHC.Base.Monoid (Fadno.Braids.Internal.DimBraid b a)
+ Fadno.Braids.Internal: instance (GHC.Base.Monoid (b a), GHC.Base.Semigroup (b a), GHC.Real.Integral a) => GHC.Base.Monoid (Fadno.Braids.Internal.DimBraid b a)
- Fadno.Braids.Internal: aGens :: forall a_agOh a_ahhi. Iso (Artin a_agOh) (Artin a_ahhi) [Gen a_agOh] [Gen a_ahhi]
+ Fadno.Braids.Internal: aGens :: forall a_ah9A a_ahCB. Iso (Artin a_ah9A) (Artin a_ahCB) [Gen a_ah9A] [Gen a_ahCB]
- Fadno.Braids.Internal: class (Integral a, Monoid (br a)) => Braid br a
+ Fadno.Braids.Internal: class (Integral a, Monoid (br a), Semigroup (br a)) => Braid br a
- Fadno.Braids.Internal: dBraid :: forall b_ao43 a_ao44 b_aocM. Lens (DimBraid b_ao43 a_ao44) (DimBraid b_aocM a_ao44) (b_ao43 a_ao44) (b_aocM a_ao44)
+ Fadno.Braids.Internal: dBraid :: forall b_ao4a a_ao4b b_aocM. Lens (DimBraid b_ao4a a_ao4b) (DimBraid b_aocM a_ao4b) (b_ao4a a_ao4b) (b_aocM a_ao4b)
- Fadno.Braids.Internal: dSteps :: forall b_ao43 a_ao44. Lens' (DimBraid b_ao43 a_ao44) Int
+ Fadno.Braids.Internal: dSteps :: forall b_ao4a a_ao4b. Lens' (DimBraid b_ao4a a_ao4b) Int
- Fadno.Braids.Internal: dStrands :: forall b_ao43 a_ao44. Lens' (DimBraid b_ao43 a_ao44) a_ao44
+ Fadno.Braids.Internal: dStrands :: forall b_ao4a a_ao4b. Lens' (DimBraid b_ao4a a_ao4b) a_ao4b
- Fadno.Braids.Internal: gPol :: forall a_abhL. Lens' (Gen a_abhL) Polarity
+ Fadno.Braids.Internal: gPol :: forall a_abCv. Lens' (Gen a_abCv) Polarity
- Fadno.Braids.Internal: gPos :: forall a_abhL a_agvM. Lens (Gen a_abhL) (Gen a_agvM) a_abhL a_agvM
+ Fadno.Braids.Internal: gPos :: forall a_abCv a_agR9. Lens (Gen a_abCv) (Gen a_agR9) a_abCv a_agR9
- Fadno.Braids.Internal: lStrands :: forall a_aoJz a_ap3l. Iso (Loop a_aoJz) (Loop a_ap3l) [Strand a_aoJz] [Strand a_ap3l]
+ Fadno.Braids.Internal: lStrands :: forall a_aoJV a_ap3J. Iso (Loop a_aoJV) (Loop a_ap3J) [Strand a_aoJV] [Strand a_ap3J]
- Fadno.Braids.Internal: lx :: forall a_ap3y. Lens' (Loc a_ap3y) Int
+ Fadno.Braids.Internal: lx :: forall a_ap3W. Lens' (Loc a_ap3W) Int
- Fadno.Braids.Internal: ly :: forall a_ap3y a_apoh. Lens (Loc a_ap3y) (Loc a_apoh) a_ap3y a_apoh
+ Fadno.Braids.Internal: ly :: forall a_ap3W a_apoH. Lens (Loc a_ap3W) (Loc a_apoH) a_ap3W a_apoH
- Fadno.Braids.Internal: mSteps :: forall a_ahru a_ao3V. Iso (MultiGen a_ahru) (MultiGen a_ao3V) [Step a_ahru] [Step a_ao3V]
+ Fadno.Braids.Internal: mSteps :: forall a_ahMN a_ao42. Iso (MultiGen a_ahMN) (MultiGen a_ao42) [Step a_ahMN] [Step a_ao42]

Files

fadno-braids.cabal view
@@ -1,6 +1,6 @@ name:                fadno-braids category:            Data, Math, Algebra-version:             0.1.2+version:             0.1.3 synopsis:            Braid representations in Haskell description:  Braids represented as Haskell types with support for generation and transformations. homepage:            http://github.com/slpopejoy/
src/Fadno/Braids/Internal.hs view
@@ -30,6 +30,7 @@ import Control.Lens hiding (Empty) import Numeric.Natural import Control.Arrow+import Data.Semigroup  -- | Braid generator "power", as (i + 1) "over/under" i. -- O[ver] == power 1 (i + 1 "over" i)@@ -165,6 +166,7 @@  instance Integral a => Monoid (Step a) where     mempty = Empty+    mappend = (<>)   @@ -183,8 +185,9 @@ instance (Semigroup (b a), Integral a) => Semigroup (DimBraid b a) where   (DimBraid b1 x1 y1) <> (DimBraid b2 x2 y2) =         DimBraid (b1 <> b2) (max x1 x2) (y1 + y2)-instance (Monoid (b a), Integral a) => Monoid (DimBraid b a) where+instance (Monoid (b a), Semigroup (b a), Integral a) => Monoid (DimBraid b a) where     mempty = DimBraid mempty 0 0+    mappend = (<>) makeLenses ''DimBraid  -- | Make 'DimBraid' using braid's dimensions.@@ -195,7 +198,7 @@   -- | Braid representations.-class (Integral a, Monoid (br a)) => Braid br a where+class (Integral a, Monoid (br a), Semigroup (br a)) => Braid br a where      {-# MINIMAL toGens,minIndex,maxIndex,invert #-}