Copyright	(c) Jann Müller 2018
License	MIT
Maintainer	Jann Müller <j.mueller.11@alumni.ucl.ac.uk>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.H3.Visuals

Contents

Shapes
Scales that generate visual elements
Modifiers for visuals
Constructors

Description

Shapes that make up charts.

Synopsis

data Shape s n
- = ALine [n]
- | ARectangle !(Extent n)
- | AnArea [n]
- | AColouredShape s !(Shape s n)
- | AGroup [Shape s n]
- | ALabel !TextAnchor !(FontSize String) !(FontWeight String) !String n
- | AnOpacity Double !(Shape s n)
- | EmptyShape
mapColour :: (s -> t) -> Shape s n -> Shape t n
data TextAnchor
- = AnchorStart
- | AnchorMiddle
- | AnchorEnd
newtype FontSize s = FontSize {
- getFontSize :: s
}
_FontSize :: forall p f a b. (Profunctor p, Functor f) => p (FontSize a) (f (FontSize b)) -> p a (f b)
newtype FontWeight s = FontWeight {
- getFontWeight :: s
}
_FontWeight :: forall p f a b. (Profunctor p, Functor f) => p (FontWeight a) (f (FontWeight b)) -> p a (f b)
newtype Pixel a = Pixel {
- getPixel :: a
}
_Pixel :: forall p f a b. (Profunctor p, Functor f) => p (Pixel a) (f (Pixel b)) -> p a (f b)
newtype LabelOffset a = LabelOffset {
- getLabelOffset :: a
}
_LabelOffset :: forall p f a b. (Profunctor p, Functor f) => p (LabelOffset a) (f (LabelOffset b)) -> p a (f b)
data VisualElements s n = VisualElements {
- veTicks :: [n]
- veAxes :: [(n, n)]
- veGridLines :: [(n, n)]
- veAxisLabels :: [(String, n)]
- veLegend :: [Shape s n]
}
backgroundShapes :: VisualElements s n -> Shape String n
foregroundShapes :: VisualElements String (x, y) -> Shape String (x, y)
class ChartVisuals c a b where
newtype Vis a = Vis a
noGrid :: ScaleOptions f a b -> ScaleOptions (NoGrid f) a b
data NoGrid (f :: * -> *) a
noVisuals :: ScaleOptions f a b -> ScaleOptions (NoVisuals f) a b
data NoVisuals (f :: * -> *) a
cartesian :: Extent d -> Extent b -> FontSize String -> LabelOffset (b, d) -> ScaleOptions f a b -> ScaleOptions g c d -> ScaleOptions (Cartesian f g) (a, c) (b, d)
data Cartesian (f :: * -> *) (g :: * -> *) a
data family ScaleOptions f a b :: *

Shapes

data Shape s n Source #

Shapes that make up charts. s is the type of colours, and n the type of coordinates. For a 2D chart n should be something like (Double, Double).

Constructors

ALine [n]	An open line of several points
ARectangle !(Extent n)	A rectangle, defined by its lower left and upper right corners (if `n ~ (Double, Double)`)
AnArea [n]	An area (closed line)
AColouredShape s !(Shape s n)	Set the colour of a shape
AGroup [Shape s n]	Group several shapes together
ALabel !TextAnchor !(FontSize String) !(FontWeight String) !String n	A label
AnOpacity Double !(Shape s n)	Set the opacity of a shape
EmptyShape	Empty shape

Instances

Functor (Shape s) Source #
Instance details Defined in Data.H3.Visuals Methods fmap :: (a -> b) -> Shape s a -> Shape s b # (<$) :: a -> Shape s b -> Shape s a #
Foldable (Shape s) Source #
Instance details Defined in Data.H3.Visuals Methods fold :: Monoid m => Shape s m -> m # foldMap :: Monoid m => (a -> m) -> Shape s a -> m # foldr :: (a -> b -> b) -> b -> Shape s a -> b # foldr' :: (a -> b -> b) -> b -> Shape s a -> b # foldl :: (b -> a -> b) -> b -> Shape s a -> b # foldl' :: (b -> a -> b) -> b -> Shape s a -> b # foldr1 :: (a -> a -> a) -> Shape s a -> a # foldl1 :: (a -> a -> a) -> Shape s a -> a # toList :: Shape s a -> [a] # null :: Shape s a -> Bool # length :: Shape s a -> Int # elem :: Eq a => a -> Shape s a -> Bool # maximum :: Ord a => Shape s a -> a # minimum :: Ord a => Shape s a -> a # sum :: Num a => Shape s a -> a # product :: Num a => Shape s a -> a #
Traversable (Shape s) Source #
Instance details Defined in Data.H3.Visuals Methods traverse :: Applicative f => (a -> f b) -> Shape s a -> f (Shape s b) # sequenceA :: Applicative f => Shape s (f a) -> f (Shape s a) # mapM :: Monad m => (a -> m b) -> Shape s a -> m (Shape s b) # sequence :: Monad m => Shape s (m a) -> m (Shape s a) #
(Show n, Show s) => Show (Shape s n) Source #
Instance details Defined in Data.H3.Visuals Methods showsPrec :: Int -> Shape s n -> ShowS # show :: Shape s n -> String # showList :: [Shape s n] -> ShowS #

