Safe Haskell	None
Language	Haskell2010

Data.Aviation.Aip.AipDocument

Documentation

data AipDocument book charts sup_aic dap ersa Source #

Constructors

Aip_Book Href AipDate book
Aip_Charts Href AipDate charts
Aip_SUP_AIC Href sup_aic
Aip_Summary_SUP_AIC Href AipDate
Aip_DAP Href AipDate dap
Aip_DAH Href AipDate
Aip_ERSA Href AipDate ersa
Aip_AandB_Charts Href

Instances

IsAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _IsAipDocument :: (Profunctor p, Functor f) => p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book' charts' sup_aic' dap' ersa')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book' charts' sup_aic' dap' ersa')) Source #
HasAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods aipDocument :: Functor f => (AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa')) -> AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa') Source #
ManyAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _ManyAipDocument :: Applicative f => (AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa')) -> AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa') Source #
SetAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _SetAipDocument :: Settable f => (AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa')) -> AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa') Source #
GetAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _GetAipDocument :: (Contravariant f, Functor f) => (AipDocument book charts sup_aic dap ersa -> f (AipDocument book charts sup_aic dap ersa)) -> AipDocument book charts sup_aic dap ersa -> f (AipDocument book charts sup_aic dap ersa) Source #
FoldAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _FoldAipDocument :: (Contravariant f, Applicative f) => (AipDocument book charts sup_aic dap ersa -> f (AipDocument book charts sup_aic dap ersa)) -> AipDocument book charts sup_aic dap ersa -> f (AipDocument book charts sup_aic dap ersa) Source #
AsAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _AipDocument :: (Choice p, Applicative f) => p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book' charts' sup_aic' dap' ersa')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book' charts' sup_aic' dap' ersa')) Source # _Aip_Book :: (Choice p, Applicative f) => p (Href, AipDate, book) (f (Href, AipDate, book')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book' charts sup_aic dap ersa)) Source # _Aip_Charts :: (Choice p, Applicative f) => p (Href, AipDate, charts) (f (Href, AipDate, charts')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts' sup_aic dap ersa)) Source # _Aip_SUP_AIC :: (Choice p, Applicative f) => p (Href, sup_aic) (f (Href, sup_aic')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic' dap ersa)) Source # _Aip_Summary_SUP_AIC :: (Choice p, Applicative f) => p (Href, AipDate) (f (Href, AipDate)) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic dap ersa)) Source # _Aip_DAP :: (Choice p, Applicative f) => p (Href, AipDate, dap) (f (Href, AipDate, dap')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic dap' ersa)) Source # _Aip_DAH :: (Choice p, Applicative f) => p (Href, AipDate) (f (Href, AipDate)) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic dap ersa)) Source # _Aip_ERSA :: (Choice p, Applicative f) => p (Href, AipDate, ersa) (f (Href, AipDate, ersa')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic dap ersa')) Source # _Aip_AandB_Charts :: (Choice p, Applicative f) => p Href (f Href) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic dap ersa)) Source #
(Eq book, Eq charts, Eq sup_aic, Eq dap, Eq ersa) => Eq (AipDocument book charts sup_aic dap ersa) Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods (==) :: AipDocument book charts sup_aic dap ersa -> AipDocument book charts sup_aic dap ersa -> Bool # (/=) :: AipDocument book charts sup_aic dap ersa -> AipDocument book charts sup_aic dap ersa -> Bool #
(Ord book, Ord charts, Ord sup_aic, Ord dap, Ord ersa) => Ord (AipDocument book charts sup_aic dap ersa) Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods compare :: AipDocument book charts sup_aic dap ersa -> AipDocument book charts sup_aic dap ersa -> Ordering # (<) :: AipDocument book charts sup_aic dap ersa -> AipDocument book charts sup_aic dap ersa -> Bool # (<=) :: AipDocument book charts sup_aic dap ersa -> AipDocument book charts sup_aic dap ersa -> Bool # (>) :: AipDocument book charts sup_aic dap ersa -> AipDocument book charts sup_aic dap ersa -> Bool # (>=) :: AipDocument book charts sup_aic dap ersa -> AipDocument book charts sup_aic dap ersa -> Bool # max :: AipDocument book charts sup_aic dap ersa -> AipDocument book charts sup_aic dap ersa -> AipDocument book charts sup_aic dap ersa # min :: AipDocument book charts sup_aic dap ersa -> AipDocument book charts sup_aic dap ersa -> AipDocument book charts sup_aic dap ersa #
(Show book, Show charts, Show sup_aic, Show dap, Show ersa) => Show (AipDocument book charts sup_aic dap ersa) Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods showsPrec :: Int -> AipDocument book charts sup_aic dap ersa -> ShowS # show :: AipDocument book charts sup_aic dap ersa -> String # showList :: [AipDocument book charts sup_aic dap ersa] -> ShowS #
(ToJSON book, ToJSON charts, ToJSON sup_aic, ToJSON dap, ToJSON ersa) => ToJSON (AipDocument book charts sup_aic dap ersa) Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods toJSON :: AipDocument book charts sup_aic dap ersa -> Value # toEncoding :: AipDocument book charts sup_aic dap ersa -> Encoding # toJSONList :: [AipDocument book charts sup_aic dap ersa] -> Value # toEncodingList :: [AipDocument book charts sup_aic dap ersa] -> Encoding #
(FromJSON book, FromJSON charts, FromJSON sup_aic, FromJSON dap, FromJSON ersa) => FromJSON (AipDocument book charts sup_aic dap ersa) Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods parseJSON :: Value -> Parser (AipDocument book charts sup_aic dap ersa) # parseJSONList :: Value -> Parser [AipDocument book charts sup_aic dap ersa] #
(ManyHref book, ManyHref charts, ManyHref sup_aic, ManyHref dap, ManyHref ersa) => ManyHref (AipDocument book charts sup_aic dap ersa) Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _ManyHref :: Traversal' (AipDocument book charts sup_aic dap ersa) Href Source #
(ManyHref book, ManyHref charts, ManyHref sup_aic, ManyHref dap, ManyHref ersa) => SetHref (AipDocument book charts sup_aic dap ersa) Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _SetHref :: Setter' (AipDocument book charts sup_aic dap ersa) Href Source #
(ManyHref book, ManyHref charts, ManyHref sup_aic, ManyHref dap, ManyHref ersa) => FoldHref (AipDocument book charts sup_aic dap ersa) Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _FoldHref :: Fold (AipDocument book charts sup_aic dap ersa) Href Source #
Each (AipDocuments book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa) #
Instance details Defined in Data.Aviation.Aip.AipDocuments Methods each :: Traversal (AipDocuments book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa) #
Cons (AipDocuments book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa) #
Instance details Defined in Data.Aviation.Aip.AipDocuments Methods _Cons :: Prism (AipDocuments book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa, AipDocuments book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa, AipDocuments book charts sup_aic dap ersa) #
Snoc (AipDocuments book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa) #
Instance details Defined in Data.Aviation.Aip.AipDocuments Methods _Snoc :: Prism (AipDocuments book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa, AipDocument book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa, AipDocument book charts sup_aic dap ersa) #

