Safe Haskell	None
Language	Haskell2010

Data.Aviation.Aip.Ersa

Documentation

data Ersa Source #

Constructors

Ersa ListItemLinks ErsaAerodromes [Href]

Instances

Eq Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods (==) :: Ersa -> Ersa -> Bool # (/=) :: Ersa -> Ersa -> Bool #
Ord Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods compare :: Ersa -> Ersa -> Ordering # (<) :: Ersa -> Ersa -> Bool # (<=) :: Ersa -> Ersa -> Bool # (>) :: Ersa -> Ersa -> Bool # (>=) :: Ersa -> Ersa -> Bool # max :: Ersa -> Ersa -> Ersa # min :: Ersa -> Ersa -> Ersa #
Show Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods showsPrec :: Int -> Ersa -> ShowS # show :: Ersa -> String # showList :: [Ersa] -> ShowS #
Semigroup Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods (<>) :: Ersa -> Ersa -> Ersa # sconcat :: NonEmpty Ersa -> Ersa # stimes :: Integral b => b -> Ersa -> Ersa #
Monoid Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods mempty :: Ersa # mappend :: Ersa -> Ersa -> Ersa # mconcat :: [Ersa] -> Ersa #
ToJSON Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods toJSON :: Ersa -> Value # toEncoding :: Ersa -> Encoding # toJSONList :: [Ersa] -> Value # toEncodingList :: [Ersa] -> Encoding #
FromJSON Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods parseJSON :: Value -> Parser Ersa # parseJSONList :: Value -> Parser [Ersa] #
ManyHref Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _ManyHref :: Traversal' Ersa Href Source #
SetHref Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _SetHref :: Setter' Ersa Href Source #
FoldHref Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _FoldHref :: Fold Ersa Href Source #
IsErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _IsErsa :: Iso' Ersa Ersa Source #
HasErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods ersa :: Lens' Ersa Ersa Source #
ManyErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _ManyErsa :: Traversal' Ersa Ersa Source #
SetErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _SetErsa :: Setter' Ersa Ersa Source #
GetErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _GetErsa :: Getter Ersa Ersa Source #
FoldErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _FoldErsa :: Fold Ersa Ersa Source #
AsErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _Ersa :: Prism' Ersa Ersa Source #

class ManyErsa a => AsErsa a where Source #

Methods

_Ersa :: Prism' a Ersa Source #

_Ersa :: IsErsa a => Prism' a Ersa Source #

Instances

AsErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _Ersa :: Prism' Ersa Ersa Source #

class FoldErsa a where Source #

Minimal complete definition

_FoldErsa

Methods

_FoldErsa :: Fold a Ersa Source #

Instances

FoldErsa () Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _FoldErsa :: Fold () Ersa Source #
FoldErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _FoldErsa :: Fold Ersa Ersa Source #

class FoldErsa a => GetErsa a where Source #

Methods

_GetErsa :: Getter a Ersa Source #

_GetErsa :: HasErsa a => Getter a Ersa Source #

Instances

GetErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _GetErsa :: Getter Ersa Ersa Source #

class SetErsa a where Source #

Methods

_SetErsa :: Setter' a Ersa Source #

_SetErsa :: ManyErsa a => Setter' a Ersa Source #

Instances

SetErsa () Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _SetErsa :: Setter' () Ersa Source #
SetErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _SetErsa :: Setter' Ersa Ersa Source #

class (FoldErsa a, SetErsa a) => ManyErsa a where Source #

Minimal complete definition

_ManyErsa

Methods

_ManyErsa :: Traversal' a Ersa Source #

Instances

ManyErsa () Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _ManyErsa :: Traversal' () Ersa Source #
ManyErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _ManyErsa :: Traversal' Ersa Ersa Source #

class (GetErsa a, ManyErsa a) => HasErsa a where Source #

Methods

ersa :: Lens' a Ersa Source #

ersa :: IsErsa a => Lens' a Ersa Source #

Instances

HasErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods ersa :: Lens' Ersa Ersa Source #

class (HasErsa a, AsErsa a) => IsErsa a where Source #

Minimal complete definition

_IsErsa

Methods

_IsErsa :: Iso' a Ersa Source #

Instances

IsErsa Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _IsErsa :: Iso' Ersa Ersa Source #