{-# LANGUAGE TypeApplications #-}

module Main where

import Criterion.Main
import Test.QuickCheck

import Path

import Data.GenValidity
import Data.GenValidity.Path ()

main :: IO ()
main =
    defaultMain
        [ bench "genValid Path Abs File" . nfIO $
          generate (genValid @(Path Abs File))
        , bench "genValid Path Rel File" . nfIO $
          generate (genValid @(Path Rel File))
        , bench "genValid Path Abs Dir" . nfIO $
          generate (genValid @(Path Abs Dir))
        , bench "genValid Path Rel Dir" . nfIO $
          generate (genValid @(Path Rel Dir))
        , bench "genUnchecked Path Abs File" . nfIO $
          generate (genUnchecked @(Path Abs File))
        , bench "genUnchecked Path Rel File" . nfIO $
          generate (genUnchecked @(Path Rel File))
        , bench "genUnchecked Path Abs Dir" . nfIO $
          generate (genUnchecked @(Path Abs Dir))
        , bench "genUnchecked Path Rel Dir" . nfIO $
          generate (genUnchecked @(Path Rel Dir))
        , bench "genInvalid Path Abs File" . nfIO $
          generate (genInvalid @(Path Abs File))
        , bench "genInvalid Path Rel File" . nfIO $
          generate (genInvalid @(Path Rel File))
        , bench "genInvalid Path Abs Dir" . nfIO $
          generate (genInvalid @(Path Abs Dir))
        , bench "genInvalid Path Rel Dir" . nfIO $
          generate (genInvalid @(Path Rel Dir))
        ]