isomorphism-class-0.2: library/IsomorphismClass/Relations/IntAndWord.hs

{-# OPTIONS_GHC -Wno-orphans #-}

module IsomorphismClass.Relations.IntAndWord where

import IsomorphismClass.Classes
import IsomorphismClass.Prelude

instance IsSome Int Word where
  to = fromIntegral

instance IsSome Word Int where
  to = fromIntegral

instance Is Int Word

instance Is Word Int