Data.Aviation.Aip.DAPType

Documentation

data DAPType aerodrome

Constructors

SpecNotManTOCDAP

ChecklistTOCDAP

LegendInfoTablesTOCDAP

AeroProcChartsTOCDAP aerodrome

Instances

IsDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_IsDAPType :: (Profunctor p, Functor f) => p (DAPType aerodrome) (f (DAPType aerodrome')) -> p (DAPType aerodrome) (f (DAPType aerodrome'))

HasDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

dapType :: Functor f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome')

ManyDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_ManyDAPType :: Applicative f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome')

SetDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_SetDAPType :: Settable f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome')

GetDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_GetDAPType :: (Contravariant f, Functor f) => (DAPType aerodrome -> f (DAPType aerodrome)) -> DAPType aerodrome -> f (DAPType aerodrome)

FoldDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_FoldDAPType :: (Contravariant f, Applicative f) => (DAPType aerodrome -> f (DAPType aerodrome)) -> DAPType aerodrome -> f (DAPType aerodrome)

AsDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_DAPType :: (Choice p, Applicative f) => p (DAPType aerodrome) (f (DAPType aerodrome')) -> p (DAPType aerodrome) (f (DAPType aerodrome'))

Eq aerodrome => Eq (DAPType aerodrome)

Defined in Data.Aviation.Aip.DAPType

Methods

(==) :: DAPType aerodrome -> DAPType aerodrome -> Bool

(/=) :: DAPType aerodrome -> DAPType aerodrome -> Bool

Ord aerodrome => Ord (DAPType aerodrome)

Defined in Data.Aviation.Aip.DAPType

Methods

compare :: DAPType aerodrome -> DAPType aerodrome -> Ordering

(<) :: DAPType aerodrome -> DAPType aerodrome -> Bool

(<=) :: DAPType aerodrome -> DAPType aerodrome -> Bool

(>) :: DAPType aerodrome -> DAPType aerodrome -> Bool

(>=) :: DAPType aerodrome -> DAPType aerodrome -> Bool

max :: DAPType aerodrome -> DAPType aerodrome -> DAPType aerodrome

min :: DAPType aerodrome -> DAPType aerodrome -> DAPType aerodrome

Show aerodrome => Show (DAPType aerodrome)

Defined in Data.Aviation.Aip.DAPType

Methods

showsPrec :: Int -> DAPType aerodrome -> ShowS

show :: DAPType aerodrome -> String

showList :: [DAPType aerodrome] -> ShowS

ToJSON aerodrome => ToJSON (DAPType aerodrome)

Defined in Data.Aviation.Aip.DAPType

Methods

toJSON :: DAPType aerodrome -> Value

toEncoding :: DAPType aerodrome -> Encoding

toJSONList :: [DAPType aerodrome] -> Value

toEncodingList :: [DAPType aerodrome] -> Encoding

FromJSON aerodrome => FromJSON (DAPType aerodrome)

Defined in Data.Aviation.Aip.DAPType

Methods

parseJSON :: Value -> Parser (DAPType aerodrome)

parseJSONList :: Value -> Parser [DAPType aerodrome]

type DAPType' = DAPType ()

class ManyDAPType a => AsDAPType a where

Methods

_DAPType :: Prism (a aerodrome) (a aerodrome') (DAPType aerodrome) (DAPType aerodrome')

_DAPType :: IsDAPType a => Prism (a aerodrome) (a aerodrome') (DAPType aerodrome) (DAPType aerodrome')

Instances

AsDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_DAPType :: (Choice p, Applicative f) => p (DAPType aerodrome) (f (DAPType aerodrome')) -> p (DAPType aerodrome) (f (DAPType aerodrome'))

class FoldDAPType a where

Minimal complete definition

_FoldDAPType

Methods

_FoldDAPType :: Fold (a aerodrome) (DAPType aerodrome)

Instances

FoldDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_FoldDAPType :: (Contravariant f, Applicative f) => (DAPType aerodrome -> f (DAPType aerodrome)) -> DAPType aerodrome -> f (DAPType aerodrome)

class FoldDAPType a => GetDAPType a where

Methods

_GetDAPType :: Getter (a aerodrome) (DAPType aerodrome)

_GetDAPType :: HasDAPType a => Getter (a aerodrome) (DAPType aerodrome)

Instances

GetDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_GetDAPType :: (Contravariant f, Functor f) => (DAPType aerodrome -> f (DAPType aerodrome)) -> DAPType aerodrome -> f (DAPType aerodrome)

class SetDAPType a where

Methods

_SetDAPType :: Setter (a aerodrome) (a aerodrome') (DAPType aerodrome) (DAPType aerodrome')

_SetDAPType :: ManyDAPType a => Setter (a aerodrome) (a aerodrome') (DAPType aerodrome) (DAPType aerodrome')

Instances

SetDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_SetDAPType :: Settable f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome')

class (FoldDAPType a, SetDAPType a) => ManyDAPType a where

Minimal complete definition

_ManyDAPType

Methods

_ManyDAPType :: Traversal (a aerodrome) (a aerodrome') (DAPType aerodrome) (DAPType aerodrome')

Instances

ManyDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_ManyDAPType :: Applicative f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome')

class (GetDAPType a, ManyDAPType a) => HasDAPType a where

Methods

dapType :: Lens (a aerodrome) (a aerodrome') (DAPType aerodrome) (DAPType aerodrome')

dapType :: IsDAPType a => Lens (a aerodrome) (a aerodrome') (DAPType aerodrome) (DAPType aerodrome')

Instances

HasDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

dapType :: Functor f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome')

class (HasDAPType a, AsDAPType a) => IsDAPType a where

Minimal complete definition

_IsDAPType

Methods

_IsDAPType :: Iso (a aerodrome) (a aerodrome') (DAPType aerodrome) (DAPType aerodrome')

Instances

IsDAPType DAPType

Defined in Data.Aviation.Aip.DAPType

Methods

_IsDAPType :: (Profunctor p, Functor f) => p (DAPType aerodrome) (f (DAPType aerodrome')) -> p (DAPType aerodrome) (f (DAPType aerodrome'))