Data.Geometry.Ipe.Types

Data type modeling the various elements in Ipe files.

Documentation

newtype LayerName

Constructors

LayerName

Fields

• _layerName :: Text

Instances

Eq LayerName

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: LayerName -> LayerName -> Bool

(/=) :: LayerName -> LayerName -> Bool

Ord LayerName

Defined in Data.Geometry.Ipe.Types

Methods

compare :: LayerName -> LayerName -> Ordering

(<) :: LayerName -> LayerName -> Bool

(<=) :: LayerName -> LayerName -> Bool

(>) :: LayerName -> LayerName -> Bool

(>=) :: LayerName -> LayerName -> Bool

max :: LayerName -> LayerName -> LayerName

min :: LayerName -> LayerName -> LayerName

Read LayerName

Defined in Data.Geometry.Ipe.Types

Methods

readsPrec :: Int -> ReadS LayerName

readList :: ReadS [LayerName]

readPrec :: ReadPrec LayerName

readListPrec :: ReadPrec [LayerName]

Show LayerName

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> LayerName -> ShowS

show :: LayerName -> String

showList :: [LayerName] -> ShowS

IsString LayerName

Defined in Data.Geometry.Ipe.Types

Methods

fromString :: String -> LayerName

IpeWrite LayerName

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: LayerName -> Maybe (Node Text Text)

IpeWriteText LayerName

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: LayerName -> Maybe Text

IpeRead LayerName

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError LayerName

IpeReadText LayerName

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError LayerName

data Image r

Image Objects

Constructors

Image

Fields

• _imageData :: ()
• _rect :: Rectangle () r

Instances

ToObject Image

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' Image r -> IpeObject r

Eq r => Eq (Image r)

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: Image r -> Image r -> Bool

(/=) :: Image r -> Image r -> Bool

Ord r => Ord (Image r)

Defined in Data.Geometry.Ipe.Types

Methods

compare :: Image r -> Image r -> Ordering

(<) :: Image r -> Image r -> Bool

(<=) :: Image r -> Image r -> Bool

(>) :: Image r -> Image r -> Bool

(>=) :: Image r -> Image r -> Bool

max :: Image r -> Image r -> Image r

min :: Image r -> Image r -> Image r

