package libsail

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

Module Semantics.MonadSource

Sourcetype 'a t =
  1. | Pure of 'a
  2. | Early_return of Value_type.value
  3. | Exception of Value_type.value
  4. | Runtime_type_error of Parse_ast.l
  5. | Match_failure of Parse_ast.l
  6. | Assertion_failed of string
  7. | Call of Ast.id * Value_type.value list * return_value -> 'a t
  8. | Read_var of place * Value_type.value -> 'a t
  9. | Write_var of place * Value_type.value * unit -> 'a t
  10. | Get_undefined of Ast.typ * Value_type.value -> 'a t
Sourceval bind : 'a1 t -> ('a1 -> 'a2 t) -> 'a2 t
Sourceval fmap : ('a1 -> 'a2) -> 'a1 t -> 'a2 t
Sourceval pure : 'a1 -> 'a1 t
Sourceval lift_option : Parse_ast.l -> 'a1 option -> 'a1 t
Sourceval sequence : 'a1 t list -> 'a1 list t
Sourceval get_undefined : Ast.typ -> Value_type.value t
Sourceval throw : Value_type.value -> 'a1 t
Sourcetype 'a caught =
  1. | Continue of 'a
  2. | Caught of Value_type.value
Sourceval catch : 'a1 t -> 'a1 caught t