Data.Convert.Instances.Base

Documentation

type ToBool a = Convertible a Bool

type ToBool' a = Convertible' a Bool

type FromBool a = Convertible Bool a

type FromBool' a = Convertible' Bool a

type IsBool a = (ToBool a, FromBool a)

type IsBool' a = (ToBool' a, FromBool' a)

toBool :: ToBool a => a -> Bool

toBool' :: ToBool' a => a -> Bool

fromBool :: FromBool a => Bool -> a

fromBool' :: FromBool' a => Bool -> a

asBool :: IsBool a => Iso' a Bool

asBool' :: IsBool' a => Iso' a Bool

Orphan instances

Convertible () [t]

Methods

convert :: () -> [t]

Convertible (t, t) [t]

Methods

convert :: (t, t) -> [t]

Convertible (t, t, t) [t]

Methods

convert :: (t, t, t) -> [t]

Convertible (t, t, t, t) [t]

Methods

convert :: (t, t, t, t) -> [t]

Convertible (t, t, t, t, t) [t]

Methods

convert :: (t, t, t, t, t) -> [t]

Convertible (t, t, t, t, t, t) [t]

Methods

convert :: (t, t, t, t, t, t) -> [t]

Convertible (t, t, t, t, t, t, t) [t]

Methods

convert :: (t, t, t, t, t, t, t) -> [t]

Convertible (t, t, t, t, t, t, t, t) [t]

Methods

convert :: (t, t, t, t, t, t, t, t) -> [t]

Convertible (t, t, t, t, t, t, t, t, t) [t]

Methods

convert :: (t, t, t, t, t, t, t, t, t) -> [t]