Presto.Core.Types.API

class RestEndpoint a b | a -> b, b -> a where

Members

• makeRequest :: a -> Headers -> Request
• decodeResponse :: String -> F b

defaultMakeRequest :: forall x a. Generic a x => GenericEncode x => Method -> URL -> Headers -> a -> Request

defaultMakeRequest_ :: Method -> URL -> Headers -> Request

defaultDecodeResponse :: forall x a. Generic a x => GenericDecode x => String -> F a

type RegTokens = { loginToken :: String, regToken :: String, tokenId :: String }

type HeaderField = String

type HeaderValue = String

data Header

Constructors

• Header HeaderField HeaderValue

Instances

• Generic Header _
• Encode Header
• Decode Header

newtype Headers

Constructors

• Headers (Array Header)

Instances

• Generic Headers _
• Encode Headers
• Decode Headers

type URL = String

data Method

Constructors

• POST
• GET
• PUT
• DELETE

Instances

• Generic Method _
• Encode Method
• Decode Method
• Show Method

newtype Request

Constructors

• Request { headers :: Headers, method :: Method, payload :: String, url :: URL }

Instances

• Generic Request _
• Encode Request
• Decode Request

newtype Response a

Constructors

• Response { code :: Int, response :: a, status :: String }

Instances

• Generic (Response a) _
• (Decode a) => Decode (Response a)
• (Encode a) => Encode (Response a)
• (Show a) => Show (Response a)

responsePayload :: forall a. Response a -> a

newtype ErrorPayload

Constructors

• ErrorPayload { error :: Boolean, errorMessage :: String, userMessage :: String }

Instances

• Generic ErrorPayload _
• Encode ErrorPayload
• Decode ErrorPayload
• Show ErrorPayload

type ErrorResponse = Response ErrorPayload