package preface

  1. Overview
  2. Docs

Source file alternative.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
module type LAWS_MONOID = sig
  type 'a t

  include Indexed_alternative.LAWS_MONOID with type ('a, _) t := 'a t
end

module type LAWS_RIGHT_DISTRIBUTIVITY = sig
  type 'a t

  include
    Indexed_alternative.LAWS_RIGHT_DISTRIBUTIVITY with type ('a, _) t := 'a t
end

module type LAWS_RIGHT_ABSORPTION = sig
  type 'a t

  include Indexed_alternative.LAWS_RIGHT_ABSORPTION with type ('a, _) t := 'a t
end

module For_monoidal (A : Preface_specs.ALTERNATIVE) :
  LAWS_MONOID with type 'a t := 'a A.t = struct
  include Indexed_alternative.For_monoidal (Preface_make.Alternative.Index (A))
end

module For_right_distributivity (A : Preface_specs.ALTERNATIVE) :
  LAWS_RIGHT_DISTRIBUTIVITY with type 'a t := 'a A.t = struct
  include
    Indexed_alternative.For_right_distributivity
      (Preface_make.Alternative.Index (A))
end

module For_right_absorbtion (A : Preface_specs.ALTERNATIVE) :
  LAWS_RIGHT_ABSORPTION with type 'a t := 'a A.t = struct
  include
    Indexed_alternative.For_right_absorbtion (Preface_make.Alternative.Index (A))
end