Data.Tuple.Singletons

Defines functions and datatypes relating to the singleton for tuples, including singled versions of all the definitions in Data.Tuple.

Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Please look up the corresponding operation in Data.Tuple. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

Singleton definitions

See Sing for more info.

type family Sing :: k -> Type

Instances

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SVoid

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SAll

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SAny

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SNat

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SOrdering

type Sing

Defined in Data.Singletons.Base.TypeError

type Sing = SErrorMessage

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple0

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SBool

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SChar

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SSymbol

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SFirst :: First a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SLast :: Last a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SMax :: Max a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SMin :: Min a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SWrappedMonoid :: WrappedMonoid m -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SNonEmpty :: NonEmpty a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SIdentity :: Identity a -> Type

type Sing

Defined in Data.Monoid.Singletons

type Sing = SFirst :: First a -> Type

type Sing

Defined in Data.Monoid.Singletons

type Sing = SLast :: Last a -> Type

type Sing

Defined in Data.Ord.Singletons

type Sing = SDown :: Down a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SDual :: Dual a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SProduct :: Product a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SSum :: Sum a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SMaybe :: Maybe a -> Type

type Sing

A choice of singleton for the kind TYPE rep (for some RuntimeRep rep), an instantiation of which is the famous kind Type.

Conceivably, one could generalize this instance to `Sing @k` for any kind k, and remove all other Sing instances. We don't adopt this design, however, since it is far more convenient in practice to work with explicit singleton values than TypeReps (for instance, TypeReps are more difficult to pattern match on, and require extra runtime checks).

We cannot produce explicit singleton values for everything in TYPE rep, however, since it is an open kind, so we reach for TypeRep in this one particular case.

Defined in Data.Singletons.Base.TypeRepTYPE

type Sing = TypeRep :: TYPE rep -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SList :: [a] -> Type

type Sing

Defined in Data.Semigroup.Singletons

type Sing = SArg :: Arg a b -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SEither :: Either a b -> Type

type Sing

Defined in Data.Proxy.Singletons

type Sing = SProxy :: Proxy t -> Type

type Sing

Defined in Data.Singletons

type Sing = SWrappedSing :: WrappedSing a -> Type

type Sing

Defined in Data.Singletons

type Sing = SLambda :: (k1 ~> k2) -> Type

type Sing

Defined in Data.Singletons.Sigma

type Sing = SSigma :: Sigma s t -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple2 :: (a, b) -> Type

type Sing

Defined in Data.Functor.Const.Singletons

type Sing = SConst :: Const a b -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple3 :: (a, b, c) -> Type

type Sing

Defined in Data.Functor.Product.Singletons

type Sing = SProduct :: Product f g a -> Type

type Sing

Defined in Data.Functor.Sum.Singletons

type Sing = SSum :: Sum f g a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple4 :: (a, b, c, d) -> Type

type Sing

Defined in Data.Functor.Compose.Singletons

type Sing = SCompose :: Compose f g a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple5 :: (a, b, c, d, e) -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple6 :: (a, b, c, d, e, f) -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple7 :: (a, b, c, d, e, f, g) -> Type

data STuple0 (a :: ()) where

Constructors

STuple0 :: STuple0 '()

Instances

TestCoercion STuple0

Defined in Data.Singletons.Base.Instances

Methods

testCoercion :: forall (a :: ()) (b :: ()). STuple0 a -> STuple0 b -> Maybe (Coercion a b)

TestEquality STuple0

Defined in Data.Singletons.Base.Instances

Methods

testEquality :: forall (a :: ()) (b :: ()). STuple0 a -> STuple0 b -> Maybe (a :~: b)

Show (STuple0 z)

Defined in Data.Singletons.Base.Instances

Methods

showsPrec :: Int -> STuple0 z -> ShowS

show :: STuple0 z -> String

showList :: [STuple0 z] -> ShowS

Eq (STuple0 z)

Defined in Data.Singletons.Base.Instances

Methods

(==) :: STuple0 z -> STuple0 z -> Bool

(/=) :: STuple0 z -> STuple0 z -> Bool

data STuple2 (a1 :: (a, b)) where

Constructors

STuple2 :: forall a b (n1 :: a) (n2 :: b). Sing n1 -> Sing n2 -> STuple2 '(n1, n2)

Instances

