Data.Geometry.Ipe.Types

Data type modeling the various elements in Ipe files.

Documentation

newtype LayerName

Constructors

LayerName Text

Instances

Eq LayerName

Defined in Data.Geometry.Ipe.Layer

Methods

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

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

Ord LayerName

Defined in Data.Geometry.Ipe.Layer

Methods

compare :: LayerName -> LayerName -> Ordering

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

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

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

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

max :: LayerName -> LayerName -> LayerName

min :: LayerName -> LayerName -> LayerName

Read LayerName

Defined in Data.Geometry.Ipe.Layer

Methods

readsPrec :: Int -> ReadS LayerName

readList :: ReadS [LayerName]

readPrec :: ReadPrec LayerName

readListPrec :: ReadPrec [LayerName]

Show LayerName

Defined in Data.Geometry.Ipe.Layer

Methods

showsPrec :: Int -> LayerName -> ShowS

show :: LayerName -> String

showList :: [LayerName] -> ShowS

IsString LayerName

Defined in Data.Geometry.Ipe.Layer

Methods

fromString :: String -> LayerName

IpeRead LayerName

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError LayerName

IpeReadText LayerName

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError LayerName

IpeWrite LayerName

Defined in Data.Geometry.Ipe.Writer

Methods

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

IpeWriteText LayerName

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: LayerName -> Maybe Text

layerName :: Iso' LayerName Text

data Image r

Image Objects

Constructors

Image () (Rectangle () r)

Instances

Functor Image

Defined in Data.Geometry.Ipe.Content

Methods

fmap :: (a -> b) -> Image a -> Image b

(<$) :: a -> Image b -> Image a

Foldable Image

Defined in Data.Geometry.Ipe.Content

Methods

fold :: Monoid m => Image m -> m

foldMap :: Monoid m => (a -> m) -> Image a -> m

foldr :: (a -> b -> b) -> b -> Image a -> b

foldr' :: (a -> b -> b) -> b -> Image a -> b

foldl :: (b -> a -> b) -> b -> Image a -> b

foldl' :: (b -> a -> b) -> b -> Image a -> b

foldr1 :: (a -> a -> a) -> Image a -> a

foldl1 :: (a -> a -> a) -> Image a -> a

toList :: Image a -> [a]

null :: Image a -> Bool

length :: Image a -> Int

elem :: Eq a => a -> Image a -> Bool

maximum :: Ord a => Image a -> a

minimum :: Ord a => Image a -> a

sum :: Num a => Image a -> a

product :: Num a => Image a -> a

Traversable Image

Defined in Data.Geometry.Ipe.Content

Methods

traverse :: Applicative f => (a -> f b) -> Image a -> f (Image b)

sequenceA :: Applicative f => Image (f a) -> f (Image a)

mapM :: Monad m => (a -> m b) -> Image a -> m (Image b)

sequence :: Monad m => Image (m a) -> m (Image a)

ToObject Image

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' Image r -> IpeObject r

