Safe Haskell	None
Language	Haskell2010

Data.H3.Geo.Types

Synopsis

newtype Point a = Point {
- getPoint :: (a, a)
}
_Point :: forall p f a b. (Profunctor p, Functor f) => p (Point a) (f (Point b)) -> p (a, a) (f (b, b))
newtype Polygon a = Polygon {
- getPolygon :: NonEmpty a
}
_Polygon :: forall p f a b. (Profunctor p, Functor f) => p (Polygon a) (f (Polygon b)) -> p (NonEmpty a) (f (NonEmpty b))
newtype WGS84 = WGS84 {
- getWGS84 :: Point Degrees
}
_WGS84 :: forall p f. (Profunctor p, Functor f) => p WGS84 (f WGS84) -> p (Point Degrees) (f (Point Degrees))
newtype Radians = Radians {
- getRadians :: Double
}
_Radians :: forall p f. (Profunctor p, Functor f) => p Radians (f Radians) -> p Double (f Double)
newtype Degrees = Degrees {
- getDegrees :: Double
}
_Degrees :: forall p f. (Profunctor p, Functor f) => p Degrees (f Degrees) -> p Double (f Double)
_DegRad :: forall p f. (Profunctor p, Functor f) => p Degrees (f Degrees) -> p Radians (f Radians)
fromRad :: Radians -> Degrees
toRad :: Degrees -> Radians

Documentation

newtype Point a Source #

Constructors

Point
Fields getPoint :: (a, a)

Instances

Functor Point Source #
Instance details Defined in Data.H3.Geo.Types Methods fmap :: (a -> b) -> Point a -> Point b # (<$) :: a -> Point b -> Point a #
Scalable Albers (Point Radians) (Double, Double) #
Instance details Defined in Data.H3.Geo.Projection Associated Types type Target Albers :: * -> * # type TargetRange Albers (Double, Double) :: * # data ScaleOptions Albers (Point Radians) (Double, Double) :: * # Methods scale :: ScaleOptions Albers (Point Radians) (Double, Double) -> TargetRange Albers (Double, Double) -> Point Radians -> Target Albers (Double, Double) #
Scalable Mercator (Point Radians) (Double, Double) #
Instance details Defined in Data.H3.Geo.Projection Associated Types type Target Mercator :: * -> * # type TargetRange Mercator (Double, Double) :: * # data ScaleOptions Mercator (Point Radians) (Double, Double) :: * # Methods scale :: ScaleOptions Mercator (Point Radians) (Double, Double) -> TargetRange Mercator (Double, Double) -> Point Radians -> Target Mercator (Double, Double) #
Eq a => Eq (Point a) Source #
Instance details Defined in Data.H3.Geo.Types Methods (==) :: Point a -> Point a -> Bool # (/=) :: Point a -> Point a -> Bool #
Ord a => Ord (Point a) Source #
Instance details Defined in Data.H3.Geo.Types Methods compare :: Point a -> Point a -> Ordering # (<) :: Point a -> Point a -> Bool # (<=) :: Point a -> Point a -> Bool # (>) :: Point a -> Point a -> Bool # (>=) :: Point a -> Point a -> Bool # max :: Point a -> Point a -> Point a # min :: Point a -> Point a -> Point a #
Show a => Show (Point a) Source #
Instance details Defined in Data.H3.Geo.Types Methods showsPrec :: Int -> Point a -> ShowS # show :: Point a -> String # showList :: [Point a] -> ShowS #
Generic (Point a) Source #
Instance details Defined in Data.H3.Geo.Types Associated Types type Rep (Point a) :: * -> * # Methods from :: Point a -> Rep (Point a) x # to :: Rep (Point a) x -> Point a #
data ScaleOptions Albers (Point Radians) (Double, Double) #
Instance details Defined in Data.H3.Geo.Projection data ScaleOptions Albers (Point Radians) (Double, Double) = AlbScale { alArea :: (Point Radians, Point Radians) alReferencePoint :: Point Radians alPhi1 :: Radians alPhi2 :: Radians }
data ScaleOptions Mercator (Point Radians) (Double, Double) #
Instance details Defined in Data.H3.Geo.Projection data ScaleOptions Mercator (Point Radians) (Double, Double) = MercScale (Point Radians, Point Radians) NullMeridian
type Rep (Point a) Source #
Instance details Defined in Data.H3.Geo.Types type Rep (Point a) = D1 (MetaData "Point" "Data.H3.Geo.Types" "h3-geo-0.0.1-7Z4gIEuhq6v3Ma9BiaDViR" True) (C1 (MetaCons "Point" PrefixI True) (S1 (MetaSel (Just "getPoint") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (a, a))))

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

