geodetic-types-0.0.1: Types for geodetic operations
Geodetics.Types.TRF
data TRF Source #
Constructors
Defined in Geodetics.Types.TRF
Methods
(==) :: TRF -> TRF -> Bool #
(/=) :: TRF -> TRF -> Bool #
compare :: TRF -> TRF -> Ordering #
(<) :: TRF -> TRF -> Bool #
(<=) :: TRF -> TRF -> Bool #
(>) :: TRF -> TRF -> Bool #
(>=) :: TRF -> TRF -> Bool #
max :: TRF -> TRF -> TRF #
min :: TRF -> TRF -> TRF #
showsPrec :: Int -> TRF -> ShowS #
show :: TRF -> String #
showList :: [TRF] -> ShowS #
_FoldEllipsoid :: Fold TRF Ellipsoid Source #
_SetEllipsoid :: Setter' TRF Ellipsoid Source #
_GetEllipsoid :: Getter TRF Ellipsoid Source #
_ManyEllipsoid :: Traversal' TRF Ellipsoid Source #
ellipsoid :: Lens' TRF Ellipsoid Source #
majorRadius :: Lens' TRF (Length Double) Source #
flatR :: Lens' TRF (Dimensionless Double) Source #
_FoldHelmert :: Fold TRF Helmert Source #
_SetHelmert :: Setter' TRF Helmert Source #
_GetHelmert :: Getter TRF Helmert Source #
_ManyHelmert :: Traversal' TRF Helmert Source #
helmert :: Lens' TRF Helmert Source #
cX :: Lens' TRF (Length Double) Source #
cY :: Lens' TRF (Length Double) Source #
cZ :: Lens' TRF (Length Double) Source #
helmertScale :: Lens' TRF (Dimensionless Double) Source #
rX :: Lens' TRF (Dimensionless Double) Source #
rY :: Lens' TRF (Dimensionless Double) Source #
rZ :: Lens' TRF (Dimensionless Double) Source #
_IsTRF :: Iso' TRF TRF Source #
_FoldTRF :: Fold TRF TRF Source #
_SetTRF :: Setter' TRF TRF Source #
_GetTRF :: Getter TRF TRF Source #
_ManyTRF :: Traversal' TRF TRF Source #
_TRF :: Prism' TRF TRF Source #
_TRFFields :: Prism' TRF (Ellipsoid, Helmert) Source #
trf :: Lens' TRF TRF Source #
class (GetTRF a, ManyTRF a, HasEllipsoid a) => HasTRF a where Source #
Minimal complete definition
trf
trf :: Lens' a TRF Source #
class ManyTRF a => AsTRF a where Source #
_TRF
_TRF :: Prism' a TRF Source #
_TRFFields :: Prism' a (Ellipsoid, Helmert) Source #
class (FoldTRF a, SetTRF a) => ManyTRF a where Source #
_ManyTRF
_ManyTRF :: Traversal' a TRF Source #
class FoldTRF a => GetTRF a where Source #
_GetTRF
_GetTRF :: Getter a TRF Source #
class SetTRF a where Source #
_SetTRF
_SetTRF :: Setter' a TRF Source #
class FoldTRF a where Source #
_FoldTRF
_FoldTRF :: Fold a TRF Source #
class (HasTRF a, AsTRF a) => IsTRF a where Source #
_IsTRF
_IsTRF :: Iso' a TRF Source #
_WGS84 :: TRF Source #
_OSGB36 :: TRF Source #
_Clarke1866 :: TRF Source #
_Bessel1841 :: TRF Source #