Data.GenericLens.Internal

The library internals are exposed through this module. Please keep in mind that everything here is subject to change irrespective of the the version numbers.

Documentation

type Indexed t = Indexed' t 0

type family Infer (s :: *) (a' :: *) (b :: *) :: * where ...

Equations

Infer (s a) a' b = ReplaceArgs (s a) (Unify a' b)

Infer s _ _ = s

data PTag

Constructors

PTag

type family P :: Nat -> k -> PTag -> k

type family LookupParam (a :: k) (p :: Nat) :: Maybe Nat where ...

Equations

LookupParam (param (n :: Nat)) m = Nothing

LookupParam (a (_ (m :: Nat))) n = IfEq m n (Just 0) (MaybeAdd (LookupParam a n) 1)

LookupParam (a _) n = MaybeAdd (LookupParam a n) 1

LookupParam a _ = Nothing

type family ArgAt (t :: k) (n :: Nat) :: j where ...

Equations

ArgAt (t a) 0 = a

ArgAt (t a) n = ArgAt t (n - 1)

type family ArgCount (t :: k) :: Nat where ...

Equations

ArgCount (f a) = 1 + ArgCount f

ArgCount a = 0

class UnifyHead (a :: k) (b :: k)

Ensure that the types a and b are both applications of the same constructor. The arguments may be different.

Instances

a ~ b => UnifyHead (a :: k) (b :: k)

Defined in Data.Generics.Internal.Families.Changing

(gb ~ g b, UnifyHead f g) => UnifyHead (f a :: k2) (gb :: k2)

Defined in Data.Generics.Internal.Families.Changing

type family HasTotalFieldP (field :: Symbol) f :: Maybe Type where ...

Equations

HasTotalFieldP field (S1 (MetaSel (Just field) _ _ _) (Rec0 t)) = Just t

HasTotalFieldP field (l :*: r) = Alt (HasTotalFieldP field l) (HasTotalFieldP field r)

HasTotalFieldP field (l :+: r) = Both (HasTotalFieldP field l) (HasTotalFieldP field r)

HasTotalFieldP field (S1 _ _) = Nothing

HasTotalFieldP field (C1 _ f) = HasTotalFieldP field f

HasTotalFieldP field (D1 _ f) = HasTotalFieldP field f

HasTotalFieldP field (K1 _ _) = Nothing

HasTotalFieldP field U1 = Nothing

HasTotalFieldP field V1 = Nothing

type family HasTotalTypeP (typ :: Type) f :: Maybe Type where ...

Equations

HasTotalTypeP typ (S1 _ (K1 _ typ)) = Just typ

HasTotalTypeP typ (l :*: r) = Alt (HasTotalTypeP typ l) (HasTotalTypeP typ r)

HasTotalTypeP typ (l :+: r) = Both (HasTotalTypeP typ l) (HasTotalTypeP typ r)

HasTotalTypeP typ (S1 _ _) = Nothing

HasTotalTypeP typ (C1 _ f) = HasTotalTypeP typ f

HasTotalTypeP typ (D1 _ f) = HasTotalTypeP typ f

HasTotalTypeP typ (K1 _ _) = Nothing

HasTotalTypeP typ U1 = Nothing

HasTotalTypeP typ V1 = Nothing

type family HasTotalPositionP (pos :: Nat) f :: Maybe Type where ...

Equations

HasTotalPositionP pos (S1 _ (K1 (Pos pos) t)) = Just t

HasTotalPositionP pos (l :*: r) = Alt (HasTotalPositionP pos l) (HasTotalPositionP pos r)

HasTotalPositionP pos (l :+: r) = Both (HasTotalPositionP pos l) (HasTotalPositionP pos r)

HasTotalPositionP pos (S1 _ _) = Nothing

HasTotalPositionP pos (C1 _ f) = HasTotalPositionP pos f

HasTotalPositionP pos (D1 _ f) = HasTotalPositionP pos f

HasTotalPositionP pos (K1 _ _) = Nothing

HasTotalPositionP pos U1 = Nothing

HasTotalPositionP pos V1 = Nothing

data Pos (p :: Nat)

type family HasPartialTypeP a f :: Bool where ...

Equations

HasPartialTypeP t (l :+: r) = HasPartialTypeP t l || HasPartialTypeP t r

HasPartialTypeP t (C1 m f) = t == GTypes f

HasPartialTypeP t (M1 _ _ f) = HasPartialTypeP t f

HasPartialTypeP t _ = False

type family HasCtorP (ctor :: Symbol) f :: Bool where ...

Equations

HasCtorP ctor (C1 (MetaCons ctor _ _) _) = True

HasCtorP ctor (f :+: g) = HasCtorP ctor f || HasCtorP ctor g

HasCtorP ctor (D1 m f) = HasCtorP ctor f

HasCtorP ctor _ = False

type family GTypes (rep :: Type -> Type) :: [Type] where ...

Equations

GTypes (l :*: r) = GTypes l ++ GTypes r

