{-# LANGUAGE OverloadedStrings #-}

module Sound.Tidal.ValueTest where

import           Prelude           hiding ((*>), (<*))
import           Sound.Tidal.Show  ()
import           Sound.Tidal.Types
import           Sound.Tidal.Value
import           Test.Microspec

run :: Microspec ()
run =
  describe "Sound.Tidal.Signal.Value" $ do
    describe "applyFIRS" $ do
      it "apply Float function when value of type VF" $ do
        let res = applyFIRS (+1) (+1) (+1) (++ "1") (VF 1)
        property $ (VF 2.0) === res
      it "apply Int function when value of type VI" $ do
        let res = applyFIRS (+1) (+1) (+1) (++ "1") (VI 1)
        property $ (VI 2) === res
      it "apply Int function when value of type VR" $ do
        let res = applyFIRS (+1) (+1) (+1) (++ "1") (VR 1)
        property $ (VR 2) === res
      it "apply String function when value of type VS" $ do
        let res = applyFIRS (+1) (+1) (+1) (++ "1") (VS "1")
        property $ (VS "11") === res

    describe "fNum2" $ do
      it "apply Int function for two Int values" $ do
        let res = fNum2 (+) (+) (VI 2) (VI 3)
        property $ (VI 5) === res
      it "apply float function when given two float values" $ do
        let res = fNum2 (+) (+) (VF 2) (VF 3)
        property $ (VF 5.0) === res
      it "apply float function when one float and one int value given" $ do
        let res = fNum2 (+) (+) (VF 2) (VI 3)
        property $ (VF 5.0) === res


    describe "getI" $ do
      it "get Just value when Int value is supplied" $ do
        let res = getI (VI 3)
        property $ (Just 3) === res
      it "get floored value when float value is supplied" $ do
        let res = getI (VF 3.5)
        property $ (Just 3) === res
      it "get if String value is supplied" $ do
        let res = getI (VS "3")
        property $ Nothing === res

    describe "getF" $ do
     it "get Just value when Float value is supplied" $ do
       let res = getF (VF 3)
       property $ (Just 3.0) === res
     it "get converted value if Int value is supplied" $ do
       let res = getF (VI 3)
       property $ (Just 3.0) === res

    describe "getS" $ do
     it "get Just value when String value is supplied" $ do
       let res = getS (VS "Tidal")
       property $ (Just "Tidal") === res
     it "get Nothing if Int value is not supplied" $ do
       let res = getS (VI 3)
       property $ Nothing === res