diagrams-core 1.5.1.1 → 1.5.1.2
raw patch · 3 files changed
+42/−15 lines, 3 filesdep −semigroupsdep ~basedep ~containersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: semigroups
Dependency ranges changed: base, containers
API changes (from Hackage documentation)
- Diagrams.Core: data (:-:) u v
- Diagrams.Core.Transform: data (:-:) u v
+ Diagrams.Core: data u :-: v
+ Diagrams.Core.Transform: data u :-: v
- Diagrams.Core: (*.) :: (Functor v, Num n) => n -> Point v n -> Point v n
+ Diagrams.Core: (*.) :: forall (v :: Type -> Type) n. (Functor v, Num n) => n -> Point v n -> Point v n
- Diagrams.Core: Envelope :: Maybe (v n -> Max n) -> Envelope v n
+ Diagrams.Core: Envelope :: Maybe (v n -> Max n) -> Envelope (v :: Type -> Type) n
- Diagrams.Core: Query :: (Point v n -> m) -> Query v n m
+ Diagrams.Core: Query :: (Point v n -> m) -> Query (v :: Type -> Type) n m
- Diagrams.Core: SubMap :: Map Name [Subdiagram b v n m] -> SubMap b v n m
+ Diagrams.Core: SubMap :: Map Name [Subdiagram b v n m] -> SubMap b (v :: Type -> Type) n m
- Diagrams.Core: Subdiagram :: QDiagram b v n m -> DownAnnots v n -> Subdiagram b v n m
+ Diagrams.Core: Subdiagram :: QDiagram b v n m -> DownAnnots v n -> Subdiagram b (v :: Type -> Type) n m
- Diagrams.Core: Trace :: (Point v n -> v n -> SortedList n) -> Trace v n
+ Diagrams.Core: Trace :: (Point v n -> v n -> SortedList n) -> Trace (v :: Type -> Type) n
- Diagrams.Core: [Attribute] :: AttributeClass a => a -> Attribute v n
+ Diagrams.Core: [Attribute] :: forall a (v :: Type -> Type) n. AttributeClass a => a -> Attribute v n
- Diagrams.Core: [MAttribute] :: AttributeClass a => Measured n a -> Attribute v n
+ Diagrams.Core: [MAttribute] :: forall a n (v :: Type -> Type). AttributeClass a => Measured n a -> Attribute v n
- Diagrams.Core: [Prim] :: (Transformable p, Typeable p, Renderable p b) => p -> Prim b (V p) (N p)
+ Diagrams.Core: [Prim] :: forall p b. (Transformable p, Typeable p, Renderable p b) => p -> Prim b (V p) (N p)
- Diagrams.Core: [TAttribute] :: (AttributeClass a, Transformable a, V a ~ v, N a ~ n) => a -> Attribute v n
+ Diagrams.Core: [TAttribute] :: forall a (v :: Type -> Type) n. (AttributeClass a, Transformable a, V a ~ v, N a ~ n) => a -> Attribute v n
- Diagrams.Core: [runQuery] :: Query v n m -> Point v n -> m
+ Diagrams.Core: [runQuery] :: Query (v :: Type -> Type) n m -> Point v n -> m
- Diagrams.Core: atAttr :: AttributeClass a => Lens' (Style v n) (Maybe a)
+ Diagrams.Core: atAttr :: forall a (v :: Type -> Type) n. AttributeClass a => Lens' (Style v n) (Maybe a)
- Diagrams.Core: atMAttr :: (AttributeClass a, Typeable n) => Lens' (Style v n) (Maybe (Measured n a))
+ Diagrams.Core: atMAttr :: forall a n (v :: Type -> Type). (AttributeClass a, Typeable n) => Lens' (Style v n) (Maybe (Measured n a))
- Diagrams.Core: atTAttr :: (V a ~ v, N a ~ n, AttributeClass a, Transformable a) => Lens' (Style v n) (Maybe a)
+ Diagrams.Core: atTAttr :: forall a (v :: Type -> Type) n. (V a ~ v, N a ~ n, AttributeClass a, Transformable a) => Lens' (Style v n) (Maybe a)
- Diagrams.Core: atop :: (OrderedField n, Metric v, Semigroup m) => QDiagram b v n m -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: atop :: forall n (v :: Type -> Type) m b. (OrderedField n, Metric v, Semigroup m) => QDiagram b v n m -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core: avgScale :: (Additive v, Traversable v, Floating n) => Transformation v n -> n
+ Diagrams.Core: avgScale :: forall (v :: Type -> Type) n. (Additive v, Traversable v, Floating n) => Transformation v n -> n
- Diagrams.Core: class Backend b v n where {
+ Diagrams.Core: class Backend b (v :: Type -> Type) n where {
- Diagrams.Core: class (Metric (V a), OrderedField (N a)) => Enveloped a
+ Diagrams.Core: class (Metric V a, OrderedField N a) => Enveloped a
- Diagrams.Core: class (Additive (V a), Ord (N a)) => Traced a
+ Diagrams.Core: class (Additive V a, Ord N a) => Traced a
- Diagrams.Core: data Attribute (v :: Type -> Type) n :: Type
+ Diagrams.Core: data Attribute (v :: Type -> Type) n
- Diagrams.Core: data Options b v n :: Type;
+ Diagrams.Core: data Options b (v :: Type -> Type) n;
- Diagrams.Core: data Prim b v n
+ Diagrams.Core: data Prim b (v :: Type -> Type) n
- Diagrams.Core: data QDiagram b v n m
+ Diagrams.Core: data QDiagram b (v :: Type -> Type) n m
- Diagrams.Core: data Render b v n :: Type;
+ Diagrams.Core: data Render b (v :: Type -> Type) n;
- Diagrams.Core: data Style v n
+ Diagrams.Core: data Style (v :: Type -> Type) n
- Diagrams.Core: data Subdiagram b v n m
+ Diagrams.Core: data Subdiagram b (v :: Type -> Type) n m
- Diagrams.Core: data Transformation v n
+ Diagrams.Core: data Transformation (v :: Type -> Type) n
- Diagrams.Core: determinant :: (Additive v, Traversable v, Num n) => Transformation v n -> n
+ Diagrams.Core: determinant :: forall (v :: Type -> Type) n. (Additive v, Traversable v, Num n) => Transformation v n -> n
- Diagrams.Core: dimension :: forall a. (Additive (V a), Traversable (V a)) => a -> Int
+ Diagrams.Core: dimension :: (Additive (V a), Traversable (V a)) => a -> Int
- Diagrams.Core: dropTransl :: (Additive v, Num n) => Transformation v n -> Transformation v n
+ Diagrams.Core: dropTransl :: forall (v :: Type -> Type) n. (Additive v, Num n) => Transformation v n -> Transformation v n
- Diagrams.Core: envelope :: (OrderedField n, Metric v, Monoid' m) => Lens' (QDiagram b v n m) (Envelope v n)
+ Diagrams.Core: envelope :: forall n (v :: Type -> Type) m b. (OrderedField n, Metric v, Monoid' m) => Lens' (QDiagram b v n m) (Envelope v n)
- Diagrams.Core: fromNames :: IsName a => [(a, Subdiagram b v n m)] -> SubMap b v n m
+ Diagrams.Core: fromNames :: forall a b (v :: Type -> Type) n m. IsName a => [(a, Subdiagram b v n m)] -> SubMap b v n m
- Diagrams.Core: getAttr :: forall a v n. AttributeClass a => Style v n -> Maybe a
+ Diagrams.Core: getAttr :: forall a (v :: Type -> Type) n. AttributeClass a => Style v n -> Maybe a
- Diagrams.Core: getSub :: (Metric v, OrderedField n, Semigroup m) => Subdiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: getSub :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => Subdiagram b v n m -> QDiagram b v n m
- Diagrams.Core: groupOpacity :: (Metric v, OrderedField n, Semigroup m) => Double -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: groupOpacity :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => Double -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core: href :: (Metric v, OrderedField n, Semigroup m) => String -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: href :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => String -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core: inv :: (Functor v, Num n) => Transformation v n -> Transformation v n
+ Diagrams.Core: inv :: forall (v :: Type -> Type) n. (Functor v, Num n) => Transformation v n -> Transformation v n
- Diagrams.Core: isReflection :: (Additive v, Traversable v, Num n, Ord n) => Transformation v n -> Bool
+ Diagrams.Core: isReflection :: forall (v :: Type -> Type) n. (Additive v, Traversable v, Num n, Ord n) => Transformation v n -> Bool
- Diagrams.Core: localize :: forall b v n m. (Metric v, OrderedField n, Semigroup m) => QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: localize :: forall b (v :: Type -> Type) n m. (Metric v, OrderedField n, Semigroup m) => QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core: location :: (Additive v, Num n) => Subdiagram b v n m -> Point v n
+ Diagrams.Core: location :: forall (v :: Type -> Type) n b m. (Additive v, Num n) => Subdiagram b v n m -> Point v n
- Diagrams.Core: lookupSub :: IsName nm => nm -> SubMap b v n m -> Maybe [Subdiagram b v n m]
+ Diagrams.Core: lookupSub :: forall nm b (v :: Type -> Type) n m. IsName nm => nm -> SubMap b v n m -> Maybe [Subdiagram b v n m]
- Diagrams.Core: mkQD :: Prim b v n -> Envelope v n -> Trace v n -> SubMap b v n m -> Query v n m -> QDiagram b v n m
+ Diagrams.Core: mkQD :: forall b (v :: Type -> Type) n m. Prim b v n -> Envelope v n -> Trace v n -> SubMap b v n m -> Query v n m -> QDiagram b v n m
- Diagrams.Core: mkSubdiagram :: QDiagram b v n m -> Subdiagram b v n m
+ Diagrams.Core: mkSubdiagram :: forall b (v :: Type -> Type) n m. QDiagram b v n m -> Subdiagram b v n m
- Diagrams.Core: moveTo :: (InSpace v n t, HasOrigin t) => Point v n -> t -> t
+ Diagrams.Core: moveTo :: forall (v :: Type -> Type) n t. (InSpace v n t, HasOrigin t) => Point v n -> t -> t
- Diagrams.Core: nameSub :: (IsName nm, Metric v, OrderedField n, Semigroup m) => (QDiagram b v n m -> Subdiagram b v n m) -> nm -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: nameSub :: forall nm (v :: Type -> Type) n m b. (IsName nm, Metric v, OrderedField n, Semigroup m) => (QDiagram b v n m -> Subdiagram b v n m) -> nm -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core: names :: (Metric v, Semigroup m, OrderedField n) => QDiagram b v n m -> [(Name, [Point v n])]
+ Diagrams.Core: names :: forall (v :: Type -> Type) m n b. (Metric v, Semigroup m, OrderedField n) => QDiagram b v n m -> [(Name, [Point v n])]
- Diagrams.Core: newtype Envelope v n
+ Diagrams.Core: newtype Envelope (v :: Type -> Type) n
- Diagrams.Core: newtype Query v n m
+ Diagrams.Core: newtype Query (v :: Type -> Type) n m
- Diagrams.Core: newtype SubMap b v n m
+ Diagrams.Core: newtype SubMap b (v :: Type -> Type) n m
- Diagrams.Core: newtype Trace v n
+ Diagrams.Core: newtype Trace (v :: Type -> Type) n
- Diagrams.Core: opacityGroup :: (Metric v, OrderedField n, Semigroup m) => Double -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: opacityGroup :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => Double -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core: papply :: (Additive v, Num n) => Transformation v n -> Point v n -> Point v n
+ Diagrams.Core: papply :: forall (v :: Type -> Type) n. (Additive v, Num n) => Transformation v n -> Point v n -> Point v n
- Diagrams.Core: place :: (InSpace v n t, HasOrigin t) => t -> Point v n -> t
+ Diagrams.Core: place :: forall (v :: Type -> Type) n t. (InSpace v n t, HasOrigin t) => t -> Point v n -> t
- Diagrams.Core: pointDiagram :: (Metric v, Fractional n) => Point v n -> QDiagram b v n m
+ Diagrams.Core: pointDiagram :: forall (v :: Type -> Type) n b m. (Metric v, Fractional n) => Point v n -> QDiagram b v n m
- Diagrams.Core: query :: Monoid m => QDiagram b v n m -> Query v n m
+ Diagrams.Core: query :: forall m b (v :: Type -> Type) n. Monoid m => QDiagram b v n m -> Query v n m
- Diagrams.Core: rawSub :: Subdiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: rawSub :: forall b (v :: Type -> Type) n m. Subdiagram b v n m -> QDiagram b v n m
- Diagrams.Core: rememberAs :: IsName a => a -> QDiagram b v n m -> SubMap b v n m -> SubMap b v n m
+ Diagrams.Core: rememberAs :: forall a b (v :: Type -> Type) n m. IsName a => a -> QDiagram b v n m -> SubMap b v n m -> SubMap b v n m
- Diagrams.Core: renderDia :: (Backend b v n, HasLinearMap v, Metric v, Typeable n, OrderedField n, Monoid' m) => b -> Options b v n -> QDiagram b v n m -> Result b v n
+ Diagrams.Core: renderDia :: forall b (v :: Type -> Type) n m. (Backend b v n, HasLinearMap v, Metric v, Typeable n, OrderedField n, Monoid' m) => b -> Options b v n -> QDiagram b v n m -> Result b v n
- Diagrams.Core: renderDiaT :: (Backend b v n, HasLinearMap v, Metric v, Typeable n, OrderedField n, Monoid' m) => b -> Options b v n -> QDiagram b v n m -> (Transformation v n, Result b v n)
+ Diagrams.Core: renderDiaT :: forall b (v :: Type -> Type) n m. (Backend b v n, HasLinearMap v, Metric v, Typeable n, OrderedField n, Monoid' m) => b -> Options b v n -> QDiagram b v n m -> (Transformation v n, Result b v n)
- Diagrams.Core: scale :: (InSpace v n a, Eq n, Fractional n, Transformable a) => n -> a -> a
+ Diagrams.Core: scale :: forall (v :: Type -> Type) n a. (InSpace v n a, Eq n, Fractional n, Transformable a) => n -> a -> a
- Diagrams.Core: scaling :: (Additive v, Fractional n) => n -> Transformation v n
+ Diagrams.Core: scaling :: forall (v :: Type -> Type) n. (Additive v, Fractional n) => n -> Transformation v n
- Diagrams.Core: setEnvelope :: forall b v n m. (OrderedField n, Metric v, Monoid' m) => Envelope v n -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: setEnvelope :: forall b (v :: Type -> Type) n m. (OrderedField n, Metric v, Monoid' m) => Envelope v n -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core: setTrace :: forall b v n m. (OrderedField n, Metric v, Semigroup m) => Trace v n -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: setTrace :: forall b (v :: Type -> Type) n m. (OrderedField n, Metric v, Semigroup m) => Trace v n -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core: subMap :: (Metric v, Semigroup m, OrderedField n) => Lens' (QDiagram b v n m) (SubMap b v n m)
+ Diagrams.Core: subMap :: forall (v :: Type -> Type) m n b. (Metric v, Semigroup m, OrderedField n) => Lens' (QDiagram b v n m) (SubMap b v n m)
- Diagrams.Core: subPoint :: (Metric v, OrderedField n) => Point v n -> Subdiagram b v n m
+ Diagrams.Core: subPoint :: forall (v :: Type -> Type) n b m. (Metric v, OrderedField n) => Point v n -> Subdiagram b v n m
- Diagrams.Core: trace :: (Metric v, OrderedField n, Semigroup m) => Lens' (QDiagram b v n m) (Trace v n)
+ Diagrams.Core: trace :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => Lens' (QDiagram b v n m) (Trace v n)
- Diagrams.Core: type D v n = QDiagram NullBackend v n Any
+ Diagrams.Core: type D (v :: Type -> Type) n = QDiagram NullBackend v n Any
- Diagrams.Core: type Diagram b = QDiagram b (V b) (N b) Any
+ Diagrams.Core: type Diagram b = QDiagram b V b N b Any
- Diagrams.Core: type HasBasis v = (Additive v, Representable v, Rep v ~ E v)
+ Diagrams.Core: type HasBasis (v :: Type -> Type) = (Additive v, Representable v, Rep v ~ E v)
- Diagrams.Core: type HasLinearMap v = (HasBasis v, Traversable v)
+ Diagrams.Core: type HasLinearMap (v :: Type -> Type) = (HasBasis v, Traversable v)
- Diagrams.Core: type InSpace v n a = (V a ~ v, N a ~ n, Additive v, Num n)
+ Diagrams.Core: type InSpace (v :: Type -> Type) n a = (V a ~ v, N a ~ n, Additive v, Num n)
- Diagrams.Core: type Result b v n :: Type;
+ Diagrams.Core: type Result b (v :: Type -> Type) n;
- Diagrams.Core: type Vn a = V a (N a)
+ Diagrams.Core: type Vn a = V a N a
- Diagrams.Core: type family N a :: Type
+ Diagrams.Core: type family N a
- Diagrams.Core: withName :: (IsName nm, Metric v, Semigroup m, OrderedField n) => nm -> (Subdiagram b v n m -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: withName :: forall nm (v :: Type -> Type) m n b. (IsName nm, Metric v, Semigroup m, OrderedField n) => nm -> (Subdiagram b v n m -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core: withNameAll :: (IsName nm, Metric v, Semigroup m, OrderedField n) => nm -> ([Subdiagram b v n m] -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: withNameAll :: forall nm (v :: Type -> Type) m n b. (IsName nm, Metric v, Semigroup m, OrderedField n) => nm -> ([Subdiagram b v n m] -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core: withNames :: (IsName nm, Metric v, Semigroup m, OrderedField n) => [nm] -> ([Subdiagram b v n m] -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core: withNames :: forall nm (v :: Type -> Type) m n b. (IsName nm, Metric v, Semigroup m, OrderedField n) => [nm] -> ([Subdiagram b v n m] -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Compile: RAnnot :: a -> RNode b v n a
+ Diagrams.Core.Compile: RAnnot :: a -> RNode b (v :: Type -> Type) n a
- Diagrams.Core.Compile: REmpty :: RNode b v n a
+ Diagrams.Core.Compile: REmpty :: RNode b (v :: Type -> Type) n a
- Diagrams.Core.Compile: RPrim :: Prim b v n -> RNode b v n a
+ Diagrams.Core.Compile: RPrim :: Prim b v n -> RNode b (v :: Type -> Type) n a
- Diagrams.Core.Compile: RStyle :: Style v n -> RNode b v n a
+ Diagrams.Core.Compile: RStyle :: Style v n -> RNode b (v :: Type -> Type) n a
- Diagrams.Core.Compile: data RNode b v n a
+ Diagrams.Core.Compile: data RNode b (v :: Type -> Type) n a
- Diagrams.Core.Compile: fromDTree :: forall b v n. (Floating n, HasLinearMap v) => DTree b v n Annotation -> RTree b v n Annotation
+ Diagrams.Core.Compile: fromDTree :: forall b (v :: Type -> Type) n. (Floating n, HasLinearMap v) => DTree b v n Annotation -> RTree b v n Annotation
- Diagrams.Core.Compile: renderDia :: (Backend b v n, HasLinearMap v, Metric v, Typeable n, OrderedField n, Monoid' m) => b -> Options b v n -> QDiagram b v n m -> Result b v n
+ Diagrams.Core.Compile: renderDia :: forall b (v :: Type -> Type) n m. (Backend b v n, HasLinearMap v, Metric v, Typeable n, OrderedField n, Monoid' m) => b -> Options b v n -> QDiagram b v n m -> Result b v n
- Diagrams.Core.Compile: renderDiaT :: (Backend b v n, HasLinearMap v, Metric v, Typeable n, OrderedField n, Monoid' m) => b -> Options b v n -> QDiagram b v n m -> (Transformation v n, Result b v n)
+ Diagrams.Core.Compile: renderDiaT :: forall b (v :: Type -> Type) n m. (Backend b v n, HasLinearMap v, Metric v, Typeable n, OrderedField n, Monoid' m) => b -> Options b v n -> QDiagram b v n m -> (Transformation v n, Result b v n)
- Diagrams.Core.Compile: toDTree :: (HasLinearMap v, Floating n, Typeable n) => n -> n -> QDiagram b v n m -> Maybe (DTree b v n Annotation)
+ Diagrams.Core.Compile: toDTree :: forall (v :: Type -> Type) n b m. (HasLinearMap v, Floating n, Typeable n) => n -> n -> QDiagram b v n m -> Maybe (DTree b v n Annotation)
- Diagrams.Core.Compile: toRTree :: (HasLinearMap v, Metric v, Typeable n, OrderedField n, Monoid m, Semigroup m) => Transformation v n -> QDiagram b v n m -> RTree b v n Annotation
+ Diagrams.Core.Compile: toRTree :: forall (v :: Type -> Type) n m b. (HasLinearMap v, Metric v, Typeable n, OrderedField n, Monoid m, Semigroup m) => Transformation v n -> QDiagram b v n m -> RTree b v n Annotation
- Diagrams.Core.Compile: type RTree b v n a = Tree (RNode b v n a)
+ Diagrams.Core.Compile: type RTree b (v :: Type -> Type) n a = Tree RNode b v n a
- Diagrams.Core.Envelope: Envelope :: Maybe (v n -> Max n) -> Envelope v n
+ Diagrams.Core.Envelope: Envelope :: Maybe (v n -> Max n) -> Envelope (v :: Type -> Type) n
- Diagrams.Core.Envelope: class (Metric (V a), OrderedField (N a)) => Enveloped a
+ Diagrams.Core.Envelope: class (Metric V a, OrderedField N a) => Enveloped a
- Diagrams.Core.Envelope: newtype Envelope v n
+ Diagrams.Core.Envelope: newtype Envelope (v :: Type -> Type) n
- Diagrams.Core.Envelope: pointEnvelope :: (Fractional n, Metric v) => Point v n -> Envelope v n
+ Diagrams.Core.Envelope: pointEnvelope :: forall n (v :: Type -> Type). (Fractional n, Metric v) => Point v n -> Envelope v n
- Diagrams.Core.HasOrigin: moveTo :: (InSpace v n t, HasOrigin t) => Point v n -> t -> t
+ Diagrams.Core.HasOrigin: moveTo :: forall (v :: Type -> Type) n t. (InSpace v n t, HasOrigin t) => Point v n -> t -> t
- Diagrams.Core.HasOrigin: place :: (InSpace v n t, HasOrigin t) => t -> Point v n -> t
+ Diagrams.Core.HasOrigin: place :: forall (v :: Type -> Type) n t. (InSpace v n t, HasOrigin t) => t -> Point v n -> t
- Diagrams.Core.Names: [AName] :: (Typeable a, Ord a, Show a) => a -> AName
+ Diagrams.Core.Names: [AName] :: forall a. (Typeable a, Ord a, Show a) => a -> AName
- Diagrams.Core.Points: (*.) :: (Functor v, Num n) => n -> Point v n -> Point v n
+ Diagrams.Core.Points: (*.) :: forall (v :: Type -> Type) n. (Functor v, Num n) => n -> Point v n -> Point v n
- Diagrams.Core.Points: _Point :: forall (f :: Type -> Type) a (g :: Type -> Type) b. Iso (Point f a) (Point g b) (f a) (g b)
+ Diagrams.Core.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.Core.Points: mirror :: (Additive v, Num n) => Point v n -> Point v n
+ Diagrams.Core.Points: mirror :: forall (v :: Type -> Type) n. (Additive v, Num n) => Point v n -> Point v n
- Diagrams.Core.Points: reflectThrough :: (Additive v, Num n) => Point v n -> Point v n -> Point v n
+ Diagrams.Core.Points: reflectThrough :: forall (v :: Type -> Type) n. (Additive v, Num n) => Point v n -> Point v n -> Point v n
- Diagrams.Core.Query: Query :: (Point v n -> m) -> Query v n m
+ Diagrams.Core.Query: Query :: (Point v n -> m) -> Query (v :: Type -> Type) n m
- Diagrams.Core.Query: [runQuery] :: Query v n m -> Point v n -> m
+ Diagrams.Core.Query: [runQuery] :: Query (v :: Type -> Type) n m -> Point v n -> m
- Diagrams.Core.Query: newtype Query v n m
+ Diagrams.Core.Query: newtype Query (v :: Type -> Type) n m
- Diagrams.Core.Style: Style :: HashMap TypeRep (Attribute v n) -> Style v n
+ Diagrams.Core.Style: Style :: HashMap TypeRep (Attribute v n) -> Style (v :: Type -> Type) n
- Diagrams.Core.Style: [Attribute] :: AttributeClass a => a -> Attribute v n
+ Diagrams.Core.Style: [Attribute] :: forall a (v :: Type -> Type) n. AttributeClass a => a -> Attribute v n
- Diagrams.Core.Style: [MAttribute] :: AttributeClass a => Measured n a -> Attribute v n
+ Diagrams.Core.Style: [MAttribute] :: forall a n (v :: Type -> Type). AttributeClass a => Measured n a -> Attribute v n
- Diagrams.Core.Style: [TAttribute] :: (AttributeClass a, Transformable a, V a ~ v, N a ~ n) => a -> Attribute v n
+ Diagrams.Core.Style: [TAttribute] :: forall a (v :: Type -> Type) n. (AttributeClass a, Transformable a, V a ~ v, N a ~ n) => a -> Attribute v n
- Diagrams.Core.Style: _Attribute :: AttributeClass a => Prism' (Attribute v n) a
+ Diagrams.Core.Style: _Attribute :: forall a (v :: Type -> Type) n. AttributeClass a => Prism' (Attribute v n) a
- Diagrams.Core.Style: _MAttribute :: (AttributeClass a, Typeable n) => Prism' (Attribute v n) (Measured n a)
+ Diagrams.Core.Style: _MAttribute :: forall a n (v :: Type -> Type). (AttributeClass a, Typeable n) => Prism' (Attribute v n) (Measured n a)
- Diagrams.Core.Style: _TAttribute :: (V a ~ v, N a ~ n, AttributeClass a, Transformable a) => Prism' (Attribute v n) a
+ Diagrams.Core.Style: _TAttribute :: forall a (v :: Type -> Type) n. (V a ~ v, N a ~ n, AttributeClass a, Transformable a) => Prism' (Attribute v n) a
- Diagrams.Core.Style: atAttr :: AttributeClass a => Lens' (Style v n) (Maybe a)
+ Diagrams.Core.Style: atAttr :: forall a (v :: Type -> Type) n. AttributeClass a => Lens' (Style v n) (Maybe a)
- Diagrams.Core.Style: atMAttr :: (AttributeClass a, Typeable n) => Lens' (Style v n) (Maybe (Measured n a))
+ Diagrams.Core.Style: atMAttr :: forall a n (v :: Type -> Type). (AttributeClass a, Typeable n) => Lens' (Style v n) (Maybe (Measured n a))
- Diagrams.Core.Style: atTAttr :: (V a ~ v, N a ~ n, AttributeClass a, Transformable a) => Lens' (Style v n) (Maybe a)
+ Diagrams.Core.Style: atTAttr :: forall a (v :: Type -> Type) n. (V a ~ v, N a ~ n, AttributeClass a, Transformable a) => Lens' (Style v n) (Maybe a)
- Diagrams.Core.Style: attributeToStyle :: Attribute v n -> Style v n
+ Diagrams.Core.Style: attributeToStyle :: forall (v :: Type -> Type) n. Attribute v n -> Style v n
- Diagrams.Core.Style: attributeType :: Attribute v n -> TypeRep
+ Diagrams.Core.Style: attributeType :: forall (v :: Type -> Type) n. Attribute v n -> TypeRep
- Diagrams.Core.Style: data Attribute (v :: Type -> Type) n :: Type
+ Diagrams.Core.Style: data Attribute (v :: Type -> Type) n
- Diagrams.Core.Style: getAttr :: forall a v n. AttributeClass a => Style v n -> Maybe a
+ Diagrams.Core.Style: getAttr :: forall a (v :: Type -> Type) n. AttributeClass a => Style v n -> Maybe a
- Diagrams.Core.Style: newtype Style v n
+ Diagrams.Core.Style: newtype Style (v :: Type -> Type) n
- Diagrams.Core.Style: unmeasureAttribute :: Num n => n -> n -> Attribute v n -> Attribute v n
+ Diagrams.Core.Style: unmeasureAttribute :: forall n (v :: Type -> Type). Num n => n -> n -> Attribute v n -> Attribute v n
- Diagrams.Core.Style: unmeasureAttrs :: Num n => n -> n -> Style v n -> Style v n
+ Diagrams.Core.Style: unmeasureAttrs :: forall n (v :: Type -> Type). Num n => n -> n -> Style v n -> Style v n
- Diagrams.Core.Style: unwrapAttribute :: AttributeClass a => Attribute v n -> Maybe a
+ Diagrams.Core.Style: unwrapAttribute :: forall a (v :: Type -> Type) n. AttributeClass a => Attribute v n -> Maybe a
- Diagrams.Core.Trace: Trace :: (Point v n -> v n -> SortedList n) -> Trace v n
+ Diagrams.Core.Trace: Trace :: (Point v n -> v n -> SortedList n) -> Trace (v :: Type -> Type) n
- Diagrams.Core.Trace: class (Additive (V a), Ord (N a)) => Traced a
+ Diagrams.Core.Trace: class (Additive V a, Ord N a) => Traced a
- Diagrams.Core.Trace: newtype Trace v n
+ Diagrams.Core.Trace: newtype Trace (v :: Type -> Type) n
- Diagrams.Core.Transform: Transformation :: (v n :-: v n) -> (v n :-: v n) -> v n -> Transformation v n
+ Diagrams.Core.Transform: Transformation :: (v n :-: v n) -> (v n :-: v n) -> v n -> Transformation (v :: Type -> Type) n
- Diagrams.Core.Transform: avgScale :: (Additive v, Traversable v, Floating n) => Transformation v n -> n
+ Diagrams.Core.Transform: avgScale :: forall (v :: Type -> Type) n. (Additive v, Traversable v, Floating n) => Transformation v n -> n
- Diagrams.Core.Transform: data Transformation v n
+ Diagrams.Core.Transform: data Transformation (v :: Type -> Type) n
- Diagrams.Core.Transform: determinant :: (Additive v, Traversable v, Num n) => Transformation v n -> n
+ Diagrams.Core.Transform: determinant :: forall (v :: Type -> Type) n. (Additive v, Traversable v, Num n) => Transformation v n -> n
- Diagrams.Core.Transform: dimension :: forall a. (Additive (V a), Traversable (V a)) => a -> Int
+ Diagrams.Core.Transform: dimension :: (Additive (V a), Traversable (V a)) => a -> Int
- Diagrams.Core.Transform: dropTransl :: (Additive v, Num n) => Transformation v n -> Transformation v n
+ Diagrams.Core.Transform: dropTransl :: forall (v :: Type -> Type) n. (Additive v, Num n) => Transformation v n -> Transformation v n
- Diagrams.Core.Transform: inv :: (Functor v, Num n) => Transformation v n -> Transformation v n
+ Diagrams.Core.Transform: inv :: forall (v :: Type -> Type) n. (Functor v, Num n) => Transformation v n -> Transformation v n
- Diagrams.Core.Transform: isReflection :: (Additive v, Traversable v, Num n, Ord n) => Transformation v n -> Bool
+ Diagrams.Core.Transform: isReflection :: forall (v :: Type -> Type) n. (Additive v, Traversable v, Num n, Ord n) => Transformation v n -> Bool
- Diagrams.Core.Transform: matrixHomRep :: (Additive v, Traversable v, Num n) => Transformation v n -> [[n]]
+ Diagrams.Core.Transform: matrixHomRep :: forall (v :: Type -> Type) n. (Additive v, Traversable v, Num n) => Transformation v n -> [[n]]
- Diagrams.Core.Transform: matrixRep :: (Additive v, Traversable v, Num n) => Transformation v n -> [[n]]
+ Diagrams.Core.Transform: matrixRep :: forall (v :: Type -> Type) n. (Additive v, Traversable v, Num n) => Transformation v n -> [[n]]
- Diagrams.Core.Transform: papply :: (Additive v, Num n) => Transformation v n -> Point v n -> Point v n
+ Diagrams.Core.Transform: papply :: forall (v :: Type -> Type) n. (Additive v, Num n) => Transformation v n -> Point v n -> Point v n
- Diagrams.Core.Transform: scale :: (InSpace v n a, Eq n, Fractional n, Transformable a) => n -> a -> a
+ Diagrams.Core.Transform: scale :: forall (v :: Type -> Type) n a. (InSpace v n a, Eq n, Fractional n, Transformable a) => n -> a -> a
- Diagrams.Core.Transform: scaling :: (Additive v, Fractional n) => n -> Transformation v n
+ Diagrams.Core.Transform: scaling :: forall (v :: Type -> Type) n. (Additive v, Fractional n) => n -> Transformation v n
- Diagrams.Core.Transform: type HasBasis v = (Additive v, Representable v, Rep v ~ E v)
+ Diagrams.Core.Transform: type HasBasis (v :: Type -> Type) = (Additive v, Representable v, Rep v ~ E v)
- Diagrams.Core.Transform: type HasLinearMap v = (HasBasis v, Traversable v)
+ Diagrams.Core.Transform: type HasLinearMap (v :: Type -> Type) = (HasBasis v, Traversable v)
- Diagrams.Core.Types: DAnnot :: a -> DNode b v n a
+ Diagrams.Core.Types: DAnnot :: a -> DNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: DDelay :: DNode b v n a
+ Diagrams.Core.Types: DDelay :: DNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: DEmpty :: DNode b v n a
+ Diagrams.Core.Types: DEmpty :: DNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: DPrim :: Prim b v n -> DNode b v n a
+ Diagrams.Core.Types: DPrim :: Prim b v n -> DNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: DStyle :: Style v n -> DNode b v n a
+ Diagrams.Core.Types: DStyle :: Style v n -> DNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: DTransform :: Transformation v n -> DNode b v n a
+ Diagrams.Core.Types: DTransform :: Transformation v n -> DNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: DelayedLeaf :: (DownAnnots v n -> n -> n -> QDiagram b v n m) -> QDiaLeaf b v n m
+ Diagrams.Core.Types: DelayedLeaf :: (DownAnnots v n -> n -> n -> QDiagram b v n m) -> QDiaLeaf b (v :: Type -> Type) n m
- Diagrams.Core.Types: PrimLeaf :: Prim b v n -> QDiaLeaf b v n m
+ Diagrams.Core.Types: PrimLeaf :: Prim b v n -> QDiaLeaf b (v :: Type -> Type) n m
- Diagrams.Core.Types: QD :: DUALTree (DownAnnots v n) (UpAnnots b v n m) Annotation (QDiaLeaf b v n m) -> QDiagram b v n m
+ Diagrams.Core.Types: QD :: DUALTree (DownAnnots v n) (UpAnnots b v n m) Annotation (QDiaLeaf b v n m) -> QDiagram b (v :: Type -> Type) n m
- Diagrams.Core.Types: RAnnot :: a -> RNode b v n a
+ Diagrams.Core.Types: RAnnot :: a -> RNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: REmpty :: RNode b v n a
+ Diagrams.Core.Types: REmpty :: RNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: RPrim :: Prim b v n -> RNode b v n a
+ Diagrams.Core.Types: RPrim :: Prim b v n -> RNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: RStyle :: Style v n -> RNode b v n a
+ Diagrams.Core.Types: RStyle :: Style v n -> RNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: SubMap :: Map Name [Subdiagram b v n m] -> SubMap b v n m
+ Diagrams.Core.Types: SubMap :: Map Name [Subdiagram b v n m] -> SubMap b (v :: Type -> Type) n m
- Diagrams.Core.Types: Subdiagram :: QDiagram b v n m -> DownAnnots v n -> Subdiagram b v n m
+ Diagrams.Core.Types: Subdiagram :: QDiagram b v n m -> DownAnnots v n -> Subdiagram b (v :: Type -> Type) n m
- Diagrams.Core.Types: [Prim] :: (Transformable p, Typeable p, Renderable p b) => p -> Prim b (V p) (N p)
+ Diagrams.Core.Types: [Prim] :: forall p b. (Transformable p, Typeable p, Renderable p b) => p -> Prim b (V p) (N p)
- Diagrams.Core.Types: _RAnnot :: Prism' (RNode b v n a) a
+ Diagrams.Core.Types: _RAnnot :: forall b (v :: Type -> Type) n a p f. (Choice p, Applicative f) => p a (f a) -> p (RNode b v n a) (f (RNode b v n a))
- Diagrams.Core.Types: _REmpty :: Prism' (RNode b v n a) ()
+ Diagrams.Core.Types: _REmpty :: forall b (v :: Type -> Type) n a p f. (Choice p, Applicative f) => p () (f ()) -> p (RNode b v n a) (f (RNode b v n a))
- Diagrams.Core.Types: _RPrim :: Prism' (RNode b v n a) (Prim b v n)
+ Diagrams.Core.Types: _RPrim :: forall b (v :: Type -> Type) n a p f. (Choice p, Applicative f) => p (Prim b v n) (f (Prim b v n)) -> p (RNode b v n a) (f (RNode b v n a))
- Diagrams.Core.Types: _RStyle :: Prism' (RNode b v n a) (Style v n)
+ Diagrams.Core.Types: _RStyle :: forall b (v :: Type -> Type) n a p f. (Choice p, Applicative f) => p (Style v n) (f (Style v n)) -> p (RNode b v n a) (f (RNode b v n a))
- Diagrams.Core.Types: applyAnnotation :: (Metric v, OrderedField n, Semigroup m) => Annotation -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: applyAnnotation :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => Annotation -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: atop :: (OrderedField n, Metric v, Semigroup m) => QDiagram b v n m -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: atop :: forall n (v :: Type -> Type) m b. (OrderedField n, Metric v, Semigroup m) => QDiagram b v n m -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: class Backend b v n where {
+ Diagrams.Core.Types: class Backend b (v :: Type -> Type) n where {
- Diagrams.Core.Types: data DNode b v n a
+ Diagrams.Core.Types: data DNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: data Options b v n :: Type;
+ Diagrams.Core.Types: data Options b (v :: Type -> Type) n;
- Diagrams.Core.Types: data Prim b v n
+ Diagrams.Core.Types: data Prim b (v :: Type -> Type) n
- Diagrams.Core.Types: data QDiaLeaf b v n m
+ Diagrams.Core.Types: data QDiaLeaf b (v :: Type -> Type) n m
- Diagrams.Core.Types: data RNode b v n a
+ Diagrams.Core.Types: data RNode b (v :: Type -> Type) n a
- Diagrams.Core.Types: data Render b v n :: Type;
+ Diagrams.Core.Types: data Render b (v :: Type -> Type) n;
- Diagrams.Core.Types: data Subdiagram b v n m
+ Diagrams.Core.Types: data Subdiagram b (v :: Type -> Type) n m
- Diagrams.Core.Types: envelope :: (OrderedField n, Metric v, Monoid' m) => Lens' (QDiagram b v n m) (Envelope v n)
+ Diagrams.Core.Types: envelope :: forall n (v :: Type -> Type) m b. (OrderedField n, Metric v, Monoid' m) => Lens' (QDiagram b v n m) (Envelope v n)
- Diagrams.Core.Types: fromNames :: IsName a => [(a, Subdiagram b v n m)] -> SubMap b v n m
+ Diagrams.Core.Types: fromNames :: forall a b (v :: Type -> Type) n m. IsName a => [(a, Subdiagram b v n m)] -> SubMap b v n m
- Diagrams.Core.Types: getSub :: (Metric v, OrderedField n, Semigroup m) => Subdiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: getSub :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => Subdiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: groupOpacity :: (Metric v, OrderedField n, Semigroup m) => Double -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: groupOpacity :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => Double -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: href :: (Metric v, OrderedField n, Semigroup m) => String -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: href :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => String -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: keyVal :: (Metric v, OrderedField n, Semigroup m) => (String, String) -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: keyVal :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => (String, String) -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: localize :: forall b v n m. (Metric v, OrderedField n, Semigroup m) => QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: localize :: forall b (v :: Type -> Type) n m. (Metric v, OrderedField n, Semigroup m) => QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: location :: (Additive v, Num n) => Subdiagram b v n m -> Point v n
+ Diagrams.Core.Types: location :: forall (v :: Type -> Type) n b m. (Additive v, Num n) => Subdiagram b v n m -> Point v n
- Diagrams.Core.Types: lookupName :: (IsName nm, Metric v, Semigroup m, OrderedField n) => nm -> QDiagram b v n m -> Maybe (Subdiagram b v n m)
+ Diagrams.Core.Types: lookupName :: forall nm (v :: Type -> Type) m n b. (IsName nm, Metric v, Semigroup m, OrderedField n) => nm -> QDiagram b v n m -> Maybe (Subdiagram b v n m)
- Diagrams.Core.Types: lookupSub :: IsName nm => nm -> SubMap b v n m -> Maybe [Subdiagram b v n m]
+ Diagrams.Core.Types: lookupSub :: forall nm b (v :: Type -> Type) n m. IsName nm => nm -> SubMap b v n m -> Maybe [Subdiagram b v n m]
- Diagrams.Core.Types: mkQD :: Prim b v n -> Envelope v n -> Trace v n -> SubMap b v n m -> Query v n m -> QDiagram b v n m
+ Diagrams.Core.Types: mkQD :: forall b (v :: Type -> Type) n m. Prim b v n -> Envelope v n -> Trace v n -> SubMap b v n m -> Query v n m -> QDiagram b v n m
- Diagrams.Core.Types: mkQD' :: QDiaLeaf b v n m -> Envelope v n -> Trace v n -> SubMap b v n m -> Query v n m -> QDiagram b v n m
+ Diagrams.Core.Types: mkQD' :: forall b (v :: Type -> Type) n m. QDiaLeaf b v n m -> Envelope v n -> Trace v n -> SubMap b v n m -> Query v n m -> QDiagram b v n m
- Diagrams.Core.Types: mkSubdiagram :: QDiagram b v n m -> Subdiagram b v n m
+ Diagrams.Core.Types: mkSubdiagram :: forall b (v :: Type -> Type) n m. QDiagram b v n m -> Subdiagram b v n m
- Diagrams.Core.Types: nameSub :: (IsName nm, Metric v, OrderedField n, Semigroup m) => (QDiagram b v n m -> Subdiagram b v n m) -> nm -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: nameSub :: forall nm (v :: Type -> Type) n m b. (IsName nm, Metric v, OrderedField n, Semigroup m) => (QDiagram b v n m -> Subdiagram b v n m) -> nm -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: names :: (Metric v, Semigroup m, OrderedField n) => QDiagram b v n m -> [(Name, [Point v n])]
+ Diagrams.Core.Types: names :: forall (v :: Type -> Type) m n b. (Metric v, Semigroup m, OrderedField n) => QDiagram b v n m -> [(Name, [Point v n])]
- Diagrams.Core.Types: newtype QDiagram b v n m
+ Diagrams.Core.Types: newtype QDiagram b (v :: Type -> Type) n m
- Diagrams.Core.Types: newtype SubMap b v n m
+ Diagrams.Core.Types: newtype SubMap b (v :: Type -> Type) n m
- Diagrams.Core.Types: opacityGroup :: (Metric v, OrderedField n, Semigroup m) => Double -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: opacityGroup :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => Double -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: pointDiagram :: (Metric v, Fractional n) => Point v n -> QDiagram b v n m
+ Diagrams.Core.Types: pointDiagram :: forall (v :: Type -> Type) n b m. (Metric v, Fractional n) => Point v n -> QDiagram b v n m
- Diagrams.Core.Types: query :: Monoid m => QDiagram b v n m -> Query v n m
+ Diagrams.Core.Types: query :: forall m b (v :: Type -> Type) n. Monoid m => QDiagram b v n m -> Query v n m
- Diagrams.Core.Types: rawSub :: Subdiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: rawSub :: forall b (v :: Type -> Type) n m. Subdiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: rememberAs :: IsName a => a -> QDiagram b v n m -> SubMap b v n m -> SubMap b v n m
+ Diagrams.Core.Types: rememberAs :: forall a b (v :: Type -> Type) n m. IsName a => a -> QDiagram b v n m -> SubMap b v n m -> SubMap b v n m
- Diagrams.Core.Types: setEnvelope :: forall b v n m. (OrderedField n, Metric v, Monoid' m) => Envelope v n -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: setEnvelope :: forall b (v :: Type -> Type) n m. (OrderedField n, Metric v, Monoid' m) => Envelope v n -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: setTrace :: forall b v n m. (OrderedField n, Metric v, Semigroup m) => Trace v n -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: setTrace :: forall b (v :: Type -> Type) n m. (OrderedField n, Metric v, Semigroup m) => Trace v n -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: subMap :: (Metric v, Semigroup m, OrderedField n) => Lens' (QDiagram b v n m) (SubMap b v n m)
+ Diagrams.Core.Types: subMap :: forall (v :: Type -> Type) m n b. (Metric v, Semigroup m, OrderedField n) => Lens' (QDiagram b v n m) (SubMap b v n m)
- Diagrams.Core.Types: subPoint :: (Metric v, OrderedField n) => Point v n -> Subdiagram b v n m
+ Diagrams.Core.Types: subPoint :: forall (v :: Type -> Type) n b m. (Metric v, OrderedField n) => Point v n -> Subdiagram b v n m
- Diagrams.Core.Types: trace :: (Metric v, OrderedField n, Semigroup m) => Lens' (QDiagram b v n m) (Trace v n)
+ Diagrams.Core.Types: trace :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Semigroup m) => Lens' (QDiagram b v n m) (Trace v n)
- Diagrams.Core.Types: transfFromAnnot :: (Additive v, Num n) => DownAnnots v n -> Transformation v n
+ Diagrams.Core.Types: transfFromAnnot :: forall (v :: Type -> Type) n. (Additive v, Num n) => DownAnnots v n -> Transformation v n
- Diagrams.Core.Types: transfToAnnot :: Transformation v n -> DownAnnots v n
+ Diagrams.Core.Types: transfToAnnot :: forall (v :: Type -> Type) n. Transformation v n -> DownAnnots v n
- Diagrams.Core.Types: type D v n = QDiagram NullBackend v n Any
+ Diagrams.Core.Types: type D (v :: Type -> Type) n = QDiagram NullBackend v n Any
- Diagrams.Core.Types: type DTree b v n a = Tree (DNode b v n a)
+ Diagrams.Core.Types: type DTree b (v :: Type -> Type) n a = Tree DNode b v n a
- Diagrams.Core.Types: type Diagram b = QDiagram b (V b) (N b) Any
+ Diagrams.Core.Types: type Diagram b = QDiagram b V b N b Any
- Diagrams.Core.Types: type DownAnnots v n = (Transformation v n :+: Style v n) ::: Name ::: ()
+ Diagrams.Core.Types: type DownAnnots (v :: Type -> Type) n = Transformation v n :+: Style v n ::: Name ::: ()
- Diagrams.Core.Types: type RTree b v n a = Tree (RNode b v n a)
+ Diagrams.Core.Types: type RTree b (v :: Type -> Type) n a = Tree RNode b v n a
- Diagrams.Core.Types: type Result b v n :: Type;
+ Diagrams.Core.Types: type Result b (v :: Type -> Type) n;
- Diagrams.Core.Types: type UpAnnots b v n m = Deletable (Envelope v n) ::: Deletable (Trace v n) ::: Deletable (SubMap b v n m) ::: Query v n m ::: ()
+ Diagrams.Core.Types: type UpAnnots b (v :: Type -> Type) n m = Deletable Envelope v n ::: Deletable Trace v n ::: Deletable SubMap b v n m ::: Query v n m ::: ()
- Diagrams.Core.Types: withName :: (IsName nm, Metric v, Semigroup m, OrderedField n) => nm -> (Subdiagram b v n m -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: withName :: forall nm (v :: Type -> Type) m n b. (IsName nm, Metric v, Semigroup m, OrderedField n) => nm -> (Subdiagram b v n m -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: withNameAll :: (IsName nm, Metric v, Semigroup m, OrderedField n) => nm -> ([Subdiagram b v n m] -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: withNameAll :: forall nm (v :: Type -> Type) m n b. (IsName nm, Metric v, Semigroup m, OrderedField n) => nm -> ([Subdiagram b v n m] -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: withNames :: (IsName nm, Metric v, Semigroup m, OrderedField n) => [nm] -> ([Subdiagram b v n m] -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Core.Types: withNames :: forall nm (v :: Type -> Type) m n b. (IsName nm, Metric v, Semigroup m, OrderedField n) => [nm] -> ([Subdiagram b v n m] -> QDiagram b v n m -> QDiagram b v n m) -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Core.Types: withQDiaLeaf :: (Prim b v n -> r) -> ((DownAnnots v n -> n -> n -> QDiagram b v n m) -> r) -> QDiaLeaf b v n m -> r
+ Diagrams.Core.Types: withQDiaLeaf :: forall b (v :: Type -> Type) n r m. (Prim b v n -> r) -> ((DownAnnots v n -> n -> n -> QDiagram b v n m) -> r) -> QDiaLeaf b v n m -> r
- Diagrams.Core.V: type InSpace v n a = (V a ~ v, N a ~ n, Additive v, Num n)
+ Diagrams.Core.V: type InSpace (v :: Type -> Type) n a = (V a ~ v, N a ~ n, Additive v, Num n)
- Diagrams.Core.V: type Vn a = V a (N a)
+ Diagrams.Core.V: type Vn a = V a N a
- Diagrams.Core.V: type family N a :: Type
+ Diagrams.Core.V: type family N a
Files
- CHANGELOG.md +26/−0
- diagrams-core.cabal +8/−9
- src/Diagrams/Core/Transform.hs +8/−6
CHANGELOG.md view
@@ -1,3 +1,29 @@+## [v1.5.1.2](https://github.com/diagrams/diagrams-core/tree/v1.5.1.2) (2026-04-18)++- Allow `base-4.22`, `containers-0.8`, and test on GHC 9.14+- Fix some pattern match warnings+- Remove `semigroups` dependency++## [v1.5.1.1-r4](https://github.com/diagrams/diagrams-core/tree/v1.5.1.1-r4) (2025-05-16)++- Allow `monoid-extras-0.7`++## [v1.5.1.1-r3](https://github.com/diagrams/diagrams-core/tree/v1.5.1.1-r3) (2025-01-30)++- Allow `base-4.21` (GHC 9.12)++## [v1.5.1.1-r2](https://github.com/diagrams/diagrams-core/tree/v1.5.1.1-r2) (2024-05-20)++- Allow:+ - `base-4.20` (GHC 9.10)+ - `lens-5.3`+ - `containers-0.7`+- Test on GHC 9.10++## [v1.5.1.1-r1](https://github.com/diagrams/diagrams-core/tree/v1.5.1.1-r1) (2024-04-20)++* Allow `linear-1.23`+ ## [v1.5.1.1](https://github.com/diagrams/diagrams-core/tree/v1.5.1.1) (2023-11-15) * Allow `base-4.19` and test on GHC 9.8
diagrams-core.cabal view
@@ -1,5 +1,5 @@ Name: diagrams-core-Version: 1.5.1.1+Version: 1.5.1.2 Synopsis: Core libraries for diagrams EDSL Description: The core modules underlying diagrams, an embedded domain-specific language@@ -15,10 +15,10 @@ Cabal-version: 1.18 Extra-source-files: diagrams/*.svg extra-doc-files: diagrams/*.svg, CHANGELOG.md, README.markdown-Tested-with: GHC ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.7 || ==9.6.3 || ==9.8.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.6 || ==9.8.2 || ==9.10.1 || ==9.12.1 || ==9.14.1 Source-repository head type: git- location: git://github.com/diagrams/diagrams-core.git+ location: https://github.com/diagrams/diagrams-core.git Library Exposed-modules: Diagrams.Core,@@ -36,14 +36,13 @@ Diagrams.Core.Types, Diagrams.Core.V - Build-depends: base >= 4.11 && < 4.20,- containers >= 0.4.2 && < 0.7,+ Build-depends: base >= 4.11 && < 4.23,+ containers >= 0.4.2 && < 0.9, unordered-containers >= 0.2 && < 0.3,- semigroups >= 0.8.4 && < 0.21,- monoid-extras >= 0.6 && < 0.7,+ monoid-extras >= 0.6 && < 0.8, dual-tree >= 0.2 && < 0.3,- lens >= 4.0 && < 5.3,- linear >= 1.11.3 && < 1.23,+ lens >= 4.0 && < 5.4,+ linear >= 1.11.3 && < 1.24, adjunctions >= 4.0 && < 5.0, distributive >=0.2.2 && < 1.0, profunctors >= 5.0 && < 6.0,
src/Diagrams/Core/Transform.hs view
@@ -231,21 +231,23 @@ -- Remove the nth element from a list remove :: Int -> [a] -> [a]-remove n xs = ys ++ zs- where- (ys, _ : zs) = splitAt n xs+remove n xs | n < 0 = xs+remove n xs = ys ++ drop 1 zs+ where+ (ys, zs) = splitAt n xs -- Minor matrix of cofactor C(i,j) minor :: Int -> Int -> [[a]] -> [[a]] minor i j xs = remove j $ map (remove i) xs --- The determinant of a square matrix represented as a list of lists+-- The determinant of a square matrix represented as a nonempty list of lists -- representing column vectors, that is [column]. det :: Num a => [[a]] -> a+det [] = error "determinant of empty matrix!" det [a : _] = a det m@(c1 : _) = sum [(-1) ^ i * (c1 !! i) * det (minor i 0 m) | i <- [0 .. (n - 1)]]- where- n = length m+ where+ n = length m -- | Convert a vector v to a list of scalars. listRep :: Foldable v => v n -> [n]