P2KQ6PRM6HH2NQFXCTQIMGTAKXIG6BQ32IBYTKBSP4NWTZ4JLGGAC
module Deck () where
module Deck
( Card (..)
, DeckList
, Category
, CardName
) where
import Data.Vector
import Data.Text (Text)
import Refined
import Numeric.Natural
type Category = Refined NonEmpty Text
type CardName = Refined NonEmpty Text
data Card = Card
{ name :: CardName
, quantity :: Refined Positive Natural
, category :: Category
}
type DeckList = Vector Card