Safe Haskell	None
Language	Haskell2010

Iri.Data

Contents

Special cases
- HTTP special case

Description

References:

Synopsis

data Iri = Iri !Scheme !Hierarchy !Query !Fragment
newtype Scheme = Scheme ByteString
data Hierarchy
- = AuthorisedHierarchy !Authority !Path
- | AbsoluteHierarchy !Path
- | RelativeHierarchy !Path
data Authority = Authority !UserInfo !Host !Port
data UserInfo
- = PresentUserInfo !User !Password
- | MissingUserInfo
newtype User = User ByteString
data Password
- = PresentPassword !ByteString
- | MissingPassword
data Host
- = NamedHost !RegName
- | IpV4Host !IPv4
- | IpV6Host !IPv6
newtype RegName = RegName (Vector DomainLabel)
data DomainLabel = DomainLabel Text
data Port
- = PresentPort !Word16
- | MissingPort
newtype Path = Path (Vector PathSegment)
newtype PathSegment = PathSegment ByteString
newtype Query = Query ByteString
newtype Fragment = Fragment ByteString
data HttpIri = HttpIri !Security !Host !Port !Path !Query !Fragment
newtype Security = Security Bool
httpIriFromIri :: Iri -> Either Text HttpIri
iriFromHttpIri :: HttpIri -> Iri

Documentation

data Iri Source #

Thorough structure of IRI or URI.

Constructors

Iri !Scheme !Hierarchy !Query !Fragment

Instances

