HFiaR

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

MonadTrans 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

Starts a game, run the HFiaRT actions and returns the game wrapped up in the m monad

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

Starts a game, run the HFiaRT actions and returns the result of the last one wrapped up in the m monad

Monad controls

type HFiaR = HFiaRT Maybe

Basic HFiaR type - ready to just play HFiaR actions

justPlay :: HFiaR a -> Game

Starts a game, run the HFiaRT actions and returns the game

justEval :: HFiaR a -> a

Starts a game, run the HFiaRT actions and returns the result of the last one

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