GTypes (K1 _ a) = '[a]

GTypes (M1 _ m a) = GTypes a

GTypes U1 = '[]

type family CollectTotalType t f :: TypeStat where ...

Equations

CollectTotalType t (C1 (MetaCons ctor _ _) f) = AddToStat ctor (CountType t f) EmptyStat

CollectTotalType t (M1 _ _ r) = CollectTotalType t r

CollectTotalType t (l :+: r) = MergeStat (CollectTotalType t l) (CollectTotalType t r)

type family CollectPartialType t f :: [Symbol] where ...

Equations

CollectPartialType t (l :+: r) = CollectPartialType t l ++ CollectPartialType t r

CollectPartialType t (C1 (MetaCons ctor _ _) f) = If (t == GTypes f) '[ctor] '[]

CollectPartialType t (D1 _ f) = CollectPartialType t f

type family CollectField t f :: TypeStat where ...

Equations

CollectField t (C1 (MetaCons ctor _ _) f) = AddToStat ctor (CountField t f) EmptyStat

CollectField t (M1 _ _ r) = CollectField t r

CollectField t (l :+: r) = MergeStat (CollectField t l) (CollectField t r)

type family CollectFieldsOrdered (r :: * -> *) :: [Symbol] where ...

Equations

CollectFieldsOrdered (l :*: r) = Merge (CollectFieldsOrdered l) (CollectFieldsOrdered r)

CollectFieldsOrdered (S1 (MetaSel (Just name) _ _ _) _) = '[name]

CollectFieldsOrdered (M1 _ m a) = CollectFieldsOrdered a

CollectFieldsOrdered _ = '[]

data TypeStat

Constructors

TypeStat

Fields

• _containsNone :: [Symbol]
• _containsMultiple :: [Symbol]
• _containsOne :: [Symbol]

type family (xs :: [Symbol]) \\ (ys :: [Symbol]) :: [Symbol] where ... infixr 5

Equations

xs \\ '[] = xs

'[] \\ xs = '[]

(x ': xs) \\ (y ': ys) = Sub' (CmpSymbol x y) x y xs ys

type family ShowSymbols (ctors :: [Symbol]) :: ErrorMessage where ...

Equations

ShowSymbols '[] = Text ""