(SDecide a, SDecide b) => TestCoercion (STuple2 :: (a, b) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testCoercion :: forall (a0 :: (a, b)) (b0 :: (a, b)). STuple2 a0 -> STuple2 b0 -> Maybe (Coercion a0 b0)

(SDecide a, SDecide b) => TestEquality (STuple2 :: (a, b) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testEquality :: forall (a0 :: (a, b)) (b0 :: (a, b)). STuple2 a0 -> STuple2 b0 -> Maybe (a0 :~: b0)

(ShowSing a, ShowSing b) => Show (STuple2 z)

Defined in Data.Singletons.Base.Instances

Methods

showsPrec :: Int -> STuple2 z -> ShowS

show :: STuple2 z -> String

showList :: [STuple2 z] -> ShowS

Eq (STuple2 z)

Defined in Data.Singletons.Base.Instances

Methods

(==) :: STuple2 z -> STuple2 z -> Bool

(/=) :: STuple2 z -> STuple2 z -> Bool

data STuple3 (a1 :: (a, b, c)) where

Constructors

STuple3 :: forall a b c (n1 :: a) (n2 :: b) (n3 :: c). Sing n1 -> Sing n2 -> Sing n3 -> STuple3 '(n1, n2, n3)

Instances

(SDecide a, SDecide b, SDecide c) => TestCoercion (STuple3 :: (a, b, c) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testCoercion :: forall (a0 :: (a, b, c)) (b0 :: (a, b, c)). STuple3 a0 -> STuple3 b0 -> Maybe (Coercion a0 b0)

(SDecide a, SDecide b, SDecide c) => TestEquality (STuple3 :: (a, b, c) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testEquality :: forall (a0 :: (a, b, c)) (b0 :: (a, b, c)). STuple3 a0 -> STuple3 b0 -> Maybe (a0 :~: b0)

(ShowSing a, ShowSing b, ShowSing c) => Show (STuple3 z)

Defined in Data.Singletons.Base.Instances

Methods

showsPrec :: Int -> STuple3 z -> ShowS

show :: STuple3 z -> String

showList :: [STuple3 z] -> ShowS

Eq (STuple3 z)

Defined in Data.Singletons.Base.Instances

Methods

(==) :: STuple3 z -> STuple3 z -> Bool

(/=) :: STuple3 z -> STuple3 z -> Bool

data STuple4 (a1 :: (a, b, c, d)) where

Constructors

STuple4 :: forall a b c d (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> STuple4 '(n1, n2, n3, n4)

Instances

(SDecide a, SDecide b, SDecide c, SDecide d) => TestCoercion (STuple4 :: (a, b, c, d) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testCoercion :: forall (a0 :: (a, b, c, d)) (b0 :: (a, b, c, d)). STuple4 a0 -> STuple4 b0 -> Maybe (Coercion a0 b0)

(SDecide a, SDecide b, SDecide c, SDecide d) => TestEquality (STuple4 :: (a, b, c, d) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testEquality :: forall (a0 :: (a, b, c, d)) (b0 :: (a, b, c, d)). STuple4 a0 -> STuple4 b0 -> Maybe (a0 :~: b0)

(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (STuple4 z)

Defined in Data.Singletons.Base.Instances

Methods

showsPrec :: Int -> STuple4 z -> ShowS

show :: STuple4 z -> String

showList :: [STuple4 z] -> ShowS

Eq (STuple4 z)

Defined in Data.Singletons.Base.Instances

Methods

(==) :: STuple4 z -> STuple4 z -> Bool

(/=) :: STuple4 z -> STuple4 z -> Bool

data STuple5 (a1 :: (a, b, c, d, e)) where

Constructors

STuple5 :: forall a b c d e (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> STuple5 '(n1, n2, n3, n4, n5)

Instances

(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e) => TestCoercion (STuple5 :: (a, b, c, d, e) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testCoercion :: forall (a0 :: (a, b, c, d, e)) (b0 :: (a, b, c, d, e)). STuple5 a0 -> STuple5 b0 -> Maybe (Coercion a0 b0)

(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e) => TestEquality (STuple5 :: (a, b, c, d, e) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testEquality :: forall (a0 :: (a, b, c, d, e)) (b0 :: (a, b, c, d, e)). STuple5 a0 -> STuple5 b0 -> Maybe (a0 :~: b0)

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (STuple5 z)

Defined in Data.Singletons.Base.Instances

Methods

showsPrec :: Int -> STuple5 z -> ShowS

show :: STuple5 z -> String

showList :: [STuple5 z] -> ShowS

Eq (STuple5 z)

Defined in Data.Singletons.Base.Instances

Methods

(==) :: STuple5 z -> STuple5 z -> Bool

(/=) :: STuple5 z -> STuple5 z -> Bool

data STuple6 (a1 :: (a, b, c, d, e, f)) where

Constructors

STuple6 :: forall a b c d e f (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e) (n6 :: f). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> Sing n6 -> STuple6 '(n1, n2, n3, n4, n5, n6)

Instances

(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e, SDecide f) => TestCoercion (STuple6 :: (a, b, c, d, e, f) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testCoercion :: forall (a0 :: (a, b, c, d, e, f)) (b0 :: (a, b, c, d, e, f)). STuple6 a0 -> STuple6 b0 -> Maybe (Coercion a0 b0)

(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e, SDecide f) => TestEquality (STuple6 :: (a, b, c, d, e, f) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testEquality :: forall (a0 :: (a, b, c, d, e, f)) (b0 :: (a, b, c, d, e, f)). STuple6 a0 -> STuple6 b0 -> Maybe (a0 :~: b0)

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (STuple6 z)

Defined in Data.Singletons.Base.Instances

Methods

showsPrec :: Int -> STuple6 z -> ShowS

show :: STuple6 z -> String

showList :: [STuple6 z] -> ShowS

Eq (STuple6 z)

Defined in Data.Singletons.Base.Instances

Methods

(==) :: STuple6 z -> STuple6 z -> Bool

(/=) :: STuple6 z -> STuple6 z -> Bool

data STuple7 (a1 :: (a, b, c, d, e, f, g)) where

Constructors

STuple7 :: forall a b c d e f g (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e) (n6 :: f) (n7 :: g). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> Sing n6 -> Sing n7 -> STuple7 '(n1, n2, n3, n4, n5, n6, n7)

Instances

(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e, SDecide f, SDecide g) => TestCoercion (STuple7 :: (a, b, c, d, e, f, g) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testCoercion :: forall (a0 :: (a, b, c, d, e, f, g)) (b0 :: (a, b, c, d, e, f, g)). STuple7 a0 -> STuple7 b0 -> Maybe (Coercion a0 b0)

(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e, SDecide f, SDecide g) => TestEquality (STuple7 :: (a, b, c, d, e, f, g) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testEquality :: forall (a0 :: (a, b, c, d, e, f, g)) (b0 :: (a, b, c, d, e, f, g)). STuple7 a0 -> STuple7 b0 -> Maybe (a0 :~: b0)

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (STuple7 z)

Defined in Data.Singletons.Base.Instances

Methods

showsPrec :: Int -> STuple7 z -> ShowS

show :: STuple7 z -> String

showList :: [STuple7 z] -> ShowS

Eq (STuple7 z)

Defined in Data.Singletons.Base.Instances

Methods

(==) :: STuple7 z -> STuple7 z -> Bool

(/=) :: STuple7 z -> STuple7 z -> Bool

Singletons from Data.Tuple

type family Fst (a1 :: (a, b)) :: a where ...

Equations

Fst ('(x, _1) :: (a, b)) = x

sFst :: forall a b (t :: (a, b)). Sing t -> Sing (Apply (FstSym0 :: TyFun (a, b) a -> Type) t)

type family Snd (a1 :: (a, b)) :: b where ...

Equations

Snd ('(_1, y) :: (a, b)) = y

sSnd :: forall a b (t :: (a, b)). Sing t -> Sing (Apply (SndSym0 :: TyFun (a, b) b -> Type) t)

type family Curry (a1 :: (a, b) ~> c) (a2 :: a) (a3 :: b) :: c where ...

Equations

Curry (f :: (k2, k3) ~> k4) (x :: k2) (y :: k3) = Apply f (Apply (Apply (Tuple2Sym0 :: TyFun k2 (k3 ~> (k2, k3)) -> Type) x) y)

sCurry :: forall a b c (t1 :: (a, b) ~> c) (t2 :: a) (t3 :: b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) t1) t2) t3)

type family Uncurry (a1 :: a ~> (b ~> c)) (a2 :: (a, b)) :: c where ...

Equations

Uncurry (f :: a ~> (k1 ~> k3)) (p :: (a, k1)) = Apply (Apply f (Apply (FstSym0 :: TyFun (a, k1) a -> Type) p)) (Apply (SndSym0 :: TyFun (a, k1) k1 -> Type) p)

sUncurry :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: (a, b)). Sing t1 -> Sing t2 -> Sing (Apply (Apply (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) t1) t2)

type family Swap (a1 :: (a, b)) :: (b, a) where ...

Equations

Swap ('(a, b) :: (k2, k3)) = Apply (Apply (Tuple2Sym0 :: TyFun k3 (k2 ~> (k3, k2)) -> Type) b) a

sSwap :: forall a b (t :: (a, b)). Sing t -> Sing (Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) t)

Defunctionalization symbols

type family Tuple0Sym0 :: () where ...

Equations

Tuple0Sym0 = '()

data Tuple2Sym0 (a1 :: TyFun a (b ~> (a, b)))

Instances

SingI (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type)

SuppressUnusedWarnings (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) (a6989586621679047641 :: a)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) (a6989586621679047641 :: a) = Tuple2Sym1 a6989586621679047641 :: TyFun b (a, b) -> Type

data Tuple2Sym1 (a6989586621679047641 :: a) (b1 :: TyFun b (a, b))

Instances

SingI1 (Tuple2Sym1 :: a -> TyFun b (a, b) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: a). Sing x -> Sing (Tuple2Sym1 x :: TyFun b (a, b) -> Type)

SingI d => SingI (Tuple2Sym1 d :: TyFun b (a, b) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple2Sym1 d :: TyFun b (a, b) -> Type)

SuppressUnusedWarnings (Tuple2Sym1 a6989586621679047641 :: TyFun b (a, b) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple2Sym1 a6989586621679047641 :: TyFun k2 (k1, k2) -> Type) (a6989586621679047642 :: k2)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple2Sym1 a6989586621679047641 :: TyFun k2 (k1, k2) -> Type) (a6989586621679047642 :: k2) = '(a6989586621679047641, a6989586621679047642)

type family Tuple2Sym2 (a6989586621679047641 :: a) (a6989586621679047642 :: b) :: (a, b) where ...

Equations

Tuple2Sym2 (a6989586621679047641 :: k1) (a6989586621679047642 :: k2) = '(a6989586621679047641, a6989586621679047642)

data Tuple3Sym0 (a1 :: TyFun a (b ~> (c ~> (a, b, c))))

Instances

SingI (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type)

SuppressUnusedWarnings (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) (a6989586621679047672 :: a)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) (a6989586621679047672 :: a) = Tuple3Sym1 a6989586621679047672 :: TyFun b (c ~> (a, b, c)) -> Type

data Tuple3Sym1 (a6989586621679047672 :: a) (b1 :: TyFun b (c ~> (a, b, c)))

Instances

SingI1 (Tuple3Sym1 :: a -> TyFun b (c ~> (a, b, c)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: a). Sing x -> Sing (Tuple3Sym1 x :: TyFun b (c ~> (a, b, c)) -> Type)

SingI d => SingI (Tuple3Sym1 d :: TyFun b (c ~> (a, b, c)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple3Sym1 d :: TyFun b (c ~> (a, b, c)) -> Type)

SuppressUnusedWarnings (Tuple3Sym1 a6989586621679047672 :: TyFun b (c ~> (a, b, c)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple3Sym1 a6989586621679047672 :: TyFun b (c ~> (a, b, c)) -> Type) (a6989586621679047673 :: b)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple3Sym1 a6989586621679047672 :: TyFun b (c ~> (a, b, c)) -> Type) (a6989586621679047673 :: b) = Tuple3Sym2 a6989586621679047672 a6989586621679047673 :: TyFun c (a, b, c) -> Type

data Tuple3Sym2 (a6989586621679047672 :: a) (a6989586621679047673 :: b) (c1 :: TyFun c (a, b, c))

Instances

SingI2 (Tuple3Sym2 :: a -> b -> TyFun c (a, b, c) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: a) (y :: b). Sing x -> Sing y -> Sing (Tuple3Sym2 x y :: TyFun c (a, b, c) -> Type)

SingI d => SingI1 (Tuple3Sym2 d :: b -> TyFun c (a, b, c) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: b). Sing x -> Sing (Tuple3Sym2 d x :: TyFun c (a, b, c) -> Type)

(SingI d1, SingI d2) => SingI (Tuple3Sym2 d1 d2 :: TyFun c (a, b, c) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple3Sym2 d1 d2 :: TyFun c (a, b, c) -> Type)

SuppressUnusedWarnings (Tuple3Sym2 a6989586621679047672 a6989586621679047673 :: TyFun c (a, b, c) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple3Sym2 a6989586621679047672 a6989586621679047673 :: TyFun k3 (k1, k2, k3) -> Type) (a6989586621679047674 :: k3)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple3Sym2 a6989586621679047672 a6989586621679047673 :: TyFun k3 (k1, k2, k3) -> Type) (a6989586621679047674 :: k3) = '(a6989586621679047672, a6989586621679047673, a6989586621679047674)

type family Tuple3Sym3 (a6989586621679047672 :: a) (a6989586621679047673 :: b) (a6989586621679047674 :: c) :: (a, b, c) where ...

Equations

Tuple3Sym3 (a6989586621679047672 :: k1) (a6989586621679047673 :: k2) (a6989586621679047674 :: k3) = '(a6989586621679047672, a6989586621679047673, a6989586621679047674)

data Tuple4Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))))

Instances

SingI (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type)

SuppressUnusedWarnings (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type) (a6989586621679047721 :: a)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type) (a6989586621679047721 :: a) = Tuple4Sym1 a6989586621679047721 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type

data Tuple4Sym1 (a6989586621679047721 :: a) (b1 :: TyFun b (c ~> (d ~> (a, b, c, d))))

Instances

SingI1 (Tuple4Sym1 :: a -> TyFun b (c ~> (d ~> (a, b, c, d))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: a). Sing x -> Sing (Tuple4Sym1 x :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type)

SingI d1 => SingI (Tuple4Sym1 d1 :: TyFun b (c ~> (d2 ~> (a, b, c, d2))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple4Sym1 d1 :: TyFun b (c ~> (d2 ~> (a, b, c, d2))) -> Type)

SuppressUnusedWarnings (Tuple4Sym1 a6989586621679047721 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple4Sym1 a6989586621679047721 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) (a6989586621679047722 :: b)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple4Sym1 a6989586621679047721 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) (a6989586621679047722 :: b) = Tuple4Sym2 a6989586621679047721 a6989586621679047722 :: TyFun c (d ~> (a, b, c, d)) -> Type

data Tuple4Sym2 (a6989586621679047721 :: a) (a6989586621679047722 :: b) (c1 :: TyFun c (d ~> (a, b, c, d)))

Instances

SingI2 (Tuple4Sym2 :: a -> b -> TyFun c (d ~> (a, b, c, d)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: a) (y :: b). Sing x -> Sing y -> Sing (Tuple4Sym2 x y :: TyFun c (d ~> (a, b, c, d)) -> Type)

SingI d1 => SingI1 (Tuple4Sym2 d1 :: b -> TyFun c (d2 ~> (a, b, c, d2)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: b). Sing x -> Sing (Tuple4Sym2 d1 x :: TyFun c (d2 ~> (a, b, c, d2)) -> Type)

(SingI d1, SingI d2) => SingI (Tuple4Sym2 d1 d2 :: TyFun c (d3 ~> (a, b, c, d3)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple4Sym2 d1 d2 :: TyFun c (d3 ~> (a, b, c, d3)) -> Type)

SuppressUnusedWarnings (Tuple4Sym2 a6989586621679047721 a6989586621679047722 :: TyFun c (d ~> (a, b, c, d)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple4Sym2 a6989586621679047721 a6989586621679047722 :: TyFun c (d ~> (a, b, c, d)) -> Type) (a6989586621679047723 :: c)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple4Sym2 a6989586621679047721 a6989586621679047722 :: TyFun c (d ~> (a, b, c, d)) -> Type) (a6989586621679047723 :: c) = Tuple4Sym3 a6989586621679047721 a6989586621679047722 a6989586621679047723 :: TyFun d (a, b, c, d) -> Type

data Tuple4Sym3 (a6989586621679047721 :: a) (a6989586621679047722 :: b) (a6989586621679047723 :: c) (d1 :: TyFun d (a, b, c, d))

Instances

SingI d1 => SingI2 (Tuple4Sym3 d1 :: b -> c -> TyFun d2 (a, b, c, d2) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: b) (y :: c). Sing x -> Sing y -> Sing (Tuple4Sym3 d1 x y :: TyFun d2 (a, b, c, d2) -> Type)

(SingI d1, SingI d2) => SingI1 (Tuple4Sym3 d1 d2 :: c -> TyFun d3 (a, b, c, d3) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: c). Sing x -> Sing (Tuple4Sym3 d1 d2 x :: TyFun d3 (a, b, c, d3) -> Type)

(SingI d1, SingI d2, SingI d3) => SingI (Tuple4Sym3 d1 d2 d3 :: TyFun d4 (a, b, c, d4) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple4Sym3 d1 d2 d3 :: TyFun d4 (a, b, c, d4) -> Type)

SuppressUnusedWarnings (Tuple4Sym3 a6989586621679047721 a6989586621679047722 a6989586621679047723 :: TyFun d (a, b, c, d) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple4Sym3 a6989586621679047721 a6989586621679047722 a6989586621679047723 :: TyFun k4 (k1, k2, k3, k4) -> Type) (a6989586621679047724 :: k4)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple4Sym3 a6989586621679047721 a6989586621679047722 a6989586621679047723 :: TyFun k4 (k1, k2, k3, k4) -> Type) (a6989586621679047724 :: k4) = '(a6989586621679047721, a6989586621679047722, a6989586621679047723, a6989586621679047724)

type family Tuple4Sym4 (a6989586621679047721 :: a) (a6989586621679047722 :: b) (a6989586621679047723 :: c) (a6989586621679047724 :: d) :: (a, b, c, d) where ...

Equations

Tuple4Sym4 (a6989586621679047721 :: k1) (a6989586621679047722 :: k2) (a6989586621679047723 :: k3) (a6989586621679047724 :: k4) = '(a6989586621679047721, a6989586621679047722, a6989586621679047723, a6989586621679047724)

data Tuple5Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))))

Instances

SingI (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type)

SuppressUnusedWarnings (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type) (a6989586621679047790 :: a)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type) (a6989586621679047790 :: a) = Tuple5Sym1 a6989586621679047790 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type

data Tuple5Sym1 (a6989586621679047790 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))))

Instances

SingI1 (Tuple5Sym1 :: a -> TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: a). Sing x -> Sing (Tuple5Sym1 x :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type)

SingI d1 => SingI (Tuple5Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (a, b, c, d2, e)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple5Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (a, b, c, d2, e)))) -> Type)

