Network.API.Telegram.Bot.Field.URI

Documentation

newtype URI

Constructors

URI Text

Instances

Eq URI

Defined in Network.API.Telegram.Bot.Field.URI

Methods

(==) :: URI -> URI -> Bool

(/=) :: URI -> URI -> Bool

Show URI

Defined in Network.API.Telegram.Bot.Field.URI

Methods

showsPrec :: Int -> URI -> ShowS

show :: URI -> String

showList :: [URI] -> ShowS

FromJSON URI

Defined in Network.API.Telegram.Bot.Field.URI

Methods

parseJSON :: Value -> Parser URI

parseJSONList :: Value -> Parser [URI]

ToJSON URI

Defined in Network.API.Telegram.Bot.Field.URI

Methods

toJSON :: URI -> Value

toEncoding :: URI -> Encoding

toJSONList :: [URI] -> Value

toEncodingList :: [URI] -> Encoding

Identifiable URI

Defined in Network.API.Telegram.Bot.Field.URI

Associated Types

type Identificator URI :: *

Methods

ident :: URI -> Identificator URI

Accessible Text URI

Defined in Network.API.Telegram.Bot.Field.URI

Methods

access :: Lens' URI Text

type Identificator URI

Defined in Network.API.Telegram.Bot.Field.URI

type Identificator URI = Text