Module

QuickServe

Package: purescript-quickserve
Repository: paf31/purescript-quickserve

#IsResponse Source

class IsResponse response  where

Members

encodeResponse :: response -> String
responseType :: Proxy response -> String

Instances

IsResponse String
(Encode a) => IsResponse (JSON a)

#IsRequest Source

class IsRequest request  where

Members

decodeRequest :: String -> Either String request
requestType :: Proxy request -> String

Instances

IsRequest String
(Decode a) => IsRequest (JSON a)

#JSON Source

newtype JSON a

Constructors

JSON a

Instances

Newtype (JSON a) _
(Encode a) => IsResponse (JSON a)
(Decode a) => IsRequest (JSON a)

#Servable Source

class Servable eff server | server -> eff where

Members

serveWith :: server -> Request -> Response -> List String -> Maybe (Eff (http :: HTTP | eff) Unit)

Instances

(IsSymbol method, IsResponse response) => Servable eff (Method method eff response)
(IsRequest request, Servable eff service) => Servable eff (RequestBody request -> service)
(Servable eff server) => Servable eff (Constructor name server)
(Servable eff server) => Servable eff (Rec server)
(Servable eff route1, Servable eff route2) => Servable eff (Product route1 route2)
(IsSymbol route, Servable eff server) => Servable eff (Field route server)

#quickServe Source

quickServe :: forall server eff. Servable (console :: CONSOLE | eff) server => ListenOptions -> server -> Eff (console :: CONSOLE, http :: HTTP | eff) Unit

#Method Source

newtype Method (m :: Symbol) eff response

Constructors

Method (Aff (http :: HTTP | eff) response)

Instances

Newtype (Method m eff response) _
Functor (Method m eff)
Apply (Method m eff)
Applicative (Method m eff)
Bind (Method m eff)
Monad (Method m eff)
MonadEff (http :: HTTP | eff) (Method m eff)
MonadAff (http :: HTTP | eff) (Method m eff)
(IsSymbol method, IsResponse response) => Servable eff (Method method eff response)

#GET Source

type GET = Method "GET"

#POST Source

type POST = Method "POST"

#PUT Source

type PUT = Method "PUT"

#RequestBody Source

newtype RequestBody a

Constructors

RequestBody a

Instances

Newtype (RequestBody a) _
(IsRequest request, Servable eff service) => Servable eff (RequestBody request -> service)

#sendError Source

sendError :: forall eff. Response -> Int -> String -> String -> Eff (http :: HTTP | eff) Unit

#badRoute Source

badRoute :: forall eff. Response -> Eff (http :: HTTP | eff) Unit

#genericServeWith Source

genericServeWith :: forall rep routes eff. Generic routes rep => Servable eff rep => routes -> Request -> Response -> List String -> Maybe (Eff (http :: HTTP | eff) Unit)

Modules: QuickServe