]> Git — Sourcephile - webc.git/blob - tests/Utils.hs
impl: add `Applicative` instance on `Generator`
[webc.git] / 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