aip-0.1.0: Aeronautical Information Package (AIP)

Safe HaskellNone
LanguageHaskell2010

Data.Aviation.Aip.AipDocuments

Documentation

newtype AipDocuments book charts sup_aic dap ersa Source #

Constructors

AipDocuments [AipDocument book charts sup_aic dap ersa] 
Instances
IsAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_IsAipDocuments :: (Profunctor p, Functor f) => p (AipDocuments book charts sup_aic dap ersa) (f (AipDocuments book' charts' sup_aic' dap' ersa')) -> p (AipDocuments book charts sup_aic dap ersa) (f (AipDocuments book' charts' sup_aic' dap' ersa')) Source #

HasAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

aipDocuments :: Functor f => (AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa')) -> AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa') Source #

ManyAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_ManyAipDocuments :: Applicative f => (AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa')) -> AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa') Source #

SetAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_SetAipDocuments :: Settable f => (AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa')) -> AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa') Source #

GetAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_GetAipDocuments :: (Contravariant f, Functor f) => (AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book charts sup_aic dap ersa)) -> AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book charts sup_aic dap ersa) Source #

FoldAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_FoldAipDocuments :: (Contravariant f, Applicative f) => (AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book charts sup_aic dap ersa)) -> AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book charts sup_aic dap ersa) Source #

AsAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

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