ShowSymbols (c ': cs) = (Text "\8226 " :<>: Text c) :$$: ShowSymbols cs

type Indexed t = Indexed' t 0

type family Infer (s :: *) (a' :: *) (b :: *) :: * where ...

Equations

Infer (s a) a' b = ReplaceArgs (s a) (Unify a' b)

Infer s _ _ = s

data PTag

Constructors

PTag

type family P :: Nat -> k -> PTag -> k

type family LookupParam (a :: k) (p :: Nat) :: Maybe Nat where ...

Equations

LookupParam (param (n :: Nat)) m = Nothing

LookupParam (a (_ (m :: Nat))) n = IfEq m n (Just 0) (MaybeAdd (LookupParam a n) 1)

LookupParam (a _) n = MaybeAdd (LookupParam a n) 1

LookupParam a _ = Nothing

type family ArgAt (t :: k) (n :: Nat) :: j where ...

Equations

ArgAt (t a) 0 = a

ArgAt (t a) n = ArgAt t (n - 1)

type family ArgCount (t :: k) :: Nat where ...

Equations

ArgCount (f a) = 1 + ArgCount f

ArgCount a = 0

class UnifyHead (a :: k) (b :: k)

Ensure that the types a and b are both applications of the same constructor. The arguments may be different.

Instances

a ~ b => UnifyHead (a :: k) (b :: k)

Defined in Data.Generics.Internal.Families.Changing

(gb ~ g b, UnifyHead f g) => UnifyHead (f a :: k2) (gb :: k2)

Defined in Data.Generics.Internal.Families.Changing

type family CollectTotalType t f :: TypeStat where ...

Equations

CollectTotalType t (C1 (MetaCons ctor _ _) f) = AddToStat ctor (CountType t f) EmptyStat

CollectTotalType t (M1 _ _ r) = CollectTotalType t r

CollectTotalType t (l :+: r) = MergeStat (CollectTotalType t l) (CollectTotalType t r)

type family CollectPartialType t f :: [Symbol] where ...

Equations

CollectPartialType t (l :+: r) = CollectPartialType t l ++ CollectPartialType t r

CollectPartialType t (C1 (MetaCons ctor _ _) f) = If (t == GTypes f) '[ctor] '[]

CollectPartialType t (D1 _ f) = CollectPartialType t f

type family CollectField t f :: TypeStat where ...

Equations

CollectField t (C1 (MetaCons ctor _ _) f) = AddToStat ctor (CountField t f) EmptyStat

CollectField t (M1 _ _ r) = CollectField t r

CollectField t (l :+: r) = MergeStat (CollectField t l) (CollectField t r)

type family CollectFieldsOrdered (r :: * -> *) :: [Symbol] where ...

Equations

CollectFieldsOrdered (l :*: r) = Merge (CollectFieldsOrdered l) (CollectFieldsOrdered r)

CollectFieldsOrdered (S1 (MetaSel (Just name) _ _ _) _) = '[name]

CollectFieldsOrdered (M1 _ m a) = CollectFieldsOrdered a

CollectFieldsOrdered _ = '[]

data TypeStat

Constructors

TypeStat

Fields

• _containsNone :: [Symbol]
• _containsMultiple :: [Symbol]
• _containsOne :: [Symbol]

type family (xs :: [Symbol]) \\ (ys :: [Symbol]) :: [Symbol] where ... infixr 5

Equations

xs \\ '[] = xs

'[] \\ xs = '[]

(x ': xs) \\ (y ': ys) = Sub' (CmpSymbol x y) x y xs ys

type family HasTotalFieldP (field :: Symbol) f :: Maybe Type where ...

Equations

HasTotalFieldP field (S1 (MetaSel (Just field) _ _ _) (Rec0 t)) = Just t

HasTotalFieldP field (l :*: r) = Alt (HasTotalFieldP field l) (HasTotalFieldP field r)

HasTotalFieldP field (l :+: r) = Both (HasTotalFieldP field l) (HasTotalFieldP field r)

HasTotalFieldP field (S1 _ _) = Nothing

HasTotalFieldP field (C1 _ f) = HasTotalFieldP field f

HasTotalFieldP field (D1 _ f) = HasTotalFieldP field f

HasTotalFieldP field (K1 _ _) = Nothing

HasTotalFieldP field U1 = Nothing

HasTotalFieldP field V1 = Nothing

type family HasTotalTypeP (typ :: Type) f :: Maybe Type where ...

Equations

HasTotalTypeP typ (S1 _ (K1 _ typ)) = Just typ

HasTotalTypeP typ (l :*: r) = Alt (HasTotalTypeP typ l) (HasTotalTypeP typ r)

HasTotalTypeP typ (l :+: r) = Both (HasTotalTypeP typ l) (HasTotalTypeP typ r)

HasTotalTypeP typ (S1 _ _) = Nothing

HasTotalTypeP typ (C1 _ f) = HasTotalTypeP typ f

HasTotalTypeP typ (D1 _ f) = HasTotalTypeP typ f

HasTotalTypeP typ (K1 _ _) = Nothing

HasTotalTypeP typ U1 = Nothing

HasTotalTypeP typ V1 = Nothing

type family HasTotalPositionP (pos :: Nat) f :: Maybe Type where ...

Equations

HasTotalPositionP pos (S1 _ (K1 (Pos pos) t)) = Just t

HasTotalPositionP pos (l :*: r) = Alt (HasTotalPositionP pos l) (HasTotalPositionP pos r)

HasTotalPositionP pos (l :+: r) = Both (HasTotalPositionP pos l) (HasTotalPositionP pos r)

HasTotalPositionP pos (S1 _ _) = Nothing

HasTotalPositionP pos (C1 _ f) = HasTotalPositionP pos f

HasTotalPositionP pos (D1 _ f) = HasTotalPositionP pos f

HasTotalPositionP pos (K1 _ _) = Nothing

HasTotalPositionP pos U1 = Nothing

HasTotalPositionP pos V1 = Nothing

data Pos (p :: Nat)

type family HasPartialTypeP a f :: Bool where ...

Equations

HasPartialTypeP t (l :+: r) = HasPartialTypeP t l || HasPartialTypeP t r

HasPartialTypeP t (C1 m f) = t == GTypes f

HasPartialTypeP t (M1 _ _ f) = HasPartialTypeP t f

HasPartialTypeP t _ = False

type family HasCtorP (ctor :: Symbol) f :: Bool where ...

Equations

HasCtorP ctor (C1 (MetaCons ctor _ _) _) = True

HasCtorP ctor (f :+: g) = HasCtorP ctor f || HasCtorP ctor g

HasCtorP ctor (D1 m f) = HasCtorP ctor f

HasCtorP ctor _ = False

type family GTypes (rep :: Type -> Type) :: [Type] where ...

Equations

GTypes (l :*: r) = GTypes l ++ GTypes r

GTypes (K1 _ a) = '[a]

GTypes (M1 _ m a) = GTypes a

GTypes U1 = '[]

data Void

Instances

Subtype a Void

Defined in Data.Generics.Product.Subtype

Methods

super :: Lens Void Void a a

upcast :: Void -> a

smash :: a -> Void -> Void

Subtype Void a

Defined in Data.Generics.Product.Subtype

Methods

super :: Lens a a Void Void

upcast :: a -> Void

smash :: Void -> a -> a

HasType a Void

Defined in Data.Generics.Product.Typed

Methods

typed :: Lens Void Void a a

getTyped :: Void -> a

setTyped :: a -> Void -> Void

AsSubtype a Void

Defined in Data.Generics.Sum.Subtype

Methods

_Sub :: Prism' Void a

injectSub :: a -> Void

projectSub :: Void -> Maybe a

AsSubtype Void a

Defined in Data.Generics.Sum.Subtype

Methods

_Sub :: Prism' a Void

injectSub :: Void -> a

projectSub :: a -> Maybe Void

AsType a Void

Defined in Data.Generics.Sum.Typed

Methods

_Typed :: Prism' Void a

injectTyped :: a -> Void

projectTyped :: Void -> Maybe a

AsType Void a

Defined in Data.Generics.Sum.Typed

Methods

_Typed :: Prism' a Void

injectTyped :: Void -> a

projectTyped :: a -> Maybe Void

data Void1 a

Instances

HasField_ f (Void1 a) (Void1 b) a b

Defined in Data.Generics.Product.Fields

Methods

field_ :: Lens (Void1 a) (Void1 b) a b

HasField f (Void1 a) (Void1 b) a b

Defined in Data.Generics.Product.Fields

Methods

field :: Lens (Void1 a) (Void1 b) a b

HasParam p (Void1 a) (Void1 b) a b

Defined in Data.Generics.Product.Param

Methods

param :: Applicative g => (a -> g b) -> Void1 a -> g (Void1 b)

HasPosition_ f (Void1 a) (Void1 b) a b

Defined in Data.Generics.Product.Positions

Methods

position_ :: Lens (Void1 a) (Void1 b) a b

HasPosition f (Void1 a) (Void1 b) a b

Defined in Data.Generics.Product.Positions

Methods

position :: Lens (Void1 a) (Void1 b) a b

AsConstructor_ ctor (Void1 a) (Void1 b) a b

Defined in Data.Generics.Sum.Constructors

Methods

_Ctor_ :: Prism (Void1 a) (Void1 b) a b

AsConstructor ctor (Void1 a) (Void1 b) a b

Defined in Data.Generics.Sum.Constructors

Methods

_Ctor :: Prism (Void1 a) (Void1 b) a b

data Void2 a b

class GAsConstructor (ctor :: Symbol) s t a b | ctor s -> a, ctor t -> b where

As AsConstructor but over generic representations as defined by GHC.Generics.

Methods

_GCtor :: Prism (s x) (t x) a b

Instances

GSumAsConstructor ctor (HasCtorP ctor l) l r l' r' a b => GAsConstructor ctor (l :+: r) (l' :+: r') a b

Defined in Data.Generics.Sum.Internal.Constructors

Methods

_GCtor :: Prism ((l :+: r) x) ((l' :+: r') x) a b

GAsConstructor ctor f f' a b => GAsConstructor ctor (M1 D meta f) (M1 D meta f') a b

