{-# LANGUAGE CPP                #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TemplateHaskell    #-}
{-# LANGUAGE TypeFamilies       #-}

#if __GLASGOW_HASKELL__ >= 702
{-# LANGUAGE DeriveGeneric      #-}
#endif

{-# OPTIONS_GHC -fno-warn-orphans #-}
{-|
Module:      Instances.System.Console.Haskeline
Copyright:   (C) 2014-2017 Ryan Scott
License:     BSD-style (see the file LICENSE)
Maintainer:  Ryan Scott
Stability:   Provisional
Portability: GHC

Provides 'Arbitrary' instances for data types in the @haskeline@ library.
-}
module Instances.System.Console.Haskeline () where

#if __GLASGOW_HASKELL__ >= 704
import           GHC.Generics (Generic)
#else
import qualified Generics.Deriving.TH as Generics (deriveAll0)
#endif

import           Instances.Utils ((<@>))
import           Instances.Utils.GenericArbitrary (genericArbitrary)

import           Prelude ()
import           Prelude.Compat

import           System.Console.Haskeline (Interrupt(..))
import           System.Console.Haskeline.Completion (Completion(..))
import           System.Console.Haskeline.History (History, addHistory, emptyHistory)

import           Test.QuickCheck (Arbitrary(..), arbitraryBoundedEnum)

deriving instance Bounded Interrupt
deriving instance Enum Interrupt
instance Arbitrary Interrupt where
    arbitrary = arbitraryBoundedEnum

-- instance Arbitrary Prefs

instance Arbitrary Completion where
    arbitrary = genericArbitrary

instance Arbitrary History where
    arbitrary = addHistory <$> arbitrary <@> emptyHistory

#if __GLASGOW_HASKELL__ >= 704
deriving instance Generic Completion
#else
$(Generics.deriveAll0 ''Completion)
#endif