diagrams-lib 1.5 → 1.5.0.1
raw patch · 3 files changed
+43/−19 lines, 3 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Diagrams.Parametric: ($dmarcLength) :: (HasArcLength p, Fractional (N p)) => N p -> p -> N p
+ Diagrams.Parametric: ($dmdomainLower) :: (DomainBounds p, Num (N p)) => p -> N p
+ Diagrams.Parametric: ($dmdomainUpper) :: (DomainBounds p, Num (N p)) => p -> N p
+ Diagrams.Parametric: ($dmsection) :: (Sectionable p, Fractional (N p)) => p -> N p -> N p -> p
+ Diagrams.Parametric: ($dmstdArcLength) :: (HasArcLength p, Fractional (N p)) => p -> N p
+ Diagrams.Parametric: ($dmstdArcLengthToParam) :: (HasArcLength p, Fractional (N p)) => p -> N p -> N p
+ Diagrams.Prelude: ($dm_1) :: (Field1 s t a b, Generic s, Generic t, GIxed N0 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_10) :: (Field10 s t a b, Generic s, Generic t, GIxed N9 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_11) :: (Field11 s t a b, Generic s, Generic t, GIxed N10 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_12) :: (Field12 s t a b, Generic s, Generic t, GIxed N11 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_13) :: (Field13 s t a b, Generic s, Generic t, GIxed N12 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_14) :: (Field14 s t a b, Generic s, Generic t, GIxed N13 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_15) :: (Field15 s t a b, Generic s, Generic t, GIxed N14 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_16) :: (Field16 s t a b, Generic s, Generic t, GIxed N15 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_17) :: (Field17 s t a b, Generic s, Generic t, GIxed N16 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_18) :: (Field18 s t a b, Generic s, Generic t, GIxed N17 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_19) :: (Field19 s t a b, Generic s, Generic t, GIxed N18 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_2) :: (Field2 s t a b, Generic s, Generic t, GIxed N1 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_3) :: (Field3 s t a b, Generic s, Generic t, GIxed N2 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_4) :: (Field4 s t a b, Generic s, Generic t, GIxed N3 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_5) :: (Field5 s t a b, Generic s, Generic t, GIxed N4 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_6) :: (Field6 s t a b, Generic s, Generic t, GIxed N5 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_7) :: (Field7 s t a b, Generic s, Generic t, GIxed N6 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_8) :: (Field8 s t a b, Generic s, Generic t, GIxed N7 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_9) :: (Field9 s t a b, Generic s, Generic t, GIxed N8 (Rep s) (Rep t) a b) => Lens s t a b
+ Diagrams.Prelude: ($dm_Empty) :: (AsEmpty a, Monoid a, Eq a) => Prism' a ()
+ Diagrams.Prelude: ($dm_Wrapped') :: forall (d :: Meta) (c :: Meta) (s' :: Meta) a. (Wrapped s, Generic s, D1 d (C1 c (S1 s' (Rec0 a))) ~ Rep s, Unwrapped s ~ GUnwrapped (Rep s)) => Iso' s (Unwrapped s)
+ Diagrams.Prelude: ($dmeach) :: forall (g :: Type -> Type). (Each s t a b, Traversable g, s ~ g a, t ~ g b) => Traversal s t a b
+ Diagrams.Prelude: ($dmifoldMap) :: (FoldableWithIndex i f, TraversableWithIndex i f, Monoid m) => (i -> a -> m) -> f a -> m
+ Diagrams.Prelude: ($dmimap) :: (FunctorWithIndex i f, TraversableWithIndex i f) => (i -> a -> b) -> f a -> f b
+ Diagrams.Prelude: ($dmitraverse) :: (TraversableWithIndex i t, i ~ Int, Applicative f) => (i -> a -> f b) -> t a -> f (t b)
+ Diagrams.Prelude: ($dmix) :: (Ixed m, At m) => Index m -> Traversal' m (IxValue m)
+ Diagrams.Prelude: ($dmplate) :: (Plated a, Data a) => Traversal' a a
- Diagrams: GetSegmentCodomain :: Maybe (v n, Segment Closed v n, AnIso' n n) -> GetSegmentCodomain v n
+ Diagrams: GetSegmentCodomain :: Maybe (v n, Segment Closed v n, AnIso' n n) -> GetSegmentCodomain (v :: Type -> Type) n
- Diagrams: Path :: [Located (Trail v n)] -> Path v n
+ Diagrams: Path :: [Located (Trail v n)] -> Path (v :: Type -> Type) n
- Diagrams: SegTree :: FingerTree (SegMeasure v n) (Segment Closed v n) -> SegTree v n
+ Diagrams: SegTree :: FingerTree (SegMeasure v n) (Segment Closed v n) -> SegTree (v :: Type -> Type) n
- Diagrams: [Line] :: SegTree v n -> Trail' Line v n
+ Diagrams: [Line] :: forall (v :: Type -> Type) n. SegTree v n -> Trail' Line v n
- Diagrams: [Loop] :: SegTree v n -> Segment Open v n -> Trail' Loop v n
+ Diagrams: [Loop] :: forall (v :: Type -> Type) n. SegTree v n -> Segment Open v n -> Trail' Loop v n
- Diagrams: [Trail] :: Trail' l v n -> Trail v n
+ Diagrams: [Trail] :: forall l (v :: Type -> Type) n. Trail' l v n -> Trail v n
- Diagrams: _Dir :: Iso' (Direction v n) (v n)
+ Diagrams: _Dir :: forall v n p f. (Profunctor p, Functor f) => p (v n) (f (v n)) -> p (Direction v n) (f (Direction v n))
- Diagrams: _Line :: Prism' (Trail v n) (Trail' Line v n)
+ Diagrams: _Line :: forall (v :: Type -> Type) n p f. (Choice p, Applicative f) => p (Trail' Line v n) (f (Trail' Line v n)) -> p (Trail v n) (f (Trail v n))
- Diagrams: _LocLine :: Prism' (Located (Trail v n)) (Located (Trail' Line v n))
+ Diagrams: _LocLine :: forall (v :: Type -> Type) n p f. (Choice p, Applicative f) => p (Located (Trail' Line v n)) (f (Located (Trail' Line v n))) -> p (Located (Trail v n)) (f (Located (Trail v n)))
- Diagrams: _LocLoop :: Prism' (Located (Trail v n)) (Located (Trail' Loop v n))
+ Diagrams: _LocLoop :: forall (v :: Type -> Type) n p f. (Choice p, Applicative f) => p (Located (Trail' Loop v n)) (f (Located (Trail' Loop v n))) -> p (Located (Trail v n)) (f (Located (Trail v n)))
- Diagrams: _Loop :: Prism' (Trail v n) (Trail' Loop v n)
+ Diagrams: _Loop :: forall (v :: Type -> Type) n p f. (Choice p, Applicative f) => p (Trail' Loop v n) (f (Trail' Loop v n)) -> p (Trail v n) (f (Trail v n))
- Diagrams: angleBetweenDirs :: (Metric v, Floating n, Ord n) => Direction v n -> Direction v n -> Angle n
+ Diagrams: angleBetweenDirs :: forall (v :: Type -> Type) n. (Metric v, Floating n, Ord n) => Direction v n -> Direction v n -> Angle n
- Diagrams: boundingBox :: (InSpace v n a, HasBasis v, Enveloped a) => a -> BoundingBox v n
+ Diagrams: boundingBox :: forall (v :: Type -> Type) n a. (InSpace v n a, HasBasis v, Enveloped a) => a -> BoundingBox v n
- Diagrams: boxCenter :: (Additive v, Fractional n) => BoundingBox v n -> Maybe (Point v n)
+ Diagrams: boxCenter :: forall (v :: Type -> Type) n. (Additive v, Fractional n) => BoundingBox v n -> Maybe (Point v n)
- Diagrams: boxFit :: (InSpace v n a, HasBasis v, Enveloped a, Transformable a, Monoid a) => BoundingBox v n -> a -> a
+ Diagrams: boxFit :: forall (v :: Type -> Type) n a. (InSpace v n a, HasBasis v, Enveloped a, Transformable a, Monoid a) => BoundingBox v n -> a -> a
- Diagrams: boxGrid :: (Traversable v, Additive v, Num n, Enum n) => n -> BoundingBox v n -> [Point v n]
+ Diagrams: boxGrid :: forall (v :: Type -> Type) n. (Traversable v, Additive v, Num n, Enum n) => n -> BoundingBox v n -> [Point v n]
- Diagrams: boxTransform :: (Additive v, Fractional n) => BoundingBox v n -> BoundingBox v n -> Maybe (Transformation v n)
+ Diagrams: boxTransform :: forall (v :: Type -> Type) n. (Additive v, Fractional n) => BoundingBox v n -> BoundingBox v n -> Maybe (Transformation v n)
- Diagrams: centerPoint :: (InSpace v n a, HasBasis v, Enveloped a) => a -> Point v n
+ Diagrams: centerPoint :: forall (v :: Type -> Type) n a. (InSpace v n a, HasBasis v, Enveloped a) => a -> Point v n
- Diagrams: closeLine :: Trail' Line v n -> Trail' Loop v n
+ Diagrams: closeLine :: forall (v :: Type -> Type) n. Trail' Line v n -> Trail' Loop v n
- Diagrams: closeTrail :: Trail v n -> Trail v n
+ Diagrams: closeTrail :: forall (v :: Type -> Type) n. Trail v n -> Trail v n
- Diagrams: contains' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> Point v n -> Bool
+ Diagrams: contains' :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => BoundingBox v n -> Point v n -> Bool
- Diagrams: cutLoop :: forall v n. (Metric v, OrderedField n) => Trail' Loop v n -> Trail' Line v n
+ Diagrams: cutLoop :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Loop v n -> Trail' Line v n
- Diagrams: cutTrail :: (Metric v, OrderedField n) => Trail v n -> Trail v n
+ Diagrams: cutTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Trail v n
- Diagrams: data BoundingBox v n
+ Diagrams: data BoundingBox (v :: Type -> Type) n
- Diagrams: data Direction v n
+ Diagrams: data Direction (v :: Type -> Type) n
- Diagrams: data Trail v n
+ Diagrams: data Trail (v :: Type -> Type) n
- Diagrams: data Trail' l v n
+ Diagrams: data Trail' l (v :: Type -> Type) n
- Diagrams: dirBetween :: (Additive v, Num n) => Point v n -> Point v n -> Direction v n
+ Diagrams: dirBetween :: forall (v :: Type -> Type) n. (Additive v, Num n) => Point v n -> Point v n -> Direction v n
- Diagrams: emptyBox :: BoundingBox v n
+ Diagrams: emptyBox :: forall (v :: Type -> Type) n. BoundingBox v n
- Diagrams: emptyLine :: (Metric v, OrderedField n) => Trail' Line v n
+ Diagrams: emptyLine :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Line v n
- Diagrams: emptyTrail :: (Metric v, OrderedField n) => Trail v n
+ Diagrams: emptyTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n
- Diagrams: explodePath :: (V t ~ v, N t ~ n, TrailLike t) => Path v n -> [[t]]
+ Diagrams: explodePath :: forall t (v :: Type -> Type) n. (V t ~ v, N t ~ n, TrailLike t) => Path v n -> [[t]]
- Diagrams: fixPath :: (Metric v, OrderedField n) => Path v n -> [[FixedSegment v n]]
+ Diagrams: fixPath :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Path v n -> [[FixedSegment v n]]
- Diagrams: fixTrail :: (Metric v, OrderedField n) => Located (Trail v n) -> [FixedSegment v n]
+ Diagrams: fixTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail v n) -> [FixedSegment v n]
- Diagrams: fromCorners :: (Additive v, Foldable v, Ord n) => Point v n -> Point v n -> BoundingBox v n
+ Diagrams: fromCorners :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => Point v n -> Point v n -> BoundingBox v n
- Diagrams: fromPoint :: Point v n -> BoundingBox v n
+ Diagrams: fromPoint :: forall (v :: Type -> Type) n. Point v n -> BoundingBox v n
- Diagrams: fromPoints :: (Additive v, Ord n) => [Point v n] -> BoundingBox v n
+ Diagrams: fromPoints :: forall (v :: Type -> Type) n. (Additive v, Ord n) => [Point v n] -> BoundingBox v n
- Diagrams: getAllCorners :: (Additive v, Traversable v) => BoundingBox v n -> [Point v n]
+ Diagrams: getAllCorners :: forall (v :: Type -> Type) n. (Additive v, Traversable v) => BoundingBox v n -> [Point v n]
- Diagrams: getCorners :: BoundingBox v n -> Maybe (Point v n, Point v n)
+ Diagrams: getCorners :: forall (v :: Type -> Type) n. BoundingBox v n -> Maybe (Point v n, Point v n)
- Diagrams: glueLine :: (Metric v, OrderedField n) => Trail' Line v n -> Trail' Loop v n
+ Diagrams: glueLine :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Line v n -> Trail' Loop v n
- Diagrams: glueTrail :: (Metric v, OrderedField n) => Trail v n -> Trail v n
+ Diagrams: glueTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Trail v n
- Diagrams: inside' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
+ Diagrams: inside' :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
- Diagrams: isEmptyBox :: BoundingBox v n -> Bool
+ Diagrams: isEmptyBox :: forall (v :: Type -> Type) n. BoundingBox v n -> Bool
- Diagrams: isLine :: Trail v n -> Bool
+ Diagrams: isLine :: forall (v :: Type -> Type) n. Trail v n -> Bool
- Diagrams: isLineEmpty :: (Metric v, OrderedField n) => Trail' Line v n -> Bool
+ Diagrams: isLineEmpty :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Line v n -> Bool
- Diagrams: isLoop :: Trail v n -> Bool
+ Diagrams: isLoop :: forall (v :: Type -> Type) n. Trail v n -> Bool
- Diagrams: isTrailEmpty :: (Metric v, OrderedField n) => Trail v n -> Bool
+ Diagrams: isTrailEmpty :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Bool
- Diagrams: lineFromSegments :: (Metric v, OrderedField n) => [Segment Closed v n] -> Trail' Line v n
+ Diagrams: lineFromSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => [Segment Closed v n] -> Trail' Line v n
- Diagrams: lineFromVertices :: (Metric v, OrderedField n) => [Point v n] -> Trail' Line v n
+ Diagrams: lineFromVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => [Point v n] -> Trail' Line v n
- Diagrams: lineSegments :: Trail' Line v n -> [Segment Closed v n]
+ Diagrams: lineSegments :: forall (v :: Type -> Type) n. Trail' Line v n -> [Segment Closed v n]
- Diagrams: lineVertices :: (Metric v, OrderedField n) => Located (Trail' Line v n) -> [Point v n]
+ Diagrams: lineVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail' Line v n) -> [Point v n]
- Diagrams: lineVertices' :: (Metric v, OrderedField n) => n -> Located (Trail' Line v n) -> [Point v n]
+ Diagrams: lineVertices' :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => n -> Located (Trail' Line v n) -> [Point v n]
- Diagrams: loopFromSegments :: (Metric v, OrderedField n) => [Segment Closed v n] -> Segment Open v n -> Trail' Loop v n
+ Diagrams: loopFromSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => [Segment Closed v n] -> Segment Open v n -> Trail' Loop v n
- Diagrams: loopSegments :: Trail' Loop v n -> ([Segment Closed v n], Segment Open v n)
+ Diagrams: loopSegments :: forall (v :: Type -> Type) n. Trail' Loop v n -> ([Segment Closed v n], Segment Open v n)
- Diagrams: loopVertices :: (Metric v, OrderedField n) => Located (Trail' Loop v n) -> [Point v n]
+ Diagrams: loopVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail' Loop v n) -> [Point v n]
- Diagrams: loopVertices' :: (Metric v, OrderedField n) => n -> Located (Trail' Loop v n) -> [Point v n]
+ Diagrams: loopVertices' :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => n -> Located (Trail' Loop v n) -> [Point v n]
- Diagrams: mCenterPoint :: (InSpace v n a, HasBasis v, Enveloped a) => a -> Maybe (Point v n)
+ Diagrams: mCenterPoint :: forall (v :: Type -> Type) n a. (InSpace v n a, HasBasis v, Enveloped a) => a -> Maybe (Point v n)
- Diagrams: newtype GetSegmentCodomain v n
+ Diagrams: newtype GetSegmentCodomain (v :: Type -> Type) n
- Diagrams: newtype Path v n
+ Diagrams: newtype Path (v :: Type -> Type) n
- Diagrams: newtype SegTree v n
+ Diagrams: newtype SegTree (v :: Type -> Type) n
- Diagrams: numSegs :: (Num c, Measured (SegMeasure v n) a) => a -> c
+ Diagrams: numSegs :: forall c (v :: Type -> Type) n a. (Num c, Measured (SegMeasure v n) a) => a -> c
- Diagrams: onLine :: (Metric v, OrderedField n) => (Trail' Line v n -> Trail' Line v n) -> Trail v n -> Trail v n
+ Diagrams: onLine :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => (Trail' Line v n -> Trail' Line v n) -> Trail v n -> Trail v n
- Diagrams: onLineSegments :: (Metric v, OrderedField n) => ([Segment Closed v n] -> [Segment Closed v n]) -> Trail' Line v n -> Trail' Line v n
+ Diagrams: onLineSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => ([Segment Closed v n] -> [Segment Closed v n]) -> Trail' Line v n -> Trail' Line v n
- Diagrams: onTrail :: (Trail' Line v n -> Trail' l1 v n) -> (Trail' Loop v n -> Trail' l2 v n) -> Trail v n -> Trail v n
+ Diagrams: onTrail :: forall (v :: Type -> Type) n l1 l2. (Trail' Line v n -> Trail' l1 v n) -> (Trail' Loop v n -> Trail' l2 v n) -> Trail v n -> Trail v n
- Diagrams: outside' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
+ Diagrams: outside' :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
- Diagrams: partitionPath :: (Located (Trail v n) -> Bool) -> Path v n -> (Path v n, Path v n)
+ Diagrams: partitionPath :: forall (v :: Type -> Type) n. (Located (Trail v n) -> Bool) -> Path v n -> (Path v n, Path v n)
- Diagrams: pathCentroid :: (Metric v, OrderedField n) => Path v n -> Point v n
+ Diagrams: pathCentroid :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Path v n -> Point v n
- Diagrams: pathFromLocTrail :: (Metric v, OrderedField n) => Located (Trail v n) -> Path v n
+ Diagrams: pathFromLocTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail v n) -> Path v n
- Diagrams: pathFromTrail :: (Metric v, OrderedField n) => Trail v n -> Path v n
+ Diagrams: pathFromTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Path v n
- Diagrams: pathFromTrailAt :: (Metric v, OrderedField n) => Trail v n -> Point v n -> Path v n
+ Diagrams: pathFromTrailAt :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Point v n -> Path v n
- Diagrams: pathLocSegments :: (Metric v, OrderedField n) => Path v n -> [[Located (Segment Closed v n)]]
+ Diagrams: pathLocSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Path v n -> [[Located (Segment Closed v n)]]
- Diagrams: pathTrails :: Path v n -> [Located (Trail v n)]
+ Diagrams: pathTrails :: forall (v :: Type -> Type) n. Path v n -> [Located (Trail v n)]
- Diagrams: pathVertices :: (Metric v, OrderedField n) => Path v n -> [[Point v n]]
+ Diagrams: pathVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Path v n -> [[Point v n]]
- Diagrams: pathVertices' :: (Metric v, OrderedField n) => n -> Path v n -> [[Point v n]]
+ Diagrams: pathVertices' :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => n -> Path v n -> [[Point v n]]
- Diagrams: reverseLine :: (Metric v, OrderedField n) => Trail' Line v n -> Trail' Line v n
+ Diagrams: reverseLine :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Line v n -> Trail' Line v n
- Diagrams: reverseLocLine :: (Metric v, OrderedField n) => Located (Trail' Line v n) -> Located (Trail' Line v n)
+ Diagrams: reverseLocLine :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail' Line v n) -> Located (Trail' Line v n)
- Diagrams: reverseLocLoop :: (Metric v, OrderedField n) => Located (Trail' Loop v n) -> Located (Trail' Loop v n)
+ Diagrams: reverseLocLoop :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail' Loop v n) -> Located (Trail' Loop v n)
- Diagrams: reverseLocTrail :: (Metric v, OrderedField n) => Located (Trail v n) -> Located (Trail v n)
+ Diagrams: reverseLocTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail v n) -> Located (Trail v n)
- Diagrams: reverseLoop :: (Metric v, OrderedField n) => Trail' Loop v n -> Trail' Loop v n
+ Diagrams: reverseLoop :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Loop v n -> Trail' Loop v n
- Diagrams: reversePath :: (Metric v, OrderedField n) => Path v n -> Path v n
+ Diagrams: reversePath :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Path v n -> Path v n
- Diagrams: reverseTrail :: (Metric v, OrderedField n) => Trail v n -> Trail v n
+ Diagrams: reverseTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Trail v n
- Diagrams: scalePath :: (HasLinearMap v, Metric v, OrderedField n) => n -> Path v n -> Path v n
+ Diagrams: scalePath :: forall (v :: Type -> Type) n. (HasLinearMap v, Metric v, OrderedField n) => n -> Path v n -> Path v n
- Diagrams: toPath :: (ToPath t, Metric (V t), OrderedField (N t)) => t -> Path (V t) (N t)
+ Diagrams: toPath :: ToPath t => t -> Path (V t) (N t)
- Diagrams: trailFromSegments :: (Metric v, OrderedField n) => [Segment Closed v n] -> Trail v n
+ Diagrams: trailFromSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => [Segment Closed v n] -> Trail v n
- Diagrams: trailFromVertices :: (Metric v, OrderedField n) => [Point v n] -> Trail v n
+ Diagrams: trailFromVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => [Point v n] -> Trail v n
- Diagrams: trailLocSegments :: (Metric v, OrderedField n) => Located (Trail v n) -> [Located (Segment Closed v n)]
+ Diagrams: trailLocSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail v n) -> [Located (Segment Closed v n)]
- Diagrams: trailMeasure :: (SegMeasure v n :>: m, Measured (SegMeasure v n) t) => a -> (m -> a) -> t -> a
+ Diagrams: trailMeasure :: forall (v :: Type -> Type) n m t a. (SegMeasure v n :>: m, Measured (SegMeasure v n) t) => a -> (m -> a) -> t -> a
- Diagrams: trailSegments :: (Metric v, OrderedField n) => Trail v n -> [Segment Closed v n]
+ Diagrams: trailSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> [Segment Closed v n]
- Diagrams: trailVertices :: (Metric v, OrderedField n) => Located (Trail v n) -> [Point v n]
+ Diagrams: trailVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail v n) -> [Point v n]
- Diagrams: trailVertices' :: (Metric v, OrderedField n) => n -> Located (Trail v n) -> [Point v n]
+ Diagrams: trailVertices' :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => n -> Located (Trail v n) -> [Point v n]
- Diagrams: unfixTrail :: (Metric v, Ord n, Floating n) => [FixedSegment v n] -> Located (Trail v n)
+ Diagrams: unfixTrail :: forall (v :: Type -> Type) n. (Metric v, Ord n, Floating n) => [FixedSegment v n] -> Located (Trail v n)
- Diagrams: withLine :: (Metric v, OrderedField n) => (Trail' Line v n -> r) -> Trail v n -> r
+ Diagrams: withLine :: forall (v :: Type -> Type) n r. (Metric v, OrderedField n) => (Trail' Line v n -> r) -> Trail v n -> r
- Diagrams: withTrail :: (Trail' Line v n -> r) -> (Trail' Loop v n -> r) -> Trail v n -> r
+ Diagrams: withTrail :: forall (v :: Type -> Type) n r. (Trail' Line v n -> r) -> (Trail' Loop v n -> r) -> Trail v n -> r
- Diagrams: withTrail' :: (Trail' Line v n -> r) -> (Trail' Loop v n -> r) -> Trail' l v n -> r
+ Diagrams: withTrail' :: forall (v :: Type -> Type) n r l. (Trail' Line v n -> r) -> (Trail' Loop v n -> r) -> Trail' l v n -> r
- Diagrams: wrapLine :: Trail' Line v n -> Trail v n
+ Diagrams: wrapLine :: forall (v :: Type -> Type) n. Trail' Line v n -> Trail v n
- Diagrams: wrapLoop :: Trail' Loop v n -> Trail v n
+ Diagrams: wrapLoop :: forall (v :: Type -> Type) n. Trail' Loop v n -> Trail v n
- Diagrams: wrapTrail :: Trail' l v n -> Trail v n
+ Diagrams: wrapTrail :: forall l (v :: Type -> Type) n. Trail' l v n -> Trail v n
- Diagrams.Align: center :: (InSpace v n a, Fractional n, Traversable v, Alignable a, HasOrigin a) => a -> a
+ Diagrams.Align: center :: forall (v :: Type -> Type) n a. (InSpace v n a, Fractional n, Traversable v, Alignable a, HasOrigin a) => a -> a
- Diagrams.Align: snugCenter :: (InSpace v n a, Traversable v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
+ Diagrams.Align: snugCenter :: forall (v :: Type -> Type) n a. (InSpace v n a, Traversable v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
- Diagrams.Angle: class HasTheta t => HasPhi t
+ Diagrams.Angle: class HasTheta t => HasPhi (t :: Type -> Type)
- Diagrams.Angle: class HasTheta t
+ Diagrams.Angle: class HasTheta (t :: Type -> Type)
- Diagrams.Angle: rad :: Iso' (Angle n) n
+ Diagrams.Angle: rad :: forall n p f. (Profunctor p, Functor f) => p n (f n) -> p (Angle n) (f (Angle n))
- Diagrams.Animation: animEnvelope :: (OrderedField n, Metric v, Monoid' m) => QAnimation b v n m -> QAnimation b v n m
+ Diagrams.Animation: animEnvelope :: forall n (v :: Type -> Type) m b. (OrderedField n, Metric v, Monoid' m) => QAnimation b v n m -> QAnimation b v n m
- Diagrams.Animation: animEnvelope' :: (OrderedField n, Metric v, Monoid' m) => Rational -> QAnimation b v n m -> QAnimation b v n m
+ Diagrams.Animation: animEnvelope' :: forall n (v :: Type -> Type) m b. (OrderedField n, Metric v, Monoid' m) => Rational -> QAnimation b v n m -> QAnimation b v n m
- Diagrams.Animation: type Animation b v n = QAnimation b v n Any
+ Diagrams.Animation: type Animation b (v :: Type -> Type) n = QAnimation b v n Any
- Diagrams.Animation: type QAnimation b v n m = Active (QDiagram b v n m)
+ Diagrams.Animation: type QAnimation b (v :: Type -> Type) n m = Active QDiagram b v n m
- Diagrams.Attributes: _Commit :: Prism' (Recommend a) a
+ Diagrams.Attributes: _Commit :: forall a p f. (Choice p, Applicative f) => p a (f a) -> p (Recommend a) (f (Recommend a))
- Diagrams.Attributes: _LineWidth :: Iso' (LineWidth n) n
+ Diagrams.Attributes: _LineWidth :: forall n p f. (Profunctor p, Functor f) => p n (f n) -> p (LineWidth n) (f (LineWidth n))
- Diagrams.Attributes: _LineWidthM :: Iso' (LineWidthM n) (Measure n)
+ Diagrams.Attributes: _LineWidthM :: forall n p f. (Profunctor p, Functor f) => p (Measure n) (f (Measure n)) -> p (LineWidthM n) (f (LineWidthM n))
- Diagrams.Attributes: _Recommend :: Prism' (Recommend a) a
+ Diagrams.Attributes: _Recommend :: forall a p f. (Choice p, Applicative f) => p a (f a) -> p (Recommend a) (f (Recommend a))
- Diagrams.Attributes: _dashing :: Typeable n => Lens' (Style v n) (Maybe (Measured n (Dashing n)))
+ Diagrams.Attributes: _dashing :: forall n (v :: Type -> Type). Typeable n => Lens' (Style v n) (Maybe (Measured n (Dashing n)))
- Diagrams.Attributes: _dashingU :: Typeable n => Lens' (Style v n) (Maybe (Dashing n))
+ Diagrams.Attributes: _dashingU :: forall n (v :: Type -> Type). Typeable n => Lens' (Style v n) (Maybe (Dashing n))
- Diagrams.Attributes: _fillOpacity :: Lens' (Style v n) Double
+ Diagrams.Attributes: _fillOpacity :: forall (v :: Type -> Type) n f. Functor f => (Double -> f Double) -> Style v n -> f (Style v n)
- Diagrams.Attributes: _lineCap :: Lens' (Style v n) LineCap
+ Diagrams.Attributes: _lineCap :: forall (v :: Type -> Type) n f. Functor f => (LineCap -> f LineCap) -> Style v n -> f (Style v n)
- Diagrams.Attributes: _lineJoin :: Lens' (Style v n) LineJoin
+ Diagrams.Attributes: _lineJoin :: forall (v :: Type -> Type) n f. Functor f => (LineJoin -> f LineJoin) -> Style v n -> f (Style v n)
- Diagrams.Attributes: _lineMiterLimit :: Lens' (Style v n) Double
+ Diagrams.Attributes: _lineMiterLimit :: forall (v :: Type -> Type) n f. Functor f => (Double -> f Double) -> Style v n -> f (Style v n)
- Diagrams.Attributes: _lineWidth :: (Typeable n, OrderedField n) => Lens' (Style v n) (Measure n)
+ Diagrams.Attributes: _lineWidth :: forall n (v :: Type -> Type). (Typeable n, OrderedField n) => Lens' (Style v n) (Measure n)
- Diagrams.Attributes: _lineWidthU :: Typeable n => Lens' (Style v n) (Maybe n)
+ Diagrams.Attributes: _lineWidthU :: forall n (v :: Type -> Type). Typeable n => Lens' (Style v n) (Maybe n)
- Diagrams.Attributes: _lw :: (Typeable n, OrderedField n) => Lens' (Style v n) (Measure n)
+ Diagrams.Attributes: _lw :: forall n (v :: Type -> Type). (Typeable n, OrderedField n) => Lens' (Style v n) (Measure n)
- Diagrams.Attributes: _opacity :: Lens' (Style v n) Double
+ Diagrams.Attributes: _opacity :: forall (v :: Type -> Type) n f. Functor f => (Double -> f Double) -> Style v n -> f (Style v n)
- Diagrams.Attributes: _recommend :: Lens (Recommend a) (Recommend b) a b
+ Diagrams.Attributes: _recommend :: forall a b f. Functor f => (a -> f b) -> Recommend a -> f (Recommend b)
- Diagrams.Attributes: _strokeOpacity :: Lens' (Style v n) Double
+ Diagrams.Attributes: _strokeOpacity :: forall (v :: Type -> Type) n f. Functor f => (Double -> f Double) -> Style v n -> f (Style v n)
- Diagrams.Attributes: committed :: Iso (Recommend a) (Recommend b) a b
+ Diagrams.Attributes: committed :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Recommend a) (f (Recommend b))
- Diagrams.Attributes: isCommitted :: Lens' (Recommend a) Bool
+ Diagrams.Attributes: isCommitted :: forall a f. Functor f => (Bool -> f Bool) -> Recommend a -> f (Recommend a)
- Diagrams.Attributes.Compile: class (AttributeClass (AttrType code), Typeable (PrimType code)) => SplitAttribute code where {
+ Diagrams.Attributes.Compile: class (AttributeClass AttrType code, Typeable PrimType code) => SplitAttribute code where {
- Diagrams.Attributes.Compile: splitAttr :: forall code b v n a. SplitAttribute code => code -> RTree b v n a -> RTree b v n a
+ Diagrams.Attributes.Compile: splitAttr :: forall code b (v :: Type -> Type) n a. SplitAttribute code => code -> RTree b v n a -> RTree b v n a
- Diagrams.Attributes.Compile: type AttrType code :: Type;
+ Diagrams.Attributes.Compile: type AttrType code;
- Diagrams.Attributes.Compile: type PrimType code :: Type;
+ Diagrams.Attributes.Compile: type PrimType code;
- Diagrams.Backend.CmdLine: defaultAnimMainRender :: (opts -> QDiagram b v n Any -> IO ()) -> Lens' opts FilePath -> (opts, DiagramAnimOpts) -> Animation b v n -> IO ()
+ Diagrams.Backend.CmdLine: defaultAnimMainRender :: forall opts b (v :: Type -> Type) n. (opts -> QDiagram b v n Any -> IO ()) -> Lens' opts FilePath -> (opts, DiagramAnimOpts) -> Animation b v n -> IO ()
- Diagrams.Backend.CmdLine: mainWith :: (Mainable d, Parseable (MainOpts d)) => d -> IO ()
+ Diagrams.Backend.CmdLine: mainWith :: Mainable d => d -> IO ()
- Diagrams.Backend.CmdLine: type Args d :: Type;
+ Diagrams.Backend.CmdLine: type Args d;
- Diagrams.Backend.CmdLine: type MainOpts d :: Type;
+ Diagrams.Backend.CmdLine: type MainOpts d;
- Diagrams.Backend.CmdLine: type ResultOf d :: Type;
+ Diagrams.Backend.CmdLine: type ResultOf d;
- Diagrams.BoundingBox: boundingBox :: (InSpace v n a, HasBasis v, Enveloped a) => a -> BoundingBox v n
+ Diagrams.BoundingBox: boundingBox :: forall (v :: Type -> Type) n a. (InSpace v n a, HasBasis v, Enveloped a) => a -> BoundingBox v n
- Diagrams.BoundingBox: boxCenter :: (Additive v, Fractional n) => BoundingBox v n -> Maybe (Point v n)
+ Diagrams.BoundingBox: boxCenter :: forall (v :: Type -> Type) n. (Additive v, Fractional n) => BoundingBox v n -> Maybe (Point v n)
- Diagrams.BoundingBox: boxFit :: (InSpace v n a, HasBasis v, Enveloped a, Transformable a, Monoid a) => BoundingBox v n -> a -> a
+ Diagrams.BoundingBox: boxFit :: forall (v :: Type -> Type) n a. (InSpace v n a, HasBasis v, Enveloped a, Transformable a, Monoid a) => BoundingBox v n -> a -> a
- Diagrams.BoundingBox: boxGrid :: (Traversable v, Additive v, Num n, Enum n) => n -> BoundingBox v n -> [Point v n]
+ Diagrams.BoundingBox: boxGrid :: forall (v :: Type -> Type) n. (Traversable v, Additive v, Num n, Enum n) => n -> BoundingBox v n -> [Point v n]
- Diagrams.BoundingBox: boxTransform :: (Additive v, Fractional n) => BoundingBox v n -> BoundingBox v n -> Maybe (Transformation v n)
+ Diagrams.BoundingBox: boxTransform :: forall (v :: Type -> Type) n. (Additive v, Fractional n) => BoundingBox v n -> BoundingBox v n -> Maybe (Transformation v n)
- Diagrams.BoundingBox: centerPoint :: (InSpace v n a, HasBasis v, Enveloped a) => a -> Point v n
+ Diagrams.BoundingBox: centerPoint :: forall (v :: Type -> Type) n a. (InSpace v n a, HasBasis v, Enveloped a) => a -> Point v n
- Diagrams.BoundingBox: contains :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> Point v n -> Bool
+ Diagrams.BoundingBox: contains :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => BoundingBox v n -> Point v n -> Bool
- Diagrams.BoundingBox: contains' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> Point v n -> Bool
+ Diagrams.BoundingBox: contains' :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => BoundingBox v n -> Point v n -> Bool
- Diagrams.BoundingBox: data BoundingBox v n
+ Diagrams.BoundingBox: data BoundingBox (v :: Type -> Type) n
- Diagrams.BoundingBox: emptyBox :: BoundingBox v n
+ Diagrams.BoundingBox: emptyBox :: forall (v :: Type -> Type) n. BoundingBox v n
- Diagrams.BoundingBox: fromCorners :: (Additive v, Foldable v, Ord n) => Point v n -> Point v n -> BoundingBox v n
+ Diagrams.BoundingBox: fromCorners :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => Point v n -> Point v n -> BoundingBox v n
- Diagrams.BoundingBox: fromPoint :: Point v n -> BoundingBox v n
+ Diagrams.BoundingBox: fromPoint :: forall (v :: Type -> Type) n. Point v n -> BoundingBox v n
- Diagrams.BoundingBox: fromPoints :: (Additive v, Ord n) => [Point v n] -> BoundingBox v n
+ Diagrams.BoundingBox: fromPoints :: forall (v :: Type -> Type) n. (Additive v, Ord n) => [Point v n] -> BoundingBox v n
- Diagrams.BoundingBox: getAllCorners :: (Additive v, Traversable v) => BoundingBox v n -> [Point v n]
+ Diagrams.BoundingBox: getAllCorners :: forall (v :: Type -> Type) n. (Additive v, Traversable v) => BoundingBox v n -> [Point v n]
- Diagrams.BoundingBox: getCorners :: BoundingBox v n -> Maybe (Point v n, Point v n)
+ Diagrams.BoundingBox: getCorners :: forall (v :: Type -> Type) n. BoundingBox v n -> Maybe (Point v n, Point v n)
- Diagrams.BoundingBox: inside :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
+ Diagrams.BoundingBox: inside :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
- Diagrams.BoundingBox: inside' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
+ Diagrams.BoundingBox: inside' :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
- Diagrams.BoundingBox: intersection :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> BoundingBox v n
+ Diagrams.BoundingBox: intersection :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> BoundingBox v n
- Diagrams.BoundingBox: isEmptyBox :: BoundingBox v n -> Bool
+ Diagrams.BoundingBox: isEmptyBox :: forall (v :: Type -> Type) n. BoundingBox v n -> Bool
- Diagrams.BoundingBox: mCenterPoint :: (InSpace v n a, HasBasis v, Enveloped a) => a -> Maybe (Point v n)
+ Diagrams.BoundingBox: mCenterPoint :: forall (v :: Type -> Type) n a. (InSpace v n a, HasBasis v, Enveloped a) => a -> Maybe (Point v n)
- Diagrams.BoundingBox: outside :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
+ Diagrams.BoundingBox: outside :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
- Diagrams.BoundingBox: outside' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
+ Diagrams.BoundingBox: outside' :: forall (v :: Type -> Type) n. (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
- Diagrams.BoundingBox: union :: (Additive v, Ord n) => BoundingBox v n -> BoundingBox v n -> BoundingBox v n
+ Diagrams.BoundingBox: union :: forall (v :: Type -> Type) n. (Additive v, Ord n) => BoundingBox v n -> BoundingBox v n -> BoundingBox v n
- Diagrams.Combinators: atDirection :: (InSpace v n a, Metric v, Floating n, Juxtaposable a, Semigroup a) => Direction v n -> a -> a -> a
+ Diagrams.Combinators: atDirection :: forall (v :: Type -> Type) n a. (InSpace v n a, Metric v, Floating n, Juxtaposable a, Semigroup a) => Direction v n -> a -> a -> a
- Diagrams.Combinators: atPoints :: (InSpace v n a, HasOrigin a, Monoid' a) => [Point v n] -> [a] -> a
+ Diagrams.Combinators: atPoints :: forall (v :: Type -> Type) n a. (InSpace v n a, HasOrigin a, Monoid' a) => [Point v n] -> [a] -> a
- Diagrams.Combinators: beneath :: (Metric v, OrderedField n, Monoid' m) => QDiagram b v n m -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Combinators: beneath :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Monoid' m) => QDiagram b v n m -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Combinators: catMethod :: Lens' (CatOpts n) CatMethod
+ Diagrams.Combinators: catMethod :: forall n f. Functor f => (CatMethod -> f CatMethod) -> CatOpts n -> f (CatOpts n)
- Diagrams.Combinators: composeAligned :: (Monoid' m, Floating n, Ord n, Metric v) => (QDiagram b v n m -> QDiagram 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.Combinators: composeAligned :: forall m n (v :: Type -> Type) b. (Monoid' m, Floating n, Ord n, Metric v) => (QDiagram b v n m -> QDiagram 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.Combinators: frame :: (Metric v, OrderedField n, Monoid' m) => n -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Combinators: frame :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Monoid' m) => n -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Combinators: pad :: (Metric v, OrderedField n, Monoid' m) => n -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Combinators: pad :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Monoid' m) => n -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Combinators: phantom :: (InSpace v n a, Monoid' m, Enveloped a, Traced a) => a -> QDiagram b v n m
+ Diagrams.Combinators: phantom :: forall (v :: Type -> Type) n a m b. (InSpace v n a, Monoid' m, Enveloped a, Traced a) => a -> QDiagram b v n m
- Diagrams.Combinators: position :: (InSpace v n a, HasOrigin a, Monoid' a) => [(Point v n, a)] -> a
+ Diagrams.Combinators: position :: forall (v :: Type -> Type) n a. (InSpace v n a, HasOrigin a, Monoid' a) => [(Point v n, a)] -> a
- Diagrams.Combinators: sep :: Lens' (CatOpts n) n
+ Diagrams.Combinators: sep :: forall n f. Functor f => (n -> f n) -> CatOpts n -> f (CatOpts n)
- Diagrams.Combinators: withEnvelope :: (InSpace v n a, Monoid' m, Enveloped a) => a -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Combinators: withEnvelope :: forall (v :: Type -> Type) n a m b. (InSpace v n a, Monoid' m, Enveloped a) => a -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Combinators: withTrace :: (InSpace v n a, Metric v, OrderedField n, Monoid' m, Traced a) => a -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Combinators: withTrace :: forall (v :: Type -> Type) n a m b. (InSpace v n a, Metric v, OrderedField n, Monoid' m, Traced a) => a -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Coordinates: type Decomposition c :: Type;
+ Diagrams.Coordinates: type Decomposition c;
- Diagrams.Coordinates: type FinalCoord c :: Type;
+ Diagrams.Coordinates: type FinalCoord c;
- Diagrams.Coordinates: type PrevDim c :: Type;
+ Diagrams.Coordinates: type PrevDim c;
- Diagrams.CubicSpline: bspline :: (TrailLike t, V t ~ v, N t ~ n) => BSpline v n -> t
+ Diagrams.CubicSpline: bspline :: forall t (v :: Type -> Type) n. (TrailLike t, V t ~ v, N t ~ n) => BSpline v n -> t
- Diagrams.CubicSpline: cubicSpline :: (V t ~ v, N t ~ n, TrailLike t, Fractional (v n)) => Bool -> [Point v n] -> t
+ Diagrams.CubicSpline: cubicSpline :: forall t (v :: Type -> Type) n. (V t ~ v, N t ~ n, TrailLike t, Fractional (v n)) => Bool -> [Point v n] -> t
- Diagrams.CubicSpline: type BSpline v n = [Point v n]
+ Diagrams.CubicSpline: type BSpline (v :: Type -> Type) n = [Point v n]
- Diagrams.CubicSpline.Boehm: bspline :: (TrailLike t, V t ~ v, N t ~ n) => BSpline v n -> t
+ Diagrams.CubicSpline.Boehm: bspline :: forall t (v :: Type -> Type) n. (TrailLike t, V t ~ v, N t ~ n) => BSpline v n -> t
- Diagrams.CubicSpline.Boehm: bsplineToBeziers :: (Additive v, Fractional n, Num n, Ord n) => BSpline v n -> [FixedSegment v n]
+ Diagrams.CubicSpline.Boehm: bsplineToBeziers :: forall (v :: Type -> Type) n. (Additive v, Fractional n, Num n, Ord n) => BSpline v n -> [FixedSegment v n]
- Diagrams.CubicSpline.Boehm: type BSpline v n = [Point v n]
+ Diagrams.CubicSpline.Boehm: type BSpline (v :: Type -> Type) n = [Point v n]
- Diagrams.Deform: Deformation :: (Point v n -> Point u n) -> Deformation v u n
+ Diagrams.Deform: Deformation :: (Point v n -> Point u n) -> Deformation (v :: Type -> Type) (u :: Type -> Type) n
- Diagrams.Deform: asDeformation :: (Additive v, Num n) => Transformation v n -> Deformation v v n
+ Diagrams.Deform: asDeformation :: forall (v :: Type -> Type) n. (Additive v, Num n) => Transformation v n -> Deformation v v n
- Diagrams.Deform: newtype Deformation v u n
+ Diagrams.Deform: newtype Deformation (v :: Type -> Type) (u :: Type -> Type) n
- Diagrams.Direction: _Dir :: Iso' (Direction v n) (v n)
+ Diagrams.Direction: _Dir :: forall v n p f. (Profunctor p, Functor f) => p (v n) (f (v n)) -> p (Direction v n) (f (Direction v n))
- Diagrams.Direction: angleBetweenDirs :: (Metric v, Floating n, Ord n) => Direction v n -> Direction v n -> Angle n
+ Diagrams.Direction: angleBetweenDirs :: forall (v :: Type -> Type) n. (Metric v, Floating n, Ord n) => Direction v n -> Direction v n -> Angle n
- Diagrams.Direction: data Direction v n
+ Diagrams.Direction: data Direction (v :: Type -> Type) n
- Diagrams.Direction: dirBetween :: (Additive v, Num n) => Point v n -> Point v n -> Direction v n
+ Diagrams.Direction: dirBetween :: forall (v :: Type -> Type) n. (Additive v, Num n) => Point v n -> Point v n -> Direction v n
- Diagrams.Envelope: data () => Envelope (v :: Type -> Type) n
+ Diagrams.Envelope: data Envelope (v :: Type -> Type) n
- Diagrams.Envelope: pad :: (Metric v, OrderedField n, Monoid' m) => n -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Envelope: pad :: forall (v :: Type -> Type) n m b. (Metric v, OrderedField n, Monoid' m) => n -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Envelope: phantom :: (InSpace v n a, Monoid' m, Enveloped a, Traced a) => a -> QDiagram b v n m
+ Diagrams.Envelope: phantom :: forall (v :: Type -> Type) n a m b. (InSpace v n a, Monoid' m, Enveloped a, Traced a) => a -> QDiagram b v n m
- Diagrams.Envelope: withEnvelope :: (InSpace v n a, Monoid' m, Enveloped a) => a -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Envelope: withEnvelope :: forall (v :: Type -> Type) n a m b. (InSpace v n a, Monoid' m, Enveloped a) => a -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.LinearMap: AffineMap :: LinearMap v u n -> u n -> AffineMap v u n
+ Diagrams.LinearMap: AffineMap :: LinearMap v u n -> u n -> AffineMap (v :: Type -> Type) (u :: Type -> Type) n
- Diagrams.LinearMap: LinearMap :: (v n -> u n) -> LinearMap v u n
+ Diagrams.LinearMap: LinearMap :: (v n -> u n) -> LinearMap (v :: Type -> Type) (u :: Type -> Type) n
- Diagrams.LinearMap: [lapply] :: LinearMap v u n -> v n -> u n
+ Diagrams.LinearMap: [lapply] :: LinearMap (v :: Type -> Type) (u :: Type -> Type) n -> v n -> u n
- Diagrams.LinearMap: amap :: (AffineMappable a b, Additive (V a), Foldable (V a), Additive (V b), Num (N b)) => AffineMap (V a) (V b) (N b) -> a -> b
+ Diagrams.LinearMap: amap :: AffineMappable a b => AffineMap (V a) (V b) (N b) -> a -> b
- Diagrams.LinearMap: data AffineMap v u n
+ Diagrams.LinearMap: data AffineMap (v :: Type -> Type) (u :: Type -> Type) n
- Diagrams.LinearMap: linmap :: (InSpace v n a, LinearMappable a b, N b ~ n) => LinearMap v (V b) n -> a -> b
+ Diagrams.LinearMap: linmap :: forall (v :: Type -> Type) n a b. (InSpace v n a, LinearMappable a b, N b ~ n) => LinearMap v (V b) n -> a -> b
- Diagrams.LinearMap: newtype LinearMap v u n
+ Diagrams.LinearMap: newtype LinearMap (v :: Type -> Type) (u :: Type -> Type) n
- Diagrams.LinearMap: toAffineMap :: Transformation v n -> AffineMap v v n
+ Diagrams.LinearMap: toAffineMap :: forall (v :: Type -> Type) n. Transformation v n -> AffineMap v v n
- Diagrams.Located: _loc :: Lens' (Located a) (Point (V a) (N a))
+ Diagrams.Located: _loc :: forall a f. Functor f => (Point (V a) (N a) -> f (Point (V a) (N a))) -> Located a -> f (Located a)
- 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.Names: namePoint :: (IsName nm, Metric v, OrderedField n, Semigroup m) => (QDiagram b v n m -> Point v n) -> nm -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Names: namePoint :: forall nm (v :: Type -> Type) n m b. (IsName nm, Metric v, OrderedField n, Semigroup m) => (QDiagram b v n m -> Point v n) -> nm -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Names: named :: (IsName nm, Metric v, OrderedField n, Semigroup m) => nm -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Names: named :: forall nm (v :: Type -> Type) n m b. (IsName nm, Metric v, OrderedField n, Semigroup m) => nm -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Parametric: arcLength :: (HasArcLength p, Fractional (N p)) => N p -> p -> N p
+ Diagrams.Parametric: arcLength :: HasArcLength p => N p -> p -> N p
- Diagrams.Parametric: domainLower :: (DomainBounds p, Num (N p)) => p -> N p
+ Diagrams.Parametric: domainLower :: DomainBounds p => p -> N p
- Diagrams.Parametric: domainUpper :: (DomainBounds p, Num (N p)) => p -> N p
+ Diagrams.Parametric: domainUpper :: DomainBounds p => p -> N p
- Diagrams.Parametric: section :: (Sectionable p, Fractional (N p)) => p -> N p -> N p -> p
+ Diagrams.Parametric: section :: Sectionable p => p -> N p -> N p -> p
- Diagrams.Parametric: stdArcLength :: (HasArcLength p, Fractional (N p)) => p -> N p
+ Diagrams.Parametric: stdArcLength :: HasArcLength p => p -> N p
- Diagrams.Parametric: stdArcLengthToParam :: (HasArcLength p, Fractional (N p)) => p -> N p -> N p
+ Diagrams.Parametric: stdArcLengthToParam :: HasArcLength p => p -> N p -> N p
- Diagrams.Parametric.Adjust: adjEps :: Lens' (AdjustOpts n) n
+ Diagrams.Parametric.Adjust: adjEps :: forall n f. Functor f => (n -> f n) -> AdjustOpts n -> f (AdjustOpts n)
- Diagrams.Parametric.Adjust: adjMethod :: Lens' (AdjustOpts n) (AdjustMethod n)
+ Diagrams.Parametric.Adjust: adjMethod :: forall n f. Functor f => (AdjustMethod n -> f (AdjustMethod n)) -> AdjustOpts n -> f (AdjustOpts n)
- Diagrams.Parametric.Adjust: adjSide :: Lens' (AdjustOpts n) AdjustSide
+ Diagrams.Parametric.Adjust: adjSide :: forall n f. Functor f => (AdjustSide -> f AdjustSide) -> AdjustOpts n -> f (AdjustOpts n)
- Diagrams.Path: Path :: [Located (Trail v n)] -> Path v n
+ Diagrams.Path: Path :: [Located (Trail v n)] -> Path (v :: Type -> Type) n
- Diagrams.Path: explodePath :: (V t ~ v, N t ~ n, TrailLike t) => Path v n -> [[t]]
+ Diagrams.Path: explodePath :: forall t (v :: Type -> Type) n. (V t ~ v, N t ~ n, TrailLike t) => Path v n -> [[t]]
- Diagrams.Path: fixPath :: (Metric v, OrderedField n) => Path v n -> [[FixedSegment v n]]
+ Diagrams.Path: fixPath :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Path v n -> [[FixedSegment v n]]
- Diagrams.Path: newtype Path v n
+ Diagrams.Path: newtype Path (v :: Type -> Type) n
- Diagrams.Path: partitionPath :: (Located (Trail v n) -> Bool) -> Path v n -> (Path v n, Path v n)
+ Diagrams.Path: partitionPath :: forall (v :: Type -> Type) n. (Located (Trail v n) -> Bool) -> Path v n -> (Path v n, Path v n)
- Diagrams.Path: pathCentroid :: (Metric v, OrderedField n) => Path v n -> Point v n
+ Diagrams.Path: pathCentroid :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Path v n -> Point v n
- Diagrams.Path: pathFromLocTrail :: (Metric v, OrderedField n) => Located (Trail v n) -> Path v n
+ Diagrams.Path: pathFromLocTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail v n) -> Path v n
- Diagrams.Path: pathFromTrail :: (Metric v, OrderedField n) => Trail v n -> Path v n
+ Diagrams.Path: pathFromTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Path v n
- Diagrams.Path: pathFromTrailAt :: (Metric v, OrderedField n) => Trail v n -> Point v n -> Path v n
+ Diagrams.Path: pathFromTrailAt :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Point v n -> Path v n
- Diagrams.Path: pathLocSegments :: (Metric v, OrderedField n) => Path v n -> [[Located (Segment Closed v n)]]
+ Diagrams.Path: pathLocSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Path v n -> [[Located (Segment Closed v n)]]
- Diagrams.Path: pathPoints :: (Metric v, OrderedField n) => Path v n -> [[Point v n]]
+ Diagrams.Path: pathPoints :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Path v n -> [[Point v n]]
- Diagrams.Path: pathTrails :: Path v n -> [Located (Trail v n)]
+ Diagrams.Path: pathTrails :: forall (v :: Type -> Type) n. Path v n -> [Located (Trail v n)]
- Diagrams.Path: pathVertices :: (Metric v, OrderedField n) => Path v n -> [[Point v n]]
+ Diagrams.Path: pathVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Path v n -> [[Point v n]]
- Diagrams.Path: pathVertices' :: (Metric v, OrderedField n) => n -> Path v n -> [[Point v n]]
+ Diagrams.Path: pathVertices' :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => n -> Path v n -> [[Point v n]]
- Diagrams.Path: reversePath :: (Metric v, OrderedField n) => Path v n -> Path v n
+ Diagrams.Path: reversePath :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Path v n -> Path v n
- Diagrams.Path: scalePath :: (HasLinearMap v, Metric v, OrderedField n) => n -> Path v n -> Path v n
+ Diagrams.Path: scalePath :: forall (v :: Type -> Type) n. (HasLinearMap v, Metric v, OrderedField n) => n -> Path v n -> Path v n
- Diagrams.Path: toPath :: (ToPath t, Metric (V t), OrderedField (N t)) => t -> Path (V t) (N t)
+ Diagrams.Path: toPath :: ToPath t => t -> Path (V t) (N t)
- Diagrams.Points: centroid :: (Additive v, Fractional n) => [Point v n] -> Point v n
+ Diagrams.Points: centroid :: forall (v :: Type -> Type) n. (Additive v, Fractional n) => [Point v n] -> Point v n
- Diagrams.Points: newtype () => Point (f :: Type -> Type) a
+ Diagrams.Points: newtype Point (f :: Type -> Type) a
- Diagrams.Prelude: class () => AsEmpty a
+ Diagrams.Prelude: class AsEmpty a
- 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 () => Wrapped s where {
+ Diagrams.Prelude: class Wrapped s where {
- 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: infixr 5 `cons`
+ Diagrams.Prelude: infixr 5 :<
- 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: simply :: forall {k} {k1} p (f :: k -> k1) (s :: k) (a :: k) (rep :: RuntimeRep) (r :: TYPE rep). (Optic' p f s a -> r) -> Optic' p f s a -> r
+ Diagrams.Prelude: simply :: forall {k} {k1} p (f :: k -> k1) (s :: k) (a :: k) r. (Optic' p f s a -> r) -> Optic' p f s a -> r
- Diagrams.Prelude: substEq :: forall {k1} {k2} (s :: k1) (t :: k2) (a :: k1) (b :: k2) (rep :: RuntimeRep) (r :: TYPE rep). AnEquality s t a b -> ((s ~ a, t ~ b) => r) -> r
+ Diagrams.Prelude: substEq :: forall {k1} {k2} (s :: k1) (t :: k2) (a :: k1) (b :: k2) r. AnEquality s t a b -> ((s ~ a, t ~ b) => r) -> r
- Diagrams.Prelude: withEquality :: forall {k1} {k2} (s :: k1) (t :: k2) (a :: k1) (b :: k2) (rep :: RuntimeRep) (r :: TYPE rep). AnEquality s t a b -> ((s :~: a) -> (b :~: t) -> r) -> r
+ Diagrams.Prelude: withEquality :: forall {k1} {k2} (s :: k1) (t :: k2) (a :: k1) (b :: k2) r. AnEquality s t a b -> ((s :~: a) -> (b :~: t) -> r) -> r
- Diagrams.Prelude: withIso :: forall s t a b (rep :: RuntimeRep) (r :: TYPE rep). AnIso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
+ Diagrams.Prelude: withIso :: AnIso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
- Diagrams.Prelude: withLens :: forall s t a b (rep :: RuntimeRep) (r :: TYPE rep). ALens s t a b -> ((s -> a) -> (s -> b -> t) -> r) -> r
+ Diagrams.Prelude: withLens :: ALens s t a b -> ((s -> a) -> (s -> b -> t) -> r) -> r
- Diagrams.Query: clearValue :: QDiagram b v n m -> QDiagram b v n Any
+ Diagrams.Query: clearValue :: forall b (v :: Type -> Type) n m. QDiagram b v n m -> QDiagram b v n Any
- Diagrams.Query: newtype () => Query (v :: Type -> Type) n m
+ Diagrams.Query: newtype Query (v :: Type -> Type) n m
- Diagrams.Query: resetValue :: (Eq m, Monoid m) => QDiagram b v n m -> QDiagram b v n Any
+ Diagrams.Query: resetValue :: forall m b (v :: Type -> Type) n. (Eq m, Monoid m) => QDiagram b v n m -> QDiagram b v n Any
- Diagrams.Query: value :: Monoid m => m -> QDiagram b v n Any -> QDiagram b v n m
+ Diagrams.Query: value :: forall m b (v :: Type -> Type) n. Monoid m => m -> QDiagram b v n Any -> QDiagram b v n m
- Diagrams.Segment: Cubic :: !v n -> !v n -> !Offset c v n -> Segment c v n
+ Diagrams.Segment: Cubic :: !v n -> !v n -> !Offset c v n -> Segment c (v :: Type -> Type) n
- Diagrams.Segment: FCubic :: Point v n -> Point v n -> Point v n -> Point v n -> FixedSegment v n
+ Diagrams.Segment: FCubic :: Point v n -> Point v n -> Point v n -> Point v n -> FixedSegment (v :: Type -> Type) n
- Diagrams.Segment: FLinear :: Point v n -> Point v n -> FixedSegment v n
+ Diagrams.Segment: FLinear :: Point v n -> Point v n -> FixedSegment (v :: Type -> Type) n
- Diagrams.Segment: Linear :: !Offset c v n -> Segment c v n
+ Diagrams.Segment: Linear :: !Offset c v n -> Segment c (v :: Type -> Type) n
- Diagrams.Segment: OffsetEnvelope :: !TotalOffset v n -> Envelope v n -> OffsetEnvelope v n
+ Diagrams.Segment: OffsetEnvelope :: !TotalOffset v n -> Envelope v n -> OffsetEnvelope (v :: Type -> Type) n
- Diagrams.Segment: TotalOffset :: v n -> TotalOffset v n
+ Diagrams.Segment: TotalOffset :: v n -> TotalOffset (v :: Type -> Type) n
- Diagrams.Segment: [OffsetClosed] :: v n -> Offset Closed v n
+ Diagrams.Segment: [OffsetClosed] :: forall (v :: Type -> Type) n. v n -> Offset Closed v n
- Diagrams.Segment: [OffsetOpen] :: Offset Open v n
+ Diagrams.Segment: [OffsetOpen] :: forall (v :: Type -> Type) n. Offset Open v n
- Diagrams.Segment: [_oeEnvelope] :: OffsetEnvelope v n -> Envelope v n
+ Diagrams.Segment: [_oeEnvelope] :: OffsetEnvelope (v :: Type -> Type) n -> Envelope v n
- Diagrams.Segment: [_oeOffset] :: OffsetEnvelope v n -> !TotalOffset v n
+ Diagrams.Segment: [_oeOffset] :: OffsetEnvelope (v :: Type -> Type) n -> !TotalOffset v n
- Diagrams.Segment: data FixedSegment v n
+ Diagrams.Segment: data FixedSegment (v :: Type -> Type) n
- Diagrams.Segment: data Offset c v n
+ Diagrams.Segment: data Offset c (v :: Type -> Type) n
- Diagrams.Segment: data OffsetEnvelope v n
+ Diagrams.Segment: data OffsetEnvelope (v :: Type -> Type) n
- Diagrams.Segment: data Segment c v n
+ Diagrams.Segment: data Segment c (v :: Type -> Type) n
- Diagrams.Segment: fixedSegIso :: (Num n, Additive v) => Iso' (FixedSegment v n) (Located (Segment Closed v n))
+ Diagrams.Segment: fixedSegIso :: forall n (v :: Type -> Type). (Num n, Additive v) => Iso' (FixedSegment v n) (Located (Segment Closed v n))
- Diagrams.Segment: fromFixedSeg :: (Num n, Additive v) => FixedSegment v n -> Located (Segment Closed v n)
+ Diagrams.Segment: fromFixedSeg :: forall n (v :: Type -> Type). (Num n, Additive v) => FixedSegment v n -> Located (Segment Closed v n)
- Diagrams.Segment: mkFixedSeg :: (Num n, Additive v) => Located (Segment Closed v n) -> FixedSegment v n
+ Diagrams.Segment: mkFixedSeg :: forall n (v :: Type -> Type). (Num n, Additive v) => Located (Segment Closed v n) -> FixedSegment v n
- Diagrams.Segment: newtype TotalOffset v n
+ Diagrams.Segment: newtype TotalOffset (v :: Type -> Type) n
- Diagrams.Segment: oeEnvelope :: forall v_aUlO n_aUlP. Lens' (OffsetEnvelope v_aUlO n_aUlP) (Envelope v_aUlO n_aUlP)
+ Diagrams.Segment: oeEnvelope :: forall (v :: Type -> Type) n f. Functor f => (Envelope v n -> f (Envelope v n)) -> OffsetEnvelope v n -> f (OffsetEnvelope v n)
- Diagrams.Segment: oeOffset :: forall v_aUlO n_aUlP. Lens' (OffsetEnvelope v_aUlO n_aUlP) (TotalOffset v_aUlO n_aUlP)
+ Diagrams.Segment: oeOffset :: forall (v :: Type -> Type) n f. Functor f => (TotalOffset v n -> f (TotalOffset v n)) -> OffsetEnvelope v n -> f (OffsetEnvelope v n)
- Diagrams.Segment: openLinear :: Segment Open v n
+ Diagrams.Segment: openLinear :: forall (v :: Type -> Type) n. Segment Open v n
- Diagrams.Segment: reverseSegment :: (Num n, Additive v) => Segment Closed v n -> Segment Closed v n
+ Diagrams.Segment: reverseSegment :: forall n (v :: Type -> Type). (Num n, Additive v) => Segment Closed v n -> Segment Closed v n
- Diagrams.Segment: type SegMeasure v n = SegCount ::: ArcLength n ::: OffsetEnvelope v n ::: ()
+ Diagrams.Segment: type SegMeasure (v :: Type -> Type) n = SegCount ::: ArcLength n ::: OffsetEnvelope v n ::: ()
- Diagrams.Size: absolute :: (Additive v, Num n) => SizeSpec v n
+ Diagrams.Size: absolute :: forall (v :: Type -> Type) n. (Additive v, Num n) => SizeSpec v n
- Diagrams.Size: data SizeSpec v n
+ Diagrams.Size: data SizeSpec (v :: Type -> Type) n
- Diagrams.Size: sized :: (InSpace v n a, HasLinearMap v, Transformable a, Enveloped a) => SizeSpec v n -> a -> a
+ Diagrams.Size: sized :: forall (v :: Type -> Type) n a. (InSpace v n a, HasLinearMap v, Transformable a, Enveloped a) => SizeSpec v n -> a -> a
- Diagrams.Size: sizedAs :: (InSpace v n a, SameSpace a b, HasLinearMap v, Transformable a, Enveloped a, Enveloped b) => b -> a -> a
+ Diagrams.Size: sizedAs :: forall (v :: Type -> Type) n a b. (InSpace v n a, SameSpace a b, HasLinearMap v, Transformable a, Enveloped a, Enveloped b) => b -> a -> a
- Diagrams.ThreeD.Align: alignX :: (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
+ Diagrams.ThreeD.Align: alignX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
- Diagrams.ThreeD.Align: alignXMax :: (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: alignXMax :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: alignXMin :: (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: alignXMin :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: alignY :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
+ Diagrams.ThreeD.Align: alignY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
- Diagrams.ThreeD.Align: alignYMax :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: alignYMax :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: alignYMin :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: alignYMin :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: alignZ :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
+ Diagrams.ThreeD.Align: alignZ :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
- Diagrams.ThreeD.Align: alignZMax :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: alignZMax :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: alignZMin :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: alignZMin :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: centerX :: (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: centerX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: centerXY :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: centerXY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: centerXYZ :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: centerXYZ :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: centerXZ :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: centerXZ :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: centerY :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: centerY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: centerYZ :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: centerYZ :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: centerZ :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: centerZ :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: snugCenterX :: (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: snugCenterX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: snugCenterXY :: (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: snugCenterXY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: snugCenterXYZ :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
+ Diagrams.ThreeD.Align: snugCenterXYZ :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
- Diagrams.ThreeD.Align: snugCenterXZ :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
+ Diagrams.ThreeD.Align: snugCenterXZ :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
- Diagrams.ThreeD.Align: snugCenterY :: (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
+ Diagrams.ThreeD.Align: snugCenterY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
- Diagrams.ThreeD.Align: snugCenterYZ :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
+ Diagrams.ThreeD.Align: snugCenterYZ :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
- Diagrams.ThreeD.Align: snugCenterZ :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
+ Diagrams.ThreeD.Align: snugCenterZ :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
- Diagrams.ThreeD.Align: snugX :: (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
+ Diagrams.ThreeD.Align: snugX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
- Diagrams.ThreeD.Align: snugXMax :: (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
+ Diagrams.ThreeD.Align: snugXMax :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
- Diagrams.ThreeD.Align: snugXMin :: (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
+ Diagrams.ThreeD.Align: snugXMin :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
- Diagrams.ThreeD.Align: snugY :: (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
+ Diagrams.ThreeD.Align: snugY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
- Diagrams.ThreeD.Align: snugYMax :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
+ Diagrams.ThreeD.Align: snugYMax :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
- Diagrams.ThreeD.Align: snugYMin :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
+ Diagrams.ThreeD.Align: snugYMin :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
- Diagrams.ThreeD.Align: snugZ :: (V a ~ v, N a ~ n, Alignable a, Traced a, HasOrigin a, R3 v, Fractional n) => n -> a -> a
+ Diagrams.ThreeD.Align: snugZ :: forall a (v :: Type -> Type) n. (V a ~ v, N a ~ n, Alignable a, Traced a, HasOrigin a, R3 v, Fractional n) => n -> a -> a
- Diagrams.ThreeD.Align: snugZMax :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
+ Diagrams.ThreeD.Align: snugZMax :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
- Diagrams.ThreeD.Align: snugZMin :: (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
+ Diagrams.ThreeD.Align: snugZMin :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Fractional n, Alignable a, HasOrigin a, Traced a) => a -> a
- Diagrams.ThreeD.Attributes: _ambient :: Lens' (Style v n) (Maybe Double)
+ Diagrams.ThreeD.Attributes: _ambient :: forall (v :: Type -> Type) n f. Functor f => (Maybe Double -> f (Maybe Double)) -> Style v n -> f (Style v n)
- Diagrams.ThreeD.Attributes: _diffuse :: Lens' (Style v n) (Maybe Double)
+ Diagrams.ThreeD.Attributes: _diffuse :: forall (v :: Type -> Type) n f. Functor f => (Maybe Double -> f (Maybe Double)) -> Style v n -> f (Style v n)
- Diagrams.ThreeD.Attributes: _highlight :: Lens' (Style v n) (Maybe Specular)
+ Diagrams.ThreeD.Attributes: _highlight :: forall (v :: Type -> Type) n f. Functor f => (Maybe Specular -> f (Maybe Specular)) -> Style v n -> f (Style v n)
- Diagrams.ThreeD.Attributes: _sc :: Lens' (Style v n) (Maybe (Colour Double))
+ Diagrams.ThreeD.Attributes: _sc :: forall (v :: Type -> Type) n f. Functor f => (Maybe (Colour Double) -> f (Maybe (Colour Double))) -> Style v n -> f (Style v n)
- Diagrams.ThreeD.Attributes: highlightIntensity :: Traversal' (Style v n) Double
+ Diagrams.ThreeD.Attributes: highlightIntensity :: forall (v :: Type -> Type) n f. Applicative f => (Double -> f Double) -> Style v n -> f (Style v n)
- Diagrams.ThreeD.Attributes: highlightSize :: Traversal' (Style v n) Double
+ Diagrams.ThreeD.Attributes: highlightSize :: forall (v :: Type -> Type) n f. Applicative f => (Double -> f Double) -> Style v n -> f (Style v n)
- Diagrams.ThreeD.Camera: camAspect :: (Floating n, CameraLens l) => Camera l n -> n
+ Diagrams.ThreeD.Camera: camAspect :: forall n (l :: Type -> Type). (Floating n, CameraLens l) => Camera l n -> n
- Diagrams.ThreeD.Camera: camForward :: Camera l n -> Direction V3 n
+ Diagrams.ThreeD.Camera: camForward :: forall (l :: Type -> Type) n. Camera l n -> Direction V3 n
- Diagrams.ThreeD.Camera: camRight :: Fractional n => Camera l n -> Direction V3 n
+ Diagrams.ThreeD.Camera: camRight :: forall n (l :: Type -> Type). Fractional n => Camera l n -> Direction V3 n
- Diagrams.ThreeD.Camera: camUp :: Camera l n -> Direction V3 n
+ Diagrams.ThreeD.Camera: camUp :: forall (l :: Type -> Type) n. Camera l n -> Direction V3 n
- Diagrams.ThreeD.Camera: data Camera l n
+ Diagrams.ThreeD.Camera: data Camera (l :: Type -> Type) n
- Diagrams.ThreeD.Camera: horizontalFieldOfView :: forall n_aJ6T. Lens' (PerspectiveLens n_aJ6T) (Angle n_aJ6T)
+ Diagrams.ThreeD.Camera: horizontalFieldOfView :: forall n f. Functor f => (Angle n -> f (Angle n)) -> PerspectiveLens n -> f (PerspectiveLens n)
- Diagrams.ThreeD.Camera: orthoHeight :: forall n_aJ9G. Lens' (OrthoLens n_aJ9G) n_aJ9G
+ Diagrams.ThreeD.Camera: orthoHeight :: forall n f. Functor f => (n -> f n) -> OrthoLens n -> f (OrthoLens n)
- Diagrams.ThreeD.Camera: orthoWidth :: forall n_aJ9G. Lens' (OrthoLens n_aJ9G) n_aJ9G
+ Diagrams.ThreeD.Camera: orthoWidth :: forall n f. Functor f => (n -> f n) -> OrthoLens n -> f (OrthoLens n)
- Diagrams.ThreeD.Camera: verticalFieldOfView :: forall n_aJ6T. Lens' (PerspectiveLens n_aJ6T) (Angle n_aJ6T)
+ Diagrams.ThreeD.Camera: verticalFieldOfView :: forall n f. Functor f => (Angle n -> f (Angle n)) -> PerspectiveLens n -> f (PerspectiveLens n)
- Diagrams.ThreeD.Deform: facingX :: (R1 v, Functor v, Fractional n) => Deformation v v n
+ Diagrams.ThreeD.Deform: facingX :: forall (v :: Type -> Type) n. (R1 v, Functor v, Fractional n) => Deformation v v n
- Diagrams.ThreeD.Deform: facingY :: (R2 v, Functor v, Fractional n) => Deformation v v n
+ Diagrams.ThreeD.Deform: facingY :: forall (v :: Type -> Type) n. (R2 v, Functor v, Fractional n) => Deformation v v n
- Diagrams.ThreeD.Deform: facingZ :: (R3 v, Functor v, Fractional n) => Deformation v v n
+ Diagrams.ThreeD.Deform: facingZ :: forall (v :: Type -> Type) n. (R3 v, Functor v, Fractional n) => Deformation v v n
- Diagrams.ThreeD.Deform: parallelX0 :: (R1 v, Num n) => Deformation v v n
+ Diagrams.ThreeD.Deform: parallelX0 :: forall (v :: Type -> Type) n. (R1 v, Num n) => Deformation v v n
- Diagrams.ThreeD.Deform: parallelY0 :: (R2 v, Num n) => Deformation v v n
+ Diagrams.ThreeD.Deform: parallelY0 :: forall (v :: Type -> Type) n. (R2 v, Num n) => Deformation v v n
- Diagrams.ThreeD.Deform: parallelZ0 :: (R3 v, Num n) => Deformation v v n
+ Diagrams.ThreeD.Deform: parallelZ0 :: forall (v :: Type -> Type) n. (R3 v, Num n) => Deformation v v n
- Diagrams.ThreeD.Deform: perspectiveX1 :: (R1 v, Functor v, Fractional n) => Deformation v v n
+ Diagrams.ThreeD.Deform: perspectiveX1 :: forall (v :: Type -> Type) n. (R1 v, Functor v, Fractional n) => Deformation v v n
- Diagrams.ThreeD.Deform: perspectiveY1 :: (R2 v, Functor v, Floating n) => Deformation v v n
+ Diagrams.ThreeD.Deform: perspectiveY1 :: forall (v :: Type -> Type) n. (R2 v, Functor v, Floating n) => Deformation v v n
- Diagrams.ThreeD.Deform: perspectiveZ1 :: (R3 v, Functor v, Fractional n) => Deformation v v n
+ Diagrams.ThreeD.Deform: perspectiveZ1 :: forall (v :: Type -> Type) n. (R3 v, Functor v, Fractional n) => Deformation v v n
- Diagrams.ThreeD.Size: extentX :: (InSpace v n a, R1 v, Enveloped a) => a -> Maybe (n, n)
+ Diagrams.ThreeD.Size: extentX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Enveloped a) => a -> Maybe (n, n)
- Diagrams.ThreeD.Size: extentY :: (InSpace v n a, R2 v, Enveloped a) => a -> Maybe (n, n)
+ Diagrams.ThreeD.Size: extentY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Enveloped a) => a -> Maybe (n, n)
- Diagrams.ThreeD.Size: extentZ :: (InSpace v n a, R3 v, Enveloped a) => a -> Maybe (n, n)
+ Diagrams.ThreeD.Size: extentZ :: forall (v :: Type -> Type) n a. (InSpace v n a, R3 v, Enveloped a) => a -> Maybe (n, n)
- Diagrams.ThreeD.Transform: reflectX :: (InSpace v n t, R1 v, Transformable t) => t -> t
+ Diagrams.ThreeD.Transform: reflectX :: forall (v :: Type -> Type) n t. (InSpace v n t, R1 v, Transformable t) => t -> t
- Diagrams.ThreeD.Transform: reflectY :: (InSpace v n t, R2 v, Transformable t) => t -> t
+ Diagrams.ThreeD.Transform: reflectY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Transformable t) => t -> t
- Diagrams.ThreeD.Transform: reflectZ :: (InSpace v n t, R3 v, Transformable t) => t -> t
+ Diagrams.ThreeD.Transform: reflectZ :: forall (v :: Type -> Type) n t. (InSpace v n t, R3 v, Transformable t) => t -> t
- Diagrams.ThreeD.Transform: reflectionX :: (Additive v, R1 v, Num n) => Transformation v n
+ Diagrams.ThreeD.Transform: reflectionX :: forall (v :: Type -> Type) n. (Additive v, R1 v, Num n) => Transformation v n
- Diagrams.ThreeD.Transform: reflectionY :: (Additive v, R2 v, Num n) => Transformation v n
+ Diagrams.ThreeD.Transform: reflectionY :: forall (v :: Type -> Type) n. (Additive v, R2 v, Num n) => Transformation v n
- Diagrams.ThreeD.Transform: reflectionZ :: (Additive v, R3 v, Num n) => Transformation v n
+ Diagrams.ThreeD.Transform: reflectionZ :: forall (v :: Type -> Type) n. (Additive v, R3 v, Num n) => Transformation v n
- Diagrams.ThreeD.Transform: scaleX :: (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
+ Diagrams.ThreeD.Transform: scaleX :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
- Diagrams.ThreeD.Transform: scaleY :: (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
+ Diagrams.ThreeD.Transform: scaleY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
- Diagrams.ThreeD.Transform: scaleZ :: (InSpace v n t, R3 v, Fractional n, Transformable t) => n -> t -> t
+ Diagrams.ThreeD.Transform: scaleZ :: forall (v :: Type -> Type) n t. (InSpace v n t, R3 v, Fractional n, Transformable t) => n -> t -> t
- Diagrams.ThreeD.Transform: scalingX :: (Additive v, R1 v, Fractional n) => n -> Transformation v n
+ Diagrams.ThreeD.Transform: scalingX :: forall (v :: Type -> Type) n. (Additive v, R1 v, Fractional n) => n -> Transformation v n
- Diagrams.ThreeD.Transform: scalingY :: (Additive v, R2 v, Fractional n) => n -> Transformation v n
+ Diagrams.ThreeD.Transform: scalingY :: forall (v :: Type -> Type) n. (Additive v, R2 v, Fractional n) => n -> Transformation v n
- Diagrams.ThreeD.Transform: scalingZ :: (Additive v, R3 v, Fractional n) => n -> Transformation v n
+ Diagrams.ThreeD.Transform: scalingZ :: forall (v :: Type -> Type) n. (Additive v, R3 v, Fractional n) => n -> Transformation v n
- Diagrams.ThreeD.Transform: translateX :: (InSpace v n t, R1 v, Transformable t) => n -> t -> t
+ Diagrams.ThreeD.Transform: translateX :: forall (v :: Type -> Type) n t. (InSpace v n t, R1 v, Transformable t) => n -> t -> t
- Diagrams.ThreeD.Transform: translateY :: (InSpace v n t, R2 v, Transformable t) => n -> t -> t
+ Diagrams.ThreeD.Transform: translateY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Transformable t) => n -> t -> t
- Diagrams.ThreeD.Transform: translateZ :: (InSpace v n t, R3 v, Transformable t) => n -> t -> t
+ Diagrams.ThreeD.Transform: translateZ :: forall (v :: Type -> Type) n t. (InSpace v n t, R3 v, Transformable t) => n -> t -> t
- Diagrams.ThreeD.Transform: translationX :: (Additive v, R1 v, Num n) => n -> Transformation v n
+ Diagrams.ThreeD.Transform: translationX :: forall (v :: Type -> Type) n. (Additive v, R1 v, Num n) => n -> Transformation v n
- Diagrams.ThreeD.Transform: translationY :: (Additive v, R2 v, Num n) => n -> Transformation v n
+ Diagrams.ThreeD.Transform: translationY :: forall (v :: Type -> Type) n. (Additive v, R2 v, Num n) => n -> Transformation v n
- Diagrams.ThreeD.Transform: translationZ :: (Additive v, R3 v, Num n) => n -> Transformation v n
+ Diagrams.ThreeD.Transform: translationZ :: forall (v :: Type -> Type) n. (Additive v, R3 v, Num n) => n -> Transformation v n
- 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.ThreeD.Types: p3Iso :: Iso' (P3 n) (n, n, n)
+ Diagrams.ThreeD.Types: p3Iso :: forall n p f. (Profunctor p, Functor f) => p (n, n, n) (f (n, n, n)) -> p (P3 n) (f (P3 n))
- Diagrams.ThreeD.Types: r3Iso :: Iso' (V3 n) (n, n, n)
+ Diagrams.ThreeD.Types: r3Iso :: forall n p f. (Profunctor p, Functor f) => p (n, n, n) (f (n, n, n)) -> p (V3 n) (f (V3 n))
- Diagrams.ThreeD.Vector: xDir :: (R1 v, Additive v, Num n) => Direction v n
+ Diagrams.ThreeD.Vector: xDir :: forall (v :: Type -> Type) n. (R1 v, Additive v, Num n) => Direction v n
- Diagrams.ThreeD.Vector: yDir :: (R2 v, Additive v, Num n) => Direction v n
+ Diagrams.ThreeD.Vector: yDir :: forall (v :: Type -> Type) n. (R2 v, Additive v, Num n) => Direction v n
- Diagrams.ThreeD.Vector: zDir :: (R3 v, Additive v, Num n) => Direction v n
+ Diagrams.ThreeD.Vector: zDir :: forall (v :: Type -> Type) n. (R3 v, Additive v, Num n) => Direction v n
- Diagrams.Trace: data () => Trace (v :: Type -> Type) n
+ Diagrams.Trace: data Trace (v :: Type -> Type) n
- Diagrams.Trace: withTrace :: (InSpace v n a, Metric v, OrderedField n, Monoid' m, Traced a) => a -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.Trace: withTrace :: forall (v :: Type -> Type) n a m b. (InSpace v n a, Metric v, OrderedField n, Monoid' m, Traced a) => a -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.Trail: GetSegmentCodomain :: Maybe (v n, Segment Closed v n, AnIso' n n) -> GetSegmentCodomain v n
+ Diagrams.Trail: GetSegmentCodomain :: Maybe (v n, Segment Closed v n, AnIso' n n) -> GetSegmentCodomain (v :: Type -> Type) n
- Diagrams.Trail: SegTree :: FingerTree (SegMeasure v n) (Segment Closed v n) -> SegTree v n
+ Diagrams.Trail: SegTree :: FingerTree (SegMeasure v n) (Segment Closed v n) -> SegTree (v :: Type -> Type) n
- Diagrams.Trail: [Line] :: SegTree v n -> Trail' Line v n
+ Diagrams.Trail: [Line] :: forall (v :: Type -> Type) n. SegTree v n -> Trail' Line v n
- Diagrams.Trail: [Loop] :: SegTree v n -> Segment Open v n -> Trail' Loop v n
+ Diagrams.Trail: [Loop] :: forall (v :: Type -> Type) n. SegTree v n -> Segment Open v n -> Trail' Loop v n
- Diagrams.Trail: [Trail] :: Trail' l v n -> Trail v n
+ Diagrams.Trail: [Trail] :: forall l (v :: Type -> Type) n. Trail' l v n -> Trail v n
- Diagrams.Trail: _Line :: Prism' (Trail v n) (Trail' Line v n)
+ Diagrams.Trail: _Line :: forall (v :: Type -> Type) n p f. (Choice p, Applicative f) => p (Trail' Line v n) (f (Trail' Line v n)) -> p (Trail v n) (f (Trail v n))
- Diagrams.Trail: _LocLine :: Prism' (Located (Trail v n)) (Located (Trail' Line v n))
+ Diagrams.Trail: _LocLine :: forall (v :: Type -> Type) n p f. (Choice p, Applicative f) => p (Located (Trail' Line v n)) (f (Located (Trail' Line v n))) -> p (Located (Trail v n)) (f (Located (Trail v n)))
- Diagrams.Trail: _LocLoop :: Prism' (Located (Trail v n)) (Located (Trail' Loop v n))
+ Diagrams.Trail: _LocLoop :: forall (v :: Type -> Type) n p f. (Choice p, Applicative f) => p (Located (Trail' Loop v n)) (f (Located (Trail' Loop v n))) -> p (Located (Trail v n)) (f (Located (Trail v n)))
- Diagrams.Trail: _Loop :: Prism' (Trail v n) (Trail' Loop v n)
+ Diagrams.Trail: _Loop :: forall (v :: Type -> Type) n p f. (Choice p, Applicative f) => p (Trail' Loop v n) (f (Trail' Loop v n)) -> p (Trail v n) (f (Trail v n))
- Diagrams.Trail: closeLine :: Trail' Line v n -> Trail' Loop v n
+ Diagrams.Trail: closeLine :: forall (v :: Type -> Type) n. Trail' Line v n -> Trail' Loop v n
- Diagrams.Trail: closeTrail :: Trail v n -> Trail v n
+ Diagrams.Trail: closeTrail :: forall (v :: Type -> Type) n. Trail v n -> Trail v n
- Diagrams.Trail: cutLoop :: forall v n. (Metric v, OrderedField n) => Trail' Loop v n -> Trail' Line v n
+ Diagrams.Trail: cutLoop :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Loop v n -> Trail' Line v n
- Diagrams.Trail: cutTrail :: (Metric v, OrderedField n) => Trail v n -> Trail v n
+ Diagrams.Trail: cutTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Trail v n
- Diagrams.Trail: data Trail v n
+ Diagrams.Trail: data Trail (v :: Type -> Type) n
- Diagrams.Trail: data Trail' l v n
+ Diagrams.Trail: data Trail' l (v :: Type -> Type) n
- Diagrams.Trail: emptyLine :: (Metric v, OrderedField n) => Trail' Line v n
+ Diagrams.Trail: emptyLine :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Line v n
- Diagrams.Trail: emptyTrail :: (Metric v, OrderedField n) => Trail v n
+ Diagrams.Trail: emptyTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n
- Diagrams.Trail: fixTrail :: (Metric v, OrderedField n) => Located (Trail v n) -> [FixedSegment v n]
+ Diagrams.Trail: fixTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail v n) -> [FixedSegment v n]
- Diagrams.Trail: glueLine :: (Metric v, OrderedField n) => Trail' Line v n -> Trail' Loop v n
+ Diagrams.Trail: glueLine :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Line v n -> Trail' Loop v n
- Diagrams.Trail: glueTrail :: (Metric v, OrderedField n) => Trail v n -> Trail v n
+ Diagrams.Trail: glueTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Trail v n
- Diagrams.Trail: isLine :: Trail v n -> Bool
+ Diagrams.Trail: isLine :: forall (v :: Type -> Type) n. Trail v n -> Bool
- Diagrams.Trail: isLineEmpty :: (Metric v, OrderedField n) => Trail' Line v n -> Bool
+ Diagrams.Trail: isLineEmpty :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Line v n -> Bool
- Diagrams.Trail: isLoop :: Trail v n -> Bool
+ Diagrams.Trail: isLoop :: forall (v :: Type -> Type) n. Trail v n -> Bool
- Diagrams.Trail: isTrailEmpty :: (Metric v, OrderedField n) => Trail v n -> Bool
+ Diagrams.Trail: isTrailEmpty :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Bool
- Diagrams.Trail: lineFromSegments :: (Metric v, OrderedField n) => [Segment Closed v n] -> Trail' Line v n
+ Diagrams.Trail: lineFromSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => [Segment Closed v n] -> Trail' Line v n
- Diagrams.Trail: lineFromVertices :: (Metric v, OrderedField n) => [Point v n] -> Trail' Line v n
+ Diagrams.Trail: lineFromVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => [Point v n] -> Trail' Line v n
- Diagrams.Trail: linePoints :: (Metric v, OrderedField n) => Located (Trail' Line v n) -> [Point v n]
+ Diagrams.Trail: linePoints :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail' Line v n) -> [Point v n]
- Diagrams.Trail: lineSegments :: Trail' Line v n -> [Segment Closed v n]
+ Diagrams.Trail: lineSegments :: forall (v :: Type -> Type) n. Trail' Line v n -> [Segment Closed v n]
- Diagrams.Trail: lineVertices :: (Metric v, OrderedField n) => Located (Trail' Line v n) -> [Point v n]
+ Diagrams.Trail: lineVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail' Line v n) -> [Point v n]
- Diagrams.Trail: lineVertices' :: (Metric v, OrderedField n) => n -> Located (Trail' Line v n) -> [Point v n]
+ Diagrams.Trail: lineVertices' :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => n -> Located (Trail' Line v n) -> [Point v n]
- Diagrams.Trail: loopFromSegments :: (Metric v, OrderedField n) => [Segment Closed v n] -> Segment Open v n -> Trail' Loop v n
+ Diagrams.Trail: loopFromSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => [Segment Closed v n] -> Segment Open v n -> Trail' Loop v n
- Diagrams.Trail: loopPoints :: (Metric v, OrderedField n) => Located (Trail' Loop v n) -> [Point v n]
+ Diagrams.Trail: loopPoints :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail' Loop v n) -> [Point v n]
- Diagrams.Trail: loopSegments :: Trail' Loop v n -> ([Segment Closed v n], Segment Open v n)
+ Diagrams.Trail: loopSegments :: forall (v :: Type -> Type) n. Trail' Loop v n -> ([Segment Closed v n], Segment Open v n)
- Diagrams.Trail: loopVertices :: (Metric v, OrderedField n) => Located (Trail' Loop v n) -> [Point v n]
+ Diagrams.Trail: loopVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail' Loop v n) -> [Point v n]
- Diagrams.Trail: loopVertices' :: (Metric v, OrderedField n) => n -> Located (Trail' Loop v n) -> [Point v n]
+ Diagrams.Trail: loopVertices' :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => n -> Located (Trail' Loop v n) -> [Point v n]
- Diagrams.Trail: newtype GetSegmentCodomain v n
+ Diagrams.Trail: newtype GetSegmentCodomain (v :: Type -> Type) n
- Diagrams.Trail: newtype SegTree v n
+ Diagrams.Trail: newtype SegTree (v :: Type -> Type) n
- Diagrams.Trail: numSegs :: (Num c, Measured (SegMeasure v n) a) => a -> c
+ Diagrams.Trail: numSegs :: forall c (v :: Type -> Type) n a. (Num c, Measured (SegMeasure v n) a) => a -> c
- Diagrams.Trail: onLine :: (Metric v, OrderedField n) => (Trail' Line v n -> Trail' Line v n) -> Trail v n -> Trail v n
+ Diagrams.Trail: onLine :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => (Trail' Line v n -> Trail' Line v n) -> Trail v n -> Trail v n
- Diagrams.Trail: onLineSegments :: (Metric v, OrderedField n) => ([Segment Closed v n] -> [Segment Closed v n]) -> Trail' Line v n -> Trail' Line v n
+ Diagrams.Trail: onLineSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => ([Segment Closed v n] -> [Segment Closed v n]) -> Trail' Line v n -> Trail' Line v n
- Diagrams.Trail: onTrail :: (Trail' Line v n -> Trail' l1 v n) -> (Trail' Loop v n -> Trail' l2 v n) -> Trail v n -> Trail v n
+ Diagrams.Trail: onTrail :: forall (v :: Type -> Type) n l1 l2. (Trail' Line v n -> Trail' l1 v n) -> (Trail' Loop v n -> Trail' l2 v n) -> Trail v n -> Trail v n
- Diagrams.Trail: reverseLine :: (Metric v, OrderedField n) => Trail' Line v n -> Trail' Line v n
+ Diagrams.Trail: reverseLine :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Line v n -> Trail' Line v n
- Diagrams.Trail: reverseLocLine :: (Metric v, OrderedField n) => Located (Trail' Line v n) -> Located (Trail' Line v n)
+ Diagrams.Trail: reverseLocLine :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail' Line v n) -> Located (Trail' Line v n)
- Diagrams.Trail: reverseLocLoop :: (Metric v, OrderedField n) => Located (Trail' Loop v n) -> Located (Trail' Loop v n)
+ Diagrams.Trail: reverseLocLoop :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail' Loop v n) -> Located (Trail' Loop v n)
- Diagrams.Trail: reverseLocTrail :: (Metric v, OrderedField n) => Located (Trail v n) -> Located (Trail v n)
+ Diagrams.Trail: reverseLocTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail v n) -> Located (Trail v n)
- Diagrams.Trail: reverseLoop :: (Metric v, OrderedField n) => Trail' Loop v n -> Trail' Loop v n
+ Diagrams.Trail: reverseLoop :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail' Loop v n -> Trail' Loop v n
- Diagrams.Trail: reverseTrail :: (Metric v, OrderedField n) => Trail v n -> Trail v n
+ Diagrams.Trail: reverseTrail :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> Trail v n
- Diagrams.Trail: trailFromSegments :: (Metric v, OrderedField n) => [Segment Closed v n] -> Trail v n
+ Diagrams.Trail: trailFromSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => [Segment Closed v n] -> Trail v n
- Diagrams.Trail: trailFromVertices :: (Metric v, OrderedField n) => [Point v n] -> Trail v n
+ Diagrams.Trail: trailFromVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => [Point v n] -> Trail v n
- Diagrams.Trail: trailLocSegments :: (Metric v, OrderedField n) => Located (Trail v n) -> [Located (Segment Closed v n)]
+ Diagrams.Trail: trailLocSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail v n) -> [Located (Segment Closed v n)]
- Diagrams.Trail: trailMeasure :: (SegMeasure v n :>: m, Measured (SegMeasure v n) t) => a -> (m -> a) -> t -> a
+ Diagrams.Trail: trailMeasure :: forall (v :: Type -> Type) n m t a. (SegMeasure v n :>: m, Measured (SegMeasure v n) t) => a -> (m -> a) -> t -> a
- Diagrams.Trail: trailPoints :: (Metric v, OrderedField n) => Located (Trail v n) -> [Point v n]
+ Diagrams.Trail: trailPoints :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail v n) -> [Point v n]
- Diagrams.Trail: trailSegments :: (Metric v, OrderedField n) => Trail v n -> [Segment Closed v n]
+ Diagrams.Trail: trailSegments :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Trail v n -> [Segment Closed v n]
- Diagrams.Trail: trailVertices :: (Metric v, OrderedField n) => Located (Trail v n) -> [Point v n]
+ Diagrams.Trail: trailVertices :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => Located (Trail v n) -> [Point v n]
- Diagrams.Trail: trailVertices' :: (Metric v, OrderedField n) => n -> Located (Trail v n) -> [Point v n]
+ Diagrams.Trail: trailVertices' :: forall (v :: Type -> Type) n. (Metric v, OrderedField n) => n -> Located (Trail v n) -> [Point v n]
- Diagrams.Trail: unfixTrail :: (Metric v, Ord n, Floating n) => [FixedSegment v n] -> Located (Trail v n)
+ Diagrams.Trail: unfixTrail :: forall (v :: Type -> Type) n. (Metric v, Ord n, Floating n) => [FixedSegment v n] -> Located (Trail v n)
- Diagrams.Trail: withLine :: (Metric v, OrderedField n) => (Trail' Line v n -> r) -> Trail v n -> r
+ Diagrams.Trail: withLine :: forall (v :: Type -> Type) n r. (Metric v, OrderedField n) => (Trail' Line v n -> r) -> Trail v n -> r
- Diagrams.Trail: withTrail :: (Trail' Line v n -> r) -> (Trail' Loop v n -> r) -> Trail v n -> r
+ Diagrams.Trail: withTrail :: forall (v :: Type -> Type) n r. (Trail' Line v n -> r) -> (Trail' Loop v n -> r) -> Trail v n -> r
- Diagrams.Trail: withTrail' :: (Trail' Line v n -> r) -> (Trail' Loop v n -> r) -> Trail' l v n -> r
+ Diagrams.Trail: withTrail' :: forall (v :: Type -> Type) n r l. (Trail' Line v n -> r) -> (Trail' Loop v n -> r) -> Trail' l v n -> r
- Diagrams.Trail: wrapLine :: Trail' Line v n -> Trail v n
+ Diagrams.Trail: wrapLine :: forall (v :: Type -> Type) n. Trail' Line v n -> Trail v n
- Diagrams.Trail: wrapLoop :: Trail' Loop v n -> Trail v n
+ Diagrams.Trail: wrapLoop :: forall (v :: Type -> Type) n. Trail' Loop v n -> Trail v n
- Diagrams.Trail: wrapTrail :: Trail' l v n -> Trail v n
+ Diagrams.Trail: wrapTrail :: forall l (v :: Type -> Type) n. Trail' l v n -> Trail v n
- Diagrams.TrailLike: (~~) :: (V t ~ v, N t ~ n, TrailLike t) => Point v n -> Point v n -> t
+ Diagrams.TrailLike: (~~) :: forall t (v :: Type -> Type) n. (V t ~ v, N t ~ n, TrailLike t) => Point v n -> Point v n -> t
- Diagrams.TrailLike: class (Metric (V t), OrderedField (N t)) => TrailLike t
+ Diagrams.TrailLike: class (Metric V t, OrderedField N t) => TrailLike t
- Diagrams.TrailLike: explodeTrail :: (V t ~ v, N t ~ n, TrailLike t) => Located (Trail v n) -> [t]
+ Diagrams.TrailLike: explodeTrail :: forall t (v :: Type -> Type) n. (V t ~ v, N t ~ n, TrailLike t) => Located (Trail v n) -> [t]
- Diagrams.Transform: class () => HasOrigin t
+ Diagrams.Transform: class HasOrigin t
- Diagrams.Transform: class () => Transformable t
+ Diagrams.Transform: class Transformable t
- Diagrams.Transform: conjugate :: (Additive v, Num n) => Transformation v n -> Transformation v n -> Transformation v n
+ Diagrams.Transform: conjugate :: forall (v :: Type -> Type) n. (Additive v, Num n) => Transformation v n -> Transformation v n -> Transformation v n
- Diagrams.Transform: data () => Transformation (v :: Type -> Type) n
+ Diagrams.Transform: data Transformation (v :: Type -> Type) n
- Diagrams.Transform: movedFrom :: (InSpace v n a, SameSpace a b, HasOrigin a, HasOrigin b) => Point v n -> Iso a b a b
+ Diagrams.Transform: movedFrom :: forall (v :: Type -> Type) n a b. (InSpace v n a, SameSpace a b, HasOrigin a, HasOrigin b) => Point v n -> Iso a b a b
- Diagrams.Transform: movedTo :: (InSpace v n a, SameSpace a b, HasOrigin a, HasOrigin b) => Point v n -> Iso a b a b
+ Diagrams.Transform: movedTo :: forall (v :: Type -> Type) n a b. (InSpace v n a, SameSpace a b, HasOrigin a, HasOrigin b) => Point v n -> Iso a b a b
- Diagrams.Transform: transformed :: (InSpace v n a, SameSpace a b, Transformable a, Transformable b) => Transformation v n -> Iso a b a b
+ Diagrams.Transform: transformed :: forall (v :: Type -> Type) n a b. (InSpace v n a, SameSpace a b, Transformable a, Transformable b) => Transformation v n -> Iso a b a b
- Diagrams.Transform: underT :: (InSpace v n a, SameSpace a b, Transformable a, Transformable b) => (a -> b) -> Transformation v n -> a -> b
+ Diagrams.Transform: underT :: forall (v :: Type -> Type) n a b. (InSpace v n a, SameSpace a b, Transformable a, Transformable b) => (a -> b) -> Transformation v n -> a -> b
- Diagrams.Transform.ScaleInv: scaleInvDir :: forall t_aCgc. Lens' (ScaleInv t_aCgc) (Vn t_aCgc)
+ Diagrams.Transform.ScaleInv: scaleInvDir :: forall t f. Functor f => (Vn t -> f (Vn t)) -> ScaleInv t -> f (ScaleInv t)
- Diagrams.Transform.ScaleInv: scaleInvLoc :: forall t_aCgc. Lens' (ScaleInv t_aCgc) (Point (V t_aCgc) (N t_aCgc))
+ Diagrams.Transform.ScaleInv: scaleInvLoc :: forall t f. Functor f => (Point (V t) (N t) -> f (Point (V t) (N t))) -> ScaleInv t -> f (ScaleInv t)
- Diagrams.Transform.ScaleInv: scaleInvObj :: forall t_aCgc. Lens' (ScaleInv t_aCgc) t_aCgc
+ Diagrams.Transform.ScaleInv: scaleInvObj :: forall t f. Functor f => (t -> f t) -> ScaleInv t -> f (ScaleInv t)
- Diagrams.TwoD: [DImage] :: ImageData t -> Int -> Int -> Transformation V2 n -> DImage n t
+ Diagrams.TwoD: [DImage] :: forall b a. ImageData b -> Int -> Int -> Transformation V2 a -> DImage a b
- Diagrams.TwoD: [ImageNative] :: t -> ImageData (Native t)
+ Diagrams.TwoD: [ImageNative] :: forall t. t -> ImageData (Native t)
- Diagrams.TwoD: _AC :: Prism' (Texture n) (AlphaColour Double)
+ Diagrams.TwoD: _AC :: forall n p f. (Choice p, Applicative f) => p (AlphaColour Double) (f (AlphaColour Double)) -> p (Texture n) (f (Texture n))
- Diagrams.TwoD: _Clip :: Iso (Clip n) (Clip n') [Path V2 n] [Path V2 n']
+ Diagrams.TwoD: _Clip :: forall n n' p f. (Profunctor p, Functor f) => p [Path V2 n] (f [Path V2 n']) -> p (Clip n) (f (Clip n'))
- Diagrams.TwoD: _FillTexture :: Iso' (FillTexture n) (Recommend (Texture n))
+ Diagrams.TwoD: _FillTexture :: forall n p f. (Profunctor p, Functor f) => p (Recommend (Texture n)) (f (Recommend (Texture n))) -> p (FillTexture n) (f (FillTexture n))
- Diagrams.TwoD: _LG :: forall n_a1S5c. Prism' (Texture n_a1S5c) (LGradient n_a1S5c)
+ Diagrams.TwoD: _LG :: forall n p f. (Choice p, Applicative f) => p (LGradient n) (f (LGradient n)) -> p (Texture n) (f (Texture n))
- Diagrams.TwoD: _LineTexture :: Iso (LineTexture n) (LineTexture n') (Texture n) (Texture n')
+ Diagrams.TwoD: _LineTexture :: forall n n' p f. (Profunctor p, Functor f) => p (Texture n) (f (Texture n')) -> p (LineTexture n) (f (LineTexture n'))
- Diagrams.TwoD: _RG :: forall n_a1S5c. Prism' (Texture n_a1S5c) (RGradient n_a1S5c)
+ Diagrams.TwoD: _RG :: forall n p f. (Choice p, Applicative f) => p (RGradient n) (f (RGradient n)) -> p (Texture n) (f (Texture n))
- Diagrams.TwoD: _SC :: forall n_a1S5c. Prism' (Texture n_a1S5c) SomeColor
+ Diagrams.TwoD: _SC :: forall n p f. (Choice p, Applicative f) => p SomeColor (f SomeColor) -> p (Texture n) (f (Texture n))
- Diagrams.TwoD: _fillRule :: Lens' (Style V2 n) FillRule
+ Diagrams.TwoD: _fillRule :: forall n f. Functor f => (FillRule -> f FillRule) -> Style V2 n -> f (Style V2 n)
- Diagrams.TwoD: _font :: Lens' (Style v n) (Maybe String)
+ Diagrams.TwoD: _font :: forall (v :: Type -> Type) n f. Functor f => (Maybe String -> f (Maybe String)) -> Style v n -> f (Style v n)
- Diagrams.TwoD: _fontSize :: (Typeable n, OrderedField n) => Lens' (Style v n) (Measure n)
+ Diagrams.TwoD: _fontSize :: forall n (v :: Type -> Type). (Typeable n, OrderedField n) => Lens' (Style v n) (Measure n)
- Diagrams.TwoD: _fontSizeR :: (Typeable n, OrderedField n) => Lens' (Style v n) (Measured n (Recommend n))
+ Diagrams.TwoD: _fontSizeR :: forall n (v :: Type -> Type). (Typeable n, OrderedField n) => Lens' (Style v n) (Measured n (Recommend n))
- Diagrams.TwoD: alignX :: (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
+ Diagrams.TwoD: alignX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
- Diagrams.TwoD: alignY :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
+ Diagrams.TwoD: alignY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
- Diagrams.TwoD: arrowHead :: Lens' (ArrowOpts n) (ArrowHT n)
+ Diagrams.TwoD: arrowHead :: forall n f. Functor f => (ArrowHT n -> f (ArrowHT n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: arrowShaft :: Lens' (ArrowOpts n) (Trail V2 n)
+ Diagrams.TwoD: arrowShaft :: forall n f. Functor f => (Trail V2 n -> f (Trail V2 n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: arrowTail :: Lens' (ArrowOpts n) (ArrowHT n)
+ Diagrams.TwoD: arrowTail :: forall n f. Functor f => (ArrowHT n -> f (ArrowHT n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: centerX :: (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.TwoD: centerX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.TwoD: centerXY :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.TwoD: centerXY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.TwoD: centerY :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.TwoD: centerY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.TwoD: class HasR t
+ Diagrams.TwoD: class HasR (t :: Type -> Type)
- Diagrams.TwoD: class () => R1 (t :: Type -> Type)
+ Diagrams.TwoD: class R1 (t :: Type -> Type)
- Diagrams.TwoD: data DImage :: Type -> Type -> Type
+ Diagrams.TwoD: data DImage a b
- Diagrams.TwoD: data ImageData :: Type -> Type
+ Diagrams.TwoD: data ImageData a
- Diagrams.TwoD: data Native (t :: Type)
+ Diagrams.TwoD: data Native t
- Diagrams.TwoD: data () => V2 a
+ Diagrams.TwoD: data V2 a
- Diagrams.TwoD: eColor :: forall n_a2aFA. Lens' (EnvelopeOpts n_a2aFA) (Colour Double)
+ Diagrams.TwoD: eColor :: forall n f. Functor f => (Colour Double -> f (Colour Double)) -> EnvelopeOpts n -> f (EnvelopeOpts n)
- Diagrams.TwoD: eLineWidth :: forall n_a2aFA n_a2aIz. Lens (EnvelopeOpts n_a2aFA) (EnvelopeOpts n_a2aIz) (Measure n_a2aFA) (Measure n_a2aIz)
+ Diagrams.TwoD: eLineWidth :: forall n1 n2 f. Functor f => (Measure n1 -> f (Measure n2)) -> EnvelopeOpts n1 -> f (EnvelopeOpts n2)
- Diagrams.TwoD: ePoints :: forall n_a2aFA. Lens' (EnvelopeOpts n_a2aFA) Int
+ Diagrams.TwoD: ePoints :: forall n f. Functor f => (Int -> f Int) -> EnvelopeOpts n -> f (EnvelopeOpts n)
- Diagrams.TwoD: extentX :: (InSpace v n a, R1 v, Enveloped a) => a -> Maybe (n, n)
+ Diagrams.TwoD: extentX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Enveloped a) => a -> Maybe (n, n)
- Diagrams.TwoD: extentY :: (InSpace v n a, R2 v, Enveloped a) => a -> Maybe (n, n)
+ Diagrams.TwoD: extentY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Enveloped a) => a -> Maybe (n, n)
- Diagrams.TwoD: facingX :: (R1 v, Functor v, Fractional n) => Deformation v v n
+ Diagrams.TwoD: facingX :: forall (v :: Type -> Type) n. (R1 v, Functor v, Fractional n) => Deformation v v n
- Diagrams.TwoD: facingY :: (R2 v, Functor v, Fractional n) => Deformation v v n
+ Diagrams.TwoD: facingY :: forall (v :: Type -> Type) n. (R2 v, Functor v, Fractional n) => Deformation v v n
- Diagrams.TwoD: gap :: Traversal' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD: gap :: forall n f. Applicative f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: gaps :: Traversal' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD: gaps :: forall n f. Applicative f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: headGap :: Lens' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD: headGap :: forall n f. Functor f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: headLength :: Lens' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD: headLength :: forall n f. Functor f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: headStyle :: Lens' (ArrowOpts n) (Style V2 n)
+ Diagrams.TwoD: headStyle :: forall n f. Functor f => (Style V2 n -> f (Style V2 n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: lGradEnd :: Lens' (LGradient n) (Point V2 n)
+ Diagrams.TwoD: lGradEnd :: forall n f. Functor f => (Point V2 n -> f (Point V2 n)) -> LGradient n -> f (LGradient n)
- Diagrams.TwoD: lGradSpreadMethod :: Lens' (LGradient n) SpreadMethod
+ Diagrams.TwoD: lGradSpreadMethod :: forall n f. Functor f => (SpreadMethod -> f SpreadMethod) -> LGradient n -> f (LGradient n)
- Diagrams.TwoD: lGradStart :: Lens' (LGradient n) (Point V2 n)
+ Diagrams.TwoD: lGradStart :: forall n f. Functor f => (Point V2 n -> f (Point V2 n)) -> LGradient n -> f (LGradient n)
- Diagrams.TwoD: lGradStops :: Lens' (LGradient n) [GradientStop n]
+ Diagrams.TwoD: lGradStops :: forall n f. Functor f => ([GradientStop n] -> f [GradientStop n]) -> LGradient n -> f (LGradient n)
- Diagrams.TwoD: lGradTrans :: Lens' (LGradient n) (Transformation V2 n)
+ Diagrams.TwoD: lGradTrans :: forall n f. Functor f => (Transformation V2 n -> f (Transformation V2 n)) -> LGradient n -> f (LGradient n)
- Diagrams.TwoD: lengths :: Traversal' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD: lengths :: forall n f. Applicative f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: oColor :: forall n_a2aEv. Lens' (OriginOpts n_a2aEv) (Colour Double)
+ Diagrams.TwoD: oColor :: forall n f. Functor f => (Colour Double -> f (Colour Double)) -> OriginOpts n -> f (OriginOpts n)
- Diagrams.TwoD: oMinSize :: forall n_a2aEv. Lens' (OriginOpts n_a2aEv) n_a2aEv
+ Diagrams.TwoD: oMinSize :: forall n f. Functor f => (n -> f n) -> OriginOpts n -> f (OriginOpts n)
- Diagrams.TwoD: oScale :: forall n_a2aEv. Lens' (OriginOpts n_a2aEv) n_a2aEv
+ Diagrams.TwoD: oScale :: forall n f. Functor f => (n -> f n) -> OriginOpts n -> f (OriginOpts n)
- Diagrams.TwoD: padX :: (Metric v, R2 v, OrderedField n, Monoid' m) => n -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.TwoD: padX :: forall (v :: Type -> Type) n m b. (Metric v, R2 v, OrderedField n, Monoid' m) => n -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.TwoD: padY :: (Metric v, R2 v, Monoid' m, OrderedField n) => n -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.TwoD: padY :: forall (v :: Type -> Type) m n b. (Metric v, R2 v, Monoid' m, OrderedField n) => n -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.TwoD: parallelX0 :: (R1 v, Num n) => Deformation v v n
+ Diagrams.TwoD: parallelX0 :: forall (v :: Type -> Type) n. (R1 v, Num n) => Deformation v v n
- Diagrams.TwoD: parallelY0 :: (R2 v, Num n) => Deformation v v n
+ Diagrams.TwoD: parallelY0 :: forall (v :: Type -> Type) n. (R2 v, Num n) => Deformation v v n
- Diagrams.TwoD: perspectiveX1 :: (R1 v, Functor v, Fractional n) => Deformation v v n
+ Diagrams.TwoD: perspectiveX1 :: forall (v :: Type -> Type) n. (R1 v, Functor v, Fractional n) => Deformation v v n
- Diagrams.TwoD: perspectiveY1 :: (R2 v, Functor v, Floating n) => Deformation v v n
+ Diagrams.TwoD: perspectiveY1 :: forall (v :: Type -> Type) n. (R2 v, Functor v, Floating n) => Deformation v v n
- Diagrams.TwoD: polyCenter :: Lens' (PolygonOpts n) (Point V2 n)
+ Diagrams.TwoD: polyCenter :: forall n f. Functor f => (Point V2 n -> f (Point V2 n)) -> PolygonOpts n -> f (PolygonOpts n)
- Diagrams.TwoD: polyOrient :: Lens' (PolygonOpts n) (PolyOrientation n)
+ Diagrams.TwoD: polyOrient :: forall n f. Functor f => (PolyOrientation n -> f (PolyOrientation n)) -> PolygonOpts n -> f (PolygonOpts n)
- Diagrams.TwoD: polyType :: Lens' (PolygonOpts n) (PolyType n)
+ Diagrams.TwoD: polyType :: forall n f. Functor f => (PolyType n -> f (PolyType n)) -> PolygonOpts n -> f (PolygonOpts n)
- Diagrams.TwoD: queryFillRule :: Lens' (StrokeOpts a) FillRule
+ Diagrams.TwoD: queryFillRule :: forall a f. Functor f => (FillRule -> f FillRule) -> StrokeOpts a -> f (StrokeOpts a)
- Diagrams.TwoD: rGradCenter0 :: Lens' (RGradient n) (Point V2 n)
+ Diagrams.TwoD: rGradCenter0 :: forall n f. Functor f => (Point V2 n -> f (Point V2 n)) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD: rGradCenter1 :: Lens' (RGradient n) (Point V2 n)
+ Diagrams.TwoD: rGradCenter1 :: forall n f. Functor f => (Point V2 n -> f (Point V2 n)) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD: rGradRadius0 :: Lens' (RGradient n) n
+ Diagrams.TwoD: rGradRadius0 :: forall n f. Functor f => (n -> f n) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD: rGradRadius1 :: Lens' (RGradient n) n
+ Diagrams.TwoD: rGradRadius1 :: forall n f. Functor f => (n -> f n) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD: rGradSpreadMethod :: Lens' (RGradient n) SpreadMethod
+ Diagrams.TwoD: rGradSpreadMethod :: forall n f. Functor f => (SpreadMethod -> f SpreadMethod) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD: rGradStops :: Lens' (RGradient n) [GradientStop n]
+ Diagrams.TwoD: rGradStops :: forall n f. Functor f => ([GradientStop n] -> f [GradientStop n]) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD: rGradTrans :: Lens' (RGradient n) (Transformation V2 n)
+ Diagrams.TwoD: rGradTrans :: forall n f. Functor f => (Transformation V2 n -> f (Transformation V2 n)) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD: radiusBL :: forall d_a1Gf1. Lens' (RoundedRectOpts d_a1Gf1) d_a1Gf1
+ Diagrams.TwoD: radiusBL :: forall d f. Functor f => (d -> f d) -> RoundedRectOpts d -> f (RoundedRectOpts d)
- Diagrams.TwoD: radiusBR :: forall d_a1Gf1. Lens' (RoundedRectOpts d_a1Gf1) d_a1Gf1
+ Diagrams.TwoD: radiusBR :: forall d f. Functor f => (d -> f d) -> RoundedRectOpts d -> f (RoundedRectOpts d)
- Diagrams.TwoD: radiusTL :: forall d_a1Gf1. Lens' (RoundedRectOpts d_a1Gf1) d_a1Gf1
+ Diagrams.TwoD: radiusTL :: forall d f. Functor f => (d -> f d) -> RoundedRectOpts d -> f (RoundedRectOpts d)
- Diagrams.TwoD: radiusTR :: forall d_a1Gf1. Lens' (RoundedRectOpts d_a1Gf1) d_a1Gf1
+ Diagrams.TwoD: radiusTR :: forall d f. Functor f => (d -> f d) -> RoundedRectOpts d -> f (RoundedRectOpts d)
- Diagrams.TwoD: reflectX :: (InSpace v n t, R1 v, Transformable t) => t -> t
+ Diagrams.TwoD: reflectX :: forall (v :: Type -> Type) n t. (InSpace v n t, R1 v, Transformable t) => t -> t
- Diagrams.TwoD: reflectXY :: (InSpace v n t, R2 v, Transformable t) => t -> t
+ Diagrams.TwoD: reflectXY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Transformable t) => t -> t
- Diagrams.TwoD: reflectY :: (InSpace v n t, R2 v, Transformable t) => t -> t
+ Diagrams.TwoD: reflectY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Transformable t) => t -> t
- Diagrams.TwoD: reflectionX :: (Additive v, R1 v, Num n) => Transformation v n
+ Diagrams.TwoD: reflectionX :: forall (v :: Type -> Type) n. (Additive v, R1 v, Num n) => Transformation v n
- Diagrams.TwoD: reflectionXY :: (Additive v, R2 v, Num n) => Transformation v n
+ Diagrams.TwoD: reflectionXY :: forall (v :: Type -> Type) n. (Additive v, R2 v, Num n) => Transformation v n
- Diagrams.TwoD: reflectionY :: (Additive v, R2 v, Num n) => Transformation v n
+ Diagrams.TwoD: reflectionY :: forall (v :: Type -> Type) n. (Additive v, R2 v, Num n) => Transformation v n
- Diagrams.TwoD: scaleToX :: (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
+ Diagrams.TwoD: scaleToX :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
- Diagrams.TwoD: scaleToY :: (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
+ Diagrams.TwoD: scaleToY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
- Diagrams.TwoD: scaleUToX :: (InSpace v n t, R1 v, Enveloped t, Transformable t) => n -> t -> t
+ Diagrams.TwoD: scaleUToX :: forall (v :: Type -> Type) n t. (InSpace v n t, R1 v, Enveloped t, Transformable t) => n -> t -> t
- Diagrams.TwoD: scaleUToY :: (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
+ Diagrams.TwoD: scaleUToY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
- Diagrams.TwoD: scaleX :: (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
+ Diagrams.TwoD: scaleX :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
- Diagrams.TwoD: scaleY :: (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
+ Diagrams.TwoD: scaleY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
- Diagrams.TwoD: scalingX :: (Additive v, R1 v, Fractional n) => n -> Transformation v n
+ Diagrams.TwoD: scalingX :: forall (v :: Type -> Type) n. (Additive v, R1 v, Fractional n) => n -> Transformation v n
- Diagrams.TwoD: scalingY :: (Additive v, R2 v, Fractional n) => n -> Transformation v n
+ Diagrams.TwoD: scalingY :: forall (v :: Type -> Type) n. (Additive v, R2 v, Fractional n) => n -> Transformation v n
- Diagrams.TwoD: shaftStyle :: Lens' (ArrowOpts n) (Style V2 n)
+ Diagrams.TwoD: shaftStyle :: forall n f. Functor f => (Style V2 n -> f (Style V2 n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: snugCenterX :: (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
+ Diagrams.TwoD: snugCenterX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
- Diagrams.TwoD: snugCenterXY :: (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
+ Diagrams.TwoD: snugCenterXY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
- Diagrams.TwoD: snugCenterY :: (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
+ Diagrams.TwoD: snugCenterY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
- Diagrams.TwoD: snugX :: (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
+ Diagrams.TwoD: snugX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
- Diagrams.TwoD: snugY :: (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
+ Diagrams.TwoD: snugY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
- Diagrams.TwoD: stopColor :: Lens' (GradientStop n) SomeColor
+ Diagrams.TwoD: stopColor :: forall n f. Functor f => (SomeColor -> f SomeColor) -> GradientStop n -> f (GradientStop n)
- Diagrams.TwoD: stopFraction :: Lens' (GradientStop n) n
+ Diagrams.TwoD: stopFraction :: forall n f. Functor f => (n -> f n) -> GradientStop n -> f (GradientStop n)
- Diagrams.TwoD: strutX :: (Metric v, R1 v, OrderedField n) => n -> QDiagram b v n m
+ Diagrams.TwoD: strutX :: forall (v :: Type -> Type) n b m. (Metric v, R1 v, OrderedField n) => n -> QDiagram b v n m
- Diagrams.TwoD: strutY :: (Metric v, R2 v, OrderedField n) => n -> QDiagram b v n m
+ Diagrams.TwoD: strutY :: forall (v :: Type -> Type) n b m. (Metric v, R2 v, OrderedField n) => n -> QDiagram b v n m
- Diagrams.TwoD: tColor :: forall n_a2aIY. Lens' (TraceOpts n_a2aIY) (Colour Double)
+ Diagrams.TwoD: tColor :: forall n f. Functor f => (Colour Double -> f (Colour Double)) -> TraceOpts n -> f (TraceOpts n)
- Diagrams.TwoD: tMinSize :: forall n_a2aIY. Lens' (TraceOpts n_a2aIY) n_a2aIY
+ Diagrams.TwoD: tMinSize :: forall n f. Functor f => (n -> f n) -> TraceOpts n -> f (TraceOpts n)
- Diagrams.TwoD: tPoints :: forall n_a2aIY. Lens' (TraceOpts n_a2aIY) Int
+ Diagrams.TwoD: tPoints :: forall n f. Functor f => (Int -> f Int) -> TraceOpts n -> f (TraceOpts n)
- Diagrams.TwoD: tScale :: forall n_a2aIY. Lens' (TraceOpts n_a2aIY) n_a2aIY
+ Diagrams.TwoD: tScale :: forall n f. Functor f => (n -> f n) -> TraceOpts n -> f (TraceOpts n)
- Diagrams.TwoD: tailGap :: Lens' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD: tailGap :: forall n f. Functor f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: tailLength :: Lens' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD: tailLength :: forall n f. Functor f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: tailStyle :: Lens' (ArrowOpts n) (Style V2 n)
+ Diagrams.TwoD: tailStyle :: forall n f. Functor f => (Style V2 n -> f (Style V2 n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD: translateX :: (InSpace v n t, R1 v, Transformable t) => n -> t -> t
+ Diagrams.TwoD: translateX :: forall (v :: Type -> Type) n t. (InSpace v n t, R1 v, Transformable t) => n -> t -> t
- Diagrams.TwoD: translateY :: (InSpace v n t, R2 v, Transformable t) => n -> t -> t
+ Diagrams.TwoD: translateY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Transformable t) => n -> t -> t
- Diagrams.TwoD: translationX :: (Additive v, R1 v, Num n) => n -> Transformation v n
+ Diagrams.TwoD: translationX :: forall (v :: Type -> Type) n. (Additive v, R1 v, Num n) => n -> Transformation v n
- Diagrams.TwoD: translationY :: (Additive v, R2 v, Num n) => n -> Transformation v n
+ Diagrams.TwoD: translationY :: forall (v :: Type -> Type) n. (Additive v, R2 v, Num n) => n -> Transformation v n
- Diagrams.TwoD: vertexNames :: Lens (StrokeOpts a) (StrokeOpts a') [[a]] [[a']]
+ Diagrams.TwoD: vertexNames :: forall a a' f. Functor f => ([[a]] -> f [[a']]) -> StrokeOpts a -> f (StrokeOpts a')
- Diagrams.TwoD: xDir :: (R1 v, Additive v, Num n) => Direction v n
+ Diagrams.TwoD: xDir :: forall (v :: Type -> Type) n. (R1 v, Additive v, Num n) => Direction v n
- Diagrams.TwoD: yDir :: (R2 v, Additive v, Num n) => Direction v n
+ Diagrams.TwoD: yDir :: forall (v :: Type -> Type) n. (R2 v, Additive v, Num n) => Direction v n
- Diagrams.TwoD.Align: alignX :: (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
+ Diagrams.TwoD.Align: alignX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
- Diagrams.TwoD.Align: alignY :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
+ Diagrams.TwoD.Align: alignY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => n -> a -> a
- Diagrams.TwoD.Align: centerX :: (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.TwoD.Align: centerX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.TwoD.Align: centerXY :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.TwoD.Align: centerXY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.TwoD.Align: centerY :: (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
+ Diagrams.TwoD.Align: centerY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, HasOrigin a) => a -> a
- Diagrams.TwoD.Align: snugCenterX :: (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
+ Diagrams.TwoD.Align: snugCenterX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
- Diagrams.TwoD.Align: snugCenterXY :: (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
+ Diagrams.TwoD.Align: snugCenterXY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
- Diagrams.TwoD.Align: snugCenterY :: (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
+ Diagrams.TwoD.Align: snugCenterY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => a -> a
- Diagrams.TwoD.Align: snugX :: (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
+ Diagrams.TwoD.Align: snugX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
- Diagrams.TwoD.Align: snugY :: (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
+ Diagrams.TwoD.Align: snugY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Fractional n, Alignable a, Traced a, HasOrigin a) => n -> a -> a
- Diagrams.TwoD.Arrow: arrowHead :: Lens' (ArrowOpts n) (ArrowHT n)
+ Diagrams.TwoD.Arrow: arrowHead :: forall n f. Functor f => (ArrowHT n -> f (ArrowHT n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: arrowShaft :: Lens' (ArrowOpts n) (Trail V2 n)
+ Diagrams.TwoD.Arrow: arrowShaft :: forall n f. Functor f => (Trail V2 n -> f (Trail V2 n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: arrowTail :: Lens' (ArrowOpts n) (ArrowHT n)
+ Diagrams.TwoD.Arrow: arrowTail :: forall n f. Functor f => (ArrowHT n -> f (ArrowHT n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: gap :: Traversal' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD.Arrow: gap :: forall n f. Applicative f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: gaps :: Traversal' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD.Arrow: gaps :: forall n f. Applicative f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: headGap :: Lens' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD.Arrow: headGap :: forall n f. Functor f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: headLength :: Lens' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD.Arrow: headLength :: forall n f. Functor f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: headStyle :: Lens' (ArrowOpts n) (Style V2 n)
+ Diagrams.TwoD.Arrow: headStyle :: forall n f. Functor f => (Style V2 n -> f (Style V2 n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: lengths :: Traversal' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD.Arrow: lengths :: forall n f. Applicative f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: shaftStyle :: Lens' (ArrowOpts n) (Style V2 n)
+ Diagrams.TwoD.Arrow: shaftStyle :: forall n f. Functor f => (Style V2 n -> f (Style V2 n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: tailGap :: Lens' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD.Arrow: tailGap :: forall n f. Functor f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: tailLength :: Lens' (ArrowOpts n) (Measure n)
+ Diagrams.TwoD.Arrow: tailLength :: forall n f. Functor f => (Measure n -> f (Measure n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrow: tailStyle :: Lens' (ArrowOpts n) (Style V2 n)
+ Diagrams.TwoD.Arrow: tailStyle :: forall n f. Functor f => (Style V2 n -> f (Style V2 n)) -> ArrowOpts n -> f (ArrowOpts n)
- Diagrams.TwoD.Arrowheads: arrowtailBlock :: forall n. RealFloat n => Angle n -> ArrowHT n
+ Diagrams.TwoD.Arrowheads: arrowtailBlock :: RealFloat n => Angle n -> ArrowHT n
- Diagrams.TwoD.Attributes: _AC :: Prism' (Texture n) (AlphaColour Double)
+ Diagrams.TwoD.Attributes: _AC :: forall n p f. (Choice p, Applicative f) => p (AlphaColour Double) (f (AlphaColour Double)) -> p (Texture n) (f (Texture n))
- Diagrams.TwoD.Attributes: _FillTexture :: Iso' (FillTexture n) (Recommend (Texture n))
+ Diagrams.TwoD.Attributes: _FillTexture :: forall n p f. (Profunctor p, Functor f) => p (Recommend (Texture n)) (f (Recommend (Texture n))) -> p (FillTexture n) (f (FillTexture n))
- Diagrams.TwoD.Attributes: _LG :: forall n_a1S5c. Prism' (Texture n_a1S5c) (LGradient n_a1S5c)
+ Diagrams.TwoD.Attributes: _LG :: forall n p f. (Choice p, Applicative f) => p (LGradient n) (f (LGradient n)) -> p (Texture n) (f (Texture n))
- Diagrams.TwoD.Attributes: _LineTexture :: Iso (LineTexture n) (LineTexture n') (Texture n) (Texture n')
+ Diagrams.TwoD.Attributes: _LineTexture :: forall n n' p f. (Profunctor p, Functor f) => p (Texture n) (f (Texture n')) -> p (LineTexture n) (f (LineTexture n'))
- Diagrams.TwoD.Attributes: _RG :: forall n_a1S5c. Prism' (Texture n_a1S5c) (RGradient n_a1S5c)
+ Diagrams.TwoD.Attributes: _RG :: forall n p f. (Choice p, Applicative f) => p (RGradient n) (f (RGradient n)) -> p (Texture n) (f (Texture n))
- Diagrams.TwoD.Attributes: _SC :: forall n_a1S5c. Prism' (Texture n_a1S5c) SomeColor
+ Diagrams.TwoD.Attributes: _SC :: forall n p f. (Choice p, Applicative f) => p SomeColor (f SomeColor) -> p (Texture n) (f (Texture n))
- Diagrams.TwoD.Attributes: lGradEnd :: Lens' (LGradient n) (Point V2 n)
+ Diagrams.TwoD.Attributes: lGradEnd :: forall n f. Functor f => (Point V2 n -> f (Point V2 n)) -> LGradient n -> f (LGradient n)
- Diagrams.TwoD.Attributes: lGradSpreadMethod :: Lens' (LGradient n) SpreadMethod
+ Diagrams.TwoD.Attributes: lGradSpreadMethod :: forall n f. Functor f => (SpreadMethod -> f SpreadMethod) -> LGradient n -> f (LGradient n)
- Diagrams.TwoD.Attributes: lGradStart :: Lens' (LGradient n) (Point V2 n)
+ Diagrams.TwoD.Attributes: lGradStart :: forall n f. Functor f => (Point V2 n -> f (Point V2 n)) -> LGradient n -> f (LGradient n)
- Diagrams.TwoD.Attributes: lGradStops :: Lens' (LGradient n) [GradientStop n]
+ Diagrams.TwoD.Attributes: lGradStops :: forall n f. Functor f => ([GradientStop n] -> f [GradientStop n]) -> LGradient n -> f (LGradient n)
- Diagrams.TwoD.Attributes: lGradTrans :: Lens' (LGradient n) (Transformation V2 n)
+ Diagrams.TwoD.Attributes: lGradTrans :: forall n f. Functor f => (Transformation V2 n -> f (Transformation V2 n)) -> LGradient n -> f (LGradient n)
- Diagrams.TwoD.Attributes: rGradCenter0 :: Lens' (RGradient n) (Point V2 n)
+ Diagrams.TwoD.Attributes: rGradCenter0 :: forall n f. Functor f => (Point V2 n -> f (Point V2 n)) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD.Attributes: rGradCenter1 :: Lens' (RGradient n) (Point V2 n)
+ Diagrams.TwoD.Attributes: rGradCenter1 :: forall n f. Functor f => (Point V2 n -> f (Point V2 n)) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD.Attributes: rGradRadius0 :: Lens' (RGradient n) n
+ Diagrams.TwoD.Attributes: rGradRadius0 :: forall n f. Functor f => (n -> f n) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD.Attributes: rGradRadius1 :: Lens' (RGradient n) n
+ Diagrams.TwoD.Attributes: rGradRadius1 :: forall n f. Functor f => (n -> f n) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD.Attributes: rGradSpreadMethod :: Lens' (RGradient n) SpreadMethod
+ Diagrams.TwoD.Attributes: rGradSpreadMethod :: forall n f. Functor f => (SpreadMethod -> f SpreadMethod) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD.Attributes: rGradStops :: Lens' (RGradient n) [GradientStop n]
+ Diagrams.TwoD.Attributes: rGradStops :: forall n f. Functor f => ([GradientStop n] -> f [GradientStop n]) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD.Attributes: rGradTrans :: Lens' (RGradient n) (Transformation V2 n)
+ Diagrams.TwoD.Attributes: rGradTrans :: forall n f. Functor f => (Transformation V2 n -> f (Transformation V2 n)) -> RGradient n -> f (RGradient n)
- Diagrams.TwoD.Attributes: splitTextureFills :: forall b v n a. Typeable n => RTree b v n a -> RTree b v n a
+ Diagrams.TwoD.Attributes: splitTextureFills :: forall b (v :: Type -> Type) n a. Typeable n => RTree b v n a -> RTree b v n a
- Diagrams.TwoD.Attributes: stopColor :: Lens' (GradientStop n) SomeColor
+ Diagrams.TwoD.Attributes: stopColor :: forall n f. Functor f => (SomeColor -> f SomeColor) -> GradientStop n -> f (GradientStop n)
- Diagrams.TwoD.Attributes: stopFraction :: Lens' (GradientStop n) n
+ Diagrams.TwoD.Attributes: stopFraction :: forall n f. Functor f => (n -> f n) -> GradientStop n -> f (GradientStop n)
- Diagrams.TwoD.Combinators: padX :: (Metric v, R2 v, OrderedField n, Monoid' m) => n -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.TwoD.Combinators: padX :: forall (v :: Type -> Type) n m b. (Metric v, R2 v, OrderedField n, Monoid' m) => n -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.TwoD.Combinators: padY :: (Metric v, R2 v, Monoid' m, OrderedField n) => n -> QDiagram b v n m -> QDiagram b v n m
+ Diagrams.TwoD.Combinators: padY :: forall (v :: Type -> Type) m n b. (Metric v, R2 v, Monoid' m, OrderedField n) => n -> QDiagram b v n m -> QDiagram b v n m
- Diagrams.TwoD.Combinators: strutX :: (Metric v, R1 v, OrderedField n) => n -> QDiagram b v n m
+ Diagrams.TwoD.Combinators: strutX :: forall (v :: Type -> Type) n b m. (Metric v, R1 v, OrderedField n) => n -> QDiagram b v n m
- Diagrams.TwoD.Combinators: strutY :: (Metric v, R2 v, OrderedField n) => n -> QDiagram b v n m
+ Diagrams.TwoD.Combinators: strutY :: forall (v :: Type -> Type) n b m. (Metric v, R2 v, OrderedField n) => n -> QDiagram b v n m
- Diagrams.TwoD.Deform: facingX :: (R1 v, Functor v, Fractional n) => Deformation v v n
+ Diagrams.TwoD.Deform: facingX :: forall (v :: Type -> Type) n. (R1 v, Functor v, Fractional n) => Deformation v v n
- Diagrams.TwoD.Deform: facingY :: (R2 v, Functor v, Fractional n) => Deformation v v n
+ Diagrams.TwoD.Deform: facingY :: forall (v :: Type -> Type) n. (R2 v, Functor v, Fractional n) => Deformation v v n
- Diagrams.TwoD.Deform: parallelX0 :: (R1 v, Num n) => Deformation v v n
+ Diagrams.TwoD.Deform: parallelX0 :: forall (v :: Type -> Type) n. (R1 v, Num n) => Deformation v v n
- Diagrams.TwoD.Deform: parallelY0 :: (R2 v, Num n) => Deformation v v n
+ Diagrams.TwoD.Deform: parallelY0 :: forall (v :: Type -> Type) n. (R2 v, Num n) => Deformation v v n
- Diagrams.TwoD.Deform: perspectiveX1 :: (R1 v, Functor v, Fractional n) => Deformation v v n
+ Diagrams.TwoD.Deform: perspectiveX1 :: forall (v :: Type -> Type) n. (R1 v, Functor v, Fractional n) => Deformation v v n
- Diagrams.TwoD.Deform: perspectiveY1 :: (R2 v, Functor v, Floating n) => Deformation v v n
+ Diagrams.TwoD.Deform: perspectiveY1 :: forall (v :: Type -> Type) n. (R2 v, Functor v, Floating n) => Deformation v v n
- Diagrams.TwoD.Image: [DImage] :: ImageData t -> Int -> Int -> Transformation V2 n -> DImage n t
+ Diagrams.TwoD.Image: [DImage] :: forall b a. ImageData b -> Int -> Int -> Transformation V2 a -> DImage a b
- Diagrams.TwoD.Image: [ImageNative] :: t -> ImageData (Native t)
+ Diagrams.TwoD.Image: [ImageNative] :: forall t. t -> ImageData (Native t)
- Diagrams.TwoD.Image: data DImage :: Type -> Type -> Type
+ Diagrams.TwoD.Image: data DImage a b
- Diagrams.TwoD.Image: data ImageData :: Type -> Type
+ Diagrams.TwoD.Image: data ImageData a
- Diagrams.TwoD.Image: data Native (t :: Type)
+ Diagrams.TwoD.Image: data Native t
- Diagrams.TwoD.Model: eColor :: forall n_a2aFA. Lens' (EnvelopeOpts n_a2aFA) (Colour Double)
+ Diagrams.TwoD.Model: eColor :: forall n f. Functor f => (Colour Double -> f (Colour Double)) -> EnvelopeOpts n -> f (EnvelopeOpts n)
- Diagrams.TwoD.Model: eLineWidth :: forall n_a2aFA n_a2aIz. Lens (EnvelopeOpts n_a2aFA) (EnvelopeOpts n_a2aIz) (Measure n_a2aFA) (Measure n_a2aIz)
+ Diagrams.TwoD.Model: eLineWidth :: forall n1 n2 f. Functor f => (Measure n1 -> f (Measure n2)) -> EnvelopeOpts n1 -> f (EnvelopeOpts n2)
- Diagrams.TwoD.Model: ePoints :: forall n_a2aFA. Lens' (EnvelopeOpts n_a2aFA) Int
+ Diagrams.TwoD.Model: ePoints :: forall n f. Functor f => (Int -> f Int) -> EnvelopeOpts n -> f (EnvelopeOpts n)
- Diagrams.TwoD.Model: oColor :: forall n_a2aEv. Lens' (OriginOpts n_a2aEv) (Colour Double)
+ Diagrams.TwoD.Model: oColor :: forall n f. Functor f => (Colour Double -> f (Colour Double)) -> OriginOpts n -> f (OriginOpts n)
- Diagrams.TwoD.Model: oMinSize :: forall n_a2aEv. Lens' (OriginOpts n_a2aEv) n_a2aEv
+ Diagrams.TwoD.Model: oMinSize :: forall n f. Functor f => (n -> f n) -> OriginOpts n -> f (OriginOpts n)
- Diagrams.TwoD.Model: oScale :: forall n_a2aEv. Lens' (OriginOpts n_a2aEv) n_a2aEv
+ Diagrams.TwoD.Model: oScale :: forall n f. Functor f => (n -> f n) -> OriginOpts n -> f (OriginOpts n)
- Diagrams.TwoD.Model: tColor :: forall n_a2aIY. Lens' (TraceOpts n_a2aIY) (Colour Double)
+ Diagrams.TwoD.Model: tColor :: forall n f. Functor f => (Colour Double -> f (Colour Double)) -> TraceOpts n -> f (TraceOpts n)
- Diagrams.TwoD.Model: tMinSize :: forall n_a2aIY. Lens' (TraceOpts n_a2aIY) n_a2aIY
+ Diagrams.TwoD.Model: tMinSize :: forall n f. Functor f => (n -> f n) -> TraceOpts n -> f (TraceOpts n)
- Diagrams.TwoD.Model: tPoints :: forall n_a2aIY. Lens' (TraceOpts n_a2aIY) Int
+ Diagrams.TwoD.Model: tPoints :: forall n f. Functor f => (Int -> f Int) -> TraceOpts n -> f (TraceOpts n)
- Diagrams.TwoD.Model: tScale :: forall n_a2aIY. Lens' (TraceOpts n_a2aIY) n_a2aIY
+ Diagrams.TwoD.Model: tScale :: forall n f. Functor f => (n -> f n) -> TraceOpts n -> f (TraceOpts n)
- Diagrams.TwoD.Offset: expandCap :: Lens' (ExpandOpts d) LineCap
+ Diagrams.TwoD.Offset: expandCap :: forall d f. Functor f => (LineCap -> f LineCap) -> ExpandOpts d -> f (ExpandOpts d)
- Diagrams.TwoD.Offset: expandEpsilon :: Lens' (ExpandOpts d) d
+ Diagrams.TwoD.Offset: expandEpsilon :: forall d f. Functor f => (d -> f d) -> ExpandOpts d -> f (ExpandOpts d)
- Diagrams.TwoD.Offset: expandJoin :: Lens' (ExpandOpts d) LineJoin
+ Diagrams.TwoD.Offset: expandJoin :: forall d f. Functor f => (LineJoin -> f LineJoin) -> ExpandOpts d -> f (ExpandOpts d)
- Diagrams.TwoD.Offset: expandMiterLimit :: Lens' (ExpandOpts d) d
+ Diagrams.TwoD.Offset: expandMiterLimit :: forall d f. Functor f => (d -> f d) -> ExpandOpts d -> f (ExpandOpts d)
- Diagrams.TwoD.Offset: offsetEpsilon :: Lens' (OffsetOpts d) d
+ Diagrams.TwoD.Offset: offsetEpsilon :: forall d f. Functor f => (d -> f d) -> OffsetOpts d -> f (OffsetOpts d)
- Diagrams.TwoD.Offset: offsetJoin :: Lens' (OffsetOpts d) LineJoin
+ Diagrams.TwoD.Offset: offsetJoin :: forall d f. Functor f => (LineJoin -> f LineJoin) -> OffsetOpts d -> f (OffsetOpts d)
- Diagrams.TwoD.Offset: offsetMiterLimit :: Lens' (OffsetOpts d) d
+ Diagrams.TwoD.Offset: offsetMiterLimit :: forall d f. Functor f => (d -> f d) -> OffsetOpts d -> f (OffsetOpts d)
- Diagrams.TwoD.Path: _Clip :: Iso (Clip n) (Clip n') [Path V2 n] [Path V2 n']
+ Diagrams.TwoD.Path: _Clip :: forall n n' p f. (Profunctor p, Functor f) => p [Path V2 n] (f [Path V2 n']) -> p (Clip n) (f (Clip n'))
- Diagrams.TwoD.Path: _fillRule :: Lens' (Style V2 n) FillRule
+ Diagrams.TwoD.Path: _fillRule :: forall n f. Functor f => (FillRule -> f FillRule) -> Style V2 n -> f (Style V2 n)
- Diagrams.TwoD.Path: queryFillRule :: Lens' (StrokeOpts a) FillRule
+ Diagrams.TwoD.Path: queryFillRule :: forall a f. Functor f => (FillRule -> f FillRule) -> StrokeOpts a -> f (StrokeOpts a)
- Diagrams.TwoD.Path: vertexNames :: Lens (StrokeOpts a) (StrokeOpts a') [[a]] [[a']]
+ Diagrams.TwoD.Path: vertexNames :: forall a a' f. Functor f => ([[a]] -> f [[a']]) -> StrokeOpts a -> f (StrokeOpts a')
- Diagrams.TwoD.Polygons: polyCenter :: Lens' (PolygonOpts n) (Point V2 n)
+ Diagrams.TwoD.Polygons: polyCenter :: forall n f. Functor f => (Point V2 n -> f (Point V2 n)) -> PolygonOpts n -> f (PolygonOpts n)
- Diagrams.TwoD.Polygons: polyOrient :: Lens' (PolygonOpts n) (PolyOrientation n)
+ Diagrams.TwoD.Polygons: polyOrient :: forall n f. Functor f => (PolyOrientation n -> f (PolyOrientation n)) -> PolygonOpts n -> f (PolygonOpts n)
- Diagrams.TwoD.Polygons: polyType :: Lens' (PolygonOpts n) (PolyType n)
+ Diagrams.TwoD.Polygons: polyType :: forall n f. Functor f => (PolyType n -> f (PolyType n)) -> PolygonOpts n -> f (PolygonOpts n)
- Diagrams.TwoD.Shapes: radiusBL :: forall d_a1Gf1. Lens' (RoundedRectOpts d_a1Gf1) d_a1Gf1
+ Diagrams.TwoD.Shapes: radiusBL :: forall d f. Functor f => (d -> f d) -> RoundedRectOpts d -> f (RoundedRectOpts d)
- Diagrams.TwoD.Shapes: radiusBR :: forall d_a1Gf1. Lens' (RoundedRectOpts d_a1Gf1) d_a1Gf1
+ Diagrams.TwoD.Shapes: radiusBR :: forall d f. Functor f => (d -> f d) -> RoundedRectOpts d -> f (RoundedRectOpts d)
- Diagrams.TwoD.Shapes: radiusTL :: forall d_a1Gf1. Lens' (RoundedRectOpts d_a1Gf1) d_a1Gf1
+ Diagrams.TwoD.Shapes: radiusTL :: forall d f. Functor f => (d -> f d) -> RoundedRectOpts d -> f (RoundedRectOpts d)
- Diagrams.TwoD.Shapes: radiusTR :: forall d_a1Gf1. Lens' (RoundedRectOpts d_a1Gf1) d_a1Gf1
+ Diagrams.TwoD.Shapes: radiusTR :: forall d f. Functor f => (d -> f d) -> RoundedRectOpts d -> f (RoundedRectOpts d)
- Diagrams.TwoD.Size: extentX :: (InSpace v n a, R1 v, Enveloped a) => a -> Maybe (n, n)
+ Diagrams.TwoD.Size: extentX :: forall (v :: Type -> Type) n a. (InSpace v n a, R1 v, Enveloped a) => a -> Maybe (n, n)
- Diagrams.TwoD.Size: extentY :: (InSpace v n a, R2 v, Enveloped a) => a -> Maybe (n, n)
+ Diagrams.TwoD.Size: extentY :: forall (v :: Type -> Type) n a. (InSpace v n a, R2 v, Enveloped a) => a -> Maybe (n, n)
- Diagrams.TwoD.Text: _FontSize :: Iso' (FontSize n) (Recommend n)
+ Diagrams.TwoD.Text: _FontSize :: forall n p f. (Profunctor p, Functor f) => p (Recommend n) (f (Recommend n)) -> p (FontSize n) (f (FontSize n))
- Diagrams.TwoD.Text: _font :: Lens' (Style v n) (Maybe String)
+ Diagrams.TwoD.Text: _font :: forall (v :: Type -> Type) n f. Functor f => (Maybe String -> f (Maybe String)) -> Style v n -> f (Style v n)
- Diagrams.TwoD.Text: _fontSize :: (Typeable n, OrderedField n) => Lens' (Style v n) (Measure n)
+ Diagrams.TwoD.Text: _fontSize :: forall n (v :: Type -> Type). (Typeable n, OrderedField n) => Lens' (Style v n) (Measure n)
- Diagrams.TwoD.Text: _fontSizeR :: (Typeable n, OrderedField n) => Lens' (Style v n) (Measured n (Recommend n))
+ Diagrams.TwoD.Text: _fontSizeR :: forall n (v :: Type -> Type). (Typeable n, OrderedField n) => Lens' (Style v n) (Measured n (Recommend n))
- Diagrams.TwoD.Text: _fontSizeU :: Typeable n => Lens' (Style v n) (Maybe n)
+ Diagrams.TwoD.Text: _fontSizeU :: forall n (v :: Type -> Type). Typeable n => Lens' (Style v n) (Maybe n)
- Diagrams.TwoD.Text: _fontSlant :: Lens' (Style v n) FontSlant
+ Diagrams.TwoD.Text: _fontSlant :: forall (v :: Type -> Type) n f. Functor f => (FontSlant -> f FontSlant) -> Style v n -> f (Style v n)
- Diagrams.TwoD.Text: _fontWeight :: Lens' (Style v n) FontWeight
+ Diagrams.TwoD.Text: _fontWeight :: forall (v :: Type -> Type) n f. Functor f => (FontWeight -> f FontWeight) -> Style v n -> f (Style v n)
- Diagrams.TwoD.Transform: reflectX :: (InSpace v n t, R1 v, Transformable t) => t -> t
+ Diagrams.TwoD.Transform: reflectX :: forall (v :: Type -> Type) n t. (InSpace v n t, R1 v, Transformable t) => t -> t
- Diagrams.TwoD.Transform: reflectXY :: (InSpace v n t, R2 v, Transformable t) => t -> t
+ Diagrams.TwoD.Transform: reflectXY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Transformable t) => t -> t
- Diagrams.TwoD.Transform: reflectY :: (InSpace v n t, R2 v, Transformable t) => t -> t
+ Diagrams.TwoD.Transform: reflectY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Transformable t) => t -> t
- Diagrams.TwoD.Transform: reflectionX :: (Additive v, R1 v, Num n) => Transformation v n
+ Diagrams.TwoD.Transform: reflectionX :: forall (v :: Type -> Type) n. (Additive v, R1 v, Num n) => Transformation v n
- Diagrams.TwoD.Transform: reflectionXY :: (Additive v, R2 v, Num n) => Transformation v n
+ Diagrams.TwoD.Transform: reflectionXY :: forall (v :: Type -> Type) n. (Additive v, R2 v, Num n) => Transformation v n
- Diagrams.TwoD.Transform: reflectionY :: (Additive v, R2 v, Num n) => Transformation v n
+ Diagrams.TwoD.Transform: reflectionY :: forall (v :: Type -> Type) n. (Additive v, R2 v, Num n) => Transformation v n
- Diagrams.TwoD.Transform: scaleToX :: (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
+ Diagrams.TwoD.Transform: scaleToX :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
- Diagrams.TwoD.Transform: scaleToY :: (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
+ Diagrams.TwoD.Transform: scaleToY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
- Diagrams.TwoD.Transform: scaleUToX :: (InSpace v n t, R1 v, Enveloped t, Transformable t) => n -> t -> t
+ Diagrams.TwoD.Transform: scaleUToX :: forall (v :: Type -> Type) n t. (InSpace v n t, R1 v, Enveloped t, Transformable t) => n -> t -> t
- Diagrams.TwoD.Transform: scaleUToY :: (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
+ Diagrams.TwoD.Transform: scaleUToY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Enveloped t, Transformable t) => n -> t -> t
- Diagrams.TwoD.Transform: scaleX :: (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
+ Diagrams.TwoD.Transform: scaleX :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
- Diagrams.TwoD.Transform: scaleY :: (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
+ Diagrams.TwoD.Transform: scaleY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Fractional n, Transformable t) => n -> t -> t
- Diagrams.TwoD.Transform: scalingX :: (Additive v, R1 v, Fractional n) => n -> Transformation v n
+ Diagrams.TwoD.Transform: scalingX :: forall (v :: Type -> Type) n. (Additive v, R1 v, Fractional n) => n -> Transformation v n
- Diagrams.TwoD.Transform: scalingY :: (Additive v, R2 v, Fractional n) => n -> Transformation v n
+ Diagrams.TwoD.Transform: scalingY :: forall (v :: Type -> Type) n. (Additive v, R2 v, Fractional n) => n -> Transformation v n
- Diagrams.TwoD.Transform: translateX :: (InSpace v n t, R1 v, Transformable t) => n -> t -> t
+ Diagrams.TwoD.Transform: translateX :: forall (v :: Type -> Type) n t. (InSpace v n t, R1 v, Transformable t) => n -> t -> t
- Diagrams.TwoD.Transform: translateY :: (InSpace v n t, R2 v, Transformable t) => n -> t -> t
+ Diagrams.TwoD.Transform: translateY :: forall (v :: Type -> Type) n t. (InSpace v n t, R2 v, Transformable t) => n -> t -> t
- Diagrams.TwoD.Transform: translationX :: (Additive v, R1 v, Num n) => n -> Transformation v n
+ Diagrams.TwoD.Transform: translationX :: forall (v :: Type -> Type) n. (Additive v, R1 v, Num n) => n -> Transformation v n
- Diagrams.TwoD.Transform: translationY :: (Additive v, R2 v, Num n) => n -> Transformation v n
+ Diagrams.TwoD.Transform: translationY :: forall (v :: Type -> Type) n. (Additive v, R2 v, Num n) => n -> Transformation v n
- Diagrams.TwoD.Types: class HasR t
+ Diagrams.TwoD.Types: class HasR (t :: Type -> Type)
- 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
- Diagrams.TwoD.Types: p2Iso :: Iso' (Point V2 n) (n, n)
+ Diagrams.TwoD.Types: p2Iso :: forall n p f. (Profunctor p, Functor f) => p (n, n) (f (n, n)) -> p (Point V2 n) (f (Point V2 n))
- Diagrams.TwoD.Types: r2Iso :: Iso' (V2 n) (n, n)
+ Diagrams.TwoD.Types: r2Iso :: forall n p f. (Profunctor p, Functor f) => p (n, n) (f (n, n)) -> p (V2 n) (f (V2 n))
- Diagrams.TwoD.Vector: xDir :: (R1 v, Additive v, Num n) => Direction v n
+ Diagrams.TwoD.Vector: xDir :: forall (v :: Type -> Type) n. (R1 v, Additive v, Num n) => Direction v n
- Diagrams.TwoD.Vector: yDir :: (R2 v, Additive v, Num n) => Direction v n
+ Diagrams.TwoD.Vector: yDir :: forall (v :: Type -> Type) n. (R2 v, Additive v, Num n) => Direction v n
Files
- CHANGELOG.md +14/−0
- diagrams-lib.cabal +3/−3
- src/Diagrams/TwoD/Segment.hs +26/−16
CHANGELOG.md view
@@ -1,3 +1,17 @@+## [v1.5.0.1](https://github.com/diagrams/diagrams-lib/tree/v1.5.0.1) (2025-08-25)++- Fix bug in `bezierFindRoot` that caused diagrams to hang when+ computing the trace of certain degenerate Bezier curves. See+ https://github.com/diagrams/diagrams-contrib/issues/91 .++## [v1.5-r2](https://github.com/diagrams/diagrams-lib/tree/v1.5-r2) (2025-06-12)++- Allow `optparse-applicative-0.19`++## [v1.5-r1](https://github.com/diagrams/diagrams-lib/tree/v1.5-r1) (2025-05-17)++- Allow `monoid-extras-0.7`+ ## [v1.5](https://github.com/diagrams/diagrams-lib/tree/v1.5) (2025-02-13) - Allow `base-4.21` and test on GHC 9.12
diagrams-lib.cabal view
@@ -1,5 +1,5 @@ Name: diagrams-lib-Version: 1.5+Version: 1.5.0.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@@ -105,7 +105,7 @@ containers >= 0.3 && < 0.8, array >= 0.3 && < 0.6, semigroups >= 0.3.4 && < 0.21,- monoid-extras >= 0.6 && < 0.7,+ monoid-extras >= 0.6 && < 0.8, dual-tree >= 0.2 && < 0.3, diagrams-core >= 1.4 && < 1.6, diagrams-solve >= 0.1 && < 0.2,@@ -116,7 +116,7 @@ intervals >= 0.7 && < 0.10, lens >= 5.1 && < 5.4, tagged >= 0.7 && < 0.9,- optparse-applicative >= 0.11 && < 0.19,+ optparse-applicative >= 0.11 && < 0.20, filepath >= 1.4 && < 1.6, JuicyPixels >= 3.3.4 && < 3.4, hashable >= 1.1 && < 1.6,
src/Diagrams/TwoD/Segment.hs view
@@ -209,22 +209,32 @@ -> n -- ^ The upper bound of the interval -> [n] -- ^ The roots found bezierFindRoot eps p tmin tmax- | isNothing chopInterval = []- | clip > 0.8 = let (p1, p2) = splitAtParam newP 0.5- tmid = tmin' + (tmax' - tmin') / 2- in bezierFindRoot eps p1 tmin' tmid ++- bezierFindRoot eps p2 tmid tmax'- | tmax' - tmin' < eps = [avg tmin' tmax']- | otherwise = bezierFindRoot eps newP tmin' tmax'- where- chopInterval = chopYs (bernsteinCoeffs p)- Just (tminChop, tmaxChop) = chopInterval- newP = section p tminChop tmaxChop- clip = tmaxChop - tminChop- tmin' = tmax * tminChop + tmin * (1 - tminChop)- tmax' = tmax * tmaxChop + tmin * (1 - tmaxChop)--+ -- If we generated the max number of roots and tmax is also a root+ -- (which is not among the generated ones), there must in fact be an+ -- infinite number of roots, so just include tmax.+ | length roots == bernsteinDegree p && last roots /= tmax && abs (evaluateBernstein p tmax) <= eps+ = roots ++ [tmax]+ | otherwise = roots+ where+ -- Lazily take a number of roots at most the degree of the bernstein+ -- polynomial, to avoid generating a ton of roots in the case of a+ -- straight Bezier segment along the x-axis. See https://github.com/diagrams/diagrams-contrib/issues/91 .+ roots = take (bernsteinDegree p) $ go p tmin tmax+ go p tmin tmax+ | isNothing chopInterval = []+ | tmax' - tmin' < eps = [avg tmin' tmax']+ | clip > 0.8 = let (p1, p2) = splitAtParam newP 0.5+ tmid = tmin' + (tmax' - tmin') / 2+ in go p1 tmin' tmid +++ go p2 tmid tmax'+ | otherwise = bezierFindRoot eps newP tmin' tmax'+ where+ chopInterval = chopYs (bernsteinCoeffs p)+ Just (tminChop, tmaxChop) = chopInterval+ newP = section p tminChop tmaxChop+ clip = tmaxChop - tminChop+ tmin' = tmax * tminChop + tmin * (1 - tminChop)+ tmax' = tmax * tmaxChop + tmin * (1 - tmaxChop) ------------------------------------------------------------------------ -- Internal