deck.hs

{-# LANGUAGE DeriveDataTypeable #-}

import Control.Monad.Random
import System.Random.Shuffle
import Data.Typeable
import Data.Data
import Control.Applicative

data Suit = Hearts | Clubs | Diamonds | Spades
  deriving (Eq, Data, Typeable)

data Value
  = Ace
  | King
  | Queen
  | Jack
  | Two
  | Three
  | Four
  | Five
  | Six
  | Seven
  | Eight
  | Nine
  | Ten
  deriving (Eq, Enum, Bounded, Data, Typeable)

data Card = Card Suit Value

type Deck = [Card]

instance Show Card where
  show (Card s v) = (show $ toConstr s) ++ ":" ++ (show $ toConstr v)

deck :: Deck
deck = Card <$> [Hearts, Clubs, Diamonds, Spades] <*> [Ace ..Ten]

main = do
  deck <- evalRandIO $ shuffleM $ concat $ replicate 1 deck
  print deck