lawful-conversions-0.2: src/library/LawfulConversions/Relations/IntSetAndSetOfInt.hs

{-# OPTIONS_GHC -Wno-orphans #-}

module LawfulConversions.Relations.IntSetAndSetOfInt where

import LawfulConversions.Algebra
import LawfulConversions.Prelude

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

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

instance IsMany (Set Int) IntSet

instance IsMany IntSet (Set Int)

instance Is (Set Int) IntSet

instance Is IntSet (Set Int)