package alg_structs_qcheck

  1. Overview
  2. Docs

Supported Structures

module Functor : sig ... end

QCheck tests of Functor Laws

module Applicative : sig ... end

QCheck tests of Applicative Laws

module Semigroup : sig ... end

QCheck tests of Semigroup Laws

module Monoid : sig ... end

QCheck tests of Monoid Laws

module Foldable : sig ... end

QCheck tests of Foldable Laws

Utilities

module Utils : sig ... end