package imap

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type ('a, 'state, 'err) result =

type ('a, 'state, 'control) control

val flush : (unit, ImapTypes.state, _) control

val bind : 
  ('a, 'state, 'err) control ->
  ('a -> ('b, 'state, 'err) control) ->
  ('b, 'state, 'err) control

val fail : 'err -> (_, _, 'err) control

val liftP : 'a ImapParser.t -> ('a, ImapTypes.state, ImapTypes.error) control

val send : string -> (unit, ImapTypes.state, _) control

val ret : 'a -> ('a, _, _) control

val gets : ('state -> 'a) -> ('a, 'state, _) control

val modify : ('state -> 'state) -> (unit, 'state, _) control

val get : ('state, 'state, _) control

val put : 'state -> (unit, 'state, _) control

val catch : 
  ('a, 'state, 'err) control ->
  ('err -> ('a, 'state, 'err) control) ->
  ('a, 'state, 'err) control

val (>>=) : 
  ('a, 'state, 'err) control ->
  ('a -> ('b, 'state, 'err) control) ->
  ('b, 'state, 'err) control

val (>|=) : 
  ('a, 'state, 'err) control ->
  ('a -> 'b) ->
  ('b, 'state, 'err) control

val (>>) : 
  (_, 'state, 'err) control ->
  ('a, 'state, 'err) control ->
  ('a, 'state, 'err) control

val run : 
  ('a, ImapTypes.state, 'err) control ->
  ImapTypes.state ->
  ('a, ImapTypes.state, 'err) result