Witch.Instances

Documentation

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

maxFloat :: Num a => a

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

maxDouble :: Num a => a

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

Orphan instances

Cast Double Float

Uses double2Float. This necessarily loses some precision.

Methods

cast :: Double -> Float

Cast Float Double

Uses float2Double.

Methods

cast :: Float -> Double

Cast Int Int64

Uses fromIntegral.

Methods

cast :: Int -> Int64

Cast Int Integer

Uses fromIntegral.

Methods

cast :: Int -> Integer

Cast Int8 Double

Uses fromIntegral.

Methods

cast :: Int8 -> Double

Cast Int8 Float

Uses fromIntegral.

Methods

cast :: Int8 -> Float

Cast Int8 Int

Uses fromIntegral.

Methods

cast :: Int8 -> Int

Cast Int8 Int16

Uses fromIntegral.

Methods

cast :: Int8 -> Int16

Cast Int8 Int32

Uses fromIntegral.

Methods

cast :: Int8 -> Int32

Cast Int8 Int64

Uses fromIntegral.

Methods

cast :: Int8 -> Int64

Cast Int8 Integer

Uses fromIntegral.

Methods

cast :: Int8 -> Integer

Cast Int16 Double

Uses fromIntegral.

Methods

cast :: Int16 -> Double

Cast Int16 Float

Uses fromIntegral.

Methods

cast :: Int16 -> Float

Cast Int16 Int

Uses fromIntegral.

Methods

cast :: Int16 -> Int

Cast Int16 Int32

Uses fromIntegral.

Methods

cast :: Int16 -> Int32

Cast Int16 Int64

Uses fromIntegral.

Methods

cast :: Int16 -> Int64

Cast Int16 Integer

Uses fromIntegral.

Methods

cast :: Int16 -> Integer

Cast Int32 Double

Uses fromIntegral.

Methods

cast :: Int32 -> Double

Cast Int32 Int64

Uses fromIntegral.

Methods

cast :: Int32 -> Int64

Cast Int32 Integer

Uses fromIntegral.

Methods

cast :: Int32 -> Integer

Cast Int64 Integer

Uses fromIntegral.

Methods

cast :: Int64 -> Integer

Cast Natural Integer

Uses fromIntegral.

Methods

cast :: Natural -> Integer

Cast Rational Double

Uses fromRational. This necessarily loses some precision.

Methods

cast :: Rational -> Double

Cast Rational Float

Uses fromRational. This necessarily loses some precision.

Methods

cast :: Rational -> Float

Cast Word Integer

Uses fromIntegral.

Methods

cast :: Word -> Integer

Cast Word Natural

Uses fromIntegral.

Methods

cast :: Word -> Natural

Cast Word Word64

Uses fromIntegral.

Methods

cast :: Word -> Word64

Cast Word8 Double

Uses fromIntegral.

Methods

cast :: Word8 -> Double

Cast Word8 Float

Uses fromIntegral.

Methods

cast :: Word8 -> Float

Cast Word8 Int

Uses fromIntegral.

Methods

cast :: Word8 -> Int

Cast Word8 Int16

Uses fromIntegral.

Methods

cast :: Word8 -> Int16

Cast Word8 Int32

Uses fromIntegral.

Methods

cast :: Word8 -> Int32

Cast Word8 Int64

Uses fromIntegral.

Methods

cast :: Word8 -> Int64

Cast Word8 Integer

Uses fromIntegral.

Methods

cast :: Word8 -> Integer

Cast Word8 Natural

Uses fromIntegral.

Methods

cast :: Word8 -> Natural

Cast Word8 Word

Uses fromIntegral.

Methods

cast :: Word8 -> Word

Cast Word8 Word16

Uses fromIntegral.

Methods

cast :: Word8 -> Word16

Cast Word8 Word32

Uses fromIntegral.

Methods

cast :: Word8 -> Word32

Cast Word8 Word64

Uses fromIntegral.

Methods

cast :: Word8 -> Word64

Cast Word16 Double

