X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fc%CE%BBash.git;a=blobdiff_plain;f=clash%2FData%2FParam%2FUnsigned.hs;h=6f06dbd699a452204e21bdd685fc1390f24a30a2;hp=aae032d21b0b48eda6b18127018ebe60b132d3db;hb=7f6a8f38eea6aec322fad713d9b8dd67ffd0a9de;hpb=98f12a87ff98c614f678ee71a895066de072a069 diff --git a/clash/Data/Param/Unsigned.hs b/clash/Data/Param/Unsigned.hs index aae032d..6f06dbd 100644 --- a/clash/Data/Param/Unsigned.hs +++ b/clash/Data/Param/Unsigned.hs @@ -1,7 +1,7 @@ {-# LANGUAGE TypeFamilies, TypeOperators, ScopedTypeVariables, FlexibleInstances, TemplateHaskell, Rank2Types, FlexibleContexts #-} module Data.Param.Unsigned ( Unsigned - , resize + , resizeUnsigned , fromIndex ) where @@ -27,8 +27,8 @@ fromIndex :: ) => Index nT -> Unsigned nT' fromIndex index = Unsigned (toInteger index) -resize :: (NaturalT nT, NaturalT nT') => Unsigned nT -> Unsigned nT' -resize a = fromInteger (toInteger a) +resizeUnsigned :: (NaturalT nT, NaturalT nT') => Unsigned nT -> Unsigned nT' +resizeUnsigned a = fromInteger (toInteger a) sizeT :: Unsigned nT -> nT