Safe Haskell	Safe-Inferred
Language	Haskell2010

Imm.Link

Description

Simplified model for RFC 8288 links.

Cf https://tools.ietf.org/html/rfc8288 . .

Synopsis

data Link = Link {
- _linkRelation :: Maybe Relation
- _linkTitle :: Text
- _linkType :: Maybe MediaType
- _linkURI :: AnyURI
}
data Relation
- = Alternate
- | Edit
- | Next
- | NoFollow
- | Replies
- | Self
- | OtherRelation Text
parseRelation :: Text -> Maybe Relation
data MediaType = MediaType {
- _mediaType :: Text
- _mediaSubtype :: Text
- _mediaSuffix :: Text
- _mediaParameters :: [Text]
}
parseMediaType :: Stream s Identity Char => s -> Maybe MediaType
pattern MediaTypeRSS :: [Text] -> MediaType
pattern MediaTypeAtom :: [Text] -> MediaType
pattern MediaTypeApplicationXML :: Text -> [Text] -> MediaType
pattern MediaTypeTextXML :: Text -> [Text] -> MediaType
pattern MediaTypeHTML :: Text -> [Text] -> MediaType

Documentation

data Link Source #

Constructors

Link
Fields _linkRelation :: Maybe Relation _linkTitle :: Text _linkType :: Maybe MediaType _linkURI :: AnyURI

Instances

Instances details

