Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Conversion a b where
- convert :: a -> b
- convert1 :: Conversion (a x) (b x) => a x -> b x
- convert2 :: Conversion (a x1 x2) (b x1 x2) => a x1 x2 -> b x1 x2
Documentation
class Conversion a b where Source
A type-class,
which provides a non-partial conversion function from a value of type a
to a value of type b
.
convert1 :: Conversion (a x) (b x) => a x -> b x Source
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 Source
A utility, which helps the compiler resolve the type in case of conversion of types of kind * -> * -> *
.