diagrams-core 1.3.0.3 → 1.3.0.4

raw patch · 2 files changed

+8/−2 lines, 2 filesdep ~semigroupsPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: semigroups

API changes (from Hackage documentation)

- Diagrams.Core: appTrace :: Trace v n -> Point v n -> v n -> SortedList n

- Diagrams.Core: runQuery :: Query v n m -> Point v n -> m

- Diagrams.Core.Envelope: instance (Enveloped a, Enveloped b, V a ~ V b, N a ~ N b) => Enveloped (a, b)

- Diagrams.Core.Envelope: instance (Floating s, Ord s) => OrderedField s

- Diagrams.Core.Envelope: instance (Metric v, Floating n) => Transformable (Envelope v n)

- Diagrams.Core.Envelope: instance (Metric v, Fractional n) => HasOrigin (Envelope v n)

- Diagrams.Core.Envelope: instance (Metric v, OrderedField n) => Enveloped (Envelope v n)

- Diagrams.Core.Envelope: instance (OrderedField n, Metric v) => Enveloped (Point v n)

- Diagrams.Core.Envelope: instance Enveloped b => Enveloped (Map k b)

- Diagrams.Core.Envelope: instance Enveloped b => Enveloped (Set b)

- Diagrams.Core.Envelope: instance Enveloped b => Enveloped [b]

- Diagrams.Core.Envelope: instance Enveloped t => Enveloped (TransInv t)

- Diagrams.Core.Envelope: instance Ord n => Monoid (Envelope v n)

- Diagrams.Core.Envelope: instance Ord n => Semigroup (Envelope v n)

- Diagrams.Core.Envelope: instance Rewrapped (Envelope v n) (Envelope v' n')

- Diagrams.Core.Envelope: instance Show (Envelope v n)

- Diagrams.Core.Envelope: instance Wrapped (Envelope v n)

- Diagrams.Core.HasOrigin: instance (Additive v, Num n) => HasOrigin (Point v n)

- Diagrams.Core.HasOrigin: instance (HasOrigin t, HasOrigin s, SameSpace s t) => HasOrigin (s, t)

- Diagrams.Core.HasOrigin: instance (HasOrigin t, Ord t) => HasOrigin (Set t)

- Diagrams.Core.HasOrigin: instance HasOrigin t => HasOrigin (Map k t)

- Diagrams.Core.HasOrigin: instance HasOrigin t => HasOrigin (Measured n t)

- Diagrams.Core.HasOrigin: instance HasOrigin t => HasOrigin [t]

- Diagrams.Core.Juxtapose: instance (Enveloped a, HasOrigin a, Enveloped b, HasOrigin b, V a ~ V b, N a ~ N b) => Juxtaposable (a, b)

- Diagrams.Core.Juxtapose: instance (Enveloped b, HasOrigin b) => Juxtaposable (Map k b)

- Diagrams.Core.Juxtapose: instance (Enveloped b, HasOrigin b) => Juxtaposable [b]

- Diagrams.Core.Juxtapose: instance (Enveloped b, HasOrigin b, Ord b) => Juxtaposable (Set b)

- Diagrams.Core.Juxtapose: instance (Metric v, OrderedField n) => Juxtaposable (Envelope v n)

- Diagrams.Core.Juxtapose: instance Juxtaposable a => Juxtaposable (Measured n a)

- Diagrams.Core.Juxtapose: instance Juxtaposable a => Juxtaposable (b -> a)

- Diagrams.Core.Measure: instance Additive (Measured n)

- Diagrams.Core.Measure: instance Applicative (Measured n)

- Diagrams.Core.Measure: instance Distributive (Measured n)

- Diagrams.Core.Measure: instance Floating a => Floating (Measured n a)

- Diagrams.Core.Measure: instance Fractional a => Fractional (Measured n a)

- Diagrams.Core.Measure: instance Functor (Measured n)

- Diagrams.Core.Measure: instance Monad (Measured n)

- Diagrams.Core.Measure: instance MonadReader (n, n, n) (Measured n)

- Diagrams.Core.Measure: instance Monoid a => Monoid (Measured n a)

- Diagrams.Core.Measure: instance Num a => Num (Measured n a)

- Diagrams.Core.Measure: instance Profunctor Measured

- Diagrams.Core.Measure: instance Representable (Measured n)

- Diagrams.Core.Measure: instance Semigroup a => Semigroup (Measured n a)

- Diagrams.Core.Measure: instance Typeable Measured

- Diagrams.Core.Measure: unmeasure :: Measured n a -> (n, n, n) -> a

- Diagrams.Core.Names: instance (IsName a, IsName b) => IsName (a, b)

- Diagrams.Core.Names: instance (IsName a, IsName b, IsName c) => IsName (a, b, c)

- Diagrams.Core.Names: instance (Ord a, Qualifiable a) => Qualifiable (Set a)

- Diagrams.Core.Names: instance (Qualifiable a, Qualifiable b) => Qualifiable (a, b)

- Diagrams.Core.Names: instance (Qualifiable a, Qualifiable b, Qualifiable c) => Qualifiable (a, b, c)

- Diagrams.Core.Names: instance Eq AName

- Diagrams.Core.Names: instance Eq Name

- Diagrams.Core.Names: instance IsName ()

- Diagrams.Core.Names: instance IsName AName

- Diagrams.Core.Names: instance IsName Bool

- Diagrams.Core.Names: instance IsName Char

- Diagrams.Core.Names: instance IsName Double

- Diagrams.Core.Names: instance IsName Float

- Diagrams.Core.Names: instance IsName Int

- Diagrams.Core.Names: instance IsName Integer

- Diagrams.Core.Names: instance IsName Name

- Diagrams.Core.Names: instance IsName a => IsName (Maybe a)

- Diagrams.Core.Names: instance IsName a => IsName [a]

- Diagrams.Core.Names: instance Monoid Name

- Diagrams.Core.Names: instance Ord AName

- Diagrams.Core.Names: instance Ord Name

- Diagrams.Core.Names: instance Qualifiable Name

- Diagrams.Core.Names: instance Qualifiable a => Qualifiable (Map k a)

- Diagrams.Core.Names: instance Qualifiable a => Qualifiable (Measured n a)

- Diagrams.Core.Names: instance Qualifiable a => Qualifiable (TransInv a)

- Diagrams.Core.Names: instance Qualifiable a => Qualifiable (b -> a)

- Diagrams.Core.Names: instance Qualifiable a => Qualifiable [a]

- Diagrams.Core.Names: instance Rewrapped Name Name

- Diagrams.Core.Names: instance Semigroup Name