Defined in Data.Generics.Sum.Internal.Constructors

Methods

_GCtor :: Prism (M1 D meta f x) (M1 D meta f' x) a b

(GIsList f f as as, GIsList g g bs bs, ListTuple a as, ListTuple b bs) => GAsConstructor ctor (M1 C (MetaCons ctor fixity fields) f) (M1 C (MetaCons ctor fixity fields) g) a b

Defined in Data.Generics.Sum.Internal.Constructors

Methods

_GCtor :: Prism (M1 C (MetaCons ctor fixity fields) f x) (M1 C (MetaCons ctor fixity fields) g x) a b

type GAsConstructor' ctor s a = GAsConstructor ctor s s a a

class GAsType (f :: Type -> Type) (as :: [Type]) where

As AsType but over generic representations as defined by GHC.Generics.

Methods

_GTyped :: Prism (f x) (f x) (HList as) (HList as)

Instances

GSumAsType (HasPartialTypeP a l) l r a => GAsType (l :+: r) a

Defined in Data.Generics.Sum.Internal.Typed

Methods

_GTyped :: Prism ((l :+: r) x) ((l :+: r) x) (HList a) (HList a)

GAsType f a => GAsType (M1 D meta f) a

Defined in Data.Generics.Sum.Internal.Typed

Methods

_GTyped :: Prism (M1 D meta f x) (M1 D meta f x) (HList a) (HList a)

GIsList f f as as => GAsType (M1 C meta f) as

Defined in Data.Generics.Sum.Internal.Typed

Methods

_GTyped :: Prism (M1 C meta f x) (M1 C meta f x) (HList as) (HList as)

class GAsSubtype (subf :: Type -> Type) (supf :: Type -> Type) where

As AsSubtype but over generic representations as defined by GHC.Generics.

Methods

_GSub :: Prism' (supf x) (subf x)

Instances

(GSplash sub sup, GDowncast sub sup) => GAsSubtype sub sup

Defined in Data.Generics.Sum.Internal.Subtype

Methods

_GSub :: Prism' (sup x) (sub x)

type (<?) x y = Not (y <=? x) infixl 4

type family Size f :: Nat where ...

Equations

Size (l :*: r) = Size l + Size r

Size (l :+: r) = Min (Size l) (Size r)

Size (D1 meta f) = Size f

Size (C1 meta f) = Size f

Size f = 1

type family CRep (a :: Type) :: G where ...

In-order labeling of the generic tree with the field positions

We replace the (K1 R a) nodes with (K1 (Pos n) a), where n is the position of the field in question in the data type. This is convenient, because we can reuse all the existing functions as long as they are polymorphic in the first parameter of K1.

Equations

CRep rep = Fst (Traverse (Rep rep) 1)

class GLens (pred :: Pred) (s :: Type -> Type) (t :: Type -> Type) a b | s pred -> a, t pred -> b where

Methods

glens :: Lens (s x) (t x) a b

Instances

GLens pred (K1 r a :: Type -> Type) (K1 r b :: Type -> Type) a b

Defined in Data.Generics.Product.Internal.GLens

Methods

glens :: Lens (K1 r a x) (K1 r b x) a b

(GLens pred l l' a b, GLens pred r r' a b) => GLens pred (l :+: r) (l' :+: r') a b

Defined in Data.Generics.Product.Internal.GLens

Methods

glens :: Lens ((l :+: r) x) ((l' :+: r') x) a b

GProductLens (Eval pred l) pred l r l' r' a b => GLens pred (l :*: r) (l' :*: r') a b

Defined in Data.Generics.Product.Internal.GLens

Methods

glens :: Lens ((l :*: r) x) ((l' :*: r') x) a b

GLens pred f g a b => GLens pred (M1 m meta f) (M1 m meta g) a b

Defined in Data.Generics.Product.Internal.GLens

Methods

glens :: Lens (M1 m meta f x) (M1 m meta g x) a b

type GLens' pred s a = GLens pred s s a a

type TyFun a b = a -> b -> Type

type family Eval (f :: TyFun a b) (x :: a) :: b

class GUpcast (sub :: Type -> Type) (sup :: Type -> Type) where

Methods

gupcast :: sub p -> sup p

Instances

GUpcast sub sup => GUpcast sub (D1 c sup)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gupcast :: sub p -> D1 c sup p

GUpcast sub sup => GUpcast sub (C1 c sup)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gupcast :: sub p -> C1 c sup p

GLens' (HasTotalFieldPSym field) sub t => GUpcast sub (S1 (MetaSel (Just field) p f b) (Rec0 t))

Defined in Data.Generics.Product.Internal.Subtype

Methods

gupcast :: sub p0 -> S1 (MetaSel (Just field) p f b) (Rec0 t) p0

(GUpcast sub a, GUpcast sub b) => GUpcast sub (a :*: b)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gupcast :: sub p -> (a :*: b) p

class GSmash sub sup where

Methods

gsmash :: sup p -> sub p -> sub p

Instances

GSmash sub sup => GSmash (D1 c sub :: k -> Type) (sup :: k -> Type)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gsmash :: sup p -> D1 c sub p -> D1 c sub p

GSmash sub sup => GSmash (C1 c sub :: k -> Type) (sup :: k -> Type)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gsmash :: sup p -> C1 c sub p -> C1 c sub p

(GSmash a sup, GSmash b sup) => GSmash (a :*: b :: k -> Type) (sup :: k -> Type)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gsmash :: sup p -> (a :*: b) p -> (a :*: b) p

(leaf ~ S1 (MetaSel (Just field) p f b) t, GSmashLeaf leaf sup (HasTotalFieldP field sup)) => GSmash (S1 (MetaSel (Just field) p f b) t :: k -> Type) (sup :: k -> Type)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gsmash :: sup p0 -> S1 (MetaSel (Just field) p f b) t p0 -> S1 (MetaSel (Just field) p f b) t p0

class GHasConstraints (c :: * -> * -> Constraint) s t where

Methods

gconstraints :: TraversalC c (s x) (t x)

Instances

GHasConstraints c (V1 :: Type -> Type) (V1 :: Type -> Type)

Defined in Data.Generics.Product.Internal.Constraints

Methods

gconstraints :: TraversalC c (V1 x) (V1 x)

GHasConstraints c (U1 :: Type -> Type) (U1 :: Type -> Type)

Defined in Data.Generics.Product.Internal.Constraints

Methods

gconstraints :: TraversalC c (U1 x) (U1 x)

c a b => GHasConstraints c (Rec0 a) (Rec0 b)

Defined in Data.Generics.Product.Internal.Constraints

Methods

gconstraints :: TraversalC c (Rec0 a x) (Rec0 b x)

(GHasConstraints c l l', GHasConstraints c r r') => GHasConstraints c (l :+: r) (l' :+: r')

Defined in Data.Generics.Product.Internal.Constraints

Methods

gconstraints :: TraversalC c ((l :+: r) x) ((l' :+: r') x)

(GHasConstraints c l l', GHasConstraints c r r') => GHasConstraints c (l :*: r) (l' :*: r')

Defined in Data.Generics.Product.Internal.Constraints

Methods

gconstraints :: TraversalC c ((l :*: r) x) ((l' :*: r') x)

GHasConstraints c s t => GHasConstraints c (M1 i m s) (M1 i m t)

Defined in Data.Generics.Product.Internal.Constraints

Methods

gconstraints :: TraversalC c (M1 i m s x) (M1 i m t x)

class GHasConstraints' (c :: * -> Constraint) (f :: * -> *) where

Constrained traversal.

Methods

gconstraints' :: forall g x. Applicative g => (forall a. c a => a -> g a) -> f x -> g (f x)

Instances

GHasConstraints' c (U1 :: Type -> Type)

Defined in Data.Generics.Product.Internal.Constraints

Methods

gconstraints' :: Applicative g => (forall a. c a => a -> g a) -> U1 x -> g (U1 x)

c a => GHasConstraints' c (Rec0 a)

Defined in Data.Generics.Product.Internal.Constraints

Methods

gconstraints' :: Applicative g => (forall a0. c a0 => a0 -> g a0) -> Rec0 a x -> g (Rec0 a x)

(GHasConstraints' c l, GHasConstraints' c r) => GHasConstraints' c (l :+: r)

Defined in Data.Generics.Product.Internal.Constraints

Methods

gconstraints' :: Applicative g => (forall a. c a => a -> g a) -> (l :+: r) x -> g ((l :+: r) x)

(GHasConstraints' c l, GHasConstraints' c r) => GHasConstraints' c (l :*: r)

Defined in Data.Generics.Product.Internal.Constraints

Methods

gconstraints' :: Applicative g => (forall a. c a => a -> g a) -> (l :*: r) x -> g ((l :*: r) x)

GHasConstraints' c f => GHasConstraints' c (M1 m meta f)

Defined in Data.Generics.Product.Internal.Constraints

Methods

gconstraints' :: Applicative g => (forall a. c a => a -> g a) -> M1 m meta f x -> g (M1 m meta f x)

class GIsList (f :: Type -> Type) (g :: Type -> Type) (as :: [Type]) (bs :: [Type]) | f -> as, g -> bs, bs f -> g, as g -> f where

Minimal complete definition

glist

Methods

glist :: Iso (f x) (g x) (HList as) (HList bs)

glistR :: Iso (HList bs) (HList as) (g x) (f x)

Instances

GIsList (U1 :: Type -> Type) (U1 :: Type -> Type) ([] :: [Type]) ([] :: [Type])

Defined in Data.Generics.Product.Internal.HList

Methods

glist :: Iso (U1 x) (U1 x) (HList []) (HList [])

glistR :: Iso (HList []) (HList []) (U1 x) (U1 x)

GIsList (Rec0 a) (Rec0 b) (a ': ([] :: [Type])) (b ': ([] :: [Type]))

Defined in Data.Generics.Product.Internal.HList

Methods

glist :: Iso (Rec0 a x) (Rec0 b x) (HList (a ': [])) (HList (b ': []))

glistR :: Iso (HList (b ': [])) (HList (a ': [])) (Rec0 b x) (Rec0 a x)

(GIsList l l' as as', GIsList r r' bs bs', Appending as bs cs as' bs' cs', cs ~ (as ++ bs), cs' ~ (as' ++ bs')) => GIsList (l :*: r) (l' :*: r') cs cs'

Defined in Data.Generics.Product.Internal.HList

Methods

glist :: Iso ((l :*: r) x) ((l' :*: r') x) (HList cs) (HList cs')

glistR :: Iso (HList cs') (HList cs) ((l' :*: r') x) ((l :*: r) x)

GIsList f g as bs => GIsList (M1 t meta f) (M1 t meta g) as bs

Defined in Data.Generics.Product.Internal.HList

Methods

glist :: Iso (M1 t meta f x) (M1 t meta g x) (HList as) (HList bs)

glistR :: Iso (HList bs) (HList as) (M1 t meta g x) (M1 t meta f x)

class IndexList (i :: Nat) as bs a b | i as -> a, i bs -> b, i as b -> bs, i bs a -> as where

Methods

point :: Lens (HList as) (HList bs) a b

Instances

(IndexList (n - 1) as' bs' a b, as ~ (x ': as'), bs ~ (x ': bs')) => IndexList n as bs a b

Defined in Data.Generics.Product.Internal.HList

Methods

point :: Lens (HList as) (HList bs) a b

(as ~ (a ': as'), bs ~ (b ': as')) => IndexList 0 as bs a b

Defined in Data.Generics.Product.Internal.HList

Methods

point :: Lens (HList as) (HList bs) a b

data HList (as :: [Type]) where

Constructors

Nil :: HList '[]

(:>) :: a -> HList as -> HList (a ': as) infixr 5

Instances

(Semigroup a, Semigroup (HList as)) => Semigroup (HList (a ': as))

Defined in Data.Generics.Product.Internal.HList

Methods

(<>) :: HList (a ': as) -> HList (a ': as) -> HList (a ': as)

sconcat :: NonEmpty (HList (a ': as)) -> HList (a ': as)

stimes :: Integral b => b -> HList (a ': as) -> HList (a ': as)

Semigroup (HList ([] :: [Type]))

Defined in Data.Generics.Product.Internal.HList

Methods

(<>) :: HList [] -> HList [] -> HList []

sconcat :: NonEmpty (HList []) -> HList []

stimes :: Integral b => b -> HList [] -> HList []

(Monoid a, Monoid (HList as)) => Monoid (HList (a ': as))

Defined in Data.Generics.Product.Internal.HList

Methods

mempty :: HList (a ': as)

mappend :: HList (a ': as) -> HList (a ': as) -> HList (a ': as)

mconcat :: [HList (a ': as)] -> HList (a ': as)

Monoid (HList ([] :: [Type]))

Defined in Data.Generics.Product.Internal.HList

Methods

mempty :: HList []

mappend :: HList [] -> HList [] -> HList []

mconcat :: [HList []] -> HList []

type family (as :: [k]) ++ (bs :: [k]) :: [k] where ...

Equations

'[] ++ bs = bs

(a ': as) ++ bs = a ': (as ++ bs)

class Elem (as :: [(k, Type)]) (key :: k) (i :: Nat) a | as key -> i a

Instances

(Elem xs key i a, pos ~ (i + 1)) => Elem (x ': xs :: [(k2, Type)]) (key :: k2) pos (a :: k1)

Defined in Data.Generics.Product.Internal.HList

pos ~ 0 => Elem (a ': xs :: [(k, Type)]) (key :: k) pos (a :: (k, Type))

Defined in Data.Generics.Product.Internal.HList

class ListTuple (tuple :: Type) (as :: [Type]) | as -> tuple where

Minimal complete definition

tupleToList, listToTuple

Associated Types

type ListToTuple as :: Type

Methods

tupled :: Iso' (HList as) tuple

tupleToList :: tuple -> HList as

listToTuple :: HList as -> tuple

Instances

ListTuple () ([] :: [Type])

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple [] :: Type

Methods

tupled :: Iso' (HList []) ()

tupleToList :: () -> HList []

listToTuple :: HList [] -> ()

ListTuple a (a ': ([] :: [Type]))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': []) :: Type

Methods

tupled :: Iso' (HList (a ': [])) a

tupleToList :: a -> HList (a ': [])

listToTuple :: HList (a ': []) -> a

ListTuple (a, b) (a ': (b ': ([] :: [Type])))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': [])) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': []))) (a, b)

tupleToList :: (a, b) -> HList (a ': (b ': []))

listToTuple :: HList (a ': (b ': [])) -> (a, b)

ListTuple (a, b, c) (a ': (b ': (c ': ([] :: [Type]))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': []))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': [])))) (a, b, c)

tupleToList :: (a, b, c) -> HList (a ': (b ': (c ': [])))

listToTuple :: HList (a ': (b ': (c ': []))) -> (a, b, c)

ListTuple (a, b, c, d) (a ': (b ': (c ': (d ': ([] :: [Type])))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': [])))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': []))))) (a, b, c, d)

tupleToList :: (a, b, c, d) -> HList (a ': (b ': (c ': (d ': []))))

listToTuple :: HList (a ': (b ': (c ': (d ': [])))) -> (a, b, c, d)

ListTuple (a, b, c, d, e) (a ': (b ': (c ': (d ': (e ': ([] :: [Type]))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': []))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': [])))))) (a, b, c, d, e)

tupleToList :: (a, b, c, d, e) -> HList (a ': (b ': (c ': (d ': (e ': [])))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': []))))) -> (a, b, c, d, e)

ListTuple (a, b, c, d, e, f) (a ': (b ': (c ': (d ': (e ': (f ': ([] :: [Type])))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': [])))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': []))))))) (a, b, c, d, e, f)

