refined-0.4.4: Refinement types with static and runtime checking

Safe HaskellNone
LanguageHaskell2010

Refined.Orphan.QuickCheck

Contents

Description

This module exposes orphan instances for the Refined type. This is unavoidable given the current module structure.

Orphan instances

(Arbitrary a, Typeable a, Typeable p, Predicate p a) => Arbitrary (Refined p a) Source # 
Instance details

Methods

arbitrary :: Gen (Refined p a) #

shrink :: Refined p a -> [Refined p a] #