package preface

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

Source file reader.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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
module Core_over_monad
    (Monad : Preface_specs.MONAD)
    (Env : Preface_specs.Types.T0) =
struct
  type env = Env.t
  type 'a monad = 'a Monad.t
  type 'a t = env -> 'a monad

  let upper m _ = m
  let run reader_m env = reader_m env
  let ask = Monad.return
  let local f reader x = reader (f x)
  let reader f = f
end

module Functor (F : Preface_specs.FUNCTOR) (Env : Preface_specs.Types.T0) =
Functor.Via_map (struct
  type 'a t = Env.t -> 'a F.t

  let map f reader x = (F.map f) (reader x)
end)

module Applicative
    (A : Preface_specs.APPLICATIVE)
    (Env : Preface_specs.Types.T0) =
Applicative.Via_pure_and_apply (struct
  type 'a t = Env.t -> 'a A.t

  let pure x = Fun.const (A.pure x)
  let apply reader_f reader_v x = A.apply (reader_f x) (reader_v x)
end)

module Alternative
    (A : Preface_specs.ALTERNATIVE)
    (Env : Preface_specs.Types.T0) =
  Alternative.Over_applicative
    (Applicative (A) (Env))
       (struct
         type 'a t = Env.t -> 'a A.t

         let neutral _ = A.neutral
         let combine reader_l reader_r r = A.combine (reader_l r) (reader_r r)
       end)

module Monad (M : Preface_specs.MONAD) (Env : Preface_specs.Types.T0) =
Monad.Via_return_and_bind (struct
  type 'a t = Env.t -> 'a M.t

  let return x = Fun.const (M.return x)
  let bind f reader r = M.bind (fun a -> (f a) r) (reader r)
end)

module Monad_plus (M : Preface_specs.MONAD_PLUS) (Env : Preface_specs.Types.T0) =
  Monad_plus.Over_monad
    (Monad (M) (Env))
       (struct
         type 'a t = Env.t -> 'a M.t

         let neutral _ = M.neutral
         let combine reader_l reader_r r = M.combine (reader_l r) (reader_r r)
       end)

module Over_monad (M : Preface_specs.MONAD) (Env : Preface_specs.Types.T0) =
struct
  include Core_over_monad (M) (Env)
  module Monad = Monad (M) (Env)
  include Monad
end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct