Safe Haskell	Safe-Inferred
Language	Haskell2010

Numeric.Literal.Integer

Description

Provides the FromInteger typeclass.

Since: 0.1

Synopsis

class FromInteger a where
- afromInteger :: HasCallStack => Integer -> a

Documentation

class FromInteger a where Source #

Replaces base's fromInteger functionality for when we do not have a Num instance.

1_000 :: Num a => a

-- becomes

afromInteger 1_000 :: FromInteger a => a

Note that fromInteger's deficiencies are inherited e.g. Natural is partial, bounded types have over/underflow issues.

Since: 0.1

Methods

afromInteger :: HasCallStack => Integer -> a Source #

Since: 0.1

Instances

Instances details

FromInteger Int16 Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Int16 Source #
FromInteger Int32 Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Int32 Source #
FromInteger Int64 Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Int64 Source #
FromInteger Int8 Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Int8 Source #
FromInteger Word16 Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Word16 Source #
FromInteger Word32 Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Word32 Source #
FromInteger Word64 Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Word64 Source #
FromInteger Word8 Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Word8 Source #
FromInteger Integer Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Integer Source #
FromInteger Natural Source #	WARNING: Partial Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Natural Source #
FromInteger Double Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Double Source #
FromInteger Float Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Float Source #
FromInteger Int Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Int Source #
FromInteger Word Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Word Source #
RealFloat a => FromInteger (Complex a) Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Complex a Source #
FromInteger (Ratio Integer) Source #	Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Ratio Integer Source #
FromInteger (Ratio Natural) Source #	WARNING: Partial Since: 0.1
Instance details Defined in Numeric.Literal.Integer Methods afromInteger :: Integer -> Ratio Natural Source #