Source file `applicative.ml`

1
2
3
4
5
6
7
8
9
10
module type LAWS = sig
  type 'a t

  include Indexed_applicative.LAWS with type ('a, _) t := 'a t
end

module For (A : Preface_specs.APPLICATIVE) : LAWS with type 'a t := 'a A.t =
struct
  include Indexed_applicative.For (Preface_make.Applicative.Index (A))
end