Safe Haskell	None
Language	Haskell2010

Data.Geometry.Ipe.Content

Synopsis

data Image r = Image () (Rectangle () r)
imageData :: forall r. Lens' (Image r) ()
rect :: forall r r. Lens (Image r) (Image r) (Rectangle () r) (Rectangle () 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 (Point 2 r) Text
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 = Path (LSeq 1 (PathSegment r))
pathSegments :: forall r r. Iso (Path r) (Path r) (LSeq 1 (PathSegment r)) (LSeq 1 (PathSegment r))
data PathSegment r
- = PolyLineSegment (PolyLine 2 () r)
- | PolygonPath (SimplePolygon () r)
- | CubicBezierSegment (BezierSpline 3 2 r)
- | QuadraticBezierSegment (BezierSpline 2 2 r)
- | EllipseSegment (Ellipse r)
- | ArcSegment
- | SplineSegment
- | ClosedSplineSegment
newtype Group r = Group [IpeObject r]
groupItems :: Lens (Group r) (Group s) [IpeObject r] [IpeObject s]
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)
_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
ipeObject' :: ToObject i => i r -> IpeAttributes i r -> IpeObject r
class ToObject i where
- mkIpeObject :: IpeObject' i r -> IpeObject r
type IpeAttributes g r = Attributes' r (AttributesOf g)
type Attributes' r = Attributes (AttrMapSym1 r)
type family AttributesOf (t :: * -> *) :: [u] where ...
type family AttrMap (r :: *) (l :: AttributeUniverse) :: * where ...
data AttrMapSym1 (r6989586621679265591 :: Type) :: (~>) AttributeUniverse Type
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)
commonAttributes :: Lens' (IpeObject r) (Attributes (AttrMapSym1 r) CommonAttributes)
flattenGroups :: [IpeObject r] -> [IpeObject r]

Documentation

data Image r Source #

Image Objects

Constructors

Image () (Rectangle () r)

Instances

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

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

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

data TextLabel r Source #

Text Objects

Constructors

Label Text (Point 2 r)

Instances

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

data MiniPage r Source #

Constructors

MiniPage Text (Point 2 r) r

Instances

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

width :: MiniPage t -> t Source #

data IpeSymbol r Source #

Ipe Symbols, i.e. Points

A symbol (point) in ipe

Constructors

Symbol (Point 2 r) Text

Instances

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

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

newtype Path r Source #

A path is a non-empty sequence of PathSegments.

Constructors

Path (LSeq 1 (PathSegment r))

Instances

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

data PathSegment r Source #

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 Source #
Instance details Defined in Data.Geometry.Ipe.Path Methods fmap :: (a -> b) -> PathSegment a -> PathSegment b # (<$) :: a -> PathSegment b -> PathSegment a #
Foldable PathSegment Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Path Methods (==) :: PathSegment r -> PathSegment r -> Bool # (/=) :: PathSegment r -> PathSegment r -> Bool #
Show r => Show (PathSegment r) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError (NonEmpty (PathSegment r)) Source #
IpeWriteText r => IpeWriteText (PathSegment r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWriteText :: PathSegment r -> Maybe Text Source #
type Dimension (PathSegment r) Source #
Instance details Defined in Data.Geometry.Ipe.Path type Dimension (PathSegment r) = 2
type NumType (PathSegment r) Source #
Instance details Defined in Data.Geometry.Ipe.Path type NumType (PathSegment r) = r

newtype Group r Source #

Groups and Objects

Group Attributes

A group is essentially a list of IpeObjects.

Constructors

Group [IpeObject r]

Instances

Functor Group Source #
Instance details Defined in Data.Geometry.Ipe.Content Methods fmap :: (a -> b) -> Group a -> Group b # (<$) :: a -> Group b -> Group a #
Foldable Group Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Data.Geometry.Ipe.Content Methods mkIpeObject :: IpeObject' Group r -> IpeObject r Source #
Eq r => Eq (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Content Methods (==) :: Group r -> Group r -> Bool # (/=) :: Group r -> Group r -> Bool #
Show r => Show (Group r) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError (Group r) Source #
IpeWriteText r => IpeWrite (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: Group r -> Maybe (Node Text Text) Source #
type Dimension (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Content type Dimension (Group r) = 2
type NumType (Group r) Source #
Instance details Defined in Data.Geometry.Ipe.Content type NumType (Group r) = r

groupItems :: Lens (Group r) (Group s) [IpeObject r] [IpeObject s] 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

Functor IpeObject Source #
Instance details Defined in Data.Geometry.Ipe.Content Methods fmap :: (a -> b) -> IpeObject a -> IpeObject b # (<$) :: a -> IpeObject b -> IpeObject a #
Foldable IpeObject Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Content Methods (==) :: IpeObject r -> IpeObject r -> Bool # (/=) :: IpeObject r -> IpeObject r -> Bool #
Show r => Show (IpeObject r) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Geometry.Ipe.Reader Methods ipeRead :: Node Text Text -> Either ConversionError (IpeObject r) Source #
IpeWriteText r => IpeWrite (IpeObject r) Source #
Instance details Defined in Data.Geometry.Ipe.Writer Methods ipeWrite :: IpeObject r -> Maybe (Node Text Text) Source #
type Dimension (IpeObject r) Source #
Instance details Defined in Data.Geometry.Ipe.Content type Dimension (IpeObject r) = 2
type NumType (IpeObject r) Source #
Instance details Defined in Data.Geometry.Ipe.Content type NumType (IpeObject r) = r

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

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

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

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

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

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

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

An IpeObject' is essentially the oject ogether with its attributes

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

Shorthand for constructing ipeObjects

class ToObject i where Source #

Methods

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

Instances

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

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

type Attributes' r = Attributes (AttrMapSym1 r) Source #

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

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

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

Instances

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

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

traverse for ipe attributes

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

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

collect all non-group objects