Uses fromIntegral.

Methods

cast :: Word16 -> Double

Cast Word16 Float

Uses fromIntegral.

Methods

cast :: Word16 -> Float

Cast Word16 Int

Uses fromIntegral.

Methods

cast :: Word16 -> Int

Cast Word16 Int32

Uses fromIntegral.

Methods

cast :: Word16 -> Int32

Cast Word16 Int64

Uses fromIntegral.

Methods

cast :: Word16 -> Int64

Cast Word16 Integer

Uses fromIntegral.

Methods

cast :: Word16 -> Integer

Cast Word16 Natural

Uses fromIntegral.

Methods

cast :: Word16 -> Natural

Cast Word16 Word

Uses fromIntegral.

Methods

cast :: Word16 -> Word

Cast Word16 Word32

Uses fromIntegral.

Methods

cast :: Word16 -> Word32

Cast Word16 Word64

Uses fromIntegral.

Methods

cast :: Word16 -> Word64

Cast Word32 Double

Uses fromIntegral.

Methods

cast :: Word32 -> Double

Cast Word32 Int64

Uses fromIntegral.

Methods

cast :: Word32 -> Int64

Cast Word32 Integer

Uses fromIntegral.

Methods

cast :: Word32 -> Integer

Cast Word32 Natural

Uses fromIntegral.

Methods

cast :: Word32 -> Natural

Cast Word32 Word64

Uses fromIntegral.

Methods

cast :: Word32 -> Word64

Cast Word64 Integer

Uses fromIntegral.

Methods

cast :: Word64 -> Integer

Cast Word64 Natural

Uses fromIntegral.

Methods

cast :: Word64 -> Natural

Cast String Text

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

Methods

cast :: String -> Text

Cast String Text

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

Methods

cast :: String -> Text

Cast ShortByteString ByteString

Uses fromShort.

Methods

cast :: ShortByteString -> ByteString

Cast ByteString ByteString

Uses toStrict.

Methods

cast :: ByteString0 -> ByteString

Cast ByteString ShortByteString

Uses toShort.

Methods

cast :: ByteString -> ShortByteString

Cast ByteString ByteString

Uses fromStrict.

Methods

cast :: ByteString -> ByteString0

Cast Text String

Uses unpack.

Methods

cast :: Text -> String

Cast Text ByteString

Uses encodeUtf8.

Methods

cast :: Text -> ByteString

Cast Text Text

Uses toStrict.

Methods

cast :: Text0 -> Text

Cast Text String

Uses unpack.

Methods

cast :: Text -> String

Cast Text ByteString

Uses encodeUtf8.

Methods

cast :: Text -> ByteString

Cast Text Text

Uses fromStrict.

Methods

cast :: Text -> Text0

TryCast Double Int

Converts via Integer.

Methods

tryCast :: Double -> Either (TryCastException Double Int) Int

TryCast Double Int8

Converts via Integer.

Methods

tryCast :: Double -> Either (TryCastException Double Int8) Int8

TryCast Double Int16

Converts via Integer.

Methods

tryCast :: Double -> Either (TryCastException Double Int16) Int16

TryCast Double Int32

Converts via Integer.

Methods

tryCast :: Double -> Either (TryCastException Double Int32) Int32

TryCast Double Int64

Converts via Integer.

Methods

tryCast :: Double -> Either (TryCastException Double Int64) Int64

TryCast Double Integer

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

Methods

tryCast :: Double -> Either (TryCastException Double Integer) Integer

TryCast Double Natural

Converts via Integer.

Methods

tryCast :: Double -> Either (TryCastException Double Natural) Natural

TryCast Double Rational

Uses toRational when the input is not NaN or infinity.

Methods

tryCast :: Double -> Either (TryCastException Double Rational) Rational

TryCast Double Word

Converts via Integer.

Methods

tryCast :: Double -> Either (TryCastException Double Word) Word

TryCast Double Word8

Converts via Integer.

Methods

