{-# LANGUAGE CPP #-} {-# OPTIONS_GHC -fno-warn-orphans #-} module Test.QuickCheck.Instances.Solo () where import Prelude () import Test.QuickCheck.Instances.CustomPrelude #if MIN_VERSION_OneTuple(0,4,0) import Data.Tuple.Solo (Solo (MkSolo), getSolo) #else import Data.Tuple.Solo (Solo (Solo), getSolo) #define MkSolo Solo #endif import Test.QuickCheck instance Arbitrary1 Solo where liftArbitrary :: forall a. Gen a -> Gen (Solo a) liftArbitrary = forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b fmap forall a. a -> Solo a MkSolo liftShrink :: forall a. (a -> [a]) -> Solo a -> [Solo a] liftShrink a -> [a] shr = forall a b. (a -> b) -> [a] -> [b] map forall a. a -> Solo a MkSolo forall b c a. (b -> c) -> (a -> b) -> a -> c . a -> [a] shr forall b c a. (b -> c) -> (a -> b) -> a -> c . forall a. Solo a -> a getSolo instance Arbitrary a => Arbitrary (Solo a) where arbitrary :: Gen (Solo a) arbitrary = forall (f :: * -> *) a. (Arbitrary1 f, Arbitrary a) => Gen (f a) arbitrary1 shrink :: Solo a -> [Solo a] shrink = forall (f :: * -> *) a. (Arbitrary1 f, Arbitrary a) => f a -> [f a] shrink1 instance CoArbitrary a => CoArbitrary (Solo a) where coarbitrary :: forall b. Solo a -> Gen b -> Gen b coarbitrary = forall a b. CoArbitrary a => a -> Gen b -> Gen b coarbitrary forall b c a. (b -> c) -> (a -> b) -> a -> c . forall a. Solo a -> a getSolo instance Function a => Function (Solo a) where function :: forall b. (Solo a -> b) -> Solo a :-> b function = forall b a c. Function b => (a -> b) -> (b -> a) -> (a -> c) -> a :-> c functionMap forall a. Solo a -> a getSolo forall a. a -> Solo a MkSolo