HFiaR

This module defines the HFiaR monad and all the actions you can perform in it

Monad controls

data HFiaRT m a

Generic HFiaRT type

Instances

MonadTrans HFiaRT

Monad m => MonadState Game (HFiaRT m)

Monad m => Monad (HFiaRT m)

MonadIO m => MonadIO (HFiaRT m)

play :: Monad m => HFiaRT m a -> m Game

eval :: Monad m => HFiaRT m a -> m a

Types

data Game

Game description

Instances

Eq Game

Show Game

Monad m => MonadState Game (HFiaRT m)

data Player

Posible players (each one with his tile colour)

Instances

Eq Player

Show Player

data Tile

Posible tiles (just green or red ones)

Constructors

Red

Green

Instances

Eq Tile

Show Tile

data HFiaRError

Posible errors in the HFiaR Monad

Constructors

GameEnded

GameNotEnded

InvalidColumn

FullColumn

Instances

Eq HFiaRError

Show HFiaRError

data HFiaRResult

Posible results for the game

Constructors

Tie

WonBy Player

Instances

Eq HFiaRResult

Show HFiaRResult

Actions

dropIn

Arguments

:: Monad m

=> Int

Column number

-> HFiaRT m (Either HFiaRError ())

Drop a tile in a column

player :: Monad m => HFiaRT m (Either HFiaRError Player)

Player who's supposed to play the next tile

board :: Monad m => HFiaRT m [[Tile]]

Current board distribution

result :: Monad m => HFiaRT m (Either HFiaRError HFiaRResult)

If the game ended, returns the result of it