Data.Geometry.Ipe.Value

Data type for representing values in ipe.

Documentation

data IpeValue v

Many types either consist of a symbolc value, or a value of type v

Constructors

Named Text

Valued v

Instances

Functor IpeValue

Defined in Data.Geometry.Ipe.Value

Methods

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

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

Foldable IpeValue

Defined in Data.Geometry.Ipe.Value

Methods

fold :: Monoid m => IpeValue m -> m

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

foldMap' :: Monoid m => (a -> m) -> IpeValue a -> m

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

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

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

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

foldr1 :: (a -> a -> a) -> IpeValue a -> a

foldl1 :: (a -> a -> a) -> IpeValue a -> a

toList :: IpeValue a -> [a]

null :: IpeValue a -> Bool

length :: IpeValue a -> Int

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

maximum :: Ord a => IpeValue a -> a

minimum :: Ord a => IpeValue a -> a

sum :: Num a => IpeValue a -> a

product :: Num a => IpeValue a -> a

Traversable IpeValue

Defined in Data.Geometry.Ipe.Value

Methods

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

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

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

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

Eq v => Eq (IpeValue v)

Defined in Data.Geometry.Ipe.Value

Methods

(==) :: IpeValue v -> IpeValue v -> Bool

(/=) :: IpeValue v -> IpeValue v -> Bool

Ord v => Ord (IpeValue v)

Defined in Data.Geometry.Ipe.Value

Methods

compare :: IpeValue v -> IpeValue v -> Ordering

(<) :: IpeValue v -> IpeValue v -> Bool

(<=) :: IpeValue v -> IpeValue v -> Bool

(>) :: IpeValue v -> IpeValue v -> Bool

(>=) :: IpeValue v -> IpeValue v -> Bool

max :: IpeValue v -> IpeValue v -> IpeValue v

min :: IpeValue v -> IpeValue v -> IpeValue v

Read v => Read (IpeValue v)

Defined in Data.Geometry.Ipe.Value

Methods

readsPrec :: Int -> ReadS (IpeValue v)

readList :: ReadS [IpeValue v]

readPrec :: ReadPrec (IpeValue v)

readListPrec :: ReadPrec [IpeValue v]

Show v => Show (IpeValue v)

Defined in Data.Geometry.Ipe.Value

Methods

showsPrec :: Int -> IpeValue v -> ShowS

show :: IpeValue v -> String

showList :: [IpeValue v] -> ShowS

IsString (IpeValue v)

Defined in Data.Geometry.Ipe.Value

Methods

fromString :: String -> IpeValue v

IpeWriteText v => IpeWriteText (IpeValue v)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: IpeValue v -> Maybe Text