Web.Telegraph.API

The telegraph API. Note that the Error HttpException effect should be interpreted using either errorToIOAsExc or errorToErrorIOAsExc or otherwise it won't get caught.

Types

data AccountInfo

Constructors

AccountInfo

Fields

• shortName :: Text
• authorName :: Text
• authorUrl :: Text

Instances

Eq AccountInfo

Defined in Web.Telegraph.API

Methods

(==) :: AccountInfo -> AccountInfo -> Bool

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

Show AccountInfo

Defined in Web.Telegraph.API

Methods

showsPrec :: Int -> AccountInfo -> ShowS

show :: AccountInfo -> String

showList :: [AccountInfo] -> ShowS

ToJSON AccountInfo

Defined in Web.Telegraph.API

Methods

toJSON :: AccountInfo -> Value

toEncoding :: AccountInfo -> Encoding

toJSONList :: [AccountInfo] -> Value

toEncodingList :: [AccountInfo] -> Encoding

FromJSON AccountInfo

Defined in Web.Telegraph.API

Methods

parseJSON :: Value -> Parser AccountInfo

parseJSONList :: Value -> Parser [AccountInfo]

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "authorName" k AccountInfo AccountInfo a b

Defined in Web.Telegraph.API

Methods

labelOptic :: Optic k NoIx AccountInfo AccountInfo a b

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "authorUrl" k AccountInfo AccountInfo a b

Defined in Web.Telegraph.API

Methods

labelOptic :: Optic k NoIx AccountInfo AccountInfo a b

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "shortName" k AccountInfo AccountInfo a b

Defined in Web.Telegraph.API

Methods

labelOptic :: Optic k NoIx AccountInfo AccountInfo a b

data TS

Telegraph state

Constructors

TS

Fields

• accessToken :: Text
• shortName :: Text
• authorName :: Text
• authorUrl :: Text

Instances

Eq TS

Defined in Control.Effect.Telegraph

Methods

(==) :: TS -> TS -> Bool

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

Show TS

Defined in Control.Effect.Telegraph

Methods

showsPrec :: Int -> TS -> ShowS

show :: TS -> String

showList :: [TS] -> ShowS

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "accessToken" k TS TS a b

Defined in Control.Effect.Telegraph

Methods

labelOptic :: Optic k NoIx TS TS a b

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "authorName" k TS TS a b

Defined in Control.Effect.Telegraph

Methods

labelOptic :: Optic k NoIx TS TS a b

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "authorUrl" k TS TS a b

Defined in Control.Effect.Telegraph

Methods

labelOptic :: Optic k NoIx TS TS a b

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "shortName" k TS TS a b

Defined in Control.Effect.Telegraph

Methods

labelOptic :: Optic k NoIx TS TS a b

Effects

data Telegraph :: Effect where

Constructors

TakeTS :: Telegraph m TS

ReadTS :: Telegraph m TS

PutTS :: TS -> Telegraph m ()

Instances

Effs '[Embed IO, Reader (MVar TS)] m => Handler TelegraphH Telegraph m

Defined in Control.Effect.Telegraph

Methods

effHandler :: EffHandler Telegraph m

data Http :: Effect where

Constructors

HttpLbs :: Request -> Http m (Response ByteString)

GenBoundary :: Http m ByteString

Instances

Effs '[Embed IO, Reader Manager] m => Handler HttpH Http m

Defined in Control.Effect.Telegraph

Methods

effHandler :: EffHandler Http m

type Telegraph' = Bundle '[Telegraph, Http, Error HttpException]

type Http' = Bundle '[Http, Error HttpException]

Interpreters

runTelegraph :: (Effs '[Embed IO, Reader Manager, Error HttpException, Throw TelegraphError] m, Threaders '[ReaderThreads] m p) => Text -> TelegraphToIOC m a -> m a

Interpret a Http effect together with a Telegraph effect with a supplied access token

runTelegraph' :: (Effs '[Embed IO, Reader Manager, Error HttpException, Throw TelegraphError] m, Threaders '[ReaderThreads] m p) => AccountInfo -> TelegraphToIOC m a -> m a

Interpret a Http effect together with a Telegraph effect with account info that will be used to create a new account

Account related APIs

editAccountInfo :: Effs '[Telegraph', Bracket, Throw TelegraphError] m => AccountInfo -> m ()

Use this method to update information about this Telegraph account

getAccountInfo :: Effs '[Telegraph', Throw TelegraphError] m => m Account

Use this method to get information about this Telegraph account

revokeAccessToken :: Effs '[Telegraph', Bracket, Error TelegraphError] m => m Account

Use this method to revoke access_token and generate a new one

createPage

Arguments

:: Effs '[Telegraph', Error TelegraphError] m

=> Text

title

-> [Node]

content

-> m Page

Use this method to create a new Telegraph page

editPage

Arguments

:: Effs '[Telegraph', Throw TelegraphError] m

=> Text

path

-> Text

title

-> [Node]

content

-> m Page

Use this method to edit an existing Telegraph page

getPageList

Arguments

:: Effs '[Telegraph', Throw TelegraphError] m

=> Int

offset

-> Int

limit (0 - 200)

-> m PageList

Use this method to get a list of pages belonging to this Telegraph account

Account independent APIs

createAccount :: Eff Http' m => AccountInfo -> m (Result Account)

Use this method to create a new Telegraph account

getAccountInfo' :: Eff Http' m => Text -> m (Result Account)

getPage :: Eff Http' m => Text -> m (Result Page)

Use this method to get a Telegraph page

getTotalViews :: Eff Http' m => Text -> m (Result PageViews)

Use this method to get the total number of views for a Telegraph article

Image uploading API

uploadImageFromFile :: Effs '[Telegraph', Bracket, Embed IO] m => FilePath -> m UploadResult

Upload a image from a filepath to Telegraph

uploadImageFromFiles :: Effs '[Telegraph', Bracket, Embed IO] m => [FilePath] -> m UploadResult

Upload a list of images to Telegraph. The resulting list of images will be in the same order

data ImgStream

Constructors

ImgStream

Fields

• name :: Text

  filename

• stream :: forall i n. MonadIO n => ConduitT i ByteString n ()

Instances

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "name" k ImgStream ImgStream a b

Defined in Web.Telegraph.API

Methods

labelOptic :: Optic k NoIx ImgStream ImgStream a b

uploadImageStreaming :: Eff Telegraph' m => ImgStream -> m UploadResult

Upload a image stream to Telegraph

uploadImagesStreaming :: Eff Telegraph' m => [ImgStream] -> m UploadResult

Upload a list of image streams to Telegraph. The resulting list of images

uploadParts :: Eff Telegraph' m => [PartM m] -> m UploadResult

Interpreter primitives

type TelegraphToIOC = CompositionC '[TelegraphC, ReaderC (MVar TS), HttpC]

type TelegraphC = InterpretC TelegraphH Telegraph

type HttpC = InterpretC HttpH Http

data TelegraphH

Instances

Effs '[Embed IO, Reader (MVar TS)] m => Handler TelegraphH Telegraph m

Defined in Control.Effect.Telegraph

Methods

effHandler :: EffHandler Telegraph m

data HttpH

Instances

Effs '[Embed IO, Reader Manager] m => Handler HttpH Http m

Defined in Control.Effect.Telegraph

Methods

effHandler :: EffHandler Http m

telegraph :: Effs '[Embed IO, Reader (MVar TS)] m => TelegraphC m a -> m a

http :: Effs '[Embed IO, Reader Manager] m => HttpC m a -> m a

Interpret an Http effect