tryCast :: Double -> Either (TryCastException Double Word8) Word8

TryCast Double Word16

Converts via Integer.

Methods

tryCast :: Double -> Either (TryCastException Double Word16) Word16

TryCast Double Word32

Converts via Integer.

Methods

tryCast :: Double -> Either (TryCastException Double Word32) Word32

TryCast Double Word64

Converts via Integer.

Methods

tryCast :: Double -> Either (TryCastException Double Word64) Word64

TryCast Float Int

Converts via Integer.

Methods

tryCast :: Float -> Either (TryCastException Float Int) Int

TryCast Float Int8

Converts via Integer.

Methods

tryCast :: Float -> Either (TryCastException Float Int8) Int8

TryCast Float Int16

Converts via Integer.

Methods

tryCast :: Float -> Either (TryCastException Float Int16) Int16

TryCast Float Int32

Converts via Integer.

Methods

tryCast :: Float -> Either (TryCastException Float Int32) Int32

TryCast Float Int64

Converts via Integer.

Methods

tryCast :: Float -> Either (TryCastException Float Int64) Int64

TryCast Float Integer

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

Methods

tryCast :: Float -> Either (TryCastException Float Integer) Integer

TryCast Float Natural

Converts via Integer.

Methods

tryCast :: Float -> Either (TryCastException Float Natural) Natural

TryCast Float Rational

Uses toRational when the input is not NaN or infinity.

Methods

tryCast :: Float -> Either (TryCastException Float Rational) Rational

TryCast Float Word

Converts via Integer.

Methods

tryCast :: Float -> Either (TryCastException Float Word) Word

TryCast Float Word8

Converts via Integer.

Methods

tryCast :: Float -> Either (TryCastException Float Word8) Word8

TryCast Float Word16

Converts via Integer.

Methods

tryCast :: Float -> Either (TryCastException Float Word16) Word16

TryCast Float Word32

Converts via Integer.

Methods

tryCast :: Float -> Either (TryCastException Float Word32) Word32

TryCast Float Word64

Converts via Integer.

Methods

tryCast :: Float -> Either (TryCastException Float Word64) Word64

TryCast Int Double

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

Methods

tryCast :: Int -> Either (TryCastException Int Double) Double

TryCast Int Float

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

Methods

tryCast :: Int -> Either (TryCastException Int Float) Float

TryCast Int Int8

Uses toIntegralSized.

Methods

tryCast :: Int -> Either (TryCastException Int Int8) Int8

TryCast Int Int16

Uses toIntegralSized.

Methods

tryCast :: Int -> Either (TryCastException Int Int16) Int16

TryCast Int Int32

Uses toIntegralSized.

Methods

tryCast :: Int -> Either (TryCastException Int Int32) Int32

TryCast Int Natural

Uses fromIntegral when the input is not negative.

Methods

tryCast :: Int -> Either (TryCastException Int Natural) Natural

TryCast Int Word

Uses toIntegralSized.

Methods

tryCast :: Int -> Either (TryCastException Int Word) Word

TryCast Int Word8

Uses toIntegralSized.

Methods

tryCast :: Int -> Either (TryCastException Int Word8) Word8

TryCast Int Word16

Uses toIntegralSized.

Methods

tryCast :: Int -> Either (TryCastException Int Word16) Word16

TryCast Int Word32

Uses toIntegralSized.

Methods

tryCast :: Int -> Either (TryCastException Int Word32) Word32

TryCast Int Word64

Uses toIntegralSized.

Methods

tryCast :: Int -> Either (TryCastException Int Word64) Word64

TryCast Int8 Natural

Uses fromIntegral when the input is not negative.

Methods

tryCast :: Int8 -> Either (TryCastException Int8 Natural) Natural

TryCast Int8 Word

Uses toIntegralSized.

Methods

tryCast :: Int8 -> Either (TryCastException Int8 Word) Word

TryCast Int8 Word8

Uses toIntegralSized.

Methods

tryCast :: Int8 -> Either (TryCastException Int8 Word8) Word8

