Linnet.Compile

Documentation

class Compile cts m es where

Minimal complete definition

compileWithContext

Methods

compile :: es -> Compiled m

Compile Endpoints into one Compiled ReaderT for further composition and final conversion to WAI Application

compileWithContext :: es -> CompileContext -> Compiled m

Instances

Monad m => Compile CNil m (HList ([] :: [Type]))

Defined in Linnet.Compile

Methods

compile :: HList [] -> Compiled m

compileWithContext :: HList [] -> CompileContext -> Compiled m

(Negotiable ct a, Negotiable ct SomeException, Negotiable ct (), Compile cts m (HList es), MonadCatch m) => Compile (ct :+: cts) m (HList (Endpoint m a ': es))

Defined in Linnet.Compile

Methods

compile :: HList (Endpoint m a ': es) -> Compiled m

compileWithContext :: HList (Endpoint m a ': es) -> CompileContext -> Compiled m

type Compiled m = ReaderT Request (WriterT Trace m) (Either SomeException Response)

Type alias for ReaderT with WriterT Trace inside to support endpoints tracing