mapColour :: (s -> t) -> Shape s n -> Shape t n Source #

Change the colours of a Shape.

data TextAnchor Source #

Indicates where a text element should be anchored, that is where its origin is placed relative to the text.

Constructors

AnchorStart
AnchorMiddle
AnchorEnd

Instances

Bounded TextAnchor Source #
Instance details Defined in Data.H3.Visuals Methods minBound :: TextAnchor # maxBound :: TextAnchor #
Enum TextAnchor Source #
Instance details Defined in Data.H3.Visuals Methods succ :: TextAnchor -> TextAnchor # pred :: TextAnchor -> TextAnchor # toEnum :: Int -> TextAnchor # fromEnum :: TextAnchor -> Int # enumFrom :: TextAnchor -> [TextAnchor] # enumFromThen :: TextAnchor -> TextAnchor -> [TextAnchor] # enumFromTo :: TextAnchor -> TextAnchor -> [TextAnchor] # enumFromThenTo :: TextAnchor -> TextAnchor -> TextAnchor -> [TextAnchor] #
Eq TextAnchor Source #
Instance details Defined in Data.H3.Visuals Methods (==) :: TextAnchor -> TextAnchor -> Bool # (/=) :: TextAnchor -> TextAnchor -> Bool #
Ord TextAnchor Source #
Instance details Defined in Data.H3.Visuals Methods compare :: TextAnchor -> TextAnchor -> Ordering # (<) :: TextAnchor -> TextAnchor -> Bool # (<=) :: TextAnchor -> TextAnchor -> Bool # (>) :: TextAnchor -> TextAnchor -> Bool # (>=) :: TextAnchor -> TextAnchor -> Bool # max :: TextAnchor -> TextAnchor -> TextAnchor # min :: TextAnchor -> TextAnchor -> TextAnchor #
Show TextAnchor Source #
Instance details Defined in Data.H3.Visuals Methods showsPrec :: Int -> TextAnchor -> ShowS # show :: TextAnchor -> String # showList :: [TextAnchor] -> ShowS #
Generic TextAnchor Source #
Instance details Defined in Data.H3.Visuals Associated Types type Rep TextAnchor :: * -> * # Methods from :: TextAnchor -> Rep TextAnchor x # to :: Rep TextAnchor x -> TextAnchor #
type Rep TextAnchor Source #
Instance details Defined in Data.H3.Visuals type Rep TextAnchor = D1 (MetaData "TextAnchor" "Data.H3.Visuals" "h3-core-0.0.1-7NvBCSJ3Xoa4zTQRGHmS5M" False) (C1 (MetaCons "AnchorStart" PrefixI False) (U1 :: * -> ) :+: (C1 (MetaCons "AnchorMiddle" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "AnchorEnd" PrefixI False) (U1 :: -> *)))

newtype FontSize s Source #

Font size

Constructors

FontSize
Fields getFontSize :: s

Instances

