{-# OPTIONS_GHC -fno-warn-orphans #-} module Test.QuickCheck.Instances.Void where import Test.QuickCheck import Data.Void (Void, absurd) ------------------------------------------------------------------------------- -- void ------------------------------------------------------------------------------- instance CoArbitrary Void where coarbitrary :: forall b. Void -> Gen b -> Gen b coarbitrary = forall a. Void -> a absurd -- | All @'Void' -> a@ functions are 'absurd'. instance Function Void where function :: forall b. (Void -> b) -> Void :-> b function Void -> b _ = forall void c. (forall b. void -> b) -> void :-> c functionVoid forall a. Void -> a absurd