Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.URI

Documentation

Constructors

Dir
File

Instances details

Arbitrary DirOrFile Source #
Instance details Defined in Data.URI Methods arbitrary :: Gen DirOrFile # shrink :: DirOrFile -> [DirOrFile] #
Generic DirOrFile Source #
Instance details Defined in Data.URI Associated Types type Rep DirOrFile :: Type -> Type # Methods from :: DirOrFile -> Rep DirOrFile x # to :: Rep DirOrFile x -> DirOrFile #
Show DirOrFile Source #
Instance details Defined in Data.URI Methods showsPrec :: Int -> DirOrFile -> ShowS # show :: DirOrFile -> String # showList :: [DirOrFile] -> ShowS #
Eq DirOrFile Source #
Instance details Defined in Data.URI Methods (==) :: DirOrFile -> DirOrFile -> Bool # (/=) :: DirOrFile -> DirOrFile -> Bool #
type Rep DirOrFile Source #
Instance details Defined in Data.URI type Rep DirOrFile = D1 ('MetaData "DirOrFile" "Data.URI" "attoparsec-uri-0.0.9-D97SUu0YxKSL2Kn4naWiMR" 'False) (C1 ('MetaCons "Dir" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "File" 'PrefixI 'False) (U1 :: Type -> Type))

Constructors

Fields

uriScheme :: !(Maybe Text)
the scheme without the colon - https://hackage.haskell.org/ has a scheme of https
uriSlashes :: !Bool
are the slashes present? - https://hackage.haskell.org/ is True
uriAuthority :: !URIAuth
uriPath :: !(Maybe (Vector Text, DirOrFile))
slash-separated list - https://hackage.haskell.org/foo is ["foo"], second value is if the path has a trailing slash
uriQuery :: !(Vector (Pair Text (Maybe Text)))
list of key-value pairs - https://hackage.haskell.org/?foo=bar&baz&qux= is [("foo", Just "bar"), ("baz", Nothing), ("qux", Just "")]
uriFragment :: !(Maybe Text)
uri suffix - https://hackage.haskell.org/#some-header is Just "some-header"

Instances details

Arbitrary URI Source #
Instance details Defined in Data.URI Methods arbitrary :: Gen URI # shrink :: URI -> [URI] #
Generic URI Source #
Instance details Defined in Data.URI Associated Types type Rep URI :: Type -> Type # Methods from :: URI -> Rep URI x # to :: Rep URI x -> URI #
Show URI Source #
Instance details Defined in Data.URI Methods showsPrec :: Int -> URI -> ShowS # show :: URI -> String # showList :: [URI] -> ShowS #
Eq URI Source #
Instance details Defined in Data.URI Methods (==) :: URI -> URI -> Bool # (/=) :: URI -> URI -> Bool #
type Rep URI Source #
Instance details Defined in Data.URI type Rep URI = D1 ('MetaData "URI" "Data.URI" "attoparsec-uri-0.0.9-D97SUu0YxKSL2Kn4naWiMR" 'False) (C1 ('MetaCons "URI" 'PrefixI 'True) ((S1 ('MetaSel ('Just "uriScheme") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Text)) :: (S1 ('MetaSel ('Just "uriSlashes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :: S1 ('MetaSel ('Just "uriAuthority") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 URIAuth))) :: (S1 ('MetaSel ('Just "uriPath") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (Vector Text, DirOrFile))) :: (S1 ('MetaSel ('Just "uriQuery") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector (Pair Text (Maybe Text)))) :*: S1 ('MetaSel ('Just "uriFragment") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Text))))))