HFiaR

Contents

Description

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

Synopsis

MonadTrans controls

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 Source

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

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

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 IO Source

Basic HFiaR type - ready to just play HFiaR actions

justPlay :: HFiaR a -> IO Game Source

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

justEval :: HFiaR a -> IO aSource

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

Types

data Game Source

Game description

Constructors

OnCourse
Fields gamePlayer :: Player gameBoard :: [[Tile]]
Ended
Fields gameResult :: HFiaRResult gameBoard :: [[Tile]]

Instances

Eq Game
Show Game
Monad m => MonadState Game (HFiaRT m)

data Player Source

Posible players (each one with his tile colour)

Constructors

Pl
Fields tiles :: Tile

Instances

Eq Player
Show Player

data Tile Source

Posible tiles (just green or red ones)

Constructors

Red
Green

Instances

Eq Tile
Show Tile

data HFiaRError Source

Posible errors in the HFiaR Monad

Constructors

GameEnded
GameNotEnded
InvalidColumn
FullColumn

Instances

Eq HFiaRError
Show HFiaRError

data HFiaRResult Source

Posible results for the game

Constructors

Tie
WonBy Player

Instances

Eq HFiaRResult
Show HFiaRResult

Actions

dropIn Source

Arguments

:: Monad m
=> Int	Column number
-> HFiaRT m (Either HFiaRError ())

Drop a tile in a column

tryDropIn :: Monad m => [Int] -> HFiaRT m (Either HFiaRError Game)Source

Try (i.e. without actually doing it, returns the result of) dropping a tile in a column

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

Player who's supposed to play the next tile

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

Current board distribution

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

If the game ended, returns the result of it