TryCast Int8 Word16

Uses toIntegralSized.

Methods

tryCast :: Int8 -> Either (TryCastException Int8 Word16) Word16

TryCast Int8 Word32

Uses toIntegralSized.

Methods

tryCast :: Int8 -> Either (TryCastException Int8 Word32) Word32

TryCast Int8 Word64

Uses toIntegralSized.

Methods

tryCast :: Int8 -> Either (TryCastException Int8 Word64) Word64

TryCast Int16 Int8

Uses toIntegralSized.

Methods

tryCast :: Int16 -> Either (TryCastException Int16 Int8) Int8

TryCast Int16 Natural

Uses fromIntegral when the input is not negative.

Methods

tryCast :: Int16 -> Either (TryCastException Int16 Natural) Natural

TryCast Int16 Word

Uses toIntegralSized.

Methods

tryCast :: Int16 -> Either (TryCastException Int16 Word) Word

TryCast Int16 Word8

Uses toIntegralSized.

Methods

tryCast :: Int16 -> Either (TryCastException Int16 Word8) Word8

TryCast Int16 Word16

Uses toIntegralSized.

Methods

tryCast :: Int16 -> Either (TryCastException Int16 Word16) Word16

TryCast Int16 Word32

Uses toIntegralSized.

Methods

tryCast :: Int16 -> Either (TryCastException Int16 Word32) Word32

TryCast Int16 Word64

Uses toIntegralSized.

Methods

tryCast :: Int16 -> Either (TryCastException Int16 Word64) Word64

TryCast Int32 Float

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

Methods

tryCast :: Int32 -> Either (TryCastException Int32 Float) Float

TryCast Int32 Int

Uses toIntegralSized.

Methods

tryCast :: Int32 -> Either (TryCastException Int32 Int) Int

TryCast Int32 Int8

Uses toIntegralSized.

Methods

tryCast :: Int32 -> Either (TryCastException Int32 Int8) Int8

TryCast Int32 Int16

Uses toIntegralSized.

Methods

tryCast :: Int32 -> Either (TryCastException Int32 Int16) Int16

TryCast Int32 Natural

Uses fromIntegral when the input is not negative.

Methods

tryCast :: Int32 -> Either (TryCastException Int32 Natural) Natural

TryCast Int32 Word

Uses toIntegralSized.

Methods

tryCast :: Int32 -> Either (TryCastException Int32 Word) Word

TryCast Int32 Word8

Uses toIntegralSized.

Methods

tryCast :: Int32 -> Either (TryCastException Int32 Word8) Word8

TryCast Int32 Word16

Uses toIntegralSized.

Methods

tryCast :: Int32 -> Either (TryCastException Int32 Word16) Word16

TryCast Int32 Word32

Uses toIntegralSized.

Methods

tryCast :: Int32 -> Either (TryCastException Int32 Word32) Word32

TryCast Int32 Word64

Uses toIntegralSized.

Methods

tryCast :: Int32 -> Either (TryCastException Int32 Word64) Word64

TryCast Int64 Double

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

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Double) Double

TryCast Int64 Float

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

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Float) Float

TryCast Int64 Int

Uses toIntegralSized.

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Int) Int

TryCast Int64 Int8

Uses toIntegralSized.

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Int8) Int8

TryCast Int64 Int16

Uses toIntegralSized.

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Int16) Int16

TryCast Int64 Int32

Uses toIntegralSized.

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Int32) Int32

TryCast Int64 Natural

Uses fromIntegral when the input is not negative.

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Natural) Natural

TryCast Int64 Word

Uses toIntegralSized.

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Word) Word

TryCast Int64 Word8

Uses toIntegralSized.

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Word8) Word8

TryCast Int64 Word16

Uses toIntegralSized.

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Word16) Word16

TryCast Int64 Word32

Uses toIntegralSized.

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Word32) Word32

TryCast Int64 Word64

Uses toIntegralSized.

Methods

tryCast :: Int64 -> Either (TryCastException Int64 Word64) Word64

