witch-1.0.0.2: Convert values from one type into another.
Safe HaskellNone
LanguageHaskell2010

Witch.Instances

Synopsis

Documentation

realFloatToRational :: RealFloat s => s -> Either ArithException Rational Source #

overPositive :: (Eq a, Num a, Num b) => (a -> b) -> a -> b Source #

fromDigits :: [Int] -> Int -> (Integer, Integer) Source #

makeRational :: Integer -> Integer -> Rational Source #

fromNonNegativeIntegral :: (Integral s, Num t) => s -> Either ArithException t Source #

maxFloat :: Num a => a Source #

The maximum integral value that can be unambiguously represented as a Float. Equal to 16,777,215.

maxDouble :: Num a => a Source #

The maximum integral value that can be unambiguously represented as a Double. Equal to 9,007,199,254,740,991.

Orphan instances

From Double Float Source #

Uses double2Float. This necessarily loses some precision.

Instance details

Methods

from :: Double -> Float Source #

From Float Double Source #

Uses float2Double.

Instance details

Methods

from :: Float -> Double Source #

From Int Int64 Source #

Uses fromIntegral.

Instance details

Methods

from :: Int -> Int64 Source #

From Int Integer Source #

Uses fromIntegral.

Instance details

Methods

from :: Int -> Integer Source #

From Int8 Double Source #

Uses fromIntegral.

Instance details

Methods

from :: Int8 -> Double Source #

From Int8 Float Source #

Uses fromIntegral.

Instance details

Methods

from :: Int8 -> Float Source #

From Int8 Int Source #

Uses fromIntegral.

Instance details

Methods

from :: Int8 -> Int Source #

From Int8 Int16 Source #

Uses fromIntegral.

Instance details

Methods

from :: Int8 -> Int16 Source #

From Int8 Int32 Source #

Uses fromIntegral.

Instance details

Methods

from :: Int8 -> Int32 Source #

From Int8 Int64 Source #

Uses fromIntegral.

Instance details

Methods

from :: Int8 -> Int64 Source #

From Int8 Integer Source #

Uses fromIntegral.

Instance details

Methods

from :: Int8 -> Integer Source #

From Int16 Double Source #

Uses fromIntegral.

Instance details

Methods

from :: Int16 -> Double Source #

From Int16 Float Source #

Uses fromIntegral.

Instance details

Methods

from :: Int16 -> Float Source #

From Int16 Int Source #

Uses fromIntegral.

Instance details

Methods

from :: Int16 -> Int Source #

From Int16 Int32 Source #

Uses fromIntegral.

Instance details

Methods

from :: Int16 -> Int32 Source #

From Int16 Int64 Source #

Uses fromIntegral.

Instance details

Methods

from :: Int16 -> Int64 Source #

From Int16 Integer Source #

Uses fromIntegral.

Instance details

Methods

from :: Int16 -> Integer Source #

From Int32 Double Source #

Uses fromIntegral.

Instance details

Methods

from :: Int32 -> Double Source #

From Int32 Int64 Source #

Uses fromIntegral.

Instance details

Methods

from :: Int32 -> Int64 Source #

From Int32 Integer Source #

Uses fromIntegral.

Instance details

Methods

from :: Int32 -> Integer Source #

From Int64 Integer Source #

Uses fromIntegral.

Instance details

Methods

from :: Int64 -> Integer Source #

From Integer Day Source #

Uses ModifiedJulianDay.

Instance details

Methods

from :: Integer -> Day Source #

From Natural Integer Source #

Uses fromIntegral.

Instance details

Methods

from :: Natural -> Integer Source #

From Rational Double Source #

Uses fromRational. This necessarily loses some precision.

Instance details

Methods

from :: Rational -> Double Source #

From Rational Float Source #

Uses fromRational. This necessarily loses some precision.

Instance details

Methods

from :: Rational -> Float Source #

From Rational TimeOfDay Source #

Uses dayFractionToTimeOfDay.

Instance details

Methods

from :: Rational -> TimeOfDay Source #

From Rational UniversalTime Source #

Uses ModJulianDate.

Instance details

Methods

from :: Rational -> UniversalTime Source #

From Word Integer Source #

Uses fromIntegral.

Instance details

Methods

from :: Word -> Integer Source #

