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 (r6989586621679826752 :: Type) (l6989586621679826753 :: AttributeUniverse) = AttrMap r6989586621679826752 l6989586621679826753
data AttrMapSym1 (r6989586621679826752 :: Type) :: (~>) AttributeUniverse Type where
- AttrMapSym1KindInference :: forall r6989586621679826752 l6989586621679826753 arg. SameKind (Apply (AttrMapSym1 r6989586621679826752) arg) (AttrMapSym2 r6989586621679826752 arg) => AttrMapSym1 r6989586621679826752 l6989586621679826753
data AttrMapSym0 :: (~>) Type ((~>) AttributeUniverse Type) where
- AttrMapSym0KindInference :: forall r6989586621679826752 arg. SameKind (Apply AttrMapSym0 arg) (AttrMapSym1 arg) => AttrMapSym0 r6989586621679826752
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 #
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 #
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 #

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

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

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

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 Source #
IpeWriteText r => IpeWrite (IpeSymbol r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: IpeSymbol r -> Maybe (Node Text Text) Source #
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 #
type NumType (IpeSymbol r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (IpeSymbol r) = r
type Dimension (IpeSymbol r) Source #
Instance details 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) 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 Source #
IpeWriteText r => IpeWriteText (PathSegment r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWriteText :: PathSegment r -> Maybe Text Source #
(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 #
type NumType (PathSegment r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (PathSegment r) = r
type Dimension (PathSegment r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Dimension (PathSegment r) = 2

_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 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 #
(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 #
type NumType (Path r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (Path r) = r
type Dimension (Path r) Source #
Instance details 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)) 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 #
IpeWriteText r => IpeWriteText (Operation r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWriteText :: Operation r -> Maybe Text Source #
Coordinate r => IpeReadText [Operation r] Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError [Operation r] 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 (r6989586621679826752 :: Type) (l6989586621679826753 :: AttributeUniverse) = AttrMap r6989586621679826752 l6989586621679826753 Source #

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

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) Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods suppressUnusedWarnings :: () #
type Apply (AttrMapSym1 r6989586621679826752 :: TyFun AttributeUniverse Type -> Type) (l6989586621679826753 :: AttributeUniverse) Source #
Instance details 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 Source #

Constructors

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

Instances

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

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 Source #
IpeWriteText r => IpeWrite (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: Group r -> Maybe (Node Text Text) Source #
(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 #
type NumType (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (Group r) = r
type Dimension (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Dimension (Group r) = 2

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 Source #
IpeWriteText r => IpeWrite (IpeObject r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: IpeObject r -> Maybe (Node Text Text) Source #
(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 #
type NumType (IpeObject r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type NumType (IpeObject r) = r
type Dimension (IpeObject r) Source #
Instance details Defined in Data.Geometry.Ipe.Types type Dimension (IpeObject r) = 2

_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 #
IpeWrite View Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: View -> Maybe (Node Text Text) Source #
IpeRead View Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError View 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 #
IpeWriteText r => IpeWrite (IpePage r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: IpePage r -> Maybe (Node Text Text) Source #
(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 #

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 #
IpeWriteText r => IpeWrite (IpeFile r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: IpeFile r -> Maybe (Node Text Text) Source #
(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 #

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 #