module Test.Main where

import Prelude
import Test.Unit.Assert as Assert
import Control.Monad.Eff (Eff)
import Data.Either (Either(Left, Right))
import Test.Unit (suite, test)
import Test.Unit.Main (runTest)
import Triangle (triangleKind, Triangle(Equilateral, Isosceles, Scalene))


main :: Eff _ Unit
main = runTest do
  suite "Triangle.triangleKind" do
    test "equilateral triangles have equal sides" do
      Assert.equal
        (Right Equilateral) $
        triangleKind 2 2 2
    test "larger equilateral triangles also have equal sides" do
      Assert.equal
        (Right Equilateral)
        $ triangleKind 10 10 10
    test "isosceles triangles have last two sides equal" do
      Assert.equal
        (Right Isosceles)
        $ triangleKind 3 4 4
    test "isosceles triangles have first and last sides equal" do
      Assert.equal
        (Right Isosceles)
        $ triangleKind 4 3 4
    test "isosceles triangles have two first sides equal" do
      Assert.equal
        (Right Isosceles)
        $ triangleKind 4 4 3
    test "isosceles triangles have in fact exactly two sides equal" do
      Assert.equal
        (Right Isosceles)
        $ triangleKind 10 10 2
    test "scalene triangles have no equal sides" do
      Assert.equal
        (Right Scalene)
        $ triangleKind 3 4 5
    test "scalene triangles have no equal sides at a larger scale too" do
      Assert.equal
        (Right Scalene)
        $ triangleKind 10 11 12
    test "scalene triangles have no equal sides at a larger scale too 2" do
      Assert.equal
        (Right Scalene)
        $ triangleKind 5 4 2
    test "triangles with no size are illegal" do
      Assert.equal
        (Left "Invalid lengths")
        $ triangleKind 0 0 0
    test "triangles with negative sides are illegal" do
      Assert.equal
        (Left "Invalid lengths")
        $ triangleKind 3 4 (-5)
    test "triangles violating triangle inequality are illegal 1" do
      Assert.equal
        (Left "Violates inequality")
        $ triangleKind 1 1 3
    test "triangles violating triangle inequality are illegal 2" do
      Assert.equal
        (Left "Violates inequality")
        $ triangleKind 7 3 2