diagrams-contrib 1.3.0.11 → 1.3.0.12
raw patch · 2 files changed
+7/−2 lines, 2 filesdep ~QuickCheckPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: QuickCheck
API changes (from Hackage documentation)
- Diagrams.TwoD.Path.Metafont.Combinators: infixr 5 .--.
- Diagrams.TwoD.Path.Metafont.Types: [MFPathCycle] :: MFPathData P n
- Diagrams.TwoD.Path.Metafont.Types: [MFPathEnd] :: P2 n -> MFPathData P n
- Diagrams.TwoD.Path.Metafont.Types: [MFPathJoin] :: PathJoin (Maybe (PathDir n)) (Maybe (BasicJoin n)) -> MFPathData P n -> MFPathData J n
- Diagrams.TwoD.Path.Metafont.Types: [MFPathPt] :: P2 n -> MFPathData J n -> MFPathData P n
+ Diagrams.TwoD.Path.Metafont.Types: MFPathCycle :: MFPathData P n
+ Diagrams.TwoD.Path.Metafont.Types: MFPathEnd :: P2 n -> MFPathData P n
+ Diagrams.TwoD.Path.Metafont.Types: MFPathJoin :: PathJoin (Maybe (PathDir n)) (Maybe (BasicJoin n)) -> MFPathData P n -> MFPathData J n
+ Diagrams.TwoD.Path.Metafont.Types: MFPathPt :: P2 n -> MFPathData J n -> MFPathData P n
- Diagrams.Example.Logo: a1 :: ((~#) (* -> *) (* -> *) (V b) V2, TrailLike b, Alignable b, HasOrigin b, Transformable b, HasStyle b, Juxtaposable b, Semigroup b, Typeable * (N b)) => b
+ Diagrams.Example.Logo: a1 :: (Typeable * (N b), Semigroup b, Transformable b, R1 (V b), Juxtaposable b, HasStyle b, HasOrigin b, TrailLike b, Alignable b, (~) (* -> *) (V b) V2) => b
- Diagrams.Example.Logo: a2 :: (TrailLike (QDiagram b V2 n m), Monoid m, Semigroup m, Typeable * n, Ord n, Floating n) => QDiagram b V2 n m
+ Diagrams.Example.Logo: a2 :: (Floating n, Ord n, Typeable * n, Monoid m, Semigroup m, TrailLike (QDiagram b V2 n m)) => QDiagram b V2 n m
- Diagrams.Example.Logo: d :: (Renderable (Path V2 n) b, Typeable * n, RealFloat n) => QDiagram b V2 n Any
+ Diagrams.Example.Logo: d :: (RealFloat n, Typeable * n, Renderable (Path V2 n) b) => QDiagram b V2 n Any
- Diagrams.Example.Logo: disk :: ((~#) (* -> *) (* -> *) (V b) V2, TrailLike b, Transformable b, HasStyle b, Typeable * (N b)) => Colour Double -> b
+ Diagrams.Example.Logo: disk :: (Typeable * (N b), Transformable b, HasStyle b, TrailLike b, (~) (* -> *) (V b) V2) => Colour Double -> b
- Diagrams.Example.Logo: g :: (Renderable (Text n) b, Renderable (Path V2 n) b, Typeable * n, RealFloat n) => QDiagram b V2 n Any
+ Diagrams.Example.Logo: g :: (RealFloat n, Typeable * n, Renderable (Path V2 n) b, Renderable (Text n) b) => QDiagram b V2 n Any
- Diagrams.Example.Logo: gbkg :: forall b n m. (TrailLike (QDiagram b V2 n m), Monoid m, Semigroup m, TypeableFloat n) => QDiagram b V2 n m
+ Diagrams.Example.Logo: gbkg :: (TrailLike (QDiagram b V2 n m), Monoid m, Semigroup m, TypeableFloat n) => QDiagram b V2 n m
- Diagrams.Example.Logo: grid :: ((~#) (* -> *) (* -> *) (V a) V2, TrailLike a, Alignable a, HasOrigin a, Transformable a, Juxtaposable a, Monoid a, Semigroup a) => a
+ Diagrams.Example.Logo: grid :: (Monoid a, Semigroup a, Transformable a, R2 (V a), Juxtaposable a, HasOrigin a, TrailLike a, Alignable a, (~) (* -> *) (V a) V2) => a
- Diagrams.Example.Logo: i :: (TrailLike (QDiagram b V2 n m), Monoid m, Semigroup m, Typeable * n, RealFloat n) => QDiagram b V2 n m
+ Diagrams.Example.Logo: i :: (RealFloat n, Typeable * n, Monoid m, Semigroup m, TrailLike (QDiagram b V2 n m)) => QDiagram b V2 n m
- Diagrams.Example.Logo: ico_d :: (Renderable (Path V2 n) b, Typeable * n, RealFloat n) => QDiagram b V2 n Any
+ Diagrams.Example.Logo: ico_d :: (RealFloat n, Typeable * n, Renderable (Path V2 n) b) => QDiagram b V2 n Any
- Diagrams.Example.Logo: logo :: (Renderable (Text n) b, Renderable (Path V2 n) b, Typeable * n, RealFloat n) => QDiagram b V2 n Any
+ Diagrams.Example.Logo: logo :: (RealFloat n, Typeable * n, Renderable (Path V2 n) b, Renderable (Text n) b) => QDiagram b V2 n Any
- Diagrams.Example.Logo: m :: (Renderable (Text n) b, Renderable (Path V2 n) b, Typeable * n, RealFloat n) => QDiagram b V2 n Any
+ Diagrams.Example.Logo: m :: (RealFloat n, Typeable * n, Renderable (Path V2 n) b, Renderable (Text n) b) => QDiagram b V2 n Any
- Diagrams.Example.Logo: r :: (Renderable (Path V2 n) b, Typeable * n, RealFloat n) => QDiagram b V2 n Any
+ Diagrams.Example.Logo: r :: (RealFloat n, Typeable * n, Renderable (Path V2 n) b) => QDiagram b V2 n Any
- Diagrams.Example.Logo: s :: ((~#) (* -> *) (* -> *) (V b) V2, TrailLike b, HasOrigin b, Transformable b, HasStyle b, Monoid b, Semigroup b, Typeable * (N b)) => b
+ Diagrams.Example.Logo: s :: (Typeable * (N b), Monoid b, Semigroup b, Transformable b, HasStyle b, HasOrigin b, TrailLike b, (~) (* -> *) (V b) V2) => b
- Diagrams.Example.Logo: sierpinski :: ((~#) (* -> *) (* -> *) (V t) V2, TrailLike t, Alignable t, HasOrigin t, Juxtaposable t, Semigroup t, Num t1, Eq t1) => t1 -> t
+ Diagrams.Example.Logo: sierpinski :: (Eq a, Num a, Semigroup a1, R1 (V a1), Juxtaposable a1, HasOrigin a1, TrailLike a1, Alignable a1, (~) (* -> *) (V a1) V2) => a -> a1
- Diagrams.Layout.Wrap: wrapInside :: forall a v n. (Enveloped a, V a ~ v, N a ~ n, Metric v, OrderedField n, Epsilon n) => (Point v n -> Bool) -> [v n] -> Point v n -> [a] -> ([(v n, a)], [a])
+ Diagrams.Layout.Wrap: wrapInside :: (Enveloped a, V a ~ v, N a ~ n, Metric v, OrderedField n, Epsilon n) => (Point v n -> Bool) -> [v n] -> Point v n -> [a] -> ([(v n, a)], [a])
- Diagrams.TwoD.Layout.Grid: sameBoundingRect :: forall n b. TypeableFloat n => [QDiagram b V2 n Any] -> [QDiagram b V2 n Any]
+ Diagrams.TwoD.Layout.Grid: sameBoundingRect :: TypeableFloat n => [QDiagram b V2 n Any] -> [QDiagram b V2 n Any]
- Diagrams.TwoD.Layout.Grid: sameBoundingSquare :: forall b n. TypeableFloat n => [QDiagram b V2 n Any] -> [QDiagram b V2 n Any]
+ Diagrams.TwoD.Layout.Grid: sameBoundingSquare :: TypeableFloat n => [QDiagram b V2 n Any] -> [QDiagram b V2 n Any]
- Diagrams.TwoD.Layout.Tree: edgeLen :: forall n_a1cMs. Lens' (ForceLayoutTreeOpts n_a1cMs) n_a1cMs
+ Diagrams.TwoD.Layout.Tree: edgeLen :: Lens' (ForceLayoutTreeOpts n_a1ZMq) n_a1ZMq
- Diagrams.TwoD.Layout.Tree: forceLayoutOpts :: forall n_a1cMs. Lens' (ForceLayoutTreeOpts n_a1cMs) (ForceLayoutOpts n_a1cMs)
+ Diagrams.TwoD.Layout.Tree: forceLayoutOpts :: Lens' (ForceLayoutTreeOpts n_a1ZMq) (ForceLayoutOpts n_a1ZMq)
- Diagrams.TwoD.Layout.Tree: slHSep :: forall n_a1cwy a_a1cwz. Lens' (SymmLayoutOpts n_a1cwy a_a1cwz) n_a1cwy
+ Diagrams.TwoD.Layout.Tree: slHSep :: Lens' (SymmLayoutOpts n_a1ZtW a_a1ZtX) n_a1ZtW
- Diagrams.TwoD.Layout.Tree: slHeight :: forall n_a1cwy a_a1cwz. Lens' (SymmLayoutOpts n_a1cwy a_a1cwz) (a_a1cwz -> (n_a1cwy, n_a1cwy))
+ Diagrams.TwoD.Layout.Tree: slHeight :: Lens' (SymmLayoutOpts n_a1ZtW a_a1ZtX) (a_a1ZtX -> (n_a1ZtW, n_a1ZtW))
- Diagrams.TwoD.Layout.Tree: slVSep :: forall n_a1cwy a_a1cwz. Lens' (SymmLayoutOpts n_a1cwy a_a1cwz) n_a1cwy
+ Diagrams.TwoD.Layout.Tree: slVSep :: Lens' (SymmLayoutOpts n_a1ZtW a_a1ZtX) n_a1ZtW
- Diagrams.TwoD.Layout.Tree: slWidth :: forall n_a1cwy a_a1cwz. Lens' (SymmLayoutOpts n_a1cwy a_a1cwz) (a_a1cwz -> (n_a1cwy, n_a1cwy))
+ Diagrams.TwoD.Layout.Tree: slWidth :: Lens' (SymmLayoutOpts n_a1ZtW a_a1ZtX) (a_a1ZtX -> (n_a1ZtW, n_a1ZtW))
- Diagrams.TwoD.Layout.Tree: springK :: forall n_a1cMs. Lens' (ForceLayoutTreeOpts n_a1cMs) n_a1cMs
+ Diagrams.TwoD.Layout.Tree: springK :: Lens' (ForceLayoutTreeOpts n_a1ZMq) n_a1ZMq
- Diagrams.TwoD.Layout.Tree: staticK :: forall n_a1cMs. Lens' (ForceLayoutTreeOpts n_a1cMs) n_a1cMs
+ Diagrams.TwoD.Layout.Tree: staticK :: Lens' (ForceLayoutTreeOpts n_a1ZMq) n_a1ZMq
- Diagrams.TwoD.Layout.Tree: treeToEnsemble :: forall a n. Floating n => ForceLayoutTreeOpts n -> Tree (a, P2 n) -> (Tree (a, PID), Ensemble V2 n)
+ Diagrams.TwoD.Layout.Tree: treeToEnsemble :: Floating n => ForceLayoutTreeOpts n -> Tree (a, P2 n) -> (Tree (a, PID), Ensemble V2 n)
- Diagrams.TwoD.Path.IteratedSubset: randITC :: (MonadRandom m, Ord n, Floating n, Random n) => m (IterTrailConfig n)
+ Diagrams.TwoD.Path.IteratedSubset: randITC :: (MonadRandom m, Applicative m, Ord n, Floating n, Random n) => m (IterTrailConfig n)
- Diagrams.TwoD.Path.Metafont.Internal: mfPathToSegments :: forall n. Num n => MFPathData P n -> MFP n
+ Diagrams.TwoD.Path.Metafont.Internal: mfPathToSegments :: Num n => MFPathData P n -> MFP n
- Diagrams.TwoD.Path.Metafont.Types: c1 :: forall n_ak96. Lens' (ControlJoin n_ak96) (P2 n_ak96)
+ Diagrams.TwoD.Path.Metafont.Types: c1 :: Lens' (ControlJoin n_akXI) (P2 n_akXI)
- Diagrams.TwoD.Path.Metafont.Types: c2 :: forall n_ak96. Lens' (ControlJoin n_ak96) (P2 n_ak96)
+ Diagrams.TwoD.Path.Metafont.Types: c2 :: Lens' (ControlJoin n_akXI) (P2 n_akXI)
- Diagrams.TwoD.Path.Metafont.Types: d1 :: forall d_ahsP j_ahsQ. Lens' (PathJoin d_ahsP j_ahsQ) d_ahsP
+ Diagrams.TwoD.Path.Metafont.Types: d1 :: Lens' (PathJoin d_aj0F j_aj0G) d_aj0F
- Diagrams.TwoD.Path.Metafont.Types: d2 :: forall d_ahsP j_ahsQ. Lens' (PathJoin d_ahsP j_ahsQ) d_ahsP
+ Diagrams.TwoD.Path.Metafont.Types: d2 :: Lens' (PathJoin d_aj0F j_aj0G) d_aj0F
- Diagrams.TwoD.Path.Metafont.Types: j :: forall d_ahsP j_ahsQ j_ak8u. Lens (PathJoin d_ahsP j_ahsQ) (PathJoin d_ahsP j_ak8u) j_ahsQ j_ak8u
+ Diagrams.TwoD.Path.Metafont.Types: j :: Lens (PathJoin d_aj0F j_aj0G) (PathJoin d_aj0F j_akX6) j_aj0G j_akX6
- Diagrams.TwoD.Path.Metafont.Types: loop :: forall d_akjd j_akje n_akjf. Lens' (MFPath d_akjd j_akje n_akjf) Bool
+ Diagrams.TwoD.Path.Metafont.Types: loop :: Lens' (MFPath d_al8s j_al8t n_al8u) Bool
- Diagrams.TwoD.Path.Metafont.Types: pj :: forall d_akjg j_akjh n_akji d_akqL j_akqM. Lens (MetafontSegment d_akjg j_akjh n_akji) (MetafontSegment d_akqL j_akqM n_akji) (PathJoin d_akjg j_akjh) (PathJoin d_akqL j_akqM)
+ Diagrams.TwoD.Path.Metafont.Types: pj :: Lens (MetafontSegment d_al8v j_al8w n_al8x) (MetafontSegment d_algQ j_algR n_al8x) (PathJoin d_al8v j_al8w) (PathJoin d_algQ j_algR)
- Diagrams.TwoD.Path.Metafont.Types: segs :: forall d_akjd j_akje n_akjf d_aksS j_aksT n_aksU. Lens (MFPath d_akjd j_akje n_akjf) (MFPath d_aksS j_aksT n_aksU) [MetafontSegment d_akjd j_akje n_akjf] [MetafontSegment d_aksS j_aksT n_aksU]
+ Diagrams.TwoD.Path.Metafont.Types: segs :: Lens (MFPath d_al8s j_al8t n_al8u) (MFPath d_alja j_aljb n_aljc) [MetafontSegment d_al8s j_al8t n_al8u] [MetafontSegment d_alja j_aljb n_aljc]
- Diagrams.TwoD.Path.Metafont.Types: t1 :: forall n_ak97. Lens' (TensionJoin n_ak97) (Tension n_ak97)
+ Diagrams.TwoD.Path.Metafont.Types: t1 :: Lens' (TensionJoin n_akXJ) (Tension n_akXJ)
- Diagrams.TwoD.Path.Metafont.Types: t2 :: forall n_ak97. Lens' (TensionJoin n_ak97) (Tension n_ak97)
+ Diagrams.TwoD.Path.Metafont.Types: t2 :: Lens' (TensionJoin n_akXJ) (Tension n_akXJ)
- Diagrams.TwoD.Path.Metafont.Types: x1 :: forall d_akjg j_akjh n_akji. Lens' (MetafontSegment d_akjg j_akjh n_akji) (P2 n_akji)
+ Diagrams.TwoD.Path.Metafont.Types: x1 :: Lens' (MetafontSegment d_al8v j_al8w n_al8x) (P2 n_al8x)
- Diagrams.TwoD.Path.Metafont.Types: x2 :: forall d_akjg j_akjh n_akji. Lens' (MetafontSegment d_akjg j_akjh n_akji) (P2 n_akji)
+ Diagrams.TwoD.Path.Metafont.Types: x2 :: Lens' (MetafontSegment d_al8v j_al8w n_al8x) (P2 n_al8x)
- Diagrams.TwoD.Sunburst: colors :: forall n_aOME. Lens' (SunburstOpts n_aOME) [Colour Double]
+ Diagrams.TwoD.Sunburst: colors :: Lens' (SunburstOpts n_a19Ri) [Colour Double]
- Diagrams.TwoD.Sunburst: radius :: forall n_aOME. Lens' (SunburstOpts n_aOME) n_aOME
+ Diagrams.TwoD.Sunburst: radius :: Lens' (SunburstOpts n_a19Ri) n_a19Ri
- Diagrams.TwoD.Sunburst: sectionWidth :: forall n_aOME. Lens' (SunburstOpts n_aOME) n_aOME
+ Diagrams.TwoD.Sunburst: sectionWidth :: Lens' (SunburstOpts n_a19Ri) n_a19Ri
- Diagrams.TwoD.Tilings: drawTilingStyled :: forall b n. (Renderable (Path V2 n) b, TypeableFloat n) => Style V2 n -> (Polygon -> Style V2 n) -> Tiling -> n -> n -> QDiagram b V2 n Any
+ Diagrams.TwoD.Tilings: drawTilingStyled :: (Renderable (Path V2 n) b, TypeableFloat n) => Style V2 n -> (Polygon -> Style V2 n) -> Tiling -> n -> n -> QDiagram b V2 n Any
- Diagrams.TwoD.Tilings: generateTiling :: forall w. Monoid w => Tiling -> Q2 -> Q2 -> (Q2 -> Bool) -> (Edge -> w) -> (Polygon -> w) -> w
+ Diagrams.TwoD.Tilings: generateTiling :: Monoid w => Tiling -> Q2 -> Q2 -> (Q2 -> Bool) -> (Edge -> w) -> (Polygon -> w) -> w
Files
- CHANGES.markdown +5/−0
- diagrams-contrib.cabal +2/−2
CHANGES.markdown view
@@ -1,3 +1,8 @@+1.3.0.12 (31 August 2016)+-------------------------++- allow QuickCheck-2.9+ 1.3.0.11 (6 June 2016) ----------------------
diagrams-contrib.cabal view
@@ -1,5 +1,5 @@ name: diagrams-contrib-version: 1.3.0.11+version: 1.3.0.12 synopsis: Collection of user contributions to diagrams EDSL description: A collection of user contributions for diagrams, an embedded domain-specific language for generation@@ -76,7 +76,7 @@ other-modules: Diagrams.TwoD.Path.Turtle.Tests build-depends: HUnit >= 1.2 && < 1.4,- QuickCheck >= 2.4 && < 2.9,+ QuickCheck >= 2.4 && < 2.10, containers >= 0.3 && < 0.6, test-framework >= 0.4 && < 0.9, test-framework-hunit >= 0.2 && < 0.4,