Eq r => Eq (Image r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

Ord r => Ord (Image r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

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

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

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

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

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

Show r => Show (Image r)

Defined in Data.Geometry.Ipe.Content

Methods

showsPrec :: Int -> Image r -> ShowS

show :: Image r -> String

showList :: [Image r] -> ShowS

Fractional r => IsTransformable (Image r)

Defined in Data.Geometry.Ipe.Content

Methods

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

Coordinate r => IpeRead (Image r)

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWrite (Image r)

Defined in Data.Geometry.Ipe.Writer

Methods

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

type Dimension (Image r)

Defined in Data.Geometry.Ipe.Content

type Dimension (Image r) = 2

type NumType (Image r)

Defined in Data.Geometry.Ipe.Content

type NumType (Image r) = r

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

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

data TextLabel r

Text Objects

Constructors

Label Text (Point 2 r)

Instances

Functor TextLabel

Defined in Data.Geometry.Ipe.Content

Methods

fmap :: (a -> b) -> TextLabel a -> TextLabel b

(<$) :: a -> TextLabel b -> TextLabel a

Foldable TextLabel

Defined in Data.Geometry.Ipe.Content

Methods

fold :: Monoid m => TextLabel m -> m

foldMap :: Monoid m => (a -> m) -> TextLabel a -> m

foldr :: (a -> b -> b) -> b -> TextLabel a -> b

foldr' :: (a -> b -> b) -> b -> TextLabel a -> b

foldl :: (b -> a -> b) -> b -> TextLabel a -> b

foldl' :: (b -> a -> b) -> b -> TextLabel a -> b

foldr1 :: (a -> a -> a) -> TextLabel a -> a

foldl1 :: (a -> a -> a) -> TextLabel a -> a

toList :: TextLabel a -> [a]

null :: TextLabel a -> Bool

length :: TextLabel a -> Int

elem :: Eq a => a -> TextLabel a -> Bool

maximum :: Ord a => TextLabel a -> a

minimum :: Ord a => TextLabel a -> a

sum :: Num a => TextLabel a -> a

product :: Num a => TextLabel a -> a

Traversable TextLabel

Defined in Data.Geometry.Ipe.Content

Methods

traverse :: Applicative f => (a -> f b) -> TextLabel a -> f (TextLabel b)

sequenceA :: Applicative f => TextLabel (f a) -> f (TextLabel a)

mapM :: Monad m => (a -> m b) -> TextLabel a -> m (TextLabel b)

sequence :: Monad m => TextLabel (m a) -> m (TextLabel a)

ToObject TextLabel

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' TextLabel r -> IpeObject r

Eq r => Eq (TextLabel r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

Ord r => Ord (TextLabel r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

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

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

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

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

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

Show r => Show (TextLabel r)

Defined in Data.Geometry.Ipe.Content

Methods

showsPrec :: Int -> TextLabel r -> ShowS

show :: TextLabel r -> String

showList :: [TextLabel r] -> ShowS

Fractional r => IsTransformable (TextLabel r)

Defined in Data.Geometry.Ipe.Content

Methods

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

Coordinate r => IpeRead (TextLabel r)

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWrite (TextLabel r)

Defined in Data.Geometry.Ipe.Writer

Methods

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

type Dimension (TextLabel r)

Defined in Data.Geometry.Ipe.Content

type Dimension (TextLabel r) = 2

type NumType (TextLabel r)

Defined in Data.Geometry.Ipe.Content

type NumType (TextLabel r) = r

data MiniPage r

Constructors

MiniPage Text (Point 2 r) r

Instances

Functor MiniPage

Defined in Data.Geometry.Ipe.Content

Methods

fmap :: (a -> b) -> MiniPage a -> MiniPage b

(<$) :: a -> MiniPage b -> MiniPage a

Foldable MiniPage

Defined in Data.Geometry.Ipe.Content

Methods

fold :: Monoid m => MiniPage m -> m

foldMap :: Monoid m => (a -> m) -> MiniPage a -> m

foldr :: (a -> b -> b) -> b -> MiniPage a -> b

foldr' :: (a -> b -> b) -> b -> MiniPage a -> b

foldl :: (b -> a -> b) -> b -> MiniPage a -> b

foldl' :: (b -> a -> b) -> b -> MiniPage a -> b

foldr1 :: (a -> a -> a) -> MiniPage a -> a

foldl1 :: (a -> a -> a) -> MiniPage a -> a

toList :: MiniPage a -> [a]

null :: MiniPage a -> Bool

length :: MiniPage a -> Int

elem :: Eq a => a -> MiniPage a -> Bool

maximum :: Ord a => MiniPage a -> a

minimum :: Ord a => MiniPage a -> a

sum :: Num a => MiniPage a -> a

product :: Num a => MiniPage a -> a

Traversable MiniPage

Defined in Data.Geometry.Ipe.Content

Methods

traverse :: Applicative f => (a -> f b) -> MiniPage a -> f (MiniPage b)

sequenceA :: Applicative f => MiniPage (f a) -> f (MiniPage a)

mapM :: Monad m => (a -> m b) -> MiniPage a -> m (MiniPage b)

sequence :: Monad m => MiniPage (m a) -> m (MiniPage a)

ToObject MiniPage

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' MiniPage r -> IpeObject r

Eq r => Eq (MiniPage r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

Ord r => Ord (MiniPage r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

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

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

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

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

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

Show r => Show (MiniPage r)

Defined in Data.Geometry.Ipe.Content

Methods

showsPrec :: Int -> MiniPage r -> ShowS

show :: MiniPage r -> String

showList :: [MiniPage r] -> ShowS

Fractional r => IsTransformable (MiniPage r)

Defined in Data.Geometry.Ipe.Content

Methods

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

Coordinate r => IpeRead (MiniPage r)

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWrite (MiniPage r)

Defined in Data.Geometry.Ipe.Writer

Methods

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

type Dimension (MiniPage r)

Defined in Data.Geometry.Ipe.Content

type Dimension (MiniPage r) = 2

type NumType (MiniPage r)

Defined in Data.Geometry.Ipe.Content

type NumType (MiniPage r) = r

width :: MiniPage t -> t

data IpeSymbol r

Ipe Symbols, i.e. Points

A symbol (point) in ipe

Constructors

Symbol (Point 2 r) Text

Instances

Functor IpeSymbol

Defined in Data.Geometry.Ipe.Content

Methods

fmap :: (a -> b) -> IpeSymbol a -> IpeSymbol b

(<$) :: a -> IpeSymbol b -> IpeSymbol a

Foldable IpeSymbol

Defined in Data.Geometry.Ipe.Content

Methods

fold :: Monoid m => IpeSymbol m -> m

foldMap :: Monoid m => (a -> m) -> IpeSymbol a -> m

foldr :: (a -> b -> b) -> b -> IpeSymbol a -> b

foldr' :: (a -> b -> b) -> b -> IpeSymbol a -> b

foldl :: (b -> a -> b) -> b -> IpeSymbol a -> b

foldl' :: (b -> a -> b) -> b -> IpeSymbol a -> b

foldr1 :: (a -> a -> a) -> IpeSymbol a -> a

foldl1 :: (a -> a -> a) -> IpeSymbol a -> a

toList :: IpeSymbol a -> [a]

null :: IpeSymbol a -> Bool

length :: IpeSymbol a -> Int

elem :: Eq a => a -> IpeSymbol a -> Bool

maximum :: Ord a => IpeSymbol a -> a

minimum :: Ord a => IpeSymbol a -> a

sum :: Num a => IpeSymbol a -> a

product :: Num a => IpeSymbol a -> a

Traversable IpeSymbol

Defined in Data.Geometry.Ipe.Content

Methods

traverse :: Applicative f => (a -> f b) -> IpeSymbol a -> f (IpeSymbol b)

sequenceA :: Applicative f => IpeSymbol (f a) -> f (IpeSymbol a)

mapM :: Monad m => (a -> m b) -> IpeSymbol a -> m (IpeSymbol b)

sequence :: Monad m => IpeSymbol (m a) -> m (IpeSymbol a)

ToObject IpeSymbol

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' IpeSymbol r -> IpeObject r

Eq r => Eq (IpeSymbol r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

Ord r => Ord (IpeSymbol r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

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

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

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

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

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

Show r => Show (IpeSymbol r)

Defined in Data.Geometry.Ipe.Content

Methods

showsPrec :: Int -> IpeSymbol r -> ShowS

show :: IpeSymbol r -> String

showList :: [IpeSymbol r] -> ShowS

Fractional r => IsTransformable (IpeSymbol r)

Defined in Data.Geometry.Ipe.Content

Methods

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

Coordinate r => IpeRead (IpeSymbol r)

Ipe read instances

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWrite (IpeSymbol r)

Defined in Data.Geometry.Ipe.Writer

Methods

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

type Dimension (IpeSymbol r)

Defined in Data.Geometry.Ipe.Content

type Dimension (IpeSymbol r) = 2

type NumType (IpeSymbol r)

Defined in Data.Geometry.Ipe.Content

type NumType (IpeSymbol r) = r

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

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

newtype Path r

A path is a non-empty sequence of PathSegments.

Constructors

Path (LSeq 1 (PathSegment r))

Instances

Functor Path

Defined in Data.Geometry.Ipe.Path

Methods

fmap :: (a -> b) -> Path a -> Path b

(<$) :: a -> Path b -> Path a

Foldable Path

Defined in Data.Geometry.Ipe.Path

Methods

fold :: Monoid m => Path m -> m

foldMap :: Monoid m => (a -> m) -> Path a -> m

foldr :: (a -> b -> b) -> b -> Path a -> b

foldr' :: (a -> b -> b) -> b -> Path a -> b

foldl :: (b -> a -> b) -> b -> Path a -> b

foldl' :: (b -> a -> b) -> b -> Path a -> b

foldr1 :: (a -> a -> a) -> Path a -> a

foldl1 :: (a -> a -> a) -> Path a -> a

toList :: Path a -> [a]

null :: Path a -> Bool

length :: Path a -> Int

elem :: Eq a => a -> Path a -> Bool

maximum :: Ord a => Path a -> a

minimum :: Ord a => Path a -> a

sum :: Num a => Path a -> a

product :: Num a => Path a -> a

Traversable Path

Defined in Data.Geometry.Ipe.Path

Methods

traverse :: Applicative f => (a -> f b) -> Path a -> f (Path b)

sequenceA :: Applicative f => Path (f a) -> f (Path a)

mapM :: Monad m => (a -> m b) -> Path a -> m (Path b)

sequence :: Monad m => Path (m a) -> m (Path a)

ToObject Path

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' Path r -> IpeObject r

Eq r => Eq (Path r)

Defined in Data.Geometry.Ipe.Path

Methods

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

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

Show r => Show (Path r)

Defined in Data.Geometry.Ipe.Path

Methods

showsPrec :: Int -> Path r -> ShowS

show :: Path r -> String

showList :: [Path r] -> ShowS

Fractional r => IsTransformable (Path r)

Defined in Data.Geometry.Ipe.Path

Methods

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

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

Defined in Data.Geometry.Ipe.Reader

Methods

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

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

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWrite (Path r)

Defined in Data.Geometry.Ipe.Writer

Methods

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

IpeWriteText r => IpeWriteText (Path r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: Path r -> Maybe Text

type Dimension (Path r)

Defined in Data.Geometry.Ipe.Path

type Dimension (Path r) = 2

type NumType (Path r)

Defined in Data.Geometry.Ipe.Path

type NumType (Path r) = r

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

data PathSegment r

Paths

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

Constructors

PolyLineSegment (PolyLine 2 () r)

PolygonPath (SimplePolygon () r)

CubicBezierSegment (BezierSpline 3 2 r)

QuadraticBezierSegment (BezierSpline 2 2 r)

EllipseSegment (Ellipse r)

ArcSegment

SplineSegment

ClosedSplineSegment

Instances

Functor PathSegment

Defined in Data.Geometry.Ipe.Path

Methods

fmap :: (a -> b) -> PathSegment a -> PathSegment b

(<$) :: a -> PathSegment b -> PathSegment a

Foldable PathSegment

Defined in Data.Geometry.Ipe.Path

Methods

fold :: Monoid m => PathSegment m -> m

foldMap :: Monoid m => (a -> m) -> PathSegment a -> m

foldr :: (a -> b -> b) -> b -> PathSegment a -> b

foldr' :: (a -> b -> b) -> b -> PathSegment a -> b

foldl :: (b -> a -> b) -> b -> PathSegment a -> b

foldl' :: (b -> a -> b) -> b -> PathSegment a -> b

foldr1 :: (a -> a -> a) -> PathSegment a -> a

foldl1 :: (a -> a -> a) -> PathSegment a -> a

toList :: PathSegment a -> [a]

null :: PathSegment a -> Bool

length :: PathSegment a -> Int

elem :: Eq a => a -> PathSegment a -> Bool

maximum :: Ord a => PathSegment a -> a

minimum :: Ord a => PathSegment a -> a

sum :: Num a => PathSegment a -> a

product :: Num a => PathSegment a -> a

Traversable PathSegment

Defined in Data.Geometry.Ipe.Path

Methods

traverse :: Applicative f => (a -> f b) -> PathSegment a -> f (PathSegment b)

sequenceA :: Applicative f => PathSegment (f a) -> f (PathSegment a)

mapM :: Monad m => (a -> m b) -> PathSegment a -> m (PathSegment b)

sequence :: Monad m => PathSegment (m a) -> m (PathSegment a)

Eq r => Eq (PathSegment r)

Defined in Data.Geometry.Ipe.Path

Methods

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

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

Show r => Show (PathSegment r)

Defined in Data.Geometry.Ipe.Path

Methods

showsPrec :: Int -> PathSegment r -> ShowS

show :: PathSegment r -> String

showList :: [PathSegment r] -> ShowS

Fractional r => IsTransformable (PathSegment r)

Defined in Data.Geometry.Ipe.Path

Methods

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

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

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (PathSegment r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: PathSegment r -> Maybe Text

type Dimension (PathSegment r)

Defined in Data.Geometry.Ipe.Path

type Dimension (PathSegment r) = 2

type NumType (PathSegment r)

Defined in Data.Geometry.Ipe.Path

type NumType (PathSegment r) = r

newtype Group r

Groups and Objects

Group Attributes

A group is essentially a list of IpeObjects.

Constructors

Group [IpeObject r]

Instances

Functor Group

Defined in Data.Geometry.Ipe.Content

Methods

fmap :: (a -> b) -> Group a -> Group b

(<$) :: a -> Group b -> Group a

Foldable Group

Defined in Data.Geometry.Ipe.Content

Methods

fold :: Monoid m => Group m -> m

foldMap :: Monoid m => (a -> m) -> Group a -> m

foldr :: (a -> b -> b) -> b -> Group a -> b

foldr' :: (a -> b -> b) -> b -> Group a -> b

foldl :: (b -> a -> b) -> b -> Group a -> b

foldl' :: (b -> a -> b) -> b -> Group a -> b

foldr1 :: (a -> a -> a) -> Group a -> a

foldl1 :: (a -> a -> a) -> Group a -> a

toList :: Group a -> [a]

null :: Group a -> Bool

length :: Group a -> Int

elem :: Eq a => a -> Group a -> Bool

maximum :: Ord a => Group a -> a

minimum :: Ord a => Group a -> a

sum :: Num a => Group a -> a

product :: Num a => Group a -> a

Traversable Group

Defined in Data.Geometry.Ipe.Content

Methods

traverse :: Applicative f => (a -> f b) -> Group a -> f (Group b)

sequenceA :: Applicative f => Group (f a) -> f (Group a)

mapM :: Monad m => (a -> m b) -> Group a -> m (Group b)

sequence :: Monad m => Group (m a) -> m (Group a)

ToObject Group

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' Group r -> IpeObject r

Eq r => Eq (Group r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

Show r => Show (Group r)

Defined in Data.Geometry.Ipe.Content

Methods

showsPrec :: Int -> Group r -> ShowS

show :: Group r -> String

showList :: [Group r] -> ShowS

Fractional r => IsTransformable (Group r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWrite (Group r)

Defined in Data.Geometry.Ipe.Writer

Methods

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

type Dimension (Group r)

Defined in Data.Geometry.Ipe.Content

type Dimension (Group r) = 2

type NumType (Group r)

Defined in Data.Geometry.Ipe.Content

type NumType (Group r) = r

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

data IpeObject r

Constructors

IpeGroup (IpeObject' Group r)

IpeImage (IpeObject' Image r)

IpeTextLabel (IpeObject' TextLabel r)

IpeMiniPage (IpeObject' MiniPage r)

IpeUse (IpeObject' IpeSymbol r)

IpePath (IpeObject' Path r)

Instances

Functor IpeObject

Defined in Data.Geometry.Ipe.Content

Methods

fmap :: (a -> b) -> IpeObject a -> IpeObject b

(<$) :: a -> IpeObject b -> IpeObject a

Foldable IpeObject

Defined in Data.Geometry.Ipe.Content

Methods

fold :: Monoid m => IpeObject m -> m

foldMap :: Monoid m => (a -> m) -> IpeObject a -> m

foldr :: (a -> b -> b) -> b -> IpeObject a -> b

foldr' :: (a -> b -> b) -> b -> IpeObject a -> b

foldl :: (b -> a -> b) -> b -> IpeObject a -> b

foldl' :: (b -> a -> b) -> b -> IpeObject a -> b

foldr1 :: (a -> a -> a) -> IpeObject a -> a

foldl1 :: (a -> a -> a) -> IpeObject a -> a

toList :: IpeObject a -> [a]

null :: IpeObject a -> Bool

length :: IpeObject a -> Int

elem :: Eq a => a -> IpeObject a -> Bool

maximum :: Ord a => IpeObject a -> a

minimum :: Ord a => IpeObject a -> a

sum :: Num a => IpeObject a -> a

product :: Num a => IpeObject a -> a

Traversable IpeObject

Defined in Data.Geometry.Ipe.Content

Methods

traverse :: Applicative f => (a -> f b) -> IpeObject a -> f (IpeObject b)

sequenceA :: Applicative f => IpeObject (f a) -> f (IpeObject a)

mapM :: Monad m => (a -> m b) -> IpeObject a -> m (IpeObject b)

sequence :: Monad m => IpeObject (m a) -> m (IpeObject a)

Eq r => Eq (IpeObject r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

Show r => Show (IpeObject r)

Defined in Data.Geometry.Ipe.Content

Methods

showsPrec :: Int -> IpeObject r -> ShowS

show :: IpeObject r -> String

showList :: [IpeObject r] -> ShowS

Fractional r => IsTransformable (IpeObject r)

Defined in Data.Geometry.Ipe.Content

Methods

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

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

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWrite (IpeObject r)

Defined in Data.Geometry.Ipe.Writer

Methods

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

type Dimension (IpeObject r)

Defined in Data.Geometry.Ipe.Content

type Dimension (IpeObject r) = 2

type NumType (IpeObject r)

Defined in Data.Geometry.Ipe.Content

type NumType (IpeObject r) = r

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

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

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

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

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

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

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

An IpeObject' is essentially the oject ogether with its attributes

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

Shorthand for constructing ipeObjects

class ToObject i where

Methods

mkIpeObject :: IpeObject' i r -> IpeObject r

Instances

ToObject Path

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' Path r -> IpeObject r

ToObject Image

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' Image r -> IpeObject r

ToObject IpeSymbol

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' IpeSymbol r -> IpeObject r

ToObject MiniPage

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' MiniPage r -> IpeObject r

ToObject TextLabel

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' TextLabel r -> IpeObject r

ToObject Group

Defined in Data.Geometry.Ipe.Content

Methods

mkIpeObject :: IpeObject' Group r -> IpeObject r

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

type Attributes' r = Attributes (AttrMapSym1 r)

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

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

Equations

AttributesOf Group = GroupAttributes

AttributesOf Image = CommonAttributes

AttributesOf TextLabel = CommonAttributes

AttributesOf MiniPage = CommonAttributes

AttributesOf IpeSymbol = SymbolAttributes

AttributesOf Path = PathAttributes

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

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

Equations

AttrMap r Layer = LayerName

AttrMap r Matrix = Matrix 3 3 r

AttrMap r Pin = PinType

AttrMap r Transformations = TransformationTypes

AttrMap r Stroke = IpeColor r

AttrMap r Pen = IpePen r

AttrMap r Fill = IpeColor r

AttrMap r Size = IpeSize r

AttrMap r Dash = IpeDash r

AttrMap r LineCap = Int

AttrMap r LineJoin = Int

AttrMap r FillRule = FillType

AttrMap r Arrow = IpeArrow r

AttrMap r RArrow = IpeArrow r

AttrMap r Opacity = IpeOpacity

AttrMap r Tiling = IpeTiling

AttrMap r Gradient = IpeGradient

AttrMap r Clip = Path r

data AttrMapSym1 (r6989586621679265591 :: Type) :: (~>) AttributeUniverse Type

Instances

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

Defined in Data.Geometry.Ipe.Content

Methods

suppressUnusedWarnings :: ()

type Apply (AttrMapSym1 r6989586621679265591 :: TyFun AttributeUniverse Type -> Type) (l6989586621679265592 :: AttributeUniverse)

Defined in Data.Geometry.Ipe.Content

type Apply (AttrMapSym1 r6989586621679265591 :: TyFun AttributeUniverse Type -> Type) (l6989586621679265592 :: AttributeUniverse) = AttrMap r6989586621679265591 l6989586621679265592

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

traverseIpeAttrs :: (Applicative f, AllConstrained TraverseIpeAttr (AttributesOf g)) => proxy g -> (r -> f s) -> IpeAttributes g r -> f (IpeAttributes g s)

traverse for ipe attributes

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

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

collect all non-group objects

data View

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

Constructors

View [LayerName] LayerName

Instances

Eq View

Defined in Data.Geometry.Ipe.Types

Methods

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

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

Ord View

Defined in Data.Geometry.Ipe.Types

Methods

compare :: View -> View -> Ordering

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

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

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

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

max :: View -> View -> View

min :: View -> View -> View

Show View

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> View -> ShowS

show :: View -> String

showList :: [View] -> ShowS

IpeRead View

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError View

IpeWrite View

Defined in Data.Geometry.Ipe.Writer

Methods

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

layerNames :: Lens' View [LayerName]

activeLayer :: Lens' View LayerName

data IpeStyle

for now we pretty much ignore these

Constructors

IpeStyle (Maybe Text) (Node Text Text)

Instances

Eq IpeStyle

Defined in Data.Geometry.Ipe.Types

Methods

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

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

Show IpeStyle

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> IpeStyle -> ShowS

show :: IpeStyle -> String

showList :: [IpeStyle] -> ShowS

IpeWrite IpeStyle

Defined in Data.Geometry.Ipe.Writer

Methods

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

styleName :: Lens' IpeStyle (Maybe Text)

styleData :: Lens' IpeStyle (Node Text Text)

basicIpeStyle :: IpeStyle

data IpePreamble

The maybe string is the encoding

Constructors

IpePreamble (Maybe Text) Text

Instances

Eq IpePreamble

Defined in Data.Geometry.Ipe.Types

Methods

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

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

Ord IpePreamble

Defined in Data.Geometry.Ipe.Types

Methods

compare :: IpePreamble -> IpePreamble -> Ordering

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

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

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

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

max :: IpePreamble -> IpePreamble -> IpePreamble

min :: IpePreamble -> IpePreamble -> IpePreamble

Read IpePreamble

Defined in Data.Geometry.Ipe.Types

Methods

readsPrec :: Int -> ReadS IpePreamble

readList :: ReadS [IpePreamble]

readPrec :: ReadPrec IpePreamble

readListPrec :: ReadPrec [IpePreamble]

Show IpePreamble

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> IpePreamble -> ShowS

show :: IpePreamble -> String

showList :: [IpePreamble] -> ShowS

IpeWrite IpePreamble

Defined in Data.Geometry.Ipe.Writer

Methods

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

encoding :: Lens' IpePreamble (Maybe Text)

preambleData :: Lens' IpePreamble Text

type IpeBitmap = Text

data IpePage r

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

Constructors

IpePage [LayerName] [View] [IpeObject r]

Instances

Eq r => Eq (IpePage r)

Defined in Data.Geometry.Ipe.Types

Methods

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

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

Show r => Show (IpePage r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> IpePage r -> ShowS

show :: IpePage r -> String

showList :: [IpePage r] -> ShowS

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

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWrite (IpePage r)

Defined in Data.Geometry.Ipe.Writer

Methods

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

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

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

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

emptyPage :: IpePage r

Creates an empty page with one layer and view.

fromContent :: [IpeObject r] -> IpePage r

Creates a simple page with a single view.

onLayer :: LayerName -> Getting (Endo [IpeObject r]) [IpeObject r] (IpeObject r)

This allows you to filter the objects on some layer.

>>> let page = IpePage [] [] []
>>> page^..content.onLayer "myLayer"
[]

contentInView :: Word -> Getter (IpePage r) [IpeObject r]

Gets all objects that are visible in the given view.

Note that views are indexed starting from 0. If the page does not have any explicit view definitions, this function returns an empty list.

>>> let page = IpePage [] [] []
>>> page^.contentInView 0
[]

withDefaults :: IpePage r -> IpePage r

Makes sure that the page has at least one layer and at least one view, essentially matching the behaviour of ipe. In particular,

• if the page does not have any layers, it creates a layer named "alpha", and
• if the page does not have any views, it creates a view in which all layers are visible.

data IpeFile r

A complete ipe file

Constructors

IpeFile (Maybe IpePreamble) [IpeStyle] (NonEmpty (IpePage r))

Instances

Eq r => Eq (IpeFile r)

Defined in Data.Geometry.Ipe.Types

Methods

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

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

Show r => Show (IpeFile r)

Defined in Data.Geometry.Ipe.Types

Methods

showsPrec :: Int -> IpeFile r -> ShowS

show :: IpeFile r -> String

showList :: [IpeFile r] -> ShowS

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

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWrite (IpeFile r)

Defined in Data.Geometry.Ipe.Writer

Methods

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

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

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

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

ipeFile :: NonEmpty (IpePage r) -> IpeFile r

Convenience constructor for creating an ipe file without preamble and with the default stylesheet.

singlePageFile :: IpePage r -> IpeFile r

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

singlePageFromContent :: [IpeObject r] -> IpeFile r

Create a single page ipe file from a list of IpeObjects