TryCast Integer Double

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

Methods

tryCast :: Integer -> Either (TryCastException Integer Double) Double

TryCast Integer Float

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

Methods

tryCast :: Integer -> Either (TryCastException Integer Float) Float

TryCast Integer Int

Uses toIntegralSized.

Methods

tryCast :: Integer -> Either (TryCastException Integer Int) Int

TryCast Integer Int8

Uses toIntegralSized.

Methods

tryCast :: Integer -> Either (TryCastException Integer Int8) Int8

TryCast Integer Int16

Uses toIntegralSized.

Methods

tryCast :: Integer -> Either (TryCastException Integer Int16) Int16

TryCast Integer Int32

Uses toIntegralSized.

Methods

tryCast :: Integer -> Either (TryCastException Integer Int32) Int32

TryCast Integer Int64

Uses toIntegralSized.

Methods

tryCast :: Integer -> Either (TryCastException Integer Int64) Int64

TryCast Integer Natural

Uses fromInteger when the input is not negative.

Methods

tryCast :: Integer -> Either (TryCastException Integer Natural) Natural

TryCast Integer Word

Uses toIntegralSized.

Methods

tryCast :: Integer -> Either (TryCastException Integer Word) Word

TryCast Integer Word8

Uses toIntegralSized.

Methods

tryCast :: Integer -> Either (TryCastException Integer Word8) Word8

TryCast Integer Word16

Uses toIntegralSized.

Methods

tryCast :: Integer -> Either (TryCastException Integer Word16) Word16

TryCast Integer Word32

Uses toIntegralSized.

Methods

tryCast :: Integer -> Either (TryCastException Integer Word32) Word32

TryCast Integer Word64

Uses toIntegralSized.

Methods

tryCast :: Integer -> Either (TryCastException Integer Word64) Word64

TryCast Natural Double

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

Methods

tryCast :: Natural -> Either (TryCastException Natural Double) Double

TryCast Natural Float

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

Methods

tryCast :: Natural -> Either (TryCastException Natural Float) Float

TryCast Natural Int

Uses toIntegralSized.

Methods

tryCast :: Natural -> Either (TryCastException Natural Int) Int

TryCast Natural Int8

Uses toIntegralSized.

Methods

tryCast :: Natural -> Either (TryCastException Natural Int8) Int8

TryCast Natural Int16

Uses toIntegralSized.

Methods

tryCast :: Natural -> Either (TryCastException Natural Int16) Int16

TryCast Natural Int32

Uses toIntegralSized.

Methods

tryCast :: Natural -> Either (TryCastException Natural Int32) Int32

TryCast Natural Int64

Uses toIntegralSized.

Methods

tryCast :: Natural -> Either (TryCastException Natural Int64) Int64

TryCast Natural Word

Uses toIntegralSized.

Methods

tryCast :: Natural -> Either (TryCastException Natural Word) Word

TryCast Natural Word8

Uses toIntegralSized.

Methods

tryCast :: Natural -> Either (TryCastException Natural Word8) Word8

TryCast Natural Word16

Uses toIntegralSized.

Methods

tryCast :: Natural -> Either (TryCastException Natural Word16) Word16

TryCast Natural Word32

Uses toIntegralSized.

Methods

tryCast :: Natural -> Either (TryCastException Natural Word32) Word32

TryCast Natural Word64

Uses toIntegralSized.

Methods

tryCast :: Natural -> Either (TryCastException Natural Word64) Word64

TryCast Word Double

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

Methods

tryCast :: Word -> Either (TryCastException Word Double) Double

TryCast Word Float

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

Methods

tryCast :: Word -> Either (TryCastException Word Float) Float

TryCast Word Int

Uses toIntegralSized.

Methods

tryCast :: Word -> Either (TryCastException Word Int) Int

TryCast Word Int8

Uses toIntegralSized.

Methods

tryCast :: Word -> Either (TryCastException Word Int8) Int8

TryCast Word Int16