Functor FontSize Source #
Instance details Defined in Data.H3.Visuals Methods fmap :: (a -> b) -> FontSize a -> FontSize b # (<$) :: a -> FontSize b -> FontSize a #
Eq s => Eq (FontSize s) Source #
Instance details Defined in Data.H3.Visuals Methods (==) :: FontSize s -> FontSize s -> Bool # (/=) :: FontSize s -> FontSize s -> Bool #
Ord s => Ord (FontSize s) Source #
Instance details Defined in Data.H3.Visuals Methods compare :: FontSize s -> FontSize s -> Ordering # (<) :: FontSize s -> FontSize s -> Bool # (<=) :: FontSize s -> FontSize s -> Bool # (>) :: FontSize s -> FontSize s -> Bool # (>=) :: FontSize s -> FontSize s -> Bool # max :: FontSize s -> FontSize s -> FontSize s # min :: FontSize s -> FontSize s -> FontSize s #
Show s => Show (FontSize s) Source #
Instance details Defined in Data.H3.Visuals Methods showsPrec :: Int -> FontSize s -> ShowS # show :: FontSize s -> String # showList :: [FontSize s] -> ShowS #
Generic (FontSize s) Source #
Instance details Defined in Data.H3.Visuals Associated Types type Rep (FontSize s) :: * -> * # Methods from :: FontSize s -> Rep (FontSize s) x # to :: Rep (FontSize s) x -> FontSize s #
type Rep (FontSize s) Source #
Instance details Defined in Data.H3.Visuals type Rep (FontSize s) = D1 (MetaData "FontSize" "Data.H3.Visuals" "h3-core-0.0.1-7NvBCSJ3Xoa4zTQRGHmS5M" True) (C1 (MetaCons "FontSize" PrefixI True) (S1 (MetaSel (Just "getFontSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 s)))

_FontSize :: forall p f a b. (Profunctor p, Functor f) => p (FontSize a) (f (FontSize b)) -> p a (f b) Source #

Font size iso

newtype FontWeight s Source #

Font weight

Constructors

FontWeight
Fields getFontWeight :: s

Instances

Functor FontWeight Source #
Instance details Defined in Data.H3.Visuals Methods fmap :: (a -> b) -> FontWeight a -> FontWeight b # (<$) :: a -> FontWeight b -> FontWeight a #
Eq s => Eq (FontWeight s) Source #
Instance details Defined in Data.H3.Visuals Methods (==) :: FontWeight s -> FontWeight s -> Bool # (/=) :: FontWeight s -> FontWeight s -> Bool #
Ord s => Ord (FontWeight s) Source #
Instance details Defined in Data.H3.Visuals Methods compare :: FontWeight s -> FontWeight s -> Ordering # (<) :: FontWeight s -> FontWeight s -> Bool # (<=) :: FontWeight s -> FontWeight s -> Bool # (>) :: FontWeight s -> FontWeight s -> Bool # (>=) :: FontWeight s -> FontWeight s -> Bool # max :: FontWeight s -> FontWeight s -> FontWeight s # min :: FontWeight s -> FontWeight s -> FontWeight s #
Show s => Show (FontWeight s) Source #
Instance details Defined in Data.H3.Visuals Methods showsPrec :: Int -> FontWeight s -> ShowS # show :: FontWeight s -> String # showList :: [FontWeight s] -> ShowS #
Generic (FontWeight s) Source #
Instance details Defined in Data.H3.Visuals Associated Types type Rep (FontWeight s) :: * -> * # Methods from :: FontWeight s -> Rep (FontWeight s) x # to :: Rep (FontWeight s) x -> FontWeight s #
type Rep (FontWeight s) Source #
Instance details Defined in Data.H3.Visuals type Rep (FontWeight s) = D1 (MetaData "FontWeight" "Data.H3.Visuals" "h3-core-0.0.1-7NvBCSJ3Xoa4zTQRGHmS5M" True) (C1 (MetaCons "FontWeight" PrefixI True) (S1 (MetaSel (Just "getFontWeight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 s)))

_FontWeight :: forall p f a b. (Profunctor p, Functor f) => p (FontWeight a) (f (FontWeight b)) -> p a (f b) Source #

Font weight iso

newtype Pixel a Source #

Pixel unit in the target coordinate system

Constructors

Pixel
Fields getPixel :: a

Instances

Functor Pixel Source #
Instance details Defined in Data.H3.Visuals Methods fmap :: (a -> b) -> Pixel a -> Pixel b # (<$) :: a -> Pixel b -> Pixel a #
Eq a => Eq (Pixel a) Source #
Instance details Defined in Data.H3.Visuals Methods (==) :: Pixel a -> Pixel a -> Bool # (/=) :: Pixel a -> Pixel a -> Bool #
Floating a => Floating (Pixel a) Source #
Instance details Defined in Data.H3.Visuals Methods pi :: Pixel a # exp :: Pixel a -> Pixel a # log :: Pixel a -> Pixel a # sqrt :: Pixel a -> Pixel a # (**) :: Pixel a -> Pixel a -> Pixel a # logBase :: Pixel a -> Pixel a -> Pixel a # sin :: Pixel a -> Pixel a # cos :: Pixel a -> Pixel a # tan :: Pixel a -> Pixel a # asin :: Pixel a -> Pixel a # acos :: Pixel a -> Pixel a # atan :: Pixel a -> Pixel a # sinh :: Pixel a -> Pixel a # cosh :: Pixel a -> Pixel a # tanh :: Pixel a -> Pixel a # asinh :: Pixel a -> Pixel a # acosh :: Pixel a -> Pixel a # atanh :: Pixel a -> Pixel a # log1p :: Pixel a -> Pixel a # expm1 :: Pixel a -> Pixel a # log1pexp :: Pixel a -> Pixel a # log1mexp :: Pixel a -> Pixel a #
Fractional a => Fractional (Pixel a) Source #
Instance details Defined in Data.H3.Visuals Methods (/) :: Pixel a -> Pixel a -> Pixel a # recip :: Pixel a -> Pixel a # fromRational :: Rational -> Pixel a #
Num a => Num (Pixel a) Source #
Instance details Defined in Data.H3.Visuals Methods (+) :: Pixel a -> Pixel a -> Pixel a # (-) :: Pixel a -> Pixel a -> Pixel a # (*) :: Pixel a -> Pixel a -> Pixel a # negate :: Pixel a -> Pixel a # abs :: Pixel a -> Pixel a # signum :: Pixel a -> Pixel a # fromInteger :: Integer -> Pixel a #
Ord a => Ord (Pixel a) Source #
Instance details Defined in Data.H3.Visuals Methods compare :: Pixel a -> Pixel a -> Ordering # (<) :: Pixel a -> Pixel a -> Bool # (<=) :: Pixel a -> Pixel a -> Bool # (>) :: Pixel a -> Pixel a -> Bool # (>=) :: Pixel a -> Pixel a -> Bool # max :: Pixel a -> Pixel a -> Pixel a # min :: Pixel a -> Pixel a -> Pixel a #
Real a => Real (Pixel a) Source #
Instance details Defined in Data.H3.Visuals Methods toRational :: Pixel a -> Rational #
RealFrac a => RealFrac (Pixel a) Source #
Instance details Defined in Data.H3.Visuals Methods properFraction :: Integral b => Pixel a -> (b, Pixel a) # truncate :: Integral b => Pixel a -> b # round :: Integral b => Pixel a -> b # ceiling :: Integral b => Pixel a -> b # floor :: Integral b => Pixel a -> b #
Show a => Show (Pixel a) Source #
Instance details Defined in Data.H3.Visuals Methods showsPrec :: Int -> Pixel a -> ShowS # show :: Pixel a -> String # showList :: [Pixel a] -> ShowS #

_Pixel :: forall p f a b. (Profunctor p, Functor f) => p (Pixel a) (f (Pixel b)) -> p a (f b) Source #

Pixel iso

newtype LabelOffset a Source #

Constructors

LabelOffset
Fields getLabelOffset :: a

Instances

Functor LabelOffset Source #
Instance details Defined in Data.H3.Visuals Methods fmap :: (a -> b) -> LabelOffset a -> LabelOffset b # (<$) :: a -> LabelOffset b -> LabelOffset a #
Eq a => Eq (LabelOffset a) Source #
Instance details Defined in Data.H3.Visuals Methods (==) :: LabelOffset a -> LabelOffset a -> Bool # (/=) :: LabelOffset a -> LabelOffset a -> Bool #
Floating a => Floating (LabelOffset a) Source #
Instance details Defined in Data.H3.Visuals Methods pi :: LabelOffset a # exp :: LabelOffset a -> LabelOffset a # log :: LabelOffset a -> LabelOffset a # sqrt :: LabelOffset a -> LabelOffset a # (**) :: LabelOffset a -> LabelOffset a -> LabelOffset a # logBase :: LabelOffset a -> LabelOffset a -> LabelOffset a # sin :: LabelOffset a -> LabelOffset a # cos :: LabelOffset a -> LabelOffset a # tan :: LabelOffset a -> LabelOffset a # asin :: LabelOffset a -> LabelOffset a # acos :: LabelOffset a -> LabelOffset a # atan :: LabelOffset a -> LabelOffset a # sinh :: LabelOffset a -> LabelOffset a # cosh :: LabelOffset a -> LabelOffset a # tanh :: LabelOffset a -> LabelOffset a # asinh :: LabelOffset a -> LabelOffset a # acosh :: LabelOffset a -> LabelOffset a # atanh :: LabelOffset a -> LabelOffset a # log1p :: LabelOffset a -> LabelOffset a # expm1 :: LabelOffset a -> LabelOffset a # log1pexp :: LabelOffset a -> LabelOffset a # log1mexp :: LabelOffset a -> LabelOffset a #
Fractional a => Fractional (LabelOffset a) Source #
Instance details Defined in Data.H3.Visuals Methods (/) :: LabelOffset a -> LabelOffset a -> LabelOffset a # recip :: LabelOffset a -> LabelOffset a # fromRational :: Rational -> LabelOffset a #
Num a => Num (LabelOffset a) Source #
Instance details Defined in Data.H3.Visuals Methods (+) :: LabelOffset a -> LabelOffset a -> LabelOffset a # (-) :: LabelOffset a -> LabelOffset a -> LabelOffset a # (*) :: LabelOffset a -> LabelOffset a -> LabelOffset a # negate :: LabelOffset a -> LabelOffset a # abs :: LabelOffset a -> LabelOffset a # signum :: LabelOffset a -> LabelOffset a # fromInteger :: Integer -> LabelOffset a #
Ord a => Ord (LabelOffset a) Source #
Instance details Defined in Data.H3.Visuals Methods compare :: LabelOffset a -> LabelOffset a -> Ordering # (<) :: LabelOffset a -> LabelOffset a -> Bool # (<=) :: LabelOffset a -> LabelOffset a -> Bool # (>) :: LabelOffset a -> LabelOffset a -> Bool # (>=) :: LabelOffset a -> LabelOffset a -> Bool # max :: LabelOffset a -> LabelOffset a -> LabelOffset a # min :: LabelOffset a -> LabelOffset a -> LabelOffset a #
Real a => Real (LabelOffset a) Source #
Instance details Defined in Data.H3.Visuals Methods toRational :: LabelOffset a -> Rational #
RealFrac a => RealFrac (LabelOffset a) Source #
Instance details Defined in Data.H3.Visuals Methods properFraction :: Integral b => LabelOffset a -> (b, LabelOffset a) # truncate :: Integral b => LabelOffset a -> b # round :: Integral b => LabelOffset a -> b # ceiling :: Integral b => LabelOffset a -> b # floor :: Integral b => LabelOffset a -> b #
Show a => Show (LabelOffset a) Source #
Instance details Defined in Data.H3.Visuals Methods showsPrec :: Int -> LabelOffset a -> ShowS # show :: LabelOffset a -> String # showList :: [LabelOffset a] -> ShowS #

_LabelOffset :: forall p f a b. (Profunctor p, Functor f) => p (LabelOffset a) (f (LabelOffset b)) -> p a (f b) Source #

LabelOffset iso

data VisualElements s n Source #

A collection of scale metadata that needs to be visualised. n is the type of coordinates in the target coordinate system, to allow combinators such as Product and Cartesian to adjust the locations of the elements.

Constructors

VisualElements
Fields veTicks :: [n] Points in the target interval that should be indicated to the user, veAxes :: [(n, n)] Start and end points of axes veGridLines :: [(n, n)] Start and end points of grid lines veAxisLabels :: [(String, n)] Points in the target interval that should be labelled veLegend :: [Shape s n] Additional data

Instances

Functor (VisualElements s) Source #
Instance details Defined in Data.H3.Visuals Methods fmap :: (a -> b) -> VisualElements s a -> VisualElements s b # (<$) :: a -> VisualElements s b -> VisualElements s a #
(Show n, Show s) => Show (VisualElements s n) Source #
Instance details Defined in Data.H3.Visuals Methods showsPrec :: Int -> VisualElements s n -> ShowS # show :: VisualElements s n -> String # showList :: [VisualElements s n] -> ShowS #
Semigroup (VisualElements s n) Source #
Instance details Defined in Data.H3.Visuals Methods (<>) :: VisualElements s n -> VisualElements s n -> VisualElements s n # sconcat :: NonEmpty (VisualElements s n) -> VisualElements s n # stimes :: Integral b => b -> VisualElements s n -> VisualElements s n #
Monoid (VisualElements s n) Source #
Instance details Defined in Data.H3.Visuals Methods mempty :: VisualElements s n # mappend :: VisualElements s n -> VisualElements s n -> VisualElements s n # mconcat :: [VisualElements s n] -> VisualElements s n #

backgroundShapes :: VisualElements s n -> Shape String n Source #

foregroundShapes :: VisualElements String (x, y) -> Shape String (x, y) Source #

Scales that generate visual elements

class ChartVisuals c a b where Source #

The class of scales that have metadata in the form of VisualElements.

Minimal complete definition

visuals

Methods

visuals :: c -> a -> VisualElements String b Source #

Instances

(h ~ TargetRange f b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (Anchored f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Anchored f) a b) -> h -> VisualElements String b Source #
(h ~ TargetRange f b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (Transformed f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Transformed f) a b) -> h -> VisualElements String b Source #
(h ~ TargetRange g b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (Nested f g) (a, c) b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Nested f g) (a, c) b) -> h -> VisualElements String b Source #
(h ~ TargetRange f b, Scalable f a b) => ChartVisuals (Vis (ScaleOptions (NoVisuals f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (NoVisuals f) a b) -> h -> VisualElements String b Source #
(h ~ TargetRange f b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (NoGrid f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (NoGrid f) a b) -> h -> VisualElements String b Source #
(Ord a, Eq a) => ChartVisuals (Vis (ScaleOptions Ordinal a Double)) (Extent Double) Double Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions Ordinal a Double) -> Extent Double -> VisualElements String Double Source #
(Ord a, Integral a) => ChartVisuals (Vis (ScaleOptions Cardinal a Double)) (Extent Double) Double Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions Cardinal a Double) -> Extent Double -> VisualElements String Double Source #
(Ord a, RealFrac a, Floating a) => ChartVisuals (Vis (ScaleOptions Continuous a a)) (Extent a) a Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions Continuous a a) -> Extent a -> VisualElements String a Source #
(TargetRange f b ~ h b, TargetRange g d ~ h d, h ~ Extent, Num d, Num b, ChartVisuals (Vis (ScaleOptions g c d)) (h d) d, ChartVisuals (Vis (ScaleOptions f a b)) (h b) b) => ChartVisuals (Vis (ScaleOptions (Cartesian f g) (a, c) (b, d))) (h b, h d) (b, d) Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Cartesian f g) (a, c) (b, d)) -> (h b, h d) -> VisualElements String (b, d) Source #

newtype Vis a Source #

Constructors

Vis a

Instances

Functor Vis Source #
Instance details Defined in Data.H3.Visuals Methods fmap :: (a -> b) -> Vis a -> Vis b # (<$) :: a -> Vis b -> Vis a #
Foldable Vis Source #
Instance details Defined in Data.H3.Visuals Methods fold :: Monoid m => Vis m -> m # foldMap :: Monoid m => (a -> m) -> Vis a -> m # foldr :: (a -> b -> b) -> b -> Vis a -> b # foldr' :: (a -> b -> b) -> b -> Vis a -> b # foldl :: (b -> a -> b) -> b -> Vis a -> b # foldl' :: (b -> a -> b) -> b -> Vis a -> b # foldr1 :: (a -> a -> a) -> Vis a -> a # foldl1 :: (a -> a -> a) -> Vis a -> a # toList :: Vis a -> [a] # null :: Vis a -> Bool # length :: Vis a -> Int # elem :: Eq a => a -> Vis a -> Bool # maximum :: Ord a => Vis a -> a # minimum :: Ord a => Vis a -> a # sum :: Num a => Vis a -> a # product :: Num a => Vis a -> a #
Traversable Vis Source #
Instance details Defined in Data.H3.Visuals Methods traverse :: Applicative f => (a -> f b) -> Vis a -> f (Vis b) # sequenceA :: Applicative f => Vis (f a) -> f (Vis a) # mapM :: Monad m => (a -> m b) -> Vis a -> m (Vis b) # sequence :: Monad m => Vis (m a) -> m (Vis a) #
Eq a => Eq (Vis a) Source #
Instance details Defined in Data.H3.Visuals Methods (==) :: Vis a -> Vis a -> Bool # (/=) :: Vis a -> Vis a -> Bool #
Ord a => Ord (Vis a) Source #
Instance details Defined in Data.H3.Visuals Methods compare :: Vis a -> Vis a -> Ordering # (<) :: Vis a -> Vis a -> Bool # (<=) :: Vis a -> Vis a -> Bool # (>) :: Vis a -> Vis a -> Bool # (>=) :: Vis a -> Vis a -> Bool # max :: Vis a -> Vis a -> Vis a # min :: Vis a -> Vis a -> Vis a #
Show a => Show (Vis a) Source #
Instance details Defined in Data.H3.Visuals Methods showsPrec :: Int -> Vis a -> ShowS # show :: Vis a -> String # showList :: [Vis a] -> ShowS #
(h ~ TargetRange f b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (Anchored f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Anchored f) a b) -> h -> VisualElements String b Source #
(h ~ TargetRange f b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (Transformed f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Transformed f) a b) -> h -> VisualElements String b Source #
(h ~ TargetRange g b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (Nested f g) (a, c) b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Nested f g) (a, c) b) -> h -> VisualElements String b Source #
(h ~ TargetRange f b, Scalable f a b) => ChartVisuals (Vis (ScaleOptions (NoVisuals f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (NoVisuals f) a b) -> h -> VisualElements String b Source #
(h ~ TargetRange f b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (NoGrid f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (NoGrid f) a b) -> h -> VisualElements String b Source #
(Ord a, Eq a) => ChartVisuals (Vis (ScaleOptions Ordinal a Double)) (Extent Double) Double Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions Ordinal a Double) -> Extent Double -> VisualElements String Double Source #
(Ord a, Integral a) => ChartVisuals (Vis (ScaleOptions Cardinal a Double)) (Extent Double) Double Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions Cardinal a Double) -> Extent Double -> VisualElements String Double Source #
(Ord a, RealFrac a, Floating a) => ChartVisuals (Vis (ScaleOptions Continuous a a)) (Extent a) a Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions Continuous a a) -> Extent a -> VisualElements String a Source #
(TargetRange f b ~ h b, TargetRange g d ~ h d, h ~ Extent, Num d, Num b, ChartVisuals (Vis (ScaleOptions g c d)) (h d) d, ChartVisuals (Vis (ScaleOptions f a b)) (h b) b) => ChartVisuals (Vis (ScaleOptions (Cartesian f g) (a, c) (b, d))) (h b, h d) (b, d) Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Cartesian f g) (a, c) (b, d)) -> (h b, h d) -> VisualElements String (b, d) Source #

Modifiers for visuals

noGrid :: ScaleOptions f a b -> ScaleOptions (NoGrid f) a b Source #

data NoGrid (f :: * -> *) a Source #

Instances

Scalable f a b => Scalable (NoGrid f) a b Source #
Instance details Defined in Data.H3.Visuals Associated Types type Target (NoGrid f) :: * -> * Source # type TargetRange (NoGrid f) b :: * Source # data ScaleOptions (NoGrid f) a b :: * Source # Methods scale :: ScaleOptions (NoGrid f) a b -> TargetRange (NoGrid f) b -> a -> Target (NoGrid f) b Source #
(h ~ TargetRange f b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (NoGrid f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (NoGrid f) a b) -> h -> VisualElements String b Source #
type Target (NoGrid f) Source #
Instance details Defined in Data.H3.Visuals type Target (NoGrid f) = Target f
data ScaleOptions (NoGrid f) a b Source #
Instance details Defined in Data.H3.Visuals data ScaleOptions (NoGrid f) a b = NoGrid (ScaleOptions f a b)
type TargetRange (NoGrid f) b Source #
Instance details Defined in Data.H3.Visuals type TargetRange (NoGrid f) b = TargetRange f b

noVisuals :: ScaleOptions f a b -> ScaleOptions (NoVisuals f) a b Source #

data NoVisuals (f :: * -> *) a Source #

Instances

Scalable f a b => Scalable (NoVisuals f) a b Source #
Instance details Defined in Data.H3.Visuals Associated Types type Target (NoVisuals f) :: * -> * Source # type TargetRange (NoVisuals f) b :: * Source # data ScaleOptions (NoVisuals f) a b :: * Source # Methods scale :: ScaleOptions (NoVisuals f) a b -> TargetRange (NoVisuals f) b -> a -> Target (NoVisuals f) b Source #
(h ~ TargetRange f b, Scalable f a b) => ChartVisuals (Vis (ScaleOptions (NoVisuals f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (NoVisuals f) a b) -> h -> VisualElements String b Source #
type Target (NoVisuals f) Source #
Instance details Defined in Data.H3.Visuals type Target (NoVisuals f) = Target f
data ScaleOptions (NoVisuals f) a b Source #
Instance details Defined in Data.H3.Visuals data ScaleOptions (NoVisuals f) a b = NoVisuals (ScaleOptions f a b)
type TargetRange (NoVisuals f) b Source #
Instance details Defined in Data.H3.Visuals type TargetRange (NoVisuals f) b = TargetRange f b

cartesian :: Extent d -> Extent b -> FontSize String -> LabelOffset (b, d) -> ScaleOptions f a b -> ScaleOptions g c d -> ScaleOptions (Cartesian f g) (a, c) (b, d) Source #

data Cartesian (f :: * -> *) (g :: * -> *) a Source #

Instances

(TargetRange f b ~ h b, TargetRange g d ~ h d, h ~ Extent, Num d, Num b, ChartVisuals (Vis (ScaleOptions g c d)) (h d) d, ChartVisuals (Vis (ScaleOptions f a b)) (h b) b) => ChartVisuals (Vis (ScaleOptions (Cartesian f g) (a, c) (b, d))) (h b, h d) (b, d) Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Cartesian f g) (a, c) (b, d)) -> (h b, h d) -> VisualElements String (b, d) Source #
(Scalable f a b, Scalable g c d) => Scalable (Cartesian f g) (a, c) (b, d) Source #
Instance details Defined in Data.H3.Visuals Associated Types type Target (Cartesian f g) :: * -> * Source # type TargetRange (Cartesian f g) (b, d) :: * Source # data ScaleOptions (Cartesian f g) (a, c) (b, d) :: * Source # Methods scale :: ScaleOptions (Cartesian f g) (a, c) (b, d) -> TargetRange (Cartesian f g) (b, d) -> (a, c) -> Target (Cartesian f g) (b, d) Source #
type Target (Cartesian f g) Source #
Instance details Defined in Data.H3.Visuals type Target (Cartesian f g) = Product (Target f) (Target g)
type TargetRange (Cartesian f g) (b, d) Source #
Instance details Defined in Data.H3.Visuals type TargetRange (Cartesian f g) (b, d) = (TargetRange f b, TargetRange g d)
data ScaleOptions (Cartesian f g) (a, c) (b, d) Source #
Instance details Defined in Data.H3.Visuals data ScaleOptions (Cartesian f g) (a, c) (b, d) = CardScaleOpts { fTickLength :: Extent d gTickLength :: Extent b lblFontSize :: FontSize String lblOffset :: LabelOffset (b, d) fOptions :: ScaleOptions f a b gOptions :: ScaleOptions g c d }

Constructors

data family ScaleOptions f a b :: * Source #

Additional parameters for the scale (other than target range).

Instances

(h ~ TargetRange f b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (Anchored f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Anchored f) a b) -> h -> VisualElements String b Source #
(h ~ TargetRange f b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (Transformed f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Transformed f) a b) -> h -> VisualElements String b Source #
(h ~ TargetRange g b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (Nested f g) (a, c) b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Nested f g) (a, c) b) -> h -> VisualElements String b Source #
(h ~ TargetRange f b, Scalable f a b) => ChartVisuals (Vis (ScaleOptions (NoVisuals f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (NoVisuals f) a b) -> h -> VisualElements String b Source #
(h ~ TargetRange f b, ChartVisuals (Vis (ScaleOptions f a b)) h b) => ChartVisuals (Vis (ScaleOptions (NoGrid f) a b)) h b Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (NoGrid f) a b) -> h -> VisualElements String b Source #
(Ord a, Eq a) => ChartVisuals (Vis (ScaleOptions Ordinal a Double)) (Extent Double) Double Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions Ordinal a Double) -> Extent Double -> VisualElements String Double Source #
(Ord a, Integral a) => ChartVisuals (Vis (ScaleOptions Cardinal a Double)) (Extent Double) Double Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions Cardinal a Double) -> Extent Double -> VisualElements String Double Source #
(Ord a, RealFrac a, Floating a) => ChartVisuals (Vis (ScaleOptions Continuous a a)) (Extent a) a Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions Continuous a a) -> Extent a -> VisualElements String a Source #
(TargetRange f b ~ h b, TargetRange g d ~ h d, h ~ Extent, Num d, Num b, ChartVisuals (Vis (ScaleOptions g c d)) (h d) d, ChartVisuals (Vis (ScaleOptions f a b)) (h b) b) => ChartVisuals (Vis (ScaleOptions (Cartesian f g) (a, c) (b, d))) (h b, h d) (b, d) Source #
Instance details Defined in Data.H3.Visuals Methods visuals :: Vis (ScaleOptions (Cartesian f g) (a, c) (b, d)) -> (h b, h d) -> VisualElements String (b, d) Source #
data ScaleOptions Ordinal a Double Source #
Instance details Defined in Data.H3.Scales data ScaleOptions Ordinal a Double = OrdScaleOptions (NonEmpty a) (a -> String)
data ScaleOptions Cardinal a Double Source #
Instance details Defined in Data.H3.Scales data ScaleOptions Cardinal a Double = CardScaleOptions (Extent a)
data ScaleOptions Continuous a a Source #
Instance details Defined in Data.H3.Scales data ScaleOptions Continuous a a = ContScale (Extent a) IncludeZeroPolicy
data ScaleOptions (Anchored f) a b Source #
Instance details Defined in Data.H3.Scales data ScaleOptions (Anchored f) a b = AnchoredOpts a (ScaleOptions f a b)
data ScaleOptions (Transformed f) a b Source #
Instance details Defined in Data.H3.Scales data ScaleOptions (Transformed f) a b = TransformedOpts (Target f b -> Target f b) (ScaleOptions f a b)
data ScaleOptions (NoVisuals f) a b Source #
Instance details Defined in Data.H3.Visuals data ScaleOptions (NoVisuals f) a b = NoVisuals (ScaleOptions f a b)
data ScaleOptions (NoGrid f) a b Source #
Instance details Defined in Data.H3.Visuals data ScaleOptions (NoGrid f) a b = NoGrid (ScaleOptions f a b)
data ScaleOptions (Split f g) a (b, c) Source #
Instance details Defined in Data.H3.Scales data ScaleOptions (Split f g) a (b, c) = SplitScaleOpts (ScaleOptions f a b) (ScaleOptions g a c)
data ScaleOptions (Nested f g) (a, c) b Source #
Instance details Defined in Data.H3.Scales data ScaleOptions (Nested f g) (a, c) b = NestScaleOpts (ScaleOptions f a b) (ScaleOptions g c b)
data ScaleOptions (Product f g) (a, c) (b, d) Source #
Instance details Defined in Data.H3.Scales data ScaleOptions (Product f g) (a, c) (b, d) = ProdScaleOpts (ScaleOptions f a b) (ScaleOptions g c d)
data ScaleOptions (Cartesian f g) (a, c) (b, d) Source #
Instance details Defined in Data.H3.Visuals data ScaleOptions (Cartesian f g) (a, c) (b, d) = CardScaleOpts { fTickLength :: Extent d gTickLength :: Extent b lblFontSize :: FontSize String lblOffset :: LabelOffset (b, d) fOptions :: ScaleOptions f a b gOptions :: ScaleOptions g c d }
data ScaleOptions ((->) a :: * -> *) a b Source #
Instance details Defined in Data.H3.Scalable data ScaleOptions ((->) a :: * -> *) a b = ArrScaleOpts (a -> b)