Safe Haskell | None |
---|---|
Language | Haskell2010 |
Conversion
- class Conversion a b where
- 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 #
A type-class,
which provides a non-partial conversion function from a value of type a
to a value of type b
.
Minimal complete definition
Instances
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 * -> * -> *
.