constrained-generators-0.2.0.0: Framework for generating constrained random data using a subset of first order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

Constrained.Examples.Either

Documentation

eitherSpec ∷ Specification BaseFn (Either Int Int) Source #

foldTrueCases ∷ Specification BaseFn (Either Int Int) Source #