Data.Aviation.Aip.AipDocument

Documentation

data AipDocument book charts sup_aic dap ersa

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

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'))

HasAipDocument AipDocument

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')

ManyAipDocument AipDocument

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')

SetAipDocument AipDocument

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')

GetAipDocument AipDocument

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)

FoldAipDocument AipDocument

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)

AsAipDocument AipDocument

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'))

_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))

_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))

_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))

_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))

_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))

_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))

_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'))

_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))

(Eq book, Eq charts, Eq sup_aic, Eq dap, Eq ersa) => Eq (AipDocument book charts sup_aic dap ersa)

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)

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)

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)

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)

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)

Defined in Data.Aviation.Aip.AipDocument

Methods

_ManyHref :: Traversal' (AipDocument book charts sup_aic dap ersa) Href

(ManyHref book, ManyHref charts, ManyHref sup_aic, ManyHref dap, ManyHref ersa) => SetHref (AipDocument book charts sup_aic dap ersa)

Defined in Data.Aviation.Aip.AipDocument

Methods

_SetHref :: Setter' (AipDocument book charts sup_aic dap ersa) Href

(ManyHref book, ManyHref charts, ManyHref sup_aic, ManyHref dap, ManyHref ersa) => FoldHref (AipDocument book charts sup_aic dap ersa)

Defined in Data.Aviation.Aip.AipDocument

Methods

_FoldHref :: Fold (AipDocument book charts sup_aic dap ersa) Href

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)

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)

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)

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 () () () () ()

type AipDocument2 = AipDocument ListItemLinks ListItemLinks1 Aip_SUP_and_AICs DAPDocs Ersa

class ManyAipDocument a => AsAipDocument a where

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')

_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')

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

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

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

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

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

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

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

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

Instances

AsAipDocument AipDocument

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'))

_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))

_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))

_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))

_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))

_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))

_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))

_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'))

_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))

class FoldAipDocument a where

Minimal complete definition

_FoldAipDocument

Methods

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

Instances

FoldAipDocument AipDocument

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)

class FoldAipDocument a => GetAipDocument a where

Methods

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

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

Instances

GetAipDocument AipDocument

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)

class SetAipDocument a where

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')

_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')

Instances

SetAipDocument AipDocument

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')

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

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')

Instances

ManyAipDocument AipDocument

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')

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

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')

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')

Instances

HasAipDocument AipDocument

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')

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

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')

Instances

IsAipDocument AipDocument

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'))

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

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

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

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

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

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