{-# LANGUAGE TypeApplications #-}

import Data.Either.Extra

import Data.Functor

import Refined

        R $
            Map.update

        R
            $ Map.update

                $ unR decklist

            $ unR decklist

instance HunkSYM R where
    chunk = undefined
    modifyCopies = undefined
    modifyCategory = undefined

    deltaCopies delta category = R $ \card ->
        let deltaNorm = PositiveNumber <$> (newCopies >>= eitherToMaybe . refine . fromIntegral)
            categoryName = toText category
            newCopies =
                card ^. categories . at categoryName
                    <&> toNumber @Int
                    <&> (+ delta)
            update x = card & (categories . ix (toText category)) .~ x
         in update <$> deltaNorm

    deltaCopies :: Int -> repr (Card -> Maybe Card)

    deltaCopies :: Int -> CategoryName -> repr (Card -> Maybe Card)

    toText

    toText,
    toNumber,

toNumber :: (Num a) => PositiveNumber -> a
toNumber = fromIntegral . unrefine . runNumber