package preface

  1. Overview
  2. Docs

Source file store.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
module Over (Store : Preface_specs.Types.T0) = struct
  include Preface_make.Store.Over_comonad (Identity.Comonad) (Store)

  let store f s = (Identity.pure f, s)

  let run_identity c =
    let f, s = run c in
    (Identity.extract f, s)
  ;;

  module Functor = Preface_make.Store.Functor (Identity.Functor) (Store)
  module Invariant = Preface_make.Invariant.From_functor (Functor)
end