package bastet

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

Source file String.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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
open Interface

module Magma : MAGMA with type t = string = struct
  type t = string

  let append = ( ^ )
end

module Semigroup : SEMIGROUP with type t = string = struct
  include Magma
end

module Monoid : MONOID with type t = string = struct
  include Semigroup

  let empty = ""
end

module Quasigroup : QUASIGROUP with type t = string = struct
  include Magma
end

module Loop : LOOP with type t = string = struct
  include Quasigroup

  let empty = ""
end

module Eq : EQ with type t = string = struct
  type t = string

  let eq = ( = )
end

module Ord : ORD with type t = string = struct
  include Eq

  let compare = unsafe_compare
end

module Show : SHOW with type t = string = struct
  type t = string

  let show = Function.Category.id
end

module Infix = struct
  include Infix.Magma (Magma)
  include Infix.Eq (Eq)
  include Infix.Ord (Ord)
end