From Word Natural Source #

Uses fromIntegral.

Instance details

Methods

from :: Word -> Natural Source #

From Word Word64 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word -> Word64 Source #

From Word8 Double Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Double Source #

From Word8 Float Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Float Source #

From Word8 Int Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Int Source #

From Word8 Int16 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Int16 Source #

From Word8 Int32 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Int32 Source #

From Word8 Int64 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Int64 Source #

From Word8 Integer Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Integer Source #

From Word8 Natural Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Natural Source #

From Word8 Word Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Word Source #

From Word8 Word16 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Word16 Source #

From Word8 Word32 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Word32 Source #

From Word8 Word64 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word8 -> Word64 Source #

From Word16 Double Source #

Uses fromIntegral.

Instance details

Methods

from :: Word16 -> Double Source #

From Word16 Float Source #

Uses fromIntegral.

Instance details

Methods

from :: Word16 -> Float Source #

From Word16 Int Source #

Uses fromIntegral.

Instance details

Methods

from :: Word16 -> Int Source #

From Word16 Int32 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word16 -> Int32 Source #

From Word16 Int64 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word16 -> Int64 Source #

From Word16 Integer Source #

Uses fromIntegral.

Instance details

Methods

from :: Word16 -> Integer Source #

From Word16 Natural Source #

Uses fromIntegral.

Instance details

Methods

from :: Word16 -> Natural Source #

From Word16 Word Source #

Uses fromIntegral.

Instance details

Methods

from :: Word16 -> Word Source #

From Word16 Word32 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word16 -> Word32 Source #

From Word16 Word64 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word16 -> Word64 Source #

From Word32 Double Source #

Uses fromIntegral.

Instance details

Methods

from :: Word32 -> Double Source #

From Word32 Int64 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word32 -> Int64 Source #

From Word32 Integer Source #

Uses fromIntegral.

Instance details

Methods

from :: Word32 -> Integer Source #

From Word32 Natural Source #

Uses fromIntegral.

Instance details

Methods

from :: Word32 -> Natural Source #

From Word32 Word64 Source #

Uses fromIntegral.

Instance details

Methods

from :: Word32 -> Word64 Source #

From Word64 Integer Source #

Uses fromIntegral.

Instance details

Methods

from :: Word64 -> Integer Source #

From Word64 Natural Source #

Uses fromIntegral.

Instance details

Methods

from :: Word64 -> Natural Source #

From a a Source #

Uses id.

Instance details

Methods

from :: a -> a Source #

From Pico NominalDiffTime Source #

Uses secondsToNominalDiffTime.

Instance details

Methods

from :: Pico -> NominalDiffTime Source #

From Pico DiffTime Source #

Uses realToFrac.

Instance details

Methods

from :: Pico -> DiffTime Source #

From String ByteString Source #

Converts via Text.

Instance details

Methods

from :: String -> ByteString Source #

From String ByteString Source #

Converts via Text.

Instance details

Methods

from :: String -> ByteString Source #

From String Text Source #

Uses pack. Some Char values cannot be represented in Text and will be replaced with '\xFFFD'.

Instance details

Methods

from :: String -> Text Source #

From String Text Source #

Uses pack. Some Char values cannot be represented in Text and will be replaced with '\xFFFD'.

Instance details

Methods

from :: String -> Text Source #

From ShortByteString ByteString Source #

Uses fromShort.

Instance details

Methods

from :: ShortByteString -> ByteString Source #

From ByteString ByteString Source #

Uses toStrict.

Instance details

Methods

from :: ByteString0 -> ByteString Source #

From ByteString ShortByteString Source #

Uses toShort.

Instance details

Methods

from :: ByteString -> ShortByteString Source #

From ByteString ByteString Source #

Uses fromStrict.

Instance details

Methods

from :: ByteString -> ByteString0 Source #

From Text String Source #

Uses unpack.

Instance details

Methods

from :: Text -> String Source #

From Text ByteString Source #

Uses encodeUtf8.

Instance details

Methods

from :: Text -> ByteString Source #

From Text ByteString Source #

Converts via ByteString.

Instance details

Methods

from :: Text -> ByteString Source #

From Text Text Source #

Uses toStrict.

Instance details

Methods

from :: Text0 -> Text Source #

From Text String Source #

Uses unpack.

