Data.Convert2.Class

Documentation

type IdConversionErr (a :: k) = ((Text "Conversion of the same type (`" :<>: ShowType a) :<>: Text "`)") :<>: Text " is disabled by default. Please use convert' if you want to enable it."

class To tgt src where

Methods

to :: src -> tgt

Instances

(TypeError (IdConversionErr src) :: Constraint) => To src src

Defined in Data.Convert2.Class

Methods

to :: src -> src

To1 tgt src => To tgt (src t)

Defined in Data.Convert2.Class

Methods

to :: src t -> tgt

class To1 tgt src where

Methods

to1 :: forall t1. src t1 -> tgt

Instances

To2 tgt src => To1 tgt (src t :: k2 -> Type)

Defined in Data.Convert2.Class

Methods

to1 :: src t t1 -> tgt

(TypeError (IdConversionErr src) :: Constraint) => To1 (src t1) (src :: k -> Type)

Defined in Data.Convert2.Class

Methods

to1 :: src t10 -> src t1

class To2 tgt src where

Methods

to2 :: forall t1 t2. src t1 t2 -> tgt

Instances

To3 tgt src => To2 tgt (src t :: k2 -> k3 -> Type)

Defined in Data.Convert2.Class

Methods

to2 :: src t t1 t2 -> tgt

(TypeError (IdConversionErr src) :: Constraint) => To2 (src t1 t2) (src :: k1 -> k2 -> Type)

Defined in Data.Convert2.Class

Methods

to2 :: src t10 t20 -> src t1 t2

class To3 tgt src where

Methods

to3 :: forall t1 t2 t3. src t1 t2 t3 -> tgt

Instances

To4 tgt src => To3 tgt (src t :: k2 -> k3 -> k4 -> Type)

Defined in Data.Convert2.Class

Methods

to3 :: src t t1 t2 t3 -> tgt

(TypeError (IdConversionErr src) :: Constraint) => To3 (src t1 t2 t3) (src :: k1 -> k2 -> k3 -> Type)

Defined in Data.Convert2.Class

Methods

to3 :: src t10 t20 t30 -> src t1 t2 t3

class To4 tgt src where

Methods

to4 :: forall t1 t2 t3 t4. src t1 t2 t3 t4 -> tgt

Instances

To5 tgt src => To4 tgt (src t :: k2 -> k3 -> k4 -> k5 -> Type)

Defined in Data.Convert2.Class

Methods

to4 :: src t t1 t2 t3 t4 -> tgt

(TypeError (IdConversionErr src) :: Constraint) => To4 (src t1 t2 t3 t4) (src :: k1 -> k2 -> k3 -> k4 -> Type)

Defined in Data.Convert2.Class

Methods

to4 :: src t10 t20 t30 t40 -> src t1 t2 t3 t4

class To5 tgt src where

Methods

to5 :: forall t1 t2 t3 t4 t5. src t1 t2 t3 t4 t5 -> tgt

Instances

(TypeError (IdConversionErr src) :: Constraint) => To5 (src t1 t2 t3 t4 t5) (src :: k1 -> k2 -> k3 -> k4 -> k5 -> Type)

Defined in Data.Convert2.Class

Methods

to5 :: src t10 t20 t30 t40 t50 -> src t1 t2 t3 t4 t5

class To' tgt src where

Methods

to' :: src -> tgt

Instances

To a b => To' a b

Defined in Data.Convert2.Class

Methods

to' :: b -> a

To' a a

Defined in Data.Convert2.Class

Methods

to' :: a -> a

class To1' tgt src where

Methods

to1' :: forall t1. src t1 -> tgt

class To2' tgt src where

Methods

to2' :: forall t1 t2. src t1 t2 -> tgt

class To3' tgt src where

Methods

to3' :: forall t1 t2 t3. src t1 t2 t3 -> tgt

class To4' tgt src where

Methods

to4' :: forall t1 t2 t3 t4. src t1 t2 t3 t4 -> tgt

class To5' tgt src where

Methods

to5' :: forall t1 t2 t3 t4 t5. src t1 t2 t3 t4 t5 -> tgt

class From tgt src where

Methods

from :: tgt -> src

Instances

(TypeError (IdConversionErr src) :: Constraint) => From src src

Defined in Data.Convert2.Class

Methods

from :: src -> src

From1 tgt src => From tgt (src t)

Defined in Data.Convert2.Class

Methods

from :: tgt -> src t

class From1 tgt src where

