aip-0.1.3: Aeronautical Information Package (AIP)

Safe HaskellNone
LanguageHaskell2010

Data.Aviation.Aip.Href

Synopsis

Documentation

newtype Href Source #

Constructors

Href String 
Instances
Eq Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Methods

(==) :: Href -> Href -> Bool #

(/=) :: Href -> Href -> Bool #

Ord Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Methods

compare :: Href -> Href -> Ordering #

(<) :: Href -> Href -> Bool #

(<=) :: Href -> Href -> Bool #

(>) :: Href -> Href -> Bool #

(>=) :: Href -> Href -> Bool #

max :: Href -> Href -> Href #

min :: Href -> Href -> Href #

Show Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Methods

showsPrec :: Int -> Href -> ShowS #

show :: Href -> String #

showList :: [Href] -> ShowS #

Semigroup Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Methods

(<>) :: Href -> Href -> Href #

sconcat :: NonEmpty Href -> Href #

stimes :: Integral b => b -> Href -> Href #

Monoid Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Methods

mempty :: Href #

mappend :: Href -> Href -> Href #

mconcat :: [Href] -> Href #

ToJSON Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

FromJSON Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Ixed Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Plated Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Wrapped Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Associated Types

type Unwrapped Href :: Type #

AsEmpty Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Methods

_Empty :: Prism' Href () #

Reversing Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Methods

reversing :: Href -> Href #

IsHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

HasHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

ManyHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

SetHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

GetHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

FoldHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

AsHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Href ~ a => Rewrapped Href a Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Each Href Href Char Char Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Cons Href Href Char Char Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Methods

_Cons :: Prism Href Href (Char, Href) (Char, Href) #

Snoc Href Href Char Char Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Methods

_Snoc :: Prism Href Href (Href, Char) (Href, Char) #

type Index Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

type Index Href = Int
type IxValue Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

type Unwrapped Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

class ManyHref a => AsHref a where Source #

Minimal complete definition

Nothing

Instances
AsHref String Source # 
Instance details

Defined in Data.Aviation.Aip.Href

AsHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

class FoldHref a where Source #

Methods

_FoldHref :: Fold a Href Source #

Instances
FoldHref () Source # 
Instance details

Defined in Data.Aviation.Aip.Href

Methods

_FoldHref :: Fold () Href Source #

FoldHref String Source # 
Instance details

Defined in Data.Aviation.Aip.Href

FoldHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

FoldHref ErsaAerodrome Source # 
Instance details

Defined in Data.Aviation.Aip.ErsaAerodrome

FoldHref ErsaAerodromes Source # 
Instance details

Defined in Data.Aviation.Aip.ErsaAerodromes

FoldHref Aip_SUP_and_AIC Source # 
Instance details

Defined in Data.Aviation.Aip.Aip_SUP_and_AIC

FoldHref Aip_SUP_and_AICs Source # 
Instance details

Defined in Data.Aviation.Aip.Aip_SUP_and_AICs

FoldHref ListItemLink Source # 
Instance details

Defined in Data.Aviation.Aip.ListItemLink

FoldHref ListItemLinks1 Source # 
Instance details

Defined in Data.Aviation.Aip.ListItemLinks1

FoldHref ListItemLinks Source # 
Instance details

Defined in Data.Aviation.Aip.ListItemLinks

FoldHref Ersa Source # 
Instance details

Defined in Data.Aviation.Aip.Ersa

FoldHref DAPEntry Source # 
Instance details

Defined in Data.Aviation.Aip.DAPEntry

FoldHref DAPEntries Source # 
Instance details

Defined in Data.Aviation.Aip.DAPEntries

FoldHref DAPDoc Source # 
Instance details

Defined in Data.Aviation.Aip.DAPDoc

FoldHref DAPDocs Source # 
Instance details

Defined in Data.Aviation.Aip.DAPDocs

FoldHref AipRecord Source # 
Instance details

Defined in Data.Aviation.Aip.AipRecord

FoldHref AipRecords Source # 
Instance details

Defined in Data.Aviation.Aip.AipRecords

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

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

class FoldHref a => GetHref a where Source #

Minimal complete definition

Nothing

class SetHref a where Source #

Minimal complete definition

Nothing

Instances
SetHref () Source # 
Instance details

Defined in Data.Aviation.Aip.Href

SetHref String Source # 
Instance details

Defined in Data.Aviation.Aip.Href

SetHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

SetHref ErsaAerodrome Source # 
Instance details

