gluon 0.13.1

A static, type inferred programming language for application embedding
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

let { Body, ResponseBody, StatusCode, Method, Request, Response, Headers, HttpState, Uri } = import! std.http.prim_types

let { Eff } = import! std.effect
let { Error } = import! std.effect.error
let { Alt } = import! std.effect.alt
let { State } = import! std.effect.state
let { Lift } = import! std.effect.lift

/// Type used by handlers to indicate why they could not process a request
type Failure = | DontProcess | Error String


type HttpEffect r a = [| alt : Alt, state : State HttpState, lift : Lift IO | r |] a

{
    Method,
    Failure,
    Request,
    StatusCode,
    Headers,
    Response,
    ResponseBody,
    HttpEffect,
    HttpState,
    Uri,
}