tests/Utils.hs

   1 {-# LANGUAGE UndecidableInstances #-}
   2
   3 module Utils where
   4
   5 import Symantic.Classes (IsoFunctor, ProductFunctor, SumFunctor)
   6
   7 import Webc
   8
   9 {- | Gather symantics used for those tests to instantiate multiple interpreters
  10 on the same quantified 'repr'.
  11 -}
  12 class
  13   ( IsoFunctor repr
  14   , ProductFunctor repr
  15   , Repeatable repr
  16   , SumFunctor repr
  17   , Slugable repr
  18   ) =>
  19   Testable repr
  20
  21 instance
  22   ( IsoFunctor repr
  23   , ProductFunctor repr
  24   , Repeatable repr
  25   , SumFunctor repr
  26   , Slugable repr
  27   ) =>
  28   Testable repr