Safe Haskell	None
Language	Haskell2010

Data.Aviation.Aip.ErsaAerodromes

Documentation

newtype ErsaAerodromes Source #

Constructors

ErsaAerodromes [ErsaAerodrome]

Instances

Eq ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods (==) :: ErsaAerodromes -> ErsaAerodromes -> Bool # (/=) :: ErsaAerodromes -> ErsaAerodromes -> Bool #
Ord ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods compare :: ErsaAerodromes -> ErsaAerodromes -> Ordering # (<) :: ErsaAerodromes -> ErsaAerodromes -> Bool # (<=) :: ErsaAerodromes -> ErsaAerodromes -> Bool # (>) :: ErsaAerodromes -> ErsaAerodromes -> Bool # (>=) :: ErsaAerodromes -> ErsaAerodromes -> Bool # max :: ErsaAerodromes -> ErsaAerodromes -> ErsaAerodromes # min :: ErsaAerodromes -> ErsaAerodromes -> ErsaAerodromes #
Show ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods showsPrec :: Int -> ErsaAerodromes -> ShowS # show :: ErsaAerodromes -> String # showList :: [ErsaAerodromes] -> ShowS #
Semigroup ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods (<>) :: ErsaAerodromes -> ErsaAerodromes -> ErsaAerodromes # sconcat :: NonEmpty ErsaAerodromes -> ErsaAerodromes # stimes :: Integral b => b -> ErsaAerodromes -> ErsaAerodromes #
Monoid ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods mempty :: ErsaAerodromes # mappend :: ErsaAerodromes -> ErsaAerodromes -> ErsaAerodromes # mconcat :: [ErsaAerodromes] -> ErsaAerodromes #
ToJSON ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods toJSON :: ErsaAerodromes -> Value # toEncoding :: ErsaAerodromes -> Encoding # toJSONList :: [ErsaAerodromes] -> Value # toEncodingList :: [ErsaAerodromes] -> Encoding #
FromJSON ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods parseJSON :: Value -> Parser ErsaAerodromes # parseJSONList :: Value -> Parser [ErsaAerodromes] #
Ixed ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods ix :: Index ErsaAerodromes -> Traversal' ErsaAerodromes (IxValue ErsaAerodromes) #
Plated ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods plate :: Traversal' ErsaAerodromes ErsaAerodromes #
Wrapped ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Associated Types type Unwrapped ErsaAerodromes :: * # Methods _Wrapped' :: Iso' ErsaAerodromes (Unwrapped ErsaAerodromes) #
Reversing ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods reversing :: ErsaAerodromes -> ErsaAerodromes #
ManyHref ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _ManyHref :: Traversal' ErsaAerodromes Href Source #
SetHref ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _SetHref :: Setter' ErsaAerodromes Href Source #
FoldHref ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _FoldHref :: Fold ErsaAerodromes Href Source #
IsErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _IsErsaAerodromes :: Iso' ErsaAerodromes ErsaAerodromes Source #
HasErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods ersaAerodromes :: Lens' ErsaAerodromes ErsaAerodromes Source #
ManyErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _ManyErsaAerodromes :: Traversal' ErsaAerodromes ErsaAerodromes Source #
SetErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _SetErsaAerodromes :: Setter' ErsaAerodromes ErsaAerodromes Source #
GetErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _GetErsaAerodromes :: Getter ErsaAerodromes ErsaAerodromes Source #
FoldErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _FoldErsaAerodromes :: Fold ErsaAerodromes ErsaAerodromes Source #
AsErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _ErsaAerodromes :: Prism' ErsaAerodromes ErsaAerodromes Source #
ErsaAerodromes ~ x => Rewrapped ErsaAerodromes x Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes
Each ErsaAerodromes ErsaAerodromes ErsaAerodrome ErsaAerodrome Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods each :: Traversal ErsaAerodromes ErsaAerodromes ErsaAerodrome ErsaAerodrome #
Cons ErsaAerodromes ErsaAerodromes ErsaAerodrome ErsaAerodrome Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _Cons :: Prism ErsaAerodromes ErsaAerodromes (ErsaAerodrome, ErsaAerodromes) (ErsaAerodrome, ErsaAerodromes) #
Snoc ErsaAerodromes ErsaAerodromes ErsaAerodrome ErsaAerodrome Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _Snoc :: Prism ErsaAerodromes ErsaAerodromes (ErsaAerodromes, ErsaAerodrome) (ErsaAerodromes, ErsaAerodrome) #
type Index ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes type Index ErsaAerodromes = Int
type IxValue ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes type IxValue ErsaAerodromes = ErsaAerodrome
type Unwrapped ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes type Unwrapped ErsaAerodromes = [ErsaAerodrome]

class ManyErsaAerodromes a => AsErsaAerodromes a where Source #

Methods

_ErsaAerodromes :: Prism' a ErsaAerodromes Source #

_ErsaAerodromes :: IsErsaAerodromes a => Prism' a ErsaAerodromes Source #

Instances

AsErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _ErsaAerodromes :: Prism' ErsaAerodromes ErsaAerodromes Source #

class FoldErsaAerodromes a where Source #

Minimal complete definition

_FoldErsaAerodromes

Methods

_FoldErsaAerodromes :: Fold a ErsaAerodromes Source #

Instances

FoldErsaAerodromes () Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _FoldErsaAerodromes :: Fold () ErsaAerodromes Source #
FoldErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _FoldErsaAerodromes :: Fold ErsaAerodromes ErsaAerodromes Source #

class FoldErsaAerodromes a => GetErsaAerodromes a where Source #

Methods

_GetErsaAerodromes :: Getter a ErsaAerodromes Source #

_GetErsaAerodromes :: HasErsaAerodromes a => Getter a ErsaAerodromes Source #

Instances

GetErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _GetErsaAerodromes :: Getter ErsaAerodromes ErsaAerodromes Source #

class SetErsaAerodromes a where Source #

Methods

_SetErsaAerodromes :: Setter' a ErsaAerodromes Source #

_SetErsaAerodromes :: ManyErsaAerodromes a => Setter' a ErsaAerodromes Source #

Instances

SetErsaAerodromes () Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _SetErsaAerodromes :: Setter' () ErsaAerodromes Source #
SetErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _SetErsaAerodromes :: Setter' ErsaAerodromes ErsaAerodromes Source #

class (FoldErsaAerodromes a, SetErsaAerodromes a) => ManyErsaAerodromes a where Source #

Minimal complete definition

_ManyErsaAerodromes

Methods

_ManyErsaAerodromes :: Traversal' a ErsaAerodromes Source #

Instances

ManyErsaAerodromes () Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _ManyErsaAerodromes :: Traversal' () ErsaAerodromes Source #
ManyErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _ManyErsaAerodromes :: Traversal' ErsaAerodromes ErsaAerodromes Source #

class (GetErsaAerodromes a, ManyErsaAerodromes a) => HasErsaAerodromes a where Source #

Methods

ersaAerodromes :: Lens' a ErsaAerodromes Source #

ersaAerodromes :: IsErsaAerodromes a => Lens' a ErsaAerodromes Source #

Instances

HasErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods ersaAerodromes :: Lens' ErsaAerodromes ErsaAerodromes Source #

class (HasErsaAerodromes a, AsErsaAerodromes a) => IsErsaAerodromes a where Source #

Minimal complete definition

_IsErsaAerodromes

Methods

_IsErsaAerodromes :: Iso' a ErsaAerodromes Source #

Instances

IsErsaAerodromes ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _IsErsaAerodromes :: Iso' ErsaAerodromes ErsaAerodromes Source #