tupleToList :: (a, b, c, d, e, f) -> HList (a ': (b ': (c ': (d ': (e ': (f ': []))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': [])))))) -> (a, b, c, d, e, f)

ListTuple (a, b, c, d, e, f, g) (a ': (b ': (c ': (d ': (e ': (f ': (g ': ([] :: [Type]))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': []))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': [])))))))) (a, b, c, d, e, f, g)

tupleToList :: (a, b, c, d, e, f, g) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': [])))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': []))))))) -> (a, b, c, d, e, f, g)

ListTuple (a, b, c, d, e, f, g, h) (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': ([] :: [Type])))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': [])))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': []))))))))) (a, b, c, d, e, f, g, h)

tupleToList :: (a, b, c, d, e, f, g, h) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': []))))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': [])))))))) -> (a, b, c, d, e, f, g, h)

ListTuple (a, b, c, d, e, f, g, h, j) (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': ([] :: [Type]))))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': []))))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': [])))))))))) (a, b, c, d, e, f, g, h, j)

tupleToList :: (a, b, c, d, e, f, g, h, j) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': [])))))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': []))))))))) -> (a, b, c, d, e, f, g, h, j)

ListTuple (a, b, c, d, e, f, g, h, j, k) (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': ([] :: [Type])))))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': [])))))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': []))))))))))) (a, b, c, d, e, f, g, h, j, k)

