Witch.Cast

Documentation

class Cast source target where

This type class is for converting values from some source type into some other target type. The constraint Cast source target measn that you can convert from a value of type source into a value of type target.

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

Minimal complete definition

Nothing

Methods

cast :: source -> target

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

The default implementation of this method simply calls coerce, which works for types that have the same runtime representation. This means that for newtypes you do not need to implement this method at all. For example:

>>> newtype Name = Name String
>>> instance Cast Name String
>>> instance Cast String Name

default cast :: Coercible source target => source -> target

Instances

Cast Double Float

Uses double2Float. This necessarily loses some precision.

Defined in Witch.Instances

Methods

cast :: Double -> Float

Cast Float Double

Uses float2Double.

Defined in Witch.Instances

Methods

cast :: Float -> Double

Cast Int Int64

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int -> Int64

Cast Int Integer

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int -> Integer

Cast Int8 Double

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int8 -> Double

Cast Int8 Float

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int8 -> Float

Cast Int8 Int

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int8 -> Int

Cast Int8 Int16

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int8 -> Int16

Cast Int8 Int32

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int8 -> Int32

Cast Int8 Int64

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int8 -> Int64

Cast Int8 Integer

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int8 -> Integer

Cast Int16 Double

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int16 -> Double

Cast Int16 Float

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int16 -> Float

Cast Int16 Int

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int16 -> Int

Cast Int16 Int32

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int16 -> Int32

Cast Int16 Int64

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int16 -> Int64

Cast Int16 Integer

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int16 -> Integer

Cast Int32 Double

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int32 -> Double

Cast Int32 Int64

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int32 -> Int64

Cast Int32 Integer

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int32 -> Integer

Cast Int64 Integer

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Int64 -> Integer

Cast Natural Integer

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Natural -> Integer

Cast Rational Double

Uses fromRational. This necessarily loses some precision.

Defined in Witch.Instances

Methods

cast :: Rational -> Double

Cast Rational Float

Uses fromRational. This necessarily loses some precision.

Defined in Witch.Instances

Methods

cast :: Rational -> Float

Cast Word Integer

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word -> Integer

Cast Word Natural

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word -> Natural

Cast Word Word64

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word -> Word64

Cast Word8 Double

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Double

Cast Word8 Float

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Float

Cast Word8 Int

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Int

Cast Word8 Int16

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Int16

Cast Word8 Int32

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Int32

Cast Word8 Int64

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Int64

Cast Word8 Integer

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Integer

Cast Word8 Natural

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Natural

Cast Word8 Word

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Word

Cast Word8 Word16

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Word16

Cast Word8 Word32

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Word32

Cast Word8 Word64

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word8 -> Word64

Cast Word16 Double

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word16 -> Double

Cast Word16 Float

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word16 -> Float

Cast Word16 Int

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word16 -> Int

Cast Word16 Int32

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word16 -> Int32

Cast Word16 Int64

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word16 -> Int64

Cast Word16 Integer

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word16 -> Integer

Cast Word16 Natural

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word16 -> Natural

Cast Word16 Word

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word16 -> Word

Cast Word16 Word32

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word16 -> Word32

Cast Word16 Word64

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word16 -> Word64

Cast Word32 Double

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word32 -> Double

Cast Word32 Int64

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word32 -> Int64

Cast Word32 Integer

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word32 -> Integer

Cast Word32 Natural

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word32 -> Natural

Cast Word32 Word64

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word32 -> Word64

Cast Word64 Integer

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word64 -> Integer

Cast Word64 Natural

Uses fromIntegral.

Defined in Witch.Instances

Methods

cast :: Word64 -> Natural

Cast String Text

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

Defined in Witch.Instances

Methods

cast :: String -> Text

Cast String Text

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

Defined in Witch.Instances

Methods

cast :: String -> Text

Cast ShortByteString ByteString

Uses fromShort.

Defined in Witch.Instances

Methods

cast :: ShortByteString -> ByteString

Cast ByteString ByteString

Uses toStrict.

Defined in Witch.Instances

Methods

cast :: ByteString0 -> ByteString

Cast ByteString ShortByteString