type AipDocument1 = AipDocument () () () () () Source #

type AipDocument2 = AipDocument ListItemLinks ListItemLinks1 Aip_SUP_and_AICs DAPDocs Ersa Source #

class ManyAipDocument a => AsAipDocument a where Source #

Methods

_AipDocument :: Prism (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocument book charts sup_aic dap ersa) (AipDocument book' charts' sup_aic' dap' ersa') Source #

_AipDocument :: IsAipDocument a => Prism (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocument book charts sup_aic dap ersa) (AipDocument book' charts' sup_aic' dap' ersa') Source #

_Aip_Book :: Prism (a book charts sup_aic dap ersa) (a book' charts sup_aic dap ersa) (Href, AipDate, book) (Href, AipDate, book') Source #

_Aip_Charts :: Prism (a book charts sup_aic dap ersa) (a book charts' sup_aic dap ersa) (Href, AipDate, charts) (Href, AipDate, charts') Source #

_Aip_SUP_AIC :: Prism (a book charts sup_aic dap ersa) (a book charts sup_aic' dap ersa) (Href, sup_aic) (Href, sup_aic') Source #

_Aip_Summary_SUP_AIC :: Prism (a book charts sup_aic dap ersa) (a book charts sup_aic dap ersa) (Href, AipDate) (Href, AipDate) Source #

_Aip_DAP :: Prism (a book charts sup_aic dap ersa) (a book charts sup_aic dap' ersa) (Href, AipDate, dap) (Href, AipDate, dap') Source #

_Aip_DAH :: Prism (a book charts sup_aic dap ersa) (a book charts sup_aic dap ersa) (Href, AipDate) (Href, AipDate) Source #

_Aip_ERSA :: Prism (a book charts sup_aic dap ersa) (a book charts sup_aic dap ersa') (Href, AipDate, ersa) (Href, AipDate, ersa') Source #

_Aip_AandB_Charts :: Prism (a book charts sup_aic dap ersa) (a book charts sup_aic dap ersa) Href Href Source #

Instances

AsAipDocument AipDocument Source #

Instance details

Defined in Data.Aviation.Aip.AipDocument

Methods

_AipDocument :: (Choice p, Applicative f) => p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book' charts' sup_aic' dap' ersa')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book' charts' sup_aic' dap' ersa')) Source #

_Aip_Book :: (Choice p, Applicative f) => p (Href, AipDate, book) (f (Href, AipDate, book')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book' charts sup_aic dap ersa)) Source #

_Aip_Charts :: (Choice p, Applicative f) => p (Href, AipDate, charts) (f (Href, AipDate, charts')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts' sup_aic dap ersa)) Source #

