Safe Haskell	None
Language	Haskell2010

Data.Aviation.Aip.DAPType

Documentation

data DAPType aerodrome Source #

Constructors

SpecNotManTOCDAP
ChecklistTOCDAP
LegendInfoTablesTOCDAP
AeroProcChartsTOCDAP aerodrome

Instances

IsDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _IsDAPType :: (Profunctor p, Functor f) => p (DAPType aerodrome) (f (DAPType aerodrome')) -> p (DAPType aerodrome) (f (DAPType aerodrome')) Source #
HasDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods dapType :: Functor f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome') Source #
ManyDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _ManyDAPType :: Applicative f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome') Source #
SetDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _SetDAPType :: Settable f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome') Source #
GetDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _GetDAPType :: (Contravariant f, Functor f) => (DAPType aerodrome -> f (DAPType aerodrome)) -> DAPType aerodrome -> f (DAPType aerodrome) Source #
FoldDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _FoldDAPType :: (Contravariant f, Applicative f) => (DAPType aerodrome -> f (DAPType aerodrome)) -> DAPType aerodrome -> f (DAPType aerodrome) Source #
AsDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _DAPType :: (Choice p, Applicative f) => p (DAPType aerodrome) (f (DAPType aerodrome')) -> p (DAPType aerodrome) (f (DAPType aerodrome')) Source #
Eq aerodrome => Eq (DAPType aerodrome) Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods (==) :: DAPType aerodrome -> DAPType aerodrome -> Bool # (/=) :: DAPType aerodrome -> DAPType aerodrome -> Bool #
Ord aerodrome => Ord (DAPType aerodrome) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods parseJSON :: Value -> Parser (DAPType aerodrome) # parseJSONList :: Value -> Parser [DAPType aerodrome] #

type DAPType' = DAPType () Source #

class ManyDAPType a => AsDAPType a where Source #

Methods

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

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

Instances

AsDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _DAPType :: (Choice p, Applicative f) => p (DAPType aerodrome) (f (DAPType aerodrome')) -> p (DAPType aerodrome) (f (DAPType aerodrome')) Source #

class FoldDAPType a where Source #

Minimal complete definition

_FoldDAPType

Methods

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

Instances

FoldDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _FoldDAPType :: (Contravariant f, Applicative f) => (DAPType aerodrome -> f (DAPType aerodrome)) -> DAPType aerodrome -> f (DAPType aerodrome) Source #

class FoldDAPType a => GetDAPType a where Source #

Methods

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

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

Instances

GetDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _GetDAPType :: (Contravariant f, Functor f) => (DAPType aerodrome -> f (DAPType aerodrome)) -> DAPType aerodrome -> f (DAPType aerodrome) Source #

class SetDAPType a where Source #

Methods

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

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

Instances

SetDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _SetDAPType :: Settable f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome') Source #

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

Minimal complete definition

_ManyDAPType

Methods

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

Instances

ManyDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _ManyDAPType :: Applicative f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome') Source #

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

Methods

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

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

Instances

HasDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods dapType :: Functor f => (DAPType aerodrome -> f (DAPType aerodrome')) -> DAPType aerodrome -> f (DAPType aerodrome') Source #

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

Minimal complete definition

_IsDAPType

Methods

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

Instances

IsDAPType DAPType Source #
Instance details Defined in Data.Aviation.Aip.DAPType Methods _IsDAPType :: (Profunctor p, Functor f) => p (DAPType aerodrome) (f (DAPType aerodrome')) -> p (DAPType aerodrome) (f (DAPType aerodrome')) Source #