Uses toShort.

Defined in Witch.Instances

Methods

cast :: ByteString -> ShortByteString

Cast ByteString ByteString

Uses fromStrict.

Defined in Witch.Instances

Methods

cast :: ByteString -> ByteString0

Cast Text String

Uses unpack.

Defined in Witch.Instances

Methods

cast :: Text -> String

Cast Text ByteString

Uses encodeUtf8.

Defined in Witch.Instances

Methods

cast :: Text -> ByteString

Cast Text Text

Uses toStrict.

Defined in Witch.Instances

Methods

cast :: Text0 -> Text

Cast Text String

Uses unpack.

Defined in Witch.Instances

Methods

cast :: Text -> String

Cast Text ByteString

Uses encodeUtf8.

Defined in Witch.Instances

Methods

cast :: Text -> ByteString

Cast Text Text

Uses fromStrict.

Defined in Witch.Instances

Methods

cast :: Text -> Text0

Num a => Cast a (Complex a)

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

Defined in Witch.Instances

Methods

cast :: a -> Complex a

Integral a => Cast a (Ratio a)

Uses (%) with a denominator of 1.

Defined in Witch.Instances

Methods

cast :: a -> Ratio a

Cast ShortByteString [Word8]

Uses unpack.

Defined in Witch.Instances

Methods

cast :: ShortByteString -> [Word8]

Cast ByteString [Word8]

Uses unpack.

Defined in Witch.Instances

Methods

cast :: ByteString -> [Word8]

Cast ByteString [Word8]

Uses unpack.

Defined in Witch.Instances

Methods

cast :: ByteString -> [Word8]

Cast IntSet [Int]

Uses toAscList.

Defined in Witch.Instances

Methods

cast :: IntSet -> [Int]

Cast Integer (Fixed a)

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

Defined in Witch.Instances

Methods

cast :: Integer -> Fixed a

Cast s (Casting s t)

Uses coerce.

Defined in Witch.Casting

Methods

cast :: s -> Casting s t

Cast [Int] IntSet

Uses fromList.

Defined in Witch.Instances

Methods

cast :: [Int] -> IntSet

Cast [Word8] ShortByteString

Uses pack.

Defined in Witch.Instances

Methods

cast :: [Word8] -> ShortByteString

Cast [Word8] ByteString

Uses pack.

Defined in Witch.Instances

Methods

cast :: [Word8] -> ByteString

Cast [Word8] ByteString

Uses pack.

Defined in Witch.Instances

Methods

cast :: [Word8] -> ByteString

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

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

Defined in Witch.Instances

Methods

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

Cast [a] (Seq a)

Uses fromList.

Defined in Witch.Instances

Methods

cast :: [a] -> Seq a

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

Uses fromList.

Defined in Witch.Instances

Methods

cast :: [a] -> Set a

Cast (NonEmpty a) [a]

Uses toList.

Defined in Witch.Instances

Methods

cast :: NonEmpty a -> [a]

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

Uses toAscList.

Defined in Witch.Instances

Methods

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

Cast (Seq a) [a]

Uses toList.

Defined in Witch.Instances

Methods

cast :: Seq a -> [a]

Cast (Set a) [a]

Uses toAscList.

Defined in Witch.Instances

Methods

cast :: Set a -> [a]

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

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

Defined in Witch.Instances

Methods

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

Cast (Fixed a) Integer

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

Defined in Witch.Instances

Methods

cast :: Fixed a -> Integer

Cast (Casting s t) s

Uses coerce.

Defined in Witch.Casting

Methods

cast :: Casting s t -> s

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

Converts via String.

Defined in Witch.Instances

Methods

cast :: TryCastException s t -> Text

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

Converts via String.

Defined in Witch.Instances

Methods

cast :: TryCastException s t -> Text

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

Uses show.

Defined in Witch.Instances

Methods

cast :: TryCastException s t -> String

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

Uses toAscList.

Defined in Witch.Instances

Methods

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

Cast (TryCastException s u) (TryCastException s t)

Uses coerce.

Defined in Witch.Instances

Methods

cast :: TryCastException s u -> TryCastException s t