tupleToList :: (a, b, c, d, e, f, g, h, j, k) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': []))))))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': [])))))))))) -> (a, b, c, d, e, f, g, h, j, k)

ListTuple (a, b, c, d, e, f, g, h, j, k, l) (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': ([] :: [Type]))))))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': []))))))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': [])))))))))))) (a, b, c, d, e, f, g, h, j, k, l)

tupleToList :: (a, b, c, d, e, f, g, h, j, k, l) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': [])))))))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': []))))))))))) -> (a, b, c, d, e, f, g, h, j, k, l)

ListTuple (a, b, c, d, e, f, g, h, j, k, l, m) (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': ([] :: [Type])))))))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': [])))))))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': []))))))))))))) (a, b, c, d, e, f, g, h, j, k, l, m)

tupleToList :: (a, b, c, d, e, f, g, h, j, k, l, m) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': []))))))))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': [])))))))))))) -> (a, b, c, d, e, f, g, h, j, k, l, m)

ListTuple (a, b, c, d, e, f, g, h, j, k, l, m, n) (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': ([] :: [Type]))))))))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': []))))))))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': [])))))))))))))) (a, b, c, d, e, f, g, h, j, k, l, m, n)

tupleToList :: (a, b, c, d, e, f, g, h, j, k, l, m, n) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': [])))))))))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': []))))))))))))) -> (a, b, c, d, e, f, g, h, j, k, l, m, n)