SuppressUnusedWarnings (Tuple5Sym1 a6989586621679047790 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple5Sym1 a6989586621679047790 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type) (a6989586621679047791 :: b)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple5Sym1 a6989586621679047790 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type) (a6989586621679047791 :: b) = Tuple5Sym2 a6989586621679047790 a6989586621679047791 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type

data Tuple5Sym2 (a6989586621679047790 :: a) (a6989586621679047791 :: b) (c1 :: TyFun c (d ~> (e ~> (a, b, c, d, e))))

Instances

SingI2 (Tuple5Sym2 :: a -> b -> TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: a) (y :: b). Sing x -> Sing y -> Sing (Tuple5Sym2 x y :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type)

SingI d1 => SingI1 (Tuple5Sym2 d1 :: b -> TyFun c (d2 ~> (e ~> (a, b, c, d2, e))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: b). Sing x -> Sing (Tuple5Sym2 d1 x :: TyFun c (d2 ~> (e ~> (a, b, c, d2, e))) -> Type)

(SingI d1, SingI d2) => SingI (Tuple5Sym2 d1 d2 :: TyFun c (d3 ~> (e ~> (a, b, c, d3, e))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple5Sym2 d1 d2 :: TyFun c (d3 ~> (e ~> (a, b, c, d3, e))) -> Type)

SuppressUnusedWarnings (Tuple5Sym2 a6989586621679047790 a6989586621679047791 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple5Sym2 a6989586621679047790 a6989586621679047791 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) (a6989586621679047792 :: c)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple5Sym2 a6989586621679047790 a6989586621679047791 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) (a6989586621679047792 :: c) = Tuple5Sym3 a6989586621679047790 a6989586621679047791 a6989586621679047792 :: TyFun d (e ~> (a, b, c, d, e)) -> Type

data Tuple5Sym3 (a6989586621679047790 :: a) (a6989586621679047791 :: b) (a6989586621679047792 :: c) (d1 :: TyFun d (e ~> (a, b, c, d, e)))

Instances

SingI d1 => SingI2 (Tuple5Sym3 d1 :: b -> c -> TyFun d2 (e ~> (a, b, c, d2, e)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: b) (y :: c). Sing x -> Sing y -> Sing (Tuple5Sym3 d1 x y :: TyFun d2 (e ~> (a, b, c, d2, e)) -> Type)

(SingI d1, SingI d2) => SingI1 (Tuple5Sym3 d1 d2 :: c -> TyFun d3 (e ~> (a, b, c, d3, e)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: c). Sing x -> Sing (Tuple5Sym3 d1 d2 x :: TyFun d3 (e ~> (a, b, c, d3, e)) -> Type)

(SingI d1, SingI d2, SingI d3) => SingI (Tuple5Sym3 d1 d2 d3 :: TyFun d4 (e ~> (a, b, c, d4, e)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple5Sym3 d1 d2 d3 :: TyFun d4 (e ~> (a, b, c, d4, e)) -> Type)

SuppressUnusedWarnings (Tuple5Sym3 a6989586621679047790 a6989586621679047791 a6989586621679047792 :: TyFun d (e ~> (a, b, c, d, e)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple5Sym3 a6989586621679047790 a6989586621679047791 a6989586621679047792 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) (a6989586621679047793 :: d)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple5Sym3 a6989586621679047790 a6989586621679047791 a6989586621679047792 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) (a6989586621679047793 :: d) = Tuple5Sym4 a6989586621679047790 a6989586621679047791 a6989586621679047792 a6989586621679047793 :: TyFun e (a, b, c, d, e) -> Type

data Tuple5Sym4 (a6989586621679047790 :: a) (a6989586621679047791 :: b) (a6989586621679047792 :: c) (a6989586621679047793 :: d) (e1 :: TyFun e (a, b, c, d, e))

Instances

(SingI d1, SingI d2) => SingI2 (Tuple5Sym4 d1 d2 :: c -> d3 -> TyFun e (a, b, c, d3, e) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: c) (y :: d3). Sing x -> Sing y -> Sing (Tuple5Sym4 d1 d2 x y :: TyFun e (a, b, c, d3, e) -> Type)

(SingI d1, SingI d2, SingI d3) => SingI1 (Tuple5Sym4 d1 d2 d3 :: d4 -> TyFun e (a, b, c, d4, e) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: d4). Sing x -> Sing (Tuple5Sym4 d1 d2 d3 x :: TyFun e (a, b, c, d4, e) -> Type)

(SingI d1, SingI d2, SingI d3, SingI d5) => SingI (Tuple5Sym4 d1 d2 d3 d5 :: TyFun e (a, b, c, d4, e) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple5Sym4 d1 d2 d3 d5 :: TyFun e (a, b, c, d4, e) -> Type)

SuppressUnusedWarnings (Tuple5Sym4 a6989586621679047790 a6989586621679047791 a6989586621679047792 a6989586621679047793 :: TyFun e (a, b, c, d, e) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple5Sym4 a6989586621679047790 a6989586621679047791 a6989586621679047792 a6989586621679047793 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (a6989586621679047794 :: k5)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple5Sym4 a6989586621679047790 a6989586621679047791 a6989586621679047792 a6989586621679047793 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (a6989586621679047794 :: k5) = '(a6989586621679047790, a6989586621679047791, a6989586621679047792, a6989586621679047793, a6989586621679047794)

type family Tuple5Sym5 (a6989586621679047790 :: a) (a6989586621679047791 :: b) (a6989586621679047792 :: c) (a6989586621679047793 :: d) (a6989586621679047794 :: e) :: (a, b, c, d, e) where ...

Equations

Tuple5Sym5 (a6989586621679047790 :: k1) (a6989586621679047791 :: k2) (a6989586621679047792 :: k3) (a6989586621679047793 :: k4) (a6989586621679047794 :: k5) = '(a6989586621679047790, a6989586621679047791, a6989586621679047792, a6989586621679047793, a6989586621679047794)

data Tuple6Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))))

Instances

SingI (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type)

SuppressUnusedWarnings (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type) (a6989586621679047881 :: a)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type) (a6989586621679047881 :: a) = Tuple6Sym1 a6989586621679047881 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type