Methods

from1 :: forall t1. tgt -> src t1

Instances

From2 tgt src => From1 tgt (src t :: k2 -> Type)

Defined in Data.Convert2.Class

Methods

from1 :: tgt -> src t t1

(TypeError (IdConversionErr src) :: Constraint) => From1 (src t1) (src :: k -> Type)

Defined in Data.Convert2.Class

Methods

from1 :: src t1 -> src t10

class From2 tgt src where

Methods

from2 :: forall t1 t2. tgt -> src t1 t2

Instances

From3 tgt src => From2 tgt (src t :: k2 -> k3 -> Type)

Defined in Data.Convert2.Class

Methods

from2 :: tgt -> src t t1 t2

(TypeError (IdConversionErr src) :: Constraint) => From2 (src t1 t2) (src :: k1 -> k2 -> Type)

Defined in Data.Convert2.Class

Methods

from2 :: src t1 t2 -> src t10 t20

class From3 tgt src where

Methods

from3 :: forall t1 t2 t3. tgt -> src t1 t2 t3

Instances

From4 tgt src => From3 tgt (src t :: k2 -> k3 -> k4 -> Type)

Defined in Data.Convert2.Class

Methods

from3 :: tgt -> src t t1 t2 t3

(TypeError (IdConversionErr src) :: Constraint) => From3 (src t1 t2 t3) (src :: k1 -> k2 -> k3 -> Type)

Defined in Data.Convert2.Class

Methods

from3 :: src t1 t2 t3 -> src t10 t20 t30

class From4 tgt src where

Methods

from4 :: forall t1 t2 t3 t4. tgt -> src t1 t2 t3 t4

Instances

From5 tgt src => From4 tgt (src t :: k2 -> k3 -> k4 -> k5 -> Type)

Defined in Data.Convert2.Class

Methods

from4 :: tgt -> src t t1 t2 t3 t4

(TypeError (IdConversionErr src) :: Constraint) => From4 (src t1 t2 t3 t4) (src :: k1 -> k2 -> k3 -> k4 -> Type)

Defined in Data.Convert2.Class

Methods

from4 :: src t1 t2 t3 t4 -> src t10 t20 t30 t40

class From5 tgt src where

Methods

from5 :: forall t1 t2 t3 t4 t5. tgt -> src t1 t2 t3 t4 t5

Instances

(TypeError (IdConversionErr src) :: Constraint) => From5 (src t1 t2 t3 t4 t5) (src :: k1 -> k2 -> k3 -> k4 -> k5 -> Type)

Defined in Data.Convert2.Class

Methods

from5 :: src t1 t2 t3 t4 t5 -> src t10 t20 t30 t40 t50

class From' tgt src where

Methods

from' :: tgt -> src

Instances

From a b => From' a b

Defined in Data.Convert2.Class

Methods

from' :: a -> b

From' a a

Defined in Data.Convert2.Class

Methods

from' :: a -> a

class From1' tgt src where

Methods

from1' :: forall t1. tgt -> src t1

class From2' tgt src where

Methods

from2' :: forall t1 t2. tgt -> src t1 t2

class From3' tgt src where

Methods

from3' :: forall t1 t2 t3. tgt -> src t1 t2 t3

class From4' tgt src where

Methods

from4' :: forall t1 t2 t3 t4. tgt -> src t1 t2 t3 t4

class From5' tgt src where

Methods

from5' :: forall t1 t2 t3 t4 t5. tgt -> src t1 t2 t3 t4 t5

class UnsafeTo tgt src where

Methods

unsafeTo :: src -> tgt

Instances

(TypeError (IdConversionErr src) :: Constraint) => UnsafeTo src src

Defined in Data.Convert2.Class

Methods

unsafeTo :: src -> src

UnsafeTo1 tgt src => UnsafeTo tgt (src t)

Defined in Data.Convert2.Class

Methods

unsafeTo :: src t -> tgt

class UnsafeTo1 tgt src where

Methods

unsafeTo1 :: forall t1. src t1 -> tgt

Instances

