Data.Convert.Base

Documentation

class MaybeConvertible a e b | a b -> e where

Methods

tryConvert :: a -> Either e b

class MaybeConvertible' a e b | b -> a e where

Methods

tryConvert' :: a -> Either e b

class Convertible a b where

Methods

convert :: a -> b

Instances

Convertible a a

Convertible a b => Convertible (Maybe a) (Maybe b)

Convertible a b => Convertible (Bounds a) (Bounds b)

Convertible a b => Convertible (Value a) (Value b)

class Convertible' a b | b -> a where

Methods

convert' :: a -> b

class Castable a b where

Methods

cast :: a -> b

Instances

Convertible a b => Castable a b

type IsoMaybeConvertible a e b = (MaybeConvertible a e b, MaybeConvertible b e a)

type IsoMaybeConvertible' a e b = (MaybeConvertible' a e b, MaybeConvertible' b e a)

type IsoConvertible a b = (Convertible a b, Convertible b a)

type IsoConvertible' a b = (Convertible' a b, Convertible' b a)

type IsoCastable a b = (Castable a b, Castable b a)

class ConvertibleM m n where

Methods

convertM :: m (t1 :: k) -> n (t1 :: k)

class ConvertibleM2 m n where

Methods

convertM2 :: m (t1 :: k) (t2 :: k) -> n (t1 :: k) (t2 :: k)

class ConvertibleM3 m n where

Methods

convertM3 :: m (t1 :: k) (t2 :: k) (t3 :: k) -> n (t1 :: k) (t2 :: k) (t3 :: k)

class ConvertibleM4 m n where

Methods

convertM4 :: m (t1 :: k) (t2 :: k) (t3 :: k) (t4 :: k) -> n (t1 :: k) (t2 :: k) (t3 :: k) (t4 :: k)

class ConvertibleM5 m n where

Methods

convertM5 :: m (t1 :: k) (t2 :: k) (t3 :: k) (t4 :: k) (t5 :: k) -> n (t1 :: k) (t2 :: k) (t3 :: k) (t4 :: k) (t5 :: k)

unsafeConvert :: Show e => MaybeConvertible a e b => a -> b

casted :: IsoCastable a b => Iso' a b

converted :: IsoConvertible a b => Iso' a b