Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype AipDocuments book charts sup_aic dap ersa Source #
AipDocuments [AipDocument book charts sup_aic dap ersa] |
Instances
IsAipDocuments AipDocuments Source # | |
Defined in Data.Aviation.Aip.AipDocuments _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 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 _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 _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 _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 _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 _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 (==) :: 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 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 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 (<>) :: 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 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 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 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 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 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 type Unwrapped (AipDocuments book charts sup_aic dap ersa) :: * # _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 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 _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 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 _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 _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 #
_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 _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 #
_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 _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 #
_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 _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 #
_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 _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 #
_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 _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 #
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 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 #
_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 _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 # |