UnsafeTo2 tgt src => UnsafeTo1 tgt (src t :: k2 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeTo1 :: src t t1 -> tgt

(TypeError (IdConversionErr src) :: Constraint) => UnsafeTo1 (src t1) (src :: k -> Type)

Defined in Data.Convert2.Class

Methods

unsafeTo1 :: src t10 -> src t1

class UnsafeTo2 tgt src where

Methods

unsafeTo2 :: forall t1 t2. src t1 t2 -> tgt

Instances

UnsafeTo3 tgt src => UnsafeTo2 tgt (src t :: k2 -> k3 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeTo2 :: src t t1 t2 -> tgt

(TypeError (IdConversionErr src) :: Constraint) => UnsafeTo2 (src t1 t2) (src :: k1 -> k2 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeTo2 :: src t10 t20 -> src t1 t2

class UnsafeTo3 tgt src where

Methods

unsafeTo3 :: forall t1 t2 t3. src t1 t2 t3 -> tgt

Instances

UnsafeTo4 tgt src => UnsafeTo3 tgt (src t :: k2 -> k3 -> k4 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeTo3 :: src t t1 t2 t3 -> tgt

(TypeError (IdConversionErr src) :: Constraint) => UnsafeTo3 (src t1 t2 t3) (src :: k1 -> k2 -> k3 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeTo3 :: src t10 t20 t30 -> src t1 t2 t3

class UnsafeTo4 tgt src where

Methods

unsafeTo4 :: forall t1 t2 t3 t4. src t1 t2 t3 t4 -> tgt

Instances

UnsafeTo5 tgt src => UnsafeTo4 tgt (src t :: k2 -> k3 -> k4 -> k5 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeTo4 :: src t t1 t2 t3 t4 -> tgt

(TypeError (IdConversionErr src) :: Constraint) => UnsafeTo4 (src t1 t2 t3 t4) (src :: k1 -> k2 -> k3 -> k4 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeTo4 :: src t10 t20 t30 t40 -> src t1 t2 t3 t4

class UnsafeTo5 tgt src where

Methods

unsafeTo5 :: forall t1 t2 t3 t4 t5. src t1 t2 t3 t4 t5 -> tgt

Instances

(TypeError (IdConversionErr src) :: Constraint) => UnsafeTo5 (src t1 t2 t3 t4 t5) (src :: k1 -> k2 -> k3 -> k4 -> k5 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeTo5 :: src t10 t20 t30 t40 t50 -> src t1 t2 t3 t4 t5

class UnsafeTo' tgt src where

Methods

unsafeTo' :: src -> tgt

class UnsafeTo1' tgt src where

Methods

unsafeTo1' :: forall t1. src t1 -> tgt

class UnsafeTo2' tgt src where

Methods

unsafeTo2' :: forall t1 t2. src t1 t2 -> tgt

class UnsafeTo3' tgt src where

Methods

unsafeTo3' :: forall t1 t2 t3. src t1 t2 t3 -> tgt

class UnsafeTo4' tgt src where

Methods

unsafeTo4' :: forall t1 t2 t3 t4. src t1 t2 t3 t4 -> tgt

class UnsafeTo5' tgt src where

Methods

unsafeTo5' :: forall t1 t2 t3 t4 t5. src t1 t2 t3 t4 t5 -> tgt

class UnsafeFrom tgt src where

Methods

unsafeFrom :: tgt -> src

Instances

(TypeError (IdConversionErr src) :: Constraint) => UnsafeFrom src src

Defined in Data.Convert2.Class

Methods

unsafeFrom :: src -> src

UnsafeFrom1 tgt src => UnsafeFrom tgt (src t)

Defined in Data.Convert2.Class

Methods

unsafeFrom :: tgt -> src t

class UnsafeFrom1 tgt src where

Methods

unsafeFrom1 :: forall t1. tgt -> src t1

Instances

UnsafeFrom2 tgt src => UnsafeFrom1 tgt (src t :: k2 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeFrom1 :: tgt -> src t t1

(TypeError (IdConversionErr src) :: Constraint) => UnsafeFrom1 (src t1) (src :: k -> Type)

Defined in Data.Convert2.Class

Methods

unsafeFrom1 :: src t1 -> src t10

class UnsafeFrom2 tgt src where

Methods

unsafeFrom2 :: forall t1 t2. tgt -> src t1 t2

Instances

UnsafeFrom3 tgt src => UnsafeFrom2 tgt (src t :: k2 -> k3 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeFrom2 :: tgt -> src t t1 t2

(TypeError (IdConversionErr src) :: Constraint) => UnsafeFrom2 (src t1 t2) (src :: k1 -> k2 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeFrom2 :: src t1 t2 -> src t10 t20

class UnsafeFrom3 tgt src where

Methods

unsafeFrom3 :: forall t1 t2 t3. tgt -> src t1 t2 t3

Instances

UnsafeFrom4 tgt src => UnsafeFrom3 tgt (src t :: k2 -> k3 -> k4 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeFrom3 :: tgt -> src t t1 t2 t3

(TypeError (IdConversionErr src) :: Constraint) => UnsafeFrom3 (src t1 t2 t3) (src :: k1 -> k2 -> k3 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeFrom3 :: src t1 t2 t3 -> src t10 t20 t30

class UnsafeFrom4 tgt src where

Methods

unsafeFrom4 :: forall t1 t2 t3 t4. tgt -> src t1 t2 t3 t4

Instances

UnsafeFrom5 tgt src => UnsafeFrom4 tgt (src t :: k2 -> k3 -> k4 -> k5 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeFrom4 :: tgt -> src t t1 t2 t3 t4

(TypeError (IdConversionErr src) :: Constraint) => UnsafeFrom4 (src t1 t2 t3 t4) (src :: k1 -> k2 -> k3 -> k4 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeFrom4 :: src t1 t2 t3 t4 -> src t10 t20 t30 t40

class UnsafeFrom5 tgt src where

Methods

unsafeFrom5 :: forall t1 t2 t3 t4 t5. tgt -> src t1 t2 t3 t4 t5

Instances

(TypeError (IdConversionErr src) :: Constraint) => UnsafeFrom5 (src t1 t2 t3 t4 t5) (src :: k1 -> k2 -> k3 -> k4 -> k5 -> Type)

Defined in Data.Convert2.Class

Methods

unsafeFrom5 :: src t1 t2 t3 t4 t5 -> src t10 t20 t30 t40 t50

class UnsafeFrom' tgt src where

Methods

unsafeFrom' :: tgt -> src

class UnsafeFrom1' tgt src where

Methods

unsafeFrom1' :: forall t1. tgt -> src t1

class UnsafeFrom2' tgt src where

Methods

unsafeFrom2' :: forall t1 t2. tgt -> src t1 t2

class UnsafeFrom3' tgt src where

Methods

unsafeFrom3' :: forall t1 t2 t3. tgt -> src t1 t2 t3

class UnsafeFrom4' tgt src where

Methods

unsafeFrom4' :: forall t1 t2 t3 t4. tgt -> src t1 t2 t3 t4

class UnsafeFrom5' tgt src where

Methods

unsafeFrom5' :: forall t1 t2 t3 t4 t5. tgt -> src t1 t2 t3 t4 t5

convert :: forall tgt src. To tgt src => src -> tgt

convert1 :: forall tgt src t1. To1 tgt src => src t1 -> tgt

convert2 :: forall tgt src t1 t2. To2 tgt src => src t1 t2 -> tgt

unsafeConvert :: forall tgt src. UnsafeTo tgt src => src -> tgt

unsafeConvert1 :: forall tgt src t1. UnsafeTo1 tgt src => src t1 -> tgt

unsafeConvert2 :: forall tgt src t1 t2. UnsafeTo2 tgt src => src t1 t2 -> tgt

convert' :: forall tgt src. To' tgt src => src -> tgt

convert1' :: forall tgt src t1. To1' tgt src => src t1 -> tgt

convert2' :: forall tgt src t1 t2. To2' tgt src => src t1 t2 -> tgt

unsafeConvert' :: forall tgt src. UnsafeTo' tgt src => src -> tgt

unsafeConvert1' :: forall tgt src t1. UnsafeTo1' tgt src => src t1 -> tgt

unsafeConvert2' :: forall tgt src t1 t2. UnsafeTo2' tgt src => src t1 t2 -> tgt

type Bi tgt src = (To tgt src, From tgt src)

type Bi1 tgt src = (To1 tgt src, From1 tgt src)

type Bi2 tgt src = (To2 tgt src, From2 tgt src)

type Bi3 tgt src = (To3 tgt src, From3 tgt src)

type Bi4 tgt src = (To4 tgt src, From4 tgt src)

type Bi5 tgt src = (To5 tgt src, From5 tgt src)

type Bi' tgt src = (To' tgt src, From' tgt src)

type Bi1' tgt src = (To1' tgt src, From1' tgt src)

type Bi2' tgt src = (To2' tgt src, From2' tgt src)

type Bi3' tgt src = (To3' tgt src, From3' tgt src)

type Bi4' tgt src = (To4' tgt src, From4' tgt src)

type Bi5' tgt src = (To5' tgt src, From5' tgt src)