data Tuple6Sym1 (a6989586621679047881 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))))

Instances

SingI1 (Tuple6Sym1 :: a -> TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: a). Sing x -> Sing (Tuple6Sym1 x :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type)

SingI d1 => SingI (Tuple6Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (f ~> (a, b, c, d2, e, f))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple6Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (f ~> (a, b, c, d2, e, f))))) -> Type)

SuppressUnusedWarnings (Tuple6Sym1 a6989586621679047881 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple6Sym1 a6989586621679047881 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type) (a6989586621679047882 :: b)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple6Sym1 a6989586621679047881 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type) (a6989586621679047882 :: b) = Tuple6Sym2 a6989586621679047881 a6989586621679047882 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type

data Tuple6Sym2 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (c1 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))

Instances

SingI2 (Tuple6Sym2 :: a -> b -> TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: a) (y :: b). Sing x -> Sing y -> Sing (Tuple6Sym2 x y :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type)

SingI d1 => SingI1 (Tuple6Sym2 d1 :: b -> TyFun c (d2 ~> (e ~> (f ~> (a, b, c, d2, e, f)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: b). Sing x -> Sing (Tuple6Sym2 d1 x :: TyFun c (d2 ~> (e ~> (f ~> (a, b, c, d2, e, f)))) -> Type)

(SingI d1, SingI d2) => SingI (Tuple6Sym2 d1 d2 :: TyFun c (d3 ~> (e ~> (f ~> (a, b, c, d3, e, f)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple6Sym2 d1 d2 :: TyFun c (d3 ~> (e ~> (f ~> (a, b, c, d3, e, f)))) -> Type)

SuppressUnusedWarnings (Tuple6Sym2 a6989586621679047881 a6989586621679047882 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple6Sym2 a6989586621679047881 a6989586621679047882 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type) (a6989586621679047883 :: c)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple6Sym2 a6989586621679047881 a6989586621679047882 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type) (a6989586621679047883 :: c) = Tuple6Sym3 a6989586621679047881 a6989586621679047882 a6989586621679047883 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type

data Tuple6Sym3 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: c) (d1 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))))

Instances

SingI d1 => SingI2 (Tuple6Sym3 d1 :: b -> c -> TyFun d2 (e ~> (f ~> (a, b, c, d2, e, f))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: b) (y :: c). Sing x -> Sing y -> Sing (Tuple6Sym3 d1 x y :: TyFun d2 (e ~> (f ~> (a, b, c, d2, e, f))) -> Type)

(SingI d1, SingI d2) => SingI1 (Tuple6Sym3 d1 d2 :: c -> TyFun d3 (e ~> (f ~> (a, b, c, d3, e, f))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: c). Sing x -> Sing (Tuple6Sym3 d1 d2 x :: TyFun d3 (e ~> (f ~> (a, b, c, d3, e, f))) -> Type)

(SingI d1, SingI d2, SingI d3) => SingI (Tuple6Sym3 d1 d2 d3 :: TyFun d4 (e ~> (f ~> (a, b, c, d4, e, f))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple6Sym3 d1 d2 d3 :: TyFun d4 (e ~> (f ~> (a, b, c, d4, e, f))) -> Type)

SuppressUnusedWarnings (Tuple6Sym3 a6989586621679047881 a6989586621679047882 a6989586621679047883 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple6Sym3 a6989586621679047881 a6989586621679047882 a6989586621679047883 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) (a6989586621679047884 :: d)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple6Sym3 a6989586621679047881 a6989586621679047882 a6989586621679047883 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) (a6989586621679047884 :: d) = Tuple6Sym4 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type

data Tuple6Sym4 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: c) (a6989586621679047884 :: d) (e1 :: TyFun e (f ~> (a, b, c, d, e, f)))

Instances

(SingI d1, SingI d2) => SingI2 (Tuple6Sym4 d1 d2 :: c -> d3 -> TyFun e (f ~> (a, b, c, d3, e, f)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: c) (y :: d3). Sing x -> Sing y -> Sing (Tuple6Sym4 d1 d2 x y :: TyFun e (f ~> (a, b, c, d3, e, f)) -> Type)

(SingI d1, SingI d2, SingI d3) => SingI1 (Tuple6Sym4 d1 d2 d3 :: d4 -> TyFun e (f ~> (a, b, c, d4, e, f)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: d4). Sing x -> Sing (Tuple6Sym4 d1 d2 d3 x :: TyFun e (f ~> (a, b, c, d4, e, f)) -> Type)

(SingI d1, SingI d2, SingI d3, SingI d5) => SingI (Tuple6Sym4 d1 d2 d3 d5 :: TyFun e (f ~> (a, b, c, d4, e, f)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple6Sym4 d1 d2 d3 d5 :: TyFun e (f ~> (a, b, c, d4, e, f)) -> Type)

SuppressUnusedWarnings (Tuple6Sym4 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple6Sym4 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) (a6989586621679047885 :: e)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple6Sym4 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) (a6989586621679047885 :: e) = Tuple6Sym5 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 a6989586621679047885 :: TyFun f (a, b, c, d, e, f) -> Type

data Tuple6Sym5 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: c) (a6989586621679047884 :: d) (a6989586621679047885 :: e) (f1 :: TyFun f (a, b, c, d, e, f))

Instances

(SingI d1, SingI d2, SingI d3) => SingI2 (Tuple6Sym5 d1 d2 d3 :: d4 -> e -> TyFun f (a, b, c, d4, e, f) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: d4) (y :: e). Sing x -> Sing y -> Sing (Tuple6Sym5 d1 d2 d3 x y :: TyFun f (a, b, c, d4, e, f) -> Type)

(SingI d1, SingI d2, SingI d3, SingI d5) => SingI1 (Tuple6Sym5 d1 d2 d3 d5 :: e -> TyFun f (a, b, c, d4, e, f) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: e). Sing x -> Sing (Tuple6Sym5 d1 d2 d3 d5 x :: TyFun f (a, b, c, d4, e, f) -> Type)

(SingI d1, SingI d2, SingI d3, SingI d5, SingI d6) => SingI (Tuple6Sym5 d1 d2 d3 d5 d6 :: TyFun f (a, b, c, d4, e, f) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple6Sym5 d1 d2 d3 d5 d6 :: TyFun f (a, b, c, d4, e, f) -> Type)

SuppressUnusedWarnings (Tuple6Sym5 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 a6989586621679047885 :: TyFun f (a, b, c, d, e, f) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple6Sym5 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 a6989586621679047885 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (a6989586621679047886 :: k6)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple6Sym5 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 a6989586621679047885 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (a6989586621679047886 :: k6) = '(a6989586621679047881, a6989586621679047882, a6989586621679047883, a6989586621679047884, a6989586621679047885, a6989586621679047886)

type family Tuple6Sym6 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: c) (a6989586621679047884 :: d) (a6989586621679047885 :: e) (a6989586621679047886 :: f) :: (a, b, c, d, e, f) where ...

Equations

Tuple6Sym6 (a6989586621679047881 :: k1) (a6989586621679047882 :: k2) (a6989586621679047883 :: k3) (a6989586621679047884 :: k4) (a6989586621679047885 :: k5) (a6989586621679047886 :: k6) = '(a6989586621679047881, a6989586621679047882, a6989586621679047883, a6989586621679047884, a6989586621679047885, a6989586621679047886)

data Tuple7Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))))