ListTuple (a, b, c, d, e, f, g, h, j, k, l, m, n, o) (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': ([] :: [Type])))))))))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': [])))))))))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': []))))))))))))))) (a, b, c, d, e, f, g, h, j, k, l, m, n, o)

tupleToList :: (a, b, c, d, e, f, g, h, j, k, l, m, n, o) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': []))))))))))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': [])))))))))))))) -> (a, b, c, d, e, f, g, h, j, k, l, m, n, o)

ListTuple (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p) (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': ([] :: [Type]))))))))))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': []))))))))))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': [])))))))))))))))) (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p)

tupleToList :: (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': [])))))))))))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': []))))))))))))))) -> (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p)

ListTuple (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q) (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': ([] :: [Type])))))))))))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': [])))))))))))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': []))))))))))))))))) (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q)

tupleToList :: (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': []))))))))))))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': [])))))))))))))))) -> (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q)

ListTuple (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r) (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': ([] :: [Type]))))))))))))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': []))))))))))))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': [])))))))))))))))))) (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r)

tupleToList :: (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': [])))))))))))))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': []))))))))))))))))) -> (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r)

ListTuple (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r, s) (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': ([] :: [Type])))))))))))))))))))

Defined in Data.Generics.Product.Internal.HList

Associated Types

type ListToTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': [])))))))))))))))))) :: Type

Methods

tupled :: Iso' (HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': []))))))))))))))))))) (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r, s)

