{-# LANGUAGE DeriveFunctor,
             DeriveDataTypeable,
             DeriveTraversable,
             DeriveGeneric,
             DeriveLift,
             GeneralizedNewtypeDeriving,
             DerivingStrategies
             #-}

module NewtypeDerivingStrategies where

import Definitions
import DataDeriving

newtype T1 a = T1 (D6 a)
  deriving Data  {-* DeriveDataTypeable *-}

newtype T2 a = T2 (D6 a)
  deriving stock   (Show, Read, Data)     {-* DerivingStrategies, DeriveDataTypeable *-}
  deriving newtype Typeable               {-* DerivingStrategies, GeneralizedNewtypeDeriving *-}

newtype T3 a = T3 (D6 a)
  deriving Eq

newtype T4 a = T4 (D6 a)
  deriving stock   Functor          {-* DerivingStrategies, DeriveFunctor *-}
  deriving newtype (Foldable, Show) {-* DerivingStrategies, GeneralizedNewtypeDeriving, GeneralizedNewtypeDeriving *-}

newtype T5 a = T5 (D6 a)
  deriving (Eq, Ord, Ix, Bounded,
            Show, Read,
            Enum, Functor, Foldable,                      {-* GeneralizedNewtypeDeriving, GeneralizedNewtypeDeriving, GeneralizedNewtypeDeriving *-}
            Data, Typeable, Traversable, Generic, Lift)   {-* DeriveDataTypeable, DeriveDataTypeable, DeriveTraversable, DeriveGeneric, DeriveLift *-}