Point iso

newtype Polygon a Source #

Constructors

Polygon
Fields getPolygon :: NonEmpty a

Instances

Functor Polygon Source #
Instance details Defined in Data.H3.Geo.Types Methods fmap :: (a -> b) -> Polygon a -> Polygon b # (<$) :: a -> Polygon b -> Polygon a #
Foldable Polygon Source #
Instance details Defined in Data.H3.Geo.Types Methods fold :: Monoid m => Polygon m -> m # foldMap :: Monoid m => (a -> m) -> Polygon a -> m # foldr :: (a -> b -> b) -> b -> Polygon a -> b # foldr' :: (a -> b -> b) -> b -> Polygon a -> b # foldl :: (b -> a -> b) -> b -> Polygon a -> b # foldl' :: (b -> a -> b) -> b -> Polygon a -> b # foldr1 :: (a -> a -> a) -> Polygon a -> a # foldl1 :: (a -> a -> a) -> Polygon a -> a # toList :: Polygon a -> [a] # null :: Polygon a -> Bool # length :: Polygon a -> Int # elem :: Eq a => a -> Polygon a -> Bool # maximum :: Ord a => Polygon a -> a # minimum :: Ord a => Polygon a -> a # sum :: Num a => Polygon a -> a # product :: Num a => Polygon a -> a #
Foldable1 Polygon Source #
Instance details Defined in Data.H3.Geo.Types Methods fold1 :: Semigroup m => Polygon m -> m # foldMap1 :: Semigroup m => (a -> m) -> Polygon a -> m # toNonEmpty :: Polygon a -> NonEmpty a #
Eq a => Eq (Polygon a) Source #
Instance details Defined in Data.H3.Geo.Types Methods (==) :: Polygon a -> Polygon a -> Bool # (/=) :: Polygon a -> Polygon a -> Bool #
Ord a => Ord (Polygon a) Source #
Instance details Defined in Data.H3.Geo.Types Methods compare :: Polygon a -> Polygon a -> Ordering # (<) :: Polygon a -> Polygon a -> Bool # (<=) :: Polygon a -> Polygon a -> Bool # (>) :: Polygon a -> Polygon a -> Bool # (>=) :: Polygon a -> Polygon a -> Bool # max :: Polygon a -> Polygon a -> Polygon a # min :: Polygon a -> Polygon a -> Polygon a #
Show a => Show (Polygon a) Source #
Instance details Defined in Data.H3.Geo.Types Methods showsPrec :: Int -> Polygon a -> ShowS # show :: Polygon a -> String # showList :: [Polygon a] -> ShowS #
Generic (Polygon a) Source #
Instance details Defined in Data.H3.Geo.Types Associated Types type Rep (Polygon a) :: * -> * # Methods from :: Polygon a -> Rep (Polygon a) x # to :: Rep (Polygon a) x -> Polygon a #
type Rep (Polygon a) Source #
Instance details Defined in Data.H3.Geo.Types type Rep (Polygon a) = D1 (MetaData "Polygon" "Data.H3.Geo.Types" "h3-geo-0.0.1-7Z4gIEuhq6v3Ma9BiaDViR" True) (C1 (MetaCons "Polygon" PrefixI True) (S1 (MetaSel (Just "getPolygon") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty a))))

_Polygon :: forall p f a b. (Profunctor p, Functor f) => p (Polygon a) (f (Polygon b)) -> p (NonEmpty a) (f (NonEmpty b)) Source #

Polygon iso

newtype WGS84 Source #

Constructors

WGS84
Fields getWGS84 :: Point Degrees

Instances

Eq WGS84 Source #
Instance details Defined in Data.H3.Geo.Types Methods (==) :: WGS84 -> WGS84 -> Bool # (/=) :: WGS84 -> WGS84 -> Bool #
Ord WGS84 Source #
Instance details Defined in Data.H3.Geo.Types Methods compare :: WGS84 -> WGS84 -> Ordering # (<) :: WGS84 -> WGS84 -> Bool # (<=) :: WGS84 -> WGS84 -> Bool # (>) :: WGS84 -> WGS84 -> Bool # (>=) :: WGS84 -> WGS84 -> Bool # max :: WGS84 -> WGS84 -> WGS84 # min :: WGS84 -> WGS84 -> WGS84 #
Show WGS84 Source #
Instance details Defined in Data.H3.Geo.Types Methods showsPrec :: Int -> WGS84 -> ShowS # show :: WGS84 -> String # showList :: [WGS84] -> ShowS #
Generic WGS84 Source #
Instance details Defined in Data.H3.Geo.Types Associated Types type Rep WGS84 :: * -> * # Methods from :: WGS84 -> Rep WGS84 x # to :: Rep WGS84 x -> WGS84 #
type Rep WGS84 Source #
Instance details Defined in Data.H3.Geo.Types type Rep WGS84 = D1 (MetaData "WGS84" "Data.H3.Geo.Types" "h3-geo-0.0.1-7Z4gIEuhq6v3Ma9BiaDViR" True) (C1 (MetaCons "WGS84" PrefixI True) (S1 (MetaSel (Just "getWGS84") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Point Degrees))))

