package opium_kernel

  1. Overview
  2. Docs

Module Rock.FilterSource

A filter is a higher order function that transforms a service into another service.

A filter is a higher order function that transforms a service into another service.

Sourcetype ('req, 'rep, 'req', 'rep') t = ('req, 'rep) Rock.Service.t -> ('req', 'rep') Rock.Service.t
Sourceval sexp_of_t : ('req -> Sexplib0.Sexp.t) -> ('rep -> Sexplib0.Sexp.t) -> ('req' -> Sexplib0.Sexp.t) -> ('rep' -> Sexplib0.Sexp.t) -> ('req, 'rep, 'req', 'rep') t -> Sexplib0.Sexp.t
Sourceval t_of_sexp : (Sexplib0.Sexp.t -> 'req) -> (Sexplib0.Sexp.t -> 'rep) -> (Sexplib0.Sexp.t -> 'req') -> (Sexplib0.Sexp.t -> 'rep') -> Sexplib0.Sexp.t -> ('req, 'rep, 'req', 'rep') t
Sourcetype ('req, 'rep) simple = ('req, 'rep, 'req, 'rep) t

A filter is simple when it preserves the type of a service

Sourceval sexp_of_simple : ('req -> Sexplib0.Sexp.t) -> ('rep -> Sexplib0.Sexp.t) -> ('req, 'rep) simple -> Sexplib0.Sexp.t
Sourceval simple_of_sexp : (Sexplib0.Sexp.t -> 'req) -> (Sexplib0.Sexp.t -> 'rep) -> Sexplib0.Sexp.t -> ('req, 'rep) simple
Sourceval id : ('req, 'rep) simple
Sourceval (>>>) : ('q1, 'p1, 'q2, 'p2) t -> ('q2, 'p2, 'q3, 'p3) t -> ('q1, 'p1, 'q3, 'p3) t
Sourceval apply_all : ('req, 'rep) simple list -> ('req, 'rep) Rock.Service.t -> ('req, 'rep) Rock.Service.t