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