1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
{-# LANGUAGE CPP #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
{-|
Module: Instances.Data.Type.Equality
Copyright: (C) 2014-2017 Ryan Scott
License: BSD-style (see the file LICENSE)
Maintainer: Ryan Scott
Stability: Provisional
Portability: GHC
'Arbitrary' instance for '(:~:)'.
-}
module Instances.Data.Type.Equality () where
import Data.Type.Equality.Compat
import Test.QuickCheck (Arbitrary(..), arbitraryBoundedEnum)
instance a ~ b => Arbitrary (a :~: b) where
arbitrary = arbitraryBoundedEnum
#if MIN_VERSION_base(4,9,0)
instance a ~~ b => Arbitrary (a :~~: b) where
arbitrary = arbitraryBoundedEnum
#endif
|
