| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Diagrams.TwoD.Path.Metafont.Types
- data PathJoin d j = PJ {}
- j :: forall d j j. Lens (PathJoin d j) (PathJoin d j) j j
- d2 :: forall d j. Lens' (PathJoin d j) d
- d1 :: forall d j. Lens' (PathJoin d j) d
- data PathDir n
- = PathDirCurl n
- | PathDirDir (Dir n)
- isCurl :: PathDir n -> Bool
- type Curl n = n
- type Dir n = Direction V2 n
- type BasicJoin n = Either (TensionJoin n) (ControlJoin n)
- data Tension n
- = TensionAmt n
- | TensionAtLeast n
- getTension :: Tension n -> n
- data TensionJoin n = TJ {}
- data ControlJoin n = CJ {}
- t2 :: forall n. Lens' (TensionJoin n) (Tension n)
- t1 :: forall n. Lens' (TensionJoin n) (Tension n)
- c2 :: forall n. Lens' (ControlJoin n) (P2 n)
- c1 :: forall n. Lens' (ControlJoin n) (P2 n)
- data P
- data J
- data MFPathData a n where
- MFPathCycle :: MFPathData P n
- MFPathEnd :: P2 n -> MFPathData P n
- MFPathPt :: P2 n -> MFPathData J n -> MFPathData P n
- MFPathJoin :: PathJoin (Maybe (PathDir n)) (Maybe (BasicJoin n)) -> MFPathData P n -> MFPathData J n
- data MetafontSegment d j n = MFS {}
- data MFPath d j n = MFP {
- _loop :: Bool
- _segs :: [MetafontSegment d j n]
- type MFP n = MFPath (Maybe (PathDir n)) (BasicJoin n) n
- type MFS n = MetafontSegment (Maybe (PathDir n)) (BasicJoin n) n
- x2 :: forall d j n. Lens' (MetafontSegment d j n) (P2 n)
- x1 :: forall d j n. Lens' (MetafontSegment d j n) (P2 n)
- pj :: forall d j n d j. Lens (MetafontSegment d j n) (MetafontSegment d j n) (PathJoin d j) (PathJoin d j)
- segs :: forall d j n d j n. Lens (MFPath d j n) (MFPath d j n) [MetafontSegment d j n] [MetafontSegment d j n]
- loop :: forall d j n. Lens' (MFPath d j n) Bool
Documentation
A PathJoin specifies the directions at both ends of a segment,
and a join which describes the control points explicitly or implicitly.
A direction can be specified at any point of a path. A curl should only be specified at the endpoints. The endpoints default to curl 1 if not set.
Constructors
| PathDirCurl n | |
| PathDirDir (Dir n) |
type BasicJoin n = Either (TensionJoin n) (ControlJoin n) Source
Higher Tension brings the path closer to a straight line
between segments. Equivalently, it brings the control points
closer to the endpoints. TensionAmt introduces a fixed tension.
TensionAtLeast introduces a tension which will be increased if by
so doing, an inflection point can be eliminated.
Constructors
| TensionAmt n | |
| TensionAtLeast n |
getTension :: Tension n -> n Source
data TensionJoin n Source
Two tensions and two directions completely determine the control points of a segment.
data ControlJoin n Source
The two intermediate control points of a segment, specified directly.
t2 :: forall n. Lens' (TensionJoin n) (Tension n)
t1 :: forall n. Lens' (TensionJoin n) (Tension n)
c2 :: forall n. Lens' (ControlJoin n) (P2 n)
c1 :: forall n. Lens' (ControlJoin n) (P2 n)
data MFPathData a n where Source
MFPathData is the type manipulated by the metafont combinators.
Constructors
| MFPathCycle :: MFPathData P n | |
| MFPathEnd :: P2 n -> MFPathData P n | |
| MFPathPt :: P2 n -> MFPathData J n -> MFPathData P n | |
| MFPathJoin :: PathJoin (Maybe (PathDir n)) (Maybe (BasicJoin n)) -> MFPathData P n -> MFPathData J n |
data MetafontSegment d j n Source
MetafontSegment is used internally in solving the metafont
equations. It represents a segment with two known endpoints, and a
join, which may be specified in various ways.
Instances
| Functor (MetafontSegment d j) | |
| (Show d, Show j, Show n) => Show (MetafontSegment d j n) |
MFPath is the type used internally in solving the metafont
equations. The direction and join types are progressively refined
until all control points are known. The loop flag affects both
the equations to be solved and the type of Trail in the result.
If constructing an MFPath in new code, the responsibility rests
on the user to ensure that successive MetafontSegments share an
endpoint. If this is not true, the result is undefined.
Constructors
| MFP | |
Fields
| |
type MFP n = MFPath (Maybe (PathDir n)) (BasicJoin n) n Source
MFP is a type synonym to clarify signatures in Metafont.Internal.
Note that the type permits segments which are "overspecified",
having one or both directions specified, and also a ControlJoin.
In this case, Metafont.Internal ignores the directions.
type MFS n = MetafontSegment (Maybe (PathDir n)) (BasicJoin n) n Source
MFS is a type synonym to clarify signatures in Metafont.Internal.
x2 :: forall d j n. Lens' (MetafontSegment d j n) (P2 n)
x1 :: forall d j n. Lens' (MetafontSegment d j n) (P2 n)
pj :: forall d j n d j. Lens (MetafontSegment d j n) (MetafontSegment d j n) (PathJoin d j) (PathJoin d j)
segs :: forall d j n d j n. Lens (MFPath d j n) (MFPath d j n) [MetafontSegment d j n] [MetafontSegment d j n]