package preface

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

Source file traced.ml

1
2
3
4
5
6
7
8
9
module Over (Tape : Preface_specs.MONOID) = struct
  include Preface_make.Traced.Over_comonad (Identity.Comonad) (Tape)

  let traced f = Identity.pure f
  let run_identity f x = (Identity.extract f) x

  module Functor = Preface_make.Traced.Functor (Identity.Functor) (Tape)
  module Invariant = Preface_make.Invariant.From_functor (Functor)
end
OCaml

Innovation. Community. Security.