Instances

SingI (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type)

SuppressUnusedWarnings (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type) (a6989586621679047996 :: a)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type) (a6989586621679047996 :: a) = Tuple7Sym1 a6989586621679047996 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type

data Tuple7Sym1 (a6989586621679047996 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))))

Instances

SingI1 (Tuple7Sym1 :: a -> TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: a). Sing x -> Sing (Tuple7Sym1 x :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type)

SingI d1 => SingI (Tuple7Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (f ~> (g ~> (a, b, c, d2, e, f, g)))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple7Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (f ~> (g ~> (a, b, c, d2, e, f, g)))))) -> Type)

SuppressUnusedWarnings (Tuple7Sym1 a6989586621679047996 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple7Sym1 a6989586621679047996 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type) (a6989586621679047997 :: b)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple7Sym1 a6989586621679047996 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type) (a6989586621679047997 :: b) = Tuple7Sym2 a6989586621679047996 a6989586621679047997 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type

data Tuple7Sym2 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (c1 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))

Instances

SingI2 (Tuple7Sym2 :: a -> b -> TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: a) (y :: b). Sing x -> Sing y -> Sing (Tuple7Sym2 x y :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type)

SingI d1 => SingI1 (Tuple7Sym2 d1 :: b -> TyFun c (d2 ~> (e ~> (f ~> (g ~> (a, b, c, d2, e, f, g))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: b). Sing x -> Sing (Tuple7Sym2 d1 x :: TyFun c (d2 ~> (e ~> (f ~> (g ~> (a, b, c, d2, e, f, g))))) -> Type)

(SingI d1, SingI d2) => SingI (Tuple7Sym2 d1 d2 :: TyFun c (d3 ~> (e ~> (f ~> (g ~> (a, b, c, d3, e, f, g))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple7Sym2 d1 d2 :: TyFun c (d3 ~> (e ~> (f ~> (g ~> (a, b, c, d3, e, f, g))))) -> Type)

SuppressUnusedWarnings (Tuple7Sym2 a6989586621679047996 a6989586621679047997 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple7Sym2 a6989586621679047996 a6989586621679047997 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type) (a6989586621679047998 :: c)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple7Sym2 a6989586621679047996 a6989586621679047997 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type) (a6989586621679047998 :: c) = Tuple7Sym3 a6989586621679047996 a6989586621679047997 a6989586621679047998 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type

data Tuple7Sym3 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (d1 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))

Instances

SingI d1 => SingI2 (Tuple7Sym3 d1 :: b -> c -> TyFun d2 (e ~> (f ~> (g ~> (a, b, c, d2, e, f, g)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: b) (y :: c). Sing x -> Sing y -> Sing (Tuple7Sym3 d1 x y :: TyFun d2 (e ~> (f ~> (g ~> (a, b, c, d2, e, f, g)))) -> Type)

(SingI d1, SingI d2) => SingI1 (Tuple7Sym3 d1 d2 :: c -> TyFun d3 (e ~> (f ~> (g ~> (a, b, c, d3, e, f, g)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: c). Sing x -> Sing (Tuple7Sym3 d1 d2 x :: TyFun d3 (e ~> (f ~> (g ~> (a, b, c, d3, e, f, g)))) -> Type)

(SingI d1, SingI d2, SingI d3) => SingI (Tuple7Sym3 d1 d2 d3 :: TyFun d4 (e ~> (f ~> (g ~> (a, b, c, d4, e, f, g)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple7Sym3 d1 d2 d3 :: TyFun d4 (e ~> (f ~> (g ~> (a, b, c, d4, e, f, g)))) -> Type)

SuppressUnusedWarnings (Tuple7Sym3 a6989586621679047996 a6989586621679047997 a6989586621679047998 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple7Sym3 a6989586621679047996 a6989586621679047997 a6989586621679047998 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) (a6989586621679047999 :: d)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple7Sym3 a6989586621679047996 a6989586621679047997 a6989586621679047998 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) (a6989586621679047999 :: d) = Tuple7Sym4 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type

data Tuple7Sym4 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: d) (e1 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))))

Instances

(SingI d1, SingI d2) => SingI2 (Tuple7Sym4 d1 d2 :: c -> d3 -> TyFun e (f ~> (g ~> (a, b, c, d3, e, f, g))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: c) (y :: d3). Sing x -> Sing y -> Sing (Tuple7Sym4 d1 d2 x y :: TyFun e (f ~> (g ~> (a, b, c, d3, e, f, g))) -> Type)

(SingI d1, SingI d2, SingI d3) => SingI1 (Tuple7Sym4 d1 d2 d3 :: d4 -> TyFun e (f ~> (g ~> (a, b, c, d4, e, f, g))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: d4). Sing x -> Sing (Tuple7Sym4 d1 d2 d3 x :: TyFun e (f ~> (g ~> (a, b, c, d4, e, f, g))) -> Type)

(SingI d1, SingI d2, SingI d3, SingI d5) => SingI (Tuple7Sym4 d1 d2 d3 d5 :: TyFun e (f ~> (g ~> (a, b, c, d4, e, f, g))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple7Sym4 d1 d2 d3 d5 :: TyFun e (f ~> (g ~> (a, b, c, d4, e, f, g))) -> Type)

SuppressUnusedWarnings (Tuple7Sym4 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple7Sym4 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) (a6989586621679048000 :: e)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple7Sym4 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) (a6989586621679048000 :: e) = Tuple7Sym5 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type

data Tuple7Sym5 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: d) (a6989586621679048000 :: e) (f1 :: TyFun f (g ~> (a, b, c, d, e, f, g)))

Instances

(SingI d1, SingI d2, SingI d3) => SingI2 (Tuple7Sym5 d1 d2 d3 :: d4 -> e -> TyFun f (g ~> (a, b, c, d4, e, f, g)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: d4) (y :: e). Sing x -> Sing y -> Sing (Tuple7Sym5 d1 d2 d3 x y :: TyFun f (g ~> (a, b, c, d4, e, f, g)) -> Type)

(SingI d1, SingI d2, SingI d3, SingI d5) => SingI1 (Tuple7Sym5 d1 d2 d3 d5 :: e -> TyFun f (g ~> (a, b, c, d4, e, f, g)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: e). Sing x -> Sing (Tuple7Sym5 d1 d2 d3 d5 x :: TyFun f (g ~> (a, b, c, d4, e, f, g)) -> Type)

(SingI d1, SingI d2, SingI d3, SingI d5, SingI d6) => SingI (Tuple7Sym5 d1 d2 d3 d5 d6 :: TyFun f (g ~> (a, b, c, d4, e, f, g)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple7Sym5 d1 d2 d3 d5 d6 :: TyFun f (g ~> (a, b, c, d4, e, f, g)) -> Type)

SuppressUnusedWarnings (Tuple7Sym5 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple7Sym5 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) (a6989586621679048001 :: f)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple7Sym5 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) (a6989586621679048001 :: f) = Tuple7Sym6 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 a6989586621679048001 :: TyFun g (a, b, c, d, e, f, g) -> Type

data Tuple7Sym6 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: d) (a6989586621679048000 :: e) (a6989586621679048001 :: f) (g1 :: TyFun g (a, b, c, d, e, f, g))

Instances

(SingI d1, SingI d2, SingI d3, SingI d5) => SingI2 (Tuple7Sym6 d1 d2 d3 d5 :: e -> f -> TyFun g (a, b, c, d4, e, f, g) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing2 :: forall (x :: e) (y :: f). Sing x -> Sing y -> Sing (Tuple7Sym6 d1 d2 d3 d5 x y :: TyFun g (a, b, c, d4, e, f, g) -> Type)

(SingI d1, SingI d2, SingI d3, SingI d5, SingI d6) => SingI1 (Tuple7Sym6 d1 d2 d3 d5 d6 :: f -> TyFun g (a, b, c, d4, e, f, g) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: f). Sing x -> Sing (Tuple7Sym6 d1 d2 d3 d5 d6 x :: TyFun g (a, b, c, d4, e, f, g) -> Type)

(SingI d1, SingI d2, SingI d3, SingI d5, SingI d6, SingI d7) => SingI (Tuple7Sym6 d1 d2 d3 d5 d6 d7 :: TyFun g (a, b, c, d4, e, f, g) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing (Tuple7Sym6 d1 d2 d3 d5 d6 d7 :: TyFun g (a, b, c, d4, e, f, g) -> Type)

SuppressUnusedWarnings (Tuple7Sym6 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 a6989586621679048001 :: TyFun g (a, b, c, d, e, f, g) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply (Tuple7Sym6 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 a6989586621679048001 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (a6989586621679048002 :: k7)

Defined in Data.Singletons.Base.Instances

type Apply (Tuple7Sym6 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 a6989586621679048001 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (a6989586621679048002 :: k7) = '(a6989586621679047996, a6989586621679047997, a6989586621679047998, a6989586621679047999, a6989586621679048000, a6989586621679048001, a6989586621679048002)

type family Tuple7Sym7 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: d) (a6989586621679048000 :: e) (a6989586621679048001 :: f) (a6989586621679048002 :: g) :: (a, b, c, d, e, f, g) where ...

Equations

Tuple7Sym7 (a6989586621679047996 :: k1) (a6989586621679047997 :: k2) (a6989586621679047998 :: k3) (a6989586621679047999 :: k4) (a6989586621679048000 :: k5) (a6989586621679048001 :: k6) (a6989586621679048002 :: k7) = '(a6989586621679047996, a6989586621679047997, a6989586621679047998, a6989586621679047999, a6989586621679048000, a6989586621679048001, a6989586621679048002)

data FstSym0 (a1 :: TyFun (a, b) a)

Instances

SingI (FstSym0 :: TyFun (a, b) a -> Type)

Defined in Data.Tuple.Singletons

Methods

sing :: Sing (FstSym0 :: TyFun (a, b) a -> Type)

SuppressUnusedWarnings (FstSym0 :: TyFun (a, b) a -> Type)

Defined in Data.Tuple.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FstSym0 :: TyFun (a, b) a -> Type) (a6989586621679174384 :: (a, b))

Defined in Data.Tuple.Singletons

type Apply (FstSym0 :: TyFun (a, b) a -> Type) (a6989586621679174384 :: (a, b)) = Fst a6989586621679174384

type family FstSym1 (a6989586621679174384 :: (a, b)) :: a where ...

Equations

FstSym1 (a6989586621679174384 :: (a, b)) = Fst a6989586621679174384

data SndSym0 (a1 :: TyFun (a, b) b)

Instances

SingI (SndSym0 :: TyFun (a, b) b -> Type)

Defined in Data.Tuple.Singletons

Methods

sing :: Sing (SndSym0 :: TyFun (a, b) b -> Type)

SuppressUnusedWarnings (SndSym0 :: TyFun (a, b) b -> Type)

Defined in Data.Tuple.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SndSym0 :: TyFun (a, b) b -> Type) (a6989586621679174380 :: (a, b))

Defined in Data.Tuple.Singletons

type Apply (SndSym0 :: TyFun (a, b) b -> Type) (a6989586621679174380 :: (a, b)) = Snd a6989586621679174380

type family SndSym1 (a6989586621679174380 :: (a, b)) :: b where ...

Equations

SndSym1 (a6989586621679174380 :: (a, b)) = Snd a6989586621679174380

data CurrySym0 (a1 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)))

Instances

SingI (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type)

Defined in Data.Tuple.Singletons

Methods

sing :: Sing (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type)

SuppressUnusedWarnings (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type)

Defined in Data.Tuple.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) (a6989586621679174372 :: (a, b) ~> c)

Defined in Data.Tuple.Singletons

type Apply (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) (a6989586621679174372 :: (a, b) ~> c) = CurrySym1 a6989586621679174372

data CurrySym1 (a6989586621679174372 :: (a, b) ~> c) (b1 :: TyFun a (b ~> c))

Instances

SingI1 (CurrySym1 :: ((a, b) ~> c) -> TyFun a (b ~> c) -> Type)

Defined in Data.Tuple.Singletons

Methods

liftSing :: forall (x :: (a, b) ~> c). Sing x -> Sing (CurrySym1 x)

SingI d => SingI (CurrySym1 d :: TyFun a (b ~> c) -> Type)

Defined in Data.Tuple.Singletons

Methods

sing :: Sing (CurrySym1 d)

SuppressUnusedWarnings (CurrySym1 a6989586621679174372 :: TyFun a (b ~> c) -> Type)

Defined in Data.Tuple.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (CurrySym1 a6989586621679174372 :: TyFun a (b ~> c) -> Type) (a6989586621679174373 :: a)

Defined in Data.Tuple.Singletons

type Apply (CurrySym1 a6989586621679174372 :: TyFun a (b ~> c) -> Type) (a6989586621679174373 :: a) = CurrySym2 a6989586621679174372 a6989586621679174373

data CurrySym2 (a6989586621679174372 :: (a, b) ~> c) (a6989586621679174373 :: a) (c1 :: TyFun b c)

Instances

SingI d => SingI1 (CurrySym2 d :: a -> TyFun b c -> Type)

Defined in Data.Tuple.Singletons

Methods

liftSing :: forall (x :: a). Sing x -> Sing (CurrySym2 d x)

SingI2 (CurrySym2 :: ((a, b) ~> c) -> a -> TyFun b c -> Type)

Defined in Data.Tuple.Singletons

Methods

liftSing2 :: forall (x :: (a, b) ~> c) (y :: a). Sing x -> Sing y -> Sing (CurrySym2 x y)

(SingI d1, SingI d2) => SingI (CurrySym2 d1 d2 :: TyFun b c -> Type)

Defined in Data.Tuple.Singletons

Methods

sing :: Sing (CurrySym2 d1 d2)

SuppressUnusedWarnings (CurrySym2 a6989586621679174372 a6989586621679174373 :: TyFun b c -> Type)

Defined in Data.Tuple.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (CurrySym2 a6989586621679174372 a6989586621679174373 :: TyFun b c -> Type) (a6989586621679174374 :: b)

Defined in Data.Tuple.Singletons

type Apply (CurrySym2 a6989586621679174372 a6989586621679174373 :: TyFun b c -> Type) (a6989586621679174374 :: b) = Curry a6989586621679174372 a6989586621679174373 a6989586621679174374

type family CurrySym3 (a6989586621679174372 :: (a, b) ~> c) (a6989586621679174373 :: a) (a6989586621679174374 :: b) :: c where ...

Equations

CurrySym3 (a6989586621679174372 :: (a, b) ~> c) (a6989586621679174373 :: a) (a6989586621679174374 :: b) = Curry a6989586621679174372 a6989586621679174373 a6989586621679174374

data UncurrySym0 (a1 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c))

Instances

SingI (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type)

Defined in Data.Tuple.Singletons

Methods

sing :: Sing (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type)

SuppressUnusedWarnings (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type)

Defined in Data.Tuple.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) (a6989586621679174364 :: a ~> (b ~> c))

Defined in Data.Tuple.Singletons

type Apply (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) (a6989586621679174364 :: a ~> (b ~> c)) = UncurrySym1 a6989586621679174364

data UncurrySym1 (a6989586621679174364 :: a ~> (b ~> c)) (b1 :: TyFun (a, b) c)

Instances

SingI1 (UncurrySym1 :: (a ~> (b ~> c)) -> TyFun (a, b) c -> Type)

Defined in Data.Tuple.Singletons

Methods

liftSing :: forall (x :: a ~> (b ~> c)). Sing x -> Sing (UncurrySym1 x)

SingI d => SingI (UncurrySym1 d :: TyFun (a, b) c -> Type)

Defined in Data.Tuple.Singletons

Methods

sing :: Sing (UncurrySym1 d)

SuppressUnusedWarnings (UncurrySym1 a6989586621679174364 :: TyFun (a, b) c -> Type)

Defined in Data.Tuple.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UncurrySym1 a6989586621679174364 :: TyFun (a, b) c -> Type) (a6989586621679174365 :: (a, b))

Defined in Data.Tuple.Singletons

type Apply (UncurrySym1 a6989586621679174364 :: TyFun (a, b) c -> Type) (a6989586621679174365 :: (a, b)) = Uncurry a6989586621679174364 a6989586621679174365

type family UncurrySym2 (a6989586621679174364 :: a ~> (b ~> c)) (a6989586621679174365 :: (a, b)) :: c where ...

Equations

UncurrySym2 (a6989586621679174364 :: a ~> (b ~> c)) (a6989586621679174365 :: (a, b)) = Uncurry a6989586621679174364 a6989586621679174365

data SwapSym0 (a1 :: TyFun (a, b) (b, a))

Instances

SingI (SwapSym0 :: TyFun (a, b) (b, a) -> Type)

Defined in Data.Tuple.Singletons

Methods

sing :: Sing (SwapSym0 :: TyFun (a, b) (b, a) -> Type)

SuppressUnusedWarnings (SwapSym0 :: TyFun (a, b) (b, a) -> Type)

Defined in Data.Tuple.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) (a6989586621679174358 :: (a, b))

Defined in Data.Tuple.Singletons

type Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) (a6989586621679174358 :: (a, b)) = Swap a6989586621679174358

type family SwapSym1 (a6989586621679174358 :: (a, b)) :: (b, a) where ...

Equations

SwapSym1 (a6989586621679174358 :: (a, b)) = Swap a6989586621679174358