testsuite/tests/driver/sigof02/MapAsSet.hsig


1
2
3
4
5
6
7
8
9
10
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