package core

You can search for identifiers within the package.

in-package search v0.2.0

Industrial strength alternative to OCaml's standard library

Install

dune-project

Dependency

github.com Changelog MIT License Edit opam file Versions (11)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.17.2.tar.gz

md5=6f07bb82d51d695ac4e76c8ac7f55902

sha512=c3c401fded188f74cf7ce6b1b07e7bc59fe18441eec602d174bfd48db13370fda986dd9f66d4ff9c26254ea2b381e7c51b366df9d2dfbf66fda281b4def3166a

doc/core/Core/Quickcheckable/index.html

Module `Core.Quickcheckable`Source

Sourcemodule type Conv = sig ... end

Sourcemodule type Conv1 = sig ... end

Sourcemodule type Conv_filtered = sig ... end

Sourcemodule type Conv_filtered1 = sig ... end

Sourcemodule type S = Quickcheck.S

Sourcemodule type S1 = Quickcheck.S1

Sourcemodule type S2 = Quickcheck.S2

Sourcemodule type S_int = Quickcheck.S_int

Source

module Of_quickcheckable
  (Quickcheckable : S)
  (Conv : Conv with type quickcheckable := Quickcheckable.t) : 
  S with type t := Conv.t

Source

module Of_quickcheckable1
  (Quickcheckable : S1)
  (Conv : Conv1 with type 'a quickcheckable := 'a Quickcheckable.t) : 
  S1 with type 'a t := 'a Conv.t

Source

module Of_quickcheckable_filtered
  (Quickcheckable : S)
  (Conv : Conv_filtered with type quickcheckable := Quickcheckable.t) : 
  S with type t := Conv.t

Source

module Of_quickcheckable_filtered1
  (Quickcheckable : S1)
  (Conv : Conv_filtered1 with type 'a quickcheckable := 'a Quickcheckable.t) : 
  S1 with type 'a t := 'a Conv.t

package core

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/core/Core/Quickcheckable/index.html

Module Core.QuickcheckableSource

dune-project
Dependency

Module `Core.Quickcheckable`Source