Geodetics.Types.Altitude

Documentation

newtype Altitude

Constructors

Altitude (Length Double)

Instances

Eq Altitude

Defined in Geodetics.Types.Altitude

Methods

(==) :: Altitude -> Altitude -> Bool

(/=) :: Altitude -> Altitude -> Bool

Ord Altitude

Defined in Geodetics.Types.Altitude

Methods

compare :: Altitude -> Altitude -> Ordering

(<) :: Altitude -> Altitude -> Bool

(<=) :: Altitude -> Altitude -> Bool

(>) :: Altitude -> Altitude -> Bool

(>=) :: Altitude -> Altitude -> Bool

max :: Altitude -> Altitude -> Altitude

min :: Altitude -> Altitude -> Altitude

Show Altitude

Defined in Geodetics.Types.Altitude

Methods

showsPrec :: Int -> Altitude -> ShowS

show :: Altitude -> String

showList :: [Altitude] -> ShowS

Wrapped Altitude

Defined in Geodetics.Types.Altitude

Associated Types

type Unwrapped Altitude :: *

Methods

_Wrapped' :: Iso' Altitude (Unwrapped Altitude)

IsAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_IsAltitude :: Iso' Altitude Altitude

FoldAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_FoldAltitude :: Fold Altitude Altitude

SetAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_SetAltitude :: Setter' Altitude Altitude

GetAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_GetAltitude :: Getter Altitude Altitude

ManyAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_ManyAltitude :: Traversal' Altitude Altitude

AsAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_Altitude :: Prism' Altitude Altitude

_AltitudeFields :: Prism' Altitude (Length Double)

HasAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

altitude :: Lens' Altitude Altitude

altitudeLength :: Lens' Altitude (Length Double)

type Unwrapped Altitude

Defined in Geodetics.Types.Altitude

type Unwrapped Altitude = Length Double

class HasAltitude a where

Minimal complete definition

altitude

Methods

altitude :: Lens' a Altitude

altitudeLength :: Lens' a (Length Double)

Instances

HasAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

altitude :: Lens' Altitude Altitude

altitudeLength :: Lens' Altitude (Length Double)

class ManyAltitude a => AsAltitude a where

Minimal complete definition

_Altitude

Methods

_Altitude :: Prism' a Altitude

_AltitudeFields :: Prism' a (Length Double)

Instances

AsAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_Altitude :: Prism' Altitude Altitude

_AltitudeFields :: Prism' Altitude (Length Double)

class (FoldAltitude a, SetAltitude a) => ManyAltitude a where

Minimal complete definition

_ManyAltitude

Methods

_ManyAltitude :: Traversal' a Altitude

Instances

ManyAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_ManyAltitude :: Traversal' Altitude Altitude

class FoldAltitude a => GetAltitude a where

Minimal complete definition

_GetAltitude

Methods

_GetAltitude :: Getter a Altitude

Instances

GetAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_GetAltitude :: Getter Altitude Altitude

class SetAltitude a where

Minimal complete definition

_SetAltitude

Methods

_SetAltitude :: Setter' a Altitude

Instances

SetAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_SetAltitude :: Setter' Altitude Altitude

class FoldAltitude a where

Minimal complete definition

_FoldAltitude

Methods

_FoldAltitude :: Fold a Altitude

Instances

FoldAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_FoldAltitude :: Fold Altitude Altitude

class (HasAltitude a, AsAltitude a) => IsAltitude a where

Minimal complete definition

_IsAltitude

Methods

_IsAltitude :: Iso' a Altitude

Instances

IsAltitude Altitude

Defined in Geodetics.Types.Altitude

Methods

_IsAltitude :: Iso' Altitude Altitude

groundPosition :: HasAltitude a => a -> a