_WGS84 :: forall p f. (Profunctor p, Functor f) => p WGS84 (f WGS84) -> p (Point Degrees) (f (Point Degrees)) Source #

Point in WGS84 format

newtype Radians Source #

Constructors

Radians
Fields getRadians :: Double

Instances

Eq Radians Source #
Instance details Defined in Data.H3.Geo.Types Methods (==) :: Radians -> Radians -> Bool # (/=) :: Radians -> Radians -> Bool #
Floating Radians Source #
Instance details Defined in Data.H3.Geo.Types Methods pi :: Radians # exp :: Radians -> Radians # log :: Radians -> Radians # sqrt :: Radians -> Radians # (**) :: Radians -> Radians -> Radians # logBase :: Radians -> Radians -> Radians # sin :: Radians -> Radians # cos :: Radians -> Radians # tan :: Radians -> Radians # asin :: Radians -> Radians # acos :: Radians -> Radians # atan :: Radians -> Radians # sinh :: Radians -> Radians # cosh :: Radians -> Radians # tanh :: Radians -> Radians # asinh :: Radians -> Radians # acosh :: Radians -> Radians # atanh :: Radians -> Radians # log1p :: Radians -> Radians # expm1 :: Radians -> Radians # log1pexp :: Radians -> Radians # log1mexp :: Radians -> Radians #
Fractional Radians Source #
Instance details Defined in Data.H3.Geo.Types Methods (/) :: Radians -> Radians -> Radians # recip :: Radians -> Radians # fromRational :: Rational -> Radians #
Num Radians Source #
Instance details Defined in Data.H3.Geo.Types Methods (+) :: Radians -> Radians -> Radians # (-) :: Radians -> Radians -> Radians # (*) :: Radians -> Radians -> Radians # negate :: Radians -> Radians # abs :: Radians -> Radians # signum :: Radians -> Radians # fromInteger :: Integer -> Radians #
Ord Radians Source #
Instance details Defined in Data.H3.Geo.Types Methods compare :: Radians -> Radians -> Ordering # (<) :: Radians -> Radians -> Bool # (<=) :: Radians -> Radians -> Bool # (>) :: Radians -> Radians -> Bool # (>=) :: Radians -> Radians -> Bool # max :: Radians -> Radians -> Radians # min :: Radians -> Radians -> Radians #
Show Radians Source #
Instance details Defined in Data.H3.Geo.Types Methods showsPrec :: Int -> Radians -> ShowS # show :: Radians -> String # showList :: [Radians] -> ShowS #
Generic Radians Source #
Instance details Defined in Data.H3.Geo.Types Associated Types type Rep Radians :: * -> * # Methods from :: Radians -> Rep Radians x # to :: Rep Radians x -> Radians #
Scalable Albers (Point Radians) (Double, Double) #
Instance details Defined in Data.H3.Geo.Projection Associated Types type Target Albers :: * -> * # type TargetRange Albers (Double, Double) :: * # data ScaleOptions Albers (Point Radians) (Double, Double) :: * # Methods scale :: ScaleOptions Albers (Point Radians) (Double, Double) -> TargetRange Albers (Double, Double) -> Point Radians -> Target Albers (Double, Double) #
Scalable Mercator (Point Radians) (Double, Double) #
Instance details Defined in Data.H3.Geo.Projection Associated Types type Target Mercator :: * -> * # type TargetRange Mercator (Double, Double) :: * # data ScaleOptions Mercator (Point Radians) (Double, Double) :: * # Methods scale :: ScaleOptions Mercator (Point Radians) (Double, Double) -> TargetRange Mercator (Double, Double) -> Point Radians -> Target Mercator (Double, Double) #
type Rep Radians Source #
Instance details Defined in Data.H3.Geo.Types type Rep Radians = D1 (MetaData "Radians" "Data.H3.Geo.Types" "h3-geo-0.0.1-7Z4gIEuhq6v3Ma9BiaDViR" True) (C1 (MetaCons "Radians" PrefixI True) (S1 (MetaSel (Just "getRadians") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)))
data ScaleOptions Albers (Point Radians) (Double, Double) #
Instance details Defined in Data.H3.Geo.Projection data ScaleOptions Albers (Point Radians) (Double, Double) = AlbScale { alArea :: (Point Radians, Point Radians) alReferencePoint :: Point Radians alPhi1 :: Radians alPhi2 :: Radians }
data ScaleOptions Mercator (Point Radians) (Double, Double) #
Instance details Defined in Data.H3.Geo.Projection data ScaleOptions Mercator (Point Radians) (Double, Double) = MercScale (Point Radians, Point Radians) NullMeridian

