Copyright	(C) Frank Staals
License	see the LICENSE file
Maintainer	Frank Staals
Safe Haskell	None
Language	Haskell2010

Data.Geometry.Ipe.Types

Contents

Attribute Mapping

Description

Data type modeling the various elements in Ipe files.

Synopsis

newtype LayerName = LayerName {
- _layerName :: Text
}
data Image r = Image {
- _imageData :: ()
- _rect :: Rectangle () r
}
rect :: forall r r. Lens (Image r) (Image r) (Rectangle () r) (Rectangle () r)
imageData :: forall r. Lens' (Image r) ()
data TextLabel r = Label Text (Point 2 r)
data MiniPage r = MiniPage Text (Point 2 r) r
width :: MiniPage t -> t
data IpeSymbol r = Symbol {
- _symbolPoint :: Point 2 r
- _symbolName :: Text
}
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
- = PolyLineSegment (PolyLine 2 () r)
- | PolygonPath (SimplePolygon () r)
- | CubicBezierSegment
- | QuadraticBezierSegment
- | EllipseSegment (Matrix 3 3 r)
- | ArcSegment
- | SplineSegment
- | ClosedSplineSegment
_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 = Path {
- _pathSegments :: LSeq 1 (PathSegment r)
}
pathSegments :: forall r r. Iso (Path r) (Path r) (LSeq 1 (PathSegment r)) (LSeq 1 (PathSegment r))
data Operation r
- = 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
_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)
type family AttrMap (r :: *) (l :: AttributeUniverse) :: * where ...
type AttrMapSym2 (r6989586621679223168 :: Type) (l6989586621679223169 :: AttributeUniverse) = AttrMap r6989586621679223168 l6989586621679223169
data AttrMapSym1 (r6989586621679223168 :: Type) :: (~>) AttributeUniverse Type where
- AttrMapSym1KindInference :: forall r6989586621679223168 l6989586621679223169 arg. SameKind (Apply (AttrMapSym1 r6989586621679223168) arg) (AttrMapSym2 r6989586621679223168 arg) => AttrMapSym1 r6989586621679223168 l6989586621679223169
data AttrMapSym0 :: (~>) Type ((~>) AttributeUniverse Type) where
- AttrMapSym0KindInference :: forall r6989586621679223168 arg. SameKind (Apply AttrMapSym0 arg) (AttrMapSym1 arg) => AttrMapSym0 r6989586621679223168
newtype Group r = Group [IpeObject r]
type family AttributesOf (t :: * -> *) :: [u] where ...
type Attributes' r = Attributes (AttrMapSym1 r)
type IpeAttributes g r = Attributes' r (AttributesOf g)
type IpeObject' g r = g r :+ IpeAttributes g r
attributes :: Lens' (IpeObject' g r) (IpeAttributes g r)
data IpeObject r
- = IpeGroup (IpeObject' Group r)
- | IpeImage (IpeObject' Image r)
- | IpeTextLabel (IpeObject' TextLabel r)
- | IpeMiniPage (IpeObject' MiniPage r)
- | IpeUse (IpeObject' IpeSymbol r)
- | IpePath (IpeObject' Path r)
_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
- mkIpeObject :: IpeObject' i r -> IpeObject r
ipeObject' :: ToObject i => i r -> IpeAttributes i r -> IpeObject r
commonAttributes :: Lens' (IpeObject r) (Attributes (AttrMapSym1 r) CommonAttributes)
flattenGroups :: [IpeObject r] -> [IpeObject r]
data View = View {
- _layerNames :: [LayerName]
- _activeLayer :: LayerName
}
layerNames :: Lens' View [LayerName]
activeLayer :: Lens' View LayerName
data IpeStyle = IpeStyle {
- _styleName :: Maybe Text
- _styleData :: Node Text Text
}
styleName :: Lens' IpeStyle (Maybe Text)
styleData :: Lens' IpeStyle (Node Text Text)
basicIpeStyle :: IpeStyle
data IpePreamble = IpePreamble {
- _encoding :: Maybe Text
- _preambleData :: Text
}
preambleData :: Lens' IpePreamble Text
encoding :: Lens' IpePreamble (Maybe Text)
type IpeBitmap = Text
data IpePage r = IpePage {
- _layers :: [LayerName]
- _views :: [View]
- _content :: [IpeObject 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
data IpeFile r = IpeFile {
- _preamble :: Maybe IpePreamble
- _styles :: [IpeStyle]
- _pages :: NonEmpty (IpePage 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
singlePageFromContent :: [IpeObject r] -> IpeFile r
applyMatrix' :: (IsTransformable (i r), Matrix ∈ AttributesOf i, Dimension (i r) ~ 2, r ~ NumType (i r)) => IpeObject' i r -> IpeObject' i r
applyMatrix :: Fractional r => IpeObject r -> IpeObject r
applyMatrices :: Fractional r => IpeFile r -> IpeFile r
applyMatricesPage :: Fractional r => IpePage r -> IpePage r

Documentation

newtype LayerName Source #

Constructors

LayerName
Fields _layerName :: Text

Instances

Eq LayerName Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: LayerName -> LayerName -> Bool # (/=) :: LayerName -> LayerName -> Bool #
Ord LayerName Source #
Instance details 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 Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods readsPrec :: Int -> ReadS LayerName # readList :: ReadS [LayerName] # readPrec :: ReadPrec LayerName # readListPrec :: ReadPrec [LayerName] #
Show LayerName Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods showsPrec :: Int -> LayerName -> ShowS # show :: LayerName -> String # showList :: [LayerName] -> ShowS #
IsString LayerName Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods fromString :: String -> LayerName #
IpeRead LayerName Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError LayerName Source #
IpeReadText LayerName Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError LayerName Source #
IpeWrite LayerName Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: LayerName -> Maybe (Node Text Text) Source #
IpeWriteText LayerName Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWriteText :: LayerName -> Maybe Text Source #

data Image r Source #

Image Objects

Constructors

Image
Fields _imageData :: () _rect :: Rectangle () r

Instances

ToObject Image Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' Image r -> IpeObject r Source #
Eq r => Eq (Image r) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: Image r -> Image r -> Bool # (/=) :: Image r -> Image r -> Bool #
Ord r => Ord (Image r) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods transformBy :: Transformation (Dimension (Image r)) (NumType (Image r)) -> Image r -> Image r
Coordinate r => IpeRead (Image r) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError (Image r) Source #
IpeWriteText r => IpeWrite (Image r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: Image r -> Maybe (Node Text Text) Source #
type Dimension (Image r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Dimension (Image r) = 2
type NumType (Image r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (Image r) = r

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

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

data TextLabel r Source #

Text Objects

Constructors

Label Text (Point 2 r)

Instances

ToObject TextLabel Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' TextLabel r -> IpeObject r Source #
Eq r => Eq (TextLabel r) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: TextLabel r -> TextLabel r -> Bool # (/=) :: TextLabel r -> TextLabel r -> Bool #
Ord r => Ord (TextLabel r) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods transformBy :: Transformation (Dimension (TextLabel r)) (NumType (TextLabel r)) -> TextLabel r -> TextLabel r
Coordinate r => IpeRead (TextLabel r) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError (TextLabel r) Source #
IpeWriteText r => IpeWrite (TextLabel r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: TextLabel r -> Maybe (Node Text Text) Source #
type Dimension (TextLabel r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Dimension (TextLabel r) = 2
type NumType (TextLabel r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (TextLabel r) = r

data MiniPage r Source #

Constructors

MiniPage Text (Point 2 r) r

Instances

ToObject MiniPage Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' MiniPage r -> IpeObject r Source #
Eq r => Eq (MiniPage r) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: MiniPage r -> MiniPage r -> Bool # (/=) :: MiniPage r -> MiniPage r -> Bool #
Ord r => Ord (MiniPage r) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods transformBy :: Transformation (Dimension (MiniPage r)) (NumType (MiniPage r)) -> MiniPage r -> MiniPage r
Coordinate r => IpeRead (MiniPage r) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError (MiniPage r) Source #
IpeWriteText r => IpeWrite (MiniPage r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: MiniPage r -> Maybe (Node Text Text) Source #
type Dimension (MiniPage r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Dimension (MiniPage r) = 2
type NumType (MiniPage r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (MiniPage r) = r

width :: MiniPage t -> t Source #

data IpeSymbol r Source #

Ipe Symbols, i.e. Points

A symbol (point) in ipe

Constructors

Symbol
Fields _symbolPoint :: Point 2 r _symbolName :: Text

Instances

ToObject IpeSymbol Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' IpeSymbol r -> IpeObject r Source #
Eq r => Eq (IpeSymbol r) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: IpeSymbol r -> IpeSymbol r -> Bool # (/=) :: IpeSymbol r -> IpeSymbol r -> Bool #
Ord r => Ord (IpeSymbol r) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods transformBy :: Transformation (Dimension (IpeSymbol r)) (NumType (IpeSymbol r)) -> IpeSymbol r -> IpeSymbol r
Coordinate r => IpeRead (IpeSymbol r) Source #	Ipe read instances
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError (IpeSymbol r) Source #
IpeWriteText r => IpeWrite (IpeSymbol r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: IpeSymbol r -> Maybe (Node Text Text) Source #
type Dimension (IpeSymbol r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Dimension (IpeSymbol r) = 2
type NumType (IpeSymbol r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (IpeSymbol r) = r

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

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

data PathSegment r Source #

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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: PathSegment r -> PathSegment r -> Bool # (/=) :: PathSegment r -> PathSegment r -> Bool #
Show r => Show (PathSegment r) Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods transformBy :: Transformation (Dimension (PathSegment r)) (NumType (PathSegment r)) -> PathSegment r -> PathSegment r
(Coordinate r, Eq r) => IpeReadText (NonEmpty (PathSegment r)) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError (NonEmpty (PathSegment r)) Source #
IpeWriteText r => IpeWriteText (PathSegment r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWriteText :: PathSegment r -> Maybe Text Source #
type Dimension (PathSegment r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Dimension (PathSegment r) = 2
type NumType (PathSegment r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (PathSegment r) = r

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

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

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

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

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

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

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

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

newtype Path r Source #

A path is a non-empty sequence of PathSegments.

Constructors

Path
Fields _pathSegments :: LSeq 1 (PathSegment r)

Instances

ToObject Path Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' Path r -> IpeObject r Source #
Eq r => Eq (Path r) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: Path r -> Path r -> Bool # (/=) :: Path r -> Path r -> Bool #
Show r => Show (Path r) Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods transformBy :: Transformation (Dimension (Path r)) (NumType (Path r)) -> Path r -> Path r
(Coordinate r, Eq r) => IpeRead (Path r) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError (Path r) Source #
(Coordinate r, Eq r) => IpeReadText (Path r) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError (Path r) Source #
IpeWriteText r => IpeWrite (Path r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: Path r -> Maybe (Node Text Text) Source #
IpeWriteText r => IpeWriteText (Path r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWriteText :: Path r -> Maybe Text Source #
type Dimension (Path r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Dimension (Path r) = 2
type NumType (Path r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (Path r) = r

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

data Operation r Source #

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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: Operation r -> Operation r -> Bool # (/=) :: Operation r -> Operation r -> Bool #
Show r => Show (Operation r) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods showsPrec :: Int -> Operation r -> ShowS # show :: Operation r -> String # showList :: [Operation r] -> ShowS #
Coordinate r => IpeReadText [Operation r] Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError [Operation r] Source #
IpeWriteText r => IpeWriteText (Operation r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWriteText :: Operation r -> Maybe Text Source #

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

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

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

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

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

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

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

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

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

Attribute Mapping

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

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 (r6989586621679223168 :: Type) (l6989586621679223169 :: AttributeUniverse) = AttrMap r6989586621679223168 l6989586621679223169 Source #

data AttrMapSym1 (r6989586621679223168 :: Type) :: (~>) AttributeUniverse Type where Source #

Constructors

AttrMapSym1KindInference :: forall r6989586621679223168 l6989586621679223169 arg. SameKind (Apply (AttrMapSym1 r6989586621679223168) arg) (AttrMapSym2 r6989586621679223168 arg) => AttrMapSym1 r6989586621679223168 l6989586621679223169

Instances

SuppressUnusedWarnings (AttrMapSym1 r6989586621679223168 :: TyFun AttributeUniverse Type -> Type) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods suppressUnusedWarnings :: () #
type Apply (AttrMapSym1 r6989586621679223168 :: TyFun AttributeUniverse Type -> Type) (l6989586621679223169 :: AttributeUniverse) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Apply (AttrMapSym1 r6989586621679223168 :: TyFun AttributeUniverse Type -> Type) (l6989586621679223169 :: AttributeUniverse) = AttrMap r6989586621679223168 l6989586621679223169

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

Constructors

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

Instances

SuppressUnusedWarnings AttrMapSym0 Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods suppressUnusedWarnings :: () #
type Apply AttrMapSym0 (r6989586621679223168 :: Type) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Apply AttrMapSym0 (r6989586621679223168 :: Type) = AttrMapSym1 r6989586621679223168

newtype Group r Source #

Groups and Objects

Group Attributes

A group is essentially a list of IpeObjects.

Constructors

Group [IpeObject r]

Instances

ToObject Group Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' Group r -> IpeObject r Source #
Eq r => Eq (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: Group r -> Group r -> Bool # (/=) :: Group r -> Group r -> Bool #
Show r => Show (Group r) Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods transformBy :: Transformation (Dimension (Group r)) (NumType (Group r)) -> Group r -> Group r
(Coordinate r, Eq r) => IpeRead (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError (Group r) Source #
IpeWriteText r => IpeWrite (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: Group r -> Maybe (Node Text Text) Source #
type Dimension (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Dimension (Group r) = 2
type NumType (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (Group r) = r

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

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) Source #

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

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

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

An IpeObject' is essentially the oject ogether with its attributes

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

data IpeObject r Source #

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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: IpeObject r -> IpeObject r -> Bool # (/=) :: IpeObject r -> IpeObject r -> Bool #
Show r => Show (IpeObject r) Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods transformBy :: Transformation (Dimension (IpeObject r)) (NumType (IpeObject r)) -> IpeObject r -> IpeObject r
(Coordinate r, Eq r) => IpeRead (IpeObject r) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError (IpeObject r) Source #
IpeWriteText r => IpeWrite (IpeObject r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: IpeObject r -> Maybe (Node Text Text) Source #
type Dimension (IpeObject r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Dimension (IpeObject r) = 2
type NumType (IpeObject r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (IpeObject r) = r

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

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

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

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

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

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

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

class ToObject i where Source #

Methods

mkIpeObject :: IpeObject' i r -> IpeObject r Source #

Instances

ToObject Image Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' Image r -> IpeObject r Source #
ToObject IpeSymbol Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' IpeSymbol r -> IpeObject r Source #
ToObject MiniPage Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' MiniPage r -> IpeObject r Source #
ToObject TextLabel Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' TextLabel r -> IpeObject r Source #
ToObject Path Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' Path r -> IpeObject r Source #
ToObject Group Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods mkIpeObject :: IpeObject' Group r -> IpeObject r Source #

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

Shorthand for constructing ipeObjects

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

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

collect all non-group objects

data View Source #

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

Constructors

View
Fields _layerNames :: [LayerName] _activeLayer :: LayerName

Instances

Eq View Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: View -> View -> Bool # (/=) :: View -> View -> Bool #
Ord View Source #
Instance details 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 Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods showsPrec :: Int -> View -> ShowS # show :: View -> String # showList :: [View] -> ShowS #
IpeRead View Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError View Source #
IpeWrite View Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: View -> Maybe (Node Text Text) Source #

layerNames :: Lens' View [LayerName] Source #

activeLayer :: Lens' View LayerName Source #

data IpeStyle Source #

for now we pretty much ignore these

Constructors

IpeStyle
Fields _styleName :: Maybe Text _styleData :: Node Text Text

Instances

Eq IpeStyle Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: IpeStyle -> IpeStyle -> Bool # (/=) :: IpeStyle -> IpeStyle -> Bool #
Show IpeStyle Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods showsPrec :: Int -> IpeStyle -> ShowS # show :: IpeStyle -> String # showList :: [IpeStyle] -> ShowS #
IpeWrite IpeStyle Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: IpeStyle -> Maybe (Node Text Text) Source #

styleName :: Lens' IpeStyle (Maybe Text) Source #

styleData :: Lens' IpeStyle (Node Text Text) Source #

basicIpeStyle :: IpeStyle Source #

data IpePreamble Source #

The maybe string is the encoding

Constructors

IpePreamble
Fields _encoding :: Maybe Text _preambleData :: Text

Instances

Eq IpePreamble Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: IpePreamble -> IpePreamble -> Bool # (/=) :: IpePreamble -> IpePreamble -> Bool #
Ord IpePreamble Source #
Instance details 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 Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods readsPrec :: Int -> ReadS IpePreamble # readList :: ReadS [IpePreamble] # readPrec :: ReadPrec IpePreamble # readListPrec :: ReadPrec [IpePreamble] #
Show IpePreamble Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods showsPrec :: Int -> IpePreamble -> ShowS # show :: IpePreamble -> String # showList :: [IpePreamble] -> ShowS #
IpeWrite IpePreamble Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: IpePreamble -> Maybe (Node Text Text) Source #

preambleData :: Lens' IpePreamble Text Source #

encoding :: Lens' IpePreamble (Maybe Text) Source #

type IpeBitmap = Text Source #

data IpePage r Source #

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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: IpePage r -> IpePage r -> Bool # (/=) :: IpePage r -> IpePage r -> Bool #
Show r => Show (IpePage r) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods showsPrec :: Int -> IpePage r -> ShowS # show :: IpePage r -> String # showList :: [IpePage r] -> ShowS #
(Coordinate r, Eq r) => IpeRead (IpePage r) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError (IpePage r) Source #
IpeWriteText r => IpeWrite (IpePage r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: IpePage r -> Maybe (Node Text Text) Source #

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

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

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

fromContent :: [IpeObject r] -> IpePage r Source #

Creates a simple page with no views.

data IpeFile r Source #

A complete ipe file

Constructors

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

Instances

Eq r => Eq (IpeFile r) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods (==) :: IpeFile r -> IpeFile r -> Bool # (/=) :: IpeFile r -> IpeFile r -> Bool #
Show r => Show (IpeFile r) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods showsPrec :: Int -> IpeFile r -> ShowS # show :: IpeFile r -> String # showList :: [IpeFile r] -> ShowS #
(Coordinate r, Eq r) => IpeRead (IpeFile r) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError (IpeFile r) Source #
IpeWriteText r => IpeWrite (IpeFile r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: IpeFile r -> Maybe (Node Text Text) Source #

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

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

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

singlePageFile :: IpePage r -> IpeFile r Source #

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

singlePageFromContent :: [IpeObject r] -> IpeFile r Source #

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 Source #

Takes and applies the ipe Matrix attribute of this item.

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

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

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

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