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 Dependency

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

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.17.1.tar.gz

md5=743a141234e04210e295980f7a78a6d9

sha512=61b415f4fb12c78d30649fff1aabe3a475eea926ce6edb7774031f4dc7f37ea51f5d9337ead6ec73cd93da5fd1ed0f2738c210c71ebc8fe9d7f6135a06bd176f

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 Dependency

Authors

Maintainers

Sources

doc/core/Core/Quickcheckable/index.html

Module Core.QuickcheckableSource

Module `Core.Quickcheckable`Source