_Radians :: forall p f. (Profunctor p, Functor f) => p Radians (f Radians) -> p Double (f Double) Source #

Angle in radians

newtype Degrees Source #

Constructors

Degrees
Fields getDegrees :: Double

Instances

Eq Degrees Source #
Instance details Defined in Data.H3.Geo.Types Methods (==) :: Degrees -> Degrees -> Bool # (/=) :: Degrees -> Degrees -> Bool #
Floating Degrees Source #
Instance details Defined in Data.H3.Geo.Types Methods pi :: Degrees # exp :: Degrees -> Degrees # log :: Degrees -> Degrees # sqrt :: Degrees -> Degrees # (**) :: Degrees -> Degrees -> Degrees # logBase :: Degrees -> Degrees -> Degrees # sin :: Degrees -> Degrees # cos :: Degrees -> Degrees # tan :: Degrees -> Degrees # asin :: Degrees -> Degrees # acos :: Degrees -> Degrees # atan :: Degrees -> Degrees # sinh :: Degrees -> Degrees # cosh :: Degrees -> Degrees # tanh :: Degrees -> Degrees # asinh :: Degrees -> Degrees # acosh :: Degrees -> Degrees # atanh :: Degrees -> Degrees # log1p :: Degrees -> Degrees # expm1 :: Degrees -> Degrees # log1pexp :: Degrees -> Degrees # log1mexp :: Degrees -> Degrees #
Fractional Degrees Source #
Instance details Defined in Data.H3.Geo.Types Methods (/) :: Degrees -> Degrees -> Degrees # recip :: Degrees -> Degrees # fromRational :: Rational -> Degrees #
Num Degrees Source #
Instance details Defined in Data.H3.Geo.Types Methods (+) :: Degrees -> Degrees -> Degrees # (-) :: Degrees -> Degrees -> Degrees # (*) :: Degrees -> Degrees -> Degrees # negate :: Degrees -> Degrees # abs :: Degrees -> Degrees # signum :: Degrees -> Degrees # fromInteger :: Integer -> Degrees #
Ord Degrees Source #
Instance details Defined in Data.H3.Geo.Types Methods compare :: Degrees -> Degrees -> Ordering # (<) :: Degrees -> Degrees -> Bool # (<=) :: Degrees -> Degrees -> Bool # (>) :: Degrees -> Degrees -> Bool # (>=) :: Degrees -> Degrees -> Bool # max :: Degrees -> Degrees -> Degrees # min :: Degrees -> Degrees -> Degrees #
Show Degrees Source #
Instance details Defined in Data.H3.Geo.Types Methods showsPrec :: Int -> Degrees -> ShowS # show :: Degrees -> String # showList :: [Degrees] -> ShowS #
Generic Degrees Source #
Instance details Defined in Data.H3.Geo.Types Associated Types type Rep Degrees :: * -> * # Methods from :: Degrees -> Rep Degrees x # to :: Rep Degrees x -> Degrees #
type Rep Degrees Source #
Instance details Defined in Data.H3.Geo.Types type Rep Degrees = D1 (MetaData "Degrees" "Data.H3.Geo.Types" "h3-geo-0.0.1-7Z4gIEuhq6v3Ma9BiaDViR" True) (C1 (MetaCons "Degrees" PrefixI True) (S1 (MetaSel (Just "getDegrees") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)))

_Degrees :: forall p f. (Profunctor p, Functor f) => p Degrees (f Degrees) -> p Double (f Double) Source #

Angle in degrees

_DegRad :: forall p f. (Profunctor p, Functor f) => p Degrees (f Degrees) -> p Radians (f Radians) Source #

fromRad :: Radians -> Degrees Source #

toRad :: Degrees -> Radians Source #