Instance details

Methods

from :: Text -> String Source #

From Text ByteString Source #

Converts via ByteString.

Instance details

Methods

from :: Text -> ByteString Source #

From Text ByteString Source #

Uses encodeUtf8.

Instance details

Methods

from :: Text -> ByteString Source #

From Text Text Source #

Uses fromStrict.

Instance details

Methods

from :: Text -> Text0 Source #

From ZonedTime UTCTime Source #

Uses zonedTimeToUTC.

Instance details

Methods

from :: ZonedTime -> UTCTime Source #

From TimeOfDay Rational Source #

Uses timeOfDayToDayFraction.

Instance details

Methods

from :: TimeOfDay -> Rational Source #

From TimeOfDay DiffTime Source #

Uses timeOfDayToTime.

Instance details

Methods

from :: TimeOfDay -> DiffTime Source #

From UniversalTime Rational Source #

Uses getModJulianDate.

Instance details

Methods

from :: UniversalTime -> Rational Source #

From UTCTime SystemTime Source #

Uses utcToSystemTime.

Instance details

Methods

from :: UTCTime -> SystemTime Source #

From UTCTime POSIXTime Source #

Uses utcTimeToPOSIXSeconds.

Instance details

Methods

from :: UTCTime -> POSIXTime Source #

From SystemTime UTCTime Source #

Uses systemToUTCTime.

Instance details

Methods

from :: SystemTime -> UTCTime Source #

From SystemTime POSIXTime Source #

Uses systemToPOSIXTime.

Instance details

Methods

from :: SystemTime -> POSIXTime Source #

From SystemTime AbsoluteTime Source #

Uses systemToTAITime.

Instance details

Methods

from :: SystemTime -> AbsoluteTime Source #

From POSIXTime UTCTime Source #

Uses posixSecondsToUTCTime.

Instance details

Methods

from :: POSIXTime -> UTCTime Source #

From NominalDiffTime Pico Source #

Uses nominalDiffTimeToSeconds.

Instance details

Methods

from :: NominalDiffTime -> Pico Source #

From NominalDiffTime CalendarDiffTime Source #

Uses calendarTimeTime.

Instance details

Methods

from :: NominalDiffTime -> CalendarDiffTime Source #

From DiffTime Pico Source #

Uses realToFrac.

Instance details

Methods

from :: DiffTime -> Pico Source #

From DiffTime TimeOfDay Source #

Uses timeToTimeOfDay.

Instance details

Methods

from :: DiffTime -> TimeOfDay Source #

From Day Integer Source #

Uses toModifiedJulianDay.

Instance details

Methods

from :: Day -> Integer Source #

From Day DayOfWeek Source #

Uses dayOfWeek.

Instance details

Methods

from :: Day -> DayOfWeek Source #

From CalendarDiffDays CalendarDiffTime Source #

Uses calendarTimeDays.

Instance details

Methods

from :: CalendarDiffDays -> CalendarDiffTime Source #

TryFrom Double Int Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Int) Int Source #

TryFrom Double Int8 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Int8) Int8 Source #

TryFrom Double Int16 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Int16) Int16 Source #

TryFrom Double Int32 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Int32) Int32 Source #

TryFrom Double Int64 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Int64) Int64 Source #

TryFrom Double Integer Source #

Converts via Rational when the input is between -9,007,199,254,740,991 and 9,007,199,254,740,991 inclusive.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Integer) Integer Source #

TryFrom Double Natural Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Natural) Natural Source #

TryFrom Double Rational Source #

Uses floatToDigits when the input is not NaN or infinity.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Rational) Rational Source #

TryFrom Double Word Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Word) Word Source #

TryFrom Double Word8 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Word8) Word8 Source #

TryFrom Double Word16 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Word16) Word16 Source #

TryFrom Double Word32 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Word32) Word32 Source #

TryFrom Double Word64 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Double -> Either (TryFromException Double Word64) Word64 Source #

TryFrom Float Int Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Int) Int Source #

TryFrom Float Int8 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Int8) Int8 Source #

TryFrom Float Int16 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Int16) Int16 Source #

TryFrom Float Int32 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Int32) Int32 Source #

TryFrom Float Int64 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Int64) Int64 Source #

TryFrom Float Integer Source #

