Safe Haskell	None
Language	Haskell2010

Web.Telegram.Types.Input

Contents

Sending Media
Uploading Files

Description

Sending files

Synopsis

data InputMediaAnimation = InputMediaAnimation {
- media :: Either Text Media
- thumb :: Maybe Text
- caption :: Maybe Text
- parseMode :: Maybe ParseMode
- width :: Maybe Int
- height :: Maybe Int
- duration :: Maybe Int
}
data InputMediaAudio = InputMediaAudio {
- media :: Either Text Media
- thumb :: Maybe Text
- caption :: Maybe Text
- parseMode :: Maybe ParseMode
- duration :: Maybe Int
- performer :: Maybe Text
- title :: Maybe Text
}
data InputMediaDocument = InputMediaDocument {
- media :: Either Text Media
- thumb :: Maybe Text
- caption :: Maybe Text
- parseMode :: Maybe ParseMode
}
data InputMediaVideo = InputMediaVideo {
- media :: Either Text Media
- thumb :: Maybe Text
- caption :: Maybe Text
- parseMode :: Maybe ParseMode
}
data InputMediaPhoto = InputMediaPhoto {
- media :: Either Text Media
- caption :: Maybe Text
- parseMode :: Maybe ParseMode
}
type InputMedia = Union '[InputMediaAnimation, InputMediaDocument, InputMediaAudio, InputMediaVideo, InputMediaPhoto]
data InputFile = InputFile {
- fileName :: Text
- mimeType :: Text
- content :: ByteString
}
type VideoOrPhoto = Union '[InputMediaPhoto, InputMediaVideo]
newtype Cert = Cert InputFile
newtype Thumb = Thumb InputFile
newtype Photo = Photo InputFile
newtype Doc = Doc InputFile
newtype Animation = Animation InputFile
newtype Audio = Audio InputFile
newtype Voice = Voice InputFile
newtype Video = Video InputFile
newtype VideoNote = VideoNote InputFile
newtype Sticker = Sticker InputFile
newtype PngSticker = PngSticker InputFile
newtype TgsSticker = TgsSticker InputFile
newtype Media = Media InputFile
readInput :: FilePath -> IO InputFile

Sending Media

data InputMediaAnimation Source #

Constructors

InputMediaAnimation
Fields media :: Either Text Media thumb :: Maybe Text caption :: Maybe Text parseMode :: Maybe ParseMode width :: Maybe Int height :: Maybe Int duration :: Maybe Int

Instances

Eq InputMediaAnimation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods (==) :: InputMediaAnimation -> InputMediaAnimation -> Bool # (/=) :: InputMediaAnimation -> InputMediaAnimation -> Bool #
Show InputMediaAnimation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods showsPrec :: Int -> InputMediaAnimation -> ShowS # show :: InputMediaAnimation -> String # showList :: [InputMediaAnimation] -> ShowS #
Generic InputMediaAnimation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Associated Types type Rep InputMediaAnimation :: Type -> Type # Methods from :: InputMediaAnimation -> Rep InputMediaAnimation x # to :: Rep InputMediaAnimation x -> InputMediaAnimation #
ToJSON InputMediaAnimation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: InputMediaAnimation -> Value # toEncoding :: InputMediaAnimation -> Encoding # toJSONList :: [InputMediaAnimation] -> Value # toEncodingList :: [InputMediaAnimation] -> Encoding #
ToJSON InputMedia Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: InputMedia -> Value # toEncoding :: InputMedia -> Encoding # toJSONList :: [InputMedia] -> Value # toEncodingList :: [InputMedia] -> Encoding #
ToHttpApiData InputMediaAnimation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: InputMediaAnimation -> Text # toEncodedUrlPiece :: InputMediaAnimation -> Builder # toHeader :: InputMediaAnimation -> ByteString # toQueryParam :: InputMediaAnimation -> Text #
Default InputMediaAnimation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods def :: InputMediaAnimation Source #
ToMultipart Mem InputMediaAnimation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: InputMediaAnimation -> MultipartData Mem #
ToMultipart Mem InputMedia Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: InputMedia -> MultipartData Mem #
ToHttpApiData (Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': ([] :: [Type]))))))) Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Text # toEncodedUrlPiece :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Builder # toHeader :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> ByteString # toQueryParam :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Text #
type Rep InputMediaAnimation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia type Rep InputMediaAnimation = D1 (MetaData "InputMediaAnimation" "Web.Telegram.Types.Internal.InputMedia" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" False) (C1 (MetaCons "InputMediaAnimation" PrefixI True) ((S1 (MetaSel (Just "media") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Either Text Media)) :: (S1 (MetaSel (Just "thumb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "caption") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: ((S1 (MetaSel (Just "parseMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ParseMode)) :: S1 (MetaSel (Just "width") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))) :: (S1 (MetaSel (Just "height") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int)) :: S1 (MetaSel (Just "duration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))))))

