Data.Geometry.Ipe.Content

Documentation

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