HasCommonAttributes (IpeObject r) r Maybe Source #	Access the attributes
Instance details 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 #
HasCommonAttributes (g :+ GroupAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (g :+ GroupAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (g :+ GroupAttributesF r f) (f LayerName) Source # matrix :: Lens' (g :+ GroupAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (g :+ GroupAttributesF r f) (f PinType) Source # transformations :: Lens' (g :+ GroupAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (g :+ PathAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (g :+ PathAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (g :+ PathAttributesF r f) (f LayerName) Source # matrix :: Lens' (g :+ PathAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (g :+ PathAttributesF r f) (f PinType) Source # transformations :: Lens' (g :+ PathAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (g :+ SymbolAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (g :+ SymbolAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (g :+ SymbolAttributesF r f) (f LayerName) Source # matrix :: Lens' (g :+ SymbolAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (g :+ SymbolAttributesF r f) (f PinType) Source # transformations :: Lens' (g :+ SymbolAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (g :+ TextAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (g :+ TextAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (g :+ TextAttributesF r f) (f LayerName) Source # matrix :: Lens' (g :+ TextAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (g :+ TextAttributesF r f) (f PinType) Source # transformations :: Lens' (g :+ TextAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (CommonAttributes r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (CommonAttributes r f) (CommonAttributes r f) Source # layer :: Lens' (CommonAttributes r f) (f LayerName) Source # matrix :: Lens' (CommonAttributes r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (CommonAttributes r f) (f PinType) Source # transformations :: Lens' (CommonAttributes r f) (f TransformationTypes) Source #
HasCommonAttributes (GroupAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (GroupAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (GroupAttributesF r f) (f LayerName) Source # matrix :: Lens' (GroupAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (GroupAttributesF r f) (f PinType) Source # transformations :: Lens' (GroupAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (PathAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (PathAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (PathAttributesF r f) (f LayerName) Source # matrix :: Lens' (PathAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (PathAttributesF r f) (f PinType) Source # transformations :: Lens' (PathAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (SymbolAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (SymbolAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (SymbolAttributesF r f) (f LayerName) Source # matrix :: Lens' (SymbolAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (SymbolAttributesF r f) (f PinType) Source # transformations :: Lens' (SymbolAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (TextAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (TextAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (TextAttributesF r f) (f LayerName) Source # matrix :: Lens' (TextAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (TextAttributesF r f) (f PinType) Source # transformations :: Lens' (TextAttributesF r f) (f TransformationTypes) Source #

data SymbolAttributesF r (f :: Type -> Type) Source #

Constructors

SymbolAttributes
Fields _commonAttrs :: !(CommonAttributes r f) _stroke :: f (IpeColor r) _fill :: f (IpeColor r) _pen :: f (IpePen r) _symbolSize :: f (IpeSize r)

Instances

Instances details

ApplicativeB (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bpure :: (forall a. f a) -> SymbolAttributesF r f Source #

bprod :: forall (f :: Type -> Type) (g :: Type -> Type). SymbolAttributesF r f -> SymbolAttributesF r g -> SymbolAttributesF r (Product f g) Source #

ConstraintsB (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c (SymbolAttributesF r) => SymbolAttributesF r f -> SymbolAttributesF r (Product (Dict c) f) Source #

FunctorB (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bmap :: (forall a. f a -> g a) -> SymbolAttributesF r f -> SymbolAttributesF r g Source #

TraversableB (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

btraverse :: Applicative e => (forall a. f a -> e (g a)) -> SymbolAttributesF r f -> e (SymbolAttributesF r g) Source #

AttributeNames (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

attributeNames :: SymbolAttributesF r (Const Text :: Type -> Type) Source #

(AllB IpeReadText (SymbolAttributesF r), AllB IpeReadText (CommonAttributes r)) => IpeReadAttributes (SymbolAttributes r) Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadAttrs :: [(Text, Text)] -> Either ConversionError (SymbolAttributes r) Source #

(AllB IpeWriteText (CommonAttributes r), IpeWriteText r) => IpeWriteAttributes (SymbolAttributes r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteAttrs :: SymbolAttributes r -> [(Text, Text)] Source #

(forall a. Default (f a)) => Default (SymbolAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

def :: SymbolAttributesF r f Source #

Generic (SymbolAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Associated Types

type Rep (SymbolAttributesF r f)

Instance details

Defined in Ipe.Attributes

type Rep (SymbolAttributesF r f) = D1 ('MetaData "SymbolAttributesF" "Ipe.Attributes" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "SymbolAttributes" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_commonAttrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommonAttributes r f)) :*: S1 ('MetaSel ('Just "_stroke") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeColor r)))) :*: (S1 ('MetaSel ('Just "_fill") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeColor r))) :*: (S1 ('MetaSel ('Just "_pen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpePen r))) :*: S1 ('MetaSel ('Just "_symbolSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeSize r)))))))

Methods

from :: SymbolAttributesF r f -> Rep (SymbolAttributesF r f) x Source #

to :: Rep (SymbolAttributesF r f) x -> SymbolAttributesF r f Source #

(Show1 f, Show r) => Show (SymbolAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> SymbolAttributesF r f -> ShowS Source #

show :: SymbolAttributesF r f -> String Source #

showList :: [SymbolAttributesF r f] -> ShowS Source #

(Eq1 f, Eq r) => Eq (SymbolAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

(==) :: SymbolAttributesF r f -> SymbolAttributesF r f -> Bool Source #

(/=) :: SymbolAttributesF r f -> SymbolAttributesF r f -> Bool Source #

(HasDefaultIpeOut g, DefaultIpeOut g ~ IpeSymbol, NumType g ~ r) => HasDefaultIpeOut (g :+ SymbolAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

Associated Types

type DefaultIpeOut (g :+ SymbolAttributes r)
Instance details Defined in Ipe.IpeOut type DefaultIpeOut (g :+ SymbolAttributes r) = IpeSymbol

Methods

defIO :: IpeOut (g :+ SymbolAttributes r) (DefaultIpeOut (g :+ SymbolAttributes r)) (NumType (g :+ SymbolAttributes r)) Source #

HasCommonAttributes (g :+ SymbolAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (g :+ SymbolAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (g :+ SymbolAttributesF r f) (f LayerName) Source #

matrix :: Lens' (g :+ SymbolAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (g :+ SymbolAttributesF r f) (f PinType) Source #

transformations :: Lens' (g :+ SymbolAttributesF r f) (f TransformationTypes) Source #

HasCommonAttributes (SymbolAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (SymbolAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (SymbolAttributesF r f) (f LayerName) Source #

matrix :: Lens' (SymbolAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (SymbolAttributesF r f) (f PinType) Source #

transformations :: Lens' (SymbolAttributesF r f) (f TransformationTypes) Source #

HasFill (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

fill :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #

HasFill (SymbolAttributesF r f) (f (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

fill :: Lens' (SymbolAttributesF r f) (f (IpeColor r)) Source #

HasPen (g :+ SymbolAttributes r) (Maybe (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (g :+ SymbolAttributes r) (Maybe (IpePen r)) Source #

HasPen (SymbolAttributesF r f) (f (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (SymbolAttributesF r f) (f (IpePen r)) Source #

HasStroke (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #

HasStroke (SymbolAttributesF r f) (f (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (SymbolAttributesF r f) (f (IpeColor r)) Source #

HasSymbolSize (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

symbolSize :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source #

HasSymbolSize (SymbolAttributesF r f) (f (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

symbolSize :: Lens' (SymbolAttributesF r f) (f (IpeSize r)) Source #

type AllB (c :: Type -> Constraint) (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

type AllB (c :: Type -> Constraint) (SymbolAttributesF r :: (Type -> Type) -> Type) = GAll 0 c (GAllRepB (SymbolAttributesF r))

type Rep (SymbolAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

type Rep (SymbolAttributesF r f) = D1 ('MetaData "SymbolAttributesF" "Ipe.Attributes" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "SymbolAttributes" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_commonAttrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommonAttributes r f)) :*: S1 ('MetaSel ('Just "_stroke") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeColor r)))) :*: (S1 ('MetaSel ('Just "_fill") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeColor r))) :*: (S1 ('MetaSel ('Just "_pen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpePen r))) :*: S1 ('MetaSel ('Just "_symbolSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeSize r)))))))

type DefaultIpeOut (g :+ SymbolAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

type DefaultIpeOut (g :+ SymbolAttributes r) = IpeSymbol

type SymbolAttributes r = SymbolAttributesF r Maybe Source #

class HasStroke s a | s -> a where Source #

Methods

stroke :: Lens' s a Source #

Instances

Instances details

HasStroke (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #
HasStroke (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #
HasStroke (g :+ TextAttributes r) (Maybe (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (g :+ TextAttributes r) (Maybe (IpeColor r)) Source #
HasStroke (PathAttributesF r f) (f (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (PathAttributesF r f) (f (IpeColor r)) Source #
HasStroke (SymbolAttributesF r f) (f (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (SymbolAttributesF r f) (f (IpeColor r)) Source #
HasStroke (TextAttributesF r f) (f (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (TextAttributesF r f) (f (IpeColor r)) Source #

class HasFill s a | s -> a where Source #

Methods

fill :: Lens' s a Source #

Instances

Instances details

HasFill (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods fill :: Lens' (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #
HasFill (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods fill :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #
HasFill (PathAttributesF r f) (f (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods fill :: Lens' (PathAttributesF r f) (f (IpeColor r)) Source #
HasFill (SymbolAttributesF r f) (f (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods fill :: Lens' (SymbolAttributesF r f) (f (IpeColor r)) Source #

class HasPen s a | s -> a where Source #

Methods

pen :: Lens' s a Source #

Instances

Instances details

HasPen (g :+ PathAttributes r) (Maybe (IpePen r)) Source #
Instance details Defined in Ipe.Attributes Methods pen :: Lens' (g :+ PathAttributes r) (Maybe (IpePen r)) Source #
HasPen (g :+ SymbolAttributes r) (Maybe (IpePen r)) Source #
Instance details Defined in Ipe.Attributes Methods pen :: Lens' (g :+ SymbolAttributes r) (Maybe (IpePen r)) Source #
HasPen (PathAttributesF r f) (f (IpePen r)) Source #
Instance details Defined in Ipe.Attributes Methods pen :: Lens' (PathAttributesF r f) (f (IpePen r)) Source #
HasPen (SymbolAttributesF r f) (f (IpePen r)) Source #
Instance details Defined in Ipe.Attributes Methods pen :: Lens' (SymbolAttributesF r f) (f (IpePen r)) Source #

class HasSymbolSize s a | s -> a where Source #

Methods

symbolSize :: Lens' s a Source #

Instances

Instances details

HasSymbolSize (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source #
Instance details Defined in Ipe.Attributes Methods symbolSize :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source #
HasSymbolSize (SymbolAttributesF r f) (f (IpeSize r)) Source #
Instance details Defined in Ipe.Attributes Methods symbolSize :: Lens' (SymbolAttributesF r f) (f (IpeSize r)) Source #

data PathAttributesF r (f :: Type -> Type) Source #

Path Attributes

Constructors

PathAttributes
Fields _commonAttrs :: !(CommonAttributes r f) _stroke :: f (IpeColor r) _fill :: f (IpeColor r) _pen :: f (IpePen r) _dash :: f (IpeDash r) _lineCap :: f Int _lineJoin :: f Int _fillRule :: f FillType _arrow :: f (IpeArrow r) _rArrow :: f (IpeArrow r) _strokeOpacity :: f (IpeValue r) _opacity :: f (IpeValue r) _tiling :: f IpeTiling _gradient :: f IpeGradient

Instances

Instances details

ApplicativeB (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bpure :: (forall a. f a) -> PathAttributesF r f Source #

bprod :: forall (f :: Type -> Type) (g :: Type -> Type). PathAttributesF r f -> PathAttributesF r g -> PathAttributesF r (Product f g) Source #

ConstraintsB (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c (PathAttributesF r) => PathAttributesF r f -> PathAttributesF r (Product (Dict c) f) Source #

FunctorB (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bmap :: (forall a. f a -> g a) -> PathAttributesF r f -> PathAttributesF r g Source #

TraversableB (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

btraverse :: Applicative e => (forall a. f a -> e (g a)) -> PathAttributesF r f -> e (PathAttributesF r g) Source #

AttributeNames (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

attributeNames :: PathAttributesF r (Const Text :: Type -> Type) Source #

(AllB IpeReadText (SymbolAttributesF r), AllB IpeReadText (CommonAttributes r), Coordinate r) => IpeReadAttributes (PathAttributes r) Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadAttrs :: [(Text, Text)] -> Either ConversionError (PathAttributes r) Source #

(AllB IpeWriteText (CommonAttributes r), IpeWriteText r) => IpeWriteAttributes (PathAttributes r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteAttrs :: PathAttributes r -> [(Text, Text)] Source #

(forall a. Default (f a)) => Default (PathAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

def :: PathAttributesF r f Source #

Generic (PathAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Associated Types

type Rep (PathAttributesF r f)

Instance details

Defined in Ipe.Attributes

Methods

from :: PathAttributesF r f -> Rep (PathAttributesF r f) x Source #

to :: Rep (PathAttributesF r f) x -> PathAttributesF r f Source #

(Show1 f, Show r) => Show (PathAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> PathAttributesF r f -> ShowS Source #

show :: PathAttributesF r f -> String Source #

showList :: [PathAttributesF r f] -> ShowS Source #

(Eq1 f, Eq r) => Eq (PathAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

(==) :: PathAttributesF r f -> PathAttributesF r f -> Bool Source #

(/=) :: PathAttributesF r f -> PathAttributesF r f -> Bool Source #

(HasDefaultIpeOut g, DefaultIpeOut g ~ Path, NumType g ~ r) => HasDefaultIpeOut (g :+ PathAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

Associated Types

type DefaultIpeOut (g :+ PathAttributes r)
Instance details Defined in Ipe.IpeOut type DefaultIpeOut (g :+ PathAttributes r) = Path

Methods

defIO :: IpeOut (g :+ PathAttributes r) (DefaultIpeOut (g :+ PathAttributes r)) (NumType (g :+ PathAttributes r)) Source #

HasCommonAttributes (g :+ PathAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (g :+ PathAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (g :+ PathAttributesF r f) (f LayerName) Source #

matrix :: Lens' (g :+ PathAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (g :+ PathAttributesF r f) (f PinType) Source #

transformations :: Lens' (g :+ PathAttributesF r f) (f TransformationTypes) Source #

HasCommonAttributes (PathAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (PathAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (PathAttributesF r f) (f LayerName) Source #

matrix :: Lens' (PathAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (PathAttributesF r f) (f PinType) Source #

transformations :: Lens' (PathAttributesF r f) (f TransformationTypes) Source #

HasArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

arrow :: Lens' (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

HasArrow (PathAttributesF r f) (f (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

arrow :: Lens' (PathAttributesF r f) (f (IpeArrow r)) Source #

HasDash (g :+ PathAttributes r) (Maybe (IpeDash r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

dash :: Lens' (g :+ PathAttributes r) (Maybe (IpeDash r)) Source #

HasDash (PathAttributesF r f) (f (IpeDash r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

dash :: Lens' (PathAttributesF r f) (f (IpeDash r)) Source #

HasFill (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

fill :: Lens' (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #

HasFill (PathAttributesF r f) (f (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

fill :: Lens' (PathAttributesF r f) (f (IpeColor r)) Source #

HasFillRule (g :+ PathAttributes r) (Maybe FillType) Source #

Instance details

Defined in Ipe.Attributes

Methods

fillRule :: Lens' (g :+ PathAttributes r) (Maybe FillType) Source #

HasFillRule (PathAttributesF r f) (f FillType) Source #

Instance details

Defined in Ipe.Attributes

Methods

fillRule :: Lens' (PathAttributesF r f) (f FillType) Source #

HasGradient (g :+ PathAttributes r) (Maybe IpeGradient) Source #

Instance details

Defined in Ipe.Attributes

Methods

gradient :: Lens' (g :+ PathAttributes r) (Maybe IpeGradient) Source #

HasGradient (PathAttributesF r f) (f IpeGradient) Source #

Instance details

Defined in Ipe.Attributes

Methods

gradient :: Lens' (PathAttributesF r f) (f IpeGradient) Source #

HasLineCap (g :+ PathAttributes r) (Maybe Int) Source #

Instance details

Defined in Ipe.Attributes

Methods

lineCap :: Lens' (g :+ PathAttributes r) (Maybe Int) Source #

HasLineCap (PathAttributesF r f) (f Int) Source #

Instance details

Defined in Ipe.Attributes

Methods

lineCap :: Lens' (PathAttributesF r f) (f Int) Source #

HasLineJoin (g :+ PathAttributes r) (Maybe Int) Source #

Instance details

Defined in Ipe.Attributes

Methods

lineJoin :: Lens' (g :+ PathAttributes r) (Maybe Int) Source #

HasLineJoin (PathAttributesF r f) (f Int) Source #

Instance details

Defined in Ipe.Attributes

Methods

lineJoin :: Lens' (PathAttributesF r f) (f Int) Source #

HasOpacity (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

opacity :: Lens' (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #

HasOpacity (PathAttributesF r f) (f (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

opacity :: Lens' (PathAttributesF r f) (f (IpeValue r)) Source #

HasPen (g :+ PathAttributes r) (Maybe (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (g :+ PathAttributes r) (Maybe (IpePen r)) Source #

HasPen (PathAttributesF r f) (f (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (PathAttributesF r f) (f (IpePen r)) Source #

HasRArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

rArrow :: Lens' (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

HasRArrow (PathAttributesF r f) (f (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

rArrow :: Lens' (PathAttributesF r f) (f (IpeArrow r)) Source #

HasStroke (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #

HasStroke (PathAttributesF r f) (f (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (PathAttributesF r f) (f (IpeColor r)) Source #

HasStrokeOpacity (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

strokeOpacity :: Lens' (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #

HasStrokeOpacity (PathAttributesF r f) (f (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

strokeOpacity :: Lens' (PathAttributesF r f) (f (IpeValue r)) Source #

HasTiling (g :+ PathAttributes r) (Maybe IpeTiling) Source #

Instance details

Defined in Ipe.Attributes

Methods

tiling :: Lens' (g :+ PathAttributes r) (Maybe IpeTiling) Source #

HasTiling (PathAttributesF r f) (f IpeTiling) Source #

Instance details

Defined in Ipe.Attributes

Methods

tiling :: Lens' (PathAttributesF r f) (f IpeTiling) Source #

type AllB (c :: Type -> Constraint) (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

type AllB (c :: Type -> Constraint) (PathAttributesF r :: (Type -> Type) -> Type) = GAll 0 c (GAllRepB (PathAttributesF r))

type Rep (PathAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

type DefaultIpeOut (g :+ PathAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

type DefaultIpeOut (g :+ PathAttributes r) = Path

type PathAttributes r = PathAttributesF r Maybe Source #

class HasDash s a | s -> a where Source #

Methods

dash :: Lens' s a Source #

Instances

Instances details

HasDash (g :+ PathAttributes r) (Maybe (IpeDash r)) Source #
Instance details Defined in Ipe.Attributes Methods dash :: Lens' (g :+ PathAttributes r) (Maybe (IpeDash r)) Source #
HasDash (PathAttributesF r f) (f (IpeDash r)) Source #
Instance details Defined in Ipe.Attributes Methods dash :: Lens' (PathAttributesF r f) (f (IpeDash r)) Source #

class HasLineCap s a | s -> a where Source #

Methods

lineCap :: Lens' s a Source #

Instances

Instances details

HasLineCap (g :+ PathAttributes r) (Maybe Int) Source #
Instance details Defined in Ipe.Attributes Methods lineCap :: Lens' (g :+ PathAttributes r) (Maybe Int) Source #
HasLineCap (PathAttributesF r f) (f Int) Source #
Instance details Defined in Ipe.Attributes Methods lineCap :: Lens' (PathAttributesF r f) (f Int) Source #

class HasLineJoin s a | s -> a where Source #

Methods

lineJoin :: Lens' s a Source #

Instances

Instances details

HasLineJoin (g :+ PathAttributes r) (Maybe Int) Source #
Instance details Defined in Ipe.Attributes Methods lineJoin :: Lens' (g :+ PathAttributes r) (Maybe Int) Source #
HasLineJoin (PathAttributesF r f) (f Int) Source #
Instance details Defined in Ipe.Attributes Methods lineJoin :: Lens' (PathAttributesF r f) (f Int) Source #

class HasFillRule s a | s -> a where Source #

Methods

fillRule :: Lens' s a Source #

Instances

Instances details

HasFillRule (g :+ PathAttributes r) (Maybe FillType) Source #
Instance details Defined in Ipe.Attributes Methods fillRule :: Lens' (g :+ PathAttributes r) (Maybe FillType) Source #
HasFillRule (PathAttributesF r f) (f FillType) Source #
Instance details Defined in Ipe.Attributes Methods fillRule :: Lens' (PathAttributesF r f) (f FillType) Source #

class HasArrow s a | s -> a where Source #

Methods

arrow :: Lens' s a Source #

Instances

Instances details

HasArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #
Instance details Defined in Ipe.Attributes Methods arrow :: Lens' (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #
HasArrow (PathAttributesF r f) (f (IpeArrow r)) Source #
Instance details Defined in Ipe.Attributes Methods arrow :: Lens' (PathAttributesF r f) (f (IpeArrow r)) Source #

class HasRArrow s a | s -> a where Source #

Methods

rArrow :: Lens' s a Source #

Instances

Instances details

HasRArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #
Instance details Defined in Ipe.Attributes Methods rArrow :: Lens' (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #
HasRArrow (PathAttributesF r f) (f (IpeArrow r)) Source #
Instance details Defined in Ipe.Attributes Methods rArrow :: Lens' (PathAttributesF r f) (f (IpeArrow r)) Source #

class HasStrokeOpacity s a | s -> a where Source #

Methods

strokeOpacity :: Lens' s a Source #

Instances

Instances details

HasStrokeOpacity (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods strokeOpacity :: Lens' (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #
HasStrokeOpacity (PathAttributesF r f) (f (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods strokeOpacity :: Lens' (PathAttributesF r f) (f (IpeValue r)) Source #

class HasOpacity s a | s -> a where Source #

Methods

opacity :: Lens' s a Source #

Instances

Instances details

HasOpacity (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods opacity :: Lens' (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #
HasOpacity (g :+ TextAttributes r) (Maybe (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods opacity :: Lens' (g :+ TextAttributes r) (Maybe (IpeValue r)) Source #
HasOpacity (PathAttributesF r f) (f (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods opacity :: Lens' (PathAttributesF r f) (f (IpeValue r)) Source #
HasOpacity (TextAttributesF r f) (f (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods opacity :: Lens' (TextAttributesF r f) (f (IpeValue r)) Source #

class HasTiling s a | s -> a where Source #

Methods

tiling :: Lens' s a Source #

Instances

Instances details

HasTiling (g :+ PathAttributes r) (Maybe IpeTiling) Source #
Instance details Defined in Ipe.Attributes Methods tiling :: Lens' (g :+ PathAttributes r) (Maybe IpeTiling) Source #
HasTiling (PathAttributesF r f) (f IpeTiling) Source #
Instance details Defined in Ipe.Attributes Methods tiling :: Lens' (PathAttributesF r f) (f IpeTiling) Source #

class HasGradient s a | s -> a where Source #

Methods

gradient :: Lens' s a Source #

Instances

Instances details

HasGradient (g :+ PathAttributes r) (Maybe IpeGradient) Source #
Instance details Defined in Ipe.Attributes Methods gradient :: Lens' (g :+ PathAttributes r) (Maybe IpeGradient) Source #
HasGradient (PathAttributesF r f) (f IpeGradient) Source #
Instance details Defined in Ipe.Attributes Methods gradient :: Lens' (PathAttributesF r f) (f IpeGradient) Source #

data GroupAttributesF r (f :: Type -> Type) Source #

Constructors

GroupAttributes
Fields _commonAttrs :: !(CommonAttributes r f) _clip :: f (Path r)

Instances

Instances details

ApplicativeB (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bpure :: (forall a. f a) -> GroupAttributesF r f Source #

bprod :: forall (f :: Type -> Type) (g :: Type -> Type). GroupAttributesF r f -> GroupAttributesF r g -> GroupAttributesF r (Product f g) Source #

ConstraintsB (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c (GroupAttributesF r) => GroupAttributesF r f -> GroupAttributesF r (Product (Dict c) f) Source #

FunctorB (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bmap :: (forall a. f a -> g a) -> GroupAttributesF r f -> GroupAttributesF r g Source #

TraversableB (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

btraverse :: Applicative e => (forall a. f a -> e (g a)) -> GroupAttributesF r f -> e (GroupAttributesF r g) Source #

AttributeNames (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

attributeNames :: GroupAttributesF r (Const Text :: Type -> Type) Source #

(AllB IpeReadText (SymbolAttributesF r), AllB IpeReadText (CommonAttributes r), Eq r, Coordinate r) => IpeReadAttributes (GroupAttributes r) Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadAttrs :: [(Text, Text)] -> Either ConversionError (GroupAttributes r) Source #

(AllB IpeWriteText (CommonAttributes r), IpeWriteText r) => IpeWriteAttributes (GroupAttributes r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteAttrs :: GroupAttributes r -> [(Text, Text)] Source #

(forall a. Default (f a)) => Default (GroupAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

def :: GroupAttributesF r f Source #

Generic (GroupAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Associated Types

type Rep (GroupAttributesF r f)

Instance details

Defined in Ipe.Attributes

type Rep (GroupAttributesF r f) = D1 ('MetaData "GroupAttributesF" "Ipe.Attributes" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "GroupAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "_commonAttrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommonAttributes r f)) :*: S1 ('MetaSel ('Just "_clip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Path r)))))

Methods

from :: GroupAttributesF r f -> Rep (GroupAttributesF r f) x Source #

to :: Rep (GroupAttributesF r f) x -> GroupAttributesF r f Source #

(Show1 f, Show r) => Show (GroupAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> GroupAttributesF r f -> ShowS Source #

show :: GroupAttributesF r f -> String Source #

showList :: [GroupAttributesF r f] -> ShowS Source #

(Eq1 f, Eq r) => Eq (GroupAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

(==) :: GroupAttributesF r f -> GroupAttributesF r f -> Bool Source #

(/=) :: GroupAttributesF r f -> GroupAttributesF r f -> Bool Source #

(HasDefaultIpeOut g, DefaultIpeOut g ~ Group, NumType g ~ r) => HasDefaultIpeOut (g :+ GroupAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

Associated Types

type DefaultIpeOut (g :+ GroupAttributes r)
Instance details Defined in Ipe.IpeOut type DefaultIpeOut (g :+ GroupAttributes r) = Group

Methods

defIO :: IpeOut (g :+ GroupAttributes r) (DefaultIpeOut (g :+ GroupAttributes r)) (NumType (g :+ GroupAttributes r)) Source #

HasCommonAttributes (g :+ GroupAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (g :+ GroupAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (g :+ GroupAttributesF r f) (f LayerName) Source #

matrix :: Lens' (g :+ GroupAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (g :+ GroupAttributesF r f) (f PinType) Source #

transformations :: Lens' (g :+ GroupAttributesF r f) (f TransformationTypes) Source #

HasCommonAttributes (GroupAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (GroupAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (GroupAttributesF r f) (f LayerName) Source #

matrix :: Lens' (GroupAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (GroupAttributesF r f) (f PinType) Source #

transformations :: Lens' (GroupAttributesF r f) (f TransformationTypes) Source #

HasClip (g :+ GroupAttributes r) (Maybe (Path r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

clip :: Lens' (g :+ GroupAttributes r) (Maybe (Path r)) Source #

HasClip (GroupAttributesF r f) (f (Path r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

clip :: Lens' (GroupAttributesF r f) (f (Path r)) Source #

type AllB (c :: Type -> Constraint) (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

type AllB (c :: Type -> Constraint) (GroupAttributesF r :: (Type -> Type) -> Type) = GAll 0 c (GAllRepB (GroupAttributesF r))

type Rep (GroupAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

type Rep (GroupAttributesF r f) = D1 ('MetaData "GroupAttributesF" "Ipe.Attributes" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "GroupAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "_commonAttrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommonAttributes r f)) :*: S1 ('MetaSel ('Just "_clip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Path r)))))

type DefaultIpeOut (g :+ GroupAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

type DefaultIpeOut (g :+ GroupAttributes r) = Group

type GroupAttributes r = GroupAttributesF r Maybe Source #

class HasClip s a | s -> a where Source #

Methods

clip :: Lens' s a Source #

Instances

Instances details

HasClip (g :+ GroupAttributes r) (Maybe (Path r)) Source #
Instance details Defined in Ipe.Attributes Methods clip :: Lens' (g :+ GroupAttributes r) (Maybe (Path r)) Source #
HasClip (GroupAttributesF r f) (f (Path r)) Source #
Instance details Defined in Ipe.Attributes Methods clip :: Lens' (GroupAttributesF r f) (f (Path r)) Source #

data TextAttributesF r (f :: Type -> Type) Source #

Constructors

TextAttributes
Fields _commonAttrs :: !(CommonAttributes r f) _stroke :: f (IpeColor r) _textSize :: f (IpeSize r) _opacity :: f (IpeValue r) _textWidth :: f (TextSizeUnit r) _textHeight :: f (TextSizeUnit r) _depth :: f (TextSizeUnit r) _hAlign :: f HorizontalAlignment _vAlign :: f VerticalAlignment _style :: f TeXStyle

Instances

Instances details

ApplicativeB (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bpure :: (forall a. f a) -> TextAttributesF r f Source #

bprod :: forall (f :: Type -> Type) (g :: Type -> Type). TextAttributesF r f -> TextAttributesF r g -> TextAttributesF r (Product f g) Source #

ConstraintsB (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c (TextAttributesF r) => TextAttributesF r f -> TextAttributesF r (Product (Dict c) f) Source #

FunctorB (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bmap :: (forall a. f a -> g a) -> TextAttributesF r f -> TextAttributesF r g Source #

TraversableB (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

btraverse :: Applicative e => (forall a. f a -> e (g a)) -> TextAttributesF r f -> e (TextAttributesF r g) Source #

AttributeNames (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

attributeNames :: TextAttributesF r (Const Text :: Type -> Type) Source #

(AllB IpeReadText (SymbolAttributesF r), AllB IpeReadText (CommonAttributes r), Coordinate r) => IpeReadAttributes (TextAttributes r) Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadAttrs :: [(Text, Text)] -> Either ConversionError (TextAttributes r) Source #

(AllB IpeWriteText (CommonAttributes r), IpeWriteText r) => IpeWriteAttributes (TextAttributes r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteAttrs :: TextAttributes r -> [(Text, Text)] Source #

(forall a. Default (f a)) => Default (TextAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

def :: TextAttributesF r f Source #

Generic (TextAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Associated Types

type Rep (TextAttributesF r f)

Instance details

Defined in Ipe.Attributes

Methods

from :: TextAttributesF r f -> Rep (TextAttributesF r f) x Source #

to :: Rep (TextAttributesF r f) x -> TextAttributesF r f Source #

(Show1 f, Show r) => Show (TextAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> TextAttributesF r f -> ShowS Source #

show :: TextAttributesF r f -> String Source #

showList :: [TextAttributesF r f] -> ShowS Source #

(Eq1 f, Eq r) => Eq (TextAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

(==) :: TextAttributesF r f -> TextAttributesF r f -> Bool Source #

(/=) :: TextAttributesF r f -> TextAttributesF r f -> Bool Source #

HasCommonAttributes (g :+ TextAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (g :+ TextAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (g :+ TextAttributesF r f) (f LayerName) Source #

matrix :: Lens' (g :+ TextAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (g :+ TextAttributesF r f) (f PinType) Source #

transformations :: Lens' (g :+ TextAttributesF r f) (f TransformationTypes) Source #

HasCommonAttributes (TextAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (TextAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (TextAttributesF r f) (f LayerName) Source #

matrix :: Lens' (TextAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (TextAttributesF r f) (f PinType) Source #

transformations :: Lens' (TextAttributesF r f) (f TransformationTypes) Source #

HasDepth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

depth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

HasDepth (TextAttributesF r f) (f (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

depth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

HasHAlign (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source #

Instance details

Defined in Ipe.Attributes

Methods

hAlign :: Lens' (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source #

HasHAlign (TextAttributesF r f) (f HorizontalAlignment) Source #

Instance details

Defined in Ipe.Attributes

Methods

hAlign :: Lens' (TextAttributesF r f) (f HorizontalAlignment) Source #

HasOpacity (g :+ TextAttributes r) (Maybe (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

opacity :: Lens' (g :+ TextAttributes r) (Maybe (IpeValue r)) Source #

HasOpacity (TextAttributesF r f) (f (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

opacity :: Lens' (TextAttributesF r f) (f (IpeValue r)) Source #

HasStroke (g :+ TextAttributes r) (Maybe (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (g :+ TextAttributes r) (Maybe (IpeColor r)) Source #

HasStroke (TextAttributesF r f) (f (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (TextAttributesF r f) (f (IpeColor r)) Source #

HasStyle (g :+ TextAttributes r) (Maybe TeXStyle) Source #

Instance details

Defined in Ipe.Attributes

Methods

style :: Lens' (g :+ TextAttributes r) (Maybe TeXStyle) Source #

HasStyle (TextAttributesF r f) (f TeXStyle) Source #

Instance details

Defined in Ipe.Attributes

Methods

style :: Lens' (TextAttributesF r f) (f TeXStyle) Source #

HasTextHeight (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textHeight :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

HasTextHeight (TextAttributesF r f) (f (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textHeight :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

HasTextSize (g :+ TextAttributes r) (Maybe (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textSize :: Lens' (g :+ TextAttributes r) (Maybe (IpeSize r)) Source #

HasTextSize (TextAttributesF r f) (f (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textSize :: Lens' (TextAttributesF r f) (f (IpeSize r)) Source #

HasTextWidth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textWidth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

HasTextWidth (TextAttributesF r f) (f (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textWidth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

HasVAlign (g :+ TextAttributes r) (Maybe VerticalAlignment) Source #

Instance details

Defined in Ipe.Attributes

Methods

vAlign :: Lens' (g :+ TextAttributes r) (Maybe VerticalAlignment) Source #

HasVAlign (TextAttributesF r f) (f VerticalAlignment) Source #

Instance details

Defined in Ipe.Attributes

Methods

vAlign :: Lens' (TextAttributesF r f) (f VerticalAlignment) Source #

type AllB (c :: Type -> Constraint) (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

type AllB (c :: Type -> Constraint) (TextAttributesF r :: (Type -> Type) -> Type) = GAll 0 c (GAllRepB (TextAttributesF r))

type Rep (TextAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

type TextAttributes r = TextAttributesF r Maybe Source #

class HasTextSize s a | s -> a where Source #

Methods

textSize :: Lens' s a Source #

Instances

Instances details

HasTextSize (g :+ TextAttributes r) (Maybe (IpeSize r)) Source #
Instance details Defined in Ipe.Attributes Methods textSize :: Lens' (g :+ TextAttributes r) (Maybe (IpeSize r)) Source #
HasTextSize (TextAttributesF r f) (f (IpeSize r)) Source #
Instance details Defined in Ipe.Attributes Methods textSize :: Lens' (TextAttributesF r f) (f (IpeSize r)) Source #

class HasTextWidth s a | s -> a where Source #

Methods

textWidth :: Lens' s a Source #

Instances

Instances details

HasTextWidth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods textWidth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
HasTextWidth (TextAttributesF r f) (f (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods textWidth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

class HasTextHeight s a | s -> a where Source #

Methods

textHeight :: Lens' s a Source #

Instances

Instances details

HasTextHeight (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods textHeight :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
HasTextHeight (TextAttributesF r f) (f (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods textHeight :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

class HasDepth s a | s -> a where Source #

Methods

depth :: Lens' s a Source #

Instances

Instances details

HasDepth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods depth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
HasDepth (TextAttributesF r f) (f (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods depth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

class HasHAlign s a | s -> a where Source #

Methods

hAlign :: Lens' s a Source #

Instances

Instances details

HasHAlign (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source #
Instance details Defined in Ipe.Attributes Methods hAlign :: Lens' (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source #
HasHAlign (TextAttributesF r f) (f HorizontalAlignment) Source #
Instance details Defined in Ipe.Attributes Methods hAlign :: Lens' (TextAttributesF r f) (f HorizontalAlignment) Source #

class HasVAlign s a | s -> a where Source #

Methods

vAlign :: Lens' s a Source #

Instances

Instances details

HasVAlign (g :+ TextAttributes r) (Maybe VerticalAlignment) Source #
Instance details Defined in Ipe.Attributes Methods vAlign :: Lens' (g :+ TextAttributes r) (Maybe VerticalAlignment) Source #
HasVAlign (TextAttributesF r f) (f VerticalAlignment) Source #
Instance details Defined in Ipe.Attributes Methods vAlign :: Lens' (TextAttributesF r f) (f VerticalAlignment) Source #

class HasStyle s a | s -> a where Source #

Methods

style :: Lens' s a Source #

Instances

Instances details

HasStyle (g :+ TextAttributes r) (Maybe TeXStyle) Source #
Instance details Defined in Ipe.Attributes Methods style :: Lens' (g :+ TextAttributes r) (Maybe TeXStyle) Source #
HasStyle (TextAttributesF r f) (f TeXStyle) Source #
Instance details Defined in Ipe.Attributes Methods style :: Lens' (TextAttributesF r f) (f TeXStyle) Source #

type ImageAttributes r = CommonAttributes r Maybe Source #

class AttributeNames (ats :: (k -> Type) -> Type) where Source #

Methods

attributeNames :: ats (Const Text :: k -> Type) Source #

Construct the attribute names

Instances

Instances details

AttributeNames (CommonAttributes r :: (Type -> Type) -> Type) Source #
Instance details Defined in Ipe.Attributes Methods attributeNames :: CommonAttributes r (Const Text :: Type -> Type) Source #
AttributeNames (GroupAttributesF r :: (Type -> Type) -> Type) Source #
Instance details Defined in Ipe.Attributes Methods attributeNames :: GroupAttributesF r (Const Text :: Type -> Type) Source #
AttributeNames (PathAttributesF r :: (Type -> Type) -> Type) Source #
Instance details Defined in Ipe.Attributes Methods attributeNames :: PathAttributesF r (Const Text :: Type -> Type) Source #
AttributeNames (SymbolAttributesF r :: (Type -> Type) -> Type) Source #
Instance details Defined in Ipe.Attributes Methods attributeNames :: SymbolAttributesF r (Const Text :: Type -> Type) Source #
AttributeNames (TextAttributesF r :: (Type -> Type) -> Type) Source #
Instance details Defined in Ipe.Attributes Methods attributeNames :: TextAttributesF r (Const Text :: Type -> Type) Source #

mkAttrs :: Default at => [at -> at] -> at Source #

Constructs attrs

applyAttrs :: [at -> at] -> at -> at Source #

Apply a the attributes

traverseCommon :: forall g (f :: Type -> Type) r s. (Applicative g, Traversable f) => (r -> g s) -> CommonAttributes r f -> g (CommonAttributes s f) Source #

Traverse for common attributes

traverseText :: forall g (f :: Type -> Type) r s. (Applicative g, Traversable f) => (r -> g s) -> TextAttributesF r f -> g (TextAttributesF s f) Source #

traversePath :: forall g (f :: Type -> Type) r s. (Applicative g, Traversable f) => (r -> g s) -> PathAttributesF r f -> g (PathAttributesF s f) Source #

traverseSymbol :: forall g (f :: Type -> Type) r s. (Applicative g, Traversable f) => (r -> g s) -> SymbolAttributesF r f -> g (SymbolAttributesF s f) Source #

traverseGroup :: forall g (f :: Type -> Type) r s. (Applicative g, Traversable f) => (r -> g s) -> GroupAttributesF r f -> g (GroupAttributesF s f) Source #