tupleToList :: (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r, s) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': []))))))))))))))))))

listToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': [])))))))))))))))))) -> (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r, s)

type family TupleToList a where ...

Equations

TupleToList () = '[]

TupleToList (a, b) = '[a, b]

TupleToList (a, b, c) = '[a, b, c]

TupleToList (a, b, c, d) = '[a, b, c, d]

TupleToList (a, b, c, d, e) = '[a, b, c, d, e]

TupleToList (a, b, c, d, e, f) = '[a, b, c, d, e, f]

TupleToList (a, b, c, d, e, f, g) = '[a, b, c, d, e, f, g]

TupleToList (a, b, c, d, e, f, g, h) = '[a, b, c, d, e, f, g, h]

TupleToList (a, b, c, d, e, f, g, h, j) = '[a, b, c, d, e, f, g, h, j]

TupleToList (a, b, c, d, e, f, g, h, j, k) = '[a, b, c, d, e, f, g, h, j, k]

TupleToList (a, b, c, d, e, f, g, h, j, k, l) = '[a, b, c, d, e, f, g, h, j, k, l]

TupleToList (a, b, c, d, e, f, g, h, j, k, l, m) = '[a, b, c, d, e, f, g, h, j, k, l, m]

TupleToList (a, b, c, d, e, f, g, h, j, k, l, m, n) = '[a, b, c, d, e, f, g, h, j, k, l, m, n]

TupleToList (a, b, c, d, e, f, g, h, j, k, l, m, n, o) = '[a, b, c, d, e, f, g, h, j, k, l, m, n, o]

TupleToList (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p) = '[a, b, c, d, e, f, g, h, j, k, l, m, n, o, p]

TupleToList (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q) = '[a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q]

TupleToList (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r) = '[a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r]

TupleToList (a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r, s) = '[a, b, c, d, e, f, g, h, j, k, l, m, n, o, p, q, r, s]

TupleToList a = '[a]