package preface

  1. Overview
  2. Docs

Source file state.ml

1
2
3
4
5
6
7
8
9
10
11
12
module Over (State : Preface_specs.Types.T0) = struct
  include Preface_make.State.Over_monad (Identity.Monad) (State)

  let exec_identity m s = Identity.extract (exec m s)

  let eval_identity m s = Identity.extract (eval m s)

  let run_identity m s = Identity.extract (run m s)

  module Functor = Preface_make.State.Functor (Identity.Functor) (State)
  module Applicative = Preface_make.State.Applicative (Identity.Monad) (State)
end