| Copyright | (C) Frank Staals |
|---|---|
| License | see the LICENSE file |
| Maintainer | Frank Staals |
| Safe Haskell | None |
| Language | GHC2024 |
Ipe
Description
Reexports the functionality for reading and writing Ipe files.
Synopsis
- data IpeFile r = IpeFile (Maybe IpePreamble) [IpeStyle] (NonEmpty (IpePage r))
- preamble :: forall r f. Functor f => (Maybe IpePreamble -> f (Maybe IpePreamble)) -> IpeFile r -> f (IpeFile r)
- styles :: forall r f. Functor f => ([IpeStyle] -> f [IpeStyle]) -> IpeFile r -> f (IpeFile r)
- pages :: forall r r' f. Functor f => (NonEmpty (IpePage r) -> f (NonEmpty (IpePage r'))) -> IpeFile r -> f (IpeFile r')
- ipeFile :: NonEmpty (IpePage r) -> IpeFile r
- singlePageFile :: IpePage r -> IpeFile r
- singlePageFromContent :: [IpeObject r] -> IpeFile r
- readIpeFile :: (Coordinate r, Eq r) => OsPath -> IO (Either ConversionError (IpeFile r))
- readSinglePageFile :: (Coordinate r, Eq r) => OsPath -> IO (Either ConversionError (IpePage r))
- readSinglePageFileThrow :: (Coordinate r, Eq r) => OsPath -> IO (IpePage r)
- readRawIpeFile :: (Coordinate r, Eq r) => OsPath -> IO (Either ConversionError (IpeFile r))
- type ConversionError = Text
- readAll :: (HasDefaultFromIpe g, r ~ NumType g) => IpePage r -> [g :+ IpeAttributes (DefaultFromIpe g) r]
- readAllDeep :: (HasDefaultFromIpe g, r ~ NumType g) => IpePage r -> [g :+ IpeAttributes (DefaultFromIpe g) r]
- readAllFrom :: (HasDefaultFromIpe g, r ~ NumType g, Coordinate r, Eq r) => OsPath -> IO [g :+ IpeAttributes (DefaultFromIpe g) r]
- writeIpeFile :: IpeWriteText r => OsPath -> IpeFile r -> IO ()
- writeIpeFile' :: IpeWrite t => t -> OsPath -> IO ()
- writeIpePage :: IpeWriteText r => OsPath -> IpePage r -> IO ()
- toIpeXML :: IpeWrite t => t -> Maybe ByteString
- printAsIpeSelection :: IpeWrite t => t -> IO ()
- toIpeSelectionXML :: IpeWrite t => t -> Maybe ByteString
- data IpePage r = IpePage [LayerName] [View] [IpeObject r]
- layers :: forall r f. Functor f => ([LayerName] -> f [LayerName]) -> IpePage r -> f (IpePage r)
- views :: forall r f. Functor f => ([View] -> f [View]) -> IpePage r -> f (IpePage r)
- content :: forall r r' f. Functor f => ([IpeObject r] -> f [IpeObject r']) -> IpePage r -> f (IpePage r')
- emptyPage :: IpePage r
- fromContent :: [IpeObject r] -> IpePage r
- onLayer :: LayerName -> Getting (Endo [IpeObject r]) [IpeObject r] (IpeObject r)
- contentInView :: Word -> Getter (IpePage r) [IpeObject r]
- withDefaults :: IpePage r -> IpePage 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 p f. (Choice p, Applicative f) => p (IpeObject' Path r) (f (IpeObject' Path r)) -> p (IpeObject r) (f (IpeObject r))
- _IpeUse :: forall r p f. (Choice p, Applicative f) => p (IpeObject' IpeSymbol r) (f (IpeObject' IpeSymbol r)) -> p (IpeObject r) (f (IpeObject r))
- _IpeGroup :: forall r p f. (Choice p, Applicative f) => p (IpeObject' Group r) (f (IpeObject' Group r)) -> p (IpeObject r) (f (IpeObject r))
- _IpeTextLabel :: forall r p f. (Choice p, Applicative f) => p (IpeObject' TextLabel r) (f (IpeObject' TextLabel r)) -> p (IpeObject r) (f (IpeObject r))
- _IpeMiniPage :: forall r p f. (Choice p, Applicative f) => p (IpeObject' MiniPage r) (f (IpeObject' MiniPage r)) -> p (IpeObject r) (f (IpeObject r))
- _IpeImage :: forall r p f. (Choice p, Applicative f) => p (IpeObject' Image r) (f (IpeObject' Image r)) -> p (IpeObject r) (f (IpeObject r))
- type IpeObject' (g :: Type -> Type) r = g r :+ IpeAttributes g r
- ipeObject' :: ToObject i => i r -> IpeAttributes i r -> IpeObject r
- class ToObject (i :: Type -> Type) where
- _IpeObject :: Prism' (IpeObject r) (i r :+ IpeAttributes i r)
- mkIpeObject :: IpeObject' i r -> IpeObject r
- newtype Path r = Path (Seq (PathSegment r))
- pathSegments :: forall r r' p f. (Profunctor p, Functor f) => p (Seq (PathSegment r)) (f (Seq (PathSegment r'))) -> p (Path r) (f (Path r'))
- data PathSegment r
- = PolyLineSegment (PolyLine (Point 2 r))
- | PolygonPath !Orientation (SimplePolygon (Point 2 r))
- | CubicBezierSegment (CubicBezier (Point 2 r))
- | QuadraticBezierSegment (QuadraticBezier (Point 2 r))
- | EllipseSegment (Ellipse r)
- | ArcSegment
- | SplineSegment
- | ClosedSplineSegment
- data IpeSymbol r = Symbol (Point 2 r) Text
- symbolPoint :: forall r r' f. Functor f => (Point 2 r -> f (Point 2 r')) -> IpeSymbol r -> f (IpeSymbol r')
- symbolName :: forall r f. Functor f => (Text -> f Text) -> IpeSymbol r -> f (IpeSymbol r)
- newtype Group r = Group [IpeObject r]
- groupItems :: forall r s f. Functor f => ([IpeObject r] -> f [IpeObject s]) -> Group r -> f (Group s)
- data TextLabel r = Label Text (Point 2 r)
- data MiniPage r = MiniPage Text (Point 2 r) r
- width :: MiniPage t -> t
- data Image r = Image () (Rectangle (Point 2 r))
- imageData :: forall r f. Functor f => (() -> f ()) -> Image r -> f (Image r)
- imageRect :: forall r r' f. Functor f => (Rectangle (Point 2 r) -> f (Rectangle (Point 2 r'))) -> Image r -> f (Image r')
- type IpeBitmap = Text
- type family IpeAttributes (g :: Type -> Type) r where ...
- attributes :: forall i r f. Functor f => (IpeAttributes i r -> f (IpeAttributes i r)) -> IpeObject' i r -> f (IpeObject' i r)
- newtype LayerName = LayerName Text
- layerName :: Iso' LayerName Text
- data View = View [LayerName] LayerName
- layerNames :: Lens' View [LayerName]
- activeLayer :: Lens' View LayerName
- data IpeStyle = IpeStyle (Maybe Text) (Node Text Text)
- styleName :: Lens' IpeStyle (Maybe Text)
- styleData :: Lens' IpeStyle (Node Text Text)
- basicIpeStyle :: IpeStyle
- opacitiesStyle :: IpeStyle
- readIpeStylesheet :: OsPath -> IO (Either ConversionError IpeStyle)
- addStyleSheet :: IpeStyle -> IpeFile r -> IpeFile r
- addStyleSheetFrom :: OsPath -> IpeFile r -> IO (IpeFile r)
- data IpePreamble = IpePreamble (Maybe Text) Text
- encoding :: Lens' IpePreamble (Maybe Text)
- preambleData :: Lens' IpePreamble Text
- class IpeRead t where
- _asPoint :: forall r p f. (Choice p, Applicative f) => p (Point 2 r) (f (Point 2 r)) -> p (IpeSymbol r) (f (IpeSymbol r))
- _asLineSegment :: forall r p f. (Choice p, Applicative f) => p (LineSegment AnEndPoint (Point 2 r)) (f (LineSegment AnEndPoint (Point 2 r))) -> p (Path r) (f (Path r))
- _asClosedLineSegment :: forall r p f. (Choice p, Applicative f) => p (ClosedLineSegment (Point 2 r)) (f (ClosedLineSegment (Point 2 r))) -> p (Path r) (f (Path r))
- _asHalfLine :: (Fractional r, Ord r, Show r) => Prism' (IpeObject r) (HalfLine (Point 2 r) :+ IpeAttributes Path r)
- _asRectangle :: (Num r, Ord r) => Prism' (Path r) (Rectangle (Point 2 r))
- _asTriangle :: forall r p f. (Choice p, Applicative f) => p (Triangle (Point 2 r)) (f (Triangle (Point 2 r))) -> p (Path r) (f (Path r))
- _asPolyLine :: forall r p f. (Choice p, Applicative f) => p (PolyLine (Point 2 r)) (f (PolyLine (Point 2 r))) -> p (Path r) (f (Path r))
- _asSimplePolygon :: forall (f :: Type -> Type) r. Foldable1 f => Prism (Path r) (Path r) (SimplePolygon (Point 2 r)) (SimplePolygonF f (Point 2 r))
- _asConvexPolygon :: (Num r, Ord r) => Prism' (Path r) (ConvexPolygon (Point 2 r))
- _asPolygonalDomain :: forall r p f. (Choice p, Applicative f) => p (PolygonalDomain (Point 2 r)) (f (PolygonalDomain (Point 2 r))) -> p (Path r) (f (Path r))
- _withAttrs :: forall r (i :: Type -> Type) g. Prism' (IpeObject r) (i r :+ IpeAttributes i r) -> Prism' (i r) g -> Prism' (IpeObject r) (g :+ IpeAttributes i r)
- class HasDefaultFromIpe g where
- type DefaultFromIpe g :: Type -> Type
- defaultFromIpe :: r ~ NumType g => Prism' (IpeObject r) (g :+ IpeAttributes (DefaultFromIpe g) r)
- class IpeWrite t where
- class IpeWriteText t where
- ipeWriteText :: t -> Maybe Text
- module Ipe.IpeOut
- module Ipe.Attributes
- arrowName :: forall r f. Functor f => (Text -> f Text) -> IpeArrow r -> f (IpeArrow r)
- arrowSize :: forall r1 r2 f. Functor f => (IpeSize r1 -> f (IpeSize r2)) -> IpeArrow r1 -> f (IpeArrow r2)
- normalArrow :: IpeArrow r
- data FillType
- data HorizontalAlignment
- data IpeArrow r = IpeArrow {
- _arrowName :: Text
- _arrowSize :: IpeSize r
- data IpeDash r
- = DashNamed Text
- | DashPattern [r] r
- type IpeGradient = Text
- type IpeOpacity = Text
- newtype IpePen r = IpePen (IpeValue r)
- newtype IpeSize r = IpeSize (IpeValue r)
- type IpeTiling = Text
- data PinType
- = No
- | Yes
- | Horizontal
- | Vertical
- type TeXStyle = Text
- newtype TextSizeUnit r = TextSizeUnit r
- data TransformationTypes
- = Affine
- | Rigid
- | Translations
- data VerticalAlignment
- module Ipe.Value
- newtype IpeColor r = IpeColor (IpeValue (RGB r))
- named :: Text -> IpeColor r
Ipe Files
A complete ipe file
Instances
preamble :: forall r f. Functor f => (Maybe IpePreamble -> f (Maybe IpePreamble)) -> IpeFile r -> f (IpeFile r) Source #
Lens to access the preamble of an ipe file
styles :: forall r f. Functor f => ([IpeStyle] -> f [IpeStyle]) -> IpeFile r -> f (IpeFile r) Source #
Lens to access the styles of an ipe file
pages :: forall r r' f. Functor f => (NonEmpty (IpePage r) -> f (NonEmpty (IpePage r'))) -> IpeFile r -> f (IpeFile r') Source #
Lens to access the pages of an ipe file
ipeFile :: NonEmpty (IpePage r) -> IpeFile r Source #
Convenience constructor for creating an ipe file without preamble and with the default stylesheet.
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
Reading Ipe files
readIpeFile :: (Coordinate r, Eq r) => OsPath -> IO (Either ConversionError (IpeFile r)) Source #
Given a file path, tries to read an ipe file.
This function applies all matrices to objects.
readSinglePageFile :: (Coordinate r, Eq r) => OsPath -> IO (Either ConversionError (IpePage r)) Source #
Since most Ipe file contain only one page, we provide a shortcut for that as well.
This function applies all matrices, and it makes sure there is at least one layer and view in the page.
readSinglePageFileThrow :: (Coordinate r, Eq r) => OsPath -> IO (IpePage r) Source #
Tries to read a single page file, throws an error when this
fails. See readSinglePageFile for further details.
readRawIpeFile :: (Coordinate r, Eq r) => OsPath -> IO (Either ConversionError (IpeFile r)) Source #
Given a file path, tries to read an ipe file
type ConversionError = Text Source #
Reading all Geometries from a single page ipe file
readAll :: (HasDefaultFromIpe g, r ~ NumType g) => IpePage r -> [g :+ IpeAttributes (DefaultFromIpe g) r] Source #
Read all g's from some ipe page(s).
readAllDeep :: (HasDefaultFromIpe g, r ~ NumType g) => IpePage r -> [g :+ IpeAttributes (DefaultFromIpe g) r] Source #
Read all as looking into groups
readAllFrom :: (HasDefaultFromIpe g, r ~ NumType g, Coordinate r, Eq r) => OsPath -> IO [g :+ IpeAttributes (DefaultFromIpe g) r] Source #
Convenience function from reading all g's from an ipe file. If there is an error reading or parsing the file the error is "thrown away".
Writing ipe files
writeIpeFile :: IpeWriteText r => OsPath -> IpeFile r -> IO () Source #
Write an IpeFiele to file.
writeIpeFile' :: IpeWrite t => t -> OsPath -> IO () Source #
Convert to ipe XML and write the output to a file.
writeIpePage :: IpeWriteText r => OsPath -> IpePage r -> IO () Source #
Creates a single page ipe file with the given page
printAsIpeSelection :: IpeWrite t => t -> IO () Source #
Convert the input to ipeXml, and prints it to standard out in such a way that the copied text can be pasted into ipe as a geometry object.
toIpeSelectionXML :: IpeWrite t => t -> Maybe ByteString Source #
Convert input into an ipe selection.
Ipe Pages
An IpePage is essentially a Group, together with a list of layers and a list of views.
Instances
| Generic (IpePage r) Source # | |||||
Defined in Ipe.Types Associated Types
| |||||
| Show r => Show (IpePage r) Source # | |||||
| Eq r => Eq (IpePage r) Source # | |||||
| (Coordinate r, Eq r) => IpeRead (IpePage r) Source # | |||||
Defined in Ipe.Reader | |||||
| IpeWriteText r => IpeWrite (IpePage r) Source # | |||||
| type Rep (IpePage r) Source # | |||||
Defined in Ipe.Types type Rep (IpePage r) = D1 ('MetaData "IpePage" "Ipe.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "IpePage" 'PrefixI 'True) (S1 ('MetaSel ('Just "_layers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [LayerName]) :*: (S1 ('MetaSel ('Just "_views") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [View]) :*: S1 ('MetaSel ('Just "_content") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [IpeObject r])))) | |||||
layers :: forall r f. Functor f => ([LayerName] -> f [LayerName]) -> IpePage r -> f (IpePage r) Source #
Lens to access the layers of an ipe page
views :: forall r f. Functor f => ([View] -> f [View]) -> IpePage r -> f (IpePage r) Source #
Lens to access the views of an ipe page
content :: forall r r' f. Functor f => ([IpeObject r] -> f [IpeObject r']) -> IpePage r -> f (IpePage r') Source #
Lens to access the content of an ipe page
fromContent :: [IpeObject r] -> IpePage r Source #
Creates a simple page with a single view.
onLayer :: LayerName -> Getting (Endo [IpeObject r]) [IpeObject r] (IpeObject r) Source #
This allows you to filter the objects on some layer.
>>>let page = IpePage [] [] []>>>page^..content.onLayer "myLayer"[]
contentInView :: Word -> Getter (IpePage r) [IpeObject r] Source #
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 Source #
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.
Content: Ipe Objects
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 # | |||||
| Foldable IpeObject Source # | |||||
Defined in Ipe.Content Methods fold :: Monoid m => IpeObject m -> m Source # foldMap :: Monoid m => (a -> m) -> IpeObject a -> m Source # foldMap' :: Monoid m => (a -> m) -> IpeObject a -> m Source # foldr :: (a -> b -> b) -> b -> IpeObject a -> b Source # foldr' :: (a -> b -> b) -> b -> IpeObject a -> b Source # foldl :: (b -> a -> b) -> b -> IpeObject a -> b Source # foldl' :: (b -> a -> b) -> b -> IpeObject a -> b Source # foldr1 :: (a -> a -> a) -> IpeObject a -> a Source # foldl1 :: (a -> a -> a) -> IpeObject a -> a Source # toList :: IpeObject a -> [a] Source # null :: IpeObject a -> Bool Source # length :: IpeObject a -> Int Source # elem :: Eq a => a -> IpeObject a -> Bool Source # maximum :: Ord a => IpeObject a -> a Source # minimum :: Ord a => IpeObject a -> a Source # | |||||
| Traversable IpeObject Source # | |||||
Defined in Ipe.Content Methods traverse :: Applicative f => (a -> f b) -> IpeObject a -> f (IpeObject b) Source # sequenceA :: Applicative f => IpeObject (f a) -> f (IpeObject a) Source # mapM :: Monad m => (a -> m b) -> IpeObject a -> m (IpeObject b) Source # sequence :: Monad m => IpeObject (m a) -> m (IpeObject a) Source # | |||||
| Generic (IpeObject r) Source # | |||||
Defined in Ipe.Content Associated Types
| |||||
| Show r => Show (IpeObject r) Source # | |||||
| Eq r => Eq (IpeObject r) Source # | |||||
| (Coordinate r, Fractional r, Eq r) => IpeRead (IpeObject r) Source # | |||||
Defined in Ipe.Reader | |||||
| IpeWriteText r => IpeWrite (IpeObject r) Source # | |||||
| (Fractional r, Eq r) => IsTransformable (IpeObject r) Source # | |||||
Defined in Ipe.Content Methods transformBy :: Transformation (Dimension (IpeObject r)) (NumType (IpeObject r)) -> IpeObject r -> IpeObject r Source # | |||||
| HasCommonAttributes (IpeObject r) r Maybe Source # | Access the attributes | ||||
Defined in Ipe.Content Methods commonAttributes :: Lens' (IpeObject r) (CommonAttributes r Maybe) Source # layer :: Lens' (IpeObject r) (Maybe LayerName) Source # matrix :: Lens' (IpeObject r) (Maybe (Matrix 3 3 r)) Source # pin :: Lens' (IpeObject r) (Maybe PinType) Source # transformations :: Lens' (IpeObject r) (Maybe TransformationTypes) Source # | |||||
| type Rep (IpeObject r) Source # | |||||
Defined in Ipe.Content type Rep (IpeObject r) = D1 ('MetaData "IpeObject" "Ipe.Content" "hgeometry-ipe-1.0.0.0-inplace" 'False) ((C1 ('MetaCons "IpeGroup" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeObject' Group r))) :+: (C1 ('MetaCons "IpeImage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeObject' Image r))) :+: C1 ('MetaCons "IpeTextLabel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeObject' TextLabel r))))) :+: (C1 ('MetaCons "IpeMiniPage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeObject' MiniPage r))) :+: (C1 ('MetaCons "IpeUse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeObject' IpeSymbol r))) :+: C1 ('MetaCons "IpePath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeObject' Path r)))))) | |||||
| type Dimension (IpeObject r) Source # | |||||
Defined in Ipe.Content | |||||
| type NumType (IpeObject r) Source # | |||||
Defined in Ipe.Content | |||||
_IpePath :: forall r p f. (Choice p, Applicative f) => p (IpeObject' Path r) (f (IpeObject' Path r)) -> p (IpeObject r) (f (IpeObject r)) Source #
_IpeUse :: forall r p f. (Choice p, Applicative f) => p (IpeObject' IpeSymbol r) (f (IpeObject' IpeSymbol r)) -> p (IpeObject r) (f (IpeObject r)) Source #
_IpeGroup :: forall r p f. (Choice p, Applicative f) => p (IpeObject' Group r) (f (IpeObject' Group r)) -> p (IpeObject r) (f (IpeObject r)) Source #
_IpeTextLabel :: forall r p f. (Choice p, Applicative f) => p (IpeObject' TextLabel r) (f (IpeObject' TextLabel r)) -> p (IpeObject r) (f (IpeObject r)) Source #
_IpeMiniPage :: forall r p f. (Choice p, Applicative f) => p (IpeObject' MiniPage r) (f (IpeObject' MiniPage r)) -> p (IpeObject r) (f (IpeObject r)) Source #
_IpeImage :: forall r p f. (Choice p, Applicative f) => p (IpeObject' Image r) (f (IpeObject' Image r)) -> p (IpeObject r) (f (IpeObject r)) Source #
type IpeObject' (g :: Type -> Type) 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 :: Type -> Type) where Source #
Minimal complete definition
Methods
_IpeObject :: Prism' (IpeObject r) (i r :+ IpeAttributes i r) Source #
mkIpeObject :: IpeObject' i r -> IpeObject r Source #
Instances
| ToObject Group Source # | |
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (Group r :+ IpeAttributes Group r) Source # mkIpeObject :: IpeObject' Group r -> IpeObject r Source # | |
| ToObject Image Source # | |
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (Image r :+ IpeAttributes Image r) Source # mkIpeObject :: IpeObject' Image r -> IpeObject r Source # | |
| ToObject IpeSymbol Source # | |
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (IpeSymbol r :+ IpeAttributes IpeSymbol r) Source # mkIpeObject :: IpeObject' IpeSymbol r -> IpeObject r Source # | |
| ToObject MiniPage Source # | |
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (MiniPage r :+ IpeAttributes MiniPage r) Source # mkIpeObject :: IpeObject' MiniPage r -> IpeObject r Source # | |
| ToObject TextLabel Source # | |
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (TextLabel r :+ IpeAttributes TextLabel r) Source # mkIpeObject :: IpeObject' TextLabel r -> IpeObject r Source # | |
| ToObject Path Source # | |
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (Path r :+ IpeAttributes Path r) Source # mkIpeObject :: IpeObject' Path r -> IpeObject r Source # | |
Specific Ipe-Objects
A path is a non-empty sequence of PathSegments.
Constructors
| Path (Seq (PathSegment r)) |
Instances
| Functor Path Source # | |||||
| Foldable Path Source # | |||||
Defined in Ipe.Path Methods fold :: Monoid m => Path m -> m Source # foldMap :: Monoid m => (a -> m) -> Path a -> m Source # foldMap' :: Monoid m => (a -> m) -> Path a -> m Source # foldr :: (a -> b -> b) -> b -> Path a -> b Source # foldr' :: (a -> b -> b) -> b -> Path a -> b Source # foldl :: (b -> a -> b) -> b -> Path a -> b Source # foldl' :: (b -> a -> b) -> b -> Path a -> b Source # foldr1 :: (a -> a -> a) -> Path a -> a Source # foldl1 :: (a -> a -> a) -> Path a -> a Source # toList :: Path a -> [a] Source # null :: Path a -> Bool Source # length :: Path a -> Int Source # elem :: Eq a => a -> Path a -> Bool Source # maximum :: Ord a => Path a -> a Source # minimum :: Ord a => Path a -> a Source # | |||||
| Traversable Path Source # | |||||
| ToObject Path Source # | |||||
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (Path r :+ IpeAttributes Path r) Source # mkIpeObject :: IpeObject' Path r -> IpeObject r Source # | |||||
| Semigroup (Path r) Source # | |||||
| Generic (Path r) Source # | |||||
Defined in Ipe.Path Associated Types
| |||||
| Show r => Show (Path r) Source # | |||||
| Eq r => Eq (Path r) Source # | |||||
| HasDefaultFromIpe (Path r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (Path r) => Prism' (IpeObject r0) (Path r :+ IpeAttributes (DefaultFromIpe (Path r)) r0) Source # | |||||
| (Coordinate r, Fractional r, Eq r) => IpeRead (Path r) Source # | |||||
Defined in Ipe.Reader | |||||
| (Coordinate r, Fractional r, Eq r) => IpeReadText (Path r) Source # | |||||
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError (Path r) Source # | |||||
| IpeWriteText r => IpeWrite (Path r) Source # | |||||
| IpeWriteText r => IpeWriteText (Path r) Source # | |||||
Defined in Ipe.Writer | |||||
| (Fractional r, Eq r) => IsTransformable (Path r) Source # | |||||
| HasClip (g :+ GroupAttributes r) (Maybe (Path r)) Source # | |||||
Defined in Ipe.Attributes | |||||
| HasClip (GroupAttributesF r f) (f (Path r)) Source # | |||||
Defined in Ipe.Attributes | |||||
| type Rep (Path r) Source # | |||||
Defined in Ipe.Path type Rep (Path r) = D1 ('MetaData "Path" "Ipe.Path" "hgeometry-ipe-1.0.0.0-inplace" 'True) (C1 ('MetaCons "Path" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pathSegments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq (PathSegment r))))) | |||||
| type DefaultFromIpe (Path r) Source # | |||||
Defined in Ipe.FromIpe | |||||
| type Dimension (Path r) Source # | |||||
| type NumType (Path r) Source # | |||||
pathSegments :: forall r r' p f. (Profunctor p, Functor f) => p (Seq (PathSegment r)) (f (Seq (PathSegment r'))) -> p (Path r) (f (Path r')) Source #
Lens/Iso to access the sequcne of segments of the path
data PathSegment r Source #
Paths consist of Path Segments. PathSegments come in the following forms:
Constructors
| PolyLineSegment (PolyLine (Point 2 r)) | |
| PolygonPath !Orientation (SimplePolygon (Point 2 r)) | |
| CubicBezierSegment (CubicBezier (Point 2 r)) | |
| QuadraticBezierSegment (QuadraticBezier (Point 2 r)) | |
| EllipseSegment (Ellipse r) | |
| ArcSegment | |
| SplineSegment | |
| ClosedSplineSegment |
Instances
| Functor PathSegment Source # | |
Defined in Ipe.Path Methods fmap :: (a -> b) -> PathSegment a -> PathSegment b Source # (<$) :: a -> PathSegment b -> PathSegment a Source # | |
| Foldable PathSegment Source # | |
Defined in Ipe.Path Methods fold :: Monoid m => PathSegment m -> m Source # foldMap :: Monoid m => (a -> m) -> PathSegment a -> m Source # foldMap' :: Monoid m => (a -> m) -> PathSegment a -> m Source # foldr :: (a -> b -> b) -> b -> PathSegment a -> b Source # foldr' :: (a -> b -> b) -> b -> PathSegment a -> b Source # foldl :: (b -> a -> b) -> b -> PathSegment a -> b Source # foldl' :: (b -> a -> b) -> b -> PathSegment a -> b Source # foldr1 :: (a -> a -> a) -> PathSegment a -> a Source # foldl1 :: (a -> a -> a) -> PathSegment a -> a Source # toList :: PathSegment a -> [a] Source # null :: PathSegment a -> Bool Source # length :: PathSegment a -> Int Source # elem :: Eq a => a -> PathSegment a -> Bool Source # maximum :: Ord a => PathSegment a -> a Source # minimum :: Ord a => PathSegment a -> a Source # sum :: Num a => PathSegment a -> a Source # product :: Num a => PathSegment a -> a Source # | |
| Traversable PathSegment Source # | |
Defined in Ipe.Path Methods traverse :: Applicative f => (a -> f b) -> PathSegment a -> f (PathSegment b) Source # sequenceA :: Applicative f => PathSegment (f a) -> f (PathSegment a) Source # mapM :: Monad m => (a -> m b) -> PathSegment a -> m (PathSegment b) Source # sequence :: Monad m => PathSegment (m a) -> m (PathSegment a) Source # | |
| Show r => Show (PathSegment r) Source # | |
| Eq r => Eq (PathSegment r) Source # | |
Defined in Ipe.Path Methods (==) :: PathSegment r -> PathSegment r -> Bool Source # (/=) :: PathSegment r -> PathSegment r -> Bool Source # | |
| (Coordinate r, Fractional r, Eq r) => IpeReadText (NonEmpty (PathSegment r)) Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError (NonEmpty (PathSegment r)) Source # | |
| IpeWriteText r => IpeWriteText (PathSegment r) Source # | |
Defined in Ipe.Writer Methods ipeWriteText :: PathSegment r -> Maybe Text Source # | |
| (Fractional r, Eq r) => IsTransformable (PathSegment r) Source # | |
Defined in Ipe.Path Methods transformBy :: Transformation (Dimension (PathSegment r)) (NumType (PathSegment r)) -> PathSegment r -> PathSegment r Source # | |
| type Dimension (PathSegment r) Source # | |
Defined in Ipe.Path | |
| type NumType (PathSegment r) Source # | |
Defined in Ipe.Path | |
Ipe Symbols, i.e. Points
A symbol (point) in ipe
Instances
| Functor IpeSymbol Source # | |||||
| Foldable IpeSymbol Source # | |||||
Defined in Ipe.Content Methods fold :: Monoid m => IpeSymbol m -> m Source # foldMap :: Monoid m => (a -> m) -> IpeSymbol a -> m Source # foldMap' :: Monoid m => (a -> m) -> IpeSymbol a -> m Source # foldr :: (a -> b -> b) -> b -> IpeSymbol a -> b Source # foldr' :: (a -> b -> b) -> b -> IpeSymbol a -> b Source # foldl :: (b -> a -> b) -> b -> IpeSymbol a -> b Source # foldl' :: (b -> a -> b) -> b -> IpeSymbol a -> b Source # foldr1 :: (a -> a -> a) -> IpeSymbol a -> a Source # foldl1 :: (a -> a -> a) -> IpeSymbol a -> a Source # toList :: IpeSymbol a -> [a] Source # null :: IpeSymbol a -> Bool Source # length :: IpeSymbol a -> Int Source # elem :: Eq a => a -> IpeSymbol a -> Bool Source # maximum :: Ord a => IpeSymbol a -> a Source # minimum :: Ord a => IpeSymbol a -> a Source # | |||||
| Traversable IpeSymbol Source # | |||||
Defined in Ipe.Content Methods traverse :: Applicative f => (a -> f b) -> IpeSymbol a -> f (IpeSymbol b) Source # sequenceA :: Applicative f => IpeSymbol (f a) -> f (IpeSymbol a) Source # mapM :: Monad m => (a -> m b) -> IpeSymbol a -> m (IpeSymbol b) Source # sequence :: Monad m => IpeSymbol (m a) -> m (IpeSymbol a) Source # | |||||
| ToObject IpeSymbol Source # | |||||
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (IpeSymbol r :+ IpeAttributes IpeSymbol r) Source # mkIpeObject :: IpeObject' IpeSymbol r -> IpeObject r Source # | |||||
| Generic (IpeSymbol r) Source # | |||||
Defined in Ipe.Content Associated Types
| |||||
| Show r => Show (IpeSymbol r) Source # | |||||
| Eq r => Eq (IpeSymbol r) Source # | |||||
| Ord r => Ord (IpeSymbol r) Source # | |||||
Defined in Ipe.Content Methods compare :: IpeSymbol r -> IpeSymbol r -> Ordering Source # (<) :: IpeSymbol r -> IpeSymbol r -> Bool Source # (<=) :: IpeSymbol r -> IpeSymbol r -> Bool Source # (>) :: IpeSymbol r -> IpeSymbol r -> Bool Source # (>=) :: IpeSymbol r -> IpeSymbol r -> Bool Source # | |||||
| HasDefaultFromIpe (IpeSymbol r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (IpeSymbol r) => Prism' (IpeObject r0) (IpeSymbol r :+ IpeAttributes (DefaultFromIpe (IpeSymbol r)) r0) Source # | |||||
| Coordinate r => IpeRead (IpeSymbol r) Source # | Ipe read instances | ||||
Defined in Ipe.Reader | |||||
| IpeWriteText r => IpeWrite (IpeSymbol r) Source # | |||||
| Fractional r => IsTransformable (IpeSymbol r) Source # | |||||
Defined in Ipe.Content Methods transformBy :: Transformation (Dimension (IpeSymbol r)) (NumType (IpeSymbol r)) -> IpeSymbol r -> IpeSymbol r Source # | |||||
| type Rep (IpeSymbol r) Source # | |||||
Defined in Ipe.Content type Rep (IpeSymbol r) = D1 ('MetaData "IpeSymbol" "Ipe.Content" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "Symbol" 'PrefixI 'True) (S1 ('MetaSel ('Just "_symbolPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point 2 r)) :*: S1 ('MetaSel ('Just "_symbolName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
| type DefaultFromIpe (IpeSymbol r) Source # | |||||
Defined in Ipe.FromIpe | |||||
| type Dimension (IpeSymbol r) Source # | |||||
Defined in Ipe.Content | |||||
| type NumType (IpeSymbol r) Source # | |||||
Defined in Ipe.Content | |||||
symbolPoint :: forall r r' f. Functor f => (Point 2 r -> f (Point 2 r')) -> IpeSymbol r -> f (IpeSymbol r') Source #
Lens to access the position of the symbol
symbolName :: forall r f. Functor f => (Text -> f Text) -> IpeSymbol r -> f (IpeSymbol r) Source #
Lens to access the name of the symbol
Groups and Objects
Group Attributes
A group is essentially a list of IpeObjects.
Instances
| Functor Group Source # | |||||
| Foldable Group Source # | |||||
Defined in Ipe.Content Methods fold :: Monoid m => Group m -> m Source # foldMap :: Monoid m => (a -> m) -> Group a -> m Source # foldMap' :: Monoid m => (a -> m) -> Group a -> m Source # foldr :: (a -> b -> b) -> b -> Group a -> b Source # foldr' :: (a -> b -> b) -> b -> Group a -> b Source # foldl :: (b -> a -> b) -> b -> Group a -> b Source # foldl' :: (b -> a -> b) -> b -> Group a -> b Source # foldr1 :: (a -> a -> a) -> Group a -> a Source # foldl1 :: (a -> a -> a) -> Group a -> a Source # toList :: Group a -> [a] Source # null :: Group a -> Bool Source # length :: Group a -> Int Source # elem :: Eq a => a -> Group a -> Bool Source # maximum :: Ord a => Group a -> a Source # minimum :: Ord a => Group a -> a Source # | |||||
| Traversable Group Source # | |||||
| ToObject Group Source # | |||||
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (Group r :+ IpeAttributes Group r) Source # mkIpeObject :: IpeObject' Group r -> IpeObject r Source # | |||||
| Generic (Group r) Source # | |||||
Defined in Ipe.Content Associated Types
| |||||
| Show r => Show (Group r) Source # | |||||
| Eq r => Eq (Group r) Source # | |||||
| HasDefaultFromIpe (Group r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (Group r) => Prism' (IpeObject r0) (Group r :+ IpeAttributes (DefaultFromIpe (Group r)) r0) Source # | |||||
| HasDefaultIpeOut (Group r) Source # | |||||
Defined in Ipe.IpeOut Associated Types
| |||||
| (Coordinate r, Eq r) => IpeRead (Group r) Source # | |||||
Defined in Ipe.Reader | |||||
| IpeWriteText r => IpeWrite (Group r) Source # | |||||
| (Fractional r, Eq r) => IsTransformable (Group r) Source # | |||||
Defined in Ipe.Content Methods transformBy :: Transformation (Dimension (Group r)) (NumType (Group r)) -> Group r -> Group r Source # | |||||
| type Rep (Group r) Source # | |||||
Defined in Ipe.Content | |||||
| type DefaultFromIpe (Group r) Source # | |||||
Defined in Ipe.FromIpe | |||||
| type DefaultIpeOut (Group r) Source # | |||||
Defined in Ipe.IpeOut | |||||
| type Dimension (Group r) Source # | |||||
Defined in Ipe.Content | |||||
| type NumType (Group r) Source # | |||||
Defined in Ipe.Content | |||||
groupItems :: forall r s f. Functor f => ([IpeObject r] -> f [IpeObject s]) -> Group r -> f (Group s) Source #
Text Objects
A text label
Instances
| Functor TextLabel Source # | |||||
| Foldable TextLabel Source # | |||||
Defined in Ipe.Content Methods fold :: Monoid m => TextLabel m -> m Source # foldMap :: Monoid m => (a -> m) -> TextLabel a -> m Source # foldMap' :: Monoid m => (a -> m) -> TextLabel a -> m Source # foldr :: (a -> b -> b) -> b -> TextLabel a -> b Source # foldr' :: (a -> b -> b) -> b -> TextLabel a -> b Source # foldl :: (b -> a -> b) -> b -> TextLabel a -> b Source # foldl' :: (b -> a -> b) -> b -> TextLabel a -> b Source # foldr1 :: (a -> a -> a) -> TextLabel a -> a Source # foldl1 :: (a -> a -> a) -> TextLabel a -> a Source # toList :: TextLabel a -> [a] Source # null :: TextLabel a -> Bool Source # length :: TextLabel a -> Int Source # elem :: Eq a => a -> TextLabel a -> Bool Source # maximum :: Ord a => TextLabel a -> a Source # minimum :: Ord a => TextLabel a -> a Source # | |||||
| Traversable TextLabel Source # | |||||
Defined in Ipe.Content Methods traverse :: Applicative f => (a -> f b) -> TextLabel a -> f (TextLabel b) Source # sequenceA :: Applicative f => TextLabel (f a) -> f (TextLabel a) Source # mapM :: Monad m => (a -> m b) -> TextLabel a -> m (TextLabel b) Source # sequence :: Monad m => TextLabel (m a) -> m (TextLabel a) Source # | |||||
| ToObject TextLabel Source # | |||||
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (TextLabel r :+ IpeAttributes TextLabel r) Source # mkIpeObject :: IpeObject' TextLabel r -> IpeObject r Source # | |||||
| Generic (TextLabel r) Source # | |||||
Defined in Ipe.Content Associated Types
| |||||
| Show r => Show (TextLabel r) Source # | |||||
| Eq r => Eq (TextLabel r) Source # | |||||
| Ord r => Ord (TextLabel r) Source # | |||||
Defined in Ipe.Content Methods compare :: TextLabel r -> TextLabel r -> Ordering Source # (<) :: TextLabel r -> TextLabel r -> Bool Source # (<=) :: TextLabel r -> TextLabel r -> Bool Source # (>) :: TextLabel r -> TextLabel r -> Bool Source # (>=) :: TextLabel r -> TextLabel r -> Bool Source # | |||||
| HasDefaultFromIpe (TextLabel r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (TextLabel r) => Prism' (IpeObject r0) (TextLabel r :+ IpeAttributes (DefaultFromIpe (TextLabel r)) r0) Source # | |||||
| Coordinate r => IpeRead (TextLabel r) Source # | |||||
Defined in Ipe.Reader | |||||
| IpeWriteText r => IpeWrite (TextLabel r) Source # | |||||
| Fractional r => IsTransformable (TextLabel r) Source # | |||||
Defined in Ipe.Content Methods transformBy :: Transformation (Dimension (TextLabel r)) (NumType (TextLabel r)) -> TextLabel r -> TextLabel r Source # | |||||
| type Rep (TextLabel r) Source # | |||||
Defined in Ipe.Content type Rep (TextLabel r) = D1 ('MetaData "TextLabel" "Ipe.Content" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "Label" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point 2 r)))) | |||||
| type DefaultFromIpe (TextLabel r) Source # | |||||
Defined in Ipe.FromIpe | |||||
| type Dimension (TextLabel r) Source # | |||||
Defined in Ipe.Content | |||||
| type NumType (TextLabel r) Source # | |||||
Defined in Ipe.Content | |||||
A Minipage
Instances
| Functor MiniPage Source # | |||||
| Foldable MiniPage Source # | |||||
Defined in Ipe.Content Methods fold :: Monoid m => MiniPage m -> m Source # foldMap :: Monoid m => (a -> m) -> MiniPage a -> m Source # foldMap' :: Monoid m => (a -> m) -> MiniPage a -> m Source # foldr :: (a -> b -> b) -> b -> MiniPage a -> b Source # foldr' :: (a -> b -> b) -> b -> MiniPage a -> b Source # foldl :: (b -> a -> b) -> b -> MiniPage a -> b Source # foldl' :: (b -> a -> b) -> b -> MiniPage a -> b Source # foldr1 :: (a -> a -> a) -> MiniPage a -> a Source # foldl1 :: (a -> a -> a) -> MiniPage a -> a Source # toList :: MiniPage a -> [a] Source # null :: MiniPage a -> Bool Source # length :: MiniPage a -> Int Source # elem :: Eq a => a -> MiniPage a -> Bool Source # maximum :: Ord a => MiniPage a -> a Source # minimum :: Ord a => MiniPage a -> a Source # | |||||
| Traversable MiniPage Source # | |||||
Defined in Ipe.Content | |||||
| ToObject MiniPage Source # | |||||
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (MiniPage r :+ IpeAttributes MiniPage r) Source # mkIpeObject :: IpeObject' MiniPage r -> IpeObject r Source # | |||||
| Generic (MiniPage r) Source # | |||||
Defined in Ipe.Content Associated Types
| |||||
| Show r => Show (MiniPage r) Source # | |||||
| Eq r => Eq (MiniPage r) Source # | |||||
| Ord r => Ord (MiniPage r) Source # | |||||
Defined in Ipe.Content Methods compare :: MiniPage r -> MiniPage r -> Ordering Source # (<) :: MiniPage r -> MiniPage r -> Bool Source # (<=) :: MiniPage r -> MiniPage r -> Bool Source # (>) :: MiniPage r -> MiniPage r -> Bool Source # (>=) :: MiniPage r -> MiniPage r -> Bool Source # | |||||
| HasDefaultFromIpe (MiniPage r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (MiniPage r) => Prism' (IpeObject r0) (MiniPage r :+ IpeAttributes (DefaultFromIpe (MiniPage r)) r0) Source # | |||||
| Coordinate r => IpeRead (MiniPage r) Source # | |||||
Defined in Ipe.Reader | |||||
| IpeWriteText r => IpeWrite (MiniPage r) Source # | |||||
| Fractional r => IsTransformable (MiniPage r) Source # | |||||
Defined in Ipe.Content Methods transformBy :: Transformation (Dimension (MiniPage r)) (NumType (MiniPage r)) -> MiniPage r -> MiniPage r Source # | |||||
| type Rep (MiniPage r) Source # | |||||
Defined in Ipe.Content type Rep (MiniPage r) = D1 ('MetaData "MiniPage" "Ipe.Content" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "MiniPage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point 2 r)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)))) | |||||
| type DefaultFromIpe (MiniPage r) Source # | |||||
Defined in Ipe.FromIpe | |||||
| type Dimension (MiniPage r) Source # | |||||
Defined in Ipe.Content | |||||
| type NumType (MiniPage r) Source # | |||||
Defined in Ipe.Content | |||||
Image Objects
bitmap image objects in Ipe
Instances
| Functor Image Source # | |||||
| Foldable Image Source # | |||||
Defined in Ipe.Content Methods fold :: Monoid m => Image m -> m Source # foldMap :: Monoid m => (a -> m) -> Image a -> m Source # foldMap' :: Monoid m => (a -> m) -> Image a -> m Source # foldr :: (a -> b -> b) -> b -> Image a -> b Source # foldr' :: (a -> b -> b) -> b -> Image a -> b Source # foldl :: (b -> a -> b) -> b -> Image a -> b Source # foldl' :: (b -> a -> b) -> b -> Image a -> b Source # foldr1 :: (a -> a -> a) -> Image a -> a Source # foldl1 :: (a -> a -> a) -> Image a -> a Source # toList :: Image a -> [a] Source # null :: Image a -> Bool Source # length :: Image a -> Int Source # elem :: Eq a => a -> Image a -> Bool Source # maximum :: Ord a => Image a -> a Source # minimum :: Ord a => Image a -> a Source # | |||||
| Traversable Image Source # | |||||
| ToObject Image Source # | |||||
Defined in Ipe.Content Methods _IpeObject :: Prism' (IpeObject r) (Image r :+ IpeAttributes Image r) Source # mkIpeObject :: IpeObject' Image r -> IpeObject r Source # | |||||
| Generic (Image r) Source # | |||||
Defined in Ipe.Content Associated Types
| |||||
| Show r => Show (Image r) Source # | |||||
| Eq r => Eq (Image r) Source # | |||||
| Ord r => Ord (Image r) Source # | |||||
| HasDefaultFromIpe (Image r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (Image r) => Prism' (IpeObject r0) (Image r :+ IpeAttributes (DefaultFromIpe (Image r)) r0) Source # | |||||
| Coordinate r => IpeRead (Image r) Source # | |||||
Defined in Ipe.Reader | |||||
| IpeWriteText r => IpeWrite (Image r) Source # | |||||
| Fractional r => IsTransformable (Image r) Source # | |||||
Defined in Ipe.Content Methods transformBy :: Transformation (Dimension (Image r)) (NumType (Image r)) -> Image r -> Image r Source # | |||||
| type Rep (Image r) Source # | |||||
Defined in Ipe.Content type Rep (Image r) = D1 ('MetaData "Image" "Ipe.Content" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "Image" 'PrefixI 'True) (S1 ('MetaSel ('Just "_imageData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ()) :*: S1 ('MetaSel ('Just "_imageRect") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Rectangle (Point 2 r))))) | |||||
| type DefaultFromIpe (Image r) Source # | |||||
Defined in Ipe.FromIpe | |||||
| type Dimension (Image r) Source # | |||||
Defined in Ipe.Content | |||||
| type NumType (Image r) Source # | |||||
Defined in Ipe.Content | |||||
imageData :: forall r f. Functor f => (() -> f ()) -> Image r -> f (Image r) Source #
Lens to access the image data
imageRect :: forall r r' f. Functor f => (Rectangle (Point 2 r) -> f (Rectangle (Point 2 r'))) -> Image r -> f (Image r') Source #
Lens to access the rectangle of the image
Attributes
type family IpeAttributes (g :: Type -> Type) r where ... Source #
Equations
| IpeAttributes Group r = GroupAttributes r | |
| IpeAttributes Image r = ImageAttributes r | |
| IpeAttributes TextLabel r = TextAttributes r | |
| IpeAttributes MiniPage r = TextAttributes r | |
| IpeAttributes Path r = PathAttributes r | |
| IpeAttributes IpeSymbol r = SymbolAttributes r |
attributes :: forall i r f. Functor f => (IpeAttributes i r -> f (IpeAttributes i r)) -> IpeObject' i r -> f (IpeObject' i r) Source #
Access the attributes
Layers and Views
Defines an Layer in Ipe.
Instances
| IsString LayerName Source # | |
| Read LayerName Source # | |
| Show LayerName Source # | |
| Eq LayerName Source # | |
| Ord LayerName Source # | |
Defined in Ipe.Layer | |
| IpeRead LayerName Source # | |
Defined in Ipe.Reader | |
| IpeReadText LayerName Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError LayerName Source # | |
| IpeWrite LayerName Source # | |
| IpeWriteText LayerName Source # | |
Defined in Ipe.Writer | |
The definition of a view make active layer into an index ?
Instances
| Generic View Source # | |||||
Defined in Ipe.Types Associated Types
| |||||
| Show View Source # | |||||
| Eq View Source # | |||||
| Ord View Source # | |||||
| IpeRead View Source # | |||||
Defined in Ipe.Reader | |||||
| IpeWrite View Source # | |||||
| type Rep View Source # | |||||
Defined in Ipe.Types type Rep View = D1 ('MetaData "View" "Ipe.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "View" 'PrefixI 'True) (S1 ('MetaSel ('Just "_layerNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [LayerName]) :*: S1 ('MetaSel ('Just "_activeLayer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LayerName))) | |||||
Ipe Syles and Preamble
for now we pretty much ignore these
Instances
| Generic IpeStyle Source # | |||||
Defined in Ipe.Types Associated Types
| |||||
| Show IpeStyle Source # | |||||
| Eq IpeStyle Source # | |||||
| IpeRead IpeStyle Source # | |||||
Defined in Ipe.Reader | |||||
| IpeWrite IpeStyle Source # | |||||
| type Rep IpeStyle Source # | |||||
Defined in Ipe.Types type Rep IpeStyle = D1 ('MetaData "IpeStyle" "Ipe.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "IpeStyle" 'PrefixI 'True) (S1 ('MetaSel ('Just "_styleName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "_styleData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Node Text Text)))) | |||||
basicIpeStyle :: IpeStyle Source #
The "basic" ipe stylesheet
opacitiesStyle :: IpeStyle Source #
A stylesheet with some convenient predefined opacities. In particular the opacities "10%","20%",..,"90%".
readIpeStylesheet :: OsPath -> IO (Either ConversionError IpeStyle) Source #
Reads an Ipe stylesheet from Disk.
addStyleSheet :: IpeStyle -> IpeFile r -> IpeFile r Source #
Adds a stylesheet to the ipe file. This will be the first stylesheet, i.e. it has priority over all previously imported stylesheets.
addStyleSheetFrom :: OsPath -> IpeFile r -> IO (IpeFile r) Source #
Given a path to a stylesheet, add it to the ipe file with the highest priority. Throws an error when this fails.
data IpePreamble Source #
The maybe string is the encoding
Constructors
| IpePreamble (Maybe Text) Text |
Instances
| Generic IpePreamble Source # | |||||
Defined in Ipe.Types Associated Types
Methods from :: IpePreamble -> Rep IpePreamble x Source # to :: Rep IpePreamble x -> IpePreamble Source # | |||||
| Read IpePreamble Source # | |||||
| Show IpePreamble Source # | |||||
| Eq IpePreamble Source # | |||||
Defined in Ipe.Types Methods (==) :: IpePreamble -> IpePreamble -> Bool Source # (/=) :: IpePreamble -> IpePreamble -> Bool Source # | |||||
| Ord IpePreamble Source # | |||||
Defined in Ipe.Types Methods compare :: IpePreamble -> IpePreamble -> Ordering Source # (<) :: IpePreamble -> IpePreamble -> Bool Source # (<=) :: IpePreamble -> IpePreamble -> Bool Source # (>) :: IpePreamble -> IpePreamble -> Bool Source # (>=) :: IpePreamble -> IpePreamble -> Bool Source # max :: IpePreamble -> IpePreamble -> IpePreamble Source # min :: IpePreamble -> IpePreamble -> IpePreamble Source # | |||||
| IpeWrite IpePreamble Source # | |||||
Defined in Ipe.Writer | |||||
| type Rep IpePreamble Source # | |||||
Defined in Ipe.Types type Rep IpePreamble = D1 ('MetaData "IpePreamble" "Ipe.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "IpePreamble" 'PrefixI 'True) (S1 ('MetaSel ('Just "_encoding") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "_preambleData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
preambleData :: Lens' IpePreamble Text Source #
Lens to access the preambleData
Reading Geometries *From* Ipe
class IpeRead t where Source #
Reading an ipe lement from Xml
Methods
ipeRead :: Node Text Text -> Either ConversionError t Source #
Try to convert an xml tree into a value of type t
Instances
| IpeRead LayerName Source # | |
Defined in Ipe.Reader | |
| IpeRead IpeStyle Source # | |
Defined in Ipe.Reader | |
| IpeRead View Source # | |
Defined in Ipe.Reader | |
| (Coordinate r, Eq r) => IpeRead (Group r) Source # | |
Defined in Ipe.Reader | |
| Coordinate r => IpeRead (Image r) Source # | |
Defined in Ipe.Reader | |
| (Coordinate r, Fractional r, Eq r) => IpeRead (IpeObject r) Source # | |
Defined in Ipe.Reader | |
| Coordinate r => IpeRead (IpeSymbol r) Source # | Ipe read instances |
Defined in Ipe.Reader | |
| Coordinate r => IpeRead (MiniPage r) Source # | |
Defined in Ipe.Reader | |
| Coordinate r => IpeRead (TextLabel r) Source # | |
Defined in Ipe.Reader | |
| (Coordinate r, Fractional r, Eq r) => IpeRead (Path r) Source # | |
Defined in Ipe.Reader | |
| (Coordinate r, Eq r) => IpeRead (IpeFile r) Source # | |
Defined in Ipe.Reader | |
| (Coordinate r, Eq r) => IpeRead (IpePage r) Source # | |
Defined in Ipe.Reader | |
Converting *from* IpeObjects
_asPoint :: forall r p f. (Choice p, Applicative f) => p (Point 2 r) (f (Point 2 r)) -> p (IpeSymbol r) (f (IpeSymbol r)) Source #
Extracts the point from a Symbol. When creating a symbol this creates a disk that supports a stroke color.
_asLineSegment :: forall r p f. (Choice p, Applicative f) => p (LineSegment AnEndPoint (Point 2 r)) (f (LineSegment AnEndPoint (Point 2 r))) -> p (Path r) (f (Path r)) Source #
Try to convert a path into a line segment, fails if the path is not a line segment or a polyline with more than two points.
_asClosedLineSegment :: forall r p f. (Choice p, Applicative f) => p (ClosedLineSegment (Point 2 r)) (f (ClosedLineSegment (Point 2 r))) -> p (Path r) (f (Path r)) Source #
Try to convert a path into a line segment, fails if the path is not a line segment or a polyline with more than two points.
_asHalfLine :: (Fractional r, Ord r, Show r) => Prism' (IpeObject r) (HalfLine (Point 2 r) :+ IpeAttributes Path r) Source #
Try to parse an Line segment with an arrow head as a HalfLine
_asRectangle :: (Num r, Ord r) => Prism' (Path r) (Rectangle (Point 2 r)) Source #
Tries to convert a path into a rectangle.
_asTriangle :: forall r p f. (Choice p, Applicative f) => p (Triangle (Point 2 r)) (f (Triangle (Point 2 r))) -> p (Path r) (f (Path r)) Source #
Convert to a triangle
_asPolyLine :: forall r p f. (Choice p, Applicative f) => p (PolyLine (Point 2 r)) (f (PolyLine (Point 2 r))) -> p (Path r) (f (Path r)) Source #
Convert to a polyline. Ignores all non-polyline parts
>>>testPath ^? _asPolyLineJust (PolyLine [Point2 0 0,Point2 10 10,Point2 200 100])
_asSimplePolygon :: forall (f :: Type -> Type) r. Foldable1 f => Prism (Path r) (Path r) (SimplePolygon (Point 2 r)) (SimplePolygonF f (Point 2 r)) Source #
Convert to a simple polygon
_asConvexPolygon :: (Num r, Ord r) => Prism' (Path r) (ConvexPolygon (Point 2 r)) Source #
Convert to a convex polygon
_asPolygonalDomain :: forall r p f. (Choice p, Applicative f) => p (PolygonalDomain (Point 2 r)) (f (PolygonalDomain (Point 2 r))) -> p (Path r) (f (Path r)) Source #
Convert to a polygonal domain
Dealing with Attributes
_withAttrs :: forall r (i :: Type -> Type) g. Prism' (IpeObject r) (i r :+ IpeAttributes i r) -> Prism' (i r) g -> Prism' (IpeObject r) (g :+ IpeAttributes i r) Source #
Use the first prism to select the ipe object to depicle with, and the second how to select the geometry object from there on. Then we can select the geometry object, directly with its attributes here.
>>>testObject ^? _withAttrs _IpePath _asPolyLineJust (PolyLine [Point2 0 0,Point2 10 10,Point2 200 100] :+ PathAttributes {_commonAttrs = CommonAttributes {_layer = Nothing, _matrix = Nothing, _pin = Nothing, _transformations = Nothing}, _stroke = Just (IpeColor (Named "red")), _fill = Nothing, _pen = Nothing, _dash = Nothing, _lineCap = Nothing, _lineJoin = Nothing, _fillRule = Nothing, _arrow = Nothing, _rArrow = Nothing, _strokeOpacity = Nothing, _opacity = Nothing, _tiling = Nothing, _gradient = Nothing})
Default readers
class HasDefaultFromIpe g where Source #
Associated Types
type DefaultFromIpe g :: Type -> Type Source #
Methods
defaultFromIpe :: r ~ NumType g => Prism' (IpeObject r) (g :+ IpeAttributes (DefaultFromIpe g) r) Source #
Instances
| HasDefaultFromIpe (Group r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (Group r) => Prism' (IpeObject r0) (Group r :+ IpeAttributes (DefaultFromIpe (Group r)) r0) Source # | |||||
| HasDefaultFromIpe (Image r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (Image r) => Prism' (IpeObject r0) (Image r :+ IpeAttributes (DefaultFromIpe (Image r)) r0) Source # | |||||
| HasDefaultFromIpe (IpeSymbol r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (IpeSymbol r) => Prism' (IpeObject r0) (IpeSymbol r :+ IpeAttributes (DefaultFromIpe (IpeSymbol r)) r0) Source # | |||||
| HasDefaultFromIpe (MiniPage r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (MiniPage r) => Prism' (IpeObject r0) (MiniPage r :+ IpeAttributes (DefaultFromIpe (MiniPage r)) r0) Source # | |||||
| HasDefaultFromIpe (TextLabel r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (TextLabel r) => Prism' (IpeObject r0) (TextLabel r :+ IpeAttributes (DefaultFromIpe (TextLabel r)) r0) Source # | |||||
| HasDefaultFromIpe (Path r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (Path r) => Prism' (IpeObject r0) (Path r :+ IpeAttributes (DefaultFromIpe (Path r)) r0) Source # | |||||
| (Radical r, Eq r) => HasDefaultFromIpe (Circle (Point 2 r)) Source # | |||||
Defined in Ipe.FromIpe Associated Types
| |||||
| (Radical r, Eq r) => HasDefaultFromIpe (Disk (Point 2 r)) Source # | |||||
Defined in Ipe.FromIpe Associated Types
| |||||
| (Num r, Ord r) => HasDefaultFromIpe (Rectangle (Point 2 r)) Source # | |||||
Defined in Ipe.FromIpe Associated Types
| |||||
| HasDefaultFromIpe (Ellipse r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (Ellipse r) => Prism' (IpeObject r0) (Ellipse r :+ IpeAttributes (DefaultFromIpe (Ellipse r)) r0) Source # | |||||
| (Fractional r, Ord r, Show r) => HasDefaultFromIpe (HalfLine (Point 2 r)) Source # | |||||
Defined in Ipe Associated Types
| |||||
| HasDefaultFromIpe (ClosedLineSegment (Point 2 r)) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (ClosedLineSegment (Point 2 r)) => Prism' (IpeObject r0) (ClosedLineSegment (Point 2 r) :+ IpeAttributes (DefaultFromIpe (ClosedLineSegment (Point 2 r))) r0) Source # | |||||
| HasDefaultFromIpe (Triangle (Point 2 r)) Source # | |||||
Defined in Ipe.FromIpe Associated Types
| |||||
| HasDefaultFromIpe (PolyLine (Point 2 r)) Source # | |||||
Defined in Ipe.FromIpe Associated Types
| |||||
| (Num r, Ord r) => HasDefaultFromIpe (ConvexPolygon (Point 2 r)) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (ConvexPolygon (Point 2 r)) => Prism' (IpeObject r0) (ConvexPolygon (Point 2 r) :+ IpeAttributes (DefaultFromIpe (ConvexPolygon (Point 2 r))) r0) Source # | |||||
| HasDefaultFromIpe (SimplePolygon (Point 2 r)) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (SimplePolygon (Point 2 r)) => Prism' (IpeObject r0) (SimplePolygon (Point 2 r) :+ IpeAttributes (DefaultFromIpe (SimplePolygon (Point 2 r))) r0) Source # | |||||
| HasDefaultFromIpe (LineSegment AnEndPoint (Point 2 r)) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (LineSegment AnEndPoint (Point 2 r)) => Prism' (IpeObject r0) (LineSegment AnEndPoint (Point 2 r) :+ IpeAttributes (DefaultFromIpe (LineSegment AnEndPoint (Point 2 r))) r0) Source # | |||||
| HasDefaultFromIpe (Point 2 r) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (Point 2 r) => Prism' (IpeObject r0) (Point 2 r :+ IpeAttributes (DefaultFromIpe (Point 2 r)) r0) Source # | |||||
| (Num r, Ord r) => HasDefaultFromIpe (UnboundedConvexRegionF r NonEmpty (Point 2 r)) Source # | |||||
Defined in Ipe.FromIpe Associated Types
Methods defaultFromIpe :: r0 ~ NumType (UnboundedConvexRegionF r NonEmpty (Point 2 r)) => Prism' (IpeObject r0) (UnboundedConvexRegionF r NonEmpty (Point 2 r) :+ IpeAttributes (DefaultFromIpe (UnboundedConvexRegionF r NonEmpty (Point 2 r))) r0) Source # | |||||
Converting *to* IpeObjects
IpeWrite
class IpeWrite t where Source #
Types that correspond to an XML Element. All instances should produce an
Element. If the type should produce a Node with the Text constructor, use
the IpeWriteText typeclass instead.
Instances
| IpeWrite LayerName Source # | |
| IpeWrite IpePreamble Source # | |
Defined in Ipe.Writer | |
| IpeWrite IpeStyle Source # | |
| IpeWrite View Source # | |
| IpeWrite () Source # | |
| IpeWrite t => IpeWrite (NonEmpty t) Source # | |
| IpeWriteText r => IpeWrite (Group r) Source # | |
| IpeWriteText r => IpeWrite (Image r) Source # | |
| IpeWriteText r => IpeWrite (IpeObject r) Source # | |
| IpeWriteText r => IpeWrite (IpeSymbol r) Source # | |
| IpeWriteText r => IpeWrite (MiniPage r) Source # | |
| IpeWriteText r => IpeWrite (TextLabel r) Source # | |
| IpeWriteText r => IpeWrite (Path r) Source # | |
| IpeWriteText r => IpeWrite (IpeFile r) Source # | |
| IpeWriteText r => IpeWrite (IpePage r) Source # | |
| IpeWrite t => IpeWrite [t] Source # | |
| (IpeWrite l, IpeWrite r) => IpeWrite (Either l r) Source # | |
| (IpeWrite g, IpeWriteAttributes ats) => IpeWrite (g :+ ats) Source # | |
| (IpeWriteText r, EndPoint_ (endPoint point), IxValue (endPoint point) ~ point, Vertex (LineSegment endPoint point) ~ point, Point_ point 2 r) => IpeWrite (LineSegment endPoint point) Source # | |
Defined in Ipe.Writer | |
| (IpeWriteText r, Point_ point 2 r, Functor f, Foldable1 f) => IpeWrite (PolyLineF f point) Source # | |
class IpeWriteText t where Source #
For types that can produce a text value
Methods
ipeWriteText :: t -> Maybe Text Source #
Instances
| IpeWriteText FillType Source # | |
Defined in Ipe.Writer | |
| IpeWriteText HorizontalAlignment Source # | |
Defined in Ipe.Writer Methods | |
| IpeWriteText PinType Source # | |
Defined in Ipe.Writer | |
| IpeWriteText TransformationTypes Source # | |
Defined in Ipe.Writer Methods | |
| IpeWriteText VerticalAlignment Source # | |
Defined in Ipe.Writer Methods | |
| IpeWriteText LayerName Source # | |
Defined in Ipe.Writer | |
| IpeWriteText Text Source # | |
Defined in Ipe.Writer | |
| IpeWriteText Integer Source # | |
Defined in Ipe.Writer | |
| IpeWriteText String Source # | |
Defined in Ipe.Writer | |
| IpeWriteText () Source # | |
Defined in Ipe.Writer Methods ipeWriteText :: () -> Maybe Text Source # | |
| IpeWriteText Double Source # | |
Defined in Ipe.Writer | |
| IpeWriteText Float Source # | |
Defined in Ipe.Writer | |
| IpeWriteText Int Source # | |
Defined in Ipe.Writer | |
| IpeWriteText r => IpeWriteText (RGB r) Source # | |
Defined in Ipe.Writer | |
| Integral a => IpeWriteText (Ratio a) Source # | This instance converts the ratio to a Pico, and then displays that. |
Defined in Ipe.Writer | |
| Real r => IpeWriteText (IntervalReal r) Source # | |
Defined in Ipe.Writer Methods ipeWriteText :: IntervalReal r -> Maybe Text Source # | |
| IpeWriteText (RealNumber p) Source # | |
Defined in Ipe.Writer Methods ipeWriteText :: RealNumber p -> Maybe Text Source # | |
| IpeWriteText r => IpeWriteText (IpeArrow r) Source # | |
Defined in Ipe.Writer | |
| IpeWriteText r => IpeWriteText (IpeDash r) Source # | |
Defined in Ipe.Writer | |
| IpeWriteText r => IpeWriteText (IpePen r) Source # | |
Defined in Ipe.Writer | |
| IpeWriteText r => IpeWriteText (IpeSize r) Source # | |
Defined in Ipe.Writer | |
| IpeWriteText r => IpeWriteText (TextSizeUnit r) Source # | |
Defined in Ipe.Writer Methods ipeWriteText :: TextSizeUnit r -> Maybe Text Source # | |
| IpeWriteText r => IpeWriteText (IpeColor r) Source # | |
Defined in Ipe.Writer | |
| IpeWriteText r => IpeWriteText (Operation r) Source # | |
Defined in Ipe.Writer | |
| IpeWriteText r => IpeWriteText (Path r) Source # | |
Defined in Ipe.Writer | |
| IpeWriteText r => IpeWriteText (PathSegment r) Source # | |
Defined in Ipe.Writer Methods ipeWriteText :: PathSegment r -> Maybe Text Source # | |
| IpeWriteText v => IpeWriteText (IpeValue v) Source # | |
Defined in Ipe.Writer | |
| (IpeWriteText r, Point_ point 2 r) => IpeWriteText (PolyLine point) Source # | |
Defined in Ipe.Writer | |
| (IpeWriteText r, Point_ point 2 r) => IpeWriteText (SimplePolygon point) Source # | |
Defined in Ipe.Writer Methods ipeWriteText :: SimplePolygon point -> Maybe Text Source # | |
| (IpeWriteText r, Point_ point 2 r) => IpeWriteText (CubicBezier point) Source # | |
Defined in Ipe.Writer Methods ipeWriteText :: CubicBezier point -> Maybe Text Source # | |
| IpeWriteText r => IpeWriteText (AbsolutelyApproximateValue tol r) Source # | |
Defined in Ipe.Writer Methods ipeWriteText :: AbsolutelyApproximateValue tol r -> Maybe Text Source # | |
| HasResolution p => IpeWriteText (Fixed p) Source # | |
Defined in Ipe.Writer | |
| (IpeWriteText l, IpeWriteText r) => IpeWriteText (Either l r) Source # | |
Defined in Ipe.Writer | |
| IpeWriteText r => IpeWriteText (Point 2 r) Source # | |
Defined in Ipe.Writer | |
| IpeWriteText r => IpeWriteText (Matrix 3 3 r) Source # | |
Defined in Ipe.Writer | |
IpeOut
module Ipe.IpeOut
Batch reexports
module Ipe.Attributes
arrowSize :: forall r1 r2 f. Functor f => (IpeSize r1 -> f (IpeSize r2)) -> IpeArrow r1 -> f (IpeArrow r2) Source #
normalArrow :: IpeArrow r Source #
A normal arrow
Allowed Fill types
Instances
| Read FillType Source # | |
| Show FillType Source # | |
| Eq FillType Source # | |
| IpeReadText FillType Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError FillType Source # | |
| IpeWriteText FillType Source # | |
Defined in Ipe.Writer | |
| HasFillRule (g :+ PathAttributes r) (Maybe FillType) Source # | |
Defined in Ipe.Attributes | |
| HasFillRule (PathAttributesF r f) (f FillType) Source # | |
Defined in Ipe.Attributes | |
data HorizontalAlignment Source #
Constructors
| AlignLeft | |
| AlignHCenter | |
| AlignRight |
Instances
| Enum HorizontalAlignment Source # | |
Defined in Ipe.Attributes.Types Methods succ :: HorizontalAlignment -> HorizontalAlignment Source # pred :: HorizontalAlignment -> HorizontalAlignment Source # toEnum :: Int -> HorizontalAlignment Source # fromEnum :: HorizontalAlignment -> Int Source # enumFrom :: HorizontalAlignment -> [HorizontalAlignment] Source # enumFromThen :: HorizontalAlignment -> HorizontalAlignment -> [HorizontalAlignment] Source # enumFromTo :: HorizontalAlignment -> HorizontalAlignment -> [HorizontalAlignment] Source # enumFromThenTo :: HorizontalAlignment -> HorizontalAlignment -> HorizontalAlignment -> [HorizontalAlignment] Source # | |
| Read HorizontalAlignment Source # | |
Defined in Ipe.Attributes.Types | |
| Show HorizontalAlignment Source # | |
Defined in Ipe.Attributes.Types | |
| Eq HorizontalAlignment Source # | |
Defined in Ipe.Attributes.Types Methods (==) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source # (/=) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source # | |
| Ord HorizontalAlignment Source # | |
Defined in Ipe.Attributes.Types Methods compare :: HorizontalAlignment -> HorizontalAlignment -> Ordering Source # (<) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source # (<=) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source # (>) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source # (>=) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source # max :: HorizontalAlignment -> HorizontalAlignment -> HorizontalAlignment Source # min :: HorizontalAlignment -> HorizontalAlignment -> HorizontalAlignment Source # | |
| IpeReadText HorizontalAlignment Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError HorizontalAlignment Source # | |
| IpeWriteText HorizontalAlignment Source # | |
Defined in Ipe.Writer Methods | |
| HasHAlign (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source # | |
Defined in Ipe.Attributes Methods hAlign :: Lens' (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source # | |
| HasHAlign (TextAttributesF r f) (f HorizontalAlignment) Source # | |
Defined in Ipe.Attributes Methods hAlign :: Lens' (TextAttributesF r f) (f HorizontalAlignment) Source # | |
Possible values for an ipe arrow
Constructors
| IpeArrow | |
Fields
| |
Instances
| Functor IpeArrow Source # | |
| Foldable IpeArrow Source # | |
Defined in Ipe.Attributes.Types Methods fold :: Monoid m => IpeArrow m -> m Source # foldMap :: Monoid m => (a -> m) -> IpeArrow a -> m Source # foldMap' :: Monoid m => (a -> m) -> IpeArrow a -> m Source # foldr :: (a -> b -> b) -> b -> IpeArrow a -> b Source # foldr' :: (a -> b -> b) -> b -> IpeArrow a -> b Source # foldl :: (b -> a -> b) -> b -> IpeArrow a -> b Source # foldl' :: (b -> a -> b) -> b -> IpeArrow a -> b Source # foldr1 :: (a -> a -> a) -> IpeArrow a -> a Source # foldl1 :: (a -> a -> a) -> IpeArrow a -> a Source # toList :: IpeArrow a -> [a] Source # null :: IpeArrow a -> Bool Source # length :: IpeArrow a -> Int Source # elem :: Eq a => a -> IpeArrow a -> Bool Source # maximum :: Ord a => IpeArrow a -> a Source # minimum :: Ord a => IpeArrow a -> a Source # | |
| Traversable IpeArrow Source # | |
Defined in Ipe.Attributes.Types | |
| Show r => Show (IpeArrow r) Source # | |
| Eq r => Eq (IpeArrow r) Source # | |
| Coordinate r => IpeReadText (IpeArrow r) Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError (IpeArrow r) Source # | |
| IpeWriteText r => IpeWriteText (IpeArrow r) Source # | |
Defined in Ipe.Writer | |
| HasArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source # | |
Defined in Ipe.Attributes | |
| HasArrow (PathAttributesF r f) (f (IpeArrow r)) Source # | |
Defined in Ipe.Attributes | |
| HasRArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source # | |
Defined in Ipe.Attributes | |
| HasRArrow (PathAttributesF r f) (f (IpeArrow r)) Source # | |
Defined in Ipe.Attributes | |
Possible values for Dash
Constructors
| DashNamed Text | |
| DashPattern [r] r |
Instances
| Functor IpeDash Source # | |
| Foldable IpeDash Source # | |
Defined in Ipe.Attributes.Types Methods fold :: Monoid m => IpeDash m -> m Source # foldMap :: Monoid m => (a -> m) -> IpeDash a -> m Source # foldMap' :: Monoid m => (a -> m) -> IpeDash a -> m Source # foldr :: (a -> b -> b) -> b -> IpeDash a -> b Source # foldr' :: (a -> b -> b) -> b -> IpeDash a -> b Source # foldl :: (b -> a -> b) -> b -> IpeDash a -> b Source # foldl' :: (b -> a -> b) -> b -> IpeDash a -> b Source # foldr1 :: (a -> a -> a) -> IpeDash a -> a Source # foldl1 :: (a -> a -> a) -> IpeDash a -> a Source # toList :: IpeDash a -> [a] Source # null :: IpeDash a -> Bool Source # length :: IpeDash a -> Int Source # elem :: Eq a => a -> IpeDash a -> Bool Source # maximum :: Ord a => IpeDash a -> a Source # minimum :: Ord a => IpeDash a -> a Source # | |
| Traversable IpeDash Source # | |
Defined in Ipe.Attributes.Types | |
| Show r => Show (IpeDash r) Source # | |
| Eq r => Eq (IpeDash r) Source # | |
| Coordinate r => IpeReadText (IpeDash r) Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError (IpeDash r) Source # | |
| IpeWriteText r => IpeWriteText (IpeDash r) Source # | |
Defined in Ipe.Writer | |
| HasDash (g :+ PathAttributes r) (Maybe (IpeDash r)) Source # | |
Defined in Ipe.Attributes | |
| HasDash (PathAttributesF r f) (f (IpeDash r)) Source # | |
Defined in Ipe.Attributes | |
type IpeGradient = Text Source #
type IpeOpacity = Text Source #
IpeOpacity, IpeTyling, and IpeGradient are all symbolic values
Pen/Thickness
Instances
| Functor IpePen Source # | |
| Foldable IpePen Source # | |
Defined in Ipe.Attributes.Types Methods fold :: Monoid m => IpePen m -> m Source # foldMap :: Monoid m => (a -> m) -> IpePen a -> m Source # foldMap' :: Monoid m => (a -> m) -> IpePen a -> m Source # foldr :: (a -> b -> b) -> b -> IpePen a -> b Source # foldr' :: (a -> b -> b) -> b -> IpePen a -> b Source # foldl :: (b -> a -> b) -> b -> IpePen a -> b Source # foldl' :: (b -> a -> b) -> b -> IpePen a -> b Source # foldr1 :: (a -> a -> a) -> IpePen a -> a Source # foldl1 :: (a -> a -> a) -> IpePen a -> a Source # toList :: IpePen a -> [a] Source # null :: IpePen a -> Bool Source # length :: IpePen a -> Int Source # elem :: Eq a => a -> IpePen a -> Bool Source # maximum :: Ord a => IpePen a -> a Source # minimum :: Ord a => IpePen a -> a Source # | |
| Traversable IpePen Source # | |
Defined in Ipe.Attributes.Types | |
| Show r => Show (IpePen r) Source # | |
| Eq r => Eq (IpePen r) Source # | |
| Ord r => Ord (IpePen r) Source # | |
Defined in Ipe.Attributes.Types | |
| Coordinate r => IpeReadText (IpePen r) Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError (IpePen r) Source # | |
| IpeWriteText r => IpeWriteText (IpePen r) Source # | |
Defined in Ipe.Writer | |
| HasPen (g :+ PathAttributes r) (Maybe (IpePen r)) Source # | |
Defined in Ipe.Attributes | |
| HasPen (g :+ SymbolAttributes r) (Maybe (IpePen r)) Source # | |
Defined in Ipe.Attributes | |
| HasPen (PathAttributesF r f) (f (IpePen r)) Source # | |
Defined in Ipe.Attributes | |
| HasPen (SymbolAttributesF r f) (f (IpePen r)) Source # | |
Defined in Ipe.Attributes | |
The optional Attributes for a symbol data SymbolAttributeUniverse = SymbolStroke | SymbolFill | SymbolPen | Size deriving (Show,Eq)
Size
Instances
| Functor IpeSize Source # | |
| Foldable IpeSize Source # | |
Defined in Ipe.Attributes.Types Methods fold :: Monoid m => IpeSize m -> m Source # foldMap :: Monoid m => (a -> m) -> IpeSize a -> m Source # foldMap' :: Monoid m => (a -> m) -> IpeSize a -> m Source # foldr :: (a -> b -> b) -> b -> IpeSize a -> b Source # foldr' :: (a -> b -> b) -> b -> IpeSize a -> b Source # foldl :: (b -> a -> b) -> b -> IpeSize a -> b Source # foldl' :: (b -> a -> b) -> b -> IpeSize a -> b Source # foldr1 :: (a -> a -> a) -> IpeSize a -> a Source # foldl1 :: (a -> a -> a) -> IpeSize a -> a Source # toList :: IpeSize a -> [a] Source # null :: IpeSize a -> Bool Source # length :: IpeSize a -> Int Source # elem :: Eq a => a -> IpeSize a -> Bool Source # maximum :: Ord a => IpeSize a -> a Source # minimum :: Ord a => IpeSize a -> a Source # | |
| Traversable IpeSize Source # | |
Defined in Ipe.Attributes.Types | |
| Show r => Show (IpeSize r) Source # | |
| Eq r => Eq (IpeSize r) Source # | |
| Ord r => Ord (IpeSize r) Source # | |
Defined in Ipe.Attributes.Types | |
| Coordinate r => IpeReadText (IpeSize r) Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError (IpeSize r) Source # | |
| IpeWriteText r => IpeWriteText (IpeSize r) Source # | |
Defined in Ipe.Writer | |
| HasSymbolSize (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source # | |
Defined in Ipe.Attributes Methods symbolSize :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source # | |
| HasSymbolSize (SymbolAttributesF r f) (f (IpeSize r)) Source # | |
Defined in Ipe.Attributes Methods symbolSize :: Lens' (SymbolAttributesF r f) (f (IpeSize r)) Source # | |
| HasTextSize (g :+ TextAttributes r) (Maybe (IpeSize r)) Source # | |
Defined in Ipe.Attributes | |
| HasTextSize (TextAttributesF r f) (f (IpeSize r)) Source # | |
Defined in Ipe.Attributes | |
Possible values for Pin
Constructors
| No | |
| Yes | |
| Horizontal | |
| Vertical |
Instances
| Enum PinType Source # | |
Defined in Ipe.Attributes.Types Methods succ :: PinType -> PinType Source # pred :: PinType -> PinType Source # toEnum :: Int -> PinType Source # fromEnum :: PinType -> Int Source # enumFrom :: PinType -> [PinType] Source # enumFromThen :: PinType -> PinType -> [PinType] Source # enumFromTo :: PinType -> PinType -> [PinType] Source # enumFromThenTo :: PinType -> PinType -> PinType -> [PinType] Source # | |
| Read PinType Source # | |
| Show PinType Source # | |
| Eq PinType Source # | |
| IpeReadText PinType Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError PinType Source # | |
| IpeWriteText PinType Source # | |
Defined in Ipe.Writer | |
newtype TextSizeUnit r Source #
size of text in points
Constructors
| TextSizeUnit r |
Instances
| Functor TextSizeUnit Source # | |
Defined in Ipe.Attributes.Types Methods fmap :: (a -> b) -> TextSizeUnit a -> TextSizeUnit b Source # (<$) :: a -> TextSizeUnit b -> TextSizeUnit a Source # | |
| Foldable TextSizeUnit Source # | |
Defined in Ipe.Attributes.Types Methods fold :: Monoid m => TextSizeUnit m -> m Source # foldMap :: Monoid m => (a -> m) -> TextSizeUnit a -> m Source # foldMap' :: Monoid m => (a -> m) -> TextSizeUnit a -> m Source # foldr :: (a -> b -> b) -> b -> TextSizeUnit a -> b Source # foldr' :: (a -> b -> b) -> b -> TextSizeUnit a -> b Source # foldl :: (b -> a -> b) -> b -> TextSizeUnit a -> b Source # foldl' :: (b -> a -> b) -> b -> TextSizeUnit a -> b Source # foldr1 :: (a -> a -> a) -> TextSizeUnit a -> a Source # foldl1 :: (a -> a -> a) -> TextSizeUnit a -> a Source # toList :: TextSizeUnit a -> [a] Source # null :: TextSizeUnit a -> Bool Source # length :: TextSizeUnit a -> Int Source # elem :: Eq a => a -> TextSizeUnit a -> Bool Source # maximum :: Ord a => TextSizeUnit a -> a Source # minimum :: Ord a => TextSizeUnit a -> a Source # sum :: Num a => TextSizeUnit a -> a Source # product :: Num a => TextSizeUnit a -> a Source # | |
| Traversable TextSizeUnit Source # | |
Defined in Ipe.Attributes.Types Methods traverse :: Applicative f => (a -> f b) -> TextSizeUnit a -> f (TextSizeUnit b) Source # sequenceA :: Applicative f => TextSizeUnit (f a) -> f (TextSizeUnit a) Source # mapM :: Monad m => (a -> m b) -> TextSizeUnit a -> m (TextSizeUnit b) Source # sequence :: Monad m => TextSizeUnit (m a) -> m (TextSizeUnit a) Source # | |
| Read r => Read (TextSizeUnit r) Source # | |
Defined in Ipe.Attributes.Types Methods readsPrec :: Int -> ReadS (TextSizeUnit r) Source # readList :: ReadS [TextSizeUnit r] Source # readPrec :: ReadPrec (TextSizeUnit r) Source # readListPrec :: ReadPrec [TextSizeUnit r] Source # | |
| Show r => Show (TextSizeUnit r) Source # | |
Defined in Ipe.Attributes.Types | |
| Eq r => Eq (TextSizeUnit r) Source # | |
Defined in Ipe.Attributes.Types Methods (==) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source # (/=) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source # | |
| Ord r => Ord (TextSizeUnit r) Source # | |
Defined in Ipe.Attributes.Types Methods compare :: TextSizeUnit r -> TextSizeUnit r -> Ordering Source # (<) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source # (<=) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source # (>) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source # (>=) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source # max :: TextSizeUnit r -> TextSizeUnit r -> TextSizeUnit r Source # min :: TextSizeUnit r -> TextSizeUnit r -> TextSizeUnit r Source # | |
| Coordinate r => IpeReadText (TextSizeUnit r) Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError (TextSizeUnit r) Source # | |
| IpeWriteText r => IpeWriteText (TextSizeUnit r) Source # | |
Defined in Ipe.Writer Methods ipeWriteText :: TextSizeUnit r -> Maybe Text Source # | |
| HasDepth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source # | |
Defined in Ipe.Attributes Methods depth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source # | |
| HasDepth (TextAttributesF r f) (f (TextSizeUnit r)) Source # | |
Defined in Ipe.Attributes Methods depth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source # | |
| HasTextHeight (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source # | |
Defined in Ipe.Attributes Methods textHeight :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source # | |
| HasTextHeight (TextAttributesF r f) (f (TextSizeUnit r)) Source # | |
Defined in Ipe.Attributes Methods textHeight :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source # | |
| HasTextWidth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source # | |
Defined in Ipe.Attributes Methods textWidth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source # | |
| HasTextWidth (TextAttributesF r f) (f (TextSizeUnit r)) Source # | |
Defined in Ipe.Attributes Methods textWidth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source # | |
data TransformationTypes Source #
Possible values for Transformation
Constructors
| Affine | |
| Rigid | |
| Translations |
Instances
| Enum TransformationTypes Source # | |
Defined in Ipe.Attributes.Types Methods succ :: TransformationTypes -> TransformationTypes Source # pred :: TransformationTypes -> TransformationTypes Source # toEnum :: Int -> TransformationTypes Source # fromEnum :: TransformationTypes -> Int Source # enumFrom :: TransformationTypes -> [TransformationTypes] Source # enumFromThen :: TransformationTypes -> TransformationTypes -> [TransformationTypes] Source # enumFromTo :: TransformationTypes -> TransformationTypes -> [TransformationTypes] Source # enumFromThenTo :: TransformationTypes -> TransformationTypes -> TransformationTypes -> [TransformationTypes] Source # | |
| Read TransformationTypes Source # | |
Defined in Ipe.Attributes.Types | |
| Show TransformationTypes Source # | |
Defined in Ipe.Attributes.Types | |
| Eq TransformationTypes Source # | |
Defined in Ipe.Attributes.Types Methods (==) :: TransformationTypes -> TransformationTypes -> Bool Source # (/=) :: TransformationTypes -> TransformationTypes -> Bool Source # | |
| IpeReadText TransformationTypes Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError TransformationTypes Source # | |
| IpeWriteText TransformationTypes Source # | |
Defined in Ipe.Writer Methods | |
data VerticalAlignment Source #
Constructors
| AlignTop | |
| AlignVCenter | |
| AlignBottom | |
| AlignBaseline |
Instances
| Enum VerticalAlignment Source # | |
Defined in Ipe.Attributes.Types Methods succ :: VerticalAlignment -> VerticalAlignment Source # pred :: VerticalAlignment -> VerticalAlignment Source # toEnum :: Int -> VerticalAlignment Source # fromEnum :: VerticalAlignment -> Int Source # enumFrom :: VerticalAlignment -> [VerticalAlignment] Source # enumFromThen :: VerticalAlignment -> VerticalAlignment -> [VerticalAlignment] Source # enumFromTo :: VerticalAlignment -> VerticalAlignment -> [VerticalAlignment] Source # enumFromThenTo :: VerticalAlignment -> VerticalAlignment -> VerticalAlignment -> [VerticalAlignment] Source # | |
| Read VerticalAlignment Source # | |
Defined in Ipe.Attributes.Types | |
| Show VerticalAlignment Source # | |
Defined in Ipe.Attributes.Types | |
| Eq VerticalAlignment Source # | |
Defined in Ipe.Attributes.Types Methods (==) :: VerticalAlignment -> VerticalAlignment -> Bool Source # (/=) :: VerticalAlignment -> VerticalAlignment -> Bool Source # | |
| Ord VerticalAlignment Source # | |
Defined in Ipe.Attributes.Types Methods compare :: VerticalAlignment -> VerticalAlignment -> Ordering Source # (<) :: VerticalAlignment -> VerticalAlignment -> Bool Source # (<=) :: VerticalAlignment -> VerticalAlignment -> Bool Source # (>) :: VerticalAlignment -> VerticalAlignment -> Bool Source # (>=) :: VerticalAlignment -> VerticalAlignment -> Bool Source # max :: VerticalAlignment -> VerticalAlignment -> VerticalAlignment Source # min :: VerticalAlignment -> VerticalAlignment -> VerticalAlignment Source # | |
| IpeReadText VerticalAlignment Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError VerticalAlignment Source # | |
| IpeWriteText VerticalAlignment Source # | |
Defined in Ipe.Writer Methods | |
| HasVAlign (g :+ TextAttributes r) (Maybe VerticalAlignment) Source # | |
Defined in Ipe.Attributes Methods vAlign :: Lens' (g :+ TextAttributes r) (Maybe VerticalAlignment) Source # | |
| HasVAlign (TextAttributesF r f) (f VerticalAlignment) Source # | |
Defined in Ipe.Attributes Methods vAlign :: Lens' (TextAttributesF r f) (f VerticalAlignment) Source # | |
module Ipe.Value
Defines a color in Ipe. Colors are either RGB Values or Named values.
Instances
| Functor IpeColor Source # | |
| Foldable IpeColor Source # | |
Defined in Ipe.Color Methods fold :: Monoid m => IpeColor m -> m Source # foldMap :: Monoid m => (a -> m) -> IpeColor a -> m Source # foldMap' :: Monoid m => (a -> m) -> IpeColor a -> m Source # foldr :: (a -> b -> b) -> b -> IpeColor a -> b Source # foldr' :: (a -> b -> b) -> b -> IpeColor a -> b Source # foldl :: (b -> a -> b) -> b -> IpeColor a -> b Source # foldl' :: (b -> a -> b) -> b -> IpeColor a -> b Source # foldr1 :: (a -> a -> a) -> IpeColor a -> a Source # foldl1 :: (a -> a -> a) -> IpeColor a -> a Source # toList :: IpeColor a -> [a] Source # null :: IpeColor a -> Bool Source # length :: IpeColor a -> Int Source # elem :: Eq a => a -> IpeColor a -> Bool Source # maximum :: Ord a => IpeColor a -> a Source # minimum :: Ord a => IpeColor a -> a Source # | |
| Traversable IpeColor Source # | |
Defined in Ipe.Color | |
| Read r => Read (IpeColor r) Source # | |
| Show r => Show (IpeColor r) Source # | |
| Eq r => Eq (IpeColor r) Source # | |
| Ord r => Ord (IpeColor r) Source # | |
Defined in Ipe.Color Methods compare :: IpeColor r -> IpeColor r -> Ordering Source # (<) :: IpeColor r -> IpeColor r -> Bool Source # (<=) :: IpeColor r -> IpeColor r -> Bool Source # (>) :: IpeColor r -> IpeColor r -> Bool Source # (>=) :: IpeColor r -> IpeColor r -> Bool Source # | |
| Coordinate r => IpeReadText (IpeColor r) Source # | |
Defined in Ipe.Reader Methods ipeReadText :: Text -> Either ConversionError (IpeColor r) Source # | |
| IpeWriteText r => IpeWriteText (IpeColor r) Source # | |
Defined in Ipe.Writer | |
| HasFill (g :+ PathAttributes r) (Maybe (IpeColor r)) Source # | |
Defined in Ipe.Attributes | |
| HasFill (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source # | |
Defined in Ipe.Attributes | |
| HasFill (PathAttributesF r f) (f (IpeColor r)) Source # | |
Defined in Ipe.Attributes | |
| HasFill (SymbolAttributesF r f) (f (IpeColor r)) Source # | |
Defined in Ipe.Attributes | |
| HasStroke (g :+ PathAttributes r) (Maybe (IpeColor r)) Source # | |
Defined in Ipe.Attributes | |
| HasStroke (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source # | |
Defined in Ipe.Attributes | |
| HasStroke (g :+ TextAttributes r) (Maybe (IpeColor r)) Source # | |
Defined in Ipe.Attributes | |
| HasStroke (PathAttributesF r f) (f (IpeColor r)) Source # | |
Defined in Ipe.Attributes | |
| HasStroke (SymbolAttributesF r f) (f (IpeColor r)) Source # | |
Defined in Ipe.Attributes | |
| HasStroke (TextAttributesF r f) (f (IpeColor r)) Source # | |
Defined in Ipe.Attributes | |
Orphan instances
| (Fractional r, Ord r, Show r) => HasDefaultFromIpe (HalfLine (Point 2 r)) Source # | |||||
Associated Types
| |||||