Safe Haskell	None
Language	Haskell2010

Data.Geometry.Ipe.Types

Contents

Attribute Mapping

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 :: ViewL1 (PathSegment r)
}
pathSegments :: forall r r. Iso (Path r) (Path r) (ViewL1 (PathSegment r)) (ViewL1 (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 (t :: Type) (t :: AttributeUniverse) = AttrMap t t
data AttrMapSym1 (l :: Type) (l :: TyFun AttributeUniverse Type) = SameKind (Apply (AttrMapSym1 l) arg) (AttrMapSym2 l arg) => AttrMapSym1KindInference
data AttrMapSym0 (l :: TyFun Type (TyFun AttributeUniverse Type -> Type)) = SameKind (Apply AttrMapSym0 arg) (AttrMapSym1 arg) => AttrMapSym0KindInference
newtype Group r = Group {
- _groupItems :: [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 :: forall r r. Iso (Group r) (Group r) [IpeObject r] [IpeObject r]
class ToObject i where
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 ipeObject' :: Image r -> IpeAttributes 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 ipeObject' :: TextLabel r -> IpeAttributes 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 ipeObject' :: MiniPage r -> IpeAttributes 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 ipeObject' :: IpeSymbol r -> IpeAttributes 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 :: ViewL1 (PathSegment r)

Instances

ToObject Path Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods ipeObject' :: Path r -> IpeAttributes 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) (ViewL1 (PathSegment r)) (ViewL1 (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 (t :: Type) (t :: AttributeUniverse) = AttrMap t t Source #

data AttrMapSym1 (l :: Type) (l :: TyFun AttributeUniverse Type) Source #

Constructors

SameKind (Apply (AttrMapSym1 l) arg) (AttrMapSym2 l arg) => AttrMapSym1KindInference

Instances

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

data AttrMapSym0 (l :: TyFun Type (TyFun AttributeUniverse Type -> Type)) Source #

Constructors

SameKind (Apply AttrMapSym0 arg) (AttrMapSym1 arg) => AttrMapSym0KindInference

Instances

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

newtype Group r Source #

Groups and Objects

Group Attributes

A group is essentially a list of IpeObjects.

Constructors

Group
Fields _groupItems :: [IpeObject r]

Instances

ToObject Group Source #
Instance details Defined in Data.Geometry.Ipe.Types Methods ipeObject' :: Group r -> IpeAttributes 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 :: forall r r. Iso (Group r) (Group r) [IpeObject r] [IpeObject r] Source #

class ToObject i where Source #

Minimal complete definition

ipeObject'

Methods

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

Instances

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

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 #