{-# 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