Defined in Data.Aviation.Aip.ErsaAerodrome

SetHref ErsaAerodromes Source # 
Instance details

Defined in Data.Aviation.Aip.ErsaAerodromes

SetHref Aip_SUP_and_AIC Source # 
Instance details

Defined in Data.Aviation.Aip.Aip_SUP_and_AIC

SetHref Aip_SUP_and_AICs Source # 
Instance details

Defined in Data.Aviation.Aip.Aip_SUP_and_AICs

SetHref ListItemLink Source # 
Instance details

Defined in Data.Aviation.Aip.ListItemLink

SetHref ListItemLinks1 Source # 
Instance details

Defined in Data.Aviation.Aip.ListItemLinks1

SetHref ListItemLinks Source # 
Instance details

Defined in Data.Aviation.Aip.ListItemLinks

SetHref Ersa Source # 
Instance details

Defined in Data.Aviation.Aip.Ersa

SetHref DAPEntry Source # 
Instance details

Defined in Data.Aviation.Aip.DAPEntry

SetHref DAPEntries Source # 
Instance details

Defined in Data.Aviation.Aip.DAPEntries

SetHref DAPDoc Source # 
Instance details

Defined in Data.Aviation.Aip.DAPDoc

SetHref DAPDocs Source # 
Instance details

Defined in Data.Aviation.Aip.DAPDocs

SetHref AipRecord Source # 
Instance details

Defined in Data.Aviation.Aip.AipRecord

SetHref AipRecords Source # 
Instance details

Defined in Data.Aviation.Aip.AipRecords

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

class (FoldHref a, SetHref a) => ManyHref a where Source #

Instances
ManyHref () Source # 
Instance details

Defined in Data.Aviation.Aip.Href

ManyHref String Source # 
Instance details

Defined in Data.Aviation.Aip.Href

ManyHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

ManyHref ErsaAerodrome Source # 
Instance details

Defined in Data.Aviation.Aip.ErsaAerodrome

ManyHref ErsaAerodromes Source # 
Instance details

Defined in Data.Aviation.Aip.ErsaAerodromes

ManyHref Aip_SUP_and_AIC Source # 
Instance details

Defined in Data.Aviation.Aip.Aip_SUP_and_AIC

ManyHref Aip_SUP_and_AICs Source # 
Instance details

Defined in Data.Aviation.Aip.Aip_SUP_and_AICs

ManyHref ListItemLink Source # 
Instance details

Defined in Data.Aviation.Aip.ListItemLink

ManyHref ListItemLinks1 Source # 
Instance details

Defined in Data.Aviation.Aip.ListItemLinks1

ManyHref ListItemLinks Source # 
Instance details

Defined in Data.Aviation.Aip.ListItemLinks

ManyHref Ersa Source # 
Instance details

Defined in Data.Aviation.Aip.Ersa

ManyHref DAPEntry Source # 
Instance details

Defined in Data.Aviation.Aip.DAPEntry

ManyHref DAPEntries Source # 
Instance details

Defined in Data.Aviation.Aip.DAPEntries

ManyHref DAPDoc Source # 
Instance details

Defined in Data.Aviation.Aip.DAPDoc

ManyHref DAPDocs Source # 
Instance details

Defined in Data.Aviation.Aip.DAPDocs

ManyHref AipRecord Source # 
Instance details

Defined in Data.Aviation.Aip.AipRecord

ManyHref AipRecords Source # 
Instance details

Defined in Data.Aviation.Aip.AipRecords

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

class (GetHref a, ManyHref a) => HasHref a where Source #

Minimal complete definition

Nothing

Methods

href :: Lens' a Href Source #

href :: IsHref a => Lens' a Href Source #

class (HasHref a, AsHref a) => IsHref a where Source #

Methods

_IsHref :: Iso' a Href Source #

Instances
IsHref String Source # 
Instance details

Defined in Data.Aviation.Aip.Href

IsHref Href Source # 
Instance details

Defined in Data.Aviation.Aip.Href

aipPrefix :: ManyHref s => s -> s Source #

windows_replace :: String -> String Source #

>>> windows_replace ""
""
>>> windows_replace "abc"
"abc"
>>> windows_replace "abc/def"
"abc\\def"
>>> windows_replace "abc/def\\ghi"
"abc\\def_ghi"
>>> > windows_replace "abc\\def/ghi"
"abc_def\\ghi"