Data.Binary.SignedInt

newtype SignedInt b

Instances

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

magnitude :: forall b. SignedInt b -> b

takeSignedInt :: forall b. Pos b => Gt b D2 => Bits -> SignedInt b

fromInt :: forall b. Pos b => GtEq b D32 => b -> Int -> SignedInt b

Converts Int value to SignedInt b for b >= 31

fromUnsigned :: forall b a. Pos a => Pos b => Gt b D2 => Lt a b => UnsignedInt a -> SignedInt b

fromUnsignedUnsafe :: forall b a. Pos a => Pos b => UnsignedInt a -> SignedInt b

tryFromUnsigned :: forall b. Pos b => UnsignedInt b -> Maybe (SignedInt b)

toUnsigned :: forall b. Pos b => SignedInt b -> UnsignedInt b

positiveToUnsigned :: forall b. Pos b => SignedInt b -> Maybe (UnsignedInt b)

toInt :: forall b. Pos b => LtEq b D32 => SignedInt b -> Int

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

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

isNegative :: forall a. Binary a => a -> Boolean

complement :: forall b. SignedInt b -> SignedInt b

flipSign :: forall b. SignedInt b -> SignedInt b

toString2c :: forall b. Pos b => Radix -> SignedInt b -> String

two's complement