- Diagrams.Core.Names: instance Show AName

- Diagrams.Core.Names: instance Show Name

- Diagrams.Core.Names: instance Typeable AName

- Diagrams.Core.Names: instance Typeable Name

- Diagrams.Core.Names: instance Wrapped Name

- Diagrams.Core.Query: instance (Additive v, Num n) => HasOrigin (Query v n m)

- Diagrams.Core.Query: instance (Additive v, Num n) => Transformable (Query v n m)

- Diagrams.Core.Query: instance Applicative (Query v n)

- Diagrams.Core.Query: instance Functor (Query v n)

- Diagrams.Core.Query: instance Monoid m => Monoid (Query v n m)

- Diagrams.Core.Query: instance Rewrapped (Query v a m) (Query v' a' m')

- Diagrams.Core.Query: instance Semigroup m => Semigroup (Query v n m)

- Diagrams.Core.Query: instance Wrapped (Query v n m)

- Diagrams.Core.Query: runQuery :: Query v n m -> Point v n -> m

- Diagrams.Core.Style: instance (Additive v, Traversable v, Floating n) => Transformable (Attribute v n)

- Diagrams.Core.Style: instance (Additive v, Traversable v, Floating n) => Transformable (Style v n)

- Diagrams.Core.Style: instance (HasStyle a, HasStyle b, V a ~ V b, N a ~ N b) => HasStyle (a, b)

- Diagrams.Core.Style: instance (HasStyle a, Ord a) => HasStyle (Set a)

- Diagrams.Core.Style: instance Action (Style v n) m

- Diagrams.Core.Style: instance At (Style v n)

- Diagrams.Core.Style: instance Each (Style v n) (Style v' n') (Attribute v n) (Attribute v' n')

- Diagrams.Core.Style: instance HasStyle a => HasStyle (Map k a)

- Diagrams.Core.Style: instance HasStyle a => HasStyle [a]

- Diagrams.Core.Style: instance HasStyle b => HasStyle (Measured n b)

- Diagrams.Core.Style: instance HasStyle b => HasStyle (a -> b)

- Diagrams.Core.Style: instance Ixed (Style v n)

- Diagrams.Core.Style: instance Rewrapped (Style v n) (Style v' n')

- Diagrams.Core.Style: instance Typeable n => HasStyle (Style v n)

- Diagrams.Core.Style: instance Typeable n => Monoid (Style v n)

- Diagrams.Core.Style: instance Typeable n => Semigroup (Attribute v n)

- Diagrams.Core.Style: instance Typeable n => Semigroup (Style v n)

- Diagrams.Core.Style: instance Typeable n => Show (Attribute v n)

- Diagrams.Core.Style: instance Typeable n => Show (Style v n)

- Diagrams.Core.Style: instance Wrapped (Style v n)

- Diagrams.Core.Trace: appTrace :: Trace v n -> Point v n -> v n -> SortedList n

- Diagrams.Core.Trace: instance (Additive v, Num n) => HasOrigin (Trace v n)

- Diagrams.Core.Trace: instance (Additive v, Num n) => Transformable (Trace v n)

- Diagrams.Core.Trace: instance (Additive v, Ord n) => Traced (Point v n)

- Diagrams.Core.Trace: instance (Additive v, Ord n) => Traced (Trace v n)

- Diagrams.Core.Trace: instance (Traced a, Traced b, SameSpace a b) => Traced (a, b)

- Diagrams.Core.Trace: instance Ord a => Monoid (SortedList a)

- Diagrams.Core.Trace: instance Ord a => Semigroup (SortedList a)

- Diagrams.Core.Trace: instance Ord n => Monoid (Trace v n)

- Diagrams.Core.Trace: instance Ord n => Semigroup (Trace v n)

- Diagrams.Core.Trace: instance Rewrapped (Trace v n) (Trace v' n')

- Diagrams.Core.Trace: instance Show (Trace v n)

- Diagrams.Core.Trace: instance Traced b => Traced (Map k b)

- Diagrams.Core.Trace: instance Traced b => Traced (Set b)

- Diagrams.Core.Trace: instance Traced b => Traced [b]

- Diagrams.Core.Trace: instance Traced t => Traced (TransInv t)

- Diagrams.Core.Trace: instance Wrapped (Trace v n)

- Diagrams.Core.Transform: instance (Additive v, Num n) => HasOrigin (Transformation v n)

- Diagrams.Core.Transform: instance (Additive v, Num n) => Monoid (Transformation v n)

- Diagrams.Core.Transform: instance (Additive v, Num n) => Semigroup (Transformation v n)

- Diagrams.Core.Transform: instance (Additive v, Num n) => Transformable (Point v n)

- Diagrams.Core.Transform: instance (Additive v, Num n) => Transformable (Transformation v n)

- Diagrams.Core.Transform: instance (Additive v, Representable v, Rep v ~ E v) => HasBasis v

- Diagrams.Core.Transform: instance (HasBasis v, Traversable v) => HasLinearMap v

- Diagrams.Core.Transform: instance (Num (N t), Additive (V t), Transformable t) => Transformable (TransInv t)

- Diagrams.Core.Transform: instance (Transformable a, V a ~ v, N a ~ n) => Action (Transformation v n) a

- Diagrams.Core.Transform: instance (Transformable t, Ord t) => Transformable (Set t)

- Diagrams.Core.Transform: instance (Transformable t, Transformable s, Transformable u, V s ~ V t, N s ~ N t, V s ~ V u, N s ~ N u) => Transformable (t, s, u)

- Diagrams.Core.Transform: instance (Transformable t, Transformable s, V t ~ V s, N t ~ N s) => Transformable (t, s)

- Diagrams.Core.Transform: instance (V t ~ v, N t ~ n, V t ~ V s, N t ~ N s, Functor v, Num n, Transformable t, Transformable s) => Transformable (s -> t)

- Diagrams.Core.Transform: instance Eq t => Eq (TransInv t)

- Diagrams.Core.Transform: instance HasOrigin (TransInv t)

- Diagrams.Core.Transform: instance Monoid (v :-: v)

- Diagrams.Core.Transform: instance Monoid t => Monoid (TransInv t)

- Diagrams.Core.Transform: instance Ord t => Ord (TransInv t)

- Diagrams.Core.Transform: instance Rewrapped (TransInv t) (TransInv t')

- Diagrams.Core.Transform: instance Semigroup (a :-: a)

- Diagrams.Core.Transform: instance Semigroup t => Semigroup (TransInv t)

- Diagrams.Core.Transform: instance Show t => Show (TransInv t)

- Diagrams.Core.Transform: instance Transformable m => Transformable (Deletable m)

- Diagrams.Core.Transform: instance Transformable t => Transformable (Map k t)

- Diagrams.Core.Transform: instance Transformable t => Transformable [t]

- Diagrams.Core.Transform: instance Wrapped (TransInv t)

- Diagrams.Core.Types: instance (Metric v, Floating n) => Transformable (SubMap b v n m)

- Diagrams.Core.Types: instance (Metric v, Floating n) => Transformable (Subdiagram b v n m)

- Diagrams.Core.Types: instance (Metric v, OrderedField n) => HasOrigin (Subdiagram b v n m)

- Diagrams.Core.Types: instance (Metric v, OrderedField n, Monoid' m) => Enveloped (QDiagram b v n m)

- Diagrams.Core.Types: instance (Metric v, OrderedField n, Monoid' m) => Juxtaposable (QDiagram b v n m)

- Diagrams.Core.Types: instance (Metric v, OrderedField n, Semigroup m) => HasOrigin (QDiagram b v n m)

- Diagrams.Core.Types: instance (Metric v, OrderedField n, Semigroup m) => HasStyle (QDiagram b v n m)

- Diagrams.Core.Types: instance (Metric v, OrderedField n, Semigroup m) => Monoid (QDiagram b v n m)

- Diagrams.Core.Types: instance (Metric v, OrderedField n, Semigroup m) => Qualifiable (QDiagram b v n m)

- Diagrams.Core.Types: instance (Metric v, OrderedField n, Semigroup m) => Semigroup (QDiagram b v n m)

- Diagrams.Core.Types: instance (Metric v, OrderedField n, Semigroup m) => Traced (QDiagram b v n m)

- Diagrams.Core.Types: instance (OrderedField n, Metric v) => HasOrigin (SubMap b v n m)

- Diagrams.Core.Types: instance (OrderedField n, Metric v, Monoid' m) => Enveloped (Subdiagram b v n m)

- Diagrams.Core.Types: instance (OrderedField n, Metric v, Semigroup m) => Traced (Subdiagram b v n m)

- Diagrams.Core.Types: instance (OrderedField n, Metric v, Semigroup m) => Transformable (QDiagram b v n m)

- Diagrams.Core.Types: instance (Typeable n, RealFloat n) => TypeableFloat n

- Diagrams.Core.Types: instance Action Name (Envelope v n)

- Diagrams.Core.Types: instance Action Name (Query v n m)

- Diagrams.Core.Types: instance Action Name (SubMap b v n m)

- Diagrams.Core.Types: instance Action Name (Trace v n)

- Diagrams.Core.Types: instance Action Name a => Action Name (Deletable a)

- Diagrams.Core.Types: instance Backend NullBackend v n

- Diagrams.Core.Types: instance Functor (QDiaLeaf b v n)

- Diagrams.Core.Types: instance Functor (QDiagram b v n)

- Diagrams.Core.Types: instance Functor (SubMap b v n)

- Diagrams.Core.Types: instance Functor (Subdiagram b v n)

- Diagrams.Core.Types: instance Monoid (Render NullBackend v n)

- Diagrams.Core.Types: instance Monoid (SubMap b v n m)

- Diagrams.Core.Types: instance Qualifiable (SubMap b v n m)

- Diagrams.Core.Types: instance Renderable (Prim b v n) b

- Diagrams.Core.Types: instance Rewrapped (QDiagram b v n m) (QDiagram b' v' n' m')

- Diagrams.Core.Types: instance Rewrapped (SubMap b v n m) (SubMap b' v' n' m')

- Diagrams.Core.Types: instance Semigroup (SubMap b v n m)

- Diagrams.Core.Types: instance Show Annotation

- Diagrams.Core.Types: instance Transformable (Prim b v n)

- Diagrams.Core.Types: instance Typeable NullBackend

- Diagrams.Core.Types: instance Typeable QDiagram

- Diagrams.Core.Types: instance Wrapped (QDiagram b v n m)

- Diagrams.Core.Types: instance Wrapped (SubMap b v n m)

- Diagrams.Core.V: instance (V a ~ V b, N a ~ N b) => SameSpace a b

- Diagrams.Core.V: instance (V a ~ v, N a ~ n, Additive v, Num n) => InSpace v n a

+ Diagrams.Core: [appTrace] :: Trace v n -> Point v n -> v n -> SortedList n

+ Diagrams.Core: [runQuery] :: Query v n m -> Point v n -> m

+ Diagrams.Core.Envelope: instance (Diagrams.Core.Envelope.Enveloped a, Diagrams.Core.Envelope.Enveloped b, Diagrams.Core.V.V a ~ Diagrams.Core.V.V b, Diagrams.Core.V.N a ~ Diagrams.Core.V.N b) => Diagrams.Core.Envelope.Enveloped (a, b)

+ Diagrams.Core.Envelope: instance (Diagrams.Core.Envelope.OrderedField n, Linear.Metric.Metric v) => Diagrams.Core.Envelope.Enveloped (Linear.Affine.Point v n)

+ Diagrams.Core.Envelope: instance (GHC.Float.Floating s, GHC.Classes.Ord s) => Diagrams.Core.Envelope.OrderedField s

+ Diagrams.Core.Envelope: instance (Linear.Metric.Metric v, Diagrams.Core.Envelope.OrderedField n) => Diagrams.Core.Envelope.Enveloped (Diagrams.Core.Envelope.Envelope v n)

+ Diagrams.Core.Envelope: instance (Linear.Metric.Metric v, GHC.Float.Floating n) => Diagrams.Core.Transform.Transformable (Diagrams.Core.Envelope.Envelope v n)

+ Diagrams.Core.Envelope: instance (Linear.Metric.Metric v, GHC.Real.Fractional n) => Diagrams.Core.HasOrigin.HasOrigin (Diagrams.Core.Envelope.Envelope v n)

+ Diagrams.Core.Envelope: instance Control.Lens.Wrapped.Rewrapped (Diagrams.Core.Envelope.Envelope v n) (Diagrams.Core.Envelope.Envelope v' n')

+ Diagrams.Core.Envelope: instance Control.Lens.Wrapped.Wrapped (Diagrams.Core.Envelope.Envelope v n)

+ Diagrams.Core.Envelope: instance Diagrams.Core.Envelope.Enveloped b => Diagrams.Core.Envelope.Enveloped (Data.Map.Base.Map k b)

+ Diagrams.Core.Envelope: instance Diagrams.Core.Envelope.Enveloped b => Diagrams.Core.Envelope.Enveloped (Data.Set.Base.Set b)

+ Diagrams.Core.Envelope: instance Diagrams.Core.Envelope.Enveloped b => Diagrams.Core.Envelope.Enveloped [b]

+ Diagrams.Core.Envelope: instance Diagrams.Core.Envelope.Enveloped t => Diagrams.Core.Envelope.Enveloped (Diagrams.Core.Transform.TransInv t)

+ Diagrams.Core.Envelope: instance GHC.Classes.Ord n => Data.Semigroup.Semigroup (Diagrams.Core.Envelope.Envelope v n)

+ Diagrams.Core.Envelope: instance GHC.Classes.Ord n => GHC.Base.Monoid (Diagrams.Core.Envelope.Envelope v n)

+ Diagrams.Core.Envelope: instance GHC.Show.Show (Diagrams.Core.Envelope.Envelope v n)

+ Diagrams.Core.HasOrigin: instance (Diagrams.Core.HasOrigin.HasOrigin t, Diagrams.Core.HasOrigin.HasOrigin s, Diagrams.Core.V.SameSpace s t) => Diagrams.Core.HasOrigin.HasOrigin (s, t)

+ Diagrams.Core.HasOrigin: instance (Diagrams.Core.HasOrigin.HasOrigin t, GHC.Classes.Ord t) => Diagrams.Core.HasOrigin.HasOrigin (Data.Set.Base.Set t)

+ Diagrams.Core.HasOrigin: instance (Linear.Vector.Additive v, GHC.Num.Num n) => Diagrams.Core.HasOrigin.HasOrigin (Linear.Affine.Point v n)

+ Diagrams.Core.HasOrigin: instance Diagrams.Core.HasOrigin.HasOrigin t => Diagrams.Core.HasOrigin.HasOrigin (Data.Map.Base.Map k t)

+ Diagrams.Core.HasOrigin: instance Diagrams.Core.HasOrigin.HasOrigin t => Diagrams.Core.HasOrigin.HasOrigin (Diagrams.Core.Measure.Measured n t)

+ Diagrams.Core.HasOrigin: instance Diagrams.Core.HasOrigin.HasOrigin t => Diagrams.Core.HasOrigin.HasOrigin [t]

+ Diagrams.Core.Juxtapose: instance (Diagrams.Core.Envelope.Enveloped a, Diagrams.Core.HasOrigin.HasOrigin a, Diagrams.Core.Envelope.Enveloped b, Diagrams.Core.HasOrigin.HasOrigin b, Diagrams.Core.V.V a ~ Diagrams.Core.V.V b, Diagrams.Core.V.N a ~ Diagrams.Core.V.N b) => Diagrams.Core.Juxtapose.Juxtaposable (a, b)

+ Diagrams.Core.Juxtapose: instance (Diagrams.Core.Envelope.Enveloped b, Diagrams.Core.HasOrigin.HasOrigin b) => Diagrams.Core.Juxtapose.Juxtaposable (Data.Map.Base.Map k b)

+ Diagrams.Core.Juxtapose: instance (Diagrams.Core.Envelope.Enveloped b, Diagrams.Core.HasOrigin.HasOrigin b) => Diagrams.Core.Juxtapose.Juxtaposable [b]

+ Diagrams.Core.Juxtapose: instance (Diagrams.Core.Envelope.Enveloped b, Diagrams.Core.HasOrigin.HasOrigin b, GHC.Classes.Ord b) => Diagrams.Core.Juxtapose.Juxtaposable (Data.Set.Base.Set b)

+ Diagrams.Core.Juxtapose: instance (Linear.Metric.Metric v, Diagrams.Core.Envelope.OrderedField n) => Diagrams.Core.Juxtapose.Juxtaposable (Diagrams.Core.Envelope.Envelope v n)

+ Diagrams.Core.Juxtapose: instance Diagrams.Core.Juxtapose.Juxtaposable a => Diagrams.Core.Juxtapose.Juxtaposable (Diagrams.Core.Measure.Measured n a)

+ Diagrams.Core.Juxtapose: instance Diagrams.Core.Juxtapose.Juxtaposable a => Diagrams.Core.Juxtapose.Juxtaposable (b -> a)

+ Diagrams.Core.Measure: [unmeasure] :: Measured n a -> (n, n, n) -> a

+ Diagrams.Core.Measure: instance Control.Monad.Reader.Class.MonadReader (n, n, n) (Diagrams.Core.Measure.Measured n)

+ Diagrams.Core.Measure: instance Data.Distributive.Distributive (Diagrams.Core.Measure.Measured n)

+ Diagrams.Core.Measure: instance Data.Functor.Rep.Representable (Diagrams.Core.Measure.Measured n)

+ Diagrams.Core.Measure: instance Data.Profunctor.Unsafe.Profunctor Diagrams.Core.Measure.Measured

+ Diagrams.Core.Measure: instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Diagrams.Core.Measure.Measured n a)

+ Diagrams.Core.Measure: instance GHC.Base.Applicative (Diagrams.Core.Measure.Measured n)

+ Diagrams.Core.Measure: instance GHC.Base.Functor (Diagrams.Core.Measure.Measured n)

+ Diagrams.Core.Measure: instance GHC.Base.Monad (Diagrams.Core.Measure.Measured n)

+ Diagrams.Core.Measure: instance GHC.Base.Monoid a => GHC.Base.Monoid (Diagrams.Core.Measure.Measured n a)

+ Diagrams.Core.Measure: instance GHC.Float.Floating a => GHC.Float.Floating (Diagrams.Core.Measure.Measured n a)

+ Diagrams.Core.Measure: instance GHC.Num.Num a => GHC.Num.Num (Diagrams.Core.Measure.Measured n a)

+ Diagrams.Core.Measure: instance GHC.Real.Fractional a => GHC.Real.Fractional (Diagrams.Core.Measure.Measured n a)

+ Diagrams.Core.Measure: instance Linear.Vector.Additive (Diagrams.Core.Measure.Measured n)

+ Diagrams.Core.Names: instance (Diagrams.Core.Names.IsName a, Diagrams.Core.Names.IsName b) => Diagrams.Core.Names.IsName (a, b)

+ Diagrams.Core.Names: instance (Diagrams.Core.Names.IsName a, Diagrams.Core.Names.IsName b, Diagrams.Core.Names.IsName c) => Diagrams.Core.Names.IsName (a, b, c)

+ Diagrams.Core.Names: instance (Diagrams.Core.Names.Qualifiable a, Diagrams.Core.Names.Qualifiable b) => Diagrams.Core.Names.Qualifiable (a, b)

+ Diagrams.Core.Names: instance (Diagrams.Core.Names.Qualifiable a, Diagrams.Core.Names.Qualifiable b, Diagrams.Core.Names.Qualifiable c) => Diagrams.Core.Names.Qualifiable (a, b, c)

+ Diagrams.Core.Names: instance (GHC.Classes.Ord a, Diagrams.Core.Names.Qualifiable a) => Diagrams.Core.Names.Qualifiable (Data.Set.Base.Set a)

+ Diagrams.Core.Names: instance Control.Lens.Wrapped.Rewrapped Diagrams.Core.Names.Name Diagrams.Core.Names.Name

+ Diagrams.Core.Names: instance Control.Lens.Wrapped.Wrapped Diagrams.Core.Names.Name

+ Diagrams.Core.Names: instance Data.Semigroup.Semigroup Diagrams.Core.Names.Name

+ Diagrams.Core.Names: instance Diagrams.Core.Names.IsName ()

+ Diagrams.Core.Names: instance Diagrams.Core.Names.IsName Diagrams.Core.Names.AName

+ Diagrams.Core.Names: instance Diagrams.Core.Names.IsName Diagrams.Core.Names.Name

+ Diagrams.Core.Names: instance Diagrams.Core.Names.IsName GHC.Integer.Type.Integer

+ Diagrams.Core.Names: instance Diagrams.Core.Names.IsName GHC.Types.Bool

+ Diagrams.Core.Names: instance Diagrams.Core.Names.IsName GHC.Types.Char

+ Diagrams.Core.Names: instance Diagrams.Core.Names.IsName GHC.Types.Double

+ Diagrams.Core.Names: instance Diagrams.Core.Names.IsName GHC.Types.Float

+ Diagrams.Core.Names: instance Diagrams.Core.Names.IsName GHC.Types.Int

+ Diagrams.Core.Names: instance Diagrams.Core.Names.IsName a => Diagrams.Core.Names.IsName (GHC.Base.Maybe a)

+ Diagrams.Core.Names: instance Diagrams.Core.Names.IsName a => Diagrams.Core.Names.IsName [a]

+ Diagrams.Core.Names: instance Diagrams.Core.Names.Qualifiable Diagrams.Core.Names.Name

+ Diagrams.Core.Names: instance Diagrams.Core.Names.Qualifiable a => Diagrams.Core.Names.Qualifiable (Data.Map.Base.Map k a)

+ Diagrams.Core.Names: instance Diagrams.Core.Names.Qualifiable a => Diagrams.Core.Names.Qualifiable (Diagrams.Core.Measure.Measured n a)

+ Diagrams.Core.Names: instance Diagrams.Core.Names.Qualifiable a => Diagrams.Core.Names.Qualifiable (Diagrams.Core.Transform.TransInv a)

+ Diagrams.Core.Names: instance Diagrams.Core.Names.Qualifiable a => Diagrams.Core.Names.Qualifiable (b -> a)

+ Diagrams.Core.Names: instance Diagrams.Core.Names.Qualifiable a => Diagrams.Core.Names.Qualifiable [a]

+ Diagrams.Core.Names: instance GHC.Base.Monoid Diagrams.Core.Names.Name

+ Diagrams.Core.Names: instance GHC.Classes.Eq Diagrams.Core.Names.AName

+ Diagrams.Core.Names: instance GHC.Classes.Eq Diagrams.Core.Names.Name

+ Diagrams.Core.Names: instance GHC.Classes.Ord Diagrams.Core.Names.AName

+ Diagrams.Core.Names: instance GHC.Classes.Ord Diagrams.Core.Names.Name

+ Diagrams.Core.Names: instance GHC.Show.Show Diagrams.Core.Names.AName

+ Diagrams.Core.Names: instance GHC.Show.Show Diagrams.Core.Names.Name

+ Diagrams.Core.Query: [runQuery] :: Query v n m -> Point v n -> m

+ Diagrams.Core.Query: instance (Linear.Vector.Additive v, GHC.Num.Num n) => Diagrams.Core.HasOrigin.HasOrigin (Diagrams.Core.Query.Query v n m)

+ Diagrams.Core.Query: instance (Linear.Vector.Additive v, GHC.Num.Num n) => Diagrams.Core.Transform.Transformable (Diagrams.Core.Query.Query v n m)

+ Diagrams.Core.Query: instance Control.Lens.Wrapped.Rewrapped (Diagrams.Core.Query.Query v a m) (Diagrams.Core.Query.Query v' a' m')

+ Diagrams.Core.Query: instance Control.Lens.Wrapped.Wrapped (Diagrams.Core.Query.Query v n m)

+ Diagrams.Core.Query: instance Data.Semigroup.Semigroup m => Data.Semigroup.Semigroup (Diagrams.Core.Query.Query v n m)

+ Diagrams.Core.Query: instance GHC.Base.Applicative (Diagrams.Core.Query.Query v n)

+ Diagrams.Core.Query: instance GHC.Base.Functor (Diagrams.Core.Query.Query v n)

+ Diagrams.Core.Query: instance GHC.Base.Monoid m => GHC.Base.Monoid (Diagrams.Core.Query.Query v n m)

+ Diagrams.Core.Style: instance (Diagrams.Core.Style.HasStyle a, Diagrams.Core.Style.HasStyle b, Diagrams.Core.V.V a ~ Diagrams.Core.V.V b, Diagrams.Core.V.N a ~ Diagrams.Core.V.N b) => Diagrams.Core.Style.HasStyle (a, b)

+ Diagrams.Core.Style: instance (Diagrams.Core.Style.HasStyle a, GHC.Classes.Ord a) => Diagrams.Core.Style.HasStyle (Data.Set.Base.Set a)

+ Diagrams.Core.Style: instance (Linear.Vector.Additive v, Data.Traversable.Traversable v, GHC.Float.Floating n) => Diagrams.Core.Transform.Transformable (Diagrams.Core.Style.Attribute v n)

+ Diagrams.Core.Style: instance (Linear.Vector.Additive v, Data.Traversable.Traversable v, GHC.Float.Floating n) => Diagrams.Core.Transform.Transformable (Diagrams.Core.Style.Style v n)

+ Diagrams.Core.Style: instance Control.Lens.At.At (Diagrams.Core.Style.Style v n)

+ Diagrams.Core.Style: instance Control.Lens.At.Ixed (Diagrams.Core.Style.Style v n)

+ Diagrams.Core.Style: instance Control.Lens.Each.Each (Diagrams.Core.Style.Style v n) (Diagrams.Core.Style.Style v' n') (Diagrams.Core.Style.Attribute v n) (Diagrams.Core.Style.Attribute v' n')

+ Diagrams.Core.Style: instance Control.Lens.Wrapped.Rewrapped (Diagrams.Core.Style.Style v n) (Diagrams.Core.Style.Style v' n')

+ Diagrams.Core.Style: instance Control.Lens.Wrapped.Wrapped (Diagrams.Core.Style.Style v n)

+ Diagrams.Core.Style: instance Data.Monoid.Action.Action (Diagrams.Core.Style.Style v n) m

+ Diagrams.Core.Style: instance Data.Typeable.Internal.Typeable n => Data.Semigroup.Semigroup (Diagrams.Core.Style.Attribute v n)

+ Diagrams.Core.Style: instance Data.Typeable.Internal.Typeable n => Data.Semigroup.Semigroup (Diagrams.Core.Style.Style v n)

+ Diagrams.Core.Style: instance Data.Typeable.Internal.Typeable n => Diagrams.Core.Style.HasStyle (Diagrams.Core.Style.Style v n)

+ Diagrams.Core.Style: instance Data.Typeable.Internal.Typeable n => GHC.Base.Monoid (Diagrams.Core.Style.Style v n)

+ Diagrams.Core.Style: instance Data.Typeable.Internal.Typeable n => GHC.Show.Show (Diagrams.Core.Style.Attribute v n)

+ Diagrams.Core.Style: instance Data.Typeable.Internal.Typeable n => GHC.Show.Show (Diagrams.Core.Style.Style v n)

+ Diagrams.Core.Style: instance Diagrams.Core.Style.HasStyle a => Diagrams.Core.Style.HasStyle (Data.Map.Base.Map k a)

+ Diagrams.Core.Style: instance Diagrams.Core.Style.HasStyle a => Diagrams.Core.Style.HasStyle [a]

+ Diagrams.Core.Style: instance Diagrams.Core.Style.HasStyle b => Diagrams.Core.Style.HasStyle (Diagrams.Core.Measure.Measured n b)

+ Diagrams.Core.Style: instance Diagrams.Core.Style.HasStyle b => Diagrams.Core.Style.HasStyle (a -> b)

+ Diagrams.Core.Trace: [appTrace] :: Trace v n -> Point v n -> v n -> SortedList n

+ Diagrams.Core.Trace: instance (Diagrams.Core.Trace.Traced a, Diagrams.Core.Trace.Traced b, Diagrams.Core.V.SameSpace a b) => Diagrams.Core.Trace.Traced (a, b)

+ Diagrams.Core.Trace: instance (Linear.Vector.Additive v, GHC.Classes.Ord n) => Diagrams.Core.Trace.Traced (Diagrams.Core.Trace.Trace v n)

+ Diagrams.Core.Trace: instance (Linear.Vector.Additive v, GHC.Classes.Ord n) => Diagrams.Core.Trace.Traced (Linear.Affine.Point v n)

+ Diagrams.Core.Trace: instance (Linear.Vector.Additive v, GHC.Num.Num n) => Diagrams.Core.HasOrigin.HasOrigin (Diagrams.Core.Trace.Trace v n)

+ Diagrams.Core.Trace: instance (Linear.Vector.Additive v, GHC.Num.Num n) => Diagrams.Core.Transform.Transformable (Diagrams.Core.Trace.Trace v n)

+ Diagrams.Core.Trace: instance Control.Lens.Wrapped.Rewrapped (Diagrams.Core.Trace.Trace v n) (Diagrams.Core.Trace.Trace v' n')

+ Diagrams.Core.Trace: instance Control.Lens.Wrapped.Wrapped (Diagrams.Core.Trace.Trace v n)

+ Diagrams.Core.Trace: instance Diagrams.Core.Trace.Traced b => Diagrams.Core.Trace.Traced (Data.Map.Base.Map k b)

+ Diagrams.Core.Trace: instance Diagrams.Core.Trace.Traced b => Diagrams.Core.Trace.Traced (Data.Set.Base.Set b)

+ Diagrams.Core.Trace: instance Diagrams.Core.Trace.Traced b => Diagrams.Core.Trace.Traced [b]

+ Diagrams.Core.Trace: instance Diagrams.Core.Trace.Traced t => Diagrams.Core.Trace.Traced (Diagrams.Core.Transform.TransInv t)

+ Diagrams.Core.Trace: instance GHC.Classes.Ord a => Data.Semigroup.Semigroup (Diagrams.Core.Trace.SortedList a)

+ Diagrams.Core.Trace: instance GHC.Classes.Ord a => GHC.Base.Monoid (Diagrams.Core.Trace.SortedList a)

+ Diagrams.Core.Trace: instance GHC.Classes.Ord n => Data.Semigroup.Semigroup (Diagrams.Core.Trace.Trace v n)

+ Diagrams.Core.Trace: instance GHC.Classes.Ord n => GHC.Base.Monoid (Diagrams.Core.Trace.Trace v n)

+ Diagrams.Core.Trace: instance GHC.Show.Show (Diagrams.Core.Trace.Trace v n)

+ Diagrams.Core.Transform: instance (Diagrams.Core.Transform.HasBasis v, Data.Traversable.Traversable v) => Diagrams.Core.Transform.HasLinearMap v

+ Diagrams.Core.Transform: instance (Diagrams.Core.Transform.Transformable a, Diagrams.Core.V.V a ~ v, Diagrams.Core.V.N a ~ n) => Data.Monoid.Action.Action (Diagrams.Core.Transform.Transformation v n) a

+ Diagrams.Core.Transform: instance (Diagrams.Core.Transform.Transformable t, Diagrams.Core.Transform.Transformable s, Diagrams.Core.Transform.Transformable u, Diagrams.Core.V.V s ~ Diagrams.Core.V.V t, Diagrams.Core.V.N s ~ Diagrams.Core.V.N t, Diagrams.Core.V.V s ~ Diagrams.Core.V.V u, Diagrams.Core.V.N s ~ Diagrams.Core.V.N u) => Diagrams.Core.Transform.Transformable (t, s, u)

+ Diagrams.Core.Transform: instance (Diagrams.Core.Transform.Transformable t, Diagrams.Core.Transform.Transformable s, Diagrams.Core.V.V t ~ Diagrams.Core.V.V s, Diagrams.Core.V.N t ~ Diagrams.Core.V.N s) => Diagrams.Core.Transform.Transformable (t, s)

+ Diagrams.Core.Transform: instance (Diagrams.Core.Transform.Transformable t, GHC.Classes.Ord t) => Diagrams.Core.Transform.Transformable (Data.Set.Base.Set t)

+ Diagrams.Core.Transform: instance (Diagrams.Core.V.V t ~ v, Diagrams.Core.V.N t ~ n, Diagrams.Core.V.V t ~ Diagrams.Core.V.V s, Diagrams.Core.V.N t ~ Diagrams.Core.V.N s, GHC.Base.Functor v, GHC.Num.Num n, Diagrams.Core.Transform.Transformable t, Diagrams.Core.Transform.Transformable s) => Diagrams.Core.Transform.Transformable (s -> t)

+ Diagrams.Core.Transform: instance (GHC.Num.Num (Diagrams.Core.V.N t), Linear.Vector.Additive (Diagrams.Core.V.V t), Diagrams.Core.Transform.Transformable t) => Diagrams.Core.Transform.Transformable (Diagrams.Core.Transform.TransInv t)

+ Diagrams.Core.Transform: instance (Linear.Vector.Additive v, Data.Functor.Rep.Representable v, Data.Functor.Rep.Rep v ~ Linear.Vector.E v) => Diagrams.Core.Transform.HasBasis v

+ Diagrams.Core.Transform: instance (Linear.Vector.Additive v, GHC.Num.Num n) => Data.Semigroup.Semigroup (Diagrams.Core.Transform.Transformation v n)

+ Diagrams.Core.Transform: instance (Linear.Vector.Additive v, GHC.Num.Num n) => Diagrams.Core.HasOrigin.HasOrigin (Diagrams.Core.Transform.Transformation v n)

+ Diagrams.Core.Transform: instance (Linear.Vector.Additive v, GHC.Num.Num n) => Diagrams.Core.Transform.Transformable (Diagrams.Core.Transform.Transformation v n)

+ Diagrams.Core.Transform: instance (Linear.Vector.Additive v, GHC.Num.Num n) => Diagrams.Core.Transform.Transformable (Linear.Affine.Point v n)

+ Diagrams.Core.Transform: instance (Linear.Vector.Additive v, GHC.Num.Num n) => GHC.Base.Monoid (Diagrams.Core.Transform.Transformation v n)

+ Diagrams.Core.Transform: instance Control.Lens.Wrapped.Rewrapped (Diagrams.Core.Transform.TransInv t) (Diagrams.Core.Transform.TransInv t')

+ Diagrams.Core.Transform: instance Control.Lens.Wrapped.Wrapped (Diagrams.Core.Transform.TransInv t)

+ Diagrams.Core.Transform: instance Data.Semigroup.Semigroup (a Diagrams.Core.Transform.:-: a)

+ Diagrams.Core.Transform: instance Data.Semigroup.Semigroup t => Data.Semigroup.Semigroup (Diagrams.Core.Transform.TransInv t)

+ Diagrams.Core.Transform: instance Diagrams.Core.HasOrigin.HasOrigin (Diagrams.Core.Transform.TransInv t)

+ Diagrams.Core.Transform: instance Diagrams.Core.Transform.Transformable m => Diagrams.Core.Transform.Transformable (Data.Monoid.Deletable.Deletable m)

+ Diagrams.Core.Transform: instance Diagrams.Core.Transform.Transformable t => Diagrams.Core.Transform.Transformable (Data.Map.Base.Map k t)

+ Diagrams.Core.Transform: instance Diagrams.Core.Transform.Transformable t => Diagrams.Core.Transform.Transformable [t]

+ Diagrams.Core.Transform: instance GHC.Base.Monoid (v Diagrams.Core.Transform.:-: v)

+ Diagrams.Core.Transform: instance GHC.Base.Monoid t => GHC.Base.Monoid (Diagrams.Core.Transform.TransInv t)

+ Diagrams.Core.Transform: instance GHC.Classes.Eq t => GHC.Classes.Eq (Diagrams.Core.Transform.TransInv t)

+ Diagrams.Core.Transform: instance GHC.Classes.Ord t => GHC.Classes.Ord (Diagrams.Core.Transform.TransInv t)

+ Diagrams.Core.Transform: instance GHC.Show.Show t => GHC.Show.Show (Diagrams.Core.Transform.TransInv t)

+ Diagrams.Core.Types: instance (Data.Typeable.Internal.Typeable n, GHC.Float.RealFloat n) => Diagrams.Core.Types.TypeableFloat n

+ Diagrams.Core.Types: instance (Diagrams.Core.Envelope.OrderedField n, Linear.Metric.Metric v) => Diagrams.Core.HasOrigin.HasOrigin (Diagrams.Core.Types.SubMap b v n m)

+ Diagrams.Core.Types: instance (Diagrams.Core.Envelope.OrderedField n, Linear.Metric.Metric v, Data.Monoid.WithSemigroup.Monoid' m) => Diagrams.Core.Envelope.Enveloped (Diagrams.Core.Types.Subdiagram b v n m)

+ Diagrams.Core.Types: instance (Diagrams.Core.Envelope.OrderedField n, Linear.Metric.Metric v, Data.Semigroup.Semigroup m) => Diagrams.Core.Trace.Traced (Diagrams.Core.Types.Subdiagram b v n m)

+ Diagrams.Core.Types: instance (Diagrams.Core.Envelope.OrderedField n, Linear.Metric.Metric v, Data.Semigroup.Semigroup m) => Diagrams.Core.Transform.Transformable (Diagrams.Core.Types.QDiagram b v n m)

+ Diagrams.Core.Types: instance (Linear.Metric.Metric v, Diagrams.Core.Envelope.OrderedField n) => Diagrams.Core.HasOrigin.HasOrigin (Diagrams.Core.Types.Subdiagram b v n m)

+ Diagrams.Core.Types: instance (Linear.Metric.Metric v, Diagrams.Core.Envelope.OrderedField n, Data.Monoid.WithSemigroup.Monoid' m) => Diagrams.Core.Envelope.Enveloped (Diagrams.Core.Types.QDiagram b v n m)

+ Diagrams.Core.Types: instance (Linear.Metric.Metric v, Diagrams.Core.Envelope.OrderedField n, Data.Monoid.WithSemigroup.Monoid' m) => Diagrams.Core.Juxtapose.Juxtaposable (Diagrams.Core.Types.QDiagram b v n m)

+ Diagrams.Core.Types: instance (Linear.Metric.Metric v, Diagrams.Core.Envelope.OrderedField n, Data.Semigroup.Semigroup m) => Data.Semigroup.Semigroup (Diagrams.Core.Types.QDiagram b v n m)

+ Diagrams.Core.Types: instance (Linear.Metric.Metric v, Diagrams.Core.Envelope.OrderedField n, Data.Semigroup.Semigroup m) => Diagrams.Core.HasOrigin.HasOrigin (Diagrams.Core.Types.QDiagram b v n m)

+ Diagrams.Core.Types: instance (Linear.Metric.Metric v, Diagrams.Core.Envelope.OrderedField n, Data.Semigroup.Semigroup m) => Diagrams.Core.Names.Qualifiable (Diagrams.Core.Types.QDiagram b v n m)

+ Diagrams.Core.Types: instance (Linear.Metric.Metric v, Diagrams.Core.Envelope.OrderedField n, Data.Semigroup.Semigroup m) => Diagrams.Core.Style.HasStyle (Diagrams.Core.Types.QDiagram b v n m)

+ Diagrams.Core.Types: instance (Linear.Metric.Metric v, Diagrams.Core.Envelope.OrderedField n, Data.Semigroup.Semigroup m) => Diagrams.Core.Trace.Traced (Diagrams.Core.Types.QDiagram b v n m)

+ Diagrams.Core.Types: instance (Linear.Metric.Metric v, Diagrams.Core.Envelope.OrderedField n, Data.Semigroup.Semigroup m) => GHC.Base.Monoid (Diagrams.Core.Types.QDiagram b v n m)

+ Diagrams.Core.Types: instance (Linear.Metric.Metric v, GHC.Float.Floating n) => Diagrams.Core.Transform.Transformable (Diagrams.Core.Types.SubMap b v n m)

+ Diagrams.Core.Types: instance (Linear.Metric.Metric v, GHC.Float.Floating n) => Diagrams.Core.Transform.Transformable (Diagrams.Core.Types.Subdiagram b v n m)

+ Diagrams.Core.Types: instance Control.Lens.Wrapped.Rewrapped (Diagrams.Core.Types.QDiagram b v n m) (Diagrams.Core.Types.QDiagram b' v' n' m')

+ Diagrams.Core.Types: instance Control.Lens.Wrapped.Rewrapped (Diagrams.Core.Types.SubMap b v n m) (Diagrams.Core.Types.SubMap b' v' n' m')

+ Diagrams.Core.Types: instance Control.Lens.Wrapped.Wrapped (Diagrams.Core.Types.QDiagram b v n m)

+ Diagrams.Core.Types: instance Control.Lens.Wrapped.Wrapped (Diagrams.Core.Types.SubMap b v n m)

+ Diagrams.Core.Types: instance Data.Monoid.Action.Action Diagrams.Core.Names.Name (Diagrams.Core.Envelope.Envelope v n)

+ Diagrams.Core.Types: instance Data.Monoid.Action.Action Diagrams.Core.Names.Name (Diagrams.Core.Query.Query v n m)

+ Diagrams.Core.Types: instance Data.Monoid.Action.Action Diagrams.Core.Names.Name (Diagrams.Core.Trace.Trace v n)

+ Diagrams.Core.Types: instance Data.Monoid.Action.Action Diagrams.Core.Names.Name (Diagrams.Core.Types.SubMap b v n m)

+ Diagrams.Core.Types: instance Data.Monoid.Action.Action Diagrams.Core.Names.Name a => Data.Monoid.Action.Action Diagrams.Core.Names.Name (Data.Monoid.Deletable.Deletable a)

+ Diagrams.Core.Types: instance Data.Semigroup.Semigroup (Diagrams.Core.Types.SubMap b v n m)

+ Diagrams.Core.Types: instance Diagrams.Core.Names.Qualifiable (Diagrams.Core.Types.SubMap b v n m)

+ Diagrams.Core.Types: instance Diagrams.Core.Transform.Transformable (Diagrams.Core.Types.Prim b v n)

+ Diagrams.Core.Types: instance Diagrams.Core.Types.Backend Diagrams.Core.Types.NullBackend v n

+ Diagrams.Core.Types: instance Diagrams.Core.Types.Renderable (Diagrams.Core.Types.Prim b v n) b

+ Diagrams.Core.Types: instance GHC.Base.Functor (Diagrams.Core.Types.QDiaLeaf b v n)

+ Diagrams.Core.Types: instance GHC.Base.Functor (Diagrams.Core.Types.QDiagram b v n)

+ Diagrams.Core.Types: instance GHC.Base.Functor (Diagrams.Core.Types.SubMap b v n)

+ Diagrams.Core.Types: instance GHC.Base.Functor (Diagrams.Core.Types.Subdiagram b v n)

+ Diagrams.Core.Types: instance GHC.Base.Monoid (Diagrams.Core.Types.Render Diagrams.Core.Types.NullBackend v n)

+ Diagrams.Core.Types: instance GHC.Base.Monoid (Diagrams.Core.Types.SubMap b v n m)

+ Diagrams.Core.Types: instance GHC.Show.Show Diagrams.Core.Types.Annotation

+ Diagrams.Core.V: instance (Diagrams.Core.V.V a ~ Diagrams.Core.V.V b, Diagrams.Core.V.N a ~ Diagrams.Core.V.N b) => Diagrams.Core.V.SameSpace a b

+ Diagrams.Core.V: instance (Diagrams.Core.V.V a ~ v, Diagrams.Core.V.N a ~ n, Linear.Vector.Additive v, GHC.Num.Num n) => Diagrams.Core.V.InSpace v n a

Files

CHANGELOG.md +6/−0
diagrams-core.cabal +2/−2

CHANGELOG.md view

@@ -1,3 +1,9 @@+## [v1.3.0.4](https://github.com/diagrams/diagrams-core/tree/v1.3.0.4) (2015-11-10)++  - allow `semigroups-0.18`++[Full Changelog](https://github.com/diagrams/diagrams-core/compare/v1.3.0.3...v1.3.0.4)+ ## [v1.3.0.3](https://github.com/diagrams/diagrams-core/tree/v1.3.0.3) (2015-09-17)    - allow `lens-4.13`

diagrams-core.cabal view

@@ -1,5 +1,5 @@ Name:                diagrams-core-Version:             1.3.0.3+Version:             1.3.0.4 Synopsis:            Core libraries for diagrams EDSL Description:         The core modules underlying diagrams,                      an embedded domain-specific language@@ -39,7 +39,7 @@   Build-depends:       base >= 4.2 && < 4.9,                        containers >= 0.4.2 && < 0.6,                        unordered-containers >= 0.2 && < 0.2.6,-                       semigroups >= 0.8.4 && < 0.18,+                       semigroups >= 0.8.4 && < 0.19,                        monoid-extras >= 0.3 && < 0.5,                        dual-tree >= 0.2 && < 0.3,                        lens >= 4.0 && < 4.14,