Converts via Rational when the input is between -16,777,215 and 16,777,215 inclusive.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Integer) Integer Source #

TryFrom Float Natural Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Natural) Natural Source #

TryFrom Float Rational Source #

Uses floatToDigits when the input is not NaN or infinity.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Rational) Rational Source #

TryFrom Float Word Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Word) Word Source #

TryFrom Float Word8 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Word8) Word8 Source #

TryFrom Float Word16 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Word16) Word16 Source #

TryFrom Float Word32 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Word32) Word32 Source #

TryFrom Float Word64 Source #

Converts via Integer.

Instance details

Methods

tryFrom :: Float -> Either (TryFromException Float Word64) Word64 Source #

TryFrom Int Double Source #

Uses fromIntegral when the input is between -9,007,199,254,740,991 and 9,007,199,254,740,991 inclusive.

Instance details

Methods

tryFrom :: Int -> Either (TryFromException Int Double) Double Source #

TryFrom Int Float Source #

Uses fromIntegral when the input is between -16,777,215 and 16,777,215 inclusive.

Instance details

Methods

tryFrom :: Int -> Either (TryFromException Int Float) Float Source #

TryFrom Int Int8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int -> Either (TryFromException Int Int8) Int8 Source #

TryFrom Int Int16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int -> Either (TryFromException Int Int16) Int16 Source #

TryFrom Int Int32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int -> Either (TryFromException Int Int32) Int32 Source #

TryFrom Int Natural Source #

Uses fromIntegral when the input is not negative.

Instance details

Methods

tryFrom :: Int -> Either (TryFromException Int Natural) Natural Source #

TryFrom Int Word Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int -> Either (TryFromException Int Word) Word Source #

TryFrom Int Word8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int -> Either (TryFromException Int Word8) Word8 Source #

TryFrom Int Word16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int -> Either (TryFromException Int Word16) Word16 Source #

TryFrom Int Word32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int -> Either (TryFromException Int Word32) Word32 Source #

TryFrom Int Word64 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int -> Either (TryFromException Int Word64) Word64 Source #

TryFrom Int8 Natural Source #

Uses fromIntegral when the input is not negative.

Instance details

Methods

tryFrom :: Int8 -> Either (TryFromException Int8 Natural) Natural Source #

TryFrom Int8 Word Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int8 -> Either (TryFromException Int8 Word) Word Source #

TryFrom Int8 Word8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int8 -> Either (TryFromException Int8 Word8) Word8 Source #

TryFrom Int8 Word16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int8 -> Either (TryFromException Int8 Word16) Word16 Source #

TryFrom Int8 Word32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int8 -> Either (TryFromException Int8 Word32) Word32 Source #

TryFrom Int8 Word64 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int8 -> Either (TryFromException Int8 Word64) Word64 Source #

TryFrom Int16 Int8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int16 -> Either (TryFromException Int16 Int8) Int8 Source #

TryFrom Int16 Natural Source #

Uses fromIntegral when the input is not negative.

Instance details

Methods

tryFrom :: Int16 -> Either (TryFromException Int16 Natural) Natural Source #

TryFrom Int16 Word Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int16 -> Either (TryFromException Int16 Word) Word Source #

TryFrom Int16 Word8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int16 -> Either (TryFromException Int16 Word8) Word8 Source #

TryFrom Int16 Word16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int16 -> Either (TryFromException Int16 Word16) Word16 Source #

TryFrom Int16 Word32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int16 -> Either (TryFromException Int16 Word32) Word32 Source #

TryFrom Int16 Word64 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int16 -> Either (TryFromException Int16 Word64) Word64 Source #

TryFrom Int32 Float Source #

Uses fromIntegral when the input is between -16,777,215 and 16,777,215 inclusive.

Instance details

Methods

tryFrom :: Int32 -> Either (TryFromException Int32 Float) Float Source #

TryFrom Int32 Int Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int32 -> Either (TryFromException Int32 Int) Int Source #

TryFrom Int32 Int8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int32 -> Either (TryFromException Int32 Int8) Int8 Source #

TryFrom Int32 Int16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int32 -> Either (TryFromException Int32 Int16) Int16 Source #

TryFrom Int32 Natural Source #

Uses fromIntegral when the input is not negative.

Instance details

Methods

