diagrams-contrib-1.1.1.2: Collection of user contributions to diagrams EDSL

Safe HaskellNone
LanguageHaskell2010

Diagrams.TwoD.Path.Metafont.Types

Synopsis

Documentation

data PathJoin d j Source

A PathJoin specifies the directions at both ends of a segment, and a join which describes the control points explicitly or implicitly.

Constructors

PJ 

Fields

_d1 :: d
 
_j :: j
 
_d2 :: d
 

Instances

j :: forall d j j. Lens (PathJoin d j) (PathJoin d j) j j Source

d2 :: forall d j. Lens' (PathJoin d j) d Source

d1 :: forall d j. Lens' (PathJoin d j) d Source

data PathDir Source

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 Curl 
PathDirDir Dir 

Instances

isCurl :: PathDir -> Bool Source

A predicate to determine the constructor used.

type Curl = Double Source

type Dir = R2 Source

type BasicJoin = Either TensionJoin ControlJoin Source

data Tension 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 Double 
TensionAtLeast Double 

Instances

getTension :: Tension -> Double Source

data TensionJoin Source

Two tensions and two directions completely determine the control points of a segment.

Constructors

TJ 

Fields

_t1 :: Tension
 
_t2 :: Tension
 

Instances

data ControlJoin Source

The two intermediate control points of a segment, specified directly.

Constructors

CJ 

Fields

_c1 :: P2
 
_c2 :: P2
 

Instances

t2 :: Lens' TensionJoin Tension Source

t1 :: Lens' TensionJoin Tension Source

c2 :: Lens' ControlJoin P2 Source

c1 :: Lens' ControlJoin P2 Source

data P Source

data J Source

data MFPathData a where Source

MFPathData is the type manipulated by the metafont combinators.

Constructors

MFPathCycle :: MFPathData P 
MFPathEnd :: P2 -> MFPathData P 
MFPathPt :: P2 -> MFPathData J -> MFPathData P 
MFPathJoin :: PathJoin (Maybe PathDir) (Maybe BasicJoin) -> MFPathData P -> MFPathData J 

data MetafontSegment d j 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.

Constructors

MFS 

Fields

_x1 :: P2
 
_pj :: PathJoin d j
 
_x2 :: P2
 

Instances

data MFPath d j Source

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

_loop :: Bool
 
_segs :: [MetafontSegment d j]
 

Instances

(Show d, Show j) => Show (MFPath d j) 

type MFP = MFPath (Maybe PathDir) BasicJoin 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 = MetafontSegment (Maybe PathDir) BasicJoin Source

MFS is a type synonym to clarify signatures in Metafont.Internal.

x2 :: forall d j. Lens' (MetafontSegment d j) P2 Source

x1 :: forall d j. Lens' (MetafontSegment d j) P2 Source

pj :: forall d j d j. Lens (MetafontSegment d j) (MetafontSegment d j) (PathJoin d j) (PathJoin d j) Source

segs :: forall d j d j. Lens (MFPath d j) (MFPath d j) [MetafontSegment d j] [MetafontSegment d j] Source

loop :: forall d j. Lens' (MFPath d j) Bool Source