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

{-# OPTIONS_GHC -Wno-orphans #-}

module LawfulConversions.Relations.IntAndWord where

import LawfulConversions.Algebra
import LawfulConversions.Prelude

instance IsSome Int Word where
  to = fromIntegral

instance IsSome Word Int where
  to = fromIntegral

instance IsMany Int Word

instance IsMany Word Int

instance Is Int Word

instance Is Word Int