Crypto.Lol.Utils.GenArgs

Classes used to generate arguments for tests and benchmarks. This is analagous to Arbitrary in quickcheck, except it can also be used with criterion.

Documentation

type family ResultOf a where ...

Type of the output of a fully-applied function.

Equations

ResultOf (a -> b) = ResultOf b

ResultOf a = a

class GenArgs fun where

Generalization of Testable from QuickCheck: generates function inputs

Minimal complete definition

genArgs

Methods

genArgs :: MonadRandom rnd => fun -> rnd (ResultOf fun)

Instances

(Random a, GenArgs b) => GenArgs (a -> b)

Generate arguments to a function.

Methods

genArgs :: MonadRandom rnd => (a -> b) -> rnd (ResultOf (a -> b))