package awsm

  1. Overview
  2. Docs
include Monad.S
type 'a s

The underlying actual monad type.

type t

Monad type lifted into the app type.

val inj : 'a s -> ('a, t)
val prj : ('a, t) -> 'a s
type 'a stream
val monad : t Monad.t
val make_stream : 'a stream -> ('a, t)
val make_http : (Meth.t -> Request.t -> Uri.t -> (t Response.t, 'error) Core.result s) -> (t, 'error) Call.t

Innovation. Community. Security.