Safe Haskell	None
Language	Haskell2010

Data.Aviation.Aip.Href

Synopsis

newtype Href = Href String
class ManyHref a => AsHref a where
class FoldHref a where
class FoldHref a => GetHref a where
class SetHref a where
class (FoldHref a, SetHref a) => ManyHref a where
class (GetHref a, ManyHref a) => HasHref a where
class (HasHref a, AsHref a) => IsHref a where
dropHrefFile :: Href -> Href
aipPrefix :: ManyHref s => s -> s
windows_replace :: String -> String

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 Methods toJSON :: Href -> Value # toEncoding :: Href -> Encoding # toJSONList :: [Href] -> Value # toEncodingList :: [Href] -> Encoding #
FromJSON Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods parseJSON :: Value -> Parser Href # parseJSONList :: Value -> Parser [Href] #
Ixed Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods ix :: Index Href -> Traversal' Href (IxValue Href) #
Plated Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods plate :: Traversal' Href Href #
Wrapped Href Source #
Instance details Defined in Data.Aviation.Aip.Href Associated Types type Unwrapped Href :: * # Methods _Wrapped' :: Iso' Href (Unwrapped Href) #
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 Methods _IsHref :: Iso' Href Href Source #
HasHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods href :: Lens' Href Href Source #
ManyHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _ManyHref :: Traversal' Href Href Source #
SetHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _SetHref :: Setter' Href Href Source #
GetHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _GetHref :: Getter Href Href Source #
FoldHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _FoldHref :: Fold Href Href Source #
AsHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _Href :: Prism' Href Href Source #
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 Methods each :: Traversal Href Href Char Char #
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 IxValue Href = Char
type Unwrapped Href Source #
Instance details Defined in Data.Aviation.Aip.Href type Unwrapped Href = String

class ManyHref a => AsHref a where Source #

Methods

_Href :: Prism' a Href Source #

_Href :: IsHref a => Prism' a Href Source #

Instances

AsHref String Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _Href :: Prism' String Href Source #
AsHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _Href :: Prism' Href Href Source #

class FoldHref a where Source #

Minimal complete definition

