Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type Constant = Double
- type Frozen x = x Constant
- type FrozenPoint = Frozen Point'
- type FrozenPath = Frozen Path'
- square :: forall a. Multiplicative a => a -> a
- (*-) :: Module Constant a => Constant -> a -> a
- avg :: Module Constant a => [a] -> a
- data Pair a = Pair {}
- data Point' a = Point {}
- data Segment v
- data Path' a
- newtype Decoration = Decoration String
- data LineTip
- type Color = String
- data LineCap
- data LineJoin
- type DashPattern = [(Constant, Constant)]
- data PathOptions = PathOptions {}
- startTip :: Lens' PathOptions LineTip
- lineWidth :: Lens' PathOptions Constant
- lineJoin :: Lens' PathOptions LineJoin
- lineCap :: Lens' PathOptions LineCap
- fillColor :: Lens' PathOptions (Maybe Color)
- endTip :: Lens' PathOptions LineTip
- drawColor :: Lens' PathOptions (Maybe Color)
- decoration :: Lens' PathOptions Decoration
- dashPattern :: Lens' PathOptions DashPattern
- data BoxSpec = BoxSpec {}
- nilBoxSpec :: BoxSpec
- data Backend lab m = Backend {
- _tracePath :: PathOptions -> FrozenPath -> m ()
- _traceLabel :: forall location (x :: * -> *). Monad x => (location -> (FrozenPoint -> m ()) -> x ()) -> (forall a. m a -> x a) -> location -> lab -> x BoxSpec
- tracePath :: Lens' (Backend lab m) (PathOptions -> FrozenPath -> m ())
- data Env lab m = Env {
- _diaTightness :: Rational
- _diaPathOptions :: PathOptions
- _diaBackend :: Backend lab m
- diaTightness :: forall lab m. Lens' (Env lab m) Rational
- diaPathOptions :: forall lab m. Lens' (Env lab m) PathOptions
- diaBackend :: forall lab m lab m. Lens (Env lab m) (Env lab m) (Backend lab m) (Backend lab m)
- defaultPathOptions :: PathOptions
Documentation
type FrozenPoint = Frozen Point' Source #
type FrozenPath = Frozen Path' Source #
square :: forall a. Multiplicative a => a -> a Source #
Instances
Functor Point' Source # | |
Applicative Point' Source # | |
Foldable Point' Source # | |
Defined in Graphics.Diagrams.Types fold :: Monoid m => Point' m -> m # foldMap :: Monoid m => (a -> m) -> Point' a -> m # foldr :: (a -> b -> b) -> b -> Point' a -> b # foldr' :: (a -> b -> b) -> b -> Point' a -> b # foldl :: (b -> a -> b) -> b -> Point' a -> b # foldl' :: (b -> a -> b) -> b -> Point' a -> b # foldr1 :: (a -> a -> a) -> Point' a -> a # foldl1 :: (a -> a -> a) -> Point' a -> a # elem :: Eq a => a -> Point' a -> Bool # maximum :: Ord a => Point' a -> a # minimum :: Ord a => Point' a -> a # | |
Traversable Point' Source # | |
Module k a => Module k (Point' a) Source # | |
Defined in Graphics.Diagrams.Types | |
Eq a => Eq (Point' a) Source # | |
Show a => Show (Point' a) Source # | |
Additive a => Additive (Point' a) Source # | |
AbelianAdditive v => AbelianAdditive (Point' v) Source # | |
Defined in Graphics.Diagrams.Types | |
Group v => Group (Point' v) Source # | |
Instances
Functor Segment Source # | |
Foldable Segment Source # | |
Defined in Graphics.Diagrams.Types fold :: Monoid m => Segment m -> m # foldMap :: Monoid m => (a -> m) -> Segment a -> m # foldr :: (a -> b -> b) -> b -> Segment a -> b # foldr' :: (a -> b -> b) -> b -> Segment a -> b # foldl :: (b -> a -> b) -> b -> Segment a -> b # foldl' :: (b -> a -> b) -> b -> Segment a -> b # foldr1 :: (a -> a -> a) -> Segment a -> a # foldl1 :: (a -> a -> a) -> Segment a -> a # elem :: Eq a => a -> Segment a -> Bool # maximum :: Ord a => Segment a -> a # minimum :: Ord a => Segment a -> a # | |
Traversable Segment Source # | |
Eq v => Eq (Segment v) Source # | |
Show v => Show (Segment v) Source # | |
Instances
Functor Path' Source # | |
Foldable Path' Source # | |
Defined in Graphics.Diagrams.Types fold :: Monoid m => Path' m -> m # foldMap :: Monoid m => (a -> m) -> Path' a -> m # foldr :: (a -> b -> b) -> b -> Path' a -> b # foldr' :: (a -> b -> b) -> b -> Path' a -> b # foldl :: (b -> a -> b) -> b -> Path' a -> b # foldl' :: (b -> a -> b) -> b -> Path' a -> b # foldr1 :: (a -> a -> a) -> Path' a -> a # foldl1 :: (a -> a -> a) -> Path' a -> a # elem :: Eq a => a -> Path' a -> Bool # maximum :: Ord a => Path' a -> a # minimum :: Ord a => Path' a -> a # | |
Traversable Path' Source # | |
Show a => Show (Path' a) Source # | |
Tikz line tip
type DashPattern = [(Constant, Constant)] Source #
Tikz dash pattern
data PathOptions Source #
Path drawing options
PathOptions | |
|
Size of a box, in points. boxDepth is how far the baseline is from the bottom. boxHeight is how far the baseline is from the top. (These are TeX meanings)
nilBoxSpec :: BoxSpec Source #
Backend | |
|
tracePath :: Lens' (Backend lab m) (PathOptions -> FrozenPath -> m ()) Source #
Env | |
|
diaPathOptions :: forall lab m. Lens' (Env lab m) PathOptions Source #