| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
Defined in Data.Aviation.Aip.AipDocuments | |
| (ManyHref book, ManyHref charts, ManyHref sup_aic, ManyHref dap, ManyHref ersa) => FoldHref (AipDocuments book charts sup_aic dap ersa) Source # | |
Defined in Data.Aviation.Aip.AipDocuments | |
| AipDocuments book charts sup_aic dap ersa ~ x => Rewrapped (AipDocuments book charts sup_aic dap ersa) x Source # | |
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 # | |
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 # | |
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 # | |
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 # | |
Defined in Data.Aviation.Aip.AipDocuments | |
| type IxValue (AipDocuments book charts sup_aic dap ersa) Source # | |
Defined in Data.Aviation.Aip.AipDocuments | |
| type Unwrapped (AipDocuments book charts sup_aic dap ersa) Source # | |
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 #
type AipDocuments2 = AipDocuments ListItemLinks ListItemLinks1 Aip_SUP_and_AICs DAPDocs Ersa 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 # | |
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
Methods
_FoldAipDocuments :: Fold (a book charts sup_aic dap ersa) (AipDocuments book charts sup_aic dap ersa) Source #
Instances
| FoldAipDocuments AipDocuments Source # | |
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 # | |
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 # | |
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
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 # | |
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 # | |
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
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 # | |
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 # | |