aip-0.1.1: Aeronautical Information Package (AIP)

Safe HaskellNone
LanguageHaskell2010

Data.Aviation.Aip.AipDocument

Documentation

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

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 #

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 #