Dovin.Types

Documentation

data Color

Constructors

Red

Green

Blue

Black

White

Instances

Eq Color

Defined in Dovin.Types

Methods

(==) :: Color -> Color -> Bool

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

Ord Color

Defined in Dovin.Types

Methods

compare :: Color -> Color -> Ordering

(<) :: Color -> Color -> Bool

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

(>) :: Color -> Color -> Bool

(>=) :: Color -> Color -> Bool

max :: Color -> Color -> Color

min :: Color -> Color -> Color

Show Color

Defined in Dovin.Types

Methods

showsPrec :: Int -> Color -> ShowS

show :: Color -> String

showList :: [Color] -> ShowS

type Colors = Set Color

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-3.0.1-IFqEYjMDOrX6yiKW5Gzbyz" '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

Deck

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

type EffectMonadEnv = (Board, Card)

type EffectMonad a = Reader EffectMonadEnv a

data Layer

Constructors

Layer1A

Copiable effects

Layer1B

Face down spells and permanents

Layer2

Control-changing effects

Layer3

Text changing effects

Layer4

Type changing effects

Layer5

Color changing effects

Layer6

Ability changing effects

Layer7A

P/T from CDAs

Layer7B

P/T from setting

Layer7C

P/T adjustments (inc. counters)

Layer7D

P/T Switching

LayerOther

Other game rule affecting effects

Instances

Bounded Layer

Defined in Dovin.Types

Methods

minBound :: Layer

maxBound :: Layer

Enum Layer

Defined in Dovin.Types

Methods

succ :: Layer -> Layer

pred :: Layer -> Layer

toEnum :: Int -> Layer

fromEnum :: Layer -> Int

enumFrom :: Layer -> [Layer]

enumFromThen :: Layer -> Layer -> [Layer]

enumFromTo :: Layer -> Layer -> [Layer]

enumFromThenTo :: Layer -> Layer -> Layer -> [Layer]

Eq Layer

Defined in Dovin.Types

Methods

(==) :: Layer -> Layer -> Bool

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

Ord Layer

Defined in Dovin.Types

Methods

compare :: Layer -> Layer -> Ordering

(<) :: Layer -> Layer -> Bool

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

(>) :: Layer -> Layer -> Bool

(>=) :: Layer -> Layer -> Bool

max :: Layer -> Layer -> Layer

min :: Layer -> Layer -> Layer

Show Layer

Defined in Dovin.Types

Methods

showsPrec :: Int -> Layer -> ShowS

show :: Layer -> String

showList :: [Layer] -> ShowS

allLayers :: [Layer]

data LayeredEffectPart

Constructors

LayeredEffectPart Layer (Card -> EffectMonad Card)

type LayeredEffect = [LayeredEffectPart]

data LayeredEffectDefinition

Constructors

LayeredEffectDefinition

Fields

• _leAppliesTo :: EffectMonad CardMatcher

  Filter to determine which cards are affected by this effect, if enabled.

• _leEffect :: LayeredEffect

  The actions to apply to affected cards.

• _leName :: EffectName

  A human readable description of the effect. Optional.

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

mkLayeredEffectPart :: EffectMonad CardMatcher -> LayeredEffect -> EffectName -> LayeredEffectDefinition

data Target

Constructors

TargetPlayer Player

Target a player, use targetPlayer to construct.

TargetCard CardName

Target a card, use targetCard to construct.

Instances

Eq Target

Defined in Dovin.Types

Methods

(==) :: Target -> Target -> Bool

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

Show Target

Defined in Dovin.Types

Methods

showsPrec :: Int -> Target -> ShowS

show :: Target -> String

showList :: [Target] -> ShowS

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

Won Player

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

type Timestamp = Integer

data EffectDuration

Constructors

EndOfTurn

data AbilityEffect

Constructors

AbilityEffect Timestamp EffectDuration [LayeredEffectPart]

data Card

Constructors

Card

Fields

• _cardName :: CardName
• _location :: (Player, Location)
• _cardOwner :: Player
• _cardDefaultAttributes :: CardAttributes
• _cardAttributes :: CardAttributes
• _cardStrength :: CardStrength
• _cardStrengthModifier :: CardStrength
• _cardDamage :: Int
• _cardLoyalty :: Int
• _cardEffects :: [CardEffect]
• _cardCmc :: Int
• _cardColors :: Colors
• _cardTargets :: [Target]
• _cardTimestamp :: Timestamp
• _cardPassiveEffects :: [LayeredEffectDefinition]
• _cardAbilityEffects :: [AbilityEffect]
• _cardPlusOneCounters :: Int
• _cardMinusOneCounters :: 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
• _resolvedCards :: HashMap CardName Card
• _stack :: [CardName]
• _deck :: HashMap Player [CardName]
• _counters :: HashMap String Int
• _life :: HashMap Player Int
• _manaPool :: HashMap Player ManaPool
• _phase :: Phase
• _currentStep :: StepIdentifier
• _currentTime :: Timestamp

data Env

Constructors

Env

Fields

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

type StepIdentifier = (Maybe String, Int)

data Step

Constructors

Step

Fields

• _stepId :: StepIdentifier
• _stepLabel :: String
• _stepState :: Board

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

type Formatter = Board -> String

incrementStep :: StepIdentifier -> StepIdentifier

stack :: Lens' Board [CardName]

resolvedCards :: Lens' Board (HashMap CardName Card)

phase :: Lens' Board Phase

manaPool :: Lens' Board (HashMap Player ManaPool)

life :: Lens' Board (HashMap Player Int)

deck :: Lens' Board (HashMap Player [CardName])

currentTime :: Lens' Board Timestamp

currentStep :: Lens' Board StepIdentifier

counters :: Lens' Board (HashMap String Int)

cards :: Lens' Board (HashMap CardName BaseCard)

location :: Lens' Card (Player, Location)

cardTimestamp :: Lens' Card Timestamp

cardTargets :: Lens' Card [Target]

cardStrengthModifier :: Lens' Card CardStrength

cardStrength :: Lens' Card CardStrength

cardPlusOneCounters :: Lens' Card Int

cardPassiveEffects :: Lens' Card [LayeredEffectDefinition]

cardOwner :: Lens' Card Player

cardName :: Lens' Card CardName

cardMinusOneCounters :: Lens' Card Int

cardLoyalty :: Lens' Card Int

cardEffects :: Lens' Card [CardEffect]

cardDefaultAttributes :: Lens' Card CardAttributes

cardDamage :: Lens' Card Int

cardColors :: Lens' Card Colors

cardCmc :: Lens' Card Int

cardAttributes :: Lens' Card CardAttributes

cardAbilityEffects :: Lens' Card [AbilityEffect]

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

effectEnabled :: Lens' CardEffect CardMatcher

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

envTemplate :: Lens' Env Card

envSBAEnabled :: Lens' Env Bool

envOwner :: Lens' Env (Maybe Player)

envActor :: Lens' Env Player

stepState :: Lens' Step Board

stepLabel :: Lens' Step String

stepId :: Lens' Step StepIdentifier

leName :: Lens' LayeredEffectDefinition EffectName

leEffect :: Lens' LayeredEffectDefinition LayeredEffect

leAppliesTo :: Lens' LayeredEffectDefinition (EffectMonad CardMatcher)

stepFork :: Lens' Step (Maybe String)

stepNumber :: Lens' Step Int

mkStep :: StepIdentifier -> String -> Board -> Step

cardLocation :: Lens' Card (Player, Location)

cardPower :: Lens' Card Int

cardToughness :: Lens' Card Int

cardController :: Lens' Card Player

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