Ivory.QuickCheck

Documentation

module Ivory.QuickCheck.Monad

module Ivory.QuickCheck.Arbitrary

class Samples gen res where

Methods

samples :: Size -> gen -> IvoryGen [res]

Instances

Arbitrary a => Samples (Gen a) a

(Arbitrary a, SingI Nat len, IvoryInit a, IvoryType a) => Samples (Gen a) (Init (Array * len (Stored * a)))

(Arbitrary a, IvoryInit a) => Samples (Label sym (Stored * a)) (InitStruct sym)