1
2
3
4
5
6
7
8
9
10
module Over (Tape : Preface_specs.MONOID) = struct
include Preface_make.Writer.Over_monad (Identity.Monad) (Tape)
module Functor = Preface_make.Writer.Functor (Identity.Functor) (Tape)
module Applicative =
Preface_make.Writer.Applicative (Identity.Applicative) (Tape)
let run_identity x = Identity.extract (run x)
let exec_identity x = Identity.extract (exec x)
end