T3.Match

Documentation

module T3.Match.Types

newtype Seconds

Constructors

Seconds Int

Instances

Enum Seconds

Eq Seconds

Num Seconds

Ord Seconds

Show Seconds

runMatch :: MonadConc m => Maybe Seconds -> UserInit m -> UserInit m -> ([Action] -> Board -> Result -> m ()) -> m () -> m ()

type UserInit m = (Callback m, m (Loc, Callback m))

type Callback m = Step -> m ()

type StartCallback m = MatchInfo -> Users -> Step -> m ()

delay :: MonadConc m => Seconds -> m ()