Safe Haskell	None
Language	Haskell2010

Data.Aviation.Aip.AipRecords

Documentation

data AipRecords Source #

Constructors

AipRecords SHA1 (NonEmpty AipRecord)

Instances

Eq AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods (==) :: AipRecords -> AipRecords -> Bool # (/=) :: AipRecords -> AipRecords -> Bool #
Show AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods showsPrec :: Int -> AipRecords -> ShowS # show :: AipRecords -> String # showList :: [AipRecords] -> ShowS #
ToJSON AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods toJSON :: AipRecords -> Value # toEncoding :: AipRecords -> Encoding # toJSONList :: [AipRecords] -> Value # toEncodingList :: [AipRecords] -> Encoding #
FromJSON AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods parseJSON :: Value -> Parser AipRecords # parseJSONList :: Value -> Parser [AipRecords] #
ManyHref AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _ManyHref :: Traversal' AipRecords Href Source #
SetHref AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _SetHref :: Setter' AipRecords Href Source #
FoldHref AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _FoldHref :: Fold AipRecords Href Source #
HasSHA1 AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods sha1 :: Lens' AipRecords SHA1 Source #
ManySHA1 AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _ManySHA1 :: Traversal' AipRecords SHA1 Source #
SetSHA1 AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _SetSHA1 :: Setter' AipRecords SHA1 Source #
GetSHA1 AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _GetSHA1 :: Getter AipRecords SHA1 Source #
FoldSHA1 AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _FoldSHA1 :: Fold AipRecords SHA1 Source #
ManyAipRecord AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _ManyAipRecord :: Traversal' AipRecords AipRecord Source #
SetAipRecord AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _SetAipRecord :: Setter' AipRecords AipRecord Source #
FoldAipRecord AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _FoldAipRecord :: Fold AipRecords AipRecord Source #
IsAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _IsAipRecords :: Iso' AipRecords AipRecords Source #
HasAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods aipRecords :: Lens' AipRecords AipRecords Source #
ManyAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _ManyAipRecords :: Traversal' AipRecords AipRecords Source #
SetAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _SetAipRecords :: Setter' AipRecords AipRecords Source #
GetAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _GetAipRecords :: Getter AipRecords AipRecords Source #
FoldAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _FoldAipRecords :: Fold AipRecords AipRecords Source #
AsAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _AipRecords :: Prism' AipRecords AipRecords Source #

class ManyAipRecords a => AsAipRecords a where Source #

Methods

_AipRecords :: Prism' a AipRecords Source #

_AipRecords :: IsAipRecords a => Prism' a AipRecords Source #

Instances

AsAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _AipRecords :: Prism' AipRecords AipRecords Source #

class FoldAipRecords a where Source #

Minimal complete definition

_FoldAipRecords

Methods

_FoldAipRecords :: Fold a AipRecords Source #

Instances

FoldAipRecords () Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _FoldAipRecords :: Fold () AipRecords Source #
FoldAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _FoldAipRecords :: Fold AipRecords AipRecords Source #

class FoldAipRecords a => GetAipRecords a where Source #

Methods

_GetAipRecords :: Getter a AipRecords Source #

_GetAipRecords :: HasAipRecords a => Getter a AipRecords Source #

Instances

GetAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _GetAipRecords :: Getter AipRecords AipRecords Source #

class SetAipRecords a where Source #

Methods

_SetAipRecords :: Setter' a AipRecords Source #

_SetAipRecords :: ManyAipRecords a => Setter' a AipRecords Source #

Instances

SetAipRecords () Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _SetAipRecords :: Setter' () AipRecords Source #
SetAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _SetAipRecords :: Setter' AipRecords AipRecords Source #

class (FoldAipRecords a, SetAipRecords a) => ManyAipRecords a where Source #

Minimal complete definition

_ManyAipRecords

Methods

_ManyAipRecords :: Traversal' a AipRecords Source #

Instances

ManyAipRecords () Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _ManyAipRecords :: Traversal' () AipRecords Source #
ManyAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _ManyAipRecords :: Traversal' AipRecords AipRecords Source #

class (GetAipRecords a, ManyAipRecords a) => HasAipRecords a where Source #

Methods

aipRecords :: Lens' a AipRecords Source #

aipRecords :: IsAipRecords a => Lens' a AipRecords Source #

Instances

HasAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods aipRecords :: Lens' AipRecords AipRecords Source #

class (HasAipRecords a, AsAipRecords a) => IsAipRecords a where Source #

Minimal complete definition

_IsAipRecords

Methods

_IsAipRecords :: Iso' a AipRecords Source #

Instances

IsAipRecords AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _IsAipRecords :: Iso' AipRecords AipRecords Source #

getAipRecords :: Cache -> FilePath -> AipCon AipRecords Source #

aipRecords1 :: Lens' AipRecords (NonEmpty AipRecord) Source #

run :: AfterDownloadAipCon a -> IO () Source #