diff options
Diffstat (limited to 'testsuite/tests/driver/sigof02/MapAsSet.hs-boot')
| -rw-r--r-- | testsuite/tests/driver/sigof02/MapAsSet.hs-boot | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/driver/sigof02/MapAsSet.hs-boot b/testsuite/tests/driver/sigof02/MapAsSet.hs-boot new file mode 100644 index 0000000000..1defbc7717 --- /dev/null +++ b/testsuite/tests/driver/sigof02/MapAsSet.hs-boot @@ -0,0 +1,11 @@ +{-# LANGUAGE RoleAnnotations #-} +module MapAsSet where + +import Data.Set + +type role Map nominal representational +data Map k a +instance Functor (Map k) + +keysSet :: Map k a -> Set k +fromSet :: (k -> a) -> Set k -> Map k a |