{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
module Main where
import Criterion.Main as Criterion
import Data.Appendful.Collection
import Data.GenValidity.Appendful ()
import Data.GenValidity.Criterion
main :: IO ()
main =
Criterion.defaultMain
[ genValidBench @ClientId,
genValidBench @(ClientStore ClientId Int Bool),
genValidBench @(SyncRequest ClientId Int Bool),
genValidBench @(SyncResponse ClientId Int Bool),
genValidBench @(ServerStore Int Bool)
]