Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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 :: forall lab m. Lens' (Backend lab m) (PathOptions -> FrozenPath -> m ())
- traceLabel :: forall lab m location x. Monad x => Getter (Backend lab m) ((location -> (FrozenPoint -> m ()) -> x ()) -> (forall a. m a -> x a) -> location -> lab -> x BoxSpec)
- 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 #
Functor Point' Source # | |
Applicative Point' Source # | |
Foldable Point' Source # | |
Traversable Point' Source # | |
Module k a => Module k (Point' a) Source # | |
Eq a => Eq (Point' a) Source # | |
Show a => Show (Point' a) Source # | |
Additive a => Additive (Point' a) Source # | |
AbelianAdditive v => AbelianAdditive (Point' v) Source # | |
Group v => Group (Point' v) 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 :: forall lab m. Lens' (Backend lab m) (PathOptions -> FrozenPath -> m ()) Source #
traceLabel :: forall lab m location x. Monad x => Getter (Backend lab m) ((location -> (FrozenPoint -> m ()) -> x ()) -> (forall a. m a -> x a) -> location -> lab -> x BoxSpec) Source #
Env | |
|
Monad m => MonadReader (Env lab m) (Diagram lab m) # | |
diaPathOptions :: forall lab m. Lens' (Env lab m) PathOptions Source #