tryFrom :: Int32 -> Either (TryFromException Int32 Natural) Natural Source #

TryFrom Int32 Word Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int32 -> Either (TryFromException Int32 Word) Word Source #

TryFrom Int32 Word8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int32 -> Either (TryFromException Int32 Word8) Word8 Source #

TryFrom Int32 Word16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int32 -> Either (TryFromException Int32 Word16) Word16 Source #

TryFrom Int32 Word32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int32 -> Either (TryFromException Int32 Word32) Word32 Source #

TryFrom Int32 Word64 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int32 -> Either (TryFromException Int32 Word64) Word64 Source #

TryFrom Int64 Double Source #

Uses fromIntegral when the input is between -9,007,199,254,740,991 and 9,007,199,254,740,991 inclusive.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Double) Double Source #

TryFrom Int64 Float Source #

Uses fromIntegral when the input is between -16,777,215 and 16,777,215 inclusive.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Float) Float Source #

TryFrom Int64 Int Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Int) Int Source #

TryFrom Int64 Int8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Int8) Int8 Source #

TryFrom Int64 Int16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Int16) Int16 Source #

TryFrom Int64 Int32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Int32) Int32 Source #

TryFrom Int64 Natural Source #

Uses fromIntegral when the input is not negative.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Natural) Natural Source #

TryFrom Int64 Word Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Word) Word Source #

TryFrom Int64 Word8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Word8) Word8 Source #

TryFrom Int64 Word16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Word16) Word16 Source #

TryFrom Int64 Word32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Word32) Word32 Source #

TryFrom Int64 Word64 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Int64 -> Either (TryFromException Int64 Word64) Word64 Source #

TryFrom Integer Double Source #

Uses fromIntegral when the input is between -9,007,199,254,740,991 and 9,007,199,254,740,991 inclusive.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Double) Double Source #

TryFrom Integer Float Source #

Uses fromIntegral when the input is between -16,777,215 and 16,777,215 inclusive.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Float) Float Source #

TryFrom Integer Int Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Int) Int Source #

TryFrom Integer Int8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Int8) Int8 Source #

TryFrom Integer Int16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Int16) Int16 Source #

TryFrom Integer Int32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Int32) Int32 Source #

TryFrom Integer Int64 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Int64) Int64 Source #

TryFrom Integer Natural Source #

Uses fromInteger when the input is not negative.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Natural) Natural Source #

TryFrom Integer Word Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Word) Word Source #

TryFrom Integer Word8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Word8) Word8 Source #

TryFrom Integer Word16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Word16) Word16 Source #

TryFrom Integer Word32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Word32) Word32 Source #

TryFrom Integer Word64 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Integer -> Either (TryFromException Integer Word64) Word64 Source #

TryFrom Natural Double Source #

Uses fromIntegral when the input is less than or equal to 9,007,199,254,740,991.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Double) Double Source #

TryFrom Natural Float Source #

Uses fromIntegral when the input is less than or equal to 16,777,215.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Float) Float Source #

TryFrom Natural Int Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Int) Int Source #

TryFrom Natural Int8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Int8) Int8 Source #

TryFrom Natural Int16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Int16) Int16 Source #

TryFrom Natural Int32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Int32) Int32 Source #

TryFrom Natural Int64 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Int64) Int64 Source #

TryFrom Natural Word Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Word) Word Source #

TryFrom Natural Word8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Word8) Word8 Source #

TryFrom Natural Word16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Word16) Word16 Source #

TryFrom Natural Word32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Word32) Word32 Source #

TryFrom Natural Word64 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Natural -> Either (TryFromException Natural Word64) Word64 Source #

TryFrom Word Double Source #

Uses fromIntegral when the input is less than or equal to 9,007,199,254,740,991.

Instance details

Methods

tryFrom :: Word -> Either (TryFromException Word Double) Double Source #

TryFrom Word Float Source #

Uses fromIntegral when the input is less than or equal to 16,777,215.

Instance details

Methods

tryFrom :: Word -> Either (TryFromException Word Float) Float Source #

TryFrom Word Int Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word -> Either (TryFromException Word Int) Int Source #

TryFrom Word Int8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word -> Either (TryFromException Word Int8) Int8 Source #

TryFrom Word Int16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word -> Either (TryFromException Word Int16) Int16 Source #

