isomorphism-class-0.2.1: library/IsomorphismClass/Relations/IntSetAndSetOfInt.hs

{-# OPTIONS_GHC -Wno-orphans #-}

module IsomorphismClass.Relations.IntSetAndSetOfInt where

import IsomorphismClass.Classes
import IsomorphismClass.Prelude

instance IsSome (Set Int) IntSet where
  to = fromList . toList

instance IsSome IntSet (Set Int) where
  to = fromList . toList

instance Is (Set Int) IntSet

instance Is IntSet (Set Int)