FromJSON Link Source #
Instance details Defined in Imm.Link Methods parseJSON :: Value -> Parser Link # parseJSONList :: Value -> Parser [Link] # omittedField :: Maybe Link #
ToJSON Link Source #
Instance details Defined in Imm.Link Methods toJSON :: Link -> Value # toEncoding :: Link -> Encoding # toJSONList :: [Link] -> Value # toEncodingList :: [Link] -> Encoding # omitField :: Link -> Bool #
Generic Link Source #
Instance details Defined in Imm.Link Associated Types type Rep Link :: Type -> Type # Methods from :: Link -> Rep Link x # to :: Rep Link x -> Link #
Show Link Source #
Instance details Defined in Imm.Link Methods showsPrec :: Int -> Link -> ShowS # show :: Link -> String # showList :: [Link] -> ShowS #
Eq Link Source #
Instance details Defined in Imm.Link Methods (==) :: Link -> Link -> Bool # (/=) :: Link -> Link -> Bool #
Ord Link Source #
Instance details Defined in Imm.Link Methods compare :: Link -> Link -> Ordering # (<) :: Link -> Link -> Bool # (<=) :: Link -> Link -> Bool # (>) :: Link -> Link -> Bool # (>=) :: Link -> Link -> Bool # max :: Link -> Link -> Link # min :: Link -> Link -> Link #
type Rep Link Source #
Instance details Defined in Imm.Link type Rep Link = D1 ('MetaData "Link" "Imm.Link" "imm-2.1.3.0-D3c8Vn1SRDNHimeVgBOHyG" 'False) (C1 ('MetaCons "Link" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_linkRelation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Relation)) :: S1 ('MetaSel ('Just "_linkTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :: (S1 ('MetaSel ('Just "_linkType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe MediaType)) :*: S1 ('MetaSel ('Just "_linkURI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnyURI))))

data Relation Source #

Cf https://www.iana.org/assignments/link-relations/link-relations.xhtml .

Constructors

Alternate
Edit
Next
NoFollow
Replies
Self
OtherRelation Text

Instances

Instances details

FromJSON Relation Source #
Instance details Defined in Imm.Link Methods parseJSON :: Value -> Parser Relation # parseJSONList :: Value -> Parser [Relation] # omittedField :: Maybe Relation #
ToJSON Relation Source #
Instance details Defined in Imm.Link Methods toJSON :: Relation -> Value # toEncoding :: Relation -> Encoding # toJSONList :: [Relation] -> Value # toEncodingList :: [Relation] -> Encoding # omitField :: Relation -> Bool #
Generic Relation Source #
Instance details Defined in Imm.Link Associated Types type Rep Relation :: Type -> Type # Methods from :: Relation -> Rep Relation x # to :: Rep Relation x -> Relation #
Read Relation Source #
Instance details Defined in Imm.Link Methods readsPrec :: Int -> ReadS Relation # readList :: ReadS [Relation] # readPrec :: ReadPrec Relation # readListPrec :: ReadPrec [Relation] #
Show Relation Source #
Instance details Defined in Imm.Link Methods showsPrec :: Int -> Relation -> ShowS # show :: Relation -> String # showList :: [Relation] -> ShowS #
Eq Relation Source #
Instance details Defined in Imm.Link Methods (==) :: Relation -> Relation -> Bool # (/=) :: Relation -> Relation -> Bool #
Ord Relation Source #
Instance details Defined in Imm.Link Methods compare :: Relation -> Relation -> Ordering # (<) :: Relation -> Relation -> Bool # (<=) :: Relation -> Relation -> Bool # (>) :: Relation -> Relation -> Bool # (>=) :: Relation -> Relation -> Bool # max :: Relation -> Relation -> Relation # min :: Relation -> Relation -> Relation #
type Rep Relation Source #
Instance details Defined in Imm.Link type Rep Relation = D1 ('MetaData "Relation" "Imm.Link" "imm-2.1.3.0-D3c8Vn1SRDNHimeVgBOHyG" 'False) ((C1 ('MetaCons "Alternate" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Edit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Next" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "NoFollow" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Replies" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Self" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherRelation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

parseRelation :: Text -> Maybe Relation Source #

data MediaType Source #

https://tools.ietf.org/html/rfc6838 https://en.wikipedia.org/wiki/Media_type

Constructors

MediaType
Fields _mediaType :: Text _mediaSubtype :: Text _mediaSuffix :: Text _mediaParameters :: [Text]

Instances

Instances details

FromJSON MediaType Source #
Instance details Defined in Imm.Link Methods parseJSON :: Value -> Parser MediaType # parseJSONList :: Value -> Parser [MediaType] # omittedField :: Maybe MediaType #
ToJSON MediaType Source #
Instance details Defined in Imm.Link Methods toJSON :: MediaType -> Value # toEncoding :: MediaType -> Encoding # toJSONList :: [MediaType] -> Value # toEncodingList :: [MediaType] -> Encoding # omitField :: MediaType -> Bool #
Generic MediaType Source #
Instance details Defined in Imm.Link Associated Types type Rep MediaType :: Type -> Type # Methods from :: MediaType -> Rep MediaType x # to :: Rep MediaType x -> MediaType #
Read MediaType Source #
Instance details Defined in Imm.Link Methods readsPrec :: Int -> ReadS MediaType # readList :: ReadS [MediaType] # readPrec :: ReadPrec MediaType # readListPrec :: ReadPrec [MediaType] #
Show MediaType Source #
Instance details Defined in Imm.Link Methods showsPrec :: Int -> MediaType -> ShowS # show :: MediaType -> String # showList :: [MediaType] -> ShowS #
Eq MediaType Source #
Instance details Defined in Imm.Link Methods (==) :: MediaType -> MediaType -> Bool # (/=) :: MediaType -> MediaType -> Bool #
Ord MediaType Source #
Instance details Defined in Imm.Link Methods compare :: MediaType -> MediaType -> Ordering # (<) :: MediaType -> MediaType -> Bool # (<=) :: MediaType -> MediaType -> Bool # (>) :: MediaType -> MediaType -> Bool # (>=) :: MediaType -> MediaType -> Bool # max :: MediaType -> MediaType -> MediaType # min :: MediaType -> MediaType -> MediaType #
type Rep MediaType Source #
Instance details Defined in Imm.Link type Rep MediaType = D1 ('MetaData "MediaType" "Imm.Link" "imm-2.1.3.0-D3c8Vn1SRDNHimeVgBOHyG" 'False) (C1 ('MetaCons "MediaType" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_mediaType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "_mediaSubtype") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :: (S1 ('MetaSel ('Just "_mediaSuffix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_mediaParameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]))))

parseMediaType :: Stream s Identity Char => s -> Maybe MediaType Source #

pattern MediaTypeRSS :: [Text] -> MediaType Source #

pattern MediaTypeAtom :: [Text] -> MediaType Source #

pattern MediaTypeApplicationXML :: Text -> [Text] -> MediaType Source #

pattern MediaTypeTextXML :: Text -> [Text] -> MediaType Source #

pattern MediaTypeHTML :: Text -> [Text] -> MediaType Source #