Safe Haskell	Safe-Inferred
Language	Haskell2010

Iri.Data

Contents

Special cases
- HTTP special case

Description

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

Instances details

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 #
Show Iri Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Iri -> ShowS # show :: Iri -> String # showList :: [Iri] -> ShowS #
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 #
Hashable Iri Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Iri -> Int # hash :: Iri -> Int #
Lift Iri Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => Iri -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Iri -> Code m Iri #
type Rep Iri Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Iri = D1 ('MetaData "Iri" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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

Instances details

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 #
Show Scheme Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Scheme -> ShowS # show :: Scheme -> String # showList :: [Scheme] -> ShowS #
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 #
Hashable Scheme Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Scheme -> Int # hash :: Scheme -> Int #
Lift Scheme Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => Scheme -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Scheme -> Code m Scheme #
type Rep Scheme Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Scheme = D1 ('MetaData "Scheme" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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

Instances details

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 #
Show Hierarchy Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Hierarchy -> ShowS # show :: Hierarchy -> String # showList :: [Hierarchy] -> ShowS #
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 #
Hashable Hierarchy Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Hierarchy -> Int # hash :: Hierarchy -> Int #
Lift Hierarchy Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => Hierarchy -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Hierarchy -> Code m Hierarchy #
type Rep Hierarchy Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Hierarchy = D1 ('MetaData "Hierarchy" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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

Instances details

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 #
Show Authority Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Authority -> ShowS # show :: Authority -> String # showList :: [Authority] -> ShowS #
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 #
Hashable Authority Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Authority -> Int # hash :: Authority -> Int #
Lift Authority Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => Authority -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Authority -> Code m Authority #
type Rep Authority Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Authority = D1 ('MetaData "Authority" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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

Instances details

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 #
Show UserInfo Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> UserInfo -> ShowS # show :: UserInfo -> String # showList :: [UserInfo] -> ShowS #
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 #
Hashable UserInfo Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> UserInfo -> Int # hash :: UserInfo -> Int #
Lift UserInfo Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => UserInfo -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => UserInfo -> Code m UserInfo #
type Rep UserInfo Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep UserInfo = D1 ('MetaData "UserInfo" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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

Instances details

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 #
Show User Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> User -> ShowS # show :: User -> String # showList :: [User] -> ShowS #
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 #
Hashable User Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> User -> Int # hash :: User -> Int #
Lift User Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => User -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => User -> Code m User #
type Rep User Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep User = D1 ('MetaData "User" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" 'True) (C1 ('MetaCons "User" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data Password Source #

Constructors

PresentPassword !ByteString
MissingPassword

Instances

Instances details

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 #
Show Password Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Password -> ShowS # show :: Password -> String # showList :: [Password] -> ShowS #
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 #
Hashable Password Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Password -> Int # hash :: Password -> Int #
Lift Password Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => Password -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Password -> Code m Password #
type Rep Password Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Password = D1 ('MetaData "Password" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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

Instances details

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 #
Show Host Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Host -> ShowS # show :: Host -> String # showList :: [Host] -> ShowS #
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 #
Hashable Host Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Host -> Int # hash :: Host -> Int #
Lift Host Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => Host -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Host -> Code m Host #
type Rep Host Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Host = D1 ('MetaData "Host" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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

Instances details

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 #
Show RegName Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> RegName -> ShowS # show :: RegName -> String # showList :: [RegName] -> ShowS #
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 #
Hashable RegName Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> RegName -> Int # hash :: RegName -> Int #
Lift RegName Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => RegName -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => RegName -> Code m RegName #
type Rep RegName Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep RegName = D1 ('MetaData "RegName" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" 'True) (C1 ('MetaCons "RegName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector DomainLabel))))

data DomainLabel Source #

Constructors

DomainLabel Text

Instances

Instances details

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 #
Show DomainLabel Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> DomainLabel -> ShowS # show :: DomainLabel -> String # showList :: [DomainLabel] -> ShowS #
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 #
Hashable DomainLabel Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> DomainLabel -> Int # hash :: DomainLabel -> Int #
Lift DomainLabel Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => DomainLabel -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DomainLabel -> Code m DomainLabel #
type Rep DomainLabel Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep DomainLabel = D1 ('MetaData "DomainLabel" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" 'False) (C1 ('MetaCons "DomainLabel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Port Source #

Constructors

PresentPort !Word16
MissingPort

Instances

Instances details

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 #
Show Port Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Port -> ShowS # show :: Port -> String # showList :: [Port] -> ShowS #
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 #
Hashable Port Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Port -> Int # hash :: Port -> Int #
Lift Port Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => Port -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Port -> Code m Port #
type Rep Port Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Port = D1 ('MetaData "Port" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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

Instances details

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 #
Show Path Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Path -> ShowS # show :: Path -> String # showList :: [Path] -> ShowS #
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 #
Hashable Path Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Path -> Int # hash :: Path -> Int #
Lift Path Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => Path -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Path -> Code m Path #
type Rep Path Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Path = D1 ('MetaData "Path" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" 'True) (C1 ('MetaCons "Path" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector PathSegment))))

newtype PathSegment Source #

Constructors

PathSegment ByteString

Instances

Instances details

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 #
Show PathSegment Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> PathSegment -> ShowS # show :: PathSegment -> String # showList :: [PathSegment] -> ShowS #
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 #
Hashable PathSegment Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> PathSegment -> Int # hash :: PathSegment -> Int #
Lift PathSegment Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => PathSegment -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => PathSegment -> Code m PathSegment #
type Rep PathSegment Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep PathSegment = D1 ('MetaData "PathSegment" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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

Instances details

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 #
Show Query Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Query -> ShowS # show :: Query -> String # showList :: [Query] -> ShowS #
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 #
Hashable Query Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Query -> Int # hash :: Query -> Int #
Lift Query Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => Query -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Query -> Code m Query #
type Rep Query Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Query = D1 ('MetaData "Query" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" 'True) (C1 ('MetaCons "Query" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype Fragment Source #

Constructors

Fragment ByteString

Instances

Instances details

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 #
Show Fragment Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Fragment -> ShowS # show :: Fragment -> String # showList :: [Fragment] -> ShowS #
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 #
Hashable Fragment Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Fragment -> Int # hash :: Fragment -> Int #
Lift Fragment Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => Fragment -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Fragment -> Code m Fragment #
type Rep Fragment Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Fragment = D1 ('MetaData "Fragment" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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

Instances details

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 #
Show HttpIri Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> HttpIri -> ShowS # show :: HttpIri -> String # showList :: [HttpIri] -> ShowS #
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 #
Hashable HttpIri Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> HttpIri -> Int # hash :: HttpIri -> Int #
Lift HttpIri Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => HttpIri -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => HttpIri -> Code m HttpIri #
type Rep HttpIri Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep HttpIri = D1 ('MetaData "HttpIri" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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

Instances details

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 #
Show Security Source #
Instance details Defined in Iri.Data.Instances.Show Methods showsPrec :: Int -> Security -> ShowS # show :: Security -> String # showList :: [Security] -> ShowS #
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 #
Hashable Security Source #
Instance details Defined in Iri.Data.Instances.Hashable Methods hashWithSalt :: Int -> Security -> Int # hash :: Security -> Int #
Lift Security Source #
Instance details Defined in Iri.Data.Instances.Lift Methods lift :: Quote m => Security -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Security -> Code m Security #
type Rep Security Source #
Instance details Defined in Iri.Data.Instances.Generic type Rep Security = D1 ('MetaData "Security" "Iri.Data.Types" "iri-0.5.1-3Srub20Y2k89UUoqYOpVdE" '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