Uses toIntegralSized.

Methods

tryCast :: Word -> Either (TryCastException Word Int16) Int16

TryCast Word Int32

Uses toIntegralSized.

Methods

tryCast :: Word -> Either (TryCastException Word Int32) Int32

TryCast Word Int64

Uses toIntegralSized.

Methods

tryCast :: Word -> Either (TryCastException Word Int64) Int64

TryCast Word Word8

Uses toIntegralSized.

Methods

tryCast :: Word -> Either (TryCastException Word Word8) Word8

TryCast Word Word16

Uses toIntegralSized.

Methods

tryCast :: Word -> Either (TryCastException Word Word16) Word16

TryCast Word Word32

Uses toIntegralSized.

Methods

tryCast :: Word -> Either (TryCastException Word Word32) Word32

TryCast Word8 Int8

Uses toIntegralSized.

Methods

tryCast :: Word8 -> Either (TryCastException Word8 Int8) Int8

TryCast Word16 Int8

Uses toIntegralSized.

Methods

tryCast :: Word16 -> Either (TryCastException Word16 Int8) Int8

TryCast Word16 Int16

Uses toIntegralSized.

Methods

tryCast :: Word16 -> Either (TryCastException Word16 Int16) Int16

TryCast Word16 Word8

Uses toIntegralSized.

Methods

tryCast :: Word16 -> Either (TryCastException Word16 Word8) Word8

TryCast Word32 Float

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

Methods

tryCast :: Word32 -> Either (TryCastException Word32 Float) Float

TryCast Word32 Int

Uses toIntegralSized.

Methods

tryCast :: Word32 -> Either (TryCastException Word32 Int) Int

TryCast Word32 Int8

Uses toIntegralSized.

Methods

tryCast :: Word32 -> Either (TryCastException Word32 Int8) Int8

TryCast Word32 Int16

Uses toIntegralSized.

Methods

tryCast :: Word32 -> Either (TryCastException Word32 Int16) Int16

TryCast Word32 Int32

Uses toIntegralSized.

Methods

tryCast :: Word32 -> Either (TryCastException Word32 Int32) Int32

TryCast Word32 Word

Uses toIntegralSized.

Methods

tryCast :: Word32 -> Either (TryCastException Word32 Word) Word

TryCast Word32 Word8

Uses toIntegralSized.

Methods

tryCast :: Word32 -> Either (TryCastException Word32 Word8) Word8

TryCast Word32 Word16

Uses toIntegralSized.

Methods

tryCast :: Word32 -> Either (TryCastException Word32 Word16) Word16

TryCast Word64 Double

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

Methods

tryCast :: Word64 -> Either (TryCastException Word64 Double) Double

TryCast Word64 Float

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

Methods

tryCast :: Word64 -> Either (TryCastException Word64 Float) Float

TryCast Word64 Int

Uses toIntegralSized.

Methods

tryCast :: Word64 -> Either (TryCastException Word64 Int) Int

TryCast Word64 Int8

Uses toIntegralSized.

Methods

tryCast :: Word64 -> Either (TryCastException Word64 Int8) Int8

TryCast Word64 Int16

Uses toIntegralSized.

Methods

tryCast :: Word64 -> Either (TryCastException Word64 Int16) Int16

TryCast Word64 Int32

Uses toIntegralSized.

Methods

tryCast :: Word64 -> Either (TryCastException Word64 Int32) Int32

TryCast Word64 Int64

Uses toIntegralSized.

Methods

tryCast :: Word64 -> Either (TryCastException Word64 Int64) Int64

TryCast Word64 Word

Uses toIntegralSized.

Methods

tryCast :: Word64 -> Either (TryCastException Word64 Word) Word

TryCast Word64 Word8

Uses toIntegralSized.

Methods

tryCast :: Word64 -> Either (TryCastException Word64 Word8) Word8

TryCast Word64 Word16

Uses toIntegralSized.

Methods

tryCast :: Word64 -> Either (TryCastException Word64 Word16) Word16

