package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

Dune Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

A

Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

N

Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.async/Frenetic_async/Common/index.html

Module `Frenetic_async.Common`Source

Sourceval profile : (unit -> 'a) -> float * 'a

Source

val printf : 
  ?level:[ `Debug | `Error | `Info ] ->
  ('a, unit, string, unit) Core.format4 ->
  'a

Sourceval extract_path : Cohttp_async.Request.t -> string list

Source

val handle_parse_errors : 
  Cohttp_async.Body.t ->
  (Cohttp_async.Body.t -> 'a Async.Deferred.t) ->
  ('a -> Cohttp_async.Server.response Async.Deferred.t) ->
  Cohttp_async.Server.response Async.Deferred.t

Source

val handle_parse_errors' : 
  Cohttp_async.Body.t ->
  (string -> 'a) ->
  ('a -> Cohttp_async.Server.response Async.Deferred.t) ->
  Cohttp_async.Server.response Async.Deferred.t

Source

val parse_update : 
  Cohttp_async.Body.t ->
  Frenetic_netkat.Syntax.policy Async_kernel__Deferred.t

Source

val parse_update_json : 
  Cohttp_async.Body.t ->
  Frenetic_netkat.Syntax.policy Async_kernel__Deferred.t

Source

val parse_config_json : 
  Cohttp_async.Body.t ->
  Frenetic_netkat.Local_compiler.compiler_options Async_kernel__Deferred.t

package frenetic

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frenetic.async/Frenetic_async/Common/index.html

Module Frenetic_async.CommonSource

Module `Frenetic_async.Common`Source