diagrams-lib 1.4.5.1 → 1.4.5.2
raw patch · 9 files changed
+35/−7 lines, 9 filesdep ~lensPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: lens
API changes (from Hackage documentation)
- Diagrams.Attributes.Compile: type family PrimType code :: Type;
- Diagrams.Backend.CmdLine: type family ResultOf d :: Type;
- Diagrams.Coordinates: type family Decomposition c :: Type;
+ Diagrams.Attributes.Compile: type AttrType code :: Type;
+ Diagrams.Attributes.Compile: type PrimType code :: Type;
+ Diagrams.Backend.CmdLine: type Args d :: Type;
+ Diagrams.Backend.CmdLine: type MainOpts d :: Type;
+ Diagrams.Backend.CmdLine: type ResultOf d :: Type;
+ Diagrams.Coordinates: type Decomposition c :: Type;
+ Diagrams.Coordinates: type FinalCoord c :: Type;
+ Diagrams.Coordinates: type PrevDim c :: Type;
- Diagrams.Prelude: (%%=) :: forall k s m p r (a :: k) b. MonadState s m => Over p ((,) r) s s a b -> p a (r, b) -> m r
+ Diagrams.Prelude: (%%=) :: forall {k} s m p r (a :: k) b. MonadState s m => Over p ((,) r) s s a b -> p a (r, b) -> m r
- Diagrams.Prelude: (%%@~) :: forall k i f s (t :: k) a (b :: k). Over (Indexed i) f s t a b -> (i -> a -> f b) -> s -> f t
+ Diagrams.Prelude: (%%@~) :: forall {k1} i f s (t :: k1) a (b :: k1). Over (Indexed i) f s t a b -> (i -> a -> f b) -> s -> f t
- Diagrams.Prelude: (%%~) :: forall k f s (t :: k) a (b :: k). LensLike f s t a b -> (a -> f b) -> s -> f t
+ Diagrams.Prelude: (%%~) :: forall {k} f s (t :: k) a (b :: k). LensLike f s t a b -> (a -> f b) -> s -> f t
- Diagrams.Prelude: [Identical] :: forall k k1 (a :: k) (b :: k1). Identical a b a b
+ Diagrams.Prelude: [Identical] :: forall {k} {k1} (a :: k) (b :: k1). Identical a b a b
- Diagrams.Prelude: [Refl] :: forall k (a :: k). a :~: a
+ Diagrams.Prelude: [Refl] :: forall {k} (a :: k). a :~: a
- Diagrams.Prelude: both1 :: forall (r :: Type -> Type -> Type) a b. Bitraversable1 r => Traversal1 (r a a) (r b b) a b
+ Diagrams.Prelude: both1 :: forall (r :: TYPE LiftedRep -> TYPE LiftedRep -> Type) a b. Bitraversable1 r => Traversal1 (r a a) (r b b) a b
- Diagrams.Prelude: class (Foldable1 t, Traversable t) => Traversable1 (t :: Type -> Type)
+ Diagrams.Prelude: class (Foldable1 t, Traversable t) => Traversable1 (t :: TYPE LiftedRep -> Type)
- Diagrams.Prelude: cloneEquality :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2). AnEquality s t a b -> Equality s t a b
+ Diagrams.Prelude: cloneEquality :: forall {k1} {k2} (s :: k1) (t :: k2) (a :: k1) (b :: k2). AnEquality s t a b -> Equality s t a b
- Diagrams.Prelude: conjoined :: Conjoined p => (p ~ ((->) :: Type -> Type -> Type) => q (a -> b) r) -> q (p a b) r -> q (p a b) r
+ Diagrams.Prelude: conjoined :: Conjoined p => (p ~ (->) => q (a -> b) r) -> q (p a b) r -> q (p a b) r
- Diagrams.Prelude: contramap :: Contravariant f => (a -> b) -> f b -> f a
+ Diagrams.Prelude: contramap :: Contravariant f => (a' -> a) -> f a -> f a'
- Diagrams.Prelude: devoid :: forall k p f (a :: k) b. Over p f Void Void a b
+ Diagrams.Prelude: devoid :: forall {k} p f (a :: k) b. Over p f Void Void a b
- Diagrams.Prelude: equality :: forall k1 k2 (s :: k1) (a :: k1) (b :: k2) (t :: k2). (s :~: a) -> (b :~: t) -> Equality s t a b
+ Diagrams.Prelude: equality :: forall {k1} {k2} (s :: k1) (a :: k1) (b :: k2) (t :: k2). (s :~: a) -> (b :~: t) -> Equality s t a b
- Diagrams.Prelude: equality' :: forall k2 (a :: k2) (b :: k2). (a :~: b) -> Equality' a b
+ Diagrams.Prelude: equality' :: forall {k2} (a :: k2) (b :: k2). (a :~: b) -> Equality' a b
- Diagrams.Prelude: folded :: forall (f :: Type -> Type) a. Foldable f => IndexedFold Int (f a) a
+ Diagrams.Prelude: folded :: forall (f :: TYPE LiftedRep -> Type) a. Foldable f => IndexedFold Int (f a) a
- Diagrams.Prelude: folded64 :: forall (f :: Type -> Type) a. Foldable f => IndexedFold Int64 (f a) a
+ Diagrams.Prelude: folded64 :: forall (f :: TYPE LiftedRep -> Type) a. Foldable f => IndexedFold Int64 (f a) a
- Diagrams.Prelude: fromEq :: forall k2 k1 (s :: k2) (t :: k1) (a :: k2) (b :: k1). AnEquality s t a b -> Equality b a t s
+ Diagrams.Prelude: fromEq :: forall {k2} {k1} (s :: k2) (t :: k1) (a :: k2) (b :: k1). AnEquality s t a b -> Equality b a t s
- Diagrams.Prelude: fromLeibniz :: forall k1 k2 (a :: k1) (b :: k2) (s :: k1) (t :: k2). (Identical a b a b -> Identical a b s t) -> Equality s t a b
+ Diagrams.Prelude: fromLeibniz :: forall {k1} {k2} (a :: k1) (b :: k2) (s :: k1) (t :: k2). (Identical a b a b -> Identical a b s t) -> Equality s t a b
- Diagrams.Prelude: fromLeibniz' :: forall k2 (s :: k2) (a :: k2). ((s :~: s) -> s :~: a) -> Equality' s a
+ Diagrams.Prelude: fromLeibniz' :: forall {k2} (s :: k2) (a :: k2). ((s :~: s) -> s :~: a) -> Equality' s a
- Diagrams.Prelude: gplate1 :: forall k (f :: k -> Type) (a :: k). (Generic1 f, GPlated1 f (Rep1 f)) => Traversal' (f a) (f a)
+ Diagrams.Prelude: gplate1 :: forall {k} (f :: k -> Type) (a :: k). (Generic1 f, GPlated1 f (Rep1 f)) => Traversal' (f a) (f a)
- Diagrams.Prelude: head1 :: forall (t :: Type -> Type) a. Traversable1 t => Lens' (t a) a
+ Diagrams.Prelude: head1 :: forall (t :: TYPE LiftedRep -> Type) a. Traversable1 t => Lens' (t a) a
- Diagrams.Prelude: holes :: Plated a => a -> [Pretext ((->) :: Type -> Type -> Type) a a a]
+ Diagrams.Prelude: holes :: Plated a => a -> [Pretext (->) a a a]
- Diagrams.Prelude: last1 :: forall (t :: Type -> Type) a. Traversable1 t => Lens' (t a) a
+ Diagrams.Prelude: last1 :: forall (t :: TYPE LiftedRep -> Type) a. Traversable1 t => Lens' (t a) a
- Diagrams.Prelude: loci :: Traversal (Bazaar ((->) :: Type -> Type -> Type) a c s) (Bazaar ((->) :: Type -> Type -> Type) b c s) a b
+ Diagrams.Prelude: loci :: Traversal (Bazaar (->) a c s) (Bazaar (->) b c s) a b
- Diagrams.Prelude: overEquality :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2) p. AnEquality s t a b -> p a b -> p s t
+ Diagrams.Prelude: overEquality :: forall {k1} {k2} (s :: k1) (t :: k2) (a :: k1) (b :: k2) p. AnEquality s t a b -> p a b -> p s t
- Diagrams.Prelude: partsOf :: Functor f => Traversing ((->) :: Type -> Type -> Type) f s t a a -> LensLike f s t [a] [a]
+ Diagrams.Prelude: partsOf :: Functor f => Traversing (->) f s t a a -> LensLike f s t [a] [a]
- Diagrams.Prelude: runEq :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2). AnEquality s t a b -> Identical s t a b
+ Diagrams.Prelude: runEq :: forall {k1} {k2} (s :: k1) (t :: k2) (a :: k1) (b :: k2). AnEquality s t a b -> Identical s t a b
- Diagrams.Prelude: simple :: forall k2 (a :: k2). Equality' a a
+ Diagrams.Prelude: simple :: forall {k2} (a :: k2). Equality' a a
- Diagrams.Prelude: simply :: forall k1 k2 p (f :: k1 -> k2) (s :: k1) (a :: k1) (rep :: RuntimeRep) (r :: TYPE rep). (Optic' p f s a -> r) -> Optic' p f s a -> r
+ Diagrams.Prelude: simply :: forall {k} {k1} p (f :: k -> k1) (s :: k) (a :: k) (rep :: RuntimeRep) (r :: TYPE rep). (Optic' p f s a -> r) -> Optic' p f s a -> r
- Diagrams.Prelude: substEq :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2) (rep :: RuntimeRep) (r :: TYPE rep). AnEquality s t a b -> ((s ~ a, t ~ b) => r) -> r
+ Diagrams.Prelude: substEq :: forall {k1} {k2} (s :: k1) (t :: k2) (a :: k1) (b :: k2) (rep :: RuntimeRep) (r :: TYPE rep). AnEquality s t a b -> ((s ~ a, t ~ b) => r) -> r
- Diagrams.Prelude: traversed1 :: forall (f :: Type -> Type) a b. Traversable1 f => IndexedTraversal1 Int (f a) (f b) a b
+ Diagrams.Prelude: traversed1 :: forall (f :: TYPE LiftedRep -> Type) a b. Traversable1 f => IndexedTraversal1 Int (f a) (f b) a b
- Diagrams.Prelude: type ALens s t a b = LensLike Pretext (->) :: Type -> Type -> Type a b s t a b
+ Diagrams.Prelude: type ALens s t a b = LensLike Pretext (->) a b s t a b
- Diagrams.Prelude: type ATraversal s t a b = LensLike Bazaar (->) :: Type -> Type -> Type a b s t a b
+ Diagrams.Prelude: type ATraversal s t a b = LensLike Bazaar (->) a b s t a b
- Diagrams.Prelude: type ATraversal1 s t a b = LensLike Bazaar1 (->) :: Type -> Type -> Type a b s t a b
+ Diagrams.Prelude: type ATraversal1 s t a b = LensLike Bazaar1 (->) a b s t a b
- Diagrams.Prelude: type AnIndexedLens i s t a b = Optical Indexed i (->) :: Type -> Type -> Type Pretext Indexed i a b s t a b
+ Diagrams.Prelude: type AnIndexedLens i s t a b = Optical Indexed i (->) Pretext Indexed i a b s t a b
- Diagrams.Prelude: underEquality :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2) p. AnEquality s t a b -> p t s -> p b a
+ Diagrams.Prelude: underEquality :: forall {k1} {k2} (s :: k1) (t :: k2) (a :: k1) (b :: k2) p. AnEquality s t a b -> p t s -> p b a
- Diagrams.Prelude: universeOf :: Getting [a] a a -> a -> [a]
+ Diagrams.Prelude: universeOf :: Getting (Endo [a]) a a -> a -> [a]
- Diagrams.Prelude: universeOn :: Plated a => Getting [a] s a -> s -> [a]
+ Diagrams.Prelude: universeOn :: Plated a => Getting (Endo [a]) s a -> s -> [a]
- Diagrams.Prelude: universeOnOf :: Getting [a] s a -> Getting [a] a a -> s -> [a]
+ Diagrams.Prelude: universeOnOf :: Getting (Endo [a]) s a -> Getting (Endo [a]) a a -> s -> [a]
- Diagrams.Prelude: unsafePartsOf :: Functor f => Traversing ((->) :: Type -> Type -> Type) f s t a b -> LensLike f s t [a] [b]
+ Diagrams.Prelude: unsafePartsOf :: Functor f => Traversing (->) f s t a b -> LensLike f s t [a] [b]
- Diagrams.Prelude: withEquality :: forall k1 k2 (s :: k1) (t :: k2) (a :: k1) (b :: k2) (rep :: RuntimeRep) (r :: TYPE rep). AnEquality s t a b -> ((s :~: a) -> (b :~: t) -> r) -> r
+ Diagrams.Prelude: withEquality :: forall {k1} {k2} (s :: k1) (t :: k2) (a :: k1) (b :: k2) (rep :: RuntimeRep) (r :: TYPE rep). AnEquality s t a b -> ((s :~: a) -> (b :~: t) -> r) -> r
- Diagrams.Prelude: xplat :: forall k s g (t :: k) a (b :: k). Optic (Costar ((->) s :: Type -> Type)) g s t a b -> ((s -> a) -> g b) -> g t
+ Diagrams.Prelude: xplat :: forall {k2} s g (t :: k2) a (b :: k2). Optic (Costar ((->) s)) g s t a b -> ((s -> a) -> g b) -> g t
- Diagrams.Prelude: xplatf :: forall k1 k2 f g (s :: k1) (t :: k2) (a :: k1) (b :: k2). Optic (Costar f) g s t a b -> (f a -> g b) -> f s -> g t
+ Diagrams.Prelude: xplatf :: forall {k} {k2} f g (s :: k) (t :: k2) (a :: k) (b :: k2). Optic (Costar f) g s t a b -> (f a -> g b) -> f s -> g t
- Diagrams.Segment: oeEnvelope :: forall v_aYae n_aYaf. Lens' (OffsetEnvelope v_aYae n_aYaf) (Envelope v_aYae n_aYaf)
+ Diagrams.Segment: oeEnvelope :: forall v_aZho n_aZhp. Lens' (OffsetEnvelope v_aZho n_aZhp) (Envelope v_aZho n_aZhp)
- Diagrams.Segment: oeOffset :: forall v_aYae n_aYaf. Lens' (OffsetEnvelope v_aYae n_aYaf) (TotalOffset v_aYae n_aYaf)
+ Diagrams.Segment: oeOffset :: forall v_aZho n_aZhp. Lens' (OffsetEnvelope v_aZho n_aZhp) (TotalOffset v_aZho n_aZhp)
- Diagrams.ThreeD.Camera: horizontalFieldOfView :: forall n_aLQQ. Lens' (PerspectiveLens n_aLQQ) (Angle n_aLQQ)
+ Diagrams.ThreeD.Camera: horizontalFieldOfView :: forall n_aNik. Lens' (PerspectiveLens n_aNik) (Angle n_aNik)
- Diagrams.ThreeD.Camera: orthoHeight :: forall n_aLTp. Lens' (OrthoLens n_aLTp) n_aLTp
+ Diagrams.ThreeD.Camera: orthoHeight :: forall n_aNkJ. Lens' (OrthoLens n_aNkJ) n_aNkJ
- Diagrams.ThreeD.Camera: orthoWidth :: forall n_aLTp. Lens' (OrthoLens n_aLTp) n_aLTp
+ Diagrams.ThreeD.Camera: orthoWidth :: forall n_aNkJ. Lens' (OrthoLens n_aNkJ) n_aNkJ
- Diagrams.ThreeD.Camera: verticalFieldOfView :: forall n_aLQQ. Lens' (PerspectiveLens n_aLQQ) (Angle n_aLQQ)
+ Diagrams.ThreeD.Camera: verticalFieldOfView :: forall n_aNik. Lens' (PerspectiveLens n_aNik) (Angle n_aNik)
- Diagrams.Transform.ScaleInv: scaleInvDir :: forall t_aEqS. Lens' (ScaleInv t_aEqS) (Vn t_aEqS)
+ Diagrams.Transform.ScaleInv: scaleInvDir :: forall t_aFRO. Lens' (ScaleInv t_aFRO) (Vn t_aFRO)
- Diagrams.Transform.ScaleInv: scaleInvLoc :: forall t_aEqS. Lens' (ScaleInv t_aEqS) (Point (V t_aEqS) (N t_aEqS))
+ Diagrams.Transform.ScaleInv: scaleInvLoc :: forall t_aFRO. Lens' (ScaleInv t_aFRO) (Point (V t_aFRO) (N t_aFRO))
- Diagrams.Transform.ScaleInv: scaleInvObj :: forall t_aEqS. Lens' (ScaleInv t_aEqS) t_aEqS
+ Diagrams.Transform.ScaleInv: scaleInvObj :: forall t_aFRO. Lens' (ScaleInv t_aFRO) t_aFRO
- Diagrams.TwoD: _LG :: forall n_a1Z0b. Prism' (Texture n_a1Z0b) (LGradient n_a1Z0b)
+ Diagrams.TwoD: _LG :: forall n_a20OA. Prism' (Texture n_a20OA) (LGradient n_a20OA)
- Diagrams.TwoD: _RG :: forall n_a1Z0b. Prism' (Texture n_a1Z0b) (RGradient n_a1Z0b)
+ Diagrams.TwoD: _RG :: forall n_a20OA. Prism' (Texture n_a20OA) (RGradient n_a20OA)
- Diagrams.TwoD: _SC :: forall n_a1Z0b. Prism' (Texture n_a1Z0b) SomeColor
+ Diagrams.TwoD: _SC :: forall n_a20OA. Prism' (Texture n_a20OA) SomeColor
- Diagrams.TwoD: eColor :: forall n_a2loJ. Lens' (EnvelopeOpts n_a2loJ) (Colour Double)
+ Diagrams.TwoD: eColor :: forall n_a2nCF. Lens' (EnvelopeOpts n_a2nCF) (Colour Double)
- Diagrams.TwoD: eLineWidth :: forall n_a2loJ n_a2lr9. Lens (EnvelopeOpts n_a2loJ) (EnvelopeOpts n_a2lr9) (Measure n_a2loJ) (Measure n_a2lr9)
+ Diagrams.TwoD: eLineWidth :: forall n_a2nCF n_a2nF7. Lens (EnvelopeOpts n_a2nCF) (EnvelopeOpts n_a2nF7) (Measure n_a2nCF) (Measure n_a2nF7)
- Diagrams.TwoD: ePoints :: forall n_a2loJ. Lens' (EnvelopeOpts n_a2loJ) Int
+ Diagrams.TwoD: ePoints :: forall n_a2nCF. Lens' (EnvelopeOpts n_a2nCF) Int
- Diagrams.TwoD: oColor :: forall n_a2lnM. Lens' (OriginOpts n_a2lnM) (Colour Double)
+ Diagrams.TwoD: oColor :: forall n_a2nBI. Lens' (OriginOpts n_a2nBI) (Colour Double)
- Diagrams.TwoD: oMinSize :: forall n_a2lnM. Lens' (OriginOpts n_a2lnM) n_a2lnM
+ Diagrams.TwoD: oMinSize :: forall n_a2nBI. Lens' (OriginOpts n_a2nBI) n_a2nBI
- Diagrams.TwoD: oScale :: forall n_a2lnM. Lens' (OriginOpts n_a2lnM) n_a2lnM
+ Diagrams.TwoD: oScale :: forall n_a2nBI. Lens' (OriginOpts n_a2nBI) n_a2nBI
- Diagrams.TwoD: radiusBL :: forall d_a1IM9. Lens' (RoundedRectOpts d_a1IM9) d_a1IM9
+ Diagrams.TwoD: radiusBL :: forall d_a1KBj. Lens' (RoundedRectOpts d_a1KBj) d_a1KBj
- Diagrams.TwoD: radiusBR :: forall d_a1IM9. Lens' (RoundedRectOpts d_a1IM9) d_a1IM9
+ Diagrams.TwoD: radiusBR :: forall d_a1KBj. Lens' (RoundedRectOpts d_a1KBj) d_a1KBj
- Diagrams.TwoD: radiusTL :: forall d_a1IM9. Lens' (RoundedRectOpts d_a1IM9) d_a1IM9
+ Diagrams.TwoD: radiusTL :: forall d_a1KBj. Lens' (RoundedRectOpts d_a1KBj) d_a1KBj
- Diagrams.TwoD: radiusTR :: forall d_a1IM9. Lens' (RoundedRectOpts d_a1IM9) d_a1IM9
+ Diagrams.TwoD: radiusTR :: forall d_a1KBj. Lens' (RoundedRectOpts d_a1KBj) d_a1KBj
- Diagrams.TwoD: tColor :: forall n_a2lry. Lens' (TraceOpts n_a2lry) (Colour Double)
+ Diagrams.TwoD: tColor :: forall n_a2nFw. Lens' (TraceOpts n_a2nFw) (Colour Double)
- Diagrams.TwoD: tMinSize :: forall n_a2lry. Lens' (TraceOpts n_a2lry) n_a2lry
+ Diagrams.TwoD: tMinSize :: forall n_a2nFw. Lens' (TraceOpts n_a2nFw) n_a2nFw
- Diagrams.TwoD: tPoints :: forall n_a2lry. Lens' (TraceOpts n_a2lry) Int
+ Diagrams.TwoD: tPoints :: forall n_a2nFw. Lens' (TraceOpts n_a2nFw) Int
- Diagrams.TwoD: tScale :: forall n_a2lry. Lens' (TraceOpts n_a2lry) n_a2lry
+ Diagrams.TwoD: tScale :: forall n_a2nFw. Lens' (TraceOpts n_a2nFw) n_a2nFw
- Diagrams.TwoD.Attributes: _LG :: forall n_a1Z0b. Prism' (Texture n_a1Z0b) (LGradient n_a1Z0b)
+ Diagrams.TwoD.Attributes: _LG :: forall n_a20OA. Prism' (Texture n_a20OA) (LGradient n_a20OA)
- Diagrams.TwoD.Attributes: _RG :: forall n_a1Z0b. Prism' (Texture n_a1Z0b) (RGradient n_a1Z0b)
+ Diagrams.TwoD.Attributes: _RG :: forall n_a20OA. Prism' (Texture n_a20OA) (RGradient n_a20OA)
- Diagrams.TwoD.Attributes: _SC :: forall n_a1Z0b. Prism' (Texture n_a1Z0b) SomeColor
+ Diagrams.TwoD.Attributes: _SC :: forall n_a20OA. Prism' (Texture n_a20OA) SomeColor
- Diagrams.TwoD.Model: eColor :: forall n_a2loJ. Lens' (EnvelopeOpts n_a2loJ) (Colour Double)
+ Diagrams.TwoD.Model: eColor :: forall n_a2nCF. Lens' (EnvelopeOpts n_a2nCF) (Colour Double)
- Diagrams.TwoD.Model: eLineWidth :: forall n_a2loJ n_a2lr9. Lens (EnvelopeOpts n_a2loJ) (EnvelopeOpts n_a2lr9) (Measure n_a2loJ) (Measure n_a2lr9)
+ Diagrams.TwoD.Model: eLineWidth :: forall n_a2nCF n_a2nF7. Lens (EnvelopeOpts n_a2nCF) (EnvelopeOpts n_a2nF7) (Measure n_a2nCF) (Measure n_a2nF7)
- Diagrams.TwoD.Model: ePoints :: forall n_a2loJ. Lens' (EnvelopeOpts n_a2loJ) Int
+ Diagrams.TwoD.Model: ePoints :: forall n_a2nCF. Lens' (EnvelopeOpts n_a2nCF) Int
- Diagrams.TwoD.Model: oColor :: forall n_a2lnM. Lens' (OriginOpts n_a2lnM) (Colour Double)
+ Diagrams.TwoD.Model: oColor :: forall n_a2nBI. Lens' (OriginOpts n_a2nBI) (Colour Double)
- Diagrams.TwoD.Model: oMinSize :: forall n_a2lnM. Lens' (OriginOpts n_a2lnM) n_a2lnM
+ Diagrams.TwoD.Model: oMinSize :: forall n_a2nBI. Lens' (OriginOpts n_a2nBI) n_a2nBI
- Diagrams.TwoD.Model: oScale :: forall n_a2lnM. Lens' (OriginOpts n_a2lnM) n_a2lnM
+ Diagrams.TwoD.Model: oScale :: forall n_a2nBI. Lens' (OriginOpts n_a2nBI) n_a2nBI
- Diagrams.TwoD.Model: tColor :: forall n_a2lry. Lens' (TraceOpts n_a2lry) (Colour Double)
+ Diagrams.TwoD.Model: tColor :: forall n_a2nFw. Lens' (TraceOpts n_a2nFw) (Colour Double)
- Diagrams.TwoD.Model: tMinSize :: forall n_a2lry. Lens' (TraceOpts n_a2lry) n_a2lry
+ Diagrams.TwoD.Model: tMinSize :: forall n_a2nFw. Lens' (TraceOpts n_a2nFw) n_a2nFw
- Diagrams.TwoD.Model: tPoints :: forall n_a2lry. Lens' (TraceOpts n_a2lry) Int
+ Diagrams.TwoD.Model: tPoints :: forall n_a2nFw. Lens' (TraceOpts n_a2nFw) Int
- Diagrams.TwoD.Model: tScale :: forall n_a2lry. Lens' (TraceOpts n_a2lry) n_a2lry
+ Diagrams.TwoD.Model: tScale :: forall n_a2nFw. Lens' (TraceOpts n_a2nFw) n_a2nFw
- Diagrams.TwoD.Shapes: radiusBL :: forall d_a1IM9. Lens' (RoundedRectOpts d_a1IM9) d_a1IM9
+ Diagrams.TwoD.Shapes: radiusBL :: forall d_a1KBj. Lens' (RoundedRectOpts d_a1KBj) d_a1KBj
- Diagrams.TwoD.Shapes: radiusBR :: forall d_a1IM9. Lens' (RoundedRectOpts d_a1IM9) d_a1IM9
+ Diagrams.TwoD.Shapes: radiusBR :: forall d_a1KBj. Lens' (RoundedRectOpts d_a1KBj) d_a1KBj
- Diagrams.TwoD.Shapes: radiusTL :: forall d_a1IM9. Lens' (RoundedRectOpts d_a1IM9) d_a1IM9
+ Diagrams.TwoD.Shapes: radiusTL :: forall d_a1KBj. Lens' (RoundedRectOpts d_a1KBj) d_a1KBj
- Diagrams.TwoD.Shapes: radiusTR :: forall d_a1IM9. Lens' (RoundedRectOpts d_a1IM9) d_a1IM9
+ Diagrams.TwoD.Shapes: radiusTR :: forall d_a1KBj. Lens' (RoundedRectOpts d_a1KBj) d_a1KBj
Files
- CHANGELOG.md +17/−0
- diagrams-lib.cabal +6/−6
- src/Diagrams/Angle.hs +1/−0
- src/Diagrams/Attributes.hs +1/−0
- src/Diagrams/Direction.hs +1/−0
- src/Diagrams/Parametric/Adjust.hs +1/−0
- src/Diagrams/ThreeD/Shapes.hs +1/−0
- src/Diagrams/Transform/ScaleInv.hs +1/−0
- src/Diagrams/Util.hs +6/−1
CHANGELOG.md view
@@ -1,3 +1,20 @@+## [v1.4.5.2](https://github.com/diagrams/diagrams-lib/tree/v1.4.5.2) (2022-09-14)++- Fix build with `transformers-0.6`+- Fix some deprecation warnings++## [v1.4.5.1-r3](https://github.com/diagrams/diagrams-lib/tree/v1.4.5.1-r3) (2022-08-27)++- Allow `base-4.17` and `lens-5.2`; test with GHC 9.4++## [v1.4.5.1-r2](https://github.com/diagrams/diagrams-lib/tree/v1.4.5.1-r2) (2022-02-01)++- Allow `optparse-applicative-0.17`++## [v1.4.5.1-r1](https://github.com/diagrams/diagrams-lib/tree/v1.4.5.1-r1) (2022-01-08)++- Allow `text-2.0`+ ## [v1.4.5.1](https://github.com/diagrams/diagrams-lib/tree/v1.4.5.1) (2021-12-17) - Bug fix: make things compile again under versions of `lens` before 5.1.
diagrams-lib.cabal view
@@ -1,5 +1,5 @@ Name: diagrams-lib-Version: 1.4.5.1+Version: 1.4.5.2 Synopsis: Embedded domain-specific language for declarative graphics Description: Diagrams is a flexible, extensible EDSL for creating graphics of many types. Graphics can be created@@ -21,7 +21,7 @@ Cabal-version: 1.18 Extra-source-files: CHANGELOG.md, README.markdown, diagrams/*.svg Extra-doc-files: diagrams/*.svg-Tested-with: GHC ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.4 || ==9.0.1 || ==9.2.1+Tested-with: GHC ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.4 || ==9.4.1 Source-repository head type: git location: http://github.com/diagrams/diagrams-lib.git@@ -100,7 +100,7 @@ Diagrams.TwoD.Types, Diagrams.TwoD.Vector, Diagrams.Util- Build-depends: base >= 4.9 && < 4.17,+ Build-depends: base >= 4.9 && < 4.18, containers >= 0.3 && < 0.7, array >= 0.3 && < 0.6, semigroups >= 0.3.4 && < 0.21,@@ -113,9 +113,9 @@ data-default-class < 0.2, fingertree >= 0.1 && < 0.2, intervals >= 0.7 && < 0.10,- lens >= 4.6 && < 5.2,+ lens >= 4.6 && < 5.3, tagged >= 0.7,- optparse-applicative >= 0.11 && < 0.17,+ optparse-applicative >= 0.11 && < 0.18, filepath, JuicyPixels >= 3.3.4 && < 3.4, hashable >= 1.1 && < 1.5,@@ -126,7 +126,7 @@ fsnotify >= 0.2.1 && < 0.4, directory >= 1.2 && < 1.4, unordered-containers >= 0.2 && < 0.3,- text >= 0.7.1 && < 1.3,+ text >= 0.7.1 && < 2.1, mtl >= 2.0 && < 2.3, transformers >= 0.3.0 && < 0.7.0, profunctors >= 5.0 && < 6.0,
src/Diagrams/Angle.hs view
@@ -6,6 +6,7 @@ {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} ----------------------------------------------------------------------------- -- | -- Module : Diagrams.Angle
src/Diagrams/Attributes.hs view
@@ -8,6 +8,7 @@ {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE ViewPatterns #-} ----------------------------------------------------------------------------- -- |
src/Diagrams/Direction.hs view
@@ -1,6 +1,7 @@ {-# LANGUAGE DeriveFunctor #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE UndecidableInstances #-} ----------------------------------------------------------------------------- -- |
src/Diagrams/Parametric/Adjust.hs view
@@ -1,6 +1,7 @@ {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE UndecidableInstances #-} ----------------------------------------------------------------------------- -- |
src/Diagrams/ThreeD/Shapes.hs view
@@ -4,6 +4,7 @@ {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE UndecidableInstances #-} ----------------------------------------------------------------------------- -- |
src/Diagrams/Transform/ScaleInv.hs view
@@ -7,6 +7,7 @@ {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE UndecidableInstances #-} ----------------------------------------------------------------------------- -- |
src/Diagrams/Util.hs view
@@ -1,3 +1,5 @@+{-# LANGUAGE CPP #-}+ ----------------------------------------------------------------------------- -- | -- Module : Diagrams.Util@@ -41,7 +43,6 @@ import Control.Monad.Trans.Maybe import Data.Default.Class import Data.List-import Data.List.Lens import Data.Maybe import Data.Monoid import System.Directory@@ -237,9 +238,13 @@ maybeIO :: (MonadCatch m, MonadIO m) => IO a -> MaybeT m a maybeIO io = liftIO io `catchAll` const mzero +-- hoistMaybe is exported from transformers as of version 0.6+#if MIN_VERSION_transformers(0,6,0)+#else -- | Lift a maybe value to a MaybeT of any monad. hoistMaybe :: Monad m => Maybe a -> MaybeT m a hoistMaybe = MaybeT . return+#endif -- | Fold a list of 'MaybeT's that short-circuits as soon as a Just value -- is found (instead going through the whole list).