Roboservant.Types.ReifiedApi.Server

Documentation

class NormalizeFunction m where

Associated Types

type Normal m

Methods

normalize :: m -> Normal m

Instances

(Typeable x, Hashable x, Breakdown x) => NormalizeFunction (ClientM x)

Defined in Roboservant.Client

Associated Types

type Normal (ClientM x)

Methods

normalize :: ClientM x -> Normal (ClientM x)

(Typeable x, Hashable x, Breakdown x) => NormalizeFunction (Handler x)

Defined in Roboservant.Types.ReifiedApi.Server

Associated Types

type Normal (Handler x)

Methods

normalize :: Handler x -> Normal (Handler x)

NormalizeFunction x => NormalizeFunction (r -> x)

Defined in Roboservant.Types.ReifiedApi.Server

Associated Types

type Normal (r -> x)

Methods

normalize :: (r -> x) -> Normal (r -> x)

class FlattenServer api where

Methods

flattenServer :: Server api -> Bundled (Endpoints api)

Instances

(FlattenServer api, Endpoints endpoint ~ '[endpoint]) => FlattenServer (endpoint :<|> api)

Defined in Roboservant.Types.ReifiedApi.Server

Methods

flattenServer :: Server (endpoint :<|> api) -> Bundled (Endpoints (endpoint :<|> api))

Endpoints api ~ '[api] => FlattenServer (x :> api)

Defined in Roboservant.Types.ReifiedApi.Server

Methods

flattenServer :: Server (x :> api) -> Bundled (Endpoints (x :> api))

FlattenServer (Verb method statusCode contentTypes responseType)

Defined in Roboservant.Types.ReifiedApi.Server

Methods

flattenServer :: Server (Verb method statusCode contentTypes responseType) -> Bundled (Endpoints (Verb method statusCode contentTypes responseType))

data Bundled endpoints where

Constructors

AnEndpoint :: Server endpoint -> Bundled endpoints -> Bundled (endpoint ': endpoints)

NoEndpoints :: Bundled '[]

class ToReifiedApi endpoints where

Methods

toReifiedApi :: Bundled endpoints -> Proxy endpoints -> ReifiedApi

Instances

ToReifiedApi ('[] :: [k])

Defined in Roboservant.Types.ReifiedApi.Server

Methods

toReifiedApi :: Bundled '[] -> Proxy '[] -> ReifiedApi

(NormalizeFunction (ServerT endpoint Handler), Normal (ServerT endpoint Handler) ~ Curried (EndpointArgs endpoint) (IO (Either InteractionError (NonEmpty (Dynamic, Int)))), ToReifiedEndpoint endpoint, ToReifiedApi endpoints) => ToReifiedApi (endpoint ': endpoints :: [Type])

Defined in Roboservant.Types.ReifiedApi.Server

Methods

toReifiedApi :: Bundled (endpoint ': endpoints) -> Proxy (endpoint ': endpoints) -> ReifiedApi

type ReifiedApi = [(ApiOffset, ReifiedEndpoint)]