Conversion

Documentation

class Conversion a b where

A type-class, which provides a non-partial conversion function from a value of type a to a value of type b.

Methods

convert :: a -> b

Instances

Conversion Double Rational

Conversion Float Double

Conversion Float Rational

Conversion Int Int64

Conversion Int Integer

Conversion Int8 Int

Conversion Int8 Int16

Conversion Int8 Int32

Conversion Int8 Int64

Conversion Int8 Integer

Conversion Int16 Int

Conversion Int16 Int32

Conversion Int16 Int64

Conversion Int16 Integer

Conversion Int32 Int

Conversion Int32 Int64

Conversion Int32 Integer

Conversion Int64 Integer

Conversion Word Integer

Conversion Word Word64

Conversion Word8 Int

Conversion Word8 Int16

Conversion Word8 Int32

Conversion Word8 Int64

Conversion Word8 Integer

Conversion Word8 Word

Conversion Word8 Word16

Conversion Word8 Word32

Conversion Word8 Word64

Conversion Word16 Int

Conversion Word16 Int32

Conversion Word16 Int64

Conversion Word16 Integer

Conversion Word16 Word32

Conversion Word16 Word64

Conversion Word32 Int64

Conversion Word32 Integer

Conversion Word32 Word

Conversion Word32 Word64

Conversion Word64 Integer

Conversion a a

Equivalent to id.

Alternative f => Conversion Int (f Word64)

Alternative f => Conversion Int (f Word32)

Alternative f => Conversion Int (f Word16)

Alternative f => Conversion Int (f Word8)

Alternative f => Conversion Int (f Word)

Alternative f => Conversion Int (f Int32)

Alternative f => Conversion Int (f Int16)

Alternative f => Conversion Int (f Int8)

Alternative f => Conversion Int8 (f Word64)

Alternative f => Conversion Int8 (f Word32)

Alternative f => Conversion Int8 (f Word16)

Alternative f => Conversion Int8 (f Word8)

Alternative f => Conversion Int8 (f Word)

Alternative f => Conversion Int16 (f Word64)

Alternative f => Conversion Int16 (f Word32)

Alternative f => Conversion Int16 (f Word16)

Alternative f => Conversion Int16 (f Word8)

Alternative f => Conversion Int16 (f Word)

Alternative f => Conversion Int16 (f Int8)

Alternative f => Conversion Int32 (f Word64)

Alternative f => Conversion Int32 (f Word32)

Alternative f => Conversion Int32 (f Word16)

Alternative f => Conversion Int32 (f Word8)

Alternative f => Conversion Int32 (f Word)

Alternative f => Conversion Int32 (f Int16)

Alternative f => Conversion Int32 (f Int8)

Alternative f => Conversion Int64 (f Word64)

Alternative f => Conversion Int64 (f Word32)

Alternative f => Conversion Int64 (f Word16)

Alternative f => Conversion Int64 (f Word8)

Alternative f => Conversion Int64 (f Word)

Alternative f => Conversion Int64 (f Int32)

Alternative f => Conversion Int64 (f Int16)

Alternative f => Conversion Int64 (f Int8)

Alternative f => Conversion Int64 (f Int)

Alternative f => Conversion Integer (f Word64)

Alternative f => Conversion Integer (f Word32)

Alternative f => Conversion Integer (f Word16)

Alternative f => Conversion Integer (f Word8)

Alternative f => Conversion Integer (f Word)

Alternative f => Conversion Integer (f Int64)

Alternative f => Conversion Integer (f Int32)

Alternative f => Conversion Integer (f Int16)

Alternative f => Conversion Integer (f Int8)

Alternative f => Conversion Integer (f Int)

Alternative f => Conversion Word (f Word32)

Alternative f => Conversion Word (f Word16)

Alternative f => Conversion Word (f Word8)

Alternative f => Conversion Word (f Int64)

Alternative f => Conversion Word (f Int32)

Alternative f => Conversion Word (f Int16)

Alternative f => Conversion Word (f Int8)

Alternative f => Conversion Word (f Int)

Alternative f => Conversion Word8 (f Int8)

Alternative f => Conversion Word16 (f Word8)

Alternative f => Conversion Word16 (f Word)

Alternative f => Conversion Word16 (f Int16)

Alternative f => Conversion Word16 (f Int8)

Alternative f => Conversion Word32 (f Word16)

Alternative f => Conversion Word32 (f Word8)

Alternative f => Conversion Word32 (f Int32)

Alternative f => Conversion Word32 (f Int16)

Alternative f => Conversion Word32 (f Int8)

Alternative f => Conversion Word32 (f Int)

Alternative f => Conversion Word64 (f Word32)

Alternative f => Conversion Word64 (f Word16)

Alternative f => Conversion Word64 (f Word8)

Alternative f => Conversion Word64 (f Word)

Alternative f => Conversion Word64 (f Int64)

Alternative f => Conversion Word64 (f Int32)

Alternative f => Conversion Word64 (f Int16)

Alternative f => Conversion Word64 (f Int8)

Alternative f => Conversion Word64 (f Int)

Conversion [a] Bool

Checks whether the list is not empty.

Conversion (Maybe a) Bool

Checks whether the value is Just.

Alternative f => Conversion [a] (f a)

Gets the head of a list.

Conversion [Maybe a] [a]

Equivalent to catMaybes.

Conversion (STM a) (IO a)

Equivalent to atomically.

Alternative f => Conversion (Maybe a) (f a)

Converts to any Alternative type (Either, list).

Conversion (Maybe a) (a -> a)

Converts into a function, which extracts the value, given a default value in the Nothing case.

Equivalent to fromMaybe.

Conversion (Either a b) Bool

Checks whether the value is Right.

Alternative f => Conversion (Either a b) (f b)

Converts to any Alternative type (Maybe, list).

convert1 :: Conversion (a x) (b x) => a x -> b x

A utility, which helps the compiler resolve the type in case of conversion of types of kind * -> *.

convert2 :: Conversion (a x1 x2) (b x1 x2) => a x1 x2 -> b x1 x2

A utility, which helps the compiler resolve the type in case of conversion of types of kind * -> * -> *.