diagrams-lib 1.4.6 → 1.4.6.1
raw patch · 4 files changed
+31/−10 lines, 4 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Diagrams.Prelude: altOf :: Applicative f => Getting (Alt f a) s a -> s -> f a
+ Diagrams.Prelude: generateRecordSyntax :: Lens' LensRules Bool
- Diagrams.Envelope: data Envelope (v :: Type -> Type) n
+ Diagrams.Envelope: data () => Envelope (v :: Type -> Type) n
- Diagrams.Names: class Qualifiable q
+ Diagrams.Names: class () => Qualifiable q
- Diagrams.Names: data AName
+ Diagrams.Names: data () => AName
- Diagrams.Names: data Name
+ Diagrams.Names: data () => Name
- Diagrams.Names: data SubMap b (v :: Type -> Type) n m
+ Diagrams.Names: data () => SubMap b (v :: Type -> Type) n m
- Diagrams.Names: data Subdiagram b (v :: Type -> Type) n m
+ Diagrams.Names: data () => Subdiagram b (v :: Type -> Type) n m
- Diagrams.Points: _Point :: forall (f :: Type -> Type) a (g :: Type -> Type) b. Iso (Point f a) (Point g b) (f a) (g b)
+ Diagrams.Points: _Point :: forall f1 a g b p f2. (Profunctor p, Functor f2) => p (f1 a) (f2 (g b)) -> p (Point f1 a) (f2 (Point g b))
- Diagrams.Points: lensP :: forall (f :: Type -> Type) a (g :: Type -> Type) b. Lens (Point f a) (Point g b) (f a) (g b)
+ Diagrams.Points: lensP :: forall f1 a g b f2. Functor f2 => (f1 a -> f2 (g b)) -> Point f1 a -> f2 (Point g b)
- Diagrams.Points: newtype Point (f :: Type -> Type) a
+ Diagrams.Points: newtype () => Point (f :: Type -> Type) a
- Diagrams.Prelude: _Just :: Prism (Maybe a) (Maybe b) a b
+ Diagrams.Prelude: _Just :: forall a b p f. (Choice p, Applicative f) => p a (f b) -> p (Maybe a) (f (Maybe b))
- Diagrams.Prelude: _Left :: Prism (Either a c) (Either b c) a b
+ Diagrams.Prelude: _Left :: forall a c b p f. (Choice p, Applicative f) => p a (f b) -> p (Either a c) (f (Either b c))
- Diagrams.Prelude: _Nothing :: Prism' (Maybe a) ()
+ Diagrams.Prelude: _Nothing :: forall a p f. (Choice p, Applicative f) => p () (f ()) -> p (Maybe a) (f (Maybe a))
- Diagrams.Prelude: _Right :: Prism (Either c a) (Either c b) a b
+ Diagrams.Prelude: _Right :: forall c a b p f. (Choice p, Applicative f) => p a (f b) -> p (Either c a) (f (Either c b))
- Diagrams.Prelude: _Void :: Prism s s a Void
+ Diagrams.Prelude: _Void :: forall s a p f. (Choice p, Applicative f) => p a (f Void) -> p s (f s)
- 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: both1 :: forall (r :: Type -> Type -> Type) a b. Bitraversable1 r => Traversal1 (r a a) (r b b) a b
- Diagrams.Prelude: chosen :: IndexPreservingLens (Either a a) (Either b b) a b
+ Diagrams.Prelude: chosen :: forall a b p f. (Conjoined p, Functor f) => p a (f b) -> p (Either a a) (f (Either b b))
- Diagrams.Prelude: class AsEmpty a
+ Diagrams.Prelude: class () => AsEmpty a
- Diagrams.Prelude: class Bifunctor (p :: Type -> Type -> Type)
+ Diagrams.Prelude: class forall a. () => Functor p a => Bifunctor (p :: Type -> Type -> Type)
- Diagrams.Prelude: class ColourOps (f :: Type -> Type)
+ Diagrams.Prelude: class () => ColourOps (f :: Type -> Type)
- Diagrams.Prelude: class Cons s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Cons s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Contains m
+ Diagrams.Prelude: class () => Contains m
- Diagrams.Prelude: class Contravariant (f :: Type -> Type)
+ Diagrams.Prelude: class () => Contravariant (f :: Type -> Type)
- Diagrams.Prelude: class Each s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Each s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field1 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field1 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field10 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field10 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field11 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field11 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field12 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field12 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field13 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field13 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field14 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field14 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field15 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field15 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field16 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field16 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field17 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field17 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field18 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field18 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field19 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field19 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field2 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field2 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field3 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field3 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field4 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field4 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field5 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field5 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field6 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field6 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field7 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field7 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field8 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field8 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Field9 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Field9 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class GPlated a (g :: k -> Type)
+ Diagrams.Prelude: class () => GPlated a (g :: k -> Type)
- Diagrams.Prelude: class GPlated1 (f :: k -> Type) (g :: k -> Type)
+ Diagrams.Prelude: class () => GPlated1 (f :: k -> Type) (g :: k -> Type)
- Diagrams.Prelude: class Ixed m
+ Diagrams.Prelude: class () => Ixed m
- Diagrams.Prelude: class Plated a
+ Diagrams.Prelude: class () => Plated a
- Diagrams.Prelude: class Prefixed t
+ Diagrams.Prelude: class () => Prefixed t
- Diagrams.Prelude: class Profunctor (p :: Type -> Type -> Type)
+ Diagrams.Prelude: class () => Profunctor (p :: Type -> Type -> Type)
- Diagrams.Prelude: class Reversing t
+ Diagrams.Prelude: class () => Reversing t
- Diagrams.Prelude: class Snoc s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Diagrams.Prelude: class () => Snoc s t a b | s -> a, t -> b, s b -> t, t a -> s
- Diagrams.Prelude: class Suffixed t
+ Diagrams.Prelude: class () => Suffixed t
- Diagrams.Prelude: class (Foldable1 t, Traversable t) => Traversable1 (t :: TYPE LiftedRep -> Type)
+ Diagrams.Prelude: class (Foldable1 t, Traversable t) => Traversable1 (t :: Type -> Type)
- Diagrams.Prelude: class Wrapped s where {
+ Diagrams.Prelude: class () => Wrapped s where {
- Diagrams.Prelude: curried :: Iso ((a, b) -> c) ((d, e) -> f) (a -> b -> c) (d -> e -> f)
+ Diagrams.Prelude: curried :: forall a b c d e f1 p f2. (Profunctor p, Functor f2) => p (a -> b -> c) (f2 (d -> e -> f1)) -> p ((a, b) -> c) (f2 ((d, e) -> f1))
- Diagrams.Prelude: data (a :: k) :~: (b :: k)
+ Diagrams.Prelude: data () => (a :: k) :~: (b :: k)
- Diagrams.Prelude: data AlphaColour a
+ Diagrams.Prelude: data () => AlphaColour a
- Diagrams.Prelude: data Colour a
+ Diagrams.Prelude: data () => Colour a
- Diagrams.Prelude: data Context a b t
+ Diagrams.Prelude: data () => Context a b t
- Diagrams.Prelude: data DefName
+ Diagrams.Prelude: data () => DefName
- Diagrams.Prelude: data Identical (a :: k) (b :: k1) (s :: k) (t :: k1)
+ Diagrams.Prelude: data () => Identical (a :: k) (b :: k1) (s :: k) (t :: k1)
- Diagrams.Prelude: data Leftmost a
+ Diagrams.Prelude: data () => Leftmost a
- Diagrams.Prelude: data LensRules
+ Diagrams.Prelude: data () => LensRules
- Diagrams.Prelude: data Level i a
+ Diagrams.Prelude: data () => Level i a
- Diagrams.Prelude: data Magma i t b a
+ Diagrams.Prelude: data () => Magma i t b a
- Diagrams.Prelude: data Rightmost a
+ Diagrams.Prelude: data () => Rightmost a
- Diagrams.Prelude: data Sequenced a (m :: Type -> Type)
+ Diagrams.Prelude: data () => Sequenced a (m :: Type -> Type)
- Diagrams.Prelude: data Traversed a (f :: Type -> Type)
+ Diagrams.Prelude: data () => Traversed a (f :: Type -> Type)
- Diagrams.Prelude: flipped :: Iso (a -> b -> c) (a' -> b' -> c') (b -> a -> c) (b' -> a' -> c')
+ Diagrams.Prelude: flipped :: forall a b c a' b' c' p f. (Profunctor p, Functor f) => p (b -> a -> c) (f (b' -> a' -> c')) -> p (a -> b -> c) (f (a' -> b' -> c'))
- Diagrams.Prelude: folded :: forall (f :: TYPE LiftedRep -> Type) a. Foldable f => IndexedFold Int (f a) a
+ Diagrams.Prelude: folded :: forall (f :: Type -> Type) a. Foldable f => IndexedFold Int (f a) a
- Diagrams.Prelude: folded64 :: forall (f :: TYPE LiftedRep -> Type) a. Foldable f => IndexedFold Int64 (f a) a
+ Diagrams.Prelude: folded64 :: forall (f :: Type -> Type) a. Foldable f => IndexedFold Int64 (f a) a
- Diagrams.Prelude: head1 :: forall (t :: TYPE LiftedRep -> Type) a. Traversable1 t => Lens' (t a) a
+ Diagrams.Prelude: head1 :: forall (t :: Type -> Type) a. Traversable1 t => Lens' (t a) a
- Diagrams.Prelude: iloci :: IndexedTraversal i (Bazaar (Indexed i) a c s) (Bazaar (Indexed i) b c s) a b
+ Diagrams.Prelude: iloci :: forall i a c s b p f. (Indexable i p, Applicative f) => p a (f b) -> Bazaar (Indexed i) a c s -> f (Bazaar (Indexed i) b c s)
- Diagrams.Prelude: infix 4 .=
+ Diagrams.Prelude: infix 4 <#=
- Diagrams.Prelude: infixl 1 &~
+ Diagrams.Prelude: infixl 1 ??
- Diagrams.Prelude: infixl 8 ^#
+ Diagrams.Prelude: infixl 8 ^@?!
- Diagrams.Prelude: infixr 2 <~
+ Diagrams.Prelude: infixr 2 <<~
- Diagrams.Prelude: infixr 4 %~
+ Diagrams.Prelude: infixr 4 <#~
- Diagrams.Prelude: infixr 5 :<
+ Diagrams.Prelude: infixr 5 `cons`
- Diagrams.Prelude: last1 :: forall (t :: TYPE LiftedRep -> Type) a. Traversable1 t => Lens' (t a) a
+ Diagrams.Prelude: last1 :: forall (t :: Type -> Type) a. Traversable1 t => Lens' (t a) a
- Diagrams.Prelude: loci :: Traversal (Bazaar (->) a c s) (Bazaar (->) b c s) a b
+ Diagrams.Prelude: loci :: forall a c s b f. Applicative f => (a -> f b) -> Bazaar (->) a c s -> f (Bazaar (->) b c s)
- Diagrams.Prelude: newtype Bazaar (p :: Type -> Type -> Type) a b t
+ Diagrams.Prelude: newtype () => Bazaar (p :: Type -> Type -> Type) a b t
- Diagrams.Prelude: newtype Bazaar1 (p :: Type -> Type -> Type) a b t
+ Diagrams.Prelude: newtype () => Bazaar1 (p :: Type -> Type -> Type) a b t
- Diagrams.Prelude: newtype Const a (b :: k)
+ Diagrams.Prelude: newtype () => Const a (b :: k)
- Diagrams.Prelude: newtype Identity a
+ Diagrams.Prelude: newtype () => Identity a
- Diagrams.Prelude: newtype Indexed i a b
+ Diagrams.Prelude: newtype () => Indexed i a b
- Diagrams.Prelude: newtype ReifiedFold s a
+ Diagrams.Prelude: newtype () => ReifiedFold s a
- Diagrams.Prelude: newtype ReifiedGetter s a
+ Diagrams.Prelude: newtype () => ReifiedGetter s a
- Diagrams.Prelude: newtype ReifiedIndexedFold i s a
+ Diagrams.Prelude: newtype () => ReifiedIndexedFold i s a
- Diagrams.Prelude: newtype ReifiedIndexedGetter i s a
+ Diagrams.Prelude: newtype () => ReifiedIndexedGetter i s a
- Diagrams.Prelude: newtype ReifiedIndexedLens i s t a b
+ Diagrams.Prelude: newtype () => ReifiedIndexedLens i s t a b
- Diagrams.Prelude: newtype ReifiedIndexedSetter i s t a b
+ Diagrams.Prelude: newtype () => ReifiedIndexedSetter i s t a b
- Diagrams.Prelude: newtype ReifiedIndexedTraversal i s t a b
+ Diagrams.Prelude: newtype () => ReifiedIndexedTraversal i s t a b
- Diagrams.Prelude: newtype ReifiedIso s t a b
+ Diagrams.Prelude: newtype () => ReifiedIso s t a b
- Diagrams.Prelude: newtype ReifiedLens s t a b
+ Diagrams.Prelude: newtype () => ReifiedLens s t a b
- Diagrams.Prelude: newtype ReifiedPrism s t a b
+ Diagrams.Prelude: newtype () => ReifiedPrism s t a b
- Diagrams.Prelude: newtype ReifiedSetter s t a b
+ Diagrams.Prelude: newtype () => ReifiedSetter s t a b
- Diagrams.Prelude: newtype ReifiedTraversal s t a b
+ Diagrams.Prelude: newtype () => ReifiedTraversal s t a b
- Diagrams.Prelude: pattern (:>) :: Snoc a a b b => a -> b -> a
+ Diagrams.Prelude: pattern (:<) :: Cons b b a a => a -> b -> b
- Diagrams.Prelude: pattern Reversed :: Reversing t => t -> t
+ Diagrams.Prelude: pattern Unwrapped :: Rewrapped t t => t -> Unwrapped t
- Diagrams.Prelude: simple :: forall {k2} (a :: k2). Equality' a a
+ Diagrams.Prelude: simple :: forall {k2} (a :: k2) k3 p (f :: k2 -> k3). p a (f a) -> p a (f a)
- Diagrams.Prelude: traversed1 :: forall (f :: TYPE LiftedRep -> Type) a b. Traversable1 f => IndexedTraversal1 Int (f a) (f b) a b
+ Diagrams.Prelude: traversed1 :: forall (f :: Type -> Type) a b. Traversable1 f => IndexedTraversal1 Int (f a) (f b) a b
- Diagrams.Prelude: type Optic' (p :: k -> k1 -> Type) (f :: k -> k1) (s :: k) (a :: k) = Optic p f s s a a
+ Diagrams.Prelude: type Review t b = forall (p :: Type -> Type -> Type) (f :: Type -> Type). (Choice p, Bifunctor p, Settable f) => Optic' p f t b
- Diagrams.Prelude: type Fold1 s a = forall (f :: Type -> Type). (Contravariant f, Apply f) => a -> f a -> s -> f s
+ Diagrams.Prelude: type Traversal1 s t a b = forall (f :: Type -> Type). Apply f => a -> f b -> s -> f t
- Diagrams.Prelude: type family Unwrapped s;
+ Diagrams.Prelude: type family Index s
- Diagrams.Prelude: type IndexedLensLike i (f :: k -> Type) s (t :: k) a (b :: k) = forall (p :: Type -> Type -> Type). Indexable i p => p a f b -> s -> f t
+ Diagrams.Prelude: type IndexPreservingLens s t a b = forall (p :: Type -> Type -> Type) (f :: Type -> Type). (Conjoined p, Functor f) => p a f b -> p s f t
- Diagrams.Prelude: uncurried :: Iso (a -> b -> c) (d -> e -> f) ((a, b) -> c) ((d, e) -> f)
+ Diagrams.Prelude: uncurried :: forall a b c d e f1 p f2. (Profunctor p, Functor f2) => p ((a, b) -> c) (f2 ((d, e) -> f1)) -> p (a -> b -> c) (f2 (d -> e -> f1))
- Diagrams.Prelude: united :: Lens' a ()
+ Diagrams.Prelude: united :: forall a f. Functor f => (() -> f ()) -> a -> f a
- Diagrams.Query: newtype Query (v :: Type -> Type) n m
+ Diagrams.Query: newtype () => Query (v :: Type -> Type) n m
- Diagrams.Segment: oeEnvelope :: forall v_aZ0A n_aZ0B. Lens' (OffsetEnvelope v_aZ0A n_aZ0B) (Envelope v_aZ0A n_aZ0B)
+ Diagrams.Segment: oeEnvelope :: forall v_aUi0 n_aUi1. Lens' (OffsetEnvelope v_aUi0 n_aUi1) (Envelope v_aUi0 n_aUi1)
- Diagrams.Segment: oeOffset :: forall v_aZ0A n_aZ0B. Lens' (OffsetEnvelope v_aZ0A n_aZ0B) (TotalOffset v_aZ0A n_aZ0B)
+ Diagrams.Segment: oeOffset :: forall v_aUi0 n_aUi1. Lens' (OffsetEnvelope v_aUi0 n_aUi1) (TotalOffset v_aUi0 n_aUi1)
- Diagrams.ThreeD.Camera: horizontalFieldOfView :: forall n_aN1o. Lens' (PerspectiveLens n_aN1o) (Angle n_aN1o)
+ Diagrams.ThreeD.Camera: horizontalFieldOfView :: forall n_aJ53. Lens' (PerspectiveLens n_aJ53) (Angle n_aJ53)
- Diagrams.ThreeD.Camera: orthoHeight :: forall n_aN3N. Lens' (OrthoLens n_aN3N) n_aN3N
+ Diagrams.ThreeD.Camera: orthoHeight :: forall n_aJ7Q. Lens' (OrthoLens n_aJ7Q) n_aJ7Q
- Diagrams.ThreeD.Camera: orthoWidth :: forall n_aN3N. Lens' (OrthoLens n_aN3N) n_aN3N
+ Diagrams.ThreeD.Camera: orthoWidth :: forall n_aJ7Q. Lens' (OrthoLens n_aJ7Q) n_aJ7Q
- Diagrams.ThreeD.Camera: verticalFieldOfView :: forall n_aN1o. Lens' (PerspectiveLens n_aN1o) (Angle n_aN1o)
+ Diagrams.ThreeD.Camera: verticalFieldOfView :: forall n_aJ53. Lens' (PerspectiveLens n_aJ53) (Angle n_aJ53)
- Diagrams.ThreeD.Types: class R1 (t :: Type -> Type)
+ Diagrams.ThreeD.Types: class () => R1 (t :: Type -> Type)
- Diagrams.ThreeD.Types: data V3 a
+ Diagrams.ThreeD.Types: data () => V3 a
- Diagrams.Trace: data Trace (v :: Type -> Type) n
+ Diagrams.Trace: data () => Trace (v :: Type -> Type) n
- Diagrams.Transform: class HasOrigin t
+ Diagrams.Transform: class () => HasOrigin t
- Diagrams.Transform: class Transformable t
+ Diagrams.Transform: class () => Transformable t
- Diagrams.Transform: data Transformation (v :: Type -> Type) n
+ Diagrams.Transform: data () => Transformation (v :: Type -> Type) n
- Diagrams.Transform.ScaleInv: scaleInvDir :: forall t_aFAQ. Lens' (ScaleInv t_aFAQ) (Vn t_aFAQ)
+ Diagrams.Transform.ScaleInv: scaleInvDir :: forall t_aCen. Lens' (ScaleInv t_aCen) (Vn t_aCen)
- Diagrams.Transform.ScaleInv: scaleInvLoc :: forall t_aFAQ. Lens' (ScaleInv t_aFAQ) (Point (V t_aFAQ) (N t_aFAQ))
+ Diagrams.Transform.ScaleInv: scaleInvLoc :: forall t_aCen. Lens' (ScaleInv t_aCen) (Point (V t_aCen) (N t_aCen))
- Diagrams.Transform.ScaleInv: scaleInvObj :: forall t_aFAQ. Lens' (ScaleInv t_aFAQ) t_aFAQ
+ Diagrams.Transform.ScaleInv: scaleInvObj :: forall t_aCen. Lens' (ScaleInv t_aCen) t_aCen
- Diagrams.TwoD: _LG :: forall n_a20xM. Prism' (Texture n_a20xM) (LGradient n_a20xM)
+ Diagrams.TwoD: _LG :: forall n_a1RM1. Prism' (Texture n_a1RM1) (LGradient n_a1RM1)
- Diagrams.TwoD: _RG :: forall n_a20xM. Prism' (Texture n_a20xM) (RGradient n_a20xM)
+ Diagrams.TwoD: _RG :: forall n_a1RM1. Prism' (Texture n_a1RM1) (RGradient n_a1RM1)
- Diagrams.TwoD: _SC :: forall n_a20xM. Prism' (Texture n_a20xM) SomeColor
+ Diagrams.TwoD: _SC :: forall n_a1RM1. Prism' (Texture n_a1RM1) SomeColor
- Diagrams.TwoD: class R1 (t :: Type -> Type)
+ Diagrams.TwoD: class () => R1 (t :: Type -> Type)
- Diagrams.TwoD: data V2 a
+ Diagrams.TwoD: data () => V2 a
- Diagrams.TwoD: eColor :: forall n_a2nlY. Lens' (EnvelopeOpts n_a2nlY) (Colour Double)
+ Diagrams.TwoD: eColor :: forall n_a2ams. Lens' (EnvelopeOpts n_a2ams) (Colour Double)
- Diagrams.TwoD: eLineWidth :: forall n_a2nlY n_a2noq. Lens (EnvelopeOpts n_a2nlY) (EnvelopeOpts n_a2noq) (Measure n_a2nlY) (Measure n_a2noq)
+ Diagrams.TwoD: eLineWidth :: forall n_a2ams n_a2apr. Lens (EnvelopeOpts n_a2ams) (EnvelopeOpts n_a2apr) (Measure n_a2ams) (Measure n_a2apr)
- Diagrams.TwoD: ePoints :: forall n_a2nlY. Lens' (EnvelopeOpts n_a2nlY) Int
+ Diagrams.TwoD: ePoints :: forall n_a2ams. Lens' (EnvelopeOpts n_a2ams) Int
- Diagrams.TwoD: oColor :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) (Colour Double)
+ Diagrams.TwoD: oColor :: forall n_a2aln. Lens' (OriginOpts n_a2aln) (Colour Double)
- Diagrams.TwoD: oMinSize :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) n_a2nl1
+ Diagrams.TwoD: oMinSize :: forall n_a2aln. Lens' (OriginOpts n_a2aln) n_a2aln
- Diagrams.TwoD: oScale :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) n_a2nl1
+ Diagrams.TwoD: oScale :: forall n_a2aln. Lens' (OriginOpts n_a2aln) n_a2aln
- Diagrams.TwoD: radiusBL :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
+ Diagrams.TwoD: radiusBL :: forall d_a1Gbs. Lens' (RoundedRectOpts d_a1Gbs) d_a1Gbs
- Diagrams.TwoD: radiusBR :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
+ Diagrams.TwoD: radiusBR :: forall d_a1Gbs. Lens' (RoundedRectOpts d_a1Gbs) d_a1Gbs
- Diagrams.TwoD: radiusTL :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
+ Diagrams.TwoD: radiusTL :: forall d_a1Gbs. Lens' (RoundedRectOpts d_a1Gbs) d_a1Gbs
- Diagrams.TwoD: radiusTR :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
+ Diagrams.TwoD: radiusTR :: forall d_a1Gbs. Lens' (RoundedRectOpts d_a1Gbs) d_a1Gbs
- Diagrams.TwoD: tColor :: forall n_a2noP. Lens' (TraceOpts n_a2noP) (Colour Double)
+ Diagrams.TwoD: tColor :: forall n_a2apQ. Lens' (TraceOpts n_a2apQ) (Colour Double)
- Diagrams.TwoD: tMinSize :: forall n_a2noP. Lens' (TraceOpts n_a2noP) n_a2noP
+ Diagrams.TwoD: tMinSize :: forall n_a2apQ. Lens' (TraceOpts n_a2apQ) n_a2apQ
- Diagrams.TwoD: tPoints :: forall n_a2noP. Lens' (TraceOpts n_a2noP) Int
+ Diagrams.TwoD: tPoints :: forall n_a2apQ. Lens' (TraceOpts n_a2apQ) Int
- Diagrams.TwoD: tScale :: forall n_a2noP. Lens' (TraceOpts n_a2noP) n_a2noP
+ Diagrams.TwoD: tScale :: forall n_a2apQ. Lens' (TraceOpts n_a2apQ) n_a2apQ
- Diagrams.TwoD.Attributes: _LG :: forall n_a20xM. Prism' (Texture n_a20xM) (LGradient n_a20xM)
+ Diagrams.TwoD.Attributes: _LG :: forall n_a1RM1. Prism' (Texture n_a1RM1) (LGradient n_a1RM1)
- Diagrams.TwoD.Attributes: _RG :: forall n_a20xM. Prism' (Texture n_a20xM) (RGradient n_a20xM)
+ Diagrams.TwoD.Attributes: _RG :: forall n_a1RM1. Prism' (Texture n_a1RM1) (RGradient n_a1RM1)
- Diagrams.TwoD.Attributes: _SC :: forall n_a20xM. Prism' (Texture n_a20xM) SomeColor
+ Diagrams.TwoD.Attributes: _SC :: forall n_a1RM1. Prism' (Texture n_a1RM1) SomeColor
- Diagrams.TwoD.Model: eColor :: forall n_a2nlY. Lens' (EnvelopeOpts n_a2nlY) (Colour Double)
+ Diagrams.TwoD.Model: eColor :: forall n_a2ams. Lens' (EnvelopeOpts n_a2ams) (Colour Double)
- Diagrams.TwoD.Model: eLineWidth :: forall n_a2nlY n_a2noq. Lens (EnvelopeOpts n_a2nlY) (EnvelopeOpts n_a2noq) (Measure n_a2nlY) (Measure n_a2noq)
+ Diagrams.TwoD.Model: eLineWidth :: forall n_a2ams n_a2apr. Lens (EnvelopeOpts n_a2ams) (EnvelopeOpts n_a2apr) (Measure n_a2ams) (Measure n_a2apr)
- Diagrams.TwoD.Model: ePoints :: forall n_a2nlY. Lens' (EnvelopeOpts n_a2nlY) Int
+ Diagrams.TwoD.Model: ePoints :: forall n_a2ams. Lens' (EnvelopeOpts n_a2ams) Int
- Diagrams.TwoD.Model: oColor :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) (Colour Double)
+ Diagrams.TwoD.Model: oColor :: forall n_a2aln. Lens' (OriginOpts n_a2aln) (Colour Double)
- Diagrams.TwoD.Model: oMinSize :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) n_a2nl1
+ Diagrams.TwoD.Model: oMinSize :: forall n_a2aln. Lens' (OriginOpts n_a2aln) n_a2aln
- Diagrams.TwoD.Model: oScale :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) n_a2nl1
+ Diagrams.TwoD.Model: oScale :: forall n_a2aln. Lens' (OriginOpts n_a2aln) n_a2aln
- Diagrams.TwoD.Model: tColor :: forall n_a2noP. Lens' (TraceOpts n_a2noP) (Colour Double)
+ Diagrams.TwoD.Model: tColor :: forall n_a2apQ. Lens' (TraceOpts n_a2apQ) (Colour Double)
- Diagrams.TwoD.Model: tMinSize :: forall n_a2noP. Lens' (TraceOpts n_a2noP) n_a2noP
+ Diagrams.TwoD.Model: tMinSize :: forall n_a2apQ. Lens' (TraceOpts n_a2apQ) n_a2apQ
- Diagrams.TwoD.Model: tPoints :: forall n_a2noP. Lens' (TraceOpts n_a2noP) Int
+ Diagrams.TwoD.Model: tPoints :: forall n_a2apQ. Lens' (TraceOpts n_a2apQ) Int
- Diagrams.TwoD.Model: tScale :: forall n_a2noP. Lens' (TraceOpts n_a2noP) n_a2noP
+ Diagrams.TwoD.Model: tScale :: forall n_a2apQ. Lens' (TraceOpts n_a2apQ) n_a2apQ
- Diagrams.TwoD.Shapes: radiusBL :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
+ Diagrams.TwoD.Shapes: radiusBL :: forall d_a1Gbs. Lens' (RoundedRectOpts d_a1Gbs) d_a1Gbs
- Diagrams.TwoD.Shapes: radiusBR :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
+ Diagrams.TwoD.Shapes: radiusBR :: forall d_a1Gbs. Lens' (RoundedRectOpts d_a1Gbs) d_a1Gbs
- Diagrams.TwoD.Shapes: radiusTL :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
+ Diagrams.TwoD.Shapes: radiusTL :: forall d_a1Gbs. Lens' (RoundedRectOpts d_a1Gbs) d_a1Gbs
- Diagrams.TwoD.Shapes: radiusTR :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
+ Diagrams.TwoD.Shapes: radiusTR :: forall d_a1Gbs. Lens' (RoundedRectOpts d_a1Gbs) d_a1Gbs
- Diagrams.TwoD.Types: class R1 (t :: Type -> Type)
+ Diagrams.TwoD.Types: class () => R1 (t :: Type -> Type)
- Diagrams.TwoD.Types: data V2 a
+ Diagrams.TwoD.Types: data () => V2 a
Files
- CHANGELOG.md +21/−0
- README.markdown +1/−1
- diagrams-lib.cabal +8/−8
- src/Diagrams/Backend/CmdLine.hs +1/−1
CHANGELOG.md view
@@ -1,3 +1,24 @@+## [v1.4.6.1](https://github.com/diagrams/diagrams-lib/tree/v1.4.6.1) (2024-02-26)++- Fix compilation on BSD ([#367](https://github.com/diagrams/diagrams-lib/pull/367), thanks to Finn Espen Gundersen)++## [v1.4.6-r4](https://github.com/diagrams/diagrams-lib/tree/v1.4.6-r4) (2024-01-11)++- Allow `base-4.19` and test with GHC 9.8+- Allow `text-2.1`++## [v1.4.6-r3](https://github.com/diagrams/diagrams-lib/tree/v1.4.6-r3) (2023-09-14)++- Allow `tasty-1.5`++## [v1.4.6-r2](https://github.com/diagrams/diagrams-lib/tree/v1.4.6-r2) (2023-08-16)++- Allow `bytestring-0.12` and `deepseq-1.5`++## [v1.4.6-r1](https://github.com/diagrams/diagrams-lib/tree/v1.4.6-r1) (2023-05-25)++- Allow `optparse-applicative-0.18`+ ## [v1.4.6](https://github.com/diagrams/diagrams-lib/tree/v1.4.5.3) (2023-05-15) - Allow `base-4.18`; test with GHC 9.6 (thanks to @sergv)
README.markdown view
@@ -1,4 +1,4 @@-[](https://travis-ci.org/diagrams/diagrams-lib)+[](https://github.com/diagrams/diagrams-lib/actions/workflows/haskell-ci.yml) The standard library for [diagrams](http://projects.haskell.org/diagrams/), a Haskell embedded
diagrams-lib.cabal view
@@ -1,5 +1,5 @@ Name: diagrams-lib-Version: 1.4.6+Version: 1.4.6.1 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: diagrams/*.svg Extra-doc-files: CHANGELOG.md, README.markdown, diagrams/*.svg-Tested-with: GHC ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.4 || ==9.4.1+Tested-with: GHC ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.3 || ==9.8.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.19,+ Build-depends: base >= 4.9 && < 4.20, containers >= 0.3 && < 0.7, array >= 0.3 && < 0.6, semigroups >= 0.3.4 && < 0.21,@@ -115,7 +115,7 @@ intervals >= 0.7 && < 0.10, lens >= 5.1 && < 5.3, tagged >= 0.7,- optparse-applicative >= 0.11 && < 0.18,+ optparse-applicative >= 0.11 && < 0.19, filepath, JuicyPixels >= 3.3.4 && < 3.4, hashable >= 1.1 && < 1.5,@@ -126,13 +126,13 @@ fsnotify >= 0.4 && < 0.5, directory >= 1.2 && < 1.4, unordered-containers >= 0.2 && < 0.3,- text >= 0.7.1 && < 2.1,+ text >= 0.7.1 && < 2.2, mtl >= 2.0 && < 2.3 || >= 2.3.1 && < 2.4, transformers >= 0.3.0 && < 0.7.0, profunctors >= 5.0 && < 6.0, exceptions >= 0.6 && < 1.0, cereal >=0.4.1.1 && <0.6,- bytestring >=0.9 && <0.12,+ bytestring >=0.9 && <0.13, fail >= 4.9.0.0 && <4.10 Hs-source-dirs: src ghc-options: -Wall@@ -158,11 +158,11 @@ , Instances hs-source-dirs: test build-depends: base,- tasty >= 0.10 && < 1.5,+ tasty >= 0.10 && < 1.6, tasty-hunit >= 0.9.2 && < 0.11, tasty-quickcheck >= 0.8 && < 0.11, QuickCheck >= 2.7,- deepseq >= 1.3 && < 1.5,+ deepseq >= 1.3 && < 1.6, diagrams-lib, lens, distributive,
src/Diagrams/Backend/CmdLine.hs view
@@ -592,7 +592,7 @@ newProg = newProgName (takeFileName srcPath) prog timeOfDay = take 8 . drop 11 . show . eventTime - withManagerConf defaultConfig { confWatchMode = WatchModeOS } $+ withManagerConf defaultConfig $ \mgr -> do lock <- newIORef False