Documentation

playerId `plays` cellar `with` (Cellar [list of cards to discard])

playerId `plays` chapel `with` (Chapel [list of cards to trash])

To gain a market, for example:

playerId `plays` feast `with` (Feast market)

playerId `plays` mine `with` (Mine copper)

To turn a gold into a province:

playerId `plays` remodel `with` (Remodel (gold, province))

The Spy FollowupAction takes two lists: a list of cards you would discard for yourself, and a list of cards you would discard for others:

playerId `plays` spy `with` ([estate, duchy, province], [silver, gold])

You need to provide a function that takes a list of treasure cards and picks one to trash. You can either return a TrashOnly to trash the card, or a GainTrashedCard to put it into your discard pile.

playerId `plays` thief `with` (Thief (GainTrashedCard . sortBy (comparing coinValue)))

playerId `plays` throneRoom `with` (ThroneRoom market)

playerId `plays` workshop `with` (Workshop gardens)