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

{-# OPTIONS_GHC -Wno-orphans #-}

module LawfulConversions.Relations.Int32AndWord32 where

import LawfulConversions.Algebra
import LawfulConversions.Prelude

instance IsSome Int32 Word32 where
  to = fromIntegral

instance IsSome Word32 Int32 where
  to = fromIntegral

instance IsMany Int32 Word32

instance IsMany Word32 Int32

instance Is Int32 Word32

instance Is Word32 Int32