Network.API.Telegram.Bot.Field.Name

Documentation

newtype Name

Constructors

Name Text

Instances

Show Name

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

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

FromJSON Name

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

Methods

parseJSON :: Value -> Parser Name

parseJSONList :: Value -> Parser [Name]

ToJSON Name

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

Methods

toJSON :: Name -> Value

toEncoding :: Name -> Encoding

toJSONList :: [Name] -> Value

toEncodingList :: [Name] -> Encoding

Accessible Text Name

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

Methods

access :: Lens' Name Text

Accessible Text (Nick Name)

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

Methods

access :: Lens' (Nick Name) Text

Accessible Text (Last Name)

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

Methods

access :: Lens' (Last Name) Text

Accessible Text (First Name)

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

Methods

access :: Lens' (First Name) Text

FromJSON (Nick Name)

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

Methods

parseJSON :: Value -> Parser (Nick Name)

parseJSONList :: Value -> Parser [Nick Name]

FromJSON (Last Name)

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

Methods

parseJSON :: Value -> Parser (Last Name)

parseJSONList :: Value -> Parser [Last Name]

FromJSON (First Name)

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

Methods

parseJSON :: Value -> Parser (First Name)

parseJSONList :: Value -> Parser [First Name]

ToJSON (Nick Name)

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

Methods

toJSON :: Nick Name -> Value

toEncoding :: Nick Name -> Encoding

toJSONList :: [Nick Name] -> Value

toEncodingList :: [Nick Name] -> Encoding

ToJSON (Last Name)

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

Methods

toJSON :: Last Name -> Value

toEncoding :: Last Name -> Encoding

toJSONList :: [Last Name] -> Value

toEncodingList :: [Last Name] -> Encoding

ToJSON (First Name)

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

Methods

toJSON :: First Name -> Value

toEncoding :: First Name -> Encoding

toJSONList :: [First Name] -> Value

toEncodingList :: [First Name] -> Encoding

Accessible (Maybe (Nick Name)) Sender

Defined in Network.API.Telegram.Bot.Object.Sender

Methods

access :: Lens' Sender (Maybe (Nick Name))

Accessible (Maybe (Last Name)) Contact

Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.Info.Contact

Methods

access :: Lens' Contact (Maybe (Last Name))

Accessible (Maybe (Last Name)) Sender

Defined in Network.API.Telegram.Bot.Object.Sender

Methods

access :: Lens' Sender (Maybe (Last Name))

Accessible (First Name) Contact

Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.Info.Contact

Methods

access :: Lens' Contact (First Name)

Accessible (First Name) Sender

Defined in Network.API.Telegram.Bot.Object.Sender

Methods

access :: Lens' Sender (First Name)

data First a where

Constructors

First :: Name -> First Name

Instances

Accessible Text (First Name)

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

Methods

access :: Lens' (First Name) Text

Show a => Show (First a)

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

Methods

showsPrec :: Int -> First a -> ShowS

show :: First a -> String

showList :: [First a] -> ShowS

FromJSON (First Name)

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

Methods

parseJSON :: Value -> Parser (First Name)

parseJSONList :: Value -> Parser [First Name]

ToJSON (First Name)

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

Methods

toJSON :: First Name -> Value

toEncoding :: First Name -> Encoding

toJSONList :: [First Name] -> Value

toEncodingList :: [First Name] -> Encoding

Accessible (First Name) Contact

Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.Info.Contact

Methods

access :: Lens' Contact (First Name)

Accessible (First Name) Sender

Defined in Network.API.Telegram.Bot.Object.Sender

Methods

access :: Lens' Sender (First Name)

data Last a where

Constructors

Last :: Name -> Last Name

Instances

Accessible Text (Last Name)

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

Methods

access :: Lens' (Last Name) Text

Show a => Show (Last a)

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

Methods

showsPrec :: Int -> Last a -> ShowS

show :: Last a -> String

showList :: [Last a] -> ShowS

FromJSON (Last Name)

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

Methods

parseJSON :: Value -> Parser (Last Name)

parseJSONList :: Value -> Parser [Last Name]

ToJSON (Last Name)

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

Methods

toJSON :: Last Name -> Value

toEncoding :: Last Name -> Encoding

toJSONList :: [Last Name] -> Value

toEncodingList :: [Last Name] -> Encoding

Accessible (Maybe (Last Name)) Contact

Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.Info.Contact

Methods

access :: Lens' Contact (Maybe (Last Name))

Accessible (Maybe (Last Name)) Sender

Defined in Network.API.Telegram.Bot.Object.Sender

Methods

access :: Lens' Sender (Maybe (Last Name))

data Nick a where

Constructors

Nick :: Name -> Nick Name

Instances

Accessible Text (Nick Name)

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

Methods

access :: Lens' (Nick Name) Text

Show a => Show (Nick a)

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

Methods

showsPrec :: Int -> Nick a -> ShowS

show :: Nick a -> String

showList :: [Nick a] -> ShowS

FromJSON (Nick Name)

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

Methods

parseJSON :: Value -> Parser (Nick Name)

parseJSONList :: Value -> Parser [Nick Name]

ToJSON (Nick Name)

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

Methods

toJSON :: Nick Name -> Value

toEncoding :: Nick Name -> Encoding

toJSONList :: [Nick Name] -> Value

toEncodingList :: [Nick Name] -> Encoding

Accessible (Maybe (Nick Name)) Sender

Defined in Network.API.Telegram.Bot.Object.Sender

Methods

access :: Lens' Sender (Maybe (Nick Name))