(Eq book, Eq charts, Eq sup_aic, Eq dap, Eq ersa) => Eq (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

(==) :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa -> Bool #

(/=) :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa -> Bool #

(Ord book, Ord charts, Ord sup_aic, Ord dap, Ord ersa) => Ord (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

compare :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa -> Ordering #

(<) :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa -> Bool #

(<=) :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa -> Bool #

(>) :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa -> Bool #

(>=) :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa -> Bool #

max :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa #

min :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa #

(Show book, Show charts, Show sup_aic, Show dap, Show ersa) => Show (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

showsPrec :: Int -> AipDocuments book charts sup_aic dap ersa -> ShowS #

show :: AipDocuments book charts sup_aic dap ersa -> String #

showList :: [AipDocuments book charts sup_aic dap ersa] -> ShowS #

Semigroup (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

(<>) :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa #

sconcat :: NonEmpty (AipDocuments book charts sup_aic dap ersa) -> AipDocuments book charts sup_aic dap ersa #

stimes :: Integral b => b -> AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa #

Monoid (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

mempty :: AipDocuments book charts sup_aic dap ersa #

mappend :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa #

mconcat :: [AipDocuments book charts sup_aic dap ersa] -> AipDocuments book charts sup_aic dap ersa #

(ToJSON book, ToJSON charts, ToJSON sup_aic, ToJSON dap, ToJSON ersa) => ToJSON (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

toJSON :: AipDocuments book charts sup_aic dap ersa -> Value #

toEncoding :: AipDocuments book charts sup_aic dap ersa -> Encoding #

toJSONList :: [AipDocuments book charts sup_aic dap ersa] -> Value #

toEncodingList :: [AipDocuments book charts sup_aic dap ersa] -> Encoding #

(FromJSON book, FromJSON charts, FromJSON sup_aic, FromJSON dap, FromJSON ersa) => FromJSON (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

parseJSON :: Value -> Parser (AipDocuments book charts sup_aic dap ersa) #

parseJSONList :: Value -> Parser [AipDocuments book charts sup_aic dap ersa] #

Ixed (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

ix :: Index (AipDocuments book charts sup_aic dap ersa) -> Traversal' (AipDocuments book charts sup_aic dap ersa) (IxValue (AipDocuments book charts sup_aic dap ersa)) #

Plated (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

plate :: Traversal' (AipDocuments book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa) #

Wrapped (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Associated Types

type Unwrapped (AipDocuments book charts sup_aic dap ersa) :: * #

Methods

_Wrapped' :: Iso' (AipDocuments book charts sup_aic dap ersa) (Unwrapped (AipDocuments book charts sup_aic dap ersa)) #

Reversing (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

reversing :: AipDocuments book charts sup_aic dap ersa -> AipDocuments book charts sup_aic dap ersa #

(ManyHref book, ManyHref charts, ManyHref sup_aic, ManyHref dap, ManyHref ersa) => ManyHref (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_ManyHref :: Traversal' (AipDocuments book charts sup_aic dap ersa) Href Source #

(ManyHref book, ManyHref charts, ManyHref sup_aic, ManyHref dap, ManyHref ersa) => SetHref (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_SetHref :: Setter' (AipDocuments book charts sup_aic dap ersa) Href Source #

(ManyHref book, ManyHref charts, ManyHref sup_aic, ManyHref dap, ManyHref ersa) => FoldHref (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_FoldHref :: Fold (AipDocuments book charts sup_aic dap ersa) Href Source #

AipDocuments book charts sup_aic dap ersa ~ x => Rewrapped (AipDocuments book charts sup_aic dap ersa) x Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

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) Source # 
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) Source # 
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) Source # 
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 Index (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

type Index (AipDocuments book charts sup_aic dap ersa) = Int
type IxValue (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

type IxValue (AipDocuments book charts sup_aic dap ersa) = AipDocument book charts sup_aic dap ersa
type Unwrapped (AipDocuments book charts sup_aic dap ersa) Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

type Unwrapped (AipDocuments book charts sup_aic dap ersa) = [AipDocument book charts sup_aic dap ersa]

type AipDocuments1 = AipDocuments () () () () () Source #

class ManyAipDocuments a => AsAipDocuments a where Source #

Methods

_AipDocuments :: Prism (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocuments book charts sup_aic dap ersa) (AipDocuments book' charts' sup_aic' dap' ersa') Source #

_AipDocuments :: IsAipDocuments a => Prism (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocuments book charts sup_aic dap ersa) (AipDocuments book' charts' sup_aic' dap' ersa') Source #

Instances
AsAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

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

class FoldAipDocuments a where Source #

Minimal complete definition

_FoldAipDocuments

Methods

_FoldAipDocuments :: Fold (a book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa) Source #

Instances
FoldAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_FoldAipDocuments :: (Contravariant f, Applicative f) => (AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book charts sup_aic dap ersa)) -> AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book charts sup_aic dap ersa) Source #

class FoldAipDocuments a => GetAipDocuments a where Source #

Methods

_GetAipDocuments :: Getter (a book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa) Source #

_GetAipDocuments :: HasAipDocuments a => Getter (a book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa) Source #

Instances
GetAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_GetAipDocuments :: (Contravariant f, Functor f) => (AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book charts sup_aic dap ersa)) -> AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book charts sup_aic dap ersa) Source #

class SetAipDocuments a where Source #

Methods

_SetAipDocuments :: Setter (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocuments book charts sup_aic dap ersa) (AipDocuments book' charts' sup_aic' dap' ersa') Source #

_SetAipDocuments :: ManyAipDocuments a => Setter (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocuments book charts sup_aic dap ersa) (AipDocuments book' charts' sup_aic' dap' ersa') Source #

Instances
SetAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_SetAipDocuments :: Settable f => (AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa')) -> AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa') Source #

class (FoldAipDocuments a, SetAipDocuments a) => ManyAipDocuments a where Source #

Minimal complete definition

_ManyAipDocuments

Methods

_ManyAipDocuments :: Traversal (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocuments book charts sup_aic dap ersa) (AipDocuments book' charts' sup_aic' dap' ersa') Source #

Instances
ManyAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_ManyAipDocuments :: Applicative f => (AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa')) -> AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa') Source #

class (GetAipDocuments a, ManyAipDocuments a) => HasAipDocuments a where Source #

Methods

aipDocuments :: Lens (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocuments book charts sup_aic dap ersa) (AipDocuments book' charts' sup_aic' dap' ersa') Source #

aipDocuments :: IsAipDocuments a => Lens (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocuments book charts sup_aic dap ersa) (AipDocuments book' charts' sup_aic' dap' ersa') Source #

Instances
HasAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

aipDocuments :: Functor f => (AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa')) -> AipDocuments book charts sup_aic dap ersa -> f (AipDocuments book' charts' sup_aic' dap' ersa') Source #

class (HasAipDocuments a, AsAipDocuments a) => IsAipDocuments a where Source #

Minimal complete definition

_IsAipDocuments

Methods

_IsAipDocuments :: Iso (a book charts sup_aic dap ersa) (a book' charts' sup_aic' dap' ersa') (AipDocuments book charts sup_aic dap ersa) (AipDocuments book' charts' sup_aic' dap' ersa') Source #

Instances
IsAipDocuments AipDocuments Source # 
Instance details

Defined in Data.Aviation.Aip.AipDocuments

Methods

_IsAipDocuments :: (Profunctor p, Functor f) => p (AipDocuments book charts sup_aic dap ersa) (f (AipDocuments book' charts' sup_aic' dap' ersa')) -> p (AipDocuments book charts sup_aic dap ersa) (f (AipDocuments book' charts' sup_aic' dap' ersa')) Source #