blob: f0b91175437e77210943bb617829037bb93570c3 (
plain)
1
2
3
4
5
6
7
8
9
10
|
==================== Tidy Core rules ====================
"SPEC shared @ []" [ALWAYS]
forall ($dMyFunctor :: MyFunctor []) (irred :: Domain [] Int).
shared @ [] $dMyFunctor irred
= bar_$sshared
"SPEC/Foo myfmap @ []" [ALWAYS]
forall (tpl :: MyFunctor []). myfmap @ [] tpl = $cmyfmap
|