data InputMediaAudio Source #

Constructors

InputMediaAudio
Fields media :: Either Text Media thumb :: Maybe Text caption :: Maybe Text parseMode :: Maybe ParseMode duration :: Maybe Int performer :: Maybe Text title :: Maybe Text

Instances

Eq InputMediaAudio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods (==) :: InputMediaAudio -> InputMediaAudio -> Bool # (/=) :: InputMediaAudio -> InputMediaAudio -> Bool #
Show InputMediaAudio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods showsPrec :: Int -> InputMediaAudio -> ShowS # show :: InputMediaAudio -> String # showList :: [InputMediaAudio] -> ShowS #
Generic InputMediaAudio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Associated Types type Rep InputMediaAudio :: Type -> Type # Methods from :: InputMediaAudio -> Rep InputMediaAudio x # to :: Rep InputMediaAudio x -> InputMediaAudio #
ToJSON InputMediaAudio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: InputMediaAudio -> Value # toEncoding :: InputMediaAudio -> Encoding # toJSONList :: [InputMediaAudio] -> Value # toEncodingList :: [InputMediaAudio] -> Encoding #
ToJSON InputMedia Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: InputMedia -> Value # toEncoding :: InputMedia -> Encoding # toJSONList :: [InputMedia] -> Value # toEncodingList :: [InputMedia] -> Encoding #
ToHttpApiData InputMediaAudio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: InputMediaAudio -> Text # toEncodedUrlPiece :: InputMediaAudio -> Builder # toHeader :: InputMediaAudio -> ByteString # toQueryParam :: InputMediaAudio -> Text #
Default InputMediaAudio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods def :: InputMediaAudio Source #
ToMultipart Mem InputMediaAudio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: InputMediaAudio -> MultipartData Mem #
ToMultipart Mem InputMedia Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: InputMedia -> MultipartData Mem #
ToHttpApiData (Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': ([] :: [Type]))))))) Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Text # toEncodedUrlPiece :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Builder # toHeader :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> ByteString # toQueryParam :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Text #
type Rep InputMediaAudio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia type Rep InputMediaAudio = D1 (MetaData "InputMediaAudio" "Web.Telegram.Types.Internal.InputMedia" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" False) (C1 (MetaCons "InputMediaAudio" PrefixI True) ((S1 (MetaSel (Just "media") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Either Text Media)) :: (S1 (MetaSel (Just "thumb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "caption") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: ((S1 (MetaSel (Just "parseMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ParseMode)) :: S1 (MetaSel (Just "duration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))) :: (S1 (MetaSel (Just "performer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "title") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))))))

data InputMediaDocument Source #

Constructors

InputMediaDocument
Fields media :: Either Text Media thumb :: Maybe Text caption :: Maybe Text parseMode :: Maybe ParseMode

Instances

Eq InputMediaDocument Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods (==) :: InputMediaDocument -> InputMediaDocument -> Bool # (/=) :: InputMediaDocument -> InputMediaDocument -> Bool #
Show InputMediaDocument Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods showsPrec :: Int -> InputMediaDocument -> ShowS # show :: InputMediaDocument -> String # showList :: [InputMediaDocument] -> ShowS #
Generic InputMediaDocument Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Associated Types type Rep InputMediaDocument :: Type -> Type # Methods from :: InputMediaDocument -> Rep InputMediaDocument x # to :: Rep InputMediaDocument x -> InputMediaDocument #
ToJSON InputMediaDocument Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: InputMediaDocument -> Value # toEncoding :: InputMediaDocument -> Encoding # toJSONList :: [InputMediaDocument] -> Value # toEncodingList :: [InputMediaDocument] -> Encoding #
ToJSON InputMedia Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: InputMedia -> Value # toEncoding :: InputMedia -> Encoding # toJSONList :: [InputMedia] -> Value # toEncodingList :: [InputMedia] -> Encoding #
ToHttpApiData InputMediaDocument Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: InputMediaDocument -> Text # toEncodedUrlPiece :: InputMediaDocument -> Builder # toHeader :: InputMediaDocument -> ByteString # toQueryParam :: InputMediaDocument -> Text #
Default InputMediaDocument Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods def :: InputMediaDocument Source #
ToMultipart Mem InputMediaDocument Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: InputMediaDocument -> MultipartData Mem #
ToMultipart Mem InputMedia Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: InputMedia -> MultipartData Mem #
ToHttpApiData (Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': ([] :: [Type]))))))) Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Text # toEncodedUrlPiece :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Builder # toHeader :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> ByteString # toQueryParam :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Text #
type Rep InputMediaDocument Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia type Rep InputMediaDocument = D1 (MetaData "InputMediaDocument" "Web.Telegram.Types.Internal.InputMedia" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" False) (C1 (MetaCons "InputMediaDocument" PrefixI True) ((S1 (MetaSel (Just "media") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Either Text Media)) :: S1 (MetaSel (Just "thumb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) :: (S1 (MetaSel (Just "caption") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "parseMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ParseMode)))))

data InputMediaVideo Source #

Constructors

InputMediaVideo
Fields media :: Either Text Media thumb :: Maybe Text caption :: Maybe Text parseMode :: Maybe ParseMode

Instances

Eq InputMediaVideo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods (==) :: InputMediaVideo -> InputMediaVideo -> Bool # (/=) :: InputMediaVideo -> InputMediaVideo -> Bool #
Show InputMediaVideo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods showsPrec :: Int -> InputMediaVideo -> ShowS # show :: InputMediaVideo -> String # showList :: [InputMediaVideo] -> ShowS #
Generic InputMediaVideo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Associated Types type Rep InputMediaVideo :: Type -> Type # Methods from :: InputMediaVideo -> Rep InputMediaVideo x # to :: Rep InputMediaVideo x -> InputMediaVideo #
ToJSON InputMediaVideo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: InputMediaVideo -> Value # toEncoding :: InputMediaVideo -> Encoding # toJSONList :: [InputMediaVideo] -> Value # toEncodingList :: [InputMediaVideo] -> Encoding #
ToJSON InputMedia Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: InputMedia -> Value # toEncoding :: InputMedia -> Encoding # toJSONList :: [InputMedia] -> Value # toEncodingList :: [InputMedia] -> Encoding #
ToJSON VideoOrPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: VideoOrPhoto -> Value # toEncoding :: VideoOrPhoto -> Encoding # toJSONList :: [VideoOrPhoto] -> Value # toEncodingList :: [VideoOrPhoto] -> Encoding #
ToHttpApiData InputMediaVideo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: InputMediaVideo -> Text # toEncodedUrlPiece :: InputMediaVideo -> Builder # toHeader :: InputMediaVideo -> ByteString # toQueryParam :: InputMediaVideo -> Text #
Default InputMediaVideo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods def :: InputMediaVideo Source #
ToMultipart Mem InputMediaVideo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: InputMediaVideo -> MultipartData Mem #
ToMultipart Mem InputMedia Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: InputMedia -> MultipartData Mem #
ToMultipart Mem VideoOrPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: VideoOrPhoto -> MultipartData Mem #
ToHttpApiData (Union (InputMediaPhoto ': (InputMediaVideo ': ([] :: [Type])))) Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: Union (InputMediaPhoto ': (InputMediaVideo ': [])) -> Text # toEncodedUrlPiece :: Union (InputMediaPhoto ': (InputMediaVideo ': [])) -> Builder # toHeader :: Union (InputMediaPhoto ': (InputMediaVideo ': [])) -> ByteString # toQueryParam :: Union (InputMediaPhoto ': (InputMediaVideo ': [])) -> Text #
ToHttpApiData (Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': ([] :: [Type]))))))) Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Text # toEncodedUrlPiece :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Builder # toHeader :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> ByteString # toQueryParam :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Text #
type Rep InputMediaVideo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia type Rep InputMediaVideo = D1 (MetaData "InputMediaVideo" "Web.Telegram.Types.Internal.InputMedia" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" False) (C1 (MetaCons "InputMediaVideo" PrefixI True) ((S1 (MetaSel (Just "media") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Either Text Media)) :: S1 (MetaSel (Just "thumb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) :: (S1 (MetaSel (Just "caption") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "parseMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ParseMode)))))

data InputMediaPhoto Source #

Constructors

InputMediaPhoto
Fields media :: Either Text Media caption :: Maybe Text parseMode :: Maybe ParseMode

Instances

Eq InputMediaPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods (==) :: InputMediaPhoto -> InputMediaPhoto -> Bool # (/=) :: InputMediaPhoto -> InputMediaPhoto -> Bool #
Show InputMediaPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods showsPrec :: Int -> InputMediaPhoto -> ShowS # show :: InputMediaPhoto -> String # showList :: [InputMediaPhoto] -> ShowS #
Generic InputMediaPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Associated Types type Rep InputMediaPhoto :: Type -> Type # Methods from :: InputMediaPhoto -> Rep InputMediaPhoto x # to :: Rep InputMediaPhoto x -> InputMediaPhoto #
ToJSON InputMediaPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: InputMediaPhoto -> Value # toEncoding :: InputMediaPhoto -> Encoding # toJSONList :: [InputMediaPhoto] -> Value # toEncodingList :: [InputMediaPhoto] -> Encoding #
ToJSON InputMedia Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: InputMedia -> Value # toEncoding :: InputMedia -> Encoding # toJSONList :: [InputMedia] -> Value # toEncodingList :: [InputMedia] -> Encoding #
ToJSON VideoOrPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toJSON :: VideoOrPhoto -> Value # toEncoding :: VideoOrPhoto -> Encoding # toJSONList :: [VideoOrPhoto] -> Value # toEncodingList :: [VideoOrPhoto] -> Encoding #
ToHttpApiData InputMediaPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: InputMediaPhoto -> Text # toEncodedUrlPiece :: InputMediaPhoto -> Builder # toHeader :: InputMediaPhoto -> ByteString # toQueryParam :: InputMediaPhoto -> Text #
Default InputMediaPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods def :: InputMediaPhoto Source #
ToMultipart Mem InputMediaPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: InputMediaPhoto -> MultipartData Mem #
ToMultipart Mem InputMedia Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: InputMedia -> MultipartData Mem #
ToMultipart Mem VideoOrPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toMultipart :: VideoOrPhoto -> MultipartData Mem #
ToHttpApiData (Union (InputMediaPhoto ': (InputMediaVideo ': ([] :: [Type])))) Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: Union (InputMediaPhoto ': (InputMediaVideo ': [])) -> Text # toEncodedUrlPiece :: Union (InputMediaPhoto ': (InputMediaVideo ': [])) -> Builder # toHeader :: Union (InputMediaPhoto ': (InputMediaVideo ': [])) -> ByteString # toQueryParam :: Union (InputMediaPhoto ': (InputMediaVideo ': [])) -> Text #
ToHttpApiData (Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': ([] :: [Type]))))))) Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia Methods toUrlPiece :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Text # toEncodedUrlPiece :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Builder # toHeader :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> ByteString # toQueryParam :: Union (InputMediaAnimation ': (InputMediaDocument ': (InputMediaAudio ': (InputMediaVideo ': (InputMediaPhoto ': []))))) -> Text #
type Rep InputMediaPhoto Source #
Instance details Defined in Web.Telegram.Types.Internal.InputMedia type Rep InputMediaPhoto = D1 (MetaData "InputMediaPhoto" "Web.Telegram.Types.Internal.InputMedia" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" False) (C1 (MetaCons "InputMediaPhoto" PrefixI True) (S1 (MetaSel (Just "media") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Either Text Media)) :: (S1 (MetaSel (Just "caption") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "parseMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ParseMode)))))

type InputMedia = Union '[InputMediaAnimation, InputMediaDocument, InputMediaAudio, InputMediaVideo, InputMediaPhoto] Source #

Uploading Files

data InputFile Source #

Constructors

InputFile
Fields fileName :: Text mimeType :: Text content :: ByteString

Instances

Eq InputFile Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: InputFile -> InputFile -> Bool # (/=) :: InputFile -> InputFile -> Bool #
Show InputFile Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> InputFile -> ShowS # show :: InputFile -> String # showList :: [InputFile] -> ShowS #
Generic InputFile Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep InputFile :: Type -> Type # Methods from :: InputFile -> Rep InputFile x # to :: Rep InputFile x -> InputFile #
Default InputFile Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: InputFile Source #
type Rep InputFile Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep InputFile = D1 (MetaData "InputFile" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" False) (C1 (MetaCons "InputFile" PrefixI True) (S1 (MetaSel (Just "fileName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "mimeType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "content") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))))

type VideoOrPhoto = Union '[InputMediaPhoto, InputMediaVideo] Source #

newtype Cert Source #

Constructors

Cert InputFile

Instances

Eq Cert Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: Cert -> Cert -> Bool # (/=) :: Cert -> Cert -> Bool #
Show Cert Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> Cert -> ShowS # show :: Cert -> String # showList :: [Cert] -> ShowS #
Generic Cert Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep Cert :: Type -> Type # Methods from :: Cert -> Rep Cert x # to :: Rep Cert x -> Cert #
Default Cert Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: Cert Source #
ToMultipart Mem Cert Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: Cert -> MultipartData Mem #
type Rep Cert Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep Cert = D1 (MetaData "Cert" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "Cert" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype Thumb Source #

Constructors

Thumb InputFile

Instances

Eq Thumb Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: Thumb -> Thumb -> Bool # (/=) :: Thumb -> Thumb -> Bool #
Show Thumb Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> Thumb -> ShowS # show :: Thumb -> String # showList :: [Thumb] -> ShowS #
Generic Thumb Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep Thumb :: Type -> Type # Methods from :: Thumb -> Rep Thumb x # to :: Rep Thumb x -> Thumb #
Default Thumb Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: Thumb Source #
ToMultipart Mem Thumb Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: Thumb -> MultipartData Mem #
type Rep Thumb Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep Thumb = D1 (MetaData "Thumb" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "Thumb" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype Photo Source #

Constructors

Photo InputFile

Instances

Eq Photo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: Photo -> Photo -> Bool # (/=) :: Photo -> Photo -> Bool #
Show Photo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> Photo -> ShowS # show :: Photo -> String # showList :: [Photo] -> ShowS #
Generic Photo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep Photo :: Type -> Type # Methods from :: Photo -> Rep Photo x # to :: Rep Photo x -> Photo #
Default Photo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: Photo Source #
ToMultipart Mem Photo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: Photo -> MultipartData Mem #
type Rep Photo Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep Photo = D1 (MetaData "Photo" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "Photo" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype Doc Source #

Constructors

Doc InputFile

Instances

Eq Doc Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: Doc -> Doc -> Bool # (/=) :: Doc -> Doc -> Bool #
Show Doc Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> Doc -> ShowS # show :: Doc -> String # showList :: [Doc] -> ShowS #
Generic Doc Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep Doc :: Type -> Type # Methods from :: Doc -> Rep Doc x # to :: Rep Doc x -> Doc #
Default Doc Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: Doc Source #
ToMultipart Mem Doc Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: Doc -> MultipartData Mem #
type Rep Doc Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep Doc = D1 (MetaData "Doc" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "Doc" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype Animation Source #

Constructors

Animation InputFile

Instances

Eq Animation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: Animation -> Animation -> Bool # (/=) :: Animation -> Animation -> Bool #
Show Animation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> Animation -> ShowS # show :: Animation -> String # showList :: [Animation] -> ShowS #
Generic Animation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep Animation :: Type -> Type # Methods from :: Animation -> Rep Animation x # to :: Rep Animation x -> Animation #
Default Animation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: Animation Source #
ToMultipart Mem Animation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: Animation -> MultipartData Mem #
type Rep Animation Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep Animation = D1 (MetaData "Animation" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "Animation" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype Audio Source #

Constructors

Audio InputFile

Instances

Eq Audio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: Audio -> Audio -> Bool # (/=) :: Audio -> Audio -> Bool #
Show Audio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> Audio -> ShowS # show :: Audio -> String # showList :: [Audio] -> ShowS #
Generic Audio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep Audio :: Type -> Type # Methods from :: Audio -> Rep Audio x # to :: Rep Audio x -> Audio #
Default Audio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: Audio Source #
ToMultipart Mem Audio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: Audio -> MultipartData Mem #
type Rep Audio Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep Audio = D1 (MetaData "Audio" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "Audio" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype Voice Source #

Constructors

Voice InputFile

Instances

Eq Voice Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: Voice -> Voice -> Bool # (/=) :: Voice -> Voice -> Bool #
Show Voice Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> Voice -> ShowS # show :: Voice -> String # showList :: [Voice] -> ShowS #
Generic Voice Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep Voice :: Type -> Type # Methods from :: Voice -> Rep Voice x # to :: Rep Voice x -> Voice #
Default Voice Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: Voice Source #
ToMultipart Mem Voice Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: Voice -> MultipartData Mem #
type Rep Voice Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep Voice = D1 (MetaData "Voice" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "Voice" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype Video Source #

Constructors

Video InputFile

Instances

Eq Video Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: Video -> Video -> Bool # (/=) :: Video -> Video -> Bool #
Show Video Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> Video -> ShowS # show :: Video -> String # showList :: [Video] -> ShowS #
Generic Video Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep Video :: Type -> Type # Methods from :: Video -> Rep Video x # to :: Rep Video x -> Video #
Default Video Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: Video Source #
ToMultipart Mem Video Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: Video -> MultipartData Mem #
type Rep Video Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep Video = D1 (MetaData "Video" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "Video" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype VideoNote Source #

Constructors

VideoNote InputFile

Instances

Eq VideoNote Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: VideoNote -> VideoNote -> Bool # (/=) :: VideoNote -> VideoNote -> Bool #
Show VideoNote Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> VideoNote -> ShowS # show :: VideoNote -> String # showList :: [VideoNote] -> ShowS #
Generic VideoNote Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep VideoNote :: Type -> Type # Methods from :: VideoNote -> Rep VideoNote x # to :: Rep VideoNote x -> VideoNote #
Default VideoNote Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: VideoNote Source #
ToMultipart Mem VideoNote Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: VideoNote -> MultipartData Mem #
type Rep VideoNote Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep VideoNote = D1 (MetaData "VideoNote" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "VideoNote" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype Sticker Source #

Constructors

Sticker InputFile

Instances

Eq Sticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: Sticker -> Sticker -> Bool # (/=) :: Sticker -> Sticker -> Bool #
Show Sticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> Sticker -> ShowS # show :: Sticker -> String # showList :: [Sticker] -> ShowS #
Generic Sticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep Sticker :: Type -> Type # Methods from :: Sticker -> Rep Sticker x # to :: Rep Sticker x -> Sticker #
Default Sticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: Sticker Source #
ToMultipart Mem Sticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: Sticker -> MultipartData Mem #
type Rep Sticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep Sticker = D1 (MetaData "Sticker" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "Sticker" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype PngSticker Source #

Constructors

PngSticker InputFile

Instances

Eq PngSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: PngSticker -> PngSticker -> Bool # (/=) :: PngSticker -> PngSticker -> Bool #
Show PngSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> PngSticker -> ShowS # show :: PngSticker -> String # showList :: [PngSticker] -> ShowS #
Generic PngSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep PngSticker :: Type -> Type # Methods from :: PngSticker -> Rep PngSticker x # to :: Rep PngSticker x -> PngSticker #
Default PngSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: PngSticker Source #
ToMultipart Mem PngSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: PngSticker -> MultipartData Mem #
type Rep PngSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep PngSticker = D1 (MetaData "PngSticker" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "PngSticker" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype TgsSticker Source #

Constructors

TgsSticker InputFile

Instances

Eq TgsSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: TgsSticker -> TgsSticker -> Bool # (/=) :: TgsSticker -> TgsSticker -> Bool #
Show TgsSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> TgsSticker -> ShowS # show :: TgsSticker -> String # showList :: [TgsSticker] -> ShowS #
Generic TgsSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep TgsSticker :: Type -> Type # Methods from :: TgsSticker -> Rep TgsSticker x # to :: Rep TgsSticker x -> TgsSticker #
Default TgsSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: TgsSticker Source #
ToMultipart Mem TgsSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: TgsSticker -> MultipartData Mem #
type Rep TgsSticker Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep TgsSticker = D1 (MetaData "TgsSticker" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "TgsSticker" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

newtype Media Source #

Constructors

Media InputFile

Instances

Eq Media Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods (==) :: Media -> Media -> Bool # (/=) :: Media -> Media -> Bool #
Show Media Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods showsPrec :: Int -> Media -> ShowS # show :: Media -> String # showList :: [Media] -> ShowS #
Generic Media Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Associated Types type Rep Media :: Type -> Type # Methods from :: Media -> Rep Media x # to :: Rep Media x -> Media #
Default Media Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods def :: Media Source #
ToMultipart Mem Media Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile Methods toMultipart :: Media -> MultipartData Mem #
type Rep Media Source #
Instance details Defined in Web.Telegram.Types.Internal.InputFile type Rep Media = D1 (MetaData "Media" "Web.Telegram.Types.Internal.InputFile" "telegram-types-0.4.1-1P4e2IAcVvTIzPu4vV22Qd" True) (C1 (MetaCons "Media" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputFile)))

readInput :: FilePath -> IO InputFile Source #