Safe Haskell	None
Language	Haskell2010

Data.Convert.Class

Synopsis

class Convertible t t' where
- convert :: t -> t'
class Convertible1 t t' where
- convert1 :: forall s1. t s1 -> t' s1
class Convertible2 t t' where
- convert2 :: forall s1 s2. t s1 s2 -> t' s1 s2
class Convertible3 t t' where
- convert3 :: forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3
class Convertible4 t t' where
- convert4 :: forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4
class Convertible5 t t' where
- convert5 :: forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5
type IdConversionErr (t :: k) = (Text "Conversion of the same type (`" :<>: ShowType t) :<>: Text "`) is disabled by default. Please use convert' if you want to enable it."
convertTo :: forall t' t. Convertible t t' => t -> t'
convertTo1 :: forall t' t. Convertible1 t t' => forall s1. t s1 -> t' s1
convertTo2 :: forall t' t. Convertible2 t t' => forall s1 s2. t s1 s2 -> t' s1 s2
convertTo3 :: forall t' t. Convertible3 t t' => forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3
convertTo4 :: forall t' t. Convertible4 t t' => forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4
convertTo5 :: forall t' t. Convertible5 t t' => forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5
class Convertible' t t' where
- convert' :: t -> t'
class Convertible1' t t' where
- convert1' :: forall s1. t s1 -> t' s1
class Convertible2' t t' where
- convert2' :: forall s1 s2. t s1 s2 -> t' s1 s2
class Convertible3' t t' where
- convert3' :: forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3
class Convertible4' t t' where
- convert4' :: forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4
class Convertible5' t t' where
- convert5' :: forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5
convertTo' :: forall t' t. Convertible' t t' => t -> t'
convertTo1' :: forall t' t. Convertible1' t t' => forall s1. t s1 -> t' s1
convertTo2' :: forall t' t. Convertible2' t t' => forall s1 s2. t s1 s2 -> t' s1 s2
convertTo3' :: forall t' t. Convertible3' t t' => forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3
convertTo4' :: forall t' t. Convertible4' t t' => forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4
convertTo5' :: forall t' t. Convertible5' t t' => forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5
data SimpleConversionError = SimpleConversionError
class PartialConvertible t t' where
- type ConversionError t t'
- convertAssert :: t -> Maybe (ConversionError t t')
- unsafeConvert :: t -> t'
defConvertAssert :: Default e => (a -> Bool) -> a -> Maybe e
unsafeConvertTo :: forall t' t. PartialConvertible t t' => t -> t'
convertAssertTo :: forall t' t. PartialConvertible t t' => t -> Maybe (ConversionError t t')
maybeConvert :: forall t t'. PartialConvertible t t' => t -> Maybe t'
tryConvert :: forall t t'. PartialConvertible t t' => t -> Either (ConversionError t t') t'
type BiConvertible t t' = (Convertible t t', Convertible t' t)
type BiConvertible1 t t' = (Convertible1 t t', Convertible1 t' t)
type BiConvertible2 t t' = (Convertible2 t t', Convertible2 t' t)
type BiConvertible3 t t' = (Convertible3 t t', Convertible3 t' t)
type BiConvertible4 t t' = (Convertible4 t t', Convertible4 t' t)
type BiConvertible5 t t' = (Convertible5 t t', Convertible5 t' t)
type BiConvertible' t t' = (Convertible' t t', Convertible' t' t)
type BiConvertible1' t t' = (Convertible1' t t', Convertible1' t' t)
type BiConvertible2' t t' = (Convertible2' t t', Convertible2' t' t)
type BiConvertible3' t t' = (Convertible3' t t', Convertible3' t' t)
type BiConvertible4' t t' = (Convertible4' t t', Convertible4' t' t)
type BiConvertible5' t t' = (Convertible5' t t', Convertible5' t' t)
type BiPartialConvertible t t' = (PartialConvertible t t', PartialConvertible t t')
converted :: BiConvertible t t' => Iso' t t'
converted1 :: BiConvertible1 t t' => forall s1. Iso' (t s1) (t' s1)
converted2 :: BiConvertible2 t t' => forall s1 s2. Iso' (t s1 s2) (t' s1 s2)
converted3 :: BiConvertible3 t t' => forall s1 s2 s3. Iso' (t s1 s2 s3) (t' s1 s2 s3)
converted4 :: BiConvertible4 t t' => forall s1 s2 s3 s4. Iso' (t s1 s2 s3 s4) (t' s1 s2 s3 s4)
converted5 :: BiConvertible5 t t' => forall s1 s2 s3 s4 s5. Iso' (t s1 s2 s3 s4 s5) (t' s1 s2 s3 s4 s5)
converted' :: BiConvertible' t t' => Iso' t t'
converted1' :: BiConvertible1' t t' => forall s1. Iso' (t s1) (t' s1)
converted2' :: BiConvertible2' t t' => forall s1 s2. Iso' (t s1 s2) (t' s1 s2)
converted3' :: BiConvertible3' t t' => forall s1 s2 s3. Iso' (t s1 s2 s3) (t' s1 s2 s3)
converted4' :: BiConvertible4' t t' => forall s1 s2 s3 s4. Iso' (t s1 s2 s3 s4) (t' s1 s2 s3 s4)
converted5' :: BiConvertible5' t t' => forall s1 s2 s3 s4 s5. Iso' (t s1 s2 s3 s4 s5) (t' s1 s2 s3 s4 s5)
convertedTo :: BiConvertible t' t => Iso' t t'
convertedTo1 :: BiConvertible1 t' t => forall s1. Iso' (t s1) (t' s1)
convertedTo2 :: BiConvertible2 t' t => forall s1 s2. Iso' (t s1 s2) (t' s1 s2)
convertedTo3 :: BiConvertible3 t' t => forall s1 s2 s3. Iso' (t s1 s2 s3) (t' s1 s2 s3)
convertedTo4 :: BiConvertible4 t' t => forall s1 s2 s3 s4. Iso' (t s1 s2 s3 s4) (t' s1 s2 s3 s4)
convertedTo5 :: BiConvertible5 t' t => forall s1 s2 s3 s4 s5. Iso' (t s1 s2 s3 s4 s5) (t' s1 s2 s3 s4 s5)
convertedTo' :: BiConvertible' t' t => Iso' t t'
convertedTo1' :: BiConvertible1' t' t => forall s1. Iso' (t s1) (t' s1)
convertedTo2' :: BiConvertible2' t' t => forall s1 s2. Iso' (t s1 s2) (t' s1 s2)
convertedTo3' :: BiConvertible3' t' t => forall s1 s2 s3. Iso' (t s1 s2 s3) (t' s1 s2 s3)
convertedTo4' :: BiConvertible4' t' t => forall s1 s2 s3 s4. Iso' (t s1 s2 s3 s4) (t' s1 s2 s3 s4)
convertedTo5' :: BiConvertible5' t' t => forall s1 s2 s3 s4 s5. Iso' (t s1 s2 s3 s4 s5) (t' s1 s2 s3 s4 s5)
type ConvertibleVia t p t' = (Convertible t p, Convertible p t')
type ConvertibleVia1 t p t' = (Convertible1 t p, Convertible1 p t')
type ConvertibleVia2 t p t' = (Convertible2 t p, Convertible2 p t')
type ConvertibleVia3 t p t' = (Convertible3 t p, Convertible3 p t')
type ConvertibleVia4 t p t' = (Convertible4 t p, Convertible4 p t')
type ConvertibleVia5 t p t' = (Convertible5 t p, Convertible5 p t')
convertVia :: forall p t t'. ConvertibleVia t p t' => t -> t'
convertVia1 :: forall p t t'. ConvertibleVia1 t p t' => forall s1. t s1 -> t' s1
convertVia2 :: forall p t t'. ConvertibleVia2 t p t' => forall s1 s2. t s1 s2 -> t' s1 s2
convertVia3 :: forall p t t'. ConvertibleVia3 t p t' => forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3
convertVia4 :: forall p t t'. ConvertibleVia4 t p t' => forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4
convertVia5 :: forall p t t'. ConvertibleVia5 t p t' => forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5
type ConvertibleVia' t p t' = (Convertible' t p, Convertible' p t')
type ConvertibleVia1' t p t' = (Convertible1' t p, Convertible1' p t')
type ConvertibleVia2' t p t' = (Convertible2' t p, Convertible2' p t')
type ConvertibleVia3' t p t' = (Convertible3' t p, Convertible3' p t')
type ConvertibleVia4' t p t' = (Convertible4' t p, Convertible4' p t')
type ConvertibleVia5' t p t' = (Convertible5' t p, Convertible5' p t')
convertVia' :: forall p t t'. ConvertibleVia' t p t' => t -> t'
convertVia1' :: forall p t t'. ConvertibleVia1' t p t' => forall s1. t s1 -> t' s1
convertVia2' :: forall p t t'. ConvertibleVia2' t p t' => forall s1 s2. t s1 s2 -> t' s1 s2
convertVia3' :: forall p t t'. ConvertibleVia3' t p t' => forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3
convertVia4' :: forall p t t'. ConvertibleVia4' t p t' => forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4
convertVia5' :: forall p t t'. ConvertibleVia5' t p t' => forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5
type PartialConvertibleVia t p t' = (PartialConvertible t p, PartialConvertible p t')
unsafeConvertVia :: forall p t t'. PartialConvertibleVia t p t' => t -> t'

Documentation

class Convertible t t' where Source #

Convertible allows for conversion between two compatible types. When trying to convert between the same types, compile time error is reported in order to help tracking not needed usages. If you want to enable conversion between the same types, use convert' instead.

Methods

convert :: t -> t' Source #

Instances

Convertible Char Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Char -> Text Source #
Convertible Char Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Char -> Builder Source #
Convertible Char Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Char -> Text Source #
Convertible Double Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Double -> Double Source #
Convertible Double Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Double -> Float Source #
Convertible Double Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Double -> Integer Source #
Convertible Double Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Double -> Rational Source #
Convertible Float Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Float -> Double Source #
Convertible Float Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Float -> Float Source #
Convertible Float Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Float -> Integer Source #
Convertible Float Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Float -> Rational Source #
Convertible Int Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int -> Double Source #
Convertible Int Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int -> Float Source #
Convertible Int Int Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int -> Int Source #
Convertible Int Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int -> Int32 Source #
Convertible Int Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int -> Int64 Source #
Convertible Int Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int -> Integer Source #
Convertible Int Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int -> Rational Source #
Convertible Int Word Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int -> Word Source #
Convertible Int Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int -> Word16 Source #
Convertible Int Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int -> Word32 Source #
Convertible Int Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int -> Word64 Source #
Convertible Int CSize Source #
Instance details Defined in Data.Convert.Instances.Num Methods convert :: Int -> CSize Source #
Convertible Int8 Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Double Source #
Convertible Int8 Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Float Source #
Convertible Int8 Int Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Int Source #
Convertible Int8 Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Int8 Source #
Convertible Int8 Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Int16 Source #
Convertible Int8 Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Int32 Source #
Convertible Int8 Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Int64 Source #
Convertible Int8 Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Integer Source #
Convertible Int8 Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Rational Source #
Convertible Int8 Word Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Word Source #
Convertible Int8 Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Word8 Source #
Convertible Int8 Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Word16 Source #
Convertible Int8 Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Word32 Source #
Convertible Int8 Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int8 -> Word64 Source #
Convertible Int16 Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Double Source #
Convertible Int16 Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Float Source #
Convertible Int16 Int Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Int Source #
Convertible Int16 Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Int16 Source #
Convertible Int16 Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Int32 Source #
Convertible Int16 Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Int64 Source #
Convertible Int16 Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Integer Source #
Convertible Int16 Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Rational Source #
Convertible Int16 Word Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Word Source #
Convertible Int16 Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Word8 Source #
Convertible Int16 Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Word16 Source #
Convertible Int16 Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Word32 Source #
Convertible Int16 Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int16 -> Word64 Source #
Convertible Int32 Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int32 -> Double Source #
Convertible Int32 Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int32 -> Float Source #
Convertible Int32 Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int32 -> Int32 Source #
Convertible Int32 Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int32 -> Int64 Source #
Convertible Int32 Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int32 -> Integer Source #
Convertible Int32 Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int32 -> Rational Source #
Convertible Int32 Word Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int32 -> Word Source #
Convertible Int32 Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int32 -> Word16 Source #
Convertible Int32 Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int32 -> Word32 Source #
Convertible Int32 Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int32 -> Word64 Source #
Convertible Int64 Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int64 -> Double Source #
Convertible Int64 Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int64 -> Float Source #
Convertible Int64 Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int64 -> Int64 Source #
Convertible Int64 Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int64 -> Integer Source #
Convertible Int64 Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int64 -> Rational Source #
Convertible Int64 Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int64 -> Word32 Source #
Convertible Int64 Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Int64 -> Word64 Source #
Convertible Integer Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Integer -> Double Source #
Convertible Integer Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Integer -> Float Source #
Convertible Integer Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Integer -> Integer Source #
Convertible Integer Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Integer -> Rational Source #
Convertible Rational Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Rational -> Double Source #
Convertible Rational Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Rational -> Float Source #
Convertible Rational Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Rational -> Integer Source #
Convertible Rational Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Rational -> Rational Source #
Convertible Word Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word -> Double Source #
Convertible Word Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word -> Float Source #
Convertible Word Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word -> Int64 Source #
Convertible Word Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word -> Integer Source #
Convertible Word Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word -> Rational Source #
Convertible Word Word Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word -> Word Source #
Convertible Word Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word -> Word32 Source #
Convertible Word Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word -> Word64 Source #
Convertible Word8 Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Double Source #
Convertible Word8 Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Float Source #
Convertible Word8 Int Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Int Source #
Convertible Word8 Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Int16 Source #
Convertible Word8 Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Int32 Source #
Convertible Word8 Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Int64 Source #
Convertible Word8 Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Integer Source #
Convertible Word8 Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Rational Source #
Convertible Word8 Word Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Word Source #
Convertible Word8 Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Word8 Source #
Convertible Word8 Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Word16 Source #
Convertible Word8 Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Word32 Source #
Convertible Word8 Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word8 -> Word64 Source #
Convertible Word8 ByteString Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Word8 -> ByteString Source #
Convertible Word8 ByteString Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Word8 -> ByteString Source #
Convertible Word8 Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Word8 -> Builder Source #
Convertible Word16 Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word16 -> Double Source #
Convertible Word16 Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word16 -> Float Source #
Convertible Word16 Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word16 -> Int32 Source #
Convertible Word16 Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word16 -> Int64 Source #
Convertible Word16 Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word16 -> Integer Source #
Convertible Word16 Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word16 -> Rational Source #
Convertible Word16 Word Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word16 -> Word Source #
Convertible Word16 Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word16 -> Word16 Source #
Convertible Word16 Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word16 -> Word32 Source #
Convertible Word16 Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word16 -> Word64 Source #
Convertible Word32 Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word32 -> Double Source #
Convertible Word32 Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word32 -> Float Source #
Convertible Word32 Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word32 -> Int64 Source #
Convertible Word32 Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word32 -> Integer Source #
Convertible Word32 Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word32 -> Rational Source #
Convertible Word32 Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word32 -> Word32 Source #
Convertible Word32 Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word32 -> Word64 Source #
Convertible Word64 Double Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word64 -> Double Source #
Convertible Word64 Float Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word64 -> Float Source #
Convertible Word64 Integer Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word64 -> Integer Source #
Convertible Word64 Rational Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word64 -> Rational Source #
Convertible Word64 Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Methods convert :: Word64 -> Word64 Source #
(TypeError (IdConversionErr t) :: Constraint) => Convertible t t Source #
Instance details Defined in Data.Convert.Class Methods convert :: t -> t Source #
Convertible String Doc Source #
Instance details Defined in Text.PrettyPrint.ANSI.Leijen.Convert Methods convert :: String -> Doc Source #
Convertible String ByteString Source #
Instance details Defined in Data.Convert.Instances.ByteString Methods convert :: String -> ByteString Source #
Convertible String ByteString Source #
Instance details Defined in Data.Convert.Instances.ByteString Methods convert :: String -> ByteString Source #
Convertible String Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: String -> Text Source #
Convertible String Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: String -> Builder Source #
Convertible String Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: String -> Text Source #
Convertible ByteString String Source #
Instance details Defined in Data.Convert.Instances.ByteString Methods convert :: ByteString -> String Source #
Convertible ByteString ByteString Source #
Instance details Defined in Data.Convert.Instances.ByteString Methods convert :: ByteString0 -> ByteString Source #
Convertible ByteString Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: ByteString -> Builder Source #
Convertible ByteString Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: ByteString -> Text Source #
Convertible ByteString Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: ByteString -> Builder Source #
Convertible ByteString Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: ByteString -> Text Source #
Convertible ByteString String Source #
Instance details Defined in Data.Convert.Instances.ByteString Methods convert :: ByteString -> String Source #
Convertible ByteString ByteString Source #
Instance details Defined in Data.Convert.Instances.ByteString Methods convert :: ByteString -> ByteString0 Source #
Convertible ByteString Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: ByteString -> Builder Source #
Convertible ByteString Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: ByteString -> Text Source #
Convertible ByteString Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: ByteString -> Builder Source #
Convertible ByteString Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: ByteString -> Text Source #
Convertible Text String Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text -> String Source #
Convertible Text ByteString Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text -> ByteString Source #
Convertible Text ByteString Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text -> ByteString Source #
Convertible Text Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text -> Builder Source #
Convertible Text Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text -> Builder Source #
Convertible Text Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text0 -> Text Source #
Convertible Builder String Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Builder -> String Source #
Convertible Builder ByteString Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Builder -> ByteString Source #
Convertible Builder ByteString Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Builder -> ByteString Source #
Convertible Builder Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Builder -> Builder0 Source #
Convertible Builder Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Builder -> Text Source #
Convertible Builder Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Builder -> Text Source #
Convertible Text String Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text -> String Source #
Convertible Text Doc Source #
Instance details Defined in Text.PrettyPrint.ANSI.Leijen.Convert Methods convert :: Text -> Doc Source #
Convertible Text ByteString Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text -> ByteString Source #
Convertible Text ByteString Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text -> ByteString Source #
Convertible Text Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text -> Builder Source #
Convertible Text Text Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text -> Text0 Source #
Convertible Text Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: Text -> Builder Source #
Convertible () [t] Source #
Instance details Defined in Data.Convert.Instances.Base Methods convert :: () -> [t] Source #
Convertible a [a] Source #
Instance details Defined in Data.Convert.Instances.List Methods convert :: a -> [a] Source #
Convertible ByteString [Word8] Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: ByteString -> [Word8] Source #
Convertible ByteString [Word8] Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: ByteString -> [Word8] Source #
Convertible Word64 (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) Source #
Instance details Defined in Data.Convert.Instances.Num Methods convert :: Word64 -> (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) Source #
Convertible [Word8] ByteString Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: [Word8] -> ByteString Source #
Convertible [Word8] ByteString Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: [Word8] -> ByteString Source #
Convertible [Word8] Builder Source #
Instance details Defined in Data.Convert.Instances.Text Methods convert :: [Word8] -> Builder Source #
Ord a => Convertible [a] (Set a) Source #
Instance details Defined in Data.Convert.Instances.Set Methods convert :: [a] -> Set a Source #
Convertible1 t t' => Convertible (t a) (t' a) Source #
Instance details Defined in Data.Convert.Class Methods convert :: t a -> t' a Source #
(Convertible1 t t', Convertible' a a', Functor t') => Convertible (t a) (t' a') Source #
Instance details Defined in Data.Convert.Class Methods convert :: t a -> t' a' Source #
(Convertible a a', Functor t) => Convertible (t a) (t a') Source #	We cannot use OVERLAPPABLE instances here. Let's consider following instance: instance (s ~ s', t ~ t') => Convertible (Symbol s t) (Symbol2 s' t') where ... By writing it we indicate that during conversion from Symbol to Symbol2 the appropriate variables should be matched. If the following instances would be declared as OVERLAPPABLE, it will clash with the instance `Convertible (t a) (t' a)`. In other words, if user defines any conversion between type `X a` and `Y b`, we disable automatic lifting to `ConvertibleN`. TODO[WD]: File GHC proposal to choose more specific incoherent instance
Instance details Defined in Data.Convert.Class Methods convert :: t a -> t a' Source #
Convertible' a b => Convertible (NonEmpty a) [b] Source #
Instance details Defined in Data.Convert.Instances.List Methods convert :: NonEmpty a -> [b] Source #
Convertible (Set a) [a] Source #
Instance details Defined in Data.Convert.Instances.Set Methods convert :: Set a -> [a] Source #
Ord k => Convertible [(k, a)] (Map k a) Source #
Instance details Defined in Data.Convert.Instances.Map Methods convert :: [(k, a)] -> Map k a Source #
Convertible (t, t) [t] Source #
Instance details Defined in Data.Convert.Instances.Base Methods convert :: (t, t) -> [t] Source #
Convertible (Map k a) [(k, a)] Source #
Instance details Defined in Data.Convert.Instances.Map Methods convert :: Map k a -> [(k, a)] Source #
(Convertible a1 b1, Convertible a2 b2) => Convertible (a1, a2) (b1, b2) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2) -> (b1, b2) Source #
Convertible (t, t, t) [t] Source #
Instance details Defined in Data.Convert.Instances.Base Methods convert :: (t, t, t) -> [t] Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3) => Convertible (a1, a2, a3) (b1, b2, b3) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3) -> (b1, b2, b3) Source #
Convertible (t, t, t, t) [t] Source #
Instance details Defined in Data.Convert.Instances.Base Methods convert :: (t, t, t, t) -> [t] Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4) => Convertible (a1, a2, a3, a4) (b1, b2, b3, b4) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4) -> (b1, b2, b3, b4) Source #
Convertible (t, t, t, t, t) [t] Source #
Instance details Defined in Data.Convert.Instances.Base Methods convert :: (t, t, t, t, t) -> [t] Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5) => Convertible (a1, a2, a3, a4, a5) (b1, b2, b3, b4, b5) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5) -> (b1, b2, b3, b4, b5) Source #
Convertible (t, t, t, t, t, t) [t] Source #
Instance details Defined in Data.Convert.Instances.Base Methods convert :: (t, t, t, t, t, t) -> [t] Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6) => Convertible (a1, a2, a3, a4, a5, a6) (b1, b2, b3, b4, b5, b6) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6) -> (b1, b2, b3, b4, b5, b6) Source #
Convertible (t, t, t, t, t, t, t) [t] Source #
Instance details Defined in Data.Convert.Instances.Base Methods convert :: (t, t, t, t, t, t, t) -> [t] Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7) => Convertible (a1, a2, a3, a4, a5, a6, a7) (b1, b2, b3, b4, b5, b6, b7) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7) -> (b1, b2, b3, b4, b5, b6, b7) Source #
Convertible (t, t, t, t, t, t, t, t) [t] Source #
Instance details Defined in Data.Convert.Instances.Base Methods convert :: (t, t, t, t, t, t, t, t) -> [t] Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8) (b1, b2, b3, b4, b5, b6, b7, b8) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8) -> (b1, b2, b3, b4, b5, b6, b7, b8) Source #
Convertible (t, t, t, t, t, t, t, t, t) [t] Source #
Instance details Defined in Data.Convert.Instances.Base Methods convert :: (t, t, t, t, t, t, t, t, t) -> [t] Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9) (b1, b2, b3, b4, b5, b6, b7, b8, b9) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51, Convertible a52 b52) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51, Convertible a52 b52, Convertible a53 b53) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51, Convertible a52 b52, Convertible a53 b53, Convertible a54 b54) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51, Convertible a52 b52, Convertible a53 b53, Convertible a54 b54, Convertible a55 b55) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51, Convertible a52 b52, Convertible a53 b53, Convertible a54 b54, Convertible a55 b55, Convertible a56 b56) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51, Convertible a52 b52, Convertible a53 b53, Convertible a54 b54, Convertible a55 b55, Convertible a56 b56, Convertible a57 b57) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51, Convertible a52 b52, Convertible a53 b53, Convertible a54 b54, Convertible a55 b55, Convertible a56 b56, Convertible a57 b57, Convertible a58 b58) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57, b58) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57, b58) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51, Convertible a52 b52, Convertible a53 b53, Convertible a54 b54, Convertible a55 b55, Convertible a56 b56, Convertible a57 b57, Convertible a58 b58, Convertible a59 b59) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57, b58, b59) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57, b58, b59) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51, Convertible a52 b52, Convertible a53 b53, Convertible a54 b54, Convertible a55 b55, Convertible a56 b56, Convertible a57 b57, Convertible a58 b58, Convertible a59 b59, Convertible a60 b60) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57, b58, b59, b60) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57, b58, b59, b60) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51, Convertible a52 b52, Convertible a53 b53, Convertible a54 b54, Convertible a55 b55, Convertible a56 b56, Convertible a57 b57, Convertible a58 b58, Convertible a59 b59, Convertible a60 b60, Convertible a61 b61) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60, a61) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57, b58, b59, b60, b61) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60, a61) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57, b58, b59, b60, b61) Source #
(Convertible a1 b1, Convertible a2 b2, Convertible a3 b3, Convertible a4 b4, Convertible a5 b5, Convertible a6 b6, Convertible a7 b7, Convertible a8 b8, Convertible a9 b9, Convertible a10 b10, Convertible a11 b11, Convertible a12 b12, Convertible a13 b13, Convertible a14 b14, Convertible a15 b15, Convertible a16 b16, Convertible a17 b17, Convertible a18 b18, Convertible a19 b19, Convertible a20 b20, Convertible a21 b21, Convertible a22 b22, Convertible a23 b23, Convertible a24 b24, Convertible a25 b25, Convertible a26 b26, Convertible a27 b27, Convertible a28 b28, Convertible a29 b29, Convertible a30 b30, Convertible a31 b31, Convertible a32 b32, Convertible a33 b33, Convertible a34 b34, Convertible a35 b35, Convertible a36 b36, Convertible a37 b37, Convertible a38 b38, Convertible a39 b39, Convertible a40 b40, Convertible a41 b41, Convertible a42 b42, Convertible a43 b43, Convertible a44 b44, Convertible a45 b45, Convertible a46 b46, Convertible a47 b47, Convertible a48 b48, Convertible a49 b49, Convertible a50 b50, Convertible a51 b51, Convertible a52 b52, Convertible a53 b53, Convertible a54 b54, Convertible a55 b55, Convertible a56 b56, Convertible a57 b57, Convertible a58 b58, Convertible a59 b59, Convertible a60 b60, Convertible a61 b61, Convertible a62 b62) => Convertible (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60, a61, a62) (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57, b58, b59, b60, b61, b62) Source #
Instance details Defined in Data.Convert.Instances.Tuple Methods convert :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60, a61, a62) -> (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57, b58, b59, b60, b61, b62) Source #

