Safe Haskell	None
Language	Haskell2010

Roboservant.Types.ReifiedApi.Server

Documentation

class NormalizeFunction m where Source #

Associated Types

type Normal m Source #

Methods

normalize :: m -> Normal m Source #

Instances

Instances details

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

Instance details

Defined in Roboservant.Client

Associated Types

type Normal (ClientM x)
Instance details Defined in Roboservant.Client type Normal (ClientM x) = ReaderT ClientEnv IO (Either InteractionError (NonEmpty (Dynamic, Int)))

Methods

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

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

Instance details

Defined in Roboservant.Types.ReifiedApi.Server

Associated Types

type Normal (Handler x)
Instance details Defined in Roboservant.Types.ReifiedApi.Server type Normal (Handler x) = IO (Either InteractionError (NonEmpty (Dynamic, Int)))

Methods

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

NormalizeFunction x => NormalizeFunction (r -> x) Source #

Instance details

Defined in Roboservant.Types.ReifiedApi.Server

Associated Types

type Normal (r -> x)
Instance details Defined in Roboservant.Types.ReifiedApi.Server type Normal (r -> x) = r -> Normal x

Methods

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

type ReifiedApi = [(ApiOffset, ReifiedEndpoint)] Source #

class FlattenServer api where Source #

Methods

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

Instances

Instances details

FlattenServer (NamedRoutes routes) Source #
Instance details Defined in Roboservant.Types.ReifiedApi.Server Methods flattenServer :: Server (NamedRoutes routes) -> Bundled (Endpoints (NamedRoutes routes)) Source #
(FlattenServer api, Endpoints endpoint ~ '[endpoint]) => FlattenServer (endpoint :<\|> api) Source #
Instance details Defined in Roboservant.Types.ReifiedApi.Server Methods flattenServer :: Server (endpoint :<\|> api) -> Bundled (Endpoints (endpoint :<\|> api)) Source #
Endpoints api ~ '[api] => FlattenServer (x :> api) Source #
Instance details Defined in Roboservant.Types.ReifiedApi.Server Methods flattenServer :: Server (x :> api) -> Bundled (Endpoints (x :> api)) Source #
FlattenServer (Verb method statusCode contentTypes responseType) Source #
Instance details Defined in Roboservant.Types.ReifiedApi.Server Methods flattenServer :: Server (Verb method statusCode contentTypes responseType) -> Bundled (Endpoints (Verb method statusCode contentTypes responseType)) Source #

class ToReifiedApi (endpoints :: [k]) where Source #

Methods

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

Instances

Instances details

ToReifiedApi ('[] :: [k]) Source #
Instance details Defined in Roboservant.Types.ReifiedApi.Server Methods toReifiedApi :: Bundled ('[] :: [k]) -> Proxy ('[] :: [k]) -> ReifiedApi Source #
(GenericServant routes AsServer, FlattenServer (ToServantApi routes), Server (ToServantApi routes) ~ ToServant routes AsServer, ToReifiedApi (Endpoints (ToServantApi routes)), ToReifiedApi endpoints) => ToReifiedApi (NamedRoutes routes ': endpoints :: [Type]) Source #
Instance details Defined in Roboservant.Types.ReifiedApi.Server Methods toReifiedApi :: Bundled (NamedRoutes routes ': endpoints) -> Proxy (NamedRoutes routes ': endpoints) -> ReifiedApi Source #
(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]) Source #
Instance details Defined in Roboservant.Types.ReifiedApi.Server Methods toReifiedApi :: Bundled (endpoint ': endpoints) -> Proxy (endpoint ': endpoints) -> ReifiedApi Source #

data Bundled (endpoints :: [k]) where Source #

Constructors

AnEndpoint :: forall {k} (endpoint :: k) (endpoints1 :: [k]). Server endpoint -> Bundled endpoints1 -> Bundled (endpoint ': endpoints1)
NoEndpoints :: forall {k}. Bundled ('[] :: [k])

shiftOffsets :: ApiOffset -> ReifiedApi -> ReifiedApi Source #

type family Normal m Source #

Instances

Instances details

type Normal (ClientM x) Source #
Instance details Defined in Roboservant.Client type Normal (ClientM x) = ReaderT ClientEnv IO (Either InteractionError (NonEmpty (Dynamic, Int)))
type Normal (Handler x) Source #
Instance details Defined in Roboservant.Types.ReifiedApi.Server type Normal (Handler x) = IO (Either InteractionError (NonEmpty (Dynamic, Int)))
type Normal (r -> x) Source #
Instance details Defined in Roboservant.Types.ReifiedApi.Server type Normal (r -> x) = r -> Normal x