Witch.TryCast

Documentation

class TryCast source target where

This type class is for converting values from some source type into some other target type. The constraint TryCast source target means that you may be able to convert from a value of type source into a value of type target, but that conversion may fail at runtime.

This type class is for conversions that can fail. If your conversion cannot fail, consider implementing Cast instead.

Methods

tryCast :: source -> Either (TryCastException source target) target

This method implements the conversion of a value between types. At call sites you will usually want to use tryFrom or tryInto instead of this method.

Instances

TryCast Double Int

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Double Int8

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Double Int16

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Double Int32

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Double Int64

Converts via Integer.

Defined in Witch.Instances

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.

Defined in Witch.Instances

Methods

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

TryCast Double Natural

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Double Rational

Uses toRational when the input is not NaN or infinity.

Defined in Witch.Instances

Methods

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

TryCast Double Word

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Double Word8

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Double Word16

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Double Word32

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Double Word64

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Float Int

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Float Int8

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Float Int16

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Float Int32

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Float Int64

Converts via Integer.

Defined in Witch.Instances

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.

Defined in Witch.Instances

Methods

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

TryCast Float Natural

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Float Rational

Uses toRational when the input is not NaN or infinity.

Defined in Witch.Instances

Methods

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

TryCast Float Word

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Float Word8

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Float Word16

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Float Word32

Converts via Integer.

Defined in Witch.Instances

Methods

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

TryCast Float Word64

Converts via Integer.

Defined in Witch.Instances

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.

Defined in Witch.Instances

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.

Defined in Witch.Instances

Methods

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

TryCast Int Int8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int Int16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int Int32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int Natural

Uses fromIntegral when the input is non-negative.

Defined in Witch.Instances

Methods

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

TryCast Int Word

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int Word8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int Word16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int Word32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int Word64

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int8 Natural

Uses fromIntegral when the input is non-negative.

Defined in Witch.Instances

Methods

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

TryCast Int8 Word

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int8 Word8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int8 Word16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int8 Word32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int8 Word64

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int16 Int8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int16 Natural

Uses fromIntegral when the input is non-negative.

Defined in Witch.Instances

Methods

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

TryCast Int16 Word

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int16 Word8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int16 Word16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int16 Word32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int16 Word64

Uses toIntegralSized.

Defined in Witch.Instances

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.

Defined in Witch.Instances

Methods

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

TryCast Int32 Int

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int32 Int8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int32 Int16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int32 Natural

Uses fromIntegral when the input is non-negative.

Defined in Witch.Instances

Methods

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

TryCast Int32 Word

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int32 Word8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int32 Word16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int32 Word32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int32 Word64

Uses toIntegralSized.

Defined in Witch.Instances

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.

Defined in Witch.Instances

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.

Defined in Witch.Instances

Methods

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

TryCast Int64 Int

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int64 Int8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int64 Int16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int64 Int32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int64 Natural

Uses fromIntegral when the input is non-negative.

Defined in Witch.Instances

Methods

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

TryCast Int64 Word

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int64 Word8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int64 Word16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int64 Word32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Int64 Word64

Uses toIntegralSized.

Defined in Witch.Instances

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.

Defined in Witch.Instances

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.

Defined in Witch.Instances

Methods

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

TryCast Integer Int

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Integer Int8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Integer Int16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Integer Int32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Integer Int64

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Integer Natural

Uses fromInteger when the input is non-negative.

Defined in Witch.Instances

Methods

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

TryCast Integer Word

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Integer Word8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Integer Word16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Integer Word32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Integer Word64

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Natural Double

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

Defined in Witch.Instances

Methods

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

TryCast Natural Float

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

Defined in Witch.Instances

Methods

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

TryCast Natural Int

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Natural Int8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Natural Int16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Natural Int32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Natural Int64

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Natural Word

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Natural Word8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Natural Word16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Natural Word32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Natural Word64

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word Double

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

Defined in Witch.Instances

Methods

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

TryCast Word Float

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

Defined in Witch.Instances

Methods

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

TryCast Word Int

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word Int8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word Int16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word Int32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word Int64

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word Word8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word Word16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word Word32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word8 Int8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word16 Int8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word16 Int16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word16 Word8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word32 Float

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

Defined in Witch.Instances

Methods

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

TryCast Word32 Int

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word32 Int8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word32 Int16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word32 Int32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word32 Word

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word32 Word8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word32 Word16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word64 Double

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

Defined in Witch.Instances

Methods

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

TryCast Word64 Float

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

Defined in Witch.Instances

Methods

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

TryCast Word64 Int

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word64 Int8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word64 Int16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word64 Int32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word64 Int64

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word64 Word

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word64 Word8

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word64 Word16

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast Word64 Word32

Uses toIntegralSized.

Defined in Witch.Instances

Methods

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

TryCast ByteString Text

Uses decodeUtf8'.

Defined in Witch.Instances

Methods

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

TryCast ByteString Text

Uses decodeUtf8'.

Defined in Witch.Instances

Methods

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

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

Uses numerator when the denominator is 1.

Defined in Witch.Instances

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.

Defined in Witch.Instances

Methods

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

TryCast [a] (NonEmpty a)

Uses nonEmpty.

Defined in Witch.Instances

Methods

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