class Convertible1 t t' where Source #

Methods

convert1 :: forall s1. t s1 -> t' s1 Source #

Instances

(TypeError (IdConversionErr t) :: Constraint) => Convertible1 (t :: k -> Type) (t :: k -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert1 :: t s1 -> t s1 Source #
Convertible2 t t' => Convertible1 (t a :: k2 -> Type) (t' a :: k2 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert1 :: t a s1 -> t' a s1 Source #

class Convertible2 t t' where Source #

Methods

convert2 :: forall s1 s2. t s1 s2 -> t' s1 s2 Source #

Instances

(TypeError (IdConversionErr t) :: Constraint) => Convertible2 (t :: k1 -> k2 -> Type) (t :: k1 -> k2 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert2 :: t s1 s2 -> t s1 s2 Source #
Convertible3 t t' => Convertible2 (t a :: k2 -> k3 -> Type) (t' a :: k2 -> k3 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert2 :: t a s1 s2 -> t' a s1 s2 Source #

class Convertible3 t t' where Source #

Methods

convert3 :: forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3 Source #

Instances

(TypeError (IdConversionErr t) :: Constraint) => Convertible3 (t :: k1 -> k2 -> k3 -> Type) (t :: k1 -> k2 -> k3 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert3 :: t s1 s2 s3 -> t s1 s2 s3 Source #
Convertible4 t t' => Convertible3 (t a :: k2 -> k3 -> k4 -> Type) (t' a :: k2 -> k3 -> k4 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert3 :: t a s1 s2 s3 -> t' a s1 s2 s3 Source #

class Convertible4 t t' where Source #

Methods

convert4 :: forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4 Source #

Instances

(TypeError (IdConversionErr t) :: Constraint) => Convertible4 (t :: k1 -> k2 -> k3 -> k4 -> Type) (t :: k1 -> k2 -> k3 -> k4 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert4 :: t s1 s2 s3 s4 -> t s1 s2 s3 s4 Source #
Convertible5 t t' => Convertible4 (t a :: k2 -> k3 -> k4 -> k5 -> Type) (t' a :: k2 -> k3 -> k4 -> k5 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert4 :: t a s1 s2 s3 s4 -> t' a s1 s2 s3 s4 Source #

class Convertible5 t t' where Source #

Methods

convert5 :: forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5 Source #

Instances

(TypeError (IdConversionErr t) :: Constraint) => Convertible5 (t :: k1 -> k2 -> k3 -> k4 -> k5 -> Type) (t :: k1 -> k2 -> k3 -> k4 -> k5 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert5 :: t s1 s2 s3 s4 s5 -> t s1 s2 s3 s4 s5 Source #

type IdConversionErr (t :: k) = (Text "Conversion of the same type (`" :<>: ShowType t) :<>: Text "`) is disabled by default. Please use convert' if you want to enable it." Source #

convertTo :: forall t' t. Convertible t t' => t -> t' Source #

convertTo1 :: forall t' t. Convertible1 t t' => forall s1. t s1 -> t' s1 Source #

convertTo2 :: forall t' t. Convertible2 t t' => forall s1 s2. t s1 s2 -> t' s1 s2 Source #

convertTo3 :: forall t' t. Convertible3 t t' => forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3 Source #

convertTo4 :: forall t' t. Convertible4 t t' => forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4 Source #

convertTo5 :: forall t' t. Convertible5 t t' => forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5 Source #

class Convertible' t t' where Source #

Methods

convert' :: t -> t' Source #

Instances

Convertible t t' => Convertible' t t' Source #
Instance details Defined in Data.Convert.Class Methods convert' :: t -> t' Source #
Convertible' t t Source #
Instance details Defined in Data.Convert.Class Methods convert' :: t -> t Source #

class Convertible1' t t' where Source #

Methods

convert1' :: forall s1. t s1 -> t' s1 Source #

Instances

Convertible1 t t' => Convertible1' (t :: k -> Type) (t' :: k -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert1' :: t s1 -> t' s1 Source #
Convertible1' (t :: k -> Type) (t :: k -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert1' :: t s1 -> t s1 Source #

class Convertible2' t t' where Source #

Methods

convert2' :: forall s1 s2. t s1 s2 -> t' s1 s2 Source #

Instances

Convertible2 t t' => Convertible2' (t :: k1 -> k2 -> Type) (t' :: k1 -> k2 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert2' :: t s1 s2 -> t' s1 s2 Source #
Convertible2' (t :: k1 -> k2 -> Type) (t :: k1 -> k2 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert2' :: t s1 s2 -> t s1 s2 Source #

class Convertible3' t t' where Source #

Methods

convert3' :: forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3 Source #

Instances

Convertible3 t t' => Convertible3' (t :: k1 -> k2 -> k3 -> Type) (t' :: k1 -> k2 -> k3 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert3' :: t s1 s2 s3 -> t' s1 s2 s3 Source #
Convertible3' (t :: k1 -> k2 -> k3 -> Type) (t :: k1 -> k2 -> k3 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert3' :: t s1 s2 s3 -> t s1 s2 s3 Source #

class Convertible4' t t' where Source #

Methods

convert4' :: forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4 Source #

Instances

Convertible4 t t' => Convertible4' (t :: k1 -> k2 -> k3 -> k4 -> Type) (t' :: k1 -> k2 -> k3 -> k4 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert4' :: t s1 s2 s3 s4 -> t' s1 s2 s3 s4 Source #
Convertible4' (t :: k1 -> k2 -> k3 -> k4 -> Type) (t :: k1 -> k2 -> k3 -> k4 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert4' :: t s1 s2 s3 s4 -> t s1 s2 s3 s4 Source #

class Convertible5' t t' where Source #

Methods

convert5' :: forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5 Source #

Instances

Convertible5 t t' => Convertible5' (t :: k1 -> k2 -> k3 -> k4 -> k5 -> Type) (t' :: k1 -> k2 -> k3 -> k4 -> k5 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert5' :: t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5 Source #
Convertible5' (t :: k1 -> k2 -> k3 -> k4 -> k5 -> Type) (t :: k1 -> k2 -> k3 -> k4 -> k5 -> Type) Source #
Instance details Defined in Data.Convert.Class Methods convert5' :: t s1 s2 s3 s4 s5 -> t s1 s2 s3 s4 s5 Source #

convertTo' :: forall t' t. Convertible' t t' => t -> t' Source #

convertTo1' :: forall t' t. Convertible1' t t' => forall s1. t s1 -> t' s1 Source #

convertTo2' :: forall t' t. Convertible2' t t' => forall s1 s2. t s1 s2 -> t' s1 s2 Source #

convertTo3' :: forall t' t. Convertible3' t t' => forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3 Source #

convertTo4' :: forall t' t. Convertible4' t t' => forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4 Source #

convertTo5' :: forall t' t. Convertible5' t t' => forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5 Source #

data SimpleConversionError Source #

Constructors

SimpleConversionError

Instances

Show SimpleConversionError Source #
Instance details Defined in Data.Convert.Class Methods showsPrec :: Int -> SimpleConversionError -> ShowS # show :: SimpleConversionError -> String # showList :: [SimpleConversionError] -> ShowS #
Default SimpleConversionError Source #
Instance details Defined in Data.Convert.Class Methods def :: SimpleConversionError #

class PartialConvertible t t' where Source #

PartialConvertible allows conversions that could fail with ConversionError.

Associated Types

type ConversionError t t' Source #

Methods

convertAssert :: t -> Maybe (ConversionError t t') Source #

unsafeConvert :: t -> t' Source #

Instances

PartialConvertible Double Int Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Double Int :: Type Source # Methods convertAssert :: Double -> Maybe (ConversionError Double Int) Source # unsafeConvert :: Double -> Int Source #
PartialConvertible Double Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Double Int8 :: Type Source # Methods convertAssert :: Double -> Maybe (ConversionError Double Int8) Source # unsafeConvert :: Double -> Int8 Source #
PartialConvertible Double Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Double Int16 :: Type Source # Methods convertAssert :: Double -> Maybe (ConversionError Double Int16) Source # unsafeConvert :: Double -> Int16 Source #
PartialConvertible Double Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Double Int32 :: Type Source # Methods convertAssert :: Double -> Maybe (ConversionError Double Int32) Source # unsafeConvert :: Double -> Int32 Source #
PartialConvertible Double Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Double Int64 :: Type Source # Methods convertAssert :: Double -> Maybe (ConversionError Double Int64) Source # unsafeConvert :: Double -> Int64 Source #
PartialConvertible Double Word Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Double Word :: Type Source # Methods convertAssert :: Double -> Maybe (ConversionError Double Word) Source # unsafeConvert :: Double -> Word Source #
PartialConvertible Double Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Double Word8 :: Type Source # Methods convertAssert :: Double -> Maybe (ConversionError Double Word8) Source # unsafeConvert :: Double -> Word8 Source #
PartialConvertible Double Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Double Word16 :: Type Source # Methods convertAssert :: Double -> Maybe (ConversionError Double Word16) Source # unsafeConvert :: Double -> Word16 Source #
PartialConvertible Double Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Double Word32 :: Type Source # Methods convertAssert :: Double -> Maybe (ConversionError Double Word32) Source # unsafeConvert :: Double -> Word32 Source #
PartialConvertible Double Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Double Word64 :: Type Source # Methods convertAssert :: Double -> Maybe (ConversionError Double Word64) Source # unsafeConvert :: Double -> Word64 Source #
PartialConvertible Float Int Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Float Int :: Type Source # Methods convertAssert :: Float -> Maybe (ConversionError Float Int) Source # unsafeConvert :: Float -> Int Source #
PartialConvertible Float Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Float Int8 :: Type Source # Methods convertAssert :: Float -> Maybe (ConversionError Float Int8) Source # unsafeConvert :: Float -> Int8 Source #
PartialConvertible Float Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Float Int16 :: Type Source # Methods convertAssert :: Float -> Maybe (ConversionError Float Int16) Source # unsafeConvert :: Float -> Int16 Source #
PartialConvertible Float Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Float Int32 :: Type Source # Methods convertAssert :: Float -> Maybe (ConversionError Float Int32) Source # unsafeConvert :: Float -> Int32 Source #
PartialConvertible Float Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Float Int64 :: Type Source # Methods convertAssert :: Float -> Maybe (ConversionError Float Int64) Source # unsafeConvert :: Float -> Int64 Source #
PartialConvertible Float Word Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Float Word :: Type Source # Methods convertAssert :: Float -> Maybe (ConversionError Float Word) Source # unsafeConvert :: Float -> Word Source #
PartialConvertible Float Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Float Word8 :: Type Source # Methods convertAssert :: Float -> Maybe (ConversionError Float Word8) Source # unsafeConvert :: Float -> Word8 Source #
PartialConvertible Float Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Float Word16 :: Type Source # Methods convertAssert :: Float -> Maybe (ConversionError Float Word16) Source # unsafeConvert :: Float -> Word16 Source #
PartialConvertible Float Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Float Word32 :: Type Source # Methods convertAssert :: Float -> Maybe (ConversionError Float Word32) Source # unsafeConvert :: Float -> Word32 Source #
PartialConvertible Float Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Float Word64 :: Type Source # Methods convertAssert :: Float -> Maybe (ConversionError Float Word64) Source # unsafeConvert :: Float -> Word64 Source #
PartialConvertible Int Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int Int8 :: Type Source # Methods convertAssert :: Int -> Maybe (ConversionError Int Int8) Source # unsafeConvert :: Int -> Int8 Source #
PartialConvertible Int Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int Int16 :: Type Source # Methods convertAssert :: Int -> Maybe (ConversionError Int Int16) Source # unsafeConvert :: Int -> Int16 Source #
PartialConvertible Int Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int Word8 :: Type Source # Methods convertAssert :: Int -> Maybe (ConversionError Int Word8) Source # unsafeConvert :: Int -> Word8 Source #
PartialConvertible Int16 Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int16 Int8 :: Type Source # Methods convertAssert :: Int16 -> Maybe (ConversionError Int16 Int8) Source # unsafeConvert :: Int16 -> Int8 Source #
PartialConvertible Int32 Int Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int32 Int :: Type Source # Methods convertAssert :: Int32 -> Maybe (ConversionError Int32 Int) Source # unsafeConvert :: Int32 -> Int Source #
PartialConvertible Int32 Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int32 Int8 :: Type Source # Methods convertAssert :: Int32 -> Maybe (ConversionError Int32 Int8) Source # unsafeConvert :: Int32 -> Int8 Source #
PartialConvertible Int32 Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int32 Int16 :: Type Source # Methods convertAssert :: Int32 -> Maybe (ConversionError Int32 Int16) Source # unsafeConvert :: Int32 -> Int16 Source #
PartialConvertible Int32 Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int32 Word8 :: Type Source # Methods convertAssert :: Int32 -> Maybe (ConversionError Int32 Word8) Source # unsafeConvert :: Int32 -> Word8 Source #
PartialConvertible Int64 Int Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int64 Int :: Type Source # Methods convertAssert :: Int64 -> Maybe (ConversionError Int64 Int) Source # unsafeConvert :: Int64 -> Int Source #
PartialConvertible Int64 Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int64 Int8 :: Type Source # Methods convertAssert :: Int64 -> Maybe (ConversionError Int64 Int8) Source # unsafeConvert :: Int64 -> Int8 Source #
PartialConvertible Int64 Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int64 Int16 :: Type Source # Methods convertAssert :: Int64 -> Maybe (ConversionError Int64 Int16) Source # unsafeConvert :: Int64 -> Int16 Source #
PartialConvertible Int64 Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int64 Int32 :: Type Source # Methods convertAssert :: Int64 -> Maybe (ConversionError Int64 Int32) Source # unsafeConvert :: Int64 -> Int32 Source #
PartialConvertible Int64 Word Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int64 Word :: Type Source # Methods convertAssert :: Int64 -> Maybe (ConversionError Int64 Word) Source # unsafeConvert :: Int64 -> Word Source #
PartialConvertible Int64 Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int64 Word8 :: Type Source # Methods convertAssert :: Int64 -> Maybe (ConversionError Int64 Word8) Source # unsafeConvert :: Int64 -> Word8 Source #
PartialConvertible Int64 Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Int64 Word16 :: Type Source # Methods convertAssert :: Int64 -> Maybe (ConversionError Int64 Word16) Source # unsafeConvert :: Int64 -> Word16 Source #
PartialConvertible Integer Int Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Integer Int :: Type Source # Methods convertAssert :: Integer -> Maybe (ConversionError Integer Int) Source # unsafeConvert :: Integer -> Int Source #
PartialConvertible Integer Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Integer Int8 :: Type Source # Methods convertAssert :: Integer -> Maybe (ConversionError Integer Int8) Source # unsafeConvert :: Integer -> Int8 Source #
PartialConvertible Integer Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Integer Int16 :: Type Source # Methods convertAssert :: Integer -> Maybe (ConversionError Integer Int16) Source # unsafeConvert :: Integer -> Int16 Source #
PartialConvertible Integer Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Integer Int32 :: Type Source # Methods convertAssert :: Integer -> Maybe (ConversionError Integer Int32) Source # unsafeConvert :: Integer -> Int32 Source #
PartialConvertible Integer Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Integer Int64 :: Type Source # Methods convertAssert :: Integer -> Maybe (ConversionError Integer Int64) Source # unsafeConvert :: Integer -> Int64 Source #
PartialConvertible Integer Word Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Integer Word :: Type Source # Methods convertAssert :: Integer -> Maybe (ConversionError Integer Word) Source # unsafeConvert :: Integer -> Word Source #
PartialConvertible Integer Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Integer Word8 :: Type Source # Methods convertAssert :: Integer -> Maybe (ConversionError Integer Word8) Source # unsafeConvert :: Integer -> Word8 Source #
PartialConvertible Integer Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Integer Word16 :: Type Source # Methods convertAssert :: Integer -> Maybe (ConversionError Integer Word16) Source # unsafeConvert :: Integer -> Word16 Source #
PartialConvertible Integer Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Integer Word32 :: Type Source # Methods convertAssert :: Integer -> Maybe (ConversionError Integer Word32) Source # unsafeConvert :: Integer -> Word32 Source #
PartialConvertible Integer Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Integer Word64 :: Type Source # Methods convertAssert :: Integer -> Maybe (ConversionError Integer Word64) Source # unsafeConvert :: Integer -> Word64 Source #
PartialConvertible Rational Int Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Rational Int :: Type Source # Methods convertAssert :: Rational -> Maybe (ConversionError Rational Int) Source # unsafeConvert :: Rational -> Int Source #
PartialConvertible Rational Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Rational Int8 :: Type Source # Methods convertAssert :: Rational -> Maybe (ConversionError Rational Int8) Source # unsafeConvert :: Rational -> Int8 Source #
PartialConvertible Rational Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Rational Int16 :: Type Source # Methods convertAssert :: Rational -> Maybe (ConversionError Rational Int16) Source # unsafeConvert :: Rational -> Int16 Source #
PartialConvertible Rational Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Rational Int32 :: Type Source # Methods convertAssert :: Rational -> Maybe (ConversionError Rational Int32) Source # unsafeConvert :: Rational -> Int32 Source #
PartialConvertible Rational Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Rational Int64 :: Type Source # Methods convertAssert :: Rational -> Maybe (ConversionError Rational Int64) Source # unsafeConvert :: Rational -> Int64 Source #
PartialConvertible Rational Word Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Rational Word :: Type Source # Methods convertAssert :: Rational -> Maybe (ConversionError Rational Word) Source # unsafeConvert :: Rational -> Word Source #
PartialConvertible Rational Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Rational Word8 :: Type Source # Methods convertAssert :: Rational -> Maybe (ConversionError Rational Word8) Source # unsafeConvert :: Rational -> Word8 Source #
PartialConvertible Rational Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Rational Word16 :: Type Source # Methods convertAssert :: Rational -> Maybe (ConversionError Rational Word16) Source # unsafeConvert :: Rational -> Word16 Source #
PartialConvertible Rational Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Rational Word32 :: Type Source # Methods convertAssert :: Rational -> Maybe (ConversionError Rational Word32) Source # unsafeConvert :: Rational -> Word32 Source #
PartialConvertible Rational Word64 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Rational Word64 :: Type Source # Methods convertAssert :: Rational -> Maybe (ConversionError Rational Word64) Source # unsafeConvert :: Rational -> Word64 Source #
PartialConvertible Word Int Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word Int :: Type Source # Methods convertAssert :: Word -> Maybe (ConversionError Word Int) Source # unsafeConvert :: Word -> Int Source #
PartialConvertible Word Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word Int8 :: Type Source # Methods convertAssert :: Word -> Maybe (ConversionError Word Int8) Source # unsafeConvert :: Word -> Int8 Source #
PartialConvertible Word Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word Int16 :: Type Source # Methods convertAssert :: Word -> Maybe (ConversionError Word Int16) Source # unsafeConvert :: Word -> Int16 Source #
PartialConvertible Word Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word Int32 :: Type Source # Methods convertAssert :: Word -> Maybe (ConversionError Word Int32) Source # unsafeConvert :: Word -> Int32 Source #
PartialConvertible Word Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word Word8 :: Type Source # Methods convertAssert :: Word -> Maybe (ConversionError Word Word8) Source # unsafeConvert :: Word -> Word8 Source #
PartialConvertible Word Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word Word16 :: Type Source # Methods convertAssert :: Word -> Maybe (ConversionError Word Word16) Source # unsafeConvert :: Word -> Word16 Source #
PartialConvertible Word8 Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word8 Int8 :: Type Source # Methods convertAssert :: Word8 -> Maybe (ConversionError Word8 Int8) Source # unsafeConvert :: Word8 -> Int8 Source #
PartialConvertible Word16 Int Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word16 Int :: Type Source # Methods convertAssert :: Word16 -> Maybe (ConversionError Word16 Int) Source # unsafeConvert :: Word16 -> Int Source #
PartialConvertible Word16 Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word16 Int8 :: Type Source # Methods convertAssert :: Word16 -> Maybe (ConversionError Word16 Int8) Source # unsafeConvert :: Word16 -> Int8 Source #
PartialConvertible Word16 Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word16 Int16 :: Type Source # Methods convertAssert :: Word16 -> Maybe (ConversionError Word16 Int16) Source # unsafeConvert :: Word16 -> Int16 Source #
PartialConvertible Word16 Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word16 Word8 :: Type Source # Methods convertAssert :: Word16 -> Maybe (ConversionError Word16 Word8) Source # unsafeConvert :: Word16 -> Word8 Source #
PartialConvertible Word32 Int Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word32 Int :: Type Source # Methods convertAssert :: Word32 -> Maybe (ConversionError Word32 Int) Source # unsafeConvert :: Word32 -> Int Source #
PartialConvertible Word32 Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word32 Int8 :: Type Source # Methods convertAssert :: Word32 -> Maybe (ConversionError Word32 Int8) Source # unsafeConvert :: Word32 -> Int8 Source #
PartialConvertible Word32 Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word32 Int16 :: Type Source # Methods convertAssert :: Word32 -> Maybe (ConversionError Word32 Int16) Source # unsafeConvert :: Word32 -> Int16 Source #
PartialConvertible Word32 Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word32 Int32 :: Type Source # Methods convertAssert :: Word32 -> Maybe (ConversionError Word32 Int32) Source # unsafeConvert :: Word32 -> Int32 Source #
PartialConvertible Word32 Word Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word32 Word :: Type Source # Methods convertAssert :: Word32 -> Maybe (ConversionError Word32 Word) Source # unsafeConvert :: Word32 -> Word Source #
PartialConvertible Word32 Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word32 Word8 :: Type Source # Methods convertAssert :: Word32 -> Maybe (ConversionError Word32 Word8) Source # unsafeConvert :: Word32 -> Word8 Source #
PartialConvertible Word32 Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word32 Word16 :: Type Source # Methods convertAssert :: Word32 -> Maybe (ConversionError Word32 Word16) Source # unsafeConvert :: Word32 -> Word16 Source #
PartialConvertible Word64 Int Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word64 Int :: Type Source # Methods convertAssert :: Word64 -> Maybe (ConversionError Word64 Int) Source # unsafeConvert :: Word64 -> Int Source #
PartialConvertible Word64 Int8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word64 Int8 :: Type Source # Methods convertAssert :: Word64 -> Maybe (ConversionError Word64 Int8) Source # unsafeConvert :: Word64 -> Int8 Source #
PartialConvertible Word64 Int16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word64 Int16 :: Type Source # Methods convertAssert :: Word64 -> Maybe (ConversionError Word64 Int16) Source # unsafeConvert :: Word64 -> Int16 Source #
PartialConvertible Word64 Int32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word64 Int32 :: Type Source # Methods convertAssert :: Word64 -> Maybe (ConversionError Word64 Int32) Source # unsafeConvert :: Word64 -> Int32 Source #
PartialConvertible Word64 Int64 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word64 Int64 :: Type Source # Methods convertAssert :: Word64 -> Maybe (ConversionError Word64 Int64) Source # unsafeConvert :: Word64 -> Int64 Source #
PartialConvertible Word64 Word Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word64 Word :: Type Source # Methods convertAssert :: Word64 -> Maybe (ConversionError Word64 Word) Source # unsafeConvert :: Word64 -> Word Source #
PartialConvertible Word64 Word8 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word64 Word8 :: Type Source # Methods convertAssert :: Word64 -> Maybe (ConversionError Word64 Word8) Source # unsafeConvert :: Word64 -> Word8 Source #
PartialConvertible Word64 Word16 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word64 Word16 :: Type Source # Methods convertAssert :: Word64 -> Maybe (ConversionError Word64 Word16) Source # unsafeConvert :: Word64 -> Word16 Source #
PartialConvertible Word64 Word32 Source #
Instance details Defined in Data.Convert.Instances.TH Associated Types type ConversionError Word64 Word32 :: Type Source # Methods convertAssert :: Word64 -> Maybe (ConversionError Word64 Word32) Source # unsafeConvert :: Word64 -> Word32 Source #
Convertible' a b => PartialConvertible [a] (NonEmpty b) Source #
Instance details Defined in Data.Convert.Instances.List Associated Types type ConversionError [a] (NonEmpty b) :: Type Source # Methods convertAssert :: [a] -> Maybe (ConversionError [a] (NonEmpty b)) Source # unsafeConvert :: [a] -> NonEmpty b Source #

defConvertAssert :: Default e => (a -> Bool) -> a -> Maybe e Source #

unsafeConvertTo :: forall t' t. PartialConvertible t t' => t -> t' Source #

convertAssertTo :: forall t' t. PartialConvertible t t' => t -> Maybe (ConversionError t t') Source #

maybeConvert :: forall t t'. PartialConvertible t t' => t -> Maybe t' Source #

tryConvert :: forall t t'. PartialConvertible t t' => t -> Either (ConversionError t t') t' Source #

type BiConvertible t t' = (Convertible t t', Convertible t' t) Source #

type BiConvertible1 t t' = (Convertible1 t t', Convertible1 t' t) Source #

type BiConvertible2 t t' = (Convertible2 t t', Convertible2 t' t) Source #

type BiConvertible3 t t' = (Convertible3 t t', Convertible3 t' t) Source #

type BiConvertible4 t t' = (Convertible4 t t', Convertible4 t' t) Source #

type BiConvertible5 t t' = (Convertible5 t t', Convertible5 t' t) Source #

type BiConvertible' t t' = (Convertible' t t', Convertible' t' t) Source #

type BiConvertible1' t t' = (Convertible1' t t', Convertible1' t' t) Source #

type BiConvertible2' t t' = (Convertible2' t t', Convertible2' t' t) Source #

type BiConvertible3' t t' = (Convertible3' t t', Convertible3' t' t) Source #

type BiConvertible4' t t' = (Convertible4' t t', Convertible4' t' t) Source #

type BiConvertible5' t t' = (Convertible5' t t', Convertible5' t' t) Source #

type BiPartialConvertible t t' = (PartialConvertible t t', PartialConvertible t t') Source #

converted :: BiConvertible t t' => Iso' t t' Source #

converted1 :: BiConvertible1 t t' => forall s1. Iso' (t s1) (t' s1) Source #

converted2 :: BiConvertible2 t t' => forall s1 s2. Iso' (t s1 s2) (t' s1 s2) Source #

converted3 :: BiConvertible3 t t' => forall s1 s2 s3. Iso' (t s1 s2 s3) (t' s1 s2 s3) Source #

converted4 :: BiConvertible4 t t' => forall s1 s2 s3 s4. Iso' (t s1 s2 s3 s4) (t' s1 s2 s3 s4) Source #

converted5 :: BiConvertible5 t t' => forall s1 s2 s3 s4 s5. Iso' (t s1 s2 s3 s4 s5) (t' s1 s2 s3 s4 s5) Source #

converted' :: BiConvertible' t t' => Iso' t t' Source #

converted1' :: BiConvertible1' t t' => forall s1. Iso' (t s1) (t' s1) Source #

converted2' :: BiConvertible2' t t' => forall s1 s2. Iso' (t s1 s2) (t' s1 s2) Source #

converted3' :: BiConvertible3' t t' => forall s1 s2 s3. Iso' (t s1 s2 s3) (t' s1 s2 s3) Source #

converted4' :: BiConvertible4' t t' => forall s1 s2 s3 s4. Iso' (t s1 s2 s3 s4) (t' s1 s2 s3 s4) Source #

converted5' :: BiConvertible5' t t' => forall s1 s2 s3 s4 s5. Iso' (t s1 s2 s3 s4 s5) (t' s1 s2 s3 s4 s5) Source #

convertedTo :: BiConvertible t' t => Iso' t t' Source #

convertedTo1 :: BiConvertible1 t' t => forall s1. Iso' (t s1) (t' s1) Source #

convertedTo2 :: BiConvertible2 t' t => forall s1 s2. Iso' (t s1 s2) (t' s1 s2) Source #

convertedTo3 :: BiConvertible3 t' t => forall s1 s2 s3. Iso' (t s1 s2 s3) (t' s1 s2 s3) Source #

convertedTo4 :: BiConvertible4 t' t => forall s1 s2 s3 s4. Iso' (t s1 s2 s3 s4) (t' s1 s2 s3 s4) Source #

convertedTo5 :: BiConvertible5 t' t => forall s1 s2 s3 s4 s5. Iso' (t s1 s2 s3 s4 s5) (t' s1 s2 s3 s4 s5) Source #

convertedTo' :: BiConvertible' t' t => Iso' t t' Source #

convertedTo1' :: BiConvertible1' t' t => forall s1. Iso' (t s1) (t' s1) Source #

convertedTo2' :: BiConvertible2' t' t => forall s1 s2. Iso' (t s1 s2) (t' s1 s2) Source #

convertedTo3' :: BiConvertible3' t' t => forall s1 s2 s3. Iso' (t s1 s2 s3) (t' s1 s2 s3) Source #

convertedTo4' :: BiConvertible4' t' t => forall s1 s2 s3 s4. Iso' (t s1 s2 s3 s4) (t' s1 s2 s3 s4) Source #

convertedTo5' :: BiConvertible5' t' t => forall s1 s2 s3 s4 s5. Iso' (t s1 s2 s3 s4 s5) (t' s1 s2 s3 s4 s5) Source #

type ConvertibleVia t p t' = (Convertible t p, Convertible p t') Source #

type ConvertibleVia1 t p t' = (Convertible1 t p, Convertible1 p t') Source #

type ConvertibleVia2 t p t' = (Convertible2 t p, Convertible2 p t') Source #

type ConvertibleVia3 t p t' = (Convertible3 t p, Convertible3 p t') Source #

type ConvertibleVia4 t p t' = (Convertible4 t p, Convertible4 p t') Source #

type ConvertibleVia5 t p t' = (Convertible5 t p, Convertible5 p t') Source #

convertVia :: forall p t t'. ConvertibleVia t p t' => t -> t' Source #

convertVia1 :: forall p t t'. ConvertibleVia1 t p t' => forall s1. t s1 -> t' s1 Source #

convertVia2 :: forall p t t'. ConvertibleVia2 t p t' => forall s1 s2. t s1 s2 -> t' s1 s2 Source #

convertVia3 :: forall p t t'. ConvertibleVia3 t p t' => forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3 Source #

convertVia4 :: forall p t t'. ConvertibleVia4 t p t' => forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4 Source #

convertVia5 :: forall p t t'. ConvertibleVia5 t p t' => forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5 Source #

type ConvertibleVia' t p t' = (Convertible' t p, Convertible' p t') Source #

type ConvertibleVia1' t p t' = (Convertible1' t p, Convertible1' p t') Source #

type ConvertibleVia2' t p t' = (Convertible2' t p, Convertible2' p t') Source #

type ConvertibleVia3' t p t' = (Convertible3' t p, Convertible3' p t') Source #

type ConvertibleVia4' t p t' = (Convertible4' t p, Convertible4' p t') Source #

type ConvertibleVia5' t p t' = (Convertible5' t p, Convertible5' p t') Source #

convertVia' :: forall p t t'. ConvertibleVia' t p t' => t -> t' Source #

convertVia1' :: forall p t t'. ConvertibleVia1' t p t' => forall s1. t s1 -> t' s1 Source #

convertVia2' :: forall p t t'. ConvertibleVia2' t p t' => forall s1 s2. t s1 s2 -> t' s1 s2 Source #

convertVia3' :: forall p t t'. ConvertibleVia3' t p t' => forall s1 s2 s3. t s1 s2 s3 -> t' s1 s2 s3 Source #

convertVia4' :: forall p t t'. ConvertibleVia4' t p t' => forall s1 s2 s3 s4. t s1 s2 s3 s4 -> t' s1 s2 s3 s4 Source #

convertVia5' :: forall p t t'. ConvertibleVia5' t p t' => forall s1 s2 s3 s4 s5. t s1 s2 s3 s4 s5 -> t' s1 s2 s3 s4 s5 Source #

type PartialConvertibleVia t p t' = (PartialConvertible t p, PartialConvertible p t') Source #

unsafeConvertVia :: forall p t t'. PartialConvertibleVia t p t' => t -> t' Source #