TryCast Word64 Word32

Uses toIntegralSized.

Methods

tryCast :: Word64 -> Either (TryCastException Word64 Word32) Word32

TryCast ByteString Text

Uses decodeUtf8'.

Methods

tryCast :: ByteString -> Either (TryCastException ByteString Text) Text

TryCast ByteString Text

Uses decodeUtf8'.

Methods

tryCast :: ByteString -> Either (TryCastException ByteString Text) Text

Num a => Cast a (Complex a)

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

Methods

cast :: a -> Complex a

Integral a => Cast a (Ratio a)

Uses (%) with a denominator of 1.

Methods

cast :: a -> Ratio a

Cast ShortByteString [Word8]

Uses unpack.

Methods

cast :: ShortByteString -> [Word8]

Cast ByteString [Word8]

Uses unpack.

Methods

cast :: ByteString -> [Word8]

Cast ByteString [Word8]

Uses unpack.

Methods

cast :: ByteString -> [Word8]

Cast IntSet [Int]

Uses toAscList.

Methods

cast :: IntSet -> [Int]

Cast Integer (Fixed a)

Uses MkFixed. This means cast 2 :: Centi is 0.02 rather than 2.00.

Methods

cast :: Integer -> Fixed a

Cast [Int] IntSet

Uses fromList.

Methods

cast :: [Int] -> IntSet

Cast [Word8] ShortByteString

Uses pack.

Methods

cast :: [Word8] -> ShortByteString

Cast [Word8] ByteString

Uses pack.

Methods

cast :: [Word8] -> ByteString

Cast [Word8] ByteString

Uses pack.

Methods

cast :: [Word8] -> ByteString

(Eq a, Num a) => TryCast (Ratio a) a

Uses numerator when the denominator is 1.

Methods

tryCast :: Ratio a -> Either (TryCastException (Ratio a) a) a

(Eq a, Num a) => TryCast (Complex a) a

Uses realPart when the imaginary part is 0.

Methods

tryCast :: Complex a -> Either (TryCastException (Complex a) a) a

Cast [(Int, v)] (IntMap v)

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

Methods

cast :: [(Int, v)] -> IntMap v

Cast [a] (Seq a)

Uses fromList.

Methods

cast :: [a] -> Seq a

Ord a => Cast [a] (Set a)

Uses fromList.

Methods

cast :: [a] -> Set a

Cast (NonEmpty a) [a]

Uses toList.

Methods

cast :: NonEmpty a -> [a]

Cast (IntMap v) [(Int, v)]

Uses toAscList.

Methods

cast :: IntMap v -> [(Int, v)]

Cast (Seq a) [a]

Uses toList.

Methods

cast :: Seq a -> [a]

Cast (Set a) [a]

Uses toAscList.

Methods

cast :: Set a -> [a]

TryCast [a] (NonEmpty a)

Uses nonEmpty.

Methods

tryCast :: [a] -> Either (TryCastException [a] (NonEmpty a)) (NonEmpty a)

Ord k => Cast [(k, v)] (Map k v)

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

Methods

cast :: [(k, v)] -> Map k v

Cast (Fixed a) Integer

Uses MkFixed. This means cast (3.00 :: Centi) is 300 rather than 3.

Methods

cast :: Fixed a -> Integer

(Show s, Typeable s, Typeable t) => Cast (TryCastException s t) Text

Converts via String.

Methods

cast :: TryCastException s t -> Text

(Show s, Typeable s, Typeable t) => Cast (TryCastException s t) Text

Converts via String.

Methods

cast :: TryCastException s t -> Text

(Show s, Typeable s, Typeable t) => Cast (TryCastException s t) String

Uses show.

Methods

cast :: TryCastException s t -> String

Cast (Map k v) [(k, v)]

Uses toAscList.

Methods

cast :: Map k v -> [(k, v)]

Cast (TryCastException s u) (TryCastException s t)

Uses coerce.

Methods

cast :: TryCastException s u -> TryCastException s t