Data.Binary.UnsignedInt

newtype UnsignedInt b

Instances

• Newtype (UnsignedInt b) _
• (Pos b) => Eq (UnsignedInt b)
• (Pos b) => Ord (UnsignedInt b)
• (Pos b) => Show (UnsignedInt b)
• (Pos b) => Binary (UnsignedInt b)
• (Pos b) => Bounded (UnsignedInt b)
• (Pos b) => Semiring (UnsignedInt b)
• (Pos b) => Ring (UnsignedInt b)
• (Pos b) => BaseN (UnsignedInt b)

magnitude :: forall b. UnsignedInt b -> b

takeUnsignedInt :: forall b. Pos b => Bits -> UnsignedInt b

fromInt :: forall b. Pos b => GtEq b D31 => b -> Int -> UnsignedInt b

Converts Int value to UnsignedInt b for b >= 31 Behavior for negative Int values is unspecified.

toInt :: forall b. Pos b => Lt b D32 => UnsignedInt b -> Int

asBits :: forall b a. Pos a => Pos b => Lt a b => UnsignedInt a -> UnsignedInt b

tryAsBits :: forall b a. Pos a => Pos b => Gt a b => UnsignedInt a -> Maybe (UnsignedInt b)

divModUnsigned :: Bits -> Bits -> Tuple Bits Bits