_Aip_SUP_AIC :: (Choice p, Applicative f) => p (Href, sup_aic) (f (Href, sup_aic')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic' dap ersa)) Source #

_Aip_Summary_SUP_AIC :: (Choice p, Applicative f) => p (Href, AipDate) (f (Href, AipDate)) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic dap ersa)) Source #

_Aip_DAP :: (Choice p, Applicative f) => p (Href, AipDate, dap) (f (Href, AipDate, dap')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic dap' ersa)) Source #

_Aip_DAH :: (Choice p, Applicative f) => p (Href, AipDate) (f (Href, AipDate)) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic dap ersa)) Source #

_Aip_ERSA :: (Choice p, Applicative f) => p (Href, AipDate, ersa) (f (Href, AipDate, ersa')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic dap ersa')) Source #

_Aip_AandB_Charts :: (Choice p, Applicative f) => p Href (f Href) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book charts sup_aic dap ersa)) Source #

class FoldAipDocument a where Source #

Minimal complete definition

_FoldAipDocument

Methods

_FoldAipDocument :: Fold (a book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa) Source #

Instances

FoldAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _FoldAipDocument :: (Contravariant f, Applicative f) => (AipDocument book charts sup_aic dap ersa -> f (AipDocument book charts sup_aic dap ersa)) -> AipDocument book charts sup_aic dap ersa -> f (AipDocument book charts sup_aic dap ersa) Source #

class FoldAipDocument a => GetAipDocument a where Source #

Methods

_GetAipDocument :: Getter (a book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa) Source #

_GetAipDocument :: HasAipDocument a => Getter (a book charts sup_aic dap ersa) (AipDocument book charts sup_aic dap ersa) Source #

Instances

GetAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _GetAipDocument :: (Contravariant f, Functor f) => (AipDocument book charts sup_aic dap ersa -> f (AipDocument book charts sup_aic dap ersa)) -> AipDocument book charts sup_aic dap ersa -> f (AipDocument book charts sup_aic dap ersa) Source #

class SetAipDocument a where Source #

Methods

_SetAipDocument :: Setter (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocument book charts sup_aic dap ersa) (AipDocument book' charts' sup_aic' dap' ersa') Source #

_SetAipDocument :: ManyAipDocument a => Setter (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocument book charts sup_aic dap ersa) (AipDocument book' charts' sup_aic' dap' ersa') Source #

Instances

SetAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _SetAipDocument :: Settable f => (AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa')) -> AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa') Source #

class (FoldAipDocument a, SetAipDocument a) => ManyAipDocument a where Source #

Minimal complete definition

_ManyAipDocument

Methods

_ManyAipDocument :: Traversal (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocument book charts sup_aic dap ersa) (AipDocument book' charts' sup_aic' dap' ersa') Source #

Instances

ManyAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _ManyAipDocument :: Applicative f => (AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa')) -> AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa') Source #

class (GetAipDocument a, ManyAipDocument a) => HasAipDocument a where Source #

Methods

aipDocument :: Lens (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocument book charts sup_aic dap ersa) (AipDocument book' charts' sup_aic' dap' ersa') Source #

aipDocument :: IsAipDocument a => Lens (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocument book charts sup_aic dap ersa) (AipDocument book' charts' sup_aic' dap' ersa') Source #

Instances

HasAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods aipDocument :: Functor f => (AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa')) -> AipDocument book charts sup_aic dap ersa -> f (AipDocument book' charts' sup_aic' dap' ersa') Source #

class (HasAipDocument a, AsAipDocument a) => IsAipDocument a where Source #

Minimal complete definition

_IsAipDocument

Methods

_IsAipDocument :: Iso (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocument book charts sup_aic dap ersa) (AipDocument book' charts' sup_aic' dap' ersa') Source #

Instances

IsAipDocument AipDocument Source #
Instance details Defined in Data.Aviation.Aip.AipDocument Methods _IsAipDocument :: (Profunctor p, Functor f) => p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book' charts' sup_aic' dap' ersa')) -> p (AipDocument book charts sup_aic dap ersa) (f (AipDocument book' charts' sup_aic' dap' ersa')) Source #

runBook :: AipDocument book charts sup_aic dap ersa -> AipCon (AipDocument ListItemLinks charts sup_aic dap ersa) Source #

runCharts :: AipDocument book charts sup_aic dap ersa -> AipCon (AipDocument book ListItemLinks1 sup_aic dap ersa) Source #

runSUP_AIC :: AipDocument book charts sup_aic dap ersa -> AipCon (AipDocument book charts Aip_SUP_and_AICs dap ersa) Source #

runDAP :: AipDocument book charts sup_aic dap ersa -> AipCon (AipDocument book charts sup_aic DAPDocs ersa) Source #

runERSA :: AipDocument book charts sup_aic dap ersa -> AipCon (AipDocument book charts sup_aic dap Ersa) Source #

runAipDocument :: AipDocument book charts sup_aic dap ersa -> AipCon AipDocument2 Source #