Module `Test.Option`

Parameters

T : TEST
Q : QUICKCHECK with type t = T.test
A : ARBITRARY with type t = int option and type 'a arbitrary = 'a Q.arbitrary
AA : ARBITRARY_A with type 'a t = 'a option and type 'a arbitrary = 'a Q.arbitrary

Signature

module M : sig ... end

module Semigroup : sig ... end

module Monoid : sig ... end

module Functor : sig ... end

module Apply : sig ... end

module Applicative : sig ... end

module Monad : sig ... end

module Alt : sig ... end

module Plus : sig ... end

module Alternative : sig ... end

module Eq : sig ... end

module Ord : sig ... end

val infix : T.test T.suite
val foldable : T.test T.suite
val traversable : T.test T.suite
val suites : T.test T.suite list