├── .github ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── dot │ ├── cut.dot │ └── specs.dot └── workflows │ ├── deploy-doc.yml │ └── test.yml ├── .gitignore ├── .ocamlformat ├── CHANGES.md ├── CREDITS.md ├── LICENSE ├── Makefile ├── README.md ├── dune-project ├── esy.json ├── guides ├── README.md ├── dune ├── error_handling.md ├── freer_effect_handling.md └── option_instantiation.md ├── lib ├── dune ├── index.mld ├── preface │ ├── dune │ └── preface.ml ├── preface_core │ ├── dune │ ├── either.ml │ ├── either.mli │ ├── fun.ml │ ├── fun.mli │ ├── monoid.ml │ ├── monoid.mli │ ├── nonempty_list.ml │ ├── nonempty_list.mli │ ├── void.ml │ └── void.mli ├── preface_laws │ ├── alt.ml │ ├── alternative.ml │ ├── applicative.ml │ ├── apply.ml │ ├── arrow.ml │ ├── arrow_alt.ml │ ├── arrow_apply.ml │ ├── arrow_choice.ml │ ├── arrow_plus.ml │ ├── arrow_zero.ml │ ├── bifunctor.ml │ ├── bind.ml │ ├── bounded_join_semilattice.ml │ ├── bounded_lattice.ml │ ├── bounded_meet_semilattice.ml │ ├── category.ml │ ├── choice.ml │ ├── closed.ml │ ├── comonad.ml │ ├── contravariant.ml │ ├── decidable.ml │ ├── divisible.ml │ ├── dune │ ├── foldable.ml │ ├── functor.ml │ ├── indexed_alt.ml │ ├── indexed_alternative.ml │ ├── indexed_applicative.ml │ ├── indexed_apply.ml │ ├── indexed_bind.ml │ ├── indexed_comonad.ml │ ├── indexed_foldable.ml │ ├── indexed_functor.ml │ ├── indexed_monad.ml │ ├── indexed_monad_plus.ml │ ├── indexed_selective.ml │ ├── invariant.ml │ ├── join_semilattice.ml │ ├── lattice.ml │ ├── law.ml │ ├── law.mli │ ├── meet_semilattice.ml │ ├── monad.ml │ ├── monad_plus.ml │ ├── monoid.ml │ ├── preface_laws.mli │ ├── profunctor.ml │ ├── selective.ml │ ├── semigroup.ml │ ├── semigroupoid.ml │ ├── strong.ml │ ├── traversable.ml │ ├── util.ml │ └── util.mli ├── preface_make │ ├── alt.ml │ ├── alt.mli │ ├── alternative.ml │ ├── alternative.mli │ ├── applicative.ml │ ├── applicative.mli │ ├── apply.ml │ ├── apply.mli │ ├── arrow.ml │ ├── arrow.mli │ ├── arrow_alt.ml │ ├── arrow_alt.mli │ ├── arrow_apply.ml │ ├── arrow_apply.mli │ ├── arrow_choice.ml │ ├── arrow_choice.mli │ ├── arrow_plus.ml │ ├── arrow_plus.mli │ ├── arrow_zero.ml │ ├── arrow_zero.mli │ ├── bifunctor.ml │ ├── bifunctor.mli │ ├── bind.ml │ ├── bind.mli │ ├── bounded_join_semilattice.ml │ ├── bounded_join_semilattice.mli │ ├── bounded_lattice.ml │ ├── bounded_lattice.mli │ ├── bounded_meet_semilattice.ml │ ├── bounded_meet_semilattice.mli │ ├── category.ml │ ├── category.mli │ ├── choice.ml │ ├── choice.mli │ ├── closed.ml │ ├── closed.mli │ ├── clown.ml │ ├── clown.mli │ ├── cokleisli.ml │ ├── cokleisli.mli │ ├── comonad.ml │ ├── comonad.mli │ ├── contravariant.ml │ ├── contravariant.mli │ ├── decidable.ml │ ├── decidable.mli │ ├── divisible.ml │ ├── divisible.mli │ ├── dune │ ├── env.ml │ ├── env.mli │ ├── foldable.ml │ ├── foldable.mli │ ├── free_applicative.ml │ ├── free_applicative.mli │ ├── free_monad.ml │ ├── free_monad.mli │ ├── free_selective.ml │ ├── free_selective.mli │ ├── freer_monad.ml │ ├── freer_monad.mli │ ├── freer_selective.ml │ ├── freer_selective.mli │ ├── functor.ml │ ├── functor.mli │ ├── indexed_alt.ml │ ├── indexed_alt.mli │ ├── indexed_alternative.ml │ ├── indexed_alternative.mli │ ├── indexed_applicative.ml │ ├── indexed_applicative.mli │ ├── indexed_apply.ml │ ├── indexed_apply.mli │ ├── indexed_bind.ml │ ├── indexed_bind.mli │ ├── indexed_comonad.ml │ ├── indexed_comonad.mli │ ├── indexed_foldable.ml │ ├── indexed_foldable.mli │ ├── indexed_functor.ml │ ├── indexed_functor.mli │ ├── indexed_monad.ml │ ├── indexed_monad.mli │ ├── indexed_monad_plus.ml │ ├── indexed_monad_plus.mli │ ├── indexed_selective.ml │ ├── indexed_selective.mli │ ├── invariant.ml │ ├── invariant.mli │ ├── join.ml │ ├── join.mli │ ├── join_semilattice.ml │ ├── join_semilattice.mli │ ├── joker.ml │ ├── joker.mli │ ├── kleisli.ml │ ├── kleisli.mli │ ├── lattice.ml │ ├── lattice.mli │ ├── meet_semilattice.ml │ ├── meet_semilattice.mli │ ├── monad.ml │ ├── monad.mli │ ├── monad_plus.ml │ ├── monad_plus.mli │ ├── monoid.ml │ ├── monoid.mli │ ├── preface_make.mli │ ├── profunctor.ml │ ├── profunctor.mli │ ├── reader.ml │ ├── reader.mli │ ├── selective.ml │ ├── selective.mli │ ├── semigroup.ml │ ├── semigroup.mli │ ├── semigroupoid.ml │ ├── semigroupoid.mli │ ├── state.ml │ ├── state.mli │ ├── store.ml │ ├── store.mli │ ├── strong.ml │ ├── strong.mli │ ├── traced.ml │ ├── traced.mli │ ├── traversable.ml │ ├── traversable.mli │ ├── writer.ml │ └── writer.mli ├── preface_qcheck │ ├── alt.ml │ ├── alt.mli │ ├── alternative.ml │ ├── alternative.mli │ ├── applicative.ml │ ├── applicative.mli │ ├── apply.ml │ ├── apply.mli │ ├── arrow.ml │ ├── arrow.mli │ ├── arrow_alt.ml │ ├── arrow_alt.mli │ ├── arrow_apply.ml │ ├── arrow_apply.mli │ ├── arrow_choice.ml │ ├── arrow_choice.mli │ ├── arrow_plus.ml │ ├── arrow_plus.mli │ ├── arrow_zero.ml │ ├── arrow_zero.mli │ ├── bifunctor.ml │ ├── bifunctor.mli │ ├── bind.ml │ ├── bind.mli │ ├── bounded_join_semilattice.ml │ ├── bounded_join_semilattice.mli │ ├── bounded_lattice.ml │ ├── bounded_lattice.mli │ ├── bounded_meet_semilattice.ml │ ├── bounded_meet_semilattice.mli │ ├── category.ml │ ├── category.mli │ ├── choice.ml │ ├── choice.mli │ ├── closed.ml │ ├── closed.mli │ ├── comonad.ml │ ├── comonad.mli │ ├── contravariant.ml │ ├── contravariant.mli │ ├── decidable.ml │ ├── decidable.mli │ ├── divisible.ml │ ├── divisible.mli │ ├── dune │ ├── foldable.ml │ ├── foldable.mli │ ├── functor.ml │ ├── functor.mli │ ├── indexed_alt.ml │ ├── indexed_alt.mli │ ├── indexed_alternative.ml │ ├── indexed_applicative.ml │ ├── indexed_applicative.mli │ ├── indexed_apply.ml │ ├── indexed_apply.mli │ ├── indexed_bind.ml │ ├── indexed_bind.mli │ ├── indexed_comonad.ml │ ├── indexed_comonad.mli │ ├── indexed_foldable.ml │ ├── indexed_foldable.mli │ ├── indexed_functor.ml │ ├── indexed_functor.mli │ ├── indexed_monad.ml │ ├── indexed_monad.mli │ ├── indexed_monad_plus.ml │ ├── indexed_monad_plus.mli │ ├── indexed_selective.ml │ ├── invariant.ml │ ├── invariant.mli │ ├── join_semilattice.ml │ ├── join_semilattice.mli │ ├── lattice.ml │ ├── lattice.mli │ ├── meet_semilattice.ml │ ├── meet_semilattice.mli │ ├── model.mli │ ├── monad.ml │ ├── monad.mli │ ├── monad_plus.ml │ ├── monad_plus.mli │ ├── monoid.ml │ ├── monoid.mli │ ├── preface_qcheck.mli │ ├── profunctor.ml │ ├── profunctor.mli │ ├── selective.ml │ ├── selective.mli │ ├── semigroup.ml │ ├── semigroup.mli │ ├── semigroupoid.ml │ ├── semigroupoid.mli │ ├── strong.ml │ ├── strong.mli │ ├── traversable.ml │ ├── traversable.mli │ ├── util.ml │ ├── util.mli │ ├── writer.ml │ └── writer.mli ├── preface_specs │ ├── alt.mli │ ├── alternative.mli │ ├── applicative.mli │ ├── apply.mli │ ├── arrow.mli │ ├── arrow_alt.mli │ ├── arrow_apply.mli │ ├── arrow_choice.mli │ ├── arrow_plus.mli │ ├── arrow_zero.mli │ ├── bifunctor.mli │ ├── bind.mli │ ├── bounded_join_semilattice.mli │ ├── bounded_lattice.mli │ ├── bounded_meet_semilattice.mli │ ├── category.mli │ ├── choice.mli │ ├── closed.mli │ ├── comonad.mli │ ├── contravariant.mli │ ├── decidable.mli │ ├── divisible.mli │ ├── dune │ ├── env.mli │ ├── foldable.mli │ ├── free_applicative.mli │ ├── free_monad.mli │ ├── free_selective.mli │ ├── freer_monad.mli │ ├── freer_selective.mli │ ├── functor.mli │ ├── indexed_alt.mli │ ├── indexed_alternative.mli │ ├── indexed_applicative.mli │ ├── indexed_apply.mli │ ├── indexed_bind.mli │ ├── indexed_comonad.mli │ ├── indexed_foldable.mli │ ├── indexed_functor.mli │ ├── indexed_monad.mli │ ├── indexed_monad_plus.mli │ ├── indexed_selective.mli │ ├── invariant.mli │ ├── join_semilattice.mli │ ├── lattice.mli │ ├── meet_semilattice.mli │ ├── monad.mli │ ├── monad_plus.mli │ ├── monoid.mli │ ├── preface_specs.mli │ ├── profunctor.mli │ ├── reader.mli │ ├── selective.mli │ ├── semigroup.mli │ ├── semigroupoid.mli │ ├── state.mli │ ├── store.mli │ ├── strong.mli │ ├── traced.mli │ ├── traversable.mli │ ├── types.mli │ └── writer.mli └── preface_stdlib │ ├── approximation.ml │ ├── approximation.mli │ ├── continuation.ml │ ├── continuation.mli │ ├── dune │ ├── either.ml │ ├── either.mli │ ├── env.ml │ ├── env.mli │ ├── equivalence.ml │ ├── equivalence.mli │ ├── exn.ml │ ├── exn.mli │ ├── fun.ml │ ├── fun.mli │ ├── identity.ml │ ├── identity.mli │ ├── list.ml │ ├── list.mli │ ├── nonempty_list.ml │ ├── nonempty_list.mli │ ├── option.ml │ ├── option.mli │ ├── pair.ml │ ├── pair.mli │ ├── predicate.ml │ ├── predicate.mli │ ├── preface_stdlib.ml │ ├── reader.ml │ ├── reader.mli │ ├── result.ml │ ├── result.mli │ ├── seq.ml │ ├── seq.mli │ ├── state.ml │ ├── state.mli │ ├── store.ml │ ├── store.mli │ ├── stream.ml │ ├── stream.mli │ ├── traced.ml │ ├── traced.mli │ ├── try.ml │ ├── try.mli │ ├── validate.ml │ ├── validate.mli │ ├── validation.ml │ ├── validation.mli │ ├── void.ml │ ├── void.mli │ ├── writer.ml │ └── writer.mli ├── preface.opam └── test ├── preface_core_test ├── dune ├── fun_test.ml ├── fun_test.mli ├── nonempty_list_test.ml ├── nonempty_list_test.mli └── preface_core_test.ml ├── preface_examples_test ├── approximation_for_selective.ml ├── approximation_for_selective.mli ├── arrow_tutorial.ml ├── arrow_tutorial.mli ├── debruijn_reader.ml ├── debruijn_reader.mli ├── decidable_pp.ml ├── decidable_pp.mli ├── dune ├── formlet.ml ├── formlet.mli ├── free_applicative_formlet.ml ├── free_applicative_formlet.mli ├── free_monad_consoleIO.ml ├── free_monad_consoleIO.mli ├── free_monad_consoleIO_composition.ml ├── free_monad_consoleIO_composition.mli ├── free_selective_pingpong.ml ├── free_selective_pingpong.mli ├── freer_monad_consoleIO.ml ├── freer_monad_consoleIO.mli ├── freer_monad_os_effect.ml ├── freer_monad_os_effect.mli ├── freer_monad_os_explicit_continuation.ml ├── freer_monad_os_explicit_continuation.mli ├── freer_monad_print_read_or_fail.ml ├── freer_monad_print_read_or_fail.mli ├── freer_selective_ping_pong.ml ├── freer_selective_ping_pong.mli ├── preface_example_test.ml ├── shape.ml ├── shape.mli ├── template_reader.ml ├── template_reader.mli ├── traced_dependencies.ml ├── traced_dependencies.mli ├── xml_stax_writer.ml └── xml_stax_writer.mli ├── preface_laws_test ├── approximation.ml ├── approximation.mli ├── continuation.ml ├── continuation.mli ├── dune ├── either.ml ├── either.mli ├── equivalence.ml ├── equivalence.mli ├── fun.ml ├── fun.mli ├── identity.ml ├── identity.mli ├── list.ml ├── list.mli ├── misc.ml ├── misc.mli ├── nonempty_list.ml ├── nonempty_list.mli ├── option.ml ├── option.mli ├── pair.ml ├── pair.mli ├── predicate.ml ├── predicate.mli ├── preface_laws_test.ml ├── preface_laws_test.mli ├── req.ml ├── req.mli ├── result.ml ├── result.mli ├── sample.ml ├── sample.mli ├── seq.ml ├── seq.mli ├── stream.ml ├── stream.mli ├── try.ml ├── try.mli ├── util.ml ├── util.mli ├── validate.ml ├── validate.mli ├── validation.ml ├── validation.mli ├── writer.ml └── writer.mli └── preface_stdlib_test ├── continuation_test.ml ├── continuation_test.mli ├── dune ├── env_test.ml ├── env_test.mli ├── identity_test.ml ├── identity_test.mli ├── list_test.ml ├── list_test.mli ├── nonempty_list_test.ml ├── nonempty_list_test.mli ├── option_test.ml ├── option_test.mli ├── pair_test.ml ├── pair_test.mli ├── predicate_test.ml ├── predicate_test.mli ├── preface_stdlib_test.ml ├── seq_test.ml ├── seq_test.mli ├── state_test.ml ├── state_test.mli ├── store_test.ml ├── store_test.mli ├── stream_test.ml ├── stream_test.mli ├── traced_test.ml ├── traced_test.mli ├── try_test.ml └── try_test.mli /.github/CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/.github/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /.github/CONTRIBUTING.md: -------------------------------------------------------------------------------- 1 | # Contributing to Preface 2 | -------------------------------------------------------------------------------- /.github/dot/cut.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/.github/dot/cut.dot -------------------------------------------------------------------------------- /.github/dot/specs.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/.github/dot/specs.dot -------------------------------------------------------------------------------- /.github/workflows/deploy-doc.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/.github/workflows/deploy-doc.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/.ocamlformat -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/CHANGES.md -------------------------------------------------------------------------------- /CREDITS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/CREDITS.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/dune-project -------------------------------------------------------------------------------- /esy.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/esy.json -------------------------------------------------------------------------------- /guides/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/guides/README.md -------------------------------------------------------------------------------- /guides/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/guides/dune -------------------------------------------------------------------------------- /guides/error_handling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/guides/error_handling.md -------------------------------------------------------------------------------- /guides/freer_effect_handling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/guides/freer_effect_handling.md -------------------------------------------------------------------------------- /guides/option_instantiation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/guides/option_instantiation.md -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- 1 | (documentation 2 | (package preface)) 3 | -------------------------------------------------------------------------------- /lib/index.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/index.mld -------------------------------------------------------------------------------- /lib/preface/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface/dune -------------------------------------------------------------------------------- /lib/preface/preface.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface/preface.ml -------------------------------------------------------------------------------- /lib/preface_core/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_core/dune -------------------------------------------------------------------------------- /lib/preface_core/either.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_core/either.ml -------------------------------------------------------------------------------- /lib/preface_core/either.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_core/either.mli -------------------------------------------------------------------------------- /lib/preface_core/fun.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_core/fun.ml -------------------------------------------------------------------------------- /lib/preface_core/fun.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_core/fun.mli -------------------------------------------------------------------------------- /lib/preface_core/monoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_core/monoid.ml -------------------------------------------------------------------------------- /lib/preface_core/monoid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_core/monoid.mli -------------------------------------------------------------------------------- /lib/preface_core/nonempty_list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_core/nonempty_list.ml -------------------------------------------------------------------------------- /lib/preface_core/nonempty_list.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_core/nonempty_list.mli -------------------------------------------------------------------------------- /lib/preface_core/void.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_core/void.ml -------------------------------------------------------------------------------- /lib/preface_core/void.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_core/void.mli -------------------------------------------------------------------------------- /lib/preface_laws/alt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/alt.ml -------------------------------------------------------------------------------- /lib/preface_laws/alternative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/alternative.ml -------------------------------------------------------------------------------- /lib/preface_laws/applicative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/applicative.ml -------------------------------------------------------------------------------- /lib/preface_laws/apply.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/apply.ml -------------------------------------------------------------------------------- /lib/preface_laws/arrow.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/arrow.ml -------------------------------------------------------------------------------- /lib/preface_laws/arrow_alt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/arrow_alt.ml -------------------------------------------------------------------------------- /lib/preface_laws/arrow_apply.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/arrow_apply.ml -------------------------------------------------------------------------------- /lib/preface_laws/arrow_choice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/arrow_choice.ml -------------------------------------------------------------------------------- /lib/preface_laws/arrow_plus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/arrow_plus.ml -------------------------------------------------------------------------------- /lib/preface_laws/arrow_zero.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/arrow_zero.ml -------------------------------------------------------------------------------- /lib/preface_laws/bifunctor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/bifunctor.ml -------------------------------------------------------------------------------- /lib/preface_laws/bind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/bind.ml -------------------------------------------------------------------------------- /lib/preface_laws/bounded_join_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/bounded_join_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_laws/bounded_lattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/bounded_lattice.ml -------------------------------------------------------------------------------- /lib/preface_laws/bounded_meet_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/bounded_meet_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_laws/category.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/category.ml -------------------------------------------------------------------------------- /lib/preface_laws/choice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/choice.ml -------------------------------------------------------------------------------- /lib/preface_laws/closed.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/closed.ml -------------------------------------------------------------------------------- /lib/preface_laws/comonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/comonad.ml -------------------------------------------------------------------------------- /lib/preface_laws/contravariant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/contravariant.ml -------------------------------------------------------------------------------- /lib/preface_laws/decidable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/decidable.ml -------------------------------------------------------------------------------- /lib/preface_laws/divisible.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/divisible.ml -------------------------------------------------------------------------------- /lib/preface_laws/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/dune -------------------------------------------------------------------------------- /lib/preface_laws/foldable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/foldable.ml -------------------------------------------------------------------------------- /lib/preface_laws/functor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/functor.ml -------------------------------------------------------------------------------- /lib/preface_laws/indexed_alt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/indexed_alt.ml -------------------------------------------------------------------------------- /lib/preface_laws/indexed_alternative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/indexed_alternative.ml -------------------------------------------------------------------------------- /lib/preface_laws/indexed_applicative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/indexed_applicative.ml -------------------------------------------------------------------------------- /lib/preface_laws/indexed_apply.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/indexed_apply.ml -------------------------------------------------------------------------------- /lib/preface_laws/indexed_bind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/indexed_bind.ml -------------------------------------------------------------------------------- /lib/preface_laws/indexed_comonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/indexed_comonad.ml -------------------------------------------------------------------------------- /lib/preface_laws/indexed_foldable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/indexed_foldable.ml -------------------------------------------------------------------------------- /lib/preface_laws/indexed_functor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/indexed_functor.ml -------------------------------------------------------------------------------- /lib/preface_laws/indexed_monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/indexed_monad.ml -------------------------------------------------------------------------------- /lib/preface_laws/indexed_monad_plus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/indexed_monad_plus.ml -------------------------------------------------------------------------------- /lib/preface_laws/indexed_selective.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/indexed_selective.ml -------------------------------------------------------------------------------- /lib/preface_laws/invariant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/invariant.ml -------------------------------------------------------------------------------- /lib/preface_laws/join_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/join_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_laws/lattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/lattice.ml -------------------------------------------------------------------------------- /lib/preface_laws/law.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/law.ml -------------------------------------------------------------------------------- /lib/preface_laws/law.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/law.mli -------------------------------------------------------------------------------- /lib/preface_laws/meet_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/meet_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_laws/monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/monad.ml -------------------------------------------------------------------------------- /lib/preface_laws/monad_plus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/monad_plus.ml -------------------------------------------------------------------------------- /lib/preface_laws/monoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/monoid.ml -------------------------------------------------------------------------------- /lib/preface_laws/preface_laws.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/preface_laws.mli -------------------------------------------------------------------------------- /lib/preface_laws/profunctor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/profunctor.ml -------------------------------------------------------------------------------- /lib/preface_laws/selective.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/selective.ml -------------------------------------------------------------------------------- /lib/preface_laws/semigroup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/semigroup.ml -------------------------------------------------------------------------------- /lib/preface_laws/semigroupoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/semigroupoid.ml -------------------------------------------------------------------------------- /lib/preface_laws/strong.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/strong.ml -------------------------------------------------------------------------------- /lib/preface_laws/traversable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/traversable.ml -------------------------------------------------------------------------------- /lib/preface_laws/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/util.ml -------------------------------------------------------------------------------- /lib/preface_laws/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_laws/util.mli -------------------------------------------------------------------------------- /lib/preface_make/alt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/alt.ml -------------------------------------------------------------------------------- /lib/preface_make/alt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/alt.mli -------------------------------------------------------------------------------- /lib/preface_make/alternative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/alternative.ml -------------------------------------------------------------------------------- /lib/preface_make/alternative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/alternative.mli -------------------------------------------------------------------------------- /lib/preface_make/applicative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/applicative.ml -------------------------------------------------------------------------------- /lib/preface_make/applicative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/applicative.mli -------------------------------------------------------------------------------- /lib/preface_make/apply.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/apply.ml -------------------------------------------------------------------------------- /lib/preface_make/apply.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/apply.mli -------------------------------------------------------------------------------- /lib/preface_make/arrow.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow.ml -------------------------------------------------------------------------------- /lib/preface_make/arrow.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow.mli -------------------------------------------------------------------------------- /lib/preface_make/arrow_alt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow_alt.ml -------------------------------------------------------------------------------- /lib/preface_make/arrow_alt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow_alt.mli -------------------------------------------------------------------------------- /lib/preface_make/arrow_apply.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow_apply.ml -------------------------------------------------------------------------------- /lib/preface_make/arrow_apply.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow_apply.mli -------------------------------------------------------------------------------- /lib/preface_make/arrow_choice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow_choice.ml -------------------------------------------------------------------------------- /lib/preface_make/arrow_choice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow_choice.mli -------------------------------------------------------------------------------- /lib/preface_make/arrow_plus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow_plus.ml -------------------------------------------------------------------------------- /lib/preface_make/arrow_plus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow_plus.mli -------------------------------------------------------------------------------- /lib/preface_make/arrow_zero.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow_zero.ml -------------------------------------------------------------------------------- /lib/preface_make/arrow_zero.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/arrow_zero.mli -------------------------------------------------------------------------------- /lib/preface_make/bifunctor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/bifunctor.ml -------------------------------------------------------------------------------- /lib/preface_make/bifunctor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/bifunctor.mli -------------------------------------------------------------------------------- /lib/preface_make/bind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/bind.ml -------------------------------------------------------------------------------- /lib/preface_make/bind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/bind.mli -------------------------------------------------------------------------------- /lib/preface_make/bounded_join_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/bounded_join_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_make/bounded_join_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/bounded_join_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_make/bounded_lattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/bounded_lattice.ml -------------------------------------------------------------------------------- /lib/preface_make/bounded_lattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/bounded_lattice.mli -------------------------------------------------------------------------------- /lib/preface_make/bounded_meet_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/bounded_meet_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_make/bounded_meet_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/bounded_meet_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_make/category.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/category.ml -------------------------------------------------------------------------------- /lib/preface_make/category.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/category.mli -------------------------------------------------------------------------------- /lib/preface_make/choice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/choice.ml -------------------------------------------------------------------------------- /lib/preface_make/choice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/choice.mli -------------------------------------------------------------------------------- /lib/preface_make/closed.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/closed.ml -------------------------------------------------------------------------------- /lib/preface_make/closed.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/closed.mli -------------------------------------------------------------------------------- /lib/preface_make/clown.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/clown.ml -------------------------------------------------------------------------------- /lib/preface_make/clown.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/clown.mli -------------------------------------------------------------------------------- /lib/preface_make/cokleisli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/cokleisli.ml -------------------------------------------------------------------------------- /lib/preface_make/cokleisli.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/cokleisli.mli -------------------------------------------------------------------------------- /lib/preface_make/comonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/comonad.ml -------------------------------------------------------------------------------- /lib/preface_make/comonad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/comonad.mli -------------------------------------------------------------------------------- /lib/preface_make/contravariant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/contravariant.ml -------------------------------------------------------------------------------- /lib/preface_make/contravariant.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/contravariant.mli -------------------------------------------------------------------------------- /lib/preface_make/decidable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/decidable.ml -------------------------------------------------------------------------------- /lib/preface_make/decidable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/decidable.mli -------------------------------------------------------------------------------- /lib/preface_make/divisible.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/divisible.ml -------------------------------------------------------------------------------- /lib/preface_make/divisible.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/divisible.mli -------------------------------------------------------------------------------- /lib/preface_make/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/dune -------------------------------------------------------------------------------- /lib/preface_make/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/env.ml -------------------------------------------------------------------------------- /lib/preface_make/env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/env.mli -------------------------------------------------------------------------------- /lib/preface_make/foldable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/foldable.ml -------------------------------------------------------------------------------- /lib/preface_make/foldable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/foldable.mli -------------------------------------------------------------------------------- /lib/preface_make/free_applicative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/free_applicative.ml -------------------------------------------------------------------------------- /lib/preface_make/free_applicative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/free_applicative.mli -------------------------------------------------------------------------------- /lib/preface_make/free_monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/free_monad.ml -------------------------------------------------------------------------------- /lib/preface_make/free_monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/free_monad.mli -------------------------------------------------------------------------------- /lib/preface_make/free_selective.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/free_selective.ml -------------------------------------------------------------------------------- /lib/preface_make/free_selective.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/free_selective.mli -------------------------------------------------------------------------------- /lib/preface_make/freer_monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/freer_monad.ml -------------------------------------------------------------------------------- /lib/preface_make/freer_monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/freer_monad.mli -------------------------------------------------------------------------------- /lib/preface_make/freer_selective.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/freer_selective.ml -------------------------------------------------------------------------------- /lib/preface_make/freer_selective.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/freer_selective.mli -------------------------------------------------------------------------------- /lib/preface_make/functor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/functor.ml -------------------------------------------------------------------------------- /lib/preface_make/functor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/functor.mli -------------------------------------------------------------------------------- /lib/preface_make/indexed_alt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_alt.ml -------------------------------------------------------------------------------- /lib/preface_make/indexed_alt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_alt.mli -------------------------------------------------------------------------------- /lib/preface_make/indexed_alternative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_alternative.ml -------------------------------------------------------------------------------- /lib/preface_make/indexed_alternative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_alternative.mli -------------------------------------------------------------------------------- /lib/preface_make/indexed_applicative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_applicative.ml -------------------------------------------------------------------------------- /lib/preface_make/indexed_applicative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_applicative.mli -------------------------------------------------------------------------------- /lib/preface_make/indexed_apply.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_apply.ml -------------------------------------------------------------------------------- /lib/preface_make/indexed_apply.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_apply.mli -------------------------------------------------------------------------------- /lib/preface_make/indexed_bind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_bind.ml -------------------------------------------------------------------------------- /lib/preface_make/indexed_bind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_bind.mli -------------------------------------------------------------------------------- /lib/preface_make/indexed_comonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_comonad.ml -------------------------------------------------------------------------------- /lib/preface_make/indexed_comonad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_comonad.mli -------------------------------------------------------------------------------- /lib/preface_make/indexed_foldable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_foldable.ml -------------------------------------------------------------------------------- /lib/preface_make/indexed_foldable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_foldable.mli -------------------------------------------------------------------------------- /lib/preface_make/indexed_functor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_functor.ml -------------------------------------------------------------------------------- /lib/preface_make/indexed_functor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_functor.mli -------------------------------------------------------------------------------- /lib/preface_make/indexed_monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_monad.ml -------------------------------------------------------------------------------- /lib/preface_make/indexed_monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_monad.mli -------------------------------------------------------------------------------- /lib/preface_make/indexed_monad_plus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_monad_plus.ml -------------------------------------------------------------------------------- /lib/preface_make/indexed_monad_plus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_monad_plus.mli -------------------------------------------------------------------------------- /lib/preface_make/indexed_selective.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_selective.ml -------------------------------------------------------------------------------- /lib/preface_make/indexed_selective.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/indexed_selective.mli -------------------------------------------------------------------------------- /lib/preface_make/invariant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/invariant.ml -------------------------------------------------------------------------------- /lib/preface_make/invariant.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/invariant.mli -------------------------------------------------------------------------------- /lib/preface_make/join.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/join.ml -------------------------------------------------------------------------------- /lib/preface_make/join.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/join.mli -------------------------------------------------------------------------------- /lib/preface_make/join_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/join_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_make/join_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/join_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_make/joker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/joker.ml -------------------------------------------------------------------------------- /lib/preface_make/joker.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/joker.mli -------------------------------------------------------------------------------- /lib/preface_make/kleisli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/kleisli.ml -------------------------------------------------------------------------------- /lib/preface_make/kleisli.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/kleisli.mli -------------------------------------------------------------------------------- /lib/preface_make/lattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/lattice.ml -------------------------------------------------------------------------------- /lib/preface_make/lattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/lattice.mli -------------------------------------------------------------------------------- /lib/preface_make/meet_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/meet_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_make/meet_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/meet_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_make/monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/monad.ml -------------------------------------------------------------------------------- /lib/preface_make/monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/monad.mli -------------------------------------------------------------------------------- /lib/preface_make/monad_plus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/monad_plus.ml -------------------------------------------------------------------------------- /lib/preface_make/monad_plus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/monad_plus.mli -------------------------------------------------------------------------------- /lib/preface_make/monoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/monoid.ml -------------------------------------------------------------------------------- /lib/preface_make/monoid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/monoid.mli -------------------------------------------------------------------------------- /lib/preface_make/preface_make.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/preface_make.mli -------------------------------------------------------------------------------- /lib/preface_make/profunctor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/profunctor.ml -------------------------------------------------------------------------------- /lib/preface_make/profunctor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/profunctor.mli -------------------------------------------------------------------------------- /lib/preface_make/reader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/reader.ml -------------------------------------------------------------------------------- /lib/preface_make/reader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/reader.mli -------------------------------------------------------------------------------- /lib/preface_make/selective.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/selective.ml -------------------------------------------------------------------------------- /lib/preface_make/selective.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/selective.mli -------------------------------------------------------------------------------- /lib/preface_make/semigroup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/semigroup.ml -------------------------------------------------------------------------------- /lib/preface_make/semigroup.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/semigroup.mli -------------------------------------------------------------------------------- /lib/preface_make/semigroupoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/semigroupoid.ml -------------------------------------------------------------------------------- /lib/preface_make/semigroupoid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/semigroupoid.mli -------------------------------------------------------------------------------- /lib/preface_make/state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/state.ml -------------------------------------------------------------------------------- /lib/preface_make/state.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/state.mli -------------------------------------------------------------------------------- /lib/preface_make/store.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/store.ml -------------------------------------------------------------------------------- /lib/preface_make/store.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/store.mli -------------------------------------------------------------------------------- /lib/preface_make/strong.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/strong.ml -------------------------------------------------------------------------------- /lib/preface_make/strong.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/strong.mli -------------------------------------------------------------------------------- /lib/preface_make/traced.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/traced.ml -------------------------------------------------------------------------------- /lib/preface_make/traced.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/traced.mli -------------------------------------------------------------------------------- /lib/preface_make/traversable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/traversable.ml -------------------------------------------------------------------------------- /lib/preface_make/traversable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/traversable.mli -------------------------------------------------------------------------------- /lib/preface_make/writer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/writer.ml -------------------------------------------------------------------------------- /lib/preface_make/writer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_make/writer.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/alt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/alt.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/alt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/alt.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/alternative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/alternative.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/alternative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/alternative.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/applicative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/applicative.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/applicative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/applicative.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/apply.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/apply.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/apply.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/apply.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow_alt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow_alt.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow_alt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow_alt.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow_apply.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow_apply.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow_apply.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow_apply.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow_choice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow_choice.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow_choice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow_choice.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow_plus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow_plus.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow_plus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow_plus.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow_zero.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow_zero.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/arrow_zero.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/arrow_zero.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/bifunctor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/bifunctor.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/bifunctor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/bifunctor.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/bind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/bind.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/bind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/bind.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/bounded_join_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/bounded_join_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/bounded_join_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/bounded_join_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/bounded_lattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/bounded_lattice.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/bounded_lattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/bounded_lattice.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/bounded_meet_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/bounded_meet_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/bounded_meet_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/bounded_meet_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/category.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/category.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/category.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/category.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/choice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/choice.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/choice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/choice.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/closed.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/closed.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/closed.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/closed.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/comonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/comonad.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/comonad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/comonad.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/contravariant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/contravariant.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/contravariant.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/contravariant.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/decidable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/decidable.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/decidable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/decidable.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/divisible.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/divisible.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/divisible.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/divisible.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/dune -------------------------------------------------------------------------------- /lib/preface_qcheck/foldable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/foldable.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/foldable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/foldable.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/functor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/functor.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/functor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/functor.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_alt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_alt.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_alt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_alt.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_alternative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_alternative.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_applicative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_applicative.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_applicative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_applicative.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_apply.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_apply.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_apply.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_apply.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_bind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_bind.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_bind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_bind.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_comonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_comonad.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_comonad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_comonad.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_foldable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_foldable.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_foldable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_foldable.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_functor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_functor.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_functor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_functor.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_monad.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_monad.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_monad_plus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_monad_plus.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_monad_plus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_monad_plus.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/indexed_selective.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/indexed_selective.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/invariant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/invariant.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/invariant.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/invariant.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/join_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/join_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/join_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/join_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/lattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/lattice.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/lattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/lattice.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/meet_semilattice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/meet_semilattice.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/meet_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/meet_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/model.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/model.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/monad.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/monad.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/monad_plus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/monad_plus.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/monad_plus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/monad_plus.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/monoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/monoid.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/monoid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/monoid.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/preface_qcheck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/preface_qcheck.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/profunctor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/profunctor.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/profunctor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/profunctor.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/selective.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/selective.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/selective.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/selective.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/semigroup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/semigroup.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/semigroup.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/semigroup.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/semigroupoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/semigroupoid.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/semigroupoid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/semigroupoid.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/strong.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/strong.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/strong.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/strong.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/traversable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/traversable.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/traversable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/traversable.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/util.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/util.mli -------------------------------------------------------------------------------- /lib/preface_qcheck/writer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/writer.ml -------------------------------------------------------------------------------- /lib/preface_qcheck/writer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_qcheck/writer.mli -------------------------------------------------------------------------------- /lib/preface_specs/alt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/alt.mli -------------------------------------------------------------------------------- /lib/preface_specs/alternative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/alternative.mli -------------------------------------------------------------------------------- /lib/preface_specs/applicative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/applicative.mli -------------------------------------------------------------------------------- /lib/preface_specs/apply.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/apply.mli -------------------------------------------------------------------------------- /lib/preface_specs/arrow.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/arrow.mli -------------------------------------------------------------------------------- /lib/preface_specs/arrow_alt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/arrow_alt.mli -------------------------------------------------------------------------------- /lib/preface_specs/arrow_apply.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/arrow_apply.mli -------------------------------------------------------------------------------- /lib/preface_specs/arrow_choice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/arrow_choice.mli -------------------------------------------------------------------------------- /lib/preface_specs/arrow_plus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/arrow_plus.mli -------------------------------------------------------------------------------- /lib/preface_specs/arrow_zero.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/arrow_zero.mli -------------------------------------------------------------------------------- /lib/preface_specs/bifunctor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/bifunctor.mli -------------------------------------------------------------------------------- /lib/preface_specs/bind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/bind.mli -------------------------------------------------------------------------------- /lib/preface_specs/bounded_join_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/bounded_join_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_specs/bounded_lattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/bounded_lattice.mli -------------------------------------------------------------------------------- /lib/preface_specs/bounded_meet_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/bounded_meet_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_specs/category.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/category.mli -------------------------------------------------------------------------------- /lib/preface_specs/choice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/choice.mli -------------------------------------------------------------------------------- /lib/preface_specs/closed.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/closed.mli -------------------------------------------------------------------------------- /lib/preface_specs/comonad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/comonad.mli -------------------------------------------------------------------------------- /lib/preface_specs/contravariant.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/contravariant.mli -------------------------------------------------------------------------------- /lib/preface_specs/decidable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/decidable.mli -------------------------------------------------------------------------------- /lib/preface_specs/divisible.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/divisible.mli -------------------------------------------------------------------------------- /lib/preface_specs/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/dune -------------------------------------------------------------------------------- /lib/preface_specs/env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/env.mli -------------------------------------------------------------------------------- /lib/preface_specs/foldable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/foldable.mli -------------------------------------------------------------------------------- /lib/preface_specs/free_applicative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/free_applicative.mli -------------------------------------------------------------------------------- /lib/preface_specs/free_monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/free_monad.mli -------------------------------------------------------------------------------- /lib/preface_specs/free_selective.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/free_selective.mli -------------------------------------------------------------------------------- /lib/preface_specs/freer_monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/freer_monad.mli -------------------------------------------------------------------------------- /lib/preface_specs/freer_selective.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/freer_selective.mli -------------------------------------------------------------------------------- /lib/preface_specs/functor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/functor.mli -------------------------------------------------------------------------------- /lib/preface_specs/indexed_alt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/indexed_alt.mli -------------------------------------------------------------------------------- /lib/preface_specs/indexed_alternative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/indexed_alternative.mli -------------------------------------------------------------------------------- /lib/preface_specs/indexed_applicative.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/indexed_applicative.mli -------------------------------------------------------------------------------- /lib/preface_specs/indexed_apply.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/indexed_apply.mli -------------------------------------------------------------------------------- /lib/preface_specs/indexed_bind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/indexed_bind.mli -------------------------------------------------------------------------------- /lib/preface_specs/indexed_comonad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/indexed_comonad.mli -------------------------------------------------------------------------------- /lib/preface_specs/indexed_foldable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/indexed_foldable.mli -------------------------------------------------------------------------------- /lib/preface_specs/indexed_functor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/indexed_functor.mli -------------------------------------------------------------------------------- /lib/preface_specs/indexed_monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/indexed_monad.mli -------------------------------------------------------------------------------- /lib/preface_specs/indexed_monad_plus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/indexed_monad_plus.mli -------------------------------------------------------------------------------- /lib/preface_specs/indexed_selective.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/indexed_selective.mli -------------------------------------------------------------------------------- /lib/preface_specs/invariant.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/invariant.mli -------------------------------------------------------------------------------- /lib/preface_specs/join_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/join_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_specs/lattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/lattice.mli -------------------------------------------------------------------------------- /lib/preface_specs/meet_semilattice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/meet_semilattice.mli -------------------------------------------------------------------------------- /lib/preface_specs/monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/monad.mli -------------------------------------------------------------------------------- /lib/preface_specs/monad_plus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/monad_plus.mli -------------------------------------------------------------------------------- /lib/preface_specs/monoid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/monoid.mli -------------------------------------------------------------------------------- /lib/preface_specs/preface_specs.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/preface_specs.mli -------------------------------------------------------------------------------- /lib/preface_specs/profunctor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/profunctor.mli -------------------------------------------------------------------------------- /lib/preface_specs/reader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/reader.mli -------------------------------------------------------------------------------- /lib/preface_specs/selective.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/selective.mli -------------------------------------------------------------------------------- /lib/preface_specs/semigroup.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/semigroup.mli -------------------------------------------------------------------------------- /lib/preface_specs/semigroupoid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/semigroupoid.mli -------------------------------------------------------------------------------- /lib/preface_specs/state.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/state.mli -------------------------------------------------------------------------------- /lib/preface_specs/store.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/store.mli -------------------------------------------------------------------------------- /lib/preface_specs/strong.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/strong.mli -------------------------------------------------------------------------------- /lib/preface_specs/traced.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/traced.mli -------------------------------------------------------------------------------- /lib/preface_specs/traversable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/traversable.mli -------------------------------------------------------------------------------- /lib/preface_specs/types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/types.mli -------------------------------------------------------------------------------- /lib/preface_specs/writer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_specs/writer.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/approximation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/approximation.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/approximation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/approximation.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/continuation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/continuation.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/continuation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/continuation.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/dune -------------------------------------------------------------------------------- /lib/preface_stdlib/either.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/either.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/either.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/either.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/env.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/env.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/equivalence.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/equivalence.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/equivalence.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/equivalence.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/exn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/exn.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/exn.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/exn.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/fun.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/fun.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/fun.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/fun.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/identity.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/identity.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/identity.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/identity.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/list.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/list.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/list.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/nonempty_list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/nonempty_list.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/nonempty_list.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/nonempty_list.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/option.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/option.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/option.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/option.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/pair.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/pair.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/pair.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/pair.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/predicate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/predicate.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/predicate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/predicate.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/preface_stdlib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/preface_stdlib.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/reader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/reader.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/reader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/reader.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/result.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/result.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/result.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/result.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/seq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/seq.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/seq.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/seq.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/state.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/state.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/state.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/store.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/store.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/store.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/store.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/stream.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/stream.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/stream.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/stream.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/traced.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/traced.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/traced.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/traced.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/try.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/try.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/try.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/try.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/validate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/validate.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/validate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/validate.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/validation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/validation.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/validation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/validation.mli -------------------------------------------------------------------------------- /lib/preface_stdlib/void.ml: -------------------------------------------------------------------------------- 1 | include Preface_core.Void 2 | -------------------------------------------------------------------------------- /lib/preface_stdlib/void.mli: -------------------------------------------------------------------------------- 1 | include module type of Preface_core.Void 2 | (** @inline *) 3 | -------------------------------------------------------------------------------- /lib/preface_stdlib/writer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/writer.ml -------------------------------------------------------------------------------- /lib/preface_stdlib/writer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/lib/preface_stdlib/writer.mli -------------------------------------------------------------------------------- /preface.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/preface.opam -------------------------------------------------------------------------------- /test/preface_core_test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_core_test/dune -------------------------------------------------------------------------------- /test/preface_core_test/fun_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_core_test/fun_test.ml -------------------------------------------------------------------------------- /test/preface_core_test/fun_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_core_test/fun_test.mli -------------------------------------------------------------------------------- /test/preface_core_test/nonempty_list_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_core_test/nonempty_list_test.ml -------------------------------------------------------------------------------- /test/preface_core_test/nonempty_list_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_core_test/nonempty_list_test.mli -------------------------------------------------------------------------------- /test/preface_core_test/preface_core_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_core_test/preface_core_test.ml -------------------------------------------------------------------------------- /test/preface_examples_test/approximation_for_selective.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/approximation_for_selective.ml -------------------------------------------------------------------------------- /test/preface_examples_test/approximation_for_selective.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/approximation_for_selective.mli -------------------------------------------------------------------------------- /test/preface_examples_test/arrow_tutorial.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/arrow_tutorial.ml -------------------------------------------------------------------------------- /test/preface_examples_test/arrow_tutorial.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/arrow_tutorial.mli -------------------------------------------------------------------------------- /test/preface_examples_test/debruijn_reader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/debruijn_reader.ml -------------------------------------------------------------------------------- /test/preface_examples_test/debruijn_reader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/debruijn_reader.mli -------------------------------------------------------------------------------- /test/preface_examples_test/decidable_pp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/decidable_pp.ml -------------------------------------------------------------------------------- /test/preface_examples_test/decidable_pp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/decidable_pp.mli -------------------------------------------------------------------------------- /test/preface_examples_test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/dune -------------------------------------------------------------------------------- /test/preface_examples_test/formlet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/formlet.ml -------------------------------------------------------------------------------- /test/preface_examples_test/formlet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/formlet.mli -------------------------------------------------------------------------------- /test/preface_examples_test/free_applicative_formlet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/free_applicative_formlet.ml -------------------------------------------------------------------------------- /test/preface_examples_test/free_applicative_formlet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/free_applicative_formlet.mli -------------------------------------------------------------------------------- /test/preface_examples_test/free_monad_consoleIO.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/free_monad_consoleIO.ml -------------------------------------------------------------------------------- /test/preface_examples_test/free_monad_consoleIO.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/free_monad_consoleIO.mli -------------------------------------------------------------------------------- /test/preface_examples_test/free_monad_consoleIO_composition.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/free_monad_consoleIO_composition.ml -------------------------------------------------------------------------------- /test/preface_examples_test/free_monad_consoleIO_composition.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/free_monad_consoleIO_composition.mli -------------------------------------------------------------------------------- /test/preface_examples_test/free_selective_pingpong.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/free_selective_pingpong.ml -------------------------------------------------------------------------------- /test/preface_examples_test/free_selective_pingpong.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/free_selective_pingpong.mli -------------------------------------------------------------------------------- /test/preface_examples_test/freer_monad_consoleIO.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/freer_monad_consoleIO.ml -------------------------------------------------------------------------------- /test/preface_examples_test/freer_monad_consoleIO.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/freer_monad_consoleIO.mli -------------------------------------------------------------------------------- /test/preface_examples_test/freer_monad_os_effect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/freer_monad_os_effect.ml -------------------------------------------------------------------------------- /test/preface_examples_test/freer_monad_os_effect.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/freer_monad_os_effect.mli -------------------------------------------------------------------------------- /test/preface_examples_test/freer_monad_os_explicit_continuation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/freer_monad_os_explicit_continuation.ml -------------------------------------------------------------------------------- /test/preface_examples_test/freer_monad_os_explicit_continuation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/freer_monad_os_explicit_continuation.mli -------------------------------------------------------------------------------- /test/preface_examples_test/freer_monad_print_read_or_fail.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/freer_monad_print_read_or_fail.ml -------------------------------------------------------------------------------- /test/preface_examples_test/freer_monad_print_read_or_fail.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/freer_monad_print_read_or_fail.mli -------------------------------------------------------------------------------- /test/preface_examples_test/freer_selective_ping_pong.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/freer_selective_ping_pong.ml -------------------------------------------------------------------------------- /test/preface_examples_test/freer_selective_ping_pong.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/freer_selective_ping_pong.mli -------------------------------------------------------------------------------- /test/preface_examples_test/preface_example_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/preface_example_test.ml -------------------------------------------------------------------------------- /test/preface_examples_test/shape.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/shape.ml -------------------------------------------------------------------------------- /test/preface_examples_test/shape.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/shape.mli -------------------------------------------------------------------------------- /test/preface_examples_test/template_reader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/template_reader.ml -------------------------------------------------------------------------------- /test/preface_examples_test/template_reader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/template_reader.mli -------------------------------------------------------------------------------- /test/preface_examples_test/traced_dependencies.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/traced_dependencies.ml -------------------------------------------------------------------------------- /test/preface_examples_test/traced_dependencies.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/traced_dependencies.mli -------------------------------------------------------------------------------- /test/preface_examples_test/xml_stax_writer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/xml_stax_writer.ml -------------------------------------------------------------------------------- /test/preface_examples_test/xml_stax_writer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_examples_test/xml_stax_writer.mli -------------------------------------------------------------------------------- /test/preface_laws_test/approximation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/approximation.ml -------------------------------------------------------------------------------- /test/preface_laws_test/approximation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/approximation.mli -------------------------------------------------------------------------------- /test/preface_laws_test/continuation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/continuation.ml -------------------------------------------------------------------------------- /test/preface_laws_test/continuation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/continuation.mli -------------------------------------------------------------------------------- /test/preface_laws_test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/dune -------------------------------------------------------------------------------- /test/preface_laws_test/either.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/either.ml -------------------------------------------------------------------------------- /test/preface_laws_test/either.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/either.mli -------------------------------------------------------------------------------- /test/preface_laws_test/equivalence.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/equivalence.ml -------------------------------------------------------------------------------- /test/preface_laws_test/equivalence.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/equivalence.mli -------------------------------------------------------------------------------- /test/preface_laws_test/fun.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/fun.ml -------------------------------------------------------------------------------- /test/preface_laws_test/fun.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/fun.mli -------------------------------------------------------------------------------- /test/preface_laws_test/identity.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/identity.ml -------------------------------------------------------------------------------- /test/preface_laws_test/identity.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/identity.mli -------------------------------------------------------------------------------- /test/preface_laws_test/list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/list.ml -------------------------------------------------------------------------------- /test/preface_laws_test/list.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/list.mli -------------------------------------------------------------------------------- /test/preface_laws_test/misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/misc.ml -------------------------------------------------------------------------------- /test/preface_laws_test/misc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/misc.mli -------------------------------------------------------------------------------- /test/preface_laws_test/nonempty_list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/nonempty_list.ml -------------------------------------------------------------------------------- /test/preface_laws_test/nonempty_list.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/nonempty_list.mli -------------------------------------------------------------------------------- /test/preface_laws_test/option.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/option.ml -------------------------------------------------------------------------------- /test/preface_laws_test/option.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/option.mli -------------------------------------------------------------------------------- /test/preface_laws_test/pair.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/pair.ml -------------------------------------------------------------------------------- /test/preface_laws_test/pair.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/pair.mli -------------------------------------------------------------------------------- /test/preface_laws_test/predicate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/predicate.ml -------------------------------------------------------------------------------- /test/preface_laws_test/predicate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/predicate.mli -------------------------------------------------------------------------------- /test/preface_laws_test/preface_laws_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/preface_laws_test.ml -------------------------------------------------------------------------------- /test/preface_laws_test/preface_laws_test.mli: -------------------------------------------------------------------------------- 1 | (* Deliberately left empty *) 2 | -------------------------------------------------------------------------------- /test/preface_laws_test/req.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/req.ml -------------------------------------------------------------------------------- /test/preface_laws_test/req.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/req.mli -------------------------------------------------------------------------------- /test/preface_laws_test/result.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/result.ml -------------------------------------------------------------------------------- /test/preface_laws_test/result.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/result.mli -------------------------------------------------------------------------------- /test/preface_laws_test/sample.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/sample.ml -------------------------------------------------------------------------------- /test/preface_laws_test/sample.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/sample.mli -------------------------------------------------------------------------------- /test/preface_laws_test/seq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/seq.ml -------------------------------------------------------------------------------- /test/preface_laws_test/seq.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/seq.mli -------------------------------------------------------------------------------- /test/preface_laws_test/stream.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/stream.ml -------------------------------------------------------------------------------- /test/preface_laws_test/stream.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/stream.mli -------------------------------------------------------------------------------- /test/preface_laws_test/try.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/try.ml -------------------------------------------------------------------------------- /test/preface_laws_test/try.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/try.mli -------------------------------------------------------------------------------- /test/preface_laws_test/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/util.ml -------------------------------------------------------------------------------- /test/preface_laws_test/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/util.mli -------------------------------------------------------------------------------- /test/preface_laws_test/validate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/validate.ml -------------------------------------------------------------------------------- /test/preface_laws_test/validate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/validate.mli -------------------------------------------------------------------------------- /test/preface_laws_test/validation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/validation.ml -------------------------------------------------------------------------------- /test/preface_laws_test/validation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/validation.mli -------------------------------------------------------------------------------- /test/preface_laws_test/writer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/writer.ml -------------------------------------------------------------------------------- /test/preface_laws_test/writer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_laws_test/writer.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/continuation_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/continuation_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/continuation_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/continuation_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/dune -------------------------------------------------------------------------------- /test/preface_stdlib_test/env_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/env_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/env_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/env_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/identity_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/identity_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/identity_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/identity_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/list_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/list_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/list_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/list_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/nonempty_list_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/nonempty_list_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/nonempty_list_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/nonempty_list_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/option_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/option_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/option_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/option_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/pair_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/pair_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/pair_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/pair_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/predicate_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/predicate_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/predicate_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/predicate_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/preface_stdlib_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/preface_stdlib_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/seq_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/seq_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/seq_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/seq_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/state_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/state_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/state_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/state_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/store_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/store_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/store_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/store_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/stream_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/stream_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/stream_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/stream_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/traced_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/traced_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/traced_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/traced_test.mli -------------------------------------------------------------------------------- /test/preface_stdlib_test/try_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/try_test.ml -------------------------------------------------------------------------------- /test/preface_stdlib_test/try_test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xvw/preface/HEAD/test/preface_stdlib_test/try_test.mli --------------------------------------------------------------------------------