package jhupllib

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

Source file jhupllib_eager_nondeterminism.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
open Batteries;;

module type Nondeterminism_monad_sig =
sig
  type 'a m
  include Monad.MonadPlus with type 'a m := 'a m
  include Jhupllib_monad_utils.Utils with type 'a m := 'a m
  val pick_enum : 'a Enum.t -> 'a m
  val enum : 'a m -> 'a Enum.t

  val stop_unless : bool -> unit m
  val empty : unit -> 'a m
end;;

module Nondeterminism_monad_base : Monad.BasePlus with type 'a m = 'a list =
struct
  type 'a m = 'a list;;
  let return x = [x];;
  let bind x f = List.concat @@ List.map f x;;
  let zero () = [];;
  let null x = List.is_empty x;;
  let plus x y = List.append x y;;
end;;

module Nondeterminism_monad : Nondeterminism_monad_sig =
struct
  type 'a m = 'a Nondeterminism_monad_base.m;;
  include (Monad.MakePlus(Nondeterminism_monad_base) :
             Monad.MonadPlus with type 'a m := 'a m);;
  include (Jhupllib_monad_utils.Make(Nondeterminism_monad_base) :
             Jhupllib_monad_utils.Utils with type 'a m := 'a m);;
  let pick_enum = List.of_enum;;
  let enum = List.enum;;
  let stop_unless x = if x then [()] else [];;
  let empty () = [];;
end;;