package coq

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Proofview_monad.LogicalSource

val return : 'a -> 'a t
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t
val (>>) : unit t -> 'a t -> 'a t
val map : ('a -> 'b) -> 'a t -> 'b t
module List : sig ... end
Sourceval ignore : 'a t -> unit t
Sourceval set : P.s -> unit t
Sourceval get : P.s t
Sourceval modify : (P.s -> P.s) -> unit t
Sourceval put : P.w -> unit t
Sourceval current : P.e t
Sourceval local : P.e -> 'a t -> 'a t
Sourceval update : (P.u -> P.u) -> unit t
Sourceval zero : Exninfo.iexn -> 'a t
Sourceval plus : 'a t -> (Exninfo.iexn -> 'a t) -> 'a t
Sourceval split : 'a t -> ('a, 'a t, Exninfo.iexn) Logic_monad.list_view t
Sourceval once : 'a t -> 'a t
Sourceval break : (Exninfo.iexn -> Exninfo.iexn option) -> 'a t -> 'a t
Sourceval lift : 'a Logic_monad.NonLogical.t -> 'a t
Sourceval run : 'a t -> P.e -> P.s -> ('a * P.s * P.w * P.u) reified
Sourcemodule Unsafe : sig ... end
OCaml

Innovation. Community. Security.