TryFrom Word Int32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word -> Either (TryFromException Word Int32) Int32 Source #

TryFrom Word Int64 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word -> Either (TryFromException Word Int64) Int64 Source #

TryFrom Word Word8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word -> Either (TryFromException Word Word8) Word8 Source #

TryFrom Word Word16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word -> Either (TryFromException Word Word16) Word16 Source #

TryFrom Word Word32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word -> Either (TryFromException Word Word32) Word32 Source #

TryFrom Word8 Int8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word8 -> Either (TryFromException Word8 Int8) Int8 Source #

TryFrom Word16 Int8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word16 -> Either (TryFromException Word16 Int8) Int8 Source #

TryFrom Word16 Int16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word16 -> Either (TryFromException Word16 Int16) Int16 Source #

TryFrom Word16 Word8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word16 -> Either (TryFromException Word16 Word8) Word8 Source #

TryFrom Word32 Float Source #

Uses fromIntegral when the input is less than or equal to 16,777,215.

Instance details

Methods

tryFrom :: Word32 -> Either (TryFromException Word32 Float) Float Source #

TryFrom Word32 Int Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word32 -> Either (TryFromException Word32 Int) Int Source #

TryFrom Word32 Int8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word32 -> Either (TryFromException Word32 Int8) Int8 Source #

TryFrom Word32 Int16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word32 -> Either (TryFromException Word32 Int16) Int16 Source #

TryFrom Word32 Int32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word32 -> Either (TryFromException Word32 Int32) Int32 Source #

TryFrom Word32 Word Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word32 -> Either (TryFromException Word32 Word) Word Source #

TryFrom Word32 Word8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word32 -> Either (TryFromException Word32 Word8) Word8 Source #

TryFrom Word32 Word16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word32 -> Either (TryFromException Word32 Word16) Word16 Source #

TryFrom Word64 Double Source #

Uses fromIntegral when the input is less than or equal to 9,007,199,254,740,991.

Instance details

Methods

tryFrom :: Word64 -> Either (TryFromException Word64 Double) Double Source #

TryFrom Word64 Float Source #

Uses fromIntegral when the input is less than or equal to 16,777,215.

Instance details

Methods

tryFrom :: Word64 -> Either (TryFromException Word64 Float) Float Source #

TryFrom Word64 Int Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word64 -> Either (TryFromException Word64 Int) Int Source #

TryFrom Word64 Int8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word64 -> Either (TryFromException Word64 Int8) Int8 Source #

TryFrom Word64 Int16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word64 -> Either (TryFromException Word64 Int16) Int16 Source #

TryFrom Word64 Int32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word64 -> Either (TryFromException Word64 Int32) Int32 Source #

TryFrom Word64 Int64 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word64 -> Either (TryFromException Word64 Int64) Int64 Source #

TryFrom Word64 Word Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word64 -> Either (TryFromException Word64 Word) Word Source #

TryFrom Word64 Word8 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word64 -> Either (TryFromException Word64 Word8) Word8 Source #

TryFrom Word64 Word16 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word64 -> Either (TryFromException Word64 Word16) Word16 Source #

TryFrom Word64 Word32 Source #

Uses toIntegralSized.

Instance details

Methods

tryFrom :: Word64 -> Either (TryFromException Word64 Word32) Word32 Source #

TryFrom ByteString String Source #

Converts via Text.

Instance details

Methods

tryFrom :: ByteString -> Either (TryFromException ByteString String) String Source #

TryFrom ByteString Text Source #

Uses decodeUtf8'.

Instance details

Methods

tryFrom :: ByteString -> Either (TryFromException ByteString Text) Text Source #

TryFrom ByteString Text Source #

Converts via Text.

Instance details

Methods

tryFrom :: ByteString -> Either (TryFromException ByteString Text) Text Source #

TryFrom ByteString String Source #

Converts via Text.

Instance details

Methods

tryFrom :: ByteString -> Either (TryFromException ByteString String) String Source #

TryFrom ByteString Text Source #

Converts via Text.

Instance details

Methods

tryFrom :: ByteString -> Either (TryFromException ByteString Text) Text Source #

TryFrom ByteString Text Source #

Uses decodeUtf8'.

Instance details

Methods

tryFrom :: ByteString -> Either (TryFromException ByteString Text) Text Source #

