Safe Haskell	None
Language	Haskell2010

Data.H3.Extent

Synopsis

newtype Extent a = Extent {
- getExtent :: (Min a, Max a)
}
_Extent :: forall p f a b. (Profunctor p, Functor f) => p (Extent a) (f (Extent b)) -> p (a, a) (f (b, b))
extent :: a -> Extent a
toTuple :: Extent a -> (a, a)
fromTuple :: (a, a) -> Extent a
resize :: (Fractional a, Num a) => a -> Extent a -> Extent a

Documentation

newtype Extent a Source #

Constructors

Extent
Fields getExtent :: (Min a, Max a)

Instances

Functor Extent Source #
Instance details Defined in Data.H3.Extent Methods fmap :: (a -> b) -> Extent a -> Extent b # (<$) :: a -> Extent b -> Extent a #
Foldable Extent Source #
Instance details Defined in Data.H3.Extent Methods fold :: Monoid m => Extent m -> m # foldMap :: Monoid m => (a -> m) -> Extent a -> m # foldr :: (a -> b -> b) -> b -> Extent a -> b # foldr' :: (a -> b -> b) -> b -> Extent a -> b # foldl :: (b -> a -> b) -> b -> Extent a -> b # foldl' :: (b -> a -> b) -> b -> Extent a -> b # foldr1 :: (a -> a -> a) -> Extent a -> a # foldl1 :: (a -> a -> a) -> Extent a -> a # toList :: Extent a -> [a] # null :: Extent a -> Bool # length :: Extent a -> Int # elem :: Eq a => a -> Extent a -> Bool # maximum :: Ord a => Extent a -> a # minimum :: Ord a => Extent a -> a # sum :: Num a => Extent a -> a # product :: Num a => Extent a -> a #
Traversable Extent Source #
Instance details Defined in Data.H3.Extent Methods traverse :: Applicative f => (a -> f b) -> Extent a -> f (Extent b) # sequenceA :: Applicative f => Extent (f a) -> f (Extent a) # mapM :: Monad m => (a -> m b) -> Extent a -> m (Extent b) # sequence :: Monad m => Extent (m a) -> m (Extent a) #
Foldable1 Extent Source #
Instance details Defined in Data.H3.Extent Methods fold1 :: Semigroup m => Extent m -> m # foldMap1 :: Semigroup m => (a -> m) -> Extent a -> m # toNonEmpty :: Extent a -> NonEmpty a #
Eq a => Eq (Extent a) Source #
Instance details Defined in Data.H3.Extent Methods (==) :: Extent a -> Extent a -> Bool # (/=) :: Extent a -> Extent a -> Bool #
Ord a => Ord (Extent a) Source #
Instance details Defined in Data.H3.Extent Methods compare :: Extent a -> Extent a -> Ordering # (<) :: Extent a -> Extent a -> Bool # (<=) :: Extent a -> Extent a -> Bool # (>) :: Extent a -> Extent a -> Bool # (>=) :: Extent a -> Extent a -> Bool # max :: Extent a -> Extent a -> Extent a # min :: Extent a -> Extent a -> Extent a #
Show a => Show (Extent a) Source #
Instance details Defined in Data.H3.Extent Methods showsPrec :: Int -> Extent a -> ShowS # show :: Extent a -> String # showList :: [Extent a] -> ShowS #
Generic (Extent a) Source #
Instance details Defined in Data.H3.Extent Associated Types type Rep (Extent a) :: * -> * # Methods from :: Extent a -> Rep (Extent a) x # to :: Rep (Extent a) x -> Extent a #
Ord a => Semigroup (Extent a) Source #
Instance details Defined in Data.H3.Extent Methods (<>) :: Extent a -> Extent a -> Extent a # sconcat :: NonEmpty (Extent a) -> Extent a # stimes :: Integral b => b -> Extent a -> Extent a #
(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 #
type Rep (Extent a) Source #
Instance details Defined in Data.H3.Extent type Rep (Extent a) = D1 (MetaData "Extent" "Data.H3.Extent" "h3-core-0.0.1-7NvBCSJ3Xoa4zTQRGHmS5M" True) (C1 (MetaCons "Extent" PrefixI True) (S1 (MetaSel (Just "getExtent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Min a, Max a))))

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

extent :: a -> Extent a Source #

toTuple :: Extent a -> (a, a) Source #

fromTuple :: (a, a) -> Extent a Source #

resize :: (Fractional a, Num a) => a -> Extent a -> Extent a Source #

Change the size of an [[Extent]] symmetrically