_FoldHref

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 Methods _FoldHref :: Fold String Href Source #
FoldHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _FoldHref :: Fold Href Href Source #
FoldHref ErsaAerodrome Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodrome Methods _FoldHref :: Fold ErsaAerodrome Href Source #
FoldHref ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _FoldHref :: Fold ErsaAerodromes Href Source #
FoldHref Aip_SUP_and_AIC Source #
Instance details Defined in Data.Aviation.Aip.Aip_SUP_and_AIC Methods _FoldHref :: Fold Aip_SUP_and_AIC Href Source #
FoldHref Aip_SUP_and_AICs Source #
Instance details Defined in Data.Aviation.Aip.Aip_SUP_and_AICs Methods _FoldHref :: Fold Aip_SUP_and_AICs Href Source #
FoldHref ListItemLink Source #
Instance details Defined in Data.Aviation.Aip.ListItemLink Methods _FoldHref :: Fold ListItemLink Href Source #
FoldHref ListItemLinks1 Source #
Instance details Defined in Data.Aviation.Aip.ListItemLinks1 Methods _FoldHref :: Fold ListItemLinks1 Href Source #
FoldHref ListItemLinks Source #
Instance details Defined in Data.Aviation.Aip.ListItemLinks Methods _FoldHref :: Fold ListItemLinks Href Source #
FoldHref Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _FoldHref :: Fold Ersa Href Source #
FoldHref DAPEntry Source #
Instance details Defined in Data.Aviation.Aip.DAPEntry Methods _FoldHref :: Fold DAPEntry Href Source #
FoldHref DAPEntries Source #
Instance details Defined in Data.Aviation.Aip.DAPEntries Methods _FoldHref :: Fold DAPEntries Href Source #
FoldHref DAPDoc Source #
Instance details Defined in Data.Aviation.Aip.DAPDoc Methods _FoldHref :: Fold DAPDoc Href Source #
FoldHref DAPDocs Source #
Instance details Defined in Data.Aviation.Aip.DAPDocs Methods _FoldHref :: Fold DAPDocs Href Source #
FoldHref AipRecord Source #
Instance details Defined in Data.Aviation.Aip.AipRecord Methods _FoldHref :: Fold AipRecord Href Source #
FoldHref AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _FoldHref :: Fold AipRecords Href Source #
(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 #

Methods

_GetHref :: Getter a Href Source #

_GetHref :: HasHref a => Getter a Href Source #

Instances

GetHref String Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _GetHref :: Getter String Href Source #
GetHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _GetHref :: Getter Href Href Source #
GetHref Aip_SUP_and_AIC Source #
Instance details Defined in Data.Aviation.Aip.Aip_SUP_and_AIC Methods _GetHref :: Getter Aip_SUP_and_AIC Href Source #
GetHref ListItemLink Source #
Instance details Defined in Data.Aviation.Aip.ListItemLink Methods _GetHref :: Getter ListItemLink Href Source #
GetHref DAPEntry Source #
Instance details Defined in Data.Aviation.Aip.DAPEntry Methods _GetHref :: Getter DAPEntry Href Source #

class SetHref a where Source #

Methods

_SetHref :: Setter' a Href Source #

_SetHref :: ManyHref a => Traversal' a Href Source #

Instances

SetHref () Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _SetHref :: Setter' () Href Source #
SetHref String Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _SetHref :: Setter' String Href Source #
SetHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _SetHref :: Setter' Href Href Source #
SetHref ErsaAerodrome Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodrome Methods _SetHref :: Setter' ErsaAerodrome Href Source #
SetHref ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _SetHref :: Setter' ErsaAerodromes Href Source #
SetHref Aip_SUP_and_AIC Source #
Instance details Defined in Data.Aviation.Aip.Aip_SUP_and_AIC Methods _SetHref :: Setter' Aip_SUP_and_AIC Href Source #
SetHref Aip_SUP_and_AICs Source #
Instance details Defined in Data.Aviation.Aip.Aip_SUP_and_AICs Methods _SetHref :: Setter' Aip_SUP_and_AICs Href Source #
SetHref ListItemLink Source #
Instance details Defined in Data.Aviation.Aip.ListItemLink Methods _SetHref :: Setter' ListItemLink Href Source #
SetHref ListItemLinks1 Source #
Instance details Defined in Data.Aviation.Aip.ListItemLinks1 Methods _SetHref :: Setter' ListItemLinks1 Href Source #
SetHref ListItemLinks Source #
Instance details Defined in Data.Aviation.Aip.ListItemLinks Methods _SetHref :: Setter' ListItemLinks Href Source #
SetHref Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _SetHref :: Setter' Ersa Href Source #
SetHref DAPEntry Source #
Instance details Defined in Data.Aviation.Aip.DAPEntry Methods _SetHref :: Setter' DAPEntry Href Source #
SetHref DAPEntries Source #
Instance details Defined in Data.Aviation.Aip.DAPEntries Methods _SetHref :: Setter' DAPEntries Href Source #
SetHref DAPDoc Source #
Instance details Defined in Data.Aviation.Aip.DAPDoc Methods _SetHref :: Setter' DAPDoc Href Source #
SetHref DAPDocs Source #
Instance details Defined in Data.Aviation.Aip.DAPDocs Methods _SetHref :: Setter' DAPDocs Href Source #
SetHref AipRecord Source #
Instance details Defined in Data.Aviation.Aip.AipRecord Methods _SetHref :: Setter' AipRecord Href Source #
SetHref AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _SetHref :: Setter' AipRecords Href Source #
(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 #

Minimal complete definition

_ManyHref

Methods

_ManyHref :: Traversal' a Href Source #

Instances

ManyHref () Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _ManyHref :: Traversal' () Href Source #
ManyHref String Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _ManyHref :: Traversal' String Href Source #
ManyHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _ManyHref :: Traversal' Href Href Source #
ManyHref ErsaAerodrome Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodrome Methods _ManyHref :: Traversal' ErsaAerodrome Href Source #
ManyHref ErsaAerodromes Source #
Instance details Defined in Data.Aviation.Aip.ErsaAerodromes Methods _ManyHref :: Traversal' ErsaAerodromes Href Source #
ManyHref Aip_SUP_and_AIC Source #
Instance details Defined in Data.Aviation.Aip.Aip_SUP_and_AIC Methods _ManyHref :: Traversal' Aip_SUP_and_AIC Href Source #
ManyHref Aip_SUP_and_AICs Source #
Instance details Defined in Data.Aviation.Aip.Aip_SUP_and_AICs Methods _ManyHref :: Traversal' Aip_SUP_and_AICs Href Source #
ManyHref ListItemLink Source #
Instance details Defined in Data.Aviation.Aip.ListItemLink Methods _ManyHref :: Traversal' ListItemLink Href Source #
ManyHref ListItemLinks1 Source #
Instance details Defined in Data.Aviation.Aip.ListItemLinks1 Methods _ManyHref :: Traversal' ListItemLinks1 Href Source #
ManyHref ListItemLinks Source #
Instance details Defined in Data.Aviation.Aip.ListItemLinks Methods _ManyHref :: Traversal' ListItemLinks Href Source #
ManyHref Ersa Source #
Instance details Defined in Data.Aviation.Aip.Ersa Methods _ManyHref :: Traversal' Ersa Href Source #
ManyHref DAPEntry Source #
Instance details Defined in Data.Aviation.Aip.DAPEntry Methods _ManyHref :: Traversal' DAPEntry Href Source #
ManyHref DAPEntries Source #
Instance details Defined in Data.Aviation.Aip.DAPEntries Methods _ManyHref :: Traversal' DAPEntries Href Source #
ManyHref DAPDoc Source #
Instance details Defined in Data.Aviation.Aip.DAPDoc Methods _ManyHref :: Traversal' DAPDoc Href Source #
ManyHref DAPDocs Source #
Instance details Defined in Data.Aviation.Aip.DAPDocs Methods _ManyHref :: Traversal' DAPDocs Href Source #
ManyHref AipRecord Source #
Instance details Defined in Data.Aviation.Aip.AipRecord Methods _ManyHref :: Traversal' AipRecord Href Source #
ManyHref AipRecords Source #
Instance details Defined in Data.Aviation.Aip.AipRecords Methods _ManyHref :: Traversal' AipRecords Href Source #
(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 #

Methods

href :: Lens' a Href Source #

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

Instances

HasHref String Source #
Instance details Defined in Data.Aviation.Aip.Href Methods href :: Lens' String Href Source #
HasHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods href :: Lens' Href Href Source #
HasHref Aip_SUP_and_AIC Source #
Instance details Defined in Data.Aviation.Aip.Aip_SUP_and_AIC Methods href :: Lens' Aip_SUP_and_AIC Href Source #
HasHref ListItemLink Source #
Instance details Defined in Data.Aviation.Aip.ListItemLink Methods href :: Lens' ListItemLink Href Source #
HasHref DAPEntry Source #
Instance details Defined in Data.Aviation.Aip.DAPEntry Methods href :: Lens' DAPEntry Href Source #

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

Minimal complete definition

_IsHref

Methods

_IsHref :: Iso' a Href Source #

Instances

IsHref String Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _IsHref :: Iso' String Href Source #
IsHref Href Source #
Instance details Defined in Data.Aviation.Aip.Href Methods _IsHref :: Iso' Href Href Source #

dropHrefFile :: Href -> Href Source #

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"