{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TemplateHaskell #-}
module Main where

import Control.THEff
import Control.THEff.Validator

mkEff "MyValidator"   ''Validator   ''Float     ''NoEff

test1 :: Int -> Either Float Float -- return Left if out of range 
test1 i = runMyValidator (validator (<30)) $
                    chk $ pi ^ i

test2 :: Int -> Float -- If value is out of range, it is set on the border of the range. 
-- test2 i = right $ runMyVldtr (range 0 30) $ chk $ pi ^ i
test2 i = withRange runMyValidator 0 30 $ do
            let checkValue = pi ^ i 
            chk checkValue 
          
main:: IO ()
main = do
    print $ test1 2
    print $ test1 3
    print $ test2 2
    print $ test2 3