Data.Long.Internal

newtype Long (s :: Signedness)

Instances

• Show (Long s)
• Eq (Long s)
• Ord (Long s)
• Bounded (Long Signed)
• Bounded (Long Unsigned)
• Semiring (Long Signed)
• Semiring (Long Unsigned)
• Ring (Long Signed)
• Ring (Long Unsigned)
• CommutativeRing (Long Signed)
• CommutativeRing (Long Unsigned)
• EuclideanRing (Long Signed)
• EuclideanRing (Long Unsigned)
• (SInfo s) => Arbitrary (Long s)

data Signedness :: Type

data Signed :: Signedness

Instances

• SInfo Signed
• Bounded (Long Signed)
• Semiring (Long Signed)
• Ring (Long Signed)
• CommutativeRing (Long Signed)
• EuclideanRing (Long Signed)

data Unsigned :: Signedness

Instances

• SInfo Unsigned
• Bounded (Long Unsigned)
• Semiring (Long Unsigned)
• Ring (Long Unsigned)
• CommutativeRing (Long Unsigned)
• EuclideanRing (Long Unsigned)

class SInfo (s :: Signedness)  where

Members

• ffiSignedness :: SignProxy s -> IsUnsigned
• toInt :: Long s -> Maybe Int

Instances

• SInfo Signed
• SInfo Unsigned

data SignProxy (s :: Signedness)

Constructors

• SignProxy

signedLongFromInt :: Int -> Long Signed

unsignedLongFromInt :: Int -> Maybe (Long Unsigned)

unsafeFromInt :: forall s. SInfo s => Int -> Long s

fromLowHighBits :: forall s. SInfo s => Int -> Int -> Long s

fromNumber :: forall s. SInfo s => Bounded (Long s) => Number -> Maybe (Long s)

fromString :: forall s. SInfo s => String -> Maybe (Long s)

fromStringAs :: forall s. SInfo s => Radix -> String -> Maybe (Long s)

highBits :: forall s. Long s -> Int

lowBits :: forall s. Long s -> Int

toString :: forall s. Long s -> String

toStringAs :: forall s. Radix -> Long s -> String

toNumber :: forall s. Long s -> Number

Converts a Long to a Number, possibly losing precision.

parity :: forall s. Long s -> Parity

Returns whether a Long is Even or Odd.

even :: forall s. Long s -> Boolean

odd :: forall s. Long s -> Boolean

positive :: forall s. Long s -> Boolean

negative :: forall s. Long s -> Boolean

quot :: forall s. Semiring (Long s) => Long s -> Long s -> Long s

rem :: forall s. Semiring (Long s) => Long s -> Long s -> Long s

and :: forall s. Long s -> Long s -> Long s

or :: forall s. Long s -> Long s -> Long s

xor :: forall s. Long s -> Long s -> Long s

shl :: forall s. Long s -> Long s -> Long s

shr :: forall s. Long s -> Long s -> Long s

zshr :: forall s. Long s -> Long s -> Long s

complement :: forall s. Long s -> Long s

signedToUnsigned :: Long Signed -> Long Unsigned

unsignedToSigned :: Long Unsigned -> Long Signed

numberBitsToInt :: Number -> Int