aip-0.1.1: Aeronautical Information Package (AIP)

Safe HaskellNone
LanguageHaskell2010

Data.Aviation.Aip.DAPType

Documentation

data 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 #

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] #

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 #