Eq Iri Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: Iri -> Iri -> Bool # (/=) :: Iri -> Iri -> Bool #
Ord Iri Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: Iri -> Iri -> Ordering # (<) :: Iri -> Iri -> Bool # (<=) :: Iri -> Iri -> Bool # (>) :: Iri -> Iri -> Bool # (>=) :: Iri -> Iri -> Bool # max :: Iri -> Iri -> Iri # min :: Iri -> Iri -> Iri #
Show Iri Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Iri -> ShowS # show :: Iri -> String # showList :: [Iri] -> ShowS #
Generic Iri Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep Iri :: Type -> Type # Methods from :: Iri -> Rep Iri x # to :: Rep Iri x -> Iri #
Lift Iri Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Iri -> Q Exp #
Hashable Iri Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Iri -> Int # hash :: Iri -> Int #
type Rep Iri Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Iri = D1 (MetaData "Iri" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" False) (C1 (MetaCons "Iri" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Scheme) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Hierarchy)) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Query) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Fragment))))

newtype Scheme Source #

Constructors

Scheme ByteString

Instances

Eq Scheme Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: Scheme -> Scheme -> Bool # (/=) :: Scheme -> Scheme -> Bool #
Ord Scheme Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: Scheme -> Scheme -> Ordering # (<) :: Scheme -> Scheme -> Bool # (<=) :: Scheme -> Scheme -> Bool # (>) :: Scheme -> Scheme -> Bool # (>=) :: Scheme -> Scheme -> Bool # max :: Scheme -> Scheme -> Scheme # min :: Scheme -> Scheme -> Scheme #
Show Scheme Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Scheme -> ShowS # show :: Scheme -> String # showList :: [Scheme] -> ShowS #
Generic Scheme Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep Scheme :: Type -> Type # Methods from :: Scheme -> Rep Scheme x # to :: Rep Scheme x -> Scheme #
Lift Scheme Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Scheme -> Q Exp #
Hashable Scheme Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Scheme -> Int # hash :: Scheme -> Int #
type Rep Scheme Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Scheme = D1 (MetaData "Scheme" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" True) (C1 (MetaCons "Scheme" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

data Hierarchy Source #

Constructors

AuthorisedHierarchy !Authority !Path
AbsoluteHierarchy !Path
RelativeHierarchy !Path

Instances

Eq Hierarchy Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: Hierarchy -> Hierarchy -> Bool # (/=) :: Hierarchy -> Hierarchy -> Bool #
Ord Hierarchy Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: Hierarchy -> Hierarchy -> Ordering # (<) :: Hierarchy -> Hierarchy -> Bool # (<=) :: Hierarchy -> Hierarchy -> Bool # (>) :: Hierarchy -> Hierarchy -> Bool # (>=) :: Hierarchy -> Hierarchy -> Bool # max :: Hierarchy -> Hierarchy -> Hierarchy # min :: Hierarchy -> Hierarchy -> Hierarchy #
Show Hierarchy Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Hierarchy -> ShowS # show :: Hierarchy -> String # showList :: [Hierarchy] -> ShowS #
Generic Hierarchy Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep Hierarchy :: Type -> Type # Methods from :: Hierarchy -> Rep Hierarchy x # to :: Rep Hierarchy x -> Hierarchy #
Lift Hierarchy Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Hierarchy -> Q Exp #
Hashable Hierarchy Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Hierarchy -> Int # hash :: Hierarchy -> Int #
type Rep Hierarchy Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Hierarchy = D1 (MetaData "Hierarchy" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" False) (C1 (MetaCons "AuthorisedHierarchy" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Authority) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Path)) :+: (C1 (MetaCons "AbsoluteHierarchy" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Path)) :+: C1 (MetaCons "RelativeHierarchy" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Path))))

data Authority Source #

Constructors

Authority !UserInfo !Host !Port

Instances

Eq Authority Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: Authority -> Authority -> Bool # (/=) :: Authority -> Authority -> Bool #
Ord Authority Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: Authority -> Authority -> Ordering # (<) :: Authority -> Authority -> Bool # (<=) :: Authority -> Authority -> Bool # (>) :: Authority -> Authority -> Bool # (>=) :: Authority -> Authority -> Bool # max :: Authority -> Authority -> Authority # min :: Authority -> Authority -> Authority #
Show Authority Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Authority -> ShowS # show :: Authority -> String # showList :: [Authority] -> ShowS #
Generic Authority Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep Authority :: Type -> Type # Methods from :: Authority -> Rep Authority x # to :: Rep Authority x -> Authority #
Lift Authority Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Authority -> Q Exp #
Hashable Authority Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Authority -> Int # hash :: Authority -> Int #
type Rep Authority Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Authority = D1 (MetaData "Authority" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" False) (C1 (MetaCons "Authority" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 UserInfo) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Host) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Port))))

data UserInfo Source #

Constructors

PresentUserInfo !User !Password
MissingUserInfo

Instances

Eq UserInfo Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: UserInfo -> UserInfo -> Bool # (/=) :: UserInfo -> UserInfo -> Bool #
Ord UserInfo Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: UserInfo -> UserInfo -> Ordering # (<) :: UserInfo -> UserInfo -> Bool # (<=) :: UserInfo -> UserInfo -> Bool # (>) :: UserInfo -> UserInfo -> Bool # (>=) :: UserInfo -> UserInfo -> Bool # max :: UserInfo -> UserInfo -> UserInfo # min :: UserInfo -> UserInfo -> UserInfo #
Show UserInfo Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> UserInfo -> ShowS # show :: UserInfo -> String # showList :: [UserInfo] -> ShowS #
Generic UserInfo Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep UserInfo :: Type -> Type # Methods from :: UserInfo -> Rep UserInfo x # to :: Rep UserInfo x -> UserInfo #
Lift UserInfo Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: UserInfo -> Q Exp #
Hashable UserInfo Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> UserInfo -> Int # hash :: UserInfo -> Int #
type Rep UserInfo Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep UserInfo = D1 (MetaData "UserInfo" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" False) (C1 (MetaCons "PresentUserInfo" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 User) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Password)) :+: C1 (MetaCons "MissingUserInfo" PrefixI False) (U1 :: Type -> Type))

newtype User Source #

Constructors

User ByteString

Instances

Eq User Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: User -> User -> Bool # (/=) :: User -> User -> Bool #
Ord User Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: User -> User -> Ordering # (<) :: User -> User -> Bool # (<=) :: User -> User -> Bool # (>) :: User -> User -> Bool # (>=) :: User -> User -> Bool # max :: User -> User -> User # min :: User -> User -> User #
Show User Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> User -> ShowS # show :: User -> String # showList :: [User] -> ShowS #
Generic User Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep User :: Type -> Type # Methods from :: User -> Rep User x # to :: Rep User x -> User #
Lift User Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: User -> Q Exp #
Hashable User Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> User -> Int # hash :: User -> Int #
type Rep User Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep User = D1 (MetaData "User" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" True) (C1 (MetaCons "User" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

data Password Source #

Constructors

PresentPassword !ByteString
MissingPassword

Instances

Eq Password Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: Password -> Password -> Bool # (/=) :: Password -> Password -> Bool #
Ord Password Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: Password -> Password -> Ordering # (<) :: Password -> Password -> Bool # (<=) :: Password -> Password -> Bool # (>) :: Password -> Password -> Bool # (>=) :: Password -> Password -> Bool # max :: Password -> Password -> Password # min :: Password -> Password -> Password #
Show Password Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Password -> ShowS # show :: Password -> String # showList :: [Password] -> ShowS #
Generic Password Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep Password :: Type -> Type # Methods from :: Password -> Rep Password x # to :: Rep Password x -> Password #
Lift Password Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Password -> Q Exp #
Hashable Password Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Password -> Int # hash :: Password -> Int #
type Rep Password Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Password = D1 (MetaData "Password" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" False) (C1 (MetaCons "PresentPassword" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ByteString)) :+: C1 (MetaCons "MissingPassword" PrefixI False) (U1 :: Type -> Type))

data Host Source #

Constructors

NamedHost !RegName
IpV4Host !IPv4
IpV6Host !IPv6

Instances

Eq Host Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: Host -> Host -> Bool # (/=) :: Host -> Host -> Bool #
Ord Host Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: Host -> Host -> Ordering # (<) :: Host -> Host -> Bool # (<=) :: Host -> Host -> Bool # (>) :: Host -> Host -> Bool # (>=) :: Host -> Host -> Bool # max :: Host -> Host -> Host # min :: Host -> Host -> Host #
Show Host Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Host -> ShowS # show :: Host -> String # showList :: [Host] -> ShowS #
Generic Host Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep Host :: Type -> Type # Methods from :: Host -> Rep Host x # to :: Rep Host x -> Host #
Lift Host Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Host -> Q Exp #
Hashable Host Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Host -> Int # hash :: Host -> Int #
type Rep Host Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Host = D1 (MetaData "Host" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" False) (C1 (MetaCons "NamedHost" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 RegName)) :+: (C1 (MetaCons "IpV4Host" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 IPv4)) :+: C1 (MetaCons "IpV6Host" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 IPv6))))

newtype RegName Source #

Constructors

RegName (Vector DomainLabel)

Instances

Eq RegName Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: RegName -> RegName -> Bool # (/=) :: RegName -> RegName -> Bool #
Ord RegName Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: RegName -> RegName -> Ordering # (<) :: RegName -> RegName -> Bool # (<=) :: RegName -> RegName -> Bool # (>) :: RegName -> RegName -> Bool # (>=) :: RegName -> RegName -> Bool # max :: RegName -> RegName -> RegName # min :: RegName -> RegName -> RegName #
Show RegName Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> RegName -> ShowS # show :: RegName -> String # showList :: [RegName] -> ShowS #
Generic RegName Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep RegName :: Type -> Type # Methods from :: RegName -> Rep RegName x # to :: Rep RegName x -> RegName #
Lift RegName Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: RegName -> Q Exp #
Hashable RegName Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> RegName -> Int # hash :: RegName -> Int #
type Rep RegName Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep RegName = D1 (MetaData "RegName" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" True) (C1 (MetaCons "RegName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector DomainLabel))))

data DomainLabel Source #

Constructors

DomainLabel Text

Instances

Eq DomainLabel Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: DomainLabel -> DomainLabel -> Bool # (/=) :: DomainLabel -> DomainLabel -> Bool #
Ord DomainLabel Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: DomainLabel -> DomainLabel -> Ordering # (<) :: DomainLabel -> DomainLabel -> Bool # (<=) :: DomainLabel -> DomainLabel -> Bool # (>) :: DomainLabel -> DomainLabel -> Bool # (>=) :: DomainLabel -> DomainLabel -> Bool # max :: DomainLabel -> DomainLabel -> DomainLabel # min :: DomainLabel -> DomainLabel -> DomainLabel #
Show DomainLabel Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> DomainLabel -> ShowS # show :: DomainLabel -> String # showList :: [DomainLabel] -> ShowS #
Generic DomainLabel Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep DomainLabel :: Type -> Type # Methods from :: DomainLabel -> Rep DomainLabel x # to :: Rep DomainLabel x -> DomainLabel #
Lift DomainLabel Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: DomainLabel -> Q Exp #
Hashable DomainLabel Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> DomainLabel -> Int # hash :: DomainLabel -> Int #
type Rep DomainLabel Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep DomainLabel = D1 (MetaData "DomainLabel" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" False) (C1 (MetaCons "DomainLabel" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data Port Source #

Constructors

PresentPort !Word16
MissingPort

Instances

Eq Port Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: Port -> Port -> Bool # (/=) :: Port -> Port -> Bool #
Ord Port Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: Port -> Port -> Ordering # (<) :: Port -> Port -> Bool # (<=) :: Port -> Port -> Bool # (>) :: Port -> Port -> Bool # (>=) :: Port -> Port -> Bool # max :: Port -> Port -> Port # min :: Port -> Port -> Port #
Show Port Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Port -> ShowS # show :: Port -> String # showList :: [Port] -> ShowS #
Generic Port Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep Port :: Type -> Type # Methods from :: Port -> Rep Port x # to :: Rep Port x -> Port #
Lift Port Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Port -> Q Exp #
Hashable Port Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Port -> Int # hash :: Port -> Int #
type Rep Port Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Port = D1 (MetaData "Port" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" False) (C1 (MetaCons "PresentPort" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :+: C1 (MetaCons "MissingPort" PrefixI False) (U1 :: Type -> Type))

newtype Path Source #

Constructors

Path (Vector PathSegment)

Instances

Eq Path Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: Path -> Path -> Bool # (/=) :: Path -> Path -> Bool #
Ord Path Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: Path -> Path -> Ordering # (<) :: Path -> Path -> Bool # (<=) :: Path -> Path -> Bool # (>) :: Path -> Path -> Bool # (>=) :: Path -> Path -> Bool # max :: Path -> Path -> Path # min :: Path -> Path -> Path #
Show Path Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Path -> ShowS # show :: Path -> String # showList :: [Path] -> ShowS #
Generic Path Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep Path :: Type -> Type # Methods from :: Path -> Rep Path x # to :: Rep Path x -> Path #
Lift Path Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Path -> Q Exp #
Hashable Path Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Path -> Int # hash :: Path -> Int #
type Rep Path Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Path = D1 (MetaData "Path" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" True) (C1 (MetaCons "Path" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector PathSegment))))

newtype PathSegment Source #

Constructors

PathSegment ByteString

Instances

Eq PathSegment Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: PathSegment -> PathSegment -> Bool # (/=) :: PathSegment -> PathSegment -> Bool #
Ord PathSegment Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: PathSegment -> PathSegment -> Ordering # (<) :: PathSegment -> PathSegment -> Bool # (<=) :: PathSegment -> PathSegment -> Bool # (>) :: PathSegment -> PathSegment -> Bool # (>=) :: PathSegment -> PathSegment -> Bool # max :: PathSegment -> PathSegment -> PathSegment # min :: PathSegment -> PathSegment -> PathSegment #
Show PathSegment Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> PathSegment -> ShowS # show :: PathSegment -> String # showList :: [PathSegment] -> ShowS #
Generic PathSegment Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep PathSegment :: Type -> Type # Methods from :: PathSegment -> Rep PathSegment x # to :: Rep PathSegment x -> PathSegment #
Lift PathSegment Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: PathSegment -> Q Exp #
Hashable PathSegment Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> PathSegment -> Int # hash :: PathSegment -> Int #
type Rep PathSegment Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep PathSegment = D1 (MetaData "PathSegment" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" True) (C1 (MetaCons "PathSegment" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

newtype Query Source #

Since the exact structure of the query string is not standardised and methods used to parse the query string may differ between websites, we simply represent it as percent-decoded bytes.

See https://en.wikipedia.org/wiki/Query_string.

Constructors

Query ByteString

Instances

Eq Query Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: Query -> Query -> Bool # (/=) :: Query -> Query -> Bool #
Ord Query Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: Query -> Query -> Ordering # (<) :: Query -> Query -> Bool # (<=) :: Query -> Query -> Bool # (>) :: Query -> Query -> Bool # (>=) :: Query -> Query -> Bool # max :: Query -> Query -> Query # min :: Query -> Query -> Query #
Show Query Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Query -> ShowS # show :: Query -> String # showList :: [Query] -> ShowS #
Generic Query Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep Query :: Type -> Type # Methods from :: Query -> Rep Query x # to :: Rep Query x -> Query #
Lift Query Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Query -> Q Exp #
Hashable Query Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Query -> Int # hash :: Query -> Int #
type Rep Query Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Query = D1 (MetaData "Query" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" True) (C1 (MetaCons "Query" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

newtype Fragment Source #

Constructors

Fragment ByteString

Instances

Eq Fragment Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: Fragment -> Fragment -> Bool # (/=) :: Fragment -> Fragment -> Bool #
Ord Fragment Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: Fragment -> Fragment -> Ordering # (<) :: Fragment -> Fragment -> Bool # (<=) :: Fragment -> Fragment -> Bool # (>) :: Fragment -> Fragment -> Bool # (>=) :: Fragment -> Fragment -> Bool # max :: Fragment -> Fragment -> Fragment # min :: Fragment -> Fragment -> Fragment #
Show Fragment Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Fragment -> ShowS # show :: Fragment -> String # showList :: [Fragment] -> ShowS #
Generic Fragment Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep Fragment :: Type -> Type # Methods from :: Fragment -> Rep Fragment x # to :: Rep Fragment x -> Fragment #
Lift Fragment Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Fragment -> Q Exp #
Hashable Fragment Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Fragment -> Int # hash :: Fragment -> Int #
type Rep Fragment Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Fragment = D1 (MetaData "Fragment" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" True) (C1 (MetaCons "Fragment" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

Special cases

HTTP special case

data HttpIri Source #

HTTP being by far the most common use-case for resource identifiers, it's been isolated into a dedicated data-type, which is optimised for that particular case.

Compared to the general URI definition it:

only supports the HTTP and HTTPS schemes
misses the Username and Password components
requires the Host component
requires the Path component to be absolute

Constructors

HttpIri !Security !Host !Port !Path !Query !Fragment

Instances

Eq HttpIri Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: HttpIri -> HttpIri -> Bool # (/=) :: HttpIri -> HttpIri -> Bool #
Ord HttpIri Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: HttpIri -> HttpIri -> Ordering # (<) :: HttpIri -> HttpIri -> Bool # (<=) :: HttpIri -> HttpIri -> Bool # (>) :: HttpIri -> HttpIri -> Bool # (>=) :: HttpIri -> HttpIri -> Bool # max :: HttpIri -> HttpIri -> HttpIri # min :: HttpIri -> HttpIri -> HttpIri #
Show HttpIri Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> HttpIri -> ShowS # show :: HttpIri -> String # showList :: [HttpIri] -> ShowS #
Generic HttpIri Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep HttpIri :: Type -> Type # Methods from :: HttpIri -> Rep HttpIri x # to :: Rep HttpIri x -> HttpIri #
Lift HttpIri Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: HttpIri -> Q Exp #
Hashable HttpIri Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> HttpIri -> Int # hash :: HttpIri -> Int #
type Rep HttpIri Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep HttpIri = D1 (MetaData "HttpIri" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" False) (C1 (MetaCons "HttpIri" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Security) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Host) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Port))) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Path) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Query) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Fragment)))))

newtype Security Source #

Constructors

Security Bool

Instances

Eq Security Source #
Instance details Defined in Iri.Data.Instances.Eq Methods (==) :: Security -> Security -> Bool # (/=) :: Security -> Security -> Bool #
Ord Security Source #
Instance details Defined in Iri.Data.Instances.Ord Methods compare :: Security -> Security -> Ordering # (<) :: Security -> Security -> Bool # (<=) :: Security -> Security -> Bool # (>) :: Security -> Security -> Bool # (>=) :: Security -> Security -> Bool # max :: Security -> Security -> Security # min :: Security -> Security -> Security #
Show Security Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Security -> ShowS # show :: Security -> String # showList :: [Security] -> ShowS #
Generic Security Source #
Instance details Defined in Iri.Data.Instances.Generic Associated Types type Rep Security :: Type -> Type # Methods from :: Security -> Rep Security x # to :: Rep Security x -> Security #
Lift Security Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Security -> Q Exp #
Hashable Security Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Security -> Int # hash :: Security -> Int #
type Rep Security Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Security = D1 (MetaData "Security" "Iri.Data.Types" "iri-0.4-6utNI10Cmpx1Ay6lBJs6Kb" True) (C1 (MetaCons "Security" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))

httpIriFromIri :: Iri -> Either Text HttpIri Source #

Try to specialize a general IRI to HTTP

iriFromHttpIri :: HttpIri -> Iri Source #

Generalize an HTTP IRI to IRI