package alg_structs_qcheck

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Supported Structures
Utilities

package alg_structs_qcheck

alg_structs_qcheck
- Alg_structs_qcheck
  - Applicative
    
    S
    
    Let_bind
  - Foldable
    
    S
  - Functor
    
    S
  - Monoid
    
    S
  - Semigroup
    
    S
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

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