X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fc%CE%BBash.git;a=blobdiff_plain;f=clash%2FData%2FParam%2FSigned.hs;h=e85fe607757da2fd0293d444e901197d1954daf6;hp=26ac677caa6f4b28ae1de91fda4cfea8d80a20f9;hb=7f6a8f38eea6aec322fad713d9b8dd67ffd0a9de;hpb=98f12a87ff98c614f678ee71a895066de072a069 diff --git a/clash/Data/Param/Signed.hs b/clash/Data/Param/Signed.hs index 26ac677..e85fe60 100644 --- a/clash/Data/Param/Signed.hs +++ b/clash/Data/Param/Signed.hs @@ -1,7 +1,7 @@ {-# LANGUAGE TypeFamilies, TypeOperators, ScopedTypeVariables, FlexibleInstances, TemplateHaskell, Rank2Types, FlexibleContexts #-} module Data.Param.Signed ( Signed - , resize + , resizeSigned ) where import Language.Haskell.TH @@ -18,8 +18,8 @@ instance NaturalT nT => Lift (Signed nT) where decSignedT :: Integer -> Q Type decSignedT n = appT (conT (''Signed)) (decLiteralT n) -resize :: (NaturalT nT, NaturalT nT') => Signed nT -> Signed nT' -resize a = fromInteger (toInteger a) +resizeSigned :: (NaturalT nT, NaturalT nT') => Signed nT -> Signed nT' +resizeSigned a = fromInteger (toInteger a) sizeT :: Signed nT -> nT