Show r => Show (Image r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> Image r -> ShowS

show :: Image r -> String

showList :: [Image r] -> ShowS

Fractional r => IsTransformable (Image r)

Defined in Data.Geometry.Ipe.Types

Methods

transformBy :: Transformation (Dimension (Image r)) (NumType (Image r)) -> Image r -> Image r

IpeWriteText r => IpeWrite (Image r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: Image r -> Maybe (Node Text Text)

Coordinate r => IpeRead (Image r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (Image r)

type NumType (Image r)

Defined in Data.Geometry.Ipe.Types

type NumType (Image r) = r

type Dimension (Image r)

Defined in Data.Geometry.Ipe.Types

type Dimension (Image r) = 2

rect :: forall r r. Lens (Image r) (Image r) (Rectangle () r) (Rectangle () r)

imageData :: forall r. Lens' (Image r) ()

data TextLabel r

Text Objects

Constructors

Label Text (Point 2 r)

Instances

ToObject TextLabel

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' TextLabel r -> IpeObject r

Eq r => Eq (TextLabel r)

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: TextLabel r -> TextLabel r -> Bool

(/=) :: TextLabel r -> TextLabel r -> Bool

Ord r => Ord (TextLabel r)

Defined in Data.Geometry.Ipe.Types

Methods

compare :: TextLabel r -> TextLabel r -> Ordering

(<) :: TextLabel r -> TextLabel r -> Bool

(<=) :: TextLabel r -> TextLabel r -> Bool

(>) :: TextLabel r -> TextLabel r -> Bool

(>=) :: TextLabel r -> TextLabel r -> Bool

max :: TextLabel r -> TextLabel r -> TextLabel r

min :: TextLabel r -> TextLabel r -> TextLabel r

Show r => Show (TextLabel r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> TextLabel r -> ShowS

show :: TextLabel r -> String

showList :: [TextLabel r] -> ShowS

Fractional r => IsTransformable (TextLabel r)

Defined in Data.Geometry.Ipe.Types

Methods

transformBy :: Transformation (Dimension (TextLabel r)) (NumType (TextLabel r)) -> TextLabel r -> TextLabel r

IpeWriteText r => IpeWrite (TextLabel r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: TextLabel r -> Maybe (Node Text Text)

Coordinate r => IpeRead (TextLabel r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (TextLabel r)

type NumType (TextLabel r)

Defined in Data.Geometry.Ipe.Types

type NumType (TextLabel r) = r

type Dimension (TextLabel r)

Defined in Data.Geometry.Ipe.Types

type Dimension (TextLabel r) = 2

data MiniPage r

Constructors

MiniPage Text (Point 2 r) r

Instances

ToObject MiniPage

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' MiniPage r -> IpeObject r

Eq r => Eq (MiniPage r)

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: MiniPage r -> MiniPage r -> Bool

(/=) :: MiniPage r -> MiniPage r -> Bool

Ord r => Ord (MiniPage r)

Defined in Data.Geometry.Ipe.Types

Methods

compare :: MiniPage r -> MiniPage r -> Ordering

(<) :: MiniPage r -> MiniPage r -> Bool

(<=) :: MiniPage r -> MiniPage r -> Bool

(>) :: MiniPage r -> MiniPage r -> Bool

(>=) :: MiniPage r -> MiniPage r -> Bool

max :: MiniPage r -> MiniPage r -> MiniPage r

min :: MiniPage r -> MiniPage r -> MiniPage r

Show r => Show (MiniPage r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> MiniPage r -> ShowS

show :: MiniPage r -> String

showList :: [MiniPage r] -> ShowS

Fractional r => IsTransformable (MiniPage r)

Defined in Data.Geometry.Ipe.Types

Methods

transformBy :: Transformation (Dimension (MiniPage r)) (NumType (MiniPage r)) -> MiniPage r -> MiniPage r

IpeWriteText r => IpeWrite (MiniPage r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: MiniPage r -> Maybe (Node Text Text)

Coordinate r => IpeRead (MiniPage r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (MiniPage r)

type NumType (MiniPage r)

Defined in Data.Geometry.Ipe.Types

type NumType (MiniPage r) = r

type Dimension (MiniPage r)

Defined in Data.Geometry.Ipe.Types

type Dimension (MiniPage r) = 2

width :: MiniPage t -> t

data IpeSymbol r

Ipe Symbols, i.e. Points

A symbol (point) in ipe

Constructors

Symbol

Fields

• _symbolPoint :: Point 2 r
• _symbolName :: Text

Instances

ToObject IpeSymbol

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' IpeSymbol r -> IpeObject r

Eq r => Eq (IpeSymbol r)

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: IpeSymbol r -> IpeSymbol r -> Bool

(/=) :: IpeSymbol r -> IpeSymbol r -> Bool

Ord r => Ord (IpeSymbol r)

Defined in Data.Geometry.Ipe.Types

Methods

compare :: IpeSymbol r -> IpeSymbol r -> Ordering

(<) :: IpeSymbol r -> IpeSymbol r -> Bool

(<=) :: IpeSymbol r -> IpeSymbol r -> Bool

(>) :: IpeSymbol r -> IpeSymbol r -> Bool

(>=) :: IpeSymbol r -> IpeSymbol r -> Bool

max :: IpeSymbol r -> IpeSymbol r -> IpeSymbol r

min :: IpeSymbol r -> IpeSymbol r -> IpeSymbol r

Show r => Show (IpeSymbol r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> IpeSymbol r -> ShowS

show :: IpeSymbol r -> String

showList :: [IpeSymbol r] -> ShowS

Fractional r => IsTransformable (IpeSymbol r)

Defined in Data.Geometry.Ipe.Types

Methods

transformBy :: Transformation (Dimension (IpeSymbol r)) (NumType (IpeSymbol r)) -> IpeSymbol r -> IpeSymbol r

IpeWriteText r => IpeWrite (IpeSymbol r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: IpeSymbol r -> Maybe (Node Text Text)

Coordinate r => IpeRead (IpeSymbol r)

Ipe read instances

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (IpeSymbol r)

type NumType (IpeSymbol r)

Defined in Data.Geometry.Ipe.Types

type NumType (IpeSymbol r) = r

type Dimension (IpeSymbol r)

Defined in Data.Geometry.Ipe.Types

type Dimension (IpeSymbol r) = 2

symbolPoint :: forall r r. Lens (IpeSymbol r) (IpeSymbol r) (Point 2 r) (Point 2 r)

symbolName :: forall r. Lens' (IpeSymbol r) Text

data PathSegment r

Example of an IpeSymbol. I.e. A symbol that expresses that the size is large sizeSymbol :: Attributes (AttrMapSym1 r) (SymbolAttributes r) sizeSymbol = attr SSize (IpeSize $ Named "large")

Paths

Paths consist of Path Segments. PathSegments come in the following forms:

Constructors

PolyLineSegment (PolyLine 2 () r)

PolygonPath (SimplePolygon () r)

CubicBezierSegment

QuadraticBezierSegment

EllipseSegment (Matrix 3 3 r)

ArcSegment

SplineSegment

ClosedSplineSegment

Instances

Eq r => Eq (PathSegment r)

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: PathSegment r -> PathSegment r -> Bool

(/=) :: PathSegment r -> PathSegment r -> Bool

Show r => Show (PathSegment r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> PathSegment r -> ShowS

show :: PathSegment r -> String

showList :: [PathSegment r] -> ShowS

Fractional r => IsTransformable (PathSegment r)

Defined in Data.Geometry.Ipe.Types

Methods

transformBy :: Transformation (Dimension (PathSegment r)) (NumType (PathSegment r)) -> PathSegment r -> PathSegment r

IpeWriteText r => IpeWriteText (PathSegment r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: PathSegment r -> Maybe Text

(Coordinate r, Eq r) => IpeReadText (NonEmpty (PathSegment r))

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (NonEmpty (PathSegment r))

type NumType (PathSegment r)

Defined in Data.Geometry.Ipe.Types

type NumType (PathSegment r) = r

type Dimension (PathSegment r)

Defined in Data.Geometry.Ipe.Types

type Dimension (PathSegment r) = 2

_ClosedSplineSegment :: forall r. Prism' (PathSegment r) ()

_SplineSegment :: forall r. Prism' (PathSegment r) ()

_ArcSegment :: forall r. Prism' (PathSegment r) ()

_EllipseSegment :: forall r. Prism' (PathSegment r) (Matrix 3 3 r)

_QuadraticBezierSegment :: forall r. Prism' (PathSegment r) ()

_CubicBezierSegment :: forall r. Prism' (PathSegment r) ()

_PolygonPath :: forall r. Prism' (PathSegment r) (SimplePolygon () r)

_PolyLineSegment :: forall r. Prism' (PathSegment r) (PolyLine 2 () r)

newtype Path r

A path is a non-empty sequence of PathSegments.

Constructors

Path

Fields

• _pathSegments :: LSeq 1 (PathSegment r)

Instances

ToObject Path

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' Path r -> IpeObject r

Eq r => Eq (Path r)

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: Path r -> Path r -> Bool

(/=) :: Path r -> Path r -> Bool

Show r => Show (Path r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> Path r -> ShowS

show :: Path r -> String

showList :: [Path r] -> ShowS

Fractional r => IsTransformable (Path r)

Defined in Data.Geometry.Ipe.Types

Methods

transformBy :: Transformation (Dimension (Path r)) (NumType (Path r)) -> Path r -> Path r

IpeWriteText r => IpeWrite (Path r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: Path r -> Maybe (Node Text Text)

IpeWriteText r => IpeWriteText (Path r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: Path r -> Maybe Text

(Coordinate r, Eq r) => IpeRead (Path r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (Path r)

(Coordinate r, Eq r) => IpeReadText (Path r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (Path r)

type NumType (Path r)

Defined in Data.Geometry.Ipe.Types

type NumType (Path r) = r

type Dimension (Path r)

Defined in Data.Geometry.Ipe.Types

type Dimension (Path r) = 2

pathSegments :: forall r r. Iso (Path r) (Path r) (LSeq 1 (PathSegment r)) (LSeq 1 (PathSegment r))

data Operation r

type that represents a path in ipe.

Constructors

MoveTo (Point 2 r)

LineTo (Point 2 r)

CurveTo (Point 2 r) (Point 2 r) (Point 2 r)

QCurveTo (Point 2 r) (Point 2 r)

Ellipse (Matrix 3 3 r)

ArcTo (Matrix 3 3 r) (Point 2 r)

Spline [Point 2 r]

ClosedSpline [Point 2 r]

ClosePath

Instances

Eq r => Eq (Operation r)

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: Operation r -> Operation r -> Bool

(/=) :: Operation r -> Operation r -> Bool

Show r => Show (Operation r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> Operation r -> ShowS

show :: Operation r -> String

showList :: [Operation r] -> ShowS

IpeWriteText r => IpeWriteText (Operation r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: Operation r -> Maybe Text

Coordinate r => IpeReadText [Operation r]

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError [Operation r]

_ClosePath :: forall r. Prism' (Operation r) ()

_ClosedSpline :: forall r. Prism' (Operation r) [Point 2 r]

_Spline :: forall r. Prism' (Operation r) [Point 2 r]

_ArcTo :: forall r. Prism' (Operation r) (Matrix 3 3 r, Point 2 r)

_Ellipse :: forall r. Prism' (Operation r) (Matrix 3 3 r)

_QCurveTo :: forall r. Prism' (Operation r) (Point 2 r, Point 2 r)

_CurveTo :: forall r. Prism' (Operation r) (Point 2 r, Point 2 r, Point 2 r)

_LineTo :: forall r. Prism' (Operation r) (Point 2 r)

_MoveTo :: forall r. Prism' (Operation r) (Point 2 r)

Attribute Mapping

type family AttrMap (r :: *) (l :: AttributeUniverse) :: * where ...

The mapping between the labels of the the attributes and the types of the attributes with these labels. For example, the Matrix label/attribute should have a value of type 'Matrix 3 3 r'.

Equations

AttrMap r Layer = LayerName

AttrMap r Matrix = Matrix 3 3 r

AttrMap r Pin = PinType

AttrMap r Transformations = TransformationTypes

AttrMap r Stroke = IpeColor r

AttrMap r Pen = IpePen r

AttrMap r Fill = IpeColor r

AttrMap r Size = IpeSize r

AttrMap r Dash = IpeDash r

AttrMap r LineCap = Int

AttrMap r LineJoin = Int

AttrMap r FillRule = FillType

AttrMap r Arrow = IpeArrow r

AttrMap r RArrow = IpeArrow r

AttrMap r Opacity = IpeOpacity

AttrMap r Tiling = IpeTiling

AttrMap r Gradient = IpeGradient

AttrMap r Clip = Path r

type AttrMapSym2 (r6989586621679826752 :: Type) (l6989586621679826753 :: AttributeUniverse) = AttrMap r6989586621679826752 l6989586621679826753

data AttrMapSym1 (r6989586621679826752 :: Type) :: (~>) AttributeUniverse Type where

Constructors

AttrMapSym1KindInference :: forall r6989586621679826752 l6989586621679826753 arg. SameKind (Apply (AttrMapSym1 r6989586621679826752) arg) (AttrMapSym2 r6989586621679826752 arg) => AttrMapSym1 r6989586621679826752 l6989586621679826753

Instances

SuppressUnusedWarnings (AttrMapSym1 r6989586621679826752 :: TyFun AttributeUniverse Type -> Type)

Defined in Data.Geometry.Ipe.Types

Methods

suppressUnusedWarnings :: ()

type Apply (AttrMapSym1 r6989586621679826752 :: TyFun AttributeUniverse Type -> Type) (l6989586621679826753 :: AttributeUniverse)

Defined in Data.Geometry.Ipe.Types

type Apply (AttrMapSym1 r6989586621679826752 :: TyFun AttributeUniverse Type -> Type) (l6989586621679826753 :: AttributeUniverse) = AttrMap r6989586621679826752 l6989586621679826753

data AttrMapSym0 :: (~>) Type ((~>) AttributeUniverse Type) where

Constructors

AttrMapSym0KindInference :: forall r6989586621679826752 arg. SameKind (Apply AttrMapSym0 arg) (AttrMapSym1 arg) => AttrMapSym0 r6989586621679826752

Instances

SuppressUnusedWarnings AttrMapSym0

Defined in Data.Geometry.Ipe.Types

Methods

suppressUnusedWarnings :: ()

type Apply AttrMapSym0 (r6989586621679826752 :: Type)

Defined in Data.Geometry.Ipe.Types

type Apply AttrMapSym0 (r6989586621679826752 :: Type) = AttrMapSym1 r6989586621679826752

newtype Group r

Groups and Objects

Group Attributes

A group is essentially a list of IpeObjects.

Constructors

Group [IpeObject r]

Instances

ToObject Group

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' Group r -> IpeObject r

Eq r => Eq (Group r)

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: Group r -> Group r -> Bool

(/=) :: Group r -> Group r -> Bool

Show r => Show (Group r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> Group r -> ShowS

show :: Group r -> String

showList :: [Group r] -> ShowS

Fractional r => IsTransformable (Group r)

Defined in Data.Geometry.Ipe.Types

Methods

transformBy :: Transformation (Dimension (Group r)) (NumType (Group r)) -> Group r -> Group r

IpeWriteText r => IpeWrite (Group r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: Group r -> Maybe (Node Text Text)

(Coordinate r, Eq r) => IpeRead (Group r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (Group r)

type NumType (Group r)

Defined in Data.Geometry.Ipe.Types

type NumType (Group r) = r

type Dimension (Group r)

Defined in Data.Geometry.Ipe.Types

type Dimension (Group r) = 2

type family AttributesOf (t :: * -> *) :: [u] where ...

Equations

AttributesOf Group = GroupAttributes

AttributesOf Image = CommonAttributes

AttributesOf TextLabel = CommonAttributes

AttributesOf MiniPage = CommonAttributes

AttributesOf IpeSymbol = SymbolAttributes

AttributesOf Path = PathAttributes

type Attributes' r = Attributes (AttrMapSym1 r)

Attributes' :: * -> [AttributeUniverse] -> *

type IpeAttributes g r = Attributes' r (AttributesOf g)

type IpeObject' g r = g r :+ IpeAttributes g r

An IpeObject' is essentially the oject ogether with its attributes

attributes :: Lens' (IpeObject' g r) (IpeAttributes g r)

data IpeObject r

Constructors

IpeGroup (IpeObject' Group r)

IpeImage (IpeObject' Image r)

IpeTextLabel (IpeObject' TextLabel r)

IpeMiniPage (IpeObject' MiniPage r)

IpeUse (IpeObject' IpeSymbol r)

IpePath (IpeObject' Path r)

Instances

Eq r => Eq (IpeObject r)

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: IpeObject r -> IpeObject r -> Bool

(/=) :: IpeObject r -> IpeObject r -> Bool

Show r => Show (IpeObject r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> IpeObject r -> ShowS

show :: IpeObject r -> String

showList :: [IpeObject r] -> ShowS

Fractional r => IsTransformable (IpeObject r)

Defined in Data.Geometry.Ipe.Types

Methods

transformBy :: Transformation (Dimension (IpeObject r)) (NumType (IpeObject r)) -> IpeObject r -> IpeObject r

IpeWriteText r => IpeWrite (IpeObject r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: IpeObject r -> Maybe (Node Text Text)

(Coordinate r, Eq r) => IpeRead (IpeObject r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (IpeObject r)

type NumType (IpeObject r)

Defined in Data.Geometry.Ipe.Types

type NumType (IpeObject r) = r

type Dimension (IpeObject r)

Defined in Data.Geometry.Ipe.Types

type Dimension (IpeObject r) = 2

_IpePath :: forall r. Prism' (IpeObject r) (IpeObject' Path r)

_IpeUse :: forall r. Prism' (IpeObject r) (IpeObject' IpeSymbol r)

_IpeMiniPage :: forall r. Prism' (IpeObject r) (IpeObject' MiniPage r)

_IpeTextLabel :: forall r. Prism' (IpeObject r) (IpeObject' TextLabel r)

_IpeImage :: forall r. Prism' (IpeObject r) (IpeObject' Image r)

_IpeGroup :: forall r. Prism' (IpeObject r) (IpeObject' Group r)

groupItems :: Lens (Group r) (Group s) [IpeObject r] [IpeObject s]

class ToObject i where

Methods

mkIpeObject :: IpeObject' i r -> IpeObject r

Instances

ToObject Image

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' Image r -> IpeObject r

ToObject IpeSymbol

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' IpeSymbol r -> IpeObject r

ToObject MiniPage

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' MiniPage r -> IpeObject r

ToObject TextLabel

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' TextLabel r -> IpeObject r

ToObject Path

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' Path r -> IpeObject r

ToObject Group

Defined in Data.Geometry.Ipe.Types

Methods

mkIpeObject :: IpeObject' Group r -> IpeObject r

ipeObject' :: ToObject i => i r -> IpeAttributes i r -> IpeObject r

Shorthand for constructing ipeObjects

commonAttributes :: Lens' (IpeObject r) (Attributes (AttrMapSym1 r) CommonAttributes)

flattenGroups :: [IpeObject r] -> [IpeObject r]

collect all non-group objects

data View

The definition of a view make active layer into an index ?

Constructors

View

Fields

• _layerNames :: [LayerName]
• _activeLayer :: LayerName

Instances

Eq View

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: View -> View -> Bool

(/=) :: View -> View -> Bool

Ord View

Defined in Data.Geometry.Ipe.Types

Methods

compare :: View -> View -> Ordering

(<) :: View -> View -> Bool

(<=) :: View -> View -> Bool

(>) :: View -> View -> Bool

(>=) :: View -> View -> Bool

max :: View -> View -> View

min :: View -> View -> View

Show View

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> View -> ShowS

show :: View -> String

showList :: [View] -> ShowS

IpeWrite View

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: View -> Maybe (Node Text Text)

IpeRead View

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError View

layerNames :: Lens' View [LayerName]

activeLayer :: Lens' View LayerName

data IpeStyle

for now we pretty much ignore these

Constructors

IpeStyle

Fields

• _styleName :: Maybe Text
• _styleData :: Node Text Text

Instances

Eq IpeStyle

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: IpeStyle -> IpeStyle -> Bool

(/=) :: IpeStyle -> IpeStyle -> Bool

Show IpeStyle

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> IpeStyle -> ShowS

show :: IpeStyle -> String

showList :: [IpeStyle] -> ShowS

IpeWrite IpeStyle

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: IpeStyle -> Maybe (Node Text Text)

styleName :: Lens' IpeStyle (Maybe Text)

styleData :: Lens' IpeStyle (Node Text Text)

basicIpeStyle :: IpeStyle

data IpePreamble

The maybe string is the encoding

Constructors

IpePreamble

Fields

• _encoding :: Maybe Text
• _preambleData :: Text

Instances

Eq IpePreamble

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: IpePreamble -> IpePreamble -> Bool

(/=) :: IpePreamble -> IpePreamble -> Bool

Ord IpePreamble

Defined in Data.Geometry.Ipe.Types

Methods

compare :: IpePreamble -> IpePreamble -> Ordering

(<) :: IpePreamble -> IpePreamble -> Bool

(<=) :: IpePreamble -> IpePreamble -> Bool

(>) :: IpePreamble -> IpePreamble -> Bool

(>=) :: IpePreamble -> IpePreamble -> Bool

max :: IpePreamble -> IpePreamble -> IpePreamble

min :: IpePreamble -> IpePreamble -> IpePreamble

Read IpePreamble

Defined in Data.Geometry.Ipe.Types

Methods

readsPrec :: Int -> ReadS IpePreamble

readList :: ReadS [IpePreamble]

readPrec :: ReadPrec IpePreamble

readListPrec :: ReadPrec [IpePreamble]

Show IpePreamble

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> IpePreamble -> ShowS

show :: IpePreamble -> String

showList :: [IpePreamble] -> ShowS

IpeWrite IpePreamble

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: IpePreamble -> Maybe (Node Text Text)

preambleData :: Lens' IpePreamble Text

encoding :: Lens' IpePreamble (Maybe Text)

type IpeBitmap = Text

data IpePage r

An IpePage is essentially a Group, together with a list of layers and a list of views.

Constructors

IpePage

Fields

• _layers :: [LayerName]
• _views :: [View]
• _content :: [IpeObject r]

Instances

Eq r => Eq (IpePage r)

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: IpePage r -> IpePage r -> Bool

(/=) :: IpePage r -> IpePage r -> Bool

Show r => Show (IpePage r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> IpePage r -> ShowS

show :: IpePage r -> String

showList :: [IpePage r] -> ShowS

IpeWriteText r => IpeWrite (IpePage r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: IpePage r -> Maybe (Node Text Text)

(Coordinate r, Eq r) => IpeRead (IpePage r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (IpePage r)

views :: forall r. Lens' (IpePage r) [View]

layers :: forall r. Lens' (IpePage r) [LayerName]

content :: forall r r. Lens (IpePage r) (IpePage r) [IpeObject r] [IpeObject r]

fromContent :: [IpeObject r] -> IpePage r

Creates a simple page with no views.

data IpeFile r

A complete ipe file

Constructors

IpeFile

Fields

• _preamble :: Maybe IpePreamble
• _styles :: [IpeStyle]
• _pages :: NonEmpty (IpePage r)

Instances

Eq r => Eq (IpeFile r)

Defined in Data.Geometry.Ipe.Types

Methods

(==) :: IpeFile r -> IpeFile r -> Bool

(/=) :: IpeFile r -> IpeFile r -> Bool

Show r => Show (IpeFile r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> IpeFile r -> ShowS

show :: IpeFile r -> String

showList :: [IpeFile r] -> ShowS

IpeWriteText r => IpeWrite (IpeFile r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: IpeFile r -> Maybe (Node Text Text)

(Coordinate r, Eq r) => IpeRead (IpeFile r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (IpeFile r)

styles :: forall r. Lens' (IpeFile r) [IpeStyle]

preamble :: forall r. Lens' (IpeFile r) (Maybe IpePreamble)

pages :: forall r r. Lens (IpeFile r) (IpeFile r) (NonEmpty (IpePage r)) (NonEmpty (IpePage r))

singlePageFile :: IpePage r -> IpeFile r

Convenience function to construct an ipe file consisting of a single page.

singlePageFromContent :: [IpeObject r] -> IpeFile r

Create a single page ipe file from a list of IpeObjects

applyMatrix' :: (IsTransformable (i r), Matrix ∈ AttributesOf i, Dimension (i r) ~ 2, r ~ NumType (i r)) => IpeObject' i r -> IpeObject' i r

Takes and applies the ipe Matrix attribute of this item.

applyMatrix :: Fractional r => IpeObject r -> IpeObject r

Applies the matrix to an ipe object if it has one.

applyMatrices :: Fractional r => IpeFile r -> IpeFile r

applyMatricesPage :: Fractional r => IpePage r -> IpePage r