Dovin.Types

Documentation

type CardName = String

type CardAttribute = String

data Player

Constructors

Active

Opponent

Instances

Eq Player

Defined in Dovin.Types

Methods

(==) :: Player -> Player -> Bool

(/=) :: Player -> Player -> Bool

Ord Player

Defined in Dovin.Types

Methods

compare :: Player -> Player -> Ordering

(<) :: Player -> Player -> Bool

(<=) :: Player -> Player -> Bool

(>) :: Player -> Player -> Bool

(>=) :: Player -> Player -> Bool

max :: Player -> Player -> Player

min :: Player -> Player -> Player

Show Player

Defined in Dovin.Types

Methods

showsPrec :: Int -> Player -> ShowS

show :: Player -> String

showList :: [Player] -> ShowS

Generic Player

Defined in Dovin.Types

Associated Types

type Rep Player :: Type -> Type

Methods

from :: Player -> Rep Player x

to :: Rep Player x -> Player

Hashable Player

Defined in Dovin.Types

Methods

hashWithSalt :: Int -> Player -> Int

hash :: Player -> Int

type Rep Player

Defined in Dovin.Types

type Rep Player = D1 (MetaData "Player" "Dovin.Types" "dovin-0.1.0.1-13Mi2KtUzcX4zByHFTBMBL" False) (C1 (MetaCons "Active" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Opponent" PrefixI False) (U1 :: Type -> Type))

type ManaPool = String

type ManaString = String

data Location

Constructors

Hand

Graveyard

Play

Stack

Exile

Instances

Eq Location

Defined in Dovin.Types

Methods

(==) :: Location -> Location -> Bool

(/=) :: Location -> Location -> Bool

Ord Location

Defined in Dovin.Types

Methods

compare :: Location -> Location -> Ordering

(<) :: Location -> Location -> Bool

(<=) :: Location -> Location -> Bool

(>) :: Location -> Location -> Bool

(>=) :: Location -> Location -> Bool

max :: Location -> Location -> Location

min :: Location -> Location -> Location

Show Location

Defined in Dovin.Types

Methods

showsPrec :: Int -> Location -> ShowS

show :: Location -> String

showList :: [Location] -> ShowS

data CardEffect

Constructors

CardEffect

Fields

• _effectEnabled :: CardMatcher
• _effectFilter :: Card -> CardMatcher
• _effectAction :: Card -> GameMonad Card

mkEffect :: CardMatcher -> (Card -> CardMatcher) -> (Card -> GameMonad Card) -> CardEffect

data Target

Constructors

TargetPlayer Player

Target a player, use targetPlayer to construct.

TargetCard CardName

Target a card, use targetCard to construct.

targetPlayer :: Player -> Target

targetCard :: CardName -> Target

type CardLocation = (Player, Location)

type CardAttributes = Set CardAttribute

data CardStrength

Constructors

CardStrength Int Int

Instances

Eq CardStrength

Defined in Dovin.Types

Methods

(==) :: CardStrength -> CardStrength -> Bool

(/=) :: CardStrength -> CardStrength -> Bool

Show CardStrength

Defined in Dovin.Types

Methods

showsPrec :: Int -> CardStrength -> ShowS

show :: CardStrength -> String

showList :: [CardStrength] -> ShowS

Semigroup CardStrength

Defined in Dovin.Types

Methods

(<>) :: CardStrength -> CardStrength -> CardStrength

sconcat :: NonEmpty CardStrength -> CardStrength

stimes :: Integral b => b -> CardStrength -> CardStrength

Monoid CardStrength

Defined in Dovin.Types

Methods

mempty :: CardStrength

mappend :: CardStrength -> CardStrength -> CardStrength

mconcat :: [CardStrength] -> CardStrength

data Phase

A phase or step in a turn. Phases and steps are not distinguished between because haven't seen a need to.

Constructors

Untap

Upkeep

DrawStep

FirstMain

BeginCombat

DeclareAttackers

DeclareBlockers

FirstStrikeDamage

CombatDamage

EndCombat

SecondMain

EndStep

Instances

Eq Phase

Defined in Dovin.Types

Methods

(==) :: Phase -> Phase -> Bool

(/=) :: Phase -> Phase -> Bool

Ord Phase

Defined in Dovin.Types

Methods

compare :: Phase -> Phase -> Ordering

(<) :: Phase -> Phase -> Bool

(<=) :: Phase -> Phase -> Bool

(>) :: Phase -> Phase -> Bool

(>=) :: Phase -> Phase -> Bool

max :: Phase -> Phase -> Phase

min :: Phase -> Phase -> Phase

Show Phase

Defined in Dovin.Types

Methods

showsPrec :: Int -> Phase -> ShowS

show :: Phase -> String

showList :: [Phase] -> ShowS

data Card

Constructors

Card

Fields

• _cardName :: CardName
• _location :: (Player, Location)
• _cardDefaultAttributes :: CardAttributes
• _cardAttributes :: CardAttributes
• _cardStrength :: CardStrength
• _cardDamage :: Int
• _cardLoyalty :: Int
• _cardEffects :: [CardEffect]
• _cardPlusOneCounters :: Int

Instances

Eq Card

Defined in Dovin.Types

Methods

(==) :: Card -> Card -> Bool

(/=) :: Card -> Card -> Bool

Show Card

Defined in Dovin.Types

Methods

showsPrec :: Int -> Card -> ShowS

show :: Card -> String

showList :: [Card] -> ShowS

newtype BaseCard

Constructors

BaseCard Card

Instances

Eq BaseCard

Defined in Dovin.Types

Methods

(==) :: BaseCard -> BaseCard -> Bool

(/=) :: BaseCard -> BaseCard -> Bool

Show BaseCard

Defined in Dovin.Types

Methods

showsPrec :: Int -> BaseCard -> ShowS

show :: BaseCard -> String

showList :: [BaseCard] -> ShowS

data CardMatcher

Constructors

CardMatcher String (Card -> Bool)

Instances

Show CardMatcher

Defined in Dovin.Types

Methods

showsPrec :: Int -> CardMatcher -> ShowS

show :: CardMatcher -> String

showList :: [CardMatcher] -> ShowS

Semigroup CardMatcher

Defined in Dovin.Types

Methods

(<>) :: CardMatcher -> CardMatcher -> CardMatcher

sconcat :: NonEmpty CardMatcher -> CardMatcher

stimes :: Integral b => b -> CardMatcher -> CardMatcher

Monoid CardMatcher

Defined in Dovin.Types

Methods

mempty :: CardMatcher

mappend :: CardMatcher -> CardMatcher -> CardMatcher

mconcat :: [CardMatcher] -> CardMatcher

type EffectName = String

data Board

Constructors

Board

Fields

• _cards :: HashMap CardName BaseCard
• _stack :: [CardName]
• _counters :: HashMap String Int
• _life :: HashMap Player Int
• _manaPool :: HashMap Player ManaPool
• _phase :: Phase

data Env

Constructors

Env

Fields

• _envTemplate :: Card
• _envSBAEnabled :: Bool
• _envActor :: Player

type GameMonad a = ExceptT String (ReaderT Env (StateT Board (WriterT [(String, Board)] Identity))) a

type Formatter = Board -> String

stack :: Lens' Board [CardName]

phase :: Lens' Board Phase

manaPool :: Lens' Board (HashMap Player ManaPool)

life :: Lens' Board (HashMap Player Int)

counters :: Lens' Board (HashMap String Int)

cards :: Lens' Board (HashMap CardName BaseCard)

location :: Lens' Card (Player, Location)

cardStrength :: Lens' Card CardStrength

cardPlusOneCounters :: Lens' Card Int

cardName :: Lens' Card CardName

cardLoyalty :: Lens' Card Int

cardEffects :: Lens' Card [CardEffect]

cardDefaultAttributes :: Lens' Card CardAttributes

cardDamage :: Lens' Card Int

cardAttributes :: Lens' Card CardAttributes

effectFilter :: Lens' CardEffect (Card -> CardMatcher)

effectEnabled :: Lens' CardEffect CardMatcher

effectAction :: Lens' CardEffect (Card -> GameMonad Card)

envTemplate :: Lens' Env Card

envSBAEnabled :: Lens' Env Bool

envActor :: Lens' Env Player

cardLocation :: Lens' Card (Player, Location)

cardOwner :: Lens' Card Player

cardPower :: Lens' Card Int

cardToughness :: Lens' Card Int

manaPoolFor :: Functor f => Player -> ([Char] -> f [Char]) -> Board -> f Board

_manaPoolForTyping :: Board -> ManaPool

emptyEnv :: Env

mkStrength :: (Int, Int) -> CardStrength

emptyCard :: Card

mkCard :: CardName -> (Player, Location) -> Card

opposing :: Player -> Player

emptyBoard :: Board