hsExprTest-3.6.5: Expression Testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Expr.Modifiers

Description

A convenience module which exports multiple modifiers from QuickCheck and hsExprTest and the TestAs annotator.

Synopsis

Documentation

type TestAs α β = α #

Intended to be used with the teacher's solution: foo :: a `TestAs` Positive a -> b `TestAs` Large b -> Bool