counter test

gistfile1.txt

module Test.Main where

import Prelude
import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Console (CONSOLE, logShow)
import Data.Maybe (Maybe(Just))
import Data.Map as Map
import Data.Monoid.Additive (Additive(Additive))
import Main (GCounter(..), increment, value)

import Test.Unit (suite, test, timeout)
import Test.Unit.Main (runTest)
import Test.Unit.Assert as Assert
import Control.Monad.Eff.Class

main = runTest do
  suite "GCounter test suite" do
    test "GCounter increment" do
      let c = Just (GCounter "a" (Map.singleton "a" (Additive 0)))
          >>= increment (Additive 10)
          >>= increment (Additive 20)
      Assert.assert "Counter should be 30" $ (value <$> c) == Just (Additive 30)