Copyright	(C) Frank Staals
License	see the LICENSE file
Maintainer	Frank Staals
Safe Haskell	None
Language	GHC2024

Ipe.Value

Description

Data type for representing values in ipe.

Synopsis

data IpeValue v
- = Named Text
- | Valued v

Documentation

data IpeValue v Source #

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

Constructors

Named Text
Valued v

Instances

Instances details

Functor IpeValue Source #
Instance details Defined in Ipe.Value Methods fmap :: (a -> b) -> IpeValue a -> IpeValue b Source # (<$) :: a -> IpeValue b -> IpeValue a Source #
Foldable IpeValue Source #
Instance details Defined in Ipe.Value Methods fold :: Monoid m => IpeValue m -> m Source # foldMap :: Monoid m => (a -> m) -> IpeValue a -> m Source # foldMap' :: Monoid m => (a -> m) -> IpeValue a -> m Source # foldr :: (a -> b -> b) -> b -> IpeValue a -> b Source # foldr' :: (a -> b -> b) -> b -> IpeValue a -> b Source # foldl :: (b -> a -> b) -> b -> IpeValue a -> b Source # foldl' :: (b -> a -> b) -> b -> IpeValue a -> b Source # foldr1 :: (a -> a -> a) -> IpeValue a -> a Source # foldl1 :: (a -> a -> a) -> IpeValue a -> a Source # toList :: IpeValue a -> [a] Source # null :: IpeValue a -> Bool Source # length :: IpeValue a -> Int Source # elem :: Eq a => a -> IpeValue a -> Bool Source # maximum :: Ord a => IpeValue a -> a Source # minimum :: Ord a => IpeValue a -> a Source # sum :: Num a => IpeValue a -> a Source # product :: Num a => IpeValue a -> a Source #
Traversable IpeValue Source #
Instance details Defined in Ipe.Value Methods traverse :: Applicative f => (a -> f b) -> IpeValue a -> f (IpeValue b) Source # sequenceA :: Applicative f => IpeValue (f a) -> f (IpeValue a) Source # mapM :: Monad m => (a -> m b) -> IpeValue a -> m (IpeValue b) Source # sequence :: Monad m => IpeValue (m a) -> m (IpeValue a) Source #
IsString (IpeValue v) Source #
Instance details Defined in Ipe.Value Methods fromString :: String -> IpeValue v Source #
Read v => Read (IpeValue v) Source #
Instance details Defined in Ipe.Value Methods readsPrec :: Int -> ReadS (IpeValue v) Source # readList :: ReadS [IpeValue v] Source # readPrec :: ReadPrec (IpeValue v) Source # readListPrec :: ReadPrec [IpeValue v] Source #
Show v => Show (IpeValue v) Source #
Instance details Defined in Ipe.Value Methods showsPrec :: Int -> IpeValue v -> ShowS Source # show :: IpeValue v -> String Source # showList :: [IpeValue v] -> ShowS Source #
Eq v => Eq (IpeValue v) Source #
Instance details Defined in Ipe.Value Methods (==) :: IpeValue v -> IpeValue v -> Bool Source # (/=) :: IpeValue v -> IpeValue v -> Bool Source #
Ord v => Ord (IpeValue v) Source #
Instance details Defined in Ipe.Value Methods compare :: IpeValue v -> IpeValue v -> Ordering Source # (<) :: IpeValue v -> IpeValue v -> Bool Source # (<=) :: IpeValue v -> IpeValue v -> Bool Source # (>) :: IpeValue v -> IpeValue v -> Bool Source # (>=) :: IpeValue v -> IpeValue v -> Bool Source # max :: IpeValue v -> IpeValue v -> IpeValue v Source # min :: IpeValue v -> IpeValue v -> IpeValue v Source #
IpeWriteText v => IpeWriteText (IpeValue v) Source #
Instance details Defined in Ipe.Writer Methods ipeWriteText :: IpeValue v -> Maybe Text Source #