Num a => From a (Complex a) Source #

Uses (:+) with an imaginary part of 0.

Instance details

Methods

from :: a -> Complex a Source #

Integral a => From a (Ratio a) Source #

Uses (%) with a denominator of 1.

Instance details

Methods

from :: a -> Ratio a Source #

From ShortByteString [Word8] Source #

Uses unpack.

Instance details

Methods

from :: ShortByteString -> [Word8] Source #

From ByteString [Word8] Source #

Uses unpack.

Instance details

Methods

from :: ByteString -> [Word8] Source #

From ByteString [Word8] Source #

Uses unpack.

Instance details

Methods

from :: ByteString -> [Word8] Source #

From IntSet [Int] Source #

Uses toAscList.

Instance details

Methods

from :: IntSet -> [Int] Source #

From Integer (Fixed a) Source #

Uses MkFixed. This means from @Integer @Centi 2 is 0.02 rather than 2.00.

Instance details

Methods

from :: Integer -> Fixed a Source #

HasResolution a => TryFrom Rational (Fixed a) Source #

Uses fromRational as long as there isn't a loss of precision.

Instance details

Methods

tryFrom :: Rational -> Either (TryFromException Rational (Fixed a)) (Fixed a) Source #

From [Int] IntSet Source #

Uses fromList.

Instance details

Methods

from :: [Int] -> IntSet Source #

From [Word8] ShortByteString Source #

Uses pack.

Instance details

Methods

from :: [Word8] -> ShortByteString Source #

From [Word8] ByteString Source #

Uses pack.

Instance details

Methods

from :: [Word8] -> ByteString Source #

From [Word8] ByteString Source #

Uses pack.

Instance details

Methods

from :: [Word8] -> ByteString Source #

(Eq a, Num a) => TryFrom (Ratio a) a Source #

Uses numerator when the denominator is 1.

Instance details

Methods

tryFrom :: Ratio a -> Either (TryFromException (Ratio a) a) a Source #

(Eq a, Num a) => TryFrom (Complex a) a Source #

Uses realPart when the imaginary part is 0.

Instance details

Methods

tryFrom :: Complex a -> Either (TryFromException (Complex a) a) a Source #

From [(Int, v)] (IntMap v) Source #

Uses fromList. If there are duplicate keys, later values will overwrite earlier ones.

Instance details

Methods

from :: [(Int, v)] -> IntMap v Source #

From [a] (Seq a) Source #

Uses fromList.

Instance details

Methods

from :: [a] -> Seq a Source #

Ord a => From [a] (Set a) Source #

Uses fromList.

Instance details

Methods

from :: [a] -> Set a Source #

From (NonEmpty a) [a] Source #

Uses toList.

Instance details

Methods

from :: NonEmpty a -> [a] Source #

From (IntMap v) [(Int, v)] Source #

Uses toAscList.

Instance details

Methods

from :: IntMap v -> [(Int, v)] Source #

From (Seq a) [a] Source #

Uses toList.

Instance details

Methods

from :: Seq a -> [a] Source #

From (Set a) [a] Source #

Uses toAscList.

Instance details

Methods

from :: Set a -> [a] Source #

TryFrom [a] (NonEmpty a) Source #

Uses nonEmpty.

Instance details

Methods

tryFrom :: [a] -> Either (TryFromException [a] (NonEmpty a)) (NonEmpty a) Source #

Ord k => From [(k, v)] (Map k v) Source #

Uses fromList. If there are duplicate keys, later values will overwrite earlier ones.

Instance details

Methods

from :: [(k, v)] -> Map k v Source #

HasResolution a => From (Fixed a) Rational Source #

Uses toRational.

Instance details

Methods

from :: Fixed a -> Rational Source #

From (Fixed a) Integer Source #

Uses MkFixed. This means from @Centi @Integer 3.00 is 300 rather than 3.

Instance details

Methods

from :: Fixed a -> Integer Source #

From (Map k v) [(k, v)] Source #

Uses toAscList.

Instance details

Methods

from :: Map k v -> [(k, v)] Source #

From (TryFromException source oldTarget) (TryFromException source newTarget) Source #

Uses coerce.

Instance details

Methods

from :: TryFromException source oldTarget -> TryFromException source newTarget Source #