Data.Singletons.SuppressUnusedWarnings

Documentation

class SuppressUnusedWarnings (t :: k) where

This class (which users should never see) is to be instantiated in order to use an otherwise-unused data constructor, such as the "kind-inference" data constructor for defunctionalization symbols.

Minimal complete definition

suppressUnusedWarnings

Methods

suppressUnusedWarnings :: ()

Instances

SuppressUnusedWarnings ShowParenSym2

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (&&@#@$$)

Defined in Data.Singletons.Prelude.Bool

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (||@#@$$)

Defined in Data.Singletons.Prelude.Bool

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowParenSym1

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ThenCmpSym1

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (~>@#@$$)

Defined in Data.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (^@#@$$)

Defined in Data.Singletons.TypeLits.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings DivSym1

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ModSym1

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings QuotSym1

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings RemSym1

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings QuotRemSym1

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings DivModSym1

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (<>@#@$$)

Defined in Data.Singletons.TypeLits.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowCharSym1

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowStringSym1

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings NotSym0

Defined in Data.Singletons.Prelude.Bool

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (&&@#@$)

Defined in Data.Singletons.Prelude.Bool

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (||@#@$)

Defined in Data.Singletons.Prelude.Bool

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowParenSym0

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings AndSym0

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings OrSym0

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings UnlinesSym0

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings UnwordsSym0

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ThenCmpSym0

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (~>@#@$)

Defined in Data.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings DemoteSym0

Defined in Data.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (^@#@$)

Defined in Data.Singletons.TypeLits.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings DivSym0

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ModSym0

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings QuotSym0

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings RemSym0

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings QuotRemSym0

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings DivModSym0

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings KnownNatSym0

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings Log2Sym0

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowCharSym0

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowStringSym0

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (<>@#@$)

Defined in Data.Singletons.TypeLits.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings KnownSymbolSym0

Defined in Data.Singletons.TypeLits

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowCommaSpaceSym0

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowSpaceSym0

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings XorSym0

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (NubBySym1 :: (TyFun a6989586621679472919 (TyFun a6989586621679472919 Bool -> Type) -> Type) -> TyFun [a6989586621679472919] [a6989586621679472919] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (PartitionSym1 :: (TyFun a6989586621679472928 Bool -> Type) -> TyFun [a6989586621679472928] ([a6989586621679472928], [a6989586621679472928]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (BreakSym1 :: (TyFun a6989586621679472940 Bool -> Type) -> TyFun [a6989586621679472940] ([a6989586621679472940], [a6989586621679472940]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SpanSym1 :: (TyFun a6989586621679472941 Bool -> Type) -> TyFun [a6989586621679472941] ([a6989586621679472941], [a6989586621679472941]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupBySym1 :: (TyFun a6989586621679472931 (TyFun a6989586621679472931 Bool -> Type) -> Type) -> TyFun [a6989586621679472931] [[a6989586621679472931]] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679472943 Bool -> Type) -> TyFun [a6989586621679472943] [a6989586621679472943] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679472944 Bool -> Type) -> TyFun [a6989586621679472944] [a6989586621679472944] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FilterSym1 :: (TyFun a6989586621679472952 Bool -> Type) -> TyFun [a6989586621679472952] [a6989586621679472952] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FindSym1 :: (TyFun a6989586621679472951 Bool -> Type) -> TyFun [a6989586621679472951] (Maybe a6989586621679472951) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (InsertBySym1 :: (TyFun a6989586621679472955 (TyFun a6989586621679472955 Ordering -> Type) -> Type) -> TyFun a6989586621679472955 (TyFun [a6989586621679472955] [a6989586621679472955] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (InsertBySym2 :: (TyFun a6989586621679472955 (TyFun a6989586621679472955 Ordering -> Type) -> Type) -> a6989586621679472955 -> TyFun [a6989586621679472955] [a6989586621679472955] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SortBySym1 :: (TyFun a6989586621679472956 (TyFun a6989586621679472956 Ordering -> Type) -> Type) -> TyFun [a6989586621679472956] [a6989586621679472956] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DeleteBySym1 :: (TyFun a6989586621679472958 (TyFun a6989586621679472958 Bool -> Type) -> Type) -> TyFun a6989586621679472958 (TyFun [a6989586621679472958] [a6989586621679472958] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DeleteBySym2 :: (TyFun a6989586621679472958 (TyFun a6989586621679472958 Bool -> Type) -> Type) -> a6989586621679472958 -> TyFun [a6989586621679472958] [a6989586621679472958] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DeleteFirstsBySym2 :: (TyFun a6989586621679472957 (TyFun a6989586621679472957 Bool -> Type) -> Type) -> [a6989586621679472957] -> TyFun [a6989586621679472957] [a6989586621679472957] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DeleteFirstsBySym1 :: (TyFun a6989586621679472957 (TyFun a6989586621679472957 Bool -> Type) -> Type) -> TyFun [a6989586621679472957] (TyFun [a6989586621679472957] [a6989586621679472957] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnionBySym2 :: (TyFun a6989586621679472917 (TyFun a6989586621679472917 Bool -> Type) -> Type) -> [a6989586621679472917] -> TyFun [a6989586621679472917] [a6989586621679472917] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnionBySym1 :: (TyFun a6989586621679472917 (TyFun a6989586621679472917 Bool -> Type) -> Type) -> TyFun [a6989586621679472917] (TyFun [a6989586621679472917] [a6989586621679472917] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FindIndicesSym1 :: (TyFun a6989586621679472947 Bool -> Type) -> TyFun [a6989586621679472947] [Nat] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FindIndexSym1 :: (TyFun a6989586621679472948 Bool -> Type) -> TyFun [a6989586621679472948] (Maybe Nat) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679473015 (TyFun a6989586621679473015 a6989586621679473015 -> Type) -> Type) -> TyFun [a6989586621679473015] [a6989586621679473015] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679473018 (TyFun a6989586621679473018 a6989586621679473018 -> Type) -> Type) -> TyFun [a6989586621679473018] [a6989586621679473018] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (AnySym1 :: (TyFun a6989586621679473021 Bool -> Type) -> TyFun [a6989586621679473021] Bool -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IntersectBySym2 :: (TyFun a6989586621679472945 (TyFun a6989586621679472945 Bool -> Type) -> Type) -> [a6989586621679472945] -> TyFun [a6989586621679472945] [a6989586621679472945] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IntersectBySym1 :: (TyFun a6989586621679472945 (TyFun a6989586621679472945 Bool -> Type) -> Type) -> TyFun [a6989586621679472945] (TyFun [a6989586621679472945] [a6989586621679472945] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (AllSym1 :: (TyFun a6989586621679473022 Bool -> Type) -> TyFun [a6989586621679473022] Bool -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Foldr1Sym1 :: (TyFun a6989586621679473026 (TyFun a6989586621679473026 a6989586621679473026 -> Type) -> Type) -> TyFun [a6989586621679473026] a6989586621679473026 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Foldl1Sym1 :: (TyFun a6989586621679473028 (TyFun a6989586621679473028 a6989586621679473028 -> Type) -> Type) -> TyFun [a6989586621679473028] a6989586621679473028 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MaximumBySym1 :: (TyFun a6989586621679472954 (TyFun a6989586621679472954 Ordering -> Type) -> Type) -> TyFun [a6989586621679472954] a6989586621679472954 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MinimumBySym1 :: (TyFun a6989586621679472953 (TyFun a6989586621679472953 Ordering -> Type) -> Type) -> TyFun [a6989586621679472953] a6989586621679472953 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Foldl1'Sym1 :: (TyFun a6989586621679473027 (TyFun a6989586621679473027 a6989586621679473027 -> Type) -> Type) -> TyFun [a6989586621679473027] a6989586621679473027 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DropWhileEndSym1 :: (TyFun a6989586621679472942 Bool -> Type) -> TyFun [a6989586621679472942] [a6989586621679472942] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowListWithSym2 :: (TyFun a6989586621679729864 (TyFun Symbol Symbol -> Type) -> Type) -> [a6989586621679729864] -> TyFun Symbol Symbol -> *)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowListWithSym1 :: (TyFun a6989586621679729864 (TyFun Symbol Symbol -> Type) -> Type) -> TyFun [a6989586621679729864] (TyFun Symbol Symbol -> Type) -> *)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (NubBySym1 :: (TyFun a6989586621679833967 (TyFun a6989586621679833967 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833967) (NonEmpty a6989586621679833967) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupBySym1 :: (TyFun a6989586621679833988 (TyFun a6989586621679833988 Bool -> Type) -> Type) -> TyFun [a6989586621679833988] [NonEmpty a6989586621679833988] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupBy1Sym1 :: (TyFun a6989586621679833982 (TyFun a6989586621679833982 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833982) (NonEmpty (NonEmpty a6989586621679833982)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679833995 Bool -> Type) -> TyFun (NonEmpty a6989586621679833995) [a6989586621679833995] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679833994 Bool -> Type) -> TyFun (NonEmpty a6989586621679833994) [a6989586621679833994] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SpanSym1 :: (TyFun a6989586621679833993 Bool -> Type) -> TyFun (NonEmpty a6989586621679833993) ([a6989586621679833993], [a6989586621679833993]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (BreakSym1 :: (TyFun a6989586621679833992 Bool -> Type) -> TyFun (NonEmpty a6989586621679833992) ([a6989586621679833992], [a6989586621679833992]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FilterSym1 :: (TyFun a6989586621679833991 Bool -> Type) -> TyFun (NonEmpty a6989586621679833991) [a6989586621679833991] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (PartitionSym1 :: (TyFun a6989586621679833990 Bool -> Type) -> TyFun (NonEmpty a6989586621679833990) ([a6989586621679833990], [a6989586621679833990]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SortBySym1 :: (TyFun a6989586621679833965 (TyFun a6989586621679833965 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833965) (NonEmpty a6989586621679833965) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679834002 (TyFun a6989586621679834002 a6989586621679834002 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679834002) (NonEmpty a6989586621679834002) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679834001 (TyFun a6989586621679834001 a6989586621679834001 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679834001) (NonEmpty a6989586621679834001) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UntilSym2 :: (TyFun a6989586621680044097 Bool -> Type) -> (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> TyFun a6989586621680044097 a6989586621680044097 -> *)

Defined in Data.Promotion.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UntilSym1 :: (TyFun a6989586621680044097 Bool -> Type) -> TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> *)

Defined in Data.Promotion.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((++@#@$$) :: [a6989586621679448469] -> TyFun [a6989586621679448469] [a6989586621679448469] -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((!!@#@$$) :: [a6989586621679472921] -> TyFun Nat a6989586621679472921 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnionSym1 :: [a6989586621679472916] -> TyFun [a6989586621679472916] [a6989586621679472916] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((\\@#@$$) :: [a6989586621679472959] -> TyFun [a6989586621679472959] [a6989586621679472959] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsPrefixOfSym1 :: [a6989586621679473004] -> TyFun [a6989586621679473004] Bool -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsInfixOfSym1 :: [a6989586621679473002] -> TyFun [a6989586621679473002] Bool -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IntersectSym1 :: [a6989586621679472946] -> TyFun [a6989586621679472946] [a6989586621679472946] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IntercalateSym1 :: [a6989586621679473035] -> TyFun [[a6989586621679473035]] [a6989586621679473035] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsSuffixOfSym1 :: [a6989586621679473003] -> TyFun [a6989586621679473003] Bool -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowListSym1 :: [a6989586621679729880] -> TyFun Symbol Symbol -> *)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsPrefixOfSym1 :: [a6989586621679833977] -> TyFun (NonEmpty a6989586621679833977) Bool -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (StripPrefixSym1 :: [a6989586621680003314] -> TyFun [a6989586621680003314] (Maybe [a6989586621680003314]) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrecSym2 :: Nat -> a6989586621679729880 -> TyFun Symbol Symbol -> *)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun [a6989586621679472938] [a6989586621679472938] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun [a6989586621679472939] [a6989586621679472939] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun [a6989586621679472937] ([a6989586621679472937], [a6989586621679472937]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ReplicateSym1 :: Nat -> TyFun a6989586621679472923 [a6989586621679472923] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrecSym1 :: Nat -> TyFun a6989586621679729880 (TyFun Symbol Symbol -> Type) -> *)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun (NonEmpty a6989586621679833998) [a6989586621679833998] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun (NonEmpty a6989586621679833997) [a6989586621679833997] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun (NonEmpty a6989586621679833996) ([a6989586621679833996], [a6989586621679833996]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((:@#@$$) :: a3530822107858468865 -> TyFun [a3530822107858468865] [a3530822107858468865] -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((:|@#@$$) :: a6989586621679068306 -> TyFun [a6989586621679068306] (NonEmpty a6989586621679068306) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Bool_Sym2 :: a6989586621679308852 -> a6989586621679308852 -> TyFun Bool a6989586621679308852 -> *)

Defined in Data.Singletons.Prelude.Bool

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Bool_Sym1 :: a6989586621679308852 -> TyFun a6989586621679308852 (TyFun Bool a6989586621679308852 -> Type) -> *)

Defined in Data.Singletons.Prelude.Bool

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((==@#@$$) :: a6989586621679311772 -> TyFun a6989586621679311772 Bool -> *)

Defined in Data.Singletons.Prelude.Eq

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((/=@#@$$) :: a6989586621679311772 -> TyFun a6989586621679311772 Bool -> *)

Defined in Data.Singletons.Prelude.Eq

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((<=@#@$$) :: a6989586621679323527 -> TyFun a6989586621679323527 Bool -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (CompareSym1 :: a6989586621679323527 -> TyFun a6989586621679323527 Ordering -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MinSym1 :: a6989586621679323527 -> TyFun a6989586621679323527 a6989586621679323527 -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MaxSym1 :: a6989586621679323527 -> TyFun a6989586621679323527 a6989586621679323527 -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((>=@#@$$) :: a6989586621679323527 -> TyFun a6989586621679323527 Bool -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((>@#@$$) :: a6989586621679323527 -> TyFun a6989586621679323527 Bool -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((<@#@$$) :: a6989586621679323527 -> TyFun a6989586621679323527 Bool -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromMaybeSym1 :: a6989586621679430982 -> TyFun (Maybe a6989586621679430982) a6989586621679430982 -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((-@#@$$) :: a6989586621679440260 -> TyFun a6989586621679440260 a6989586621679440260 -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((+@#@$$) :: a6989586621679440260 -> TyFun a6989586621679440260 a6989586621679440260 -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((*@#@$$) :: a6989586621679440260 -> TyFun a6989586621679440260 a6989586621679440260 -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SubtractSym1 :: a6989586621679442533 -> TyFun a6989586621679442533 a6989586621679442533 -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (AsTypeOfSym1 :: a6989586621679448459 -> TyFun a6989586621679448459 a6989586621679448459 -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (InsertSym1 :: a6989586621679472933 -> TyFun [a6989586621679472933] [a6989586621679472933] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DeleteSym1 :: a6989586621679472960 -> TyFun [a6989586621679472960] [a6989586621679472960] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ElemIndicesSym1 :: a6989586621679472949 -> TyFun [a6989586621679472949] [Nat] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ElemIndexSym1 :: a6989586621679472950 -> TyFun [a6989586621679472950] (Maybe Nat) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (NotElemSym1 :: a6989586621679473000 -> TyFun [a6989586621679473000] Bool -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ElemSym1 :: a6989586621679473001 -> TyFun [a6989586621679473001] Bool -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IntersperseSym1 :: a6989586621679473036 -> TyFun [a6989586621679473036] [a6989586621679473036] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsSym1 :: a6989586621679729865 -> TyFun Symbol Symbol -> *)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IntersperseSym1 :: a6989586621679834000 -> TyFun (NonEmpty a6989586621679834000) (NonEmpty a6989586621679834000) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (InsertSym1 :: a6989586621679834007 -> TyFun [a6989586621679834007] (NonEmpty a6989586621679834007) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((<|@#@$$) :: a6989586621679834018 -> TyFun (NonEmpty a6989586621679834018) (NonEmpty a6989586621679834018) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ConsSym1 :: a6989586621679834017 -> TyFun (NonEmpty a6989586621679834017) (NonEmpty a6989586621679834017) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EnumFromThenToSym1 :: a6989586621679916796 -> TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> *)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EnumFromThenToSym2 :: a6989586621679916796 -> a6989586621679916796 -> TyFun a6989586621679916796 [a6989586621679916796] -> *)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EnumFromToSym1 :: a6989586621679916796 -> TyFun a6989586621679916796 [a6989586621679916796] -> *)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SameKindSym1 :: k6989586621679027070 -> TyFun k6989586621679027070 Constraint -> *)

Defined in Data.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((!!@#@$$) :: NonEmpty a6989586621679833976 -> TyFun Nat a6989586621679833976 -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (NubBySym0 :: TyFun (TyFun a6989586621679472919 (TyFun a6989586621679472919 Bool -> Type) -> Type) (TyFun [a6989586621679472919] [a6989586621679472919] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (PartitionSym0 :: TyFun (TyFun a6989586621679472928 Bool -> Type) (TyFun [a6989586621679472928] ([a6989586621679472928], [a6989586621679472928]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (BreakSym0 :: TyFun (TyFun a6989586621679472940 Bool -> Type) (TyFun [a6989586621679472940] ([a6989586621679472940], [a6989586621679472940]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SpanSym0 :: TyFun (TyFun a6989586621679472941 Bool -> Type) (TyFun [a6989586621679472941] ([a6989586621679472941], [a6989586621679472941]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupBySym0 :: TyFun (TyFun a6989586621679472931 (TyFun a6989586621679472931 Bool -> Type) -> Type) (TyFun [a6989586621679472931] [[a6989586621679472931]] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DropWhileSym0 :: TyFun (TyFun a6989586621679472943 Bool -> Type) (TyFun [a6989586621679472943] [a6989586621679472943] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (TyFun a6989586621679472944 Bool -> Type) (TyFun [a6989586621679472944] [a6989586621679472944] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FilterSym0 :: TyFun (TyFun a6989586621679472952 Bool -> Type) (TyFun [a6989586621679472952] [a6989586621679472952] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FindSym0 :: TyFun (TyFun a6989586621679472951 Bool -> Type) (TyFun [a6989586621679472951] (Maybe a6989586621679472951) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (InsertBySym0 :: TyFun (TyFun a6989586621679472955 (TyFun a6989586621679472955 Ordering -> Type) -> Type) (TyFun a6989586621679472955 (TyFun [a6989586621679472955] [a6989586621679472955] -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SortBySym0 :: TyFun (TyFun a6989586621679472956 (TyFun a6989586621679472956 Ordering -> Type) -> Type) (TyFun [a6989586621679472956] [a6989586621679472956] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DeleteBySym0 :: TyFun (TyFun a6989586621679472958 (TyFun a6989586621679472958 Bool -> Type) -> Type) (TyFun a6989586621679472958 (TyFun [a6989586621679472958] [a6989586621679472958] -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DeleteFirstsBySym0 :: TyFun (TyFun a6989586621679472957 (TyFun a6989586621679472957 Bool -> Type) -> Type) (TyFun [a6989586621679472957] (TyFun [a6989586621679472957] [a6989586621679472957] -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnionBySym0 :: TyFun (TyFun a6989586621679472917 (TyFun a6989586621679472917 Bool -> Type) -> Type) (TyFun [a6989586621679472917] (TyFun [a6989586621679472917] [a6989586621679472917] -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FindIndicesSym0 :: TyFun (TyFun a6989586621679472947 Bool -> Type) (TyFun [a6989586621679472947] [Nat] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FindIndexSym0 :: TyFun (TyFun a6989586621679472948 Bool -> Type) (TyFun [a6989586621679472948] (Maybe Nat) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679473015 (TyFun a6989586621679473015 a6989586621679473015 -> Type) -> Type) (TyFun [a6989586621679473015] [a6989586621679473015] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679473018 (TyFun a6989586621679473018 a6989586621679473018 -> Type) -> Type) (TyFun [a6989586621679473018] [a6989586621679473018] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (AnySym0 :: TyFun (TyFun a6989586621679473021 Bool -> Type) (TyFun [a6989586621679473021] Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IntersectBySym0 :: TyFun (TyFun a6989586621679472945 (TyFun a6989586621679472945 Bool -> Type) -> Type) (TyFun [a6989586621679472945] (TyFun [a6989586621679472945] [a6989586621679472945] -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (AllSym0 :: TyFun (TyFun a6989586621679473022 Bool -> Type) (TyFun [a6989586621679473022] Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (TyFun a6989586621679473026 (TyFun a6989586621679473026 a6989586621679473026 -> Type) -> Type) (TyFun [a6989586621679473026] a6989586621679473026 -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (TyFun a6989586621679473028 (TyFun a6989586621679473028 a6989586621679473028 -> Type) -> Type) (TyFun [a6989586621679473028] a6989586621679473028 -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MaximumBySym0 :: TyFun (TyFun a6989586621679472954 (TyFun a6989586621679472954 Ordering -> Type) -> Type) (TyFun [a6989586621679472954] a6989586621679472954 -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MinimumBySym0 :: TyFun (TyFun a6989586621679472953 (TyFun a6989586621679472953 Ordering -> Type) -> Type) (TyFun [a6989586621679472953] a6989586621679472953 -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Foldl1'Sym0 :: TyFun (TyFun a6989586621679473027 (TyFun a6989586621679473027 a6989586621679473027 -> Type) -> Type) (TyFun [a6989586621679473027] a6989586621679473027 -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (TyFun a6989586621679472942 Bool -> Type) (TyFun [a6989586621679472942] [a6989586621679472942] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (TyFun a6989586621679729864 (TyFun Symbol Symbol -> Type) -> Type) (TyFun [a6989586621679729864] (TyFun Symbol Symbol -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (NubBySym0 :: TyFun (TyFun a6989586621679833967 (TyFun a6989586621679833967 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679833967) (NonEmpty a6989586621679833967) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupBySym0 :: TyFun (TyFun a6989586621679833988 (TyFun a6989586621679833988 Bool -> Type) -> Type) (TyFun [a6989586621679833988] [NonEmpty a6989586621679833988] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (TyFun a6989586621679833982 (TyFun a6989586621679833982 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679833982) (NonEmpty (NonEmpty a6989586621679833982)) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (TyFun a6989586621679833995 Bool -> Type) (TyFun (NonEmpty a6989586621679833995) [a6989586621679833995] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DropWhileSym0 :: TyFun (TyFun a6989586621679833994 Bool -> Type) (TyFun (NonEmpty a6989586621679833994) [a6989586621679833994] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SpanSym0 :: TyFun (TyFun a6989586621679833993 Bool -> Type) (TyFun (NonEmpty a6989586621679833993) ([a6989586621679833993], [a6989586621679833993]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (BreakSym0 :: TyFun (TyFun a6989586621679833992 Bool -> Type) (TyFun (NonEmpty a6989586621679833992) ([a6989586621679833992], [a6989586621679833992]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FilterSym0 :: TyFun (TyFun a6989586621679833991 Bool -> Type) (TyFun (NonEmpty a6989586621679833991) [a6989586621679833991] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (PartitionSym0 :: TyFun (TyFun a6989586621679833990 Bool -> Type) (TyFun (NonEmpty a6989586621679833990) ([a6989586621679833990], [a6989586621679833990]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SortBySym0 :: TyFun (TyFun a6989586621679833965 (TyFun a6989586621679833965 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679833965) (NonEmpty a6989586621679833965) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679834002 (TyFun a6989586621679834002 a6989586621679834002 -> Type) -> Type) (TyFun (NonEmpty a6989586621679834002) (NonEmpty a6989586621679834002) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679834001 (TyFun a6989586621679834001 a6989586621679834001 -> Type) -> Type) (TyFun (NonEmpty a6989586621679834001) (NonEmpty a6989586621679834001) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UntilSym0 :: TyFun (TyFun a6989586621680044097 Bool -> Type) (TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ConcatSym0 :: TyFun [[a6989586621679473025]] [a6989586621679473025] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TransposeSym0 :: TyFun [[a6989586621679472922]] [[a6989586621679472922]] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (CatMaybesSym0 :: TyFun [Maybe a6989586621679430979] [a6989586621679430979] -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a6989586621679430980] (Maybe a6989586621679430980) -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679448469] (TyFun [a6989586621679448469] [a6989586621679448469] -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((!!@#@$) :: TyFun [a6989586621679472921] (TyFun Nat a6989586621679472921 -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (LengthSym0 :: TyFun [a6989586621679472924] Nat -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ProductSym0 :: TyFun [a6989586621679472925] a6989586621679472925 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SumSym0 :: TyFun [a6989586621679472926] a6989586621679472926 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621679472936] [[a6989586621679472936]] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SortSym0 :: TyFun [a6989586621679472932] [a6989586621679472932] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnionSym0 :: TyFun [a6989586621679472916] (TyFun [a6989586621679472916] [a6989586621679472916] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((\\@#@$) :: TyFun [a6989586621679472959] (TyFun [a6989586621679472959] [a6989586621679472959] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (NubSym0 :: TyFun [a6989586621679472920] [a6989586621679472920] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679473004] (TyFun [a6989586621679473004] Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621679473005] [[a6989586621679473005]] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621679473006] [[a6989586621679473006]] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsInfixOfSym0 :: TyFun [a6989586621679473002] (TyFun [a6989586621679473002] Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IntersectSym0 :: TyFun [a6989586621679472946] (TyFun [a6989586621679472946] [a6989586621679472946] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MaximumSym0 :: TyFun [a6989586621679472935] a6989586621679472935 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MinimumSym0 :: TyFun [a6989586621679472934] a6989586621679472934 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (PermutationsSym0 :: TyFun [a6989586621679473031] [[a6989586621679473031]] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SubsequencesSym0 :: TyFun [a6989586621679473034] [[a6989586621679473034]] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IntercalateSym0 :: TyFun [a6989586621679473035] (TyFun [[a6989586621679473035]] [a6989586621679473035] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ReverseSym0 :: TyFun [a6989586621679473037] [a6989586621679473037] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsSuffixOfSym0 :: TyFun [a6989586621679473003] (TyFun [a6989586621679473003] Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (NullSym0 :: TyFun [a6989586621679473038] Bool -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (InitSym0 :: TyFun [a6989586621679473039] [a6989586621679473039] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TailSym0 :: TyFun [a6989586621679473040] [a6989586621679473040] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (LastSym0 :: TyFun [a6989586621679473041] a6989586621679473041 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (HeadSym0 :: TyFun [a6989586621679473042] a6989586621679473042 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621679729880] (TyFun Symbol Symbol -> Type) -> *)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679833977] (TyFun (NonEmpty a6989586621679833977) Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621679833989] [NonEmpty a6989586621679833989] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621679834015] (NonEmpty a6989586621679834015) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621679834009] (NonEmpty [a6989586621679834009]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621679834008] (NonEmpty [a6989586621679834008]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621679834026] (Maybe (NonEmpty a6989586621679834026)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (StripPrefixSym0 :: TyFun [a6989586621680003314] (TyFun [a6989586621680003314] (Maybe [a6989586621680003314]) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a6989586621679430981) [a6989586621679430981] -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a6989586621679430983) a6989586621679430983 -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679430984) Bool -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679430985) Bool -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DropSym0 :: TyFun Nat (TyFun [a6989586621679472938] [a6989586621679472938] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (TyFun [a6989586621679472939] [a6989586621679472939] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (TyFun [a6989586621679472937] ([a6989586621679472937], [a6989586621679472937]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ReplicateSym0 :: TyFun Nat (TyFun a6989586621679472923 [a6989586621679472923] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679729880 (TyFun Symbol Symbol -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679833998) [a6989586621679833998] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679833997) [a6989586621679833997] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679833996) ([a6989586621679833996], [a6989586621679833996]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromIntegerSym0 :: TyFun Nat a6989586621679440260 -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679916796 -> *)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621679439496 -> *)

Defined in Data.Singletons.Prelude.IsString

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (JustSym0 :: TyFun a3530822107858468865 (Maybe a3530822107858468865) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((:@#@$) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((:|@#@$) :: TyFun a6989586621679068306 (TyFun [a6989586621679068306] (NonEmpty a6989586621679068306) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Bool_Sym0 :: TyFun a6989586621679308852 (TyFun a6989586621679308852 (TyFun Bool a6989586621679308852 -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Bool

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((==@#@$) :: TyFun a6989586621679311772 (TyFun a6989586621679311772 Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.Eq

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((/=@#@$) :: TyFun a6989586621679311772 (TyFun a6989586621679311772 Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.Eq

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((<=@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (CompareSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Ordering -> Type) -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type) -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type) -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((>=@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((>@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((<@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a6989586621679430982 (TyFun (Maybe a6989586621679430982) a6989586621679430982 -> Type) -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (NegateSym0 :: TyFun a6989586621679440260 a6989586621679440260 -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((-@#@$) :: TyFun a6989586621679440260 (TyFun a6989586621679440260 a6989586621679440260 -> Type) -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((+@#@$) :: TyFun a6989586621679440260 (TyFun a6989586621679440260 a6989586621679440260 -> Type) -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SignumSym0 :: TyFun a6989586621679440260 a6989586621679440260 -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (AbsSym0 :: TyFun a6989586621679440260 a6989586621679440260 -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((*@#@$) :: TyFun a6989586621679440260 (TyFun a6989586621679440260 a6989586621679440260 -> Type) -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SubtractSym0 :: TyFun a6989586621679442533 (TyFun a6989586621679442533 a6989586621679442533 -> Type) -> *)

Defined in Data.Singletons.Prelude.Num

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679448459 (TyFun a6989586621679448459 a6989586621679448459 -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679448468 a6989586621679448468 -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621679472933 (TyFun [a6989586621679472933] [a6989586621679472933] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DeleteSym0 :: TyFun a6989586621679472960 (TyFun [a6989586621679472960] [a6989586621679472960] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ElemIndicesSym0 :: TyFun a6989586621679472949 (TyFun [a6989586621679472949] [Nat] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ElemIndexSym0 :: TyFun a6989586621679472950 (TyFun [a6989586621679472950] (Maybe Nat) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621679473000 (TyFun [a6989586621679473000] Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621679473001 (TyFun [a6989586621679473001] Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679473036 (TyFun [a6989586621679473036] [a6989586621679473036] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621679729880 Symbol -> *)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621679729865 (TyFun Symbol Symbol -> Type) -> *)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679834000 (TyFun (NonEmpty a6989586621679834000) (NonEmpty a6989586621679834000) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621679834007 (TyFun [a6989586621679834007] (NonEmpty a6989586621679834007) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((<|@#@$) :: TyFun a6989586621679834018 (TyFun (NonEmpty a6989586621679834018) (NonEmpty a6989586621679834018) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621679834017 (TyFun (NonEmpty a6989586621679834017) (NonEmpty a6989586621679834017) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> *)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679916796 Nat -> *)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (PredSym0 :: TyFun a6989586621679916796 a6989586621679916796 -> *)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SuccSym0 :: TyFun a6989586621679916796 a6989586621679916796 -> *)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SameKindSym0 :: TyFun k6989586621679027070 (TyFun k6989586621679027070 Constraint -> *) -> *)

Defined in Data.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (KindOfSym0 :: TyFun k6989586621679027073 * -> *)

Defined in Data.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (AbsurdSym0 :: TyFun Void a6989586621679303847 -> *)

Defined in Data.Singletons.Prelude.Void

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621679833968) (NonEmpty a6989586621679833968) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621679833976) (TyFun Nat a6989586621679833976 -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621679833983) (NonEmpty (NonEmpty a6989586621679833983)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621679834014) [a6989586621679834014] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621679833999) (NonEmpty a6989586621679833999) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621679834016) (NonEmpty a6989586621679834016) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621679834019) [a6989586621679834019] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621679834020) a6989586621679834020 -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621679834021) [a6989586621679834021] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621679834022) a6989586621679834022 -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621679834025) (a6989586621679834025, Maybe (NonEmpty a6989586621679834025)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621679834029) Nat -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621679833966)) (NonEmpty (NonEmpty a6989586621679833966)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FoldlSym2 :: (TyFun b6989586621679273480 (TyFun a6989586621679273479 b6989586621679273480 -> Type) -> Type) -> b6989586621679273480 -> TyFun [a6989586621679273479] b6989586621679273480 -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FoldlSym1 :: (TyFun b6989586621679273480 (TyFun a6989586621679273479 b6989586621679273480 -> Type) -> Type) -> TyFun b6989586621679273480 (TyFun [a6989586621679273479] b6989586621679273480 -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ComparingSym2 :: (TyFun b6989586621679323517 a6989586621679323516 -> Type) -> b6989586621679323517 -> TyFun b6989586621679323517 Ordering -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ComparingSym1 :: (TyFun b6989586621679323517 a6989586621679323516 -> Type) -> TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapMaybeSym1 :: (TyFun a6989586621679430977 (Maybe b6989586621679430978) -> Type) -> TyFun [a6989586621679430977] [b6989586621679430978] -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (($!@#@$$) :: (TyFun a6989586621679448455 b6989586621679448456 -> Type) -> TyFun a6989586621679448455 b6989586621679448456 -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (($@#@$$) :: (TyFun a6989586621679448457 b6989586621679448458 -> Type) -> TyFun a6989586621679448457 b6989586621679448458 -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679448470 b6989586621679448471 -> Type) -> TyFun [a6989586621679448470] [b6989586621679448471] -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FoldrSym2 :: (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) -> b6989586621679448473 -> TyFun [a6989586621679448472] b6989586621679448473 -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FoldrSym1 :: (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) -> TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnfoldrSym1 :: (TyFun b6989586621679473007 (Maybe (a6989586621679473008, b6989586621679473007)) -> Type) -> TyFun b6989586621679473007 [a6989586621679473008] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679473016 (TyFun b6989586621679473017 b6989586621679473017 -> Type) -> Type) -> TyFun b6989586621679473017 (TyFun [a6989586621679473016] [b6989586621679473017] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679473016 (TyFun b6989586621679473017 b6989586621679473017 -> Type) -> Type) -> b6989586621679473017 -> TyFun [a6989586621679473016] [b6989586621679473017] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679473019 (TyFun a6989586621679473020 b6989586621679473019 -> Type) -> Type) -> TyFun b6989586621679473019 (TyFun [a6989586621679473020] [b6989586621679473019] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679473019 (TyFun a6989586621679473020 b6989586621679473019 -> Type) -> Type) -> b6989586621679473019 -> TyFun [a6989586621679473020] [b6989586621679473019] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ConcatMapSym1 :: (TyFun a6989586621679473023 [b6989586621679473024] -> Type) -> TyFun [a6989586621679473023] [b6989586621679473024] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Foldl'Sym2 :: (TyFun b6989586621679473030 (TyFun a6989586621679473029 b6989586621679473030 -> Type) -> Type) -> b6989586621679473030 -> TyFun [a6989586621679473029] b6989586621679473030 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Foldl'Sym1 :: (TyFun b6989586621679473030 (TyFun a6989586621679473029 b6989586621679473030 -> Type) -> Type) -> TyFun b6989586621679473030 (TyFun [a6989586621679473029] b6989586621679473030 -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupWithSym1 :: (TyFun a6989586621679833987 b6989586621679833986 -> Type) -> TyFun [a6989586621679833987] [NonEmpty a6989586621679833987] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupAllWithSym1 :: (TyFun a6989586621679833985 b6989586621679833984 -> Type) -> TyFun [a6989586621679833985] [NonEmpty a6989586621679833985] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupWith1Sym1 :: (TyFun a6989586621679833981 b6989586621679833980 -> Type) -> TyFun (NonEmpty a6989586621679833981) (NonEmpty (NonEmpty a6989586621679833981)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679834010 b6989586621679834011 -> Type) -> TyFun (NonEmpty a6989586621679834010) (NonEmpty b6989586621679834011) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SortWithSym1 :: (TyFun a6989586621679833964 o6989586621679833963 -> Type) -> TyFun (NonEmpty a6989586621679833964) (NonEmpty a6989586621679833964) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupAllWith1Sym1 :: (TyFun a6989586621679833979 b6989586621679833978 -> Type) -> TyFun (NonEmpty a6989586621679833979) (NonEmpty (NonEmpty a6989586621679833979)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) -> b6989586621679834005 -> TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) -> TyFun b6989586621679834005 (TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) -> b6989586621679834004 -> TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) -> TyFun b6989586621679834004 (TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnfoldrSym1 :: (TyFun a6989586621679834023 (b6989586621679834024, Maybe a6989586621679834023) -> Type) -> TyFun a6989586621679834023 (NonEmpty b6989586621679834024) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnfoldSym1 :: (TyFun a6989586621679834027 (b6989586621679834028, Maybe a6989586621679834027) -> Type) -> TyFun a6989586621679834027 (NonEmpty b6989586621679834028) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipSym1 :: [a6989586621679472998] -> TyFun [b6989586621679472999] [(a6989586621679472998, b6989586621679472999)] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GenericIndexSym1 :: [a6989586621680003259] -> TyFun i6989586621680003258 a6989586621680003259 -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple2Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Maybe_Sym2 :: b6989586621679429864 -> (TyFun a6989586621679429865 b6989586621679429864 -> Type) -> TyFun (Maybe a6989586621679429865) b6989586621679429864 -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Maybe_Sym1 :: b6989586621679429864 -> TyFun (TyFun a6989586621679429865 b6989586621679429864 -> Type) (TyFun (Maybe a6989586621679429865) b6989586621679429864 -> Type) -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SeqSym1 :: a6989586621679448453 -> TyFun b6989586621679448454 b6989586621679448454 -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ConstSym1 :: a6989586621679448466 -> TyFun b6989586621679448467 a6989586621679448466 -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (LookupSym1 :: a6989586621679472929 -> TyFun [(a6989586621679472929, b6989586621679472930)] (Maybe b6989586621679472930) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((&@#@$$) :: a6989586621679824150 -> TyFun (TyFun a6989586621679824150 b6989586621679824151 -> Type) b6989586621679824151 -> *)

Defined in Data.Singletons.Prelude.Function

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GenericReplicateSym1 :: i6989586621680003256 -> TyFun a6989586621680003257 [a6989586621680003257] -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GenericSplitAtSym1 :: i6989586621680003260 -> TyFun [a6989586621680003261] ([a6989586621680003261], [a6989586621680003261]) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GenericDropSym1 :: i6989586621680003262 -> TyFun [a6989586621680003263] [a6989586621680003263] -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GenericTakeSym1 :: i6989586621680003264 -> TyFun [a6989586621680003265] [a6989586621680003265] -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipSym1 :: NonEmpty a6989586621679833974 -> TyFun (NonEmpty b6989586621679833975) (NonEmpty (a6989586621679833974, b6989586621679833975)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ApplySym1 :: (k16989586621679025209 ~> k26989586621679025210) -> TyFun k16989586621679025209 k26989586621679025210 -> *)

Defined in Data.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((@@@#@$$) :: (k16989586621679031304 ~> k6989586621679031303) -> TyFun k16989586621679031304 k6989586621679031303 -> *)

Defined in Data.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FoldlSym0 :: TyFun (TyFun b6989586621679273480 (TyFun a6989586621679273479 b6989586621679273480 -> Type) -> Type) (TyFun b6989586621679273480 (TyFun [a6989586621679273479] b6989586621679273480 -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ComparingSym0 :: TyFun (TyFun b6989586621679323517 a6989586621679323516 -> Type) (TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Ord

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (TyFun a6989586621679430977 (Maybe b6989586621679430978) -> Type) (TyFun [a6989586621679430977] [b6989586621679430978] -> Type) -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (($!@#@$) :: TyFun (TyFun a6989586621679448455 b6989586621679448456 -> Type) (TyFun a6989586621679448455 b6989586621679448456 -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (($@#@$) :: TyFun (TyFun a6989586621679448457 b6989586621679448458 -> Type) (TyFun a6989586621679448457 b6989586621679448458 -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679448470 b6989586621679448471 -> Type) (TyFun [a6989586621679448470] [b6989586621679448471] -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FoldrSym0 :: TyFun (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (TyFun b6989586621679473007 (Maybe (a6989586621679473008, b6989586621679473007)) -> Type) (TyFun b6989586621679473007 [a6989586621679473008] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679473016 (TyFun b6989586621679473017 b6989586621679473017 -> Type) -> Type) (TyFun b6989586621679473017 (TyFun [a6989586621679473016] [b6989586621679473017] -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679473019 (TyFun a6989586621679473020 b6989586621679473019 -> Type) -> Type) (TyFun b6989586621679473019 (TyFun [a6989586621679473020] [b6989586621679473019] -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (TyFun a6989586621679473023 [b6989586621679473024] -> Type) (TyFun [a6989586621679473023] [b6989586621679473024] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Foldl'Sym0 :: TyFun (TyFun b6989586621679473030 (TyFun a6989586621679473029 b6989586621679473030 -> Type) -> Type) (TyFun b6989586621679473030 (TyFun [a6989586621679473029] b6989586621679473030 -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupWithSym0 :: TyFun (TyFun a6989586621679833987 b6989586621679833986 -> Type) (TyFun [a6989586621679833987] [NonEmpty a6989586621679833987] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (TyFun a6989586621679833985 b6989586621679833984 -> Type) (TyFun [a6989586621679833985] [NonEmpty a6989586621679833985] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (TyFun a6989586621679833981 b6989586621679833980 -> Type) (TyFun (NonEmpty a6989586621679833981) (NonEmpty (NonEmpty a6989586621679833981)) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679834010 b6989586621679834011 -> Type) (TyFun (NonEmpty a6989586621679834010) (NonEmpty b6989586621679834011) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SortWithSym0 :: TyFun (TyFun a6989586621679833964 o6989586621679833963 -> Type) (TyFun (NonEmpty a6989586621679833964) (NonEmpty a6989586621679833964) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679833979 b6989586621679833978 -> Type) (TyFun (NonEmpty a6989586621679833979) (NonEmpty (NonEmpty a6989586621679833979)) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) (TyFun b6989586621679834005 (TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) (TyFun b6989586621679834004 (TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (TyFun a6989586621679834023 (b6989586621679834024, Maybe a6989586621679834023) -> Type) (TyFun a6989586621679834023 (NonEmpty b6989586621679834024) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnfoldSym0 :: TyFun (TyFun a6989586621679834027 (b6989586621679834028, Maybe a6989586621679834027) -> Type) (TyFun a6989586621679834027 (NonEmpty b6989586621679834028) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (RightsSym0 :: TyFun [Either a6989586621679993351 b6989586621679993352] [b6989586621679993352] -> *)

Defined in Data.Singletons.Prelude.Either

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (LeftsSym0 :: TyFun [Either a6989586621679993353 b6989586621679993354] [a6989586621679993353] -> *)

Defined in Data.Singletons.Prelude.Either

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnzipSym0 :: TyFun [(a6989586621679472986, b6989586621679472987)] ([a6989586621679472986], [b6989586621679472987]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GenericLengthSym0 :: TyFun [a6989586621679472915] i6989586621679472914 -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipSym0 :: TyFun [a6989586621679472998] (TyFun [b6989586621679472999] [(a6989586621679472998, b6989586621679472999)] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GenericIndexSym0 :: TyFun [a6989586621680003259] (TyFun i6989586621680003258 a6989586621680003259 -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsRightSym0 :: TyFun (Either a6989586621679993345 b6989586621679993346) Bool -> *)

Defined in Data.Singletons.Prelude.Either

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (IsLeftSym0 :: TyFun (Either a6989586621679993347 b6989586621679993348) Bool -> *)

Defined in Data.Singletons.Prelude.Either

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SwapSym0 :: TyFun (a6989586621679304593, b6989586621679304594) (b6989586621679304594, a6989586621679304593) -> *)

Defined in Data.Singletons.Prelude.Tuple

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SndSym0 :: TyFun (a6989586621679304601, b6989586621679304602) b6989586621679304602 -> *)

Defined in Data.Singletons.Prelude.Tuple

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FstSym0 :: TyFun (a6989586621679304603, b6989586621679304604) a6989586621679304603 -> *)

Defined in Data.Singletons.Prelude.Tuple

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (LeftSym0 :: TyFun a6989586621679084181 (Either a6989586621679084181 b6989586621679084182) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (RightSym0 :: TyFun b6989586621679084182 (Either a6989586621679084181 b6989586621679084182) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ErrorSym0 :: TyFun k06989586621679403140 k6989586621679403141 -> *)

Defined in Data.Singletons.TypeLits.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679429864 (TyFun (TyFun a6989586621679429865 b6989586621679429864 -> Type) (TyFun (Maybe a6989586621679429865) b6989586621679429864 -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Maybe

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679448453 (TyFun b6989586621679448454 b6989586621679448454 -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679448466 (TyFun b6989586621679448467 a6989586621679448466 -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (LookupSym0 :: TyFun a6989586621679472929 (TyFun [(a6989586621679472929, b6989586621679472930)] (Maybe b6989586621679472930) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((&@#@$) :: TyFun a6989586621679824150 (TyFun (TyFun a6989586621679824150 b6989586621679824151 -> Type) b6989586621679824151 -> Type) -> *)

Defined in Data.Singletons.Prelude.Function

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GenericReplicateSym0 :: TyFun i6989586621680003256 (TyFun a6989586621680003257 [a6989586621680003257] -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GenericSplitAtSym0 :: TyFun i6989586621680003260 (TyFun [a6989586621680003261] ([a6989586621680003261], [a6989586621680003261]) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GenericDropSym0 :: TyFun i6989586621680003262 (TyFun [a6989586621680003263] [a6989586621680003263] -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (GenericTakeSym0 :: TyFun i6989586621680003264 (TyFun [a6989586621680003265] [a6989586621680003265] -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621679833969, b6989586621679833970)) (NonEmpty a6989586621679833969, NonEmpty b6989586621679833970) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621679833974) (TyFun (NonEmpty b6989586621679833975) (NonEmpty (a6989586621679833974, b6989586621679833975)) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ApplySym0 :: TyFun (k16989586621679025209 ~> k26989586621679025210) (TyFun k16989586621679025209 k26989586621679025210 -> Type) -> *)

Defined in Data.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((@@@#@$) :: TyFun (k16989586621679031304 ~> k6989586621679031303) (TyFun k16989586621679031304 k6989586621679031303 -> *) -> *)

Defined in Data.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (CurrySym2 :: (TyFun (a6989586621679304598, b6989586621679304599) c6989586621679304600 -> Type) -> a6989586621679304598 -> TyFun b6989586621679304599 c6989586621679304600 -> *)

Defined in Data.Singletons.Prelude.Tuple

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (CurrySym1 :: (TyFun (a6989586621679304598, b6989586621679304599) c6989586621679304600 -> Type) -> TyFun a6989586621679304598 (TyFun b6989586621679304599 c6989586621679304600 -> Type) -> *)

Defined in Data.Singletons.Prelude.Tuple

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UncurrySym1 :: (TyFun a6989586621679304595 (TyFun b6989586621679304596 c6989586621679304597 -> Type) -> Type) -> TyFun (a6989586621679304595, b6989586621679304596) c6989586621679304597 -> *)

Defined in Data.Singletons.Prelude.Tuple

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) -> b6989586621679448461 -> TyFun a6989586621679448460 c6989586621679448462 -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FlipSym1 :: (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) -> TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((.@#@$$$) :: (TyFun b6989586621679448463 c6989586621679448464 -> Type) -> (TyFun a6989586621679448465 b6989586621679448463 -> Type) -> TyFun a6989586621679448465 c6989586621679448464 -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((.@#@$$) :: (TyFun b6989586621679448463 c6989586621679448464 -> Type) -> TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679472992 (TyFun b6989586621679472993 c6989586621679472994 -> Type) -> Type) -> TyFun [a6989586621679472992] (TyFun [b6989586621679472993] [c6989586621679472994] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679472992 (TyFun b6989586621679472993 c6989586621679472994 -> Type) -> Type) -> [a6989586621679472992] -> TyFun [b6989586621679472993] [c6989586621679472994] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapAccumRSym1 :: (TyFun acc6989586621679473009 (TyFun x6989586621679473010 (acc6989586621679473009, y6989586621679473011) -> Type) -> Type) -> TyFun acc6989586621679473009 (TyFun [x6989586621679473010] (acc6989586621679473009, [y6989586621679473011]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapAccumRSym2 :: (TyFun acc6989586621679473009 (TyFun x6989586621679473010 (acc6989586621679473009, y6989586621679473011) -> Type) -> Type) -> acc6989586621679473009 -> TyFun [x6989586621679473010] (acc6989586621679473009, [y6989586621679473011]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapAccumLSym1 :: (TyFun acc6989586621679473012 (TyFun x6989586621679473013 (acc6989586621679473012, y6989586621679473014) -> Type) -> Type) -> TyFun acc6989586621679473012 (TyFun [x6989586621679473013] (acc6989586621679473012, [y6989586621679473014]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapAccumLSym2 :: (TyFun acc6989586621679473012 (TyFun x6989586621679473013 (acc6989586621679473012, y6989586621679473014) -> Type) -> Type) -> acc6989586621679473012 -> TyFun [x6989586621679473013] (acc6989586621679473012, [y6989586621679473014]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (OnSym3 :: (TyFun b6989586621679824152 (TyFun b6989586621679824152 c6989586621679824153 -> Type) -> Type) -> (TyFun a6989586621679824154 b6989586621679824152 -> Type) -> a6989586621679824154 -> TyFun a6989586621679824154 c6989586621679824153 -> *)

Defined in Data.Singletons.Prelude.Function

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (OnSym2 :: (TyFun b6989586621679824152 (TyFun b6989586621679824152 c6989586621679824153 -> Type) -> Type) -> (TyFun a6989586621679824154 b6989586621679824152 -> Type) -> TyFun a6989586621679824154 (TyFun a6989586621679824154 c6989586621679824153 -> Type) -> *)

Defined in Data.Singletons.Prelude.Function

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (OnSym1 :: (TyFun b6989586621679824152 (TyFun b6989586621679824152 c6989586621679824153 -> Type) -> Type) -> TyFun (TyFun a6989586621679824154 b6989586621679824152 -> Type) (TyFun a6989586621679824154 (TyFun a6989586621679824154 c6989586621679824153 -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Function

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) -> NonEmpty a6989586621679833971 -> TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Either_Sym2 :: (TyFun a6989586621679992217 c6989586621679992218 -> Type) -> (TyFun b6989586621679992219 c6989586621679992218 -> Type) -> TyFun (Either a6989586621679992217 b6989586621679992219) c6989586621679992218 -> *)

Defined in Data.Singletons.Prelude.Either

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Either_Sym1 :: (TyFun a6989586621679992217 c6989586621679992218 -> Type) -> TyFun (TyFun b6989586621679992219 c6989586621679992218 -> Type) (TyFun (Either a6989586621679992217 b6989586621679992219) c6989586621679992218 -> Type) -> *)

Defined in Data.Singletons.Prelude.Either

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip3Sym1 :: [a6989586621679472995] -> TyFun [b6989586621679472996] (TyFun [c6989586621679472997] [(a6989586621679472995, b6989586621679472996, c6989586621679472997)] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip3Sym2 :: [a6989586621679472995] -> [b6989586621679472996] -> TyFun [c6989586621679472997] [(a6989586621679472995, b6989586621679472996, c6989586621679472997)] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple3Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple3Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (CurrySym0 :: TyFun (TyFun (a6989586621679304598, b6989586621679304599) c6989586621679304600 -> Type) (TyFun a6989586621679304598 (TyFun b6989586621679304599 c6989586621679304600 -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Tuple

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (UncurrySym0 :: TyFun (TyFun a6989586621679304595 (TyFun b6989586621679304596 c6989586621679304597 -> Type) -> Type) (TyFun (a6989586621679304595, b6989586621679304596) c6989586621679304597 -> Type) -> *)

Defined in Data.Singletons.Prelude.Tuple

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ((.@#@$) :: TyFun (TyFun b6989586621679448463 c6989586621679448464 -> Type) (TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679472992 (TyFun b6989586621679472993 c6989586621679472994 -> Type) -> Type) (TyFun [a6989586621679472992] (TyFun [b6989586621679472993] [c6989586621679472994] -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapAccumRSym0 :: TyFun (TyFun acc6989586621679473009 (TyFun x6989586621679473010 (acc6989586621679473009, y6989586621679473011) -> Type) -> Type) (TyFun acc6989586621679473009 (TyFun [x6989586621679473010] (acc6989586621679473009, [y6989586621679473011]) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (MapAccumLSym0 :: TyFun (TyFun acc6989586621679473012 (TyFun x6989586621679473013 (acc6989586621679473012, y6989586621679473014) -> Type) -> Type) (TyFun acc6989586621679473012 (TyFun [x6989586621679473013] (acc6989586621679473012, [y6989586621679473014]) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (OnSym0 :: TyFun (TyFun b6989586621679824152 (TyFun b6989586621679824152 c6989586621679824153 -> Type) -> Type) (TyFun (TyFun a6989586621679824154 b6989586621679824152 -> Type) (TyFun a6989586621679824154 (TyFun a6989586621679824154 c6989586621679824153 -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Function

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) (TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Either_Sym0 :: TyFun (TyFun a6989586621679992217 c6989586621679992218 -> Type) (TyFun (TyFun b6989586621679992219 c6989586621679992218 -> Type) (TyFun (Either a6989586621679992217 b6989586621679992219) c6989586621679992218 -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Either

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Unzip3Sym0 :: TyFun [(a6989586621679472983, b6989586621679472984, c6989586621679472985)] ([a6989586621679472983], [b6989586621679472984], [c6989586621679472985]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip3Sym0 :: TyFun [a6989586621679472995] (TyFun [b6989586621679472996] (TyFun [c6989586621679472997] [(a6989586621679472995, b6989586621679472996, c6989586621679472997)] -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith3Sym1 :: (TyFun a6989586621679472988 (TyFun b6989586621679472989 (TyFun c6989586621679472990 d6989586621679472991 -> Type) -> Type) -> Type) -> TyFun [a6989586621679472988] (TyFun [b6989586621679472989] (TyFun [c6989586621679472990] [d6989586621679472991] -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith3Sym2 :: (TyFun a6989586621679472988 (TyFun b6989586621679472989 (TyFun c6989586621679472990 d6989586621679472991 -> Type) -> Type) -> Type) -> [a6989586621679472988] -> TyFun [b6989586621679472989] (TyFun [c6989586621679472990] [d6989586621679472991] -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith3Sym3 :: (TyFun a6989586621679472988 (TyFun b6989586621679472989 (TyFun c6989586621679472990 d6989586621679472991 -> Type) -> Type) -> Type) -> [a6989586621679472988] -> [b6989586621679472989] -> TyFun [c6989586621679472990] [d6989586621679472991] -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip4Sym3 :: [a6989586621680003310] -> [b6989586621680003311] -> [c6989586621680003312] -> TyFun [d6989586621680003313] [(a6989586621680003310, b6989586621680003311, c6989586621680003312, d6989586621680003313)] -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip4Sym2 :: [a6989586621680003310] -> [b6989586621680003311] -> TyFun [c6989586621680003312] (TyFun [d6989586621680003313] [(a6989586621680003310, b6989586621680003311, c6989586621680003312, d6989586621680003313)] -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip4Sym1 :: [a6989586621680003310] -> TyFun [b6989586621680003311] (TyFun [c6989586621680003312] (TyFun [d6989586621680003313] [(a6989586621680003310, b6989586621680003311, c6989586621680003312, d6989586621680003313)] -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple4Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple4Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple4Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith3Sym0 :: TyFun (TyFun a6989586621679472988 (TyFun b6989586621679472989 (TyFun c6989586621679472990 d6989586621679472991 -> Type) -> Type) -> Type) (TyFun [a6989586621679472988] (TyFun [b6989586621679472989] (TyFun [c6989586621679472990] [d6989586621679472991] -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Unzip4Sym0 :: TyFun [(a6989586621679472979, b6989586621679472980, c6989586621679472981, d6989586621679472982)] ([a6989586621679472979], [b6989586621679472980], [c6989586621679472981], [d6989586621679472982]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip4Sym0 :: TyFun [a6989586621680003310] (TyFun [b6989586621680003311] (TyFun [c6989586621680003312] (TyFun [d6989586621680003313] [(a6989586621680003310, b6989586621680003311, c6989586621680003312, d6989586621680003313)] -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith4Sym1 :: (TyFun a6989586621680003287 (TyFun b6989586621680003288 (TyFun c6989586621680003289 (TyFun d6989586621680003290 e6989586621680003291 -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680003287] (TyFun [b6989586621680003288] (TyFun [c6989586621680003289] (TyFun [d6989586621680003290] [e6989586621680003291] -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith4Sym2 :: (TyFun a6989586621680003287 (TyFun b6989586621680003288 (TyFun c6989586621680003289 (TyFun d6989586621680003290 e6989586621680003291 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003287] -> TyFun [b6989586621680003288] (TyFun [c6989586621680003289] (TyFun [d6989586621680003290] [e6989586621680003291] -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith4Sym3 :: (TyFun a6989586621680003287 (TyFun b6989586621680003288 (TyFun c6989586621680003289 (TyFun d6989586621680003290 e6989586621680003291 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003287] -> [b6989586621680003288] -> TyFun [c6989586621680003289] (TyFun [d6989586621680003290] [e6989586621680003291] -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith4Sym4 :: (TyFun a6989586621680003287 (TyFun b6989586621680003288 (TyFun c6989586621680003289 (TyFun d6989586621680003290 e6989586621680003291 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003287] -> [b6989586621680003288] -> [c6989586621680003289] -> TyFun [d6989586621680003290] [e6989586621680003291] -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip5Sym4 :: [a6989586621680003305] -> [b6989586621680003306] -> [c6989586621680003307] -> [d6989586621680003308] -> TyFun [e6989586621680003309] [(a6989586621680003305, b6989586621680003306, c6989586621680003307, d6989586621680003308, e6989586621680003309)] -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip5Sym3 :: [a6989586621680003305] -> [b6989586621680003306] -> [c6989586621680003307] -> TyFun [d6989586621680003308] (TyFun [e6989586621680003309] [(a6989586621680003305, b6989586621680003306, c6989586621680003307, d6989586621680003308, e6989586621680003309)] -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip5Sym2 :: [a6989586621680003305] -> [b6989586621680003306] -> TyFun [c6989586621680003307] (TyFun [d6989586621680003308] (TyFun [e6989586621680003309] [(a6989586621680003305, b6989586621680003306, c6989586621680003307, d6989586621680003308, e6989586621680003309)] -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip5Sym1 :: [a6989586621680003305] -> TyFun [b6989586621680003306] (TyFun [c6989586621680003307] (TyFun [d6989586621680003308] (TyFun [e6989586621680003309] [(a6989586621680003305, b6989586621680003306, c6989586621680003307, d6989586621680003308, e6989586621680003309)] -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple5Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple5Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple5Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple5Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith4Sym0 :: TyFun (TyFun a6989586621680003287 (TyFun b6989586621680003288 (TyFun c6989586621680003289 (TyFun d6989586621680003290 e6989586621680003291 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680003287] (TyFun [b6989586621680003288] (TyFun [c6989586621680003289] (TyFun [d6989586621680003290] [e6989586621680003291] -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Unzip5Sym0 :: TyFun [(a6989586621679472974, b6989586621679472975, c6989586621679472976, d6989586621679472977, e6989586621679472978)] ([a6989586621679472974], [b6989586621679472975], [c6989586621679472976], [d6989586621679472977], [e6989586621679472978]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip5Sym0 :: TyFun [a6989586621680003305] (TyFun [b6989586621680003306] (TyFun [c6989586621680003307] (TyFun [d6989586621680003308] (TyFun [e6989586621680003309] [(a6989586621680003305, b6989586621680003306, c6989586621680003307, d6989586621680003308, e6989586621680003309)] -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith5Sym1 :: (TyFun a6989586621680003281 (TyFun b6989586621680003282 (TyFun c6989586621680003283 (TyFun d6989586621680003284 (TyFun e6989586621680003285 f6989586621680003286 -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680003281] (TyFun [b6989586621680003282] (TyFun [c6989586621680003283] (TyFun [d6989586621680003284] (TyFun [e6989586621680003285] [f6989586621680003286] -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith5Sym2 :: (TyFun a6989586621680003281 (TyFun b6989586621680003282 (TyFun c6989586621680003283 (TyFun d6989586621680003284 (TyFun e6989586621680003285 f6989586621680003286 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003281] -> TyFun [b6989586621680003282] (TyFun [c6989586621680003283] (TyFun [d6989586621680003284] (TyFun [e6989586621680003285] [f6989586621680003286] -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith5Sym3 :: (TyFun a6989586621680003281 (TyFun b6989586621680003282 (TyFun c6989586621680003283 (TyFun d6989586621680003284 (TyFun e6989586621680003285 f6989586621680003286 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003281] -> [b6989586621680003282] -> TyFun [c6989586621680003283] (TyFun [d6989586621680003284] (TyFun [e6989586621680003285] [f6989586621680003286] -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith5Sym4 :: (TyFun a6989586621680003281 (TyFun b6989586621680003282 (TyFun c6989586621680003283 (TyFun d6989586621680003284 (TyFun e6989586621680003285 f6989586621680003286 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003281] -> [b6989586621680003282] -> [c6989586621680003283] -> TyFun [d6989586621680003284] (TyFun [e6989586621680003285] [f6989586621680003286] -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith5Sym5 :: (TyFun a6989586621680003281 (TyFun b6989586621680003282 (TyFun c6989586621680003283 (TyFun d6989586621680003284 (TyFun e6989586621680003285 f6989586621680003286 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003281] -> [b6989586621680003282] -> [c6989586621680003283] -> [d6989586621680003284] -> TyFun [e6989586621680003285] [f6989586621680003286] -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip6Sym5 :: [a6989586621680003299] -> [b6989586621680003300] -> [c6989586621680003301] -> [d6989586621680003302] -> [e6989586621680003303] -> TyFun [f6989586621680003304] [(a6989586621680003299, b6989586621680003300, c6989586621680003301, d6989586621680003302, e6989586621680003303, f6989586621680003304)] -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip6Sym4 :: [a6989586621680003299] -> [b6989586621680003300] -> [c6989586621680003301] -> [d6989586621680003302] -> TyFun [e6989586621680003303] (TyFun [f6989586621680003304] [(a6989586621680003299, b6989586621680003300, c6989586621680003301, d6989586621680003302, e6989586621680003303, f6989586621680003304)] -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip6Sym3 :: [a6989586621680003299] -> [b6989586621680003300] -> [c6989586621680003301] -> TyFun [d6989586621680003302] (TyFun [e6989586621680003303] (TyFun [f6989586621680003304] [(a6989586621680003299, b6989586621680003300, c6989586621680003301, d6989586621680003302, e6989586621680003303, f6989586621680003304)] -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip6Sym2 :: [a6989586621680003299] -> [b6989586621680003300] -> TyFun [c6989586621680003301] (TyFun [d6989586621680003302] (TyFun [e6989586621680003303] (TyFun [f6989586621680003304] [(a6989586621680003299, b6989586621680003300, c6989586621680003301, d6989586621680003302, e6989586621680003303, f6989586621680003304)] -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip6Sym1 :: [a6989586621680003299] -> TyFun [b6989586621680003300] (TyFun [c6989586621680003301] (TyFun [d6989586621680003302] (TyFun [e6989586621680003303] (TyFun [f6989586621680003304] [(a6989586621680003299, b6989586621680003300, c6989586621680003301, d6989586621680003302, e6989586621680003303, f6989586621680003304)] -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple6Sym5 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple6Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple6Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple6Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple6Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith5Sym0 :: TyFun (TyFun a6989586621680003281 (TyFun b6989586621680003282 (TyFun c6989586621680003283 (TyFun d6989586621680003284 (TyFun e6989586621680003285 f6989586621680003286 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680003281] (TyFun [b6989586621680003282] (TyFun [c6989586621680003283] (TyFun [d6989586621680003284] (TyFun [e6989586621680003285] [f6989586621680003286] -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Unzip6Sym0 :: TyFun [(a6989586621679472968, b6989586621679472969, c6989586621679472970, d6989586621679472971, e6989586621679472972, f6989586621679472973)] ([a6989586621679472968], [b6989586621679472969], [c6989586621679472970], [d6989586621679472971], [e6989586621679472972], [f6989586621679472973]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip6Sym0 :: TyFun [a6989586621680003299] (TyFun [b6989586621680003300] (TyFun [c6989586621680003301] (TyFun [d6989586621680003302] (TyFun [e6989586621680003303] (TyFun [f6989586621680003304] [(a6989586621680003299, b6989586621680003300, c6989586621680003301, d6989586621680003302, e6989586621680003303, f6989586621680003304)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple6Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith6Sym1 :: (TyFun a6989586621680003274 (TyFun b6989586621680003275 (TyFun c6989586621680003276 (TyFun d6989586621680003277 (TyFun e6989586621680003278 (TyFun f6989586621680003279 g6989586621680003280 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680003274] (TyFun [b6989586621680003275] (TyFun [c6989586621680003276] (TyFun [d6989586621680003277] (TyFun [e6989586621680003278] (TyFun [f6989586621680003279] [g6989586621680003280] -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith6Sym2 :: (TyFun a6989586621680003274 (TyFun b6989586621680003275 (TyFun c6989586621680003276 (TyFun d6989586621680003277 (TyFun e6989586621680003278 (TyFun f6989586621680003279 g6989586621680003280 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003274] -> TyFun [b6989586621680003275] (TyFun [c6989586621680003276] (TyFun [d6989586621680003277] (TyFun [e6989586621680003278] (TyFun [f6989586621680003279] [g6989586621680003280] -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith6Sym3 :: (TyFun a6989586621680003274 (TyFun b6989586621680003275 (TyFun c6989586621680003276 (TyFun d6989586621680003277 (TyFun e6989586621680003278 (TyFun f6989586621680003279 g6989586621680003280 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003274] -> [b6989586621680003275] -> TyFun [c6989586621680003276] (TyFun [d6989586621680003277] (TyFun [e6989586621680003278] (TyFun [f6989586621680003279] [g6989586621680003280] -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith6Sym4 :: (TyFun a6989586621680003274 (TyFun b6989586621680003275 (TyFun c6989586621680003276 (TyFun d6989586621680003277 (TyFun e6989586621680003278 (TyFun f6989586621680003279 g6989586621680003280 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003274] -> [b6989586621680003275] -> [c6989586621680003276] -> TyFun [d6989586621680003277] (TyFun [e6989586621680003278] (TyFun [f6989586621680003279] [g6989586621680003280] -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith6Sym5 :: (TyFun a6989586621680003274 (TyFun b6989586621680003275 (TyFun c6989586621680003276 (TyFun d6989586621680003277 (TyFun e6989586621680003278 (TyFun f6989586621680003279 g6989586621680003280 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003274] -> [b6989586621680003275] -> [c6989586621680003276] -> [d6989586621680003277] -> TyFun [e6989586621680003278] (TyFun [f6989586621680003279] [g6989586621680003280] -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith6Sym6 :: (TyFun a6989586621680003274 (TyFun b6989586621680003275 (TyFun c6989586621680003276 (TyFun d6989586621680003277 (TyFun e6989586621680003278 (TyFun f6989586621680003279 g6989586621680003280 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003274] -> [b6989586621680003275] -> [c6989586621680003276] -> [d6989586621680003277] -> [e6989586621680003278] -> TyFun [f6989586621680003279] [g6989586621680003280] -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip7Sym6 :: [a6989586621680003292] -> [b6989586621680003293] -> [c6989586621680003294] -> [d6989586621680003295] -> [e6989586621680003296] -> [f6989586621680003297] -> TyFun [g6989586621680003298] [(a6989586621680003292, b6989586621680003293, c6989586621680003294, d6989586621680003295, e6989586621680003296, f6989586621680003297, g6989586621680003298)] -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip7Sym5 :: [a6989586621680003292] -> [b6989586621680003293] -> [c6989586621680003294] -> [d6989586621680003295] -> [e6989586621680003296] -> TyFun [f6989586621680003297] (TyFun [g6989586621680003298] [(a6989586621680003292, b6989586621680003293, c6989586621680003294, d6989586621680003295, e6989586621680003296, f6989586621680003297, g6989586621680003298)] -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip7Sym4 :: [a6989586621680003292] -> [b6989586621680003293] -> [c6989586621680003294] -> [d6989586621680003295] -> TyFun [e6989586621680003296] (TyFun [f6989586621680003297] (TyFun [g6989586621680003298] [(a6989586621680003292, b6989586621680003293, c6989586621680003294, d6989586621680003295, e6989586621680003296, f6989586621680003297, g6989586621680003298)] -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip7Sym3 :: [a6989586621680003292] -> [b6989586621680003293] -> [c6989586621680003294] -> TyFun [d6989586621680003295] (TyFun [e6989586621680003296] (TyFun [f6989586621680003297] (TyFun [g6989586621680003298] [(a6989586621680003292, b6989586621680003293, c6989586621680003294, d6989586621680003295, e6989586621680003296, f6989586621680003297, g6989586621680003298)] -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip7Sym2 :: [a6989586621680003292] -> [b6989586621680003293] -> TyFun [c6989586621680003294] (TyFun [d6989586621680003295] (TyFun [e6989586621680003296] (TyFun [f6989586621680003297] (TyFun [g6989586621680003298] [(a6989586621680003292, b6989586621680003293, c6989586621680003294, d6989586621680003295, e6989586621680003296, f6989586621680003297, g6989586621680003298)] -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip7Sym1 :: [a6989586621680003292] -> TyFun [b6989586621680003293] (TyFun [c6989586621680003294] (TyFun [d6989586621680003295] (TyFun [e6989586621680003296] (TyFun [f6989586621680003297] (TyFun [g6989586621680003298] [(a6989586621680003292, b6989586621680003293, c6989586621680003294, d6989586621680003295, e6989586621680003296, f6989586621680003297, g6989586621680003298)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple7Sym6 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple7Sym5 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple7Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple7Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple7Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple7Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith6Sym0 :: TyFun (TyFun a6989586621680003274 (TyFun b6989586621680003275 (TyFun c6989586621680003276 (TyFun d6989586621680003277 (TyFun e6989586621680003278 (TyFun f6989586621680003279 g6989586621680003280 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680003274] (TyFun [b6989586621680003275] (TyFun [c6989586621680003276] (TyFun [d6989586621680003277] (TyFun [e6989586621680003278] (TyFun [f6989586621680003279] [g6989586621680003280] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Unzip7Sym0 :: TyFun [(a6989586621679472961, b6989586621679472962, c6989586621679472963, d6989586621679472964, e6989586621679472965, f6989586621679472966, g6989586621679472967)] ([a6989586621679472961], [b6989586621679472962], [c6989586621679472963], [d6989586621679472964], [e6989586621679472965], [f6989586621679472966], [g6989586621679472967]) -> *)

Defined in Data.Singletons.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Zip7Sym0 :: TyFun [a6989586621680003292] (TyFun [b6989586621680003293] (TyFun [c6989586621680003294] (TyFun [d6989586621680003295] (TyFun [e6989586621680003296] (TyFun [f6989586621680003297] (TyFun [g6989586621680003298] [(a6989586621680003292, b6989586621680003293, c6989586621680003294, d6989586621680003295, e6989586621680003296, f6989586621680003297, g6989586621680003298)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Tuple7Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith7Sym1 :: (TyFun a6989586621680003266 (TyFun b6989586621680003267 (TyFun c6989586621680003268 (TyFun d6989586621680003269 (TyFun e6989586621680003270 (TyFun f6989586621680003271 (TyFun g6989586621680003272 h6989586621680003273 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680003266] (TyFun [b6989586621680003267] (TyFun [c6989586621680003268] (TyFun [d6989586621680003269] (TyFun [e6989586621680003270] (TyFun [f6989586621680003271] (TyFun [g6989586621680003272] [h6989586621680003273] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith7Sym2 :: (TyFun a6989586621680003266 (TyFun b6989586621680003267 (TyFun c6989586621680003268 (TyFun d6989586621680003269 (TyFun e6989586621680003270 (TyFun f6989586621680003271 (TyFun g6989586621680003272 h6989586621680003273 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003266] -> TyFun [b6989586621680003267] (TyFun [c6989586621680003268] (TyFun [d6989586621680003269] (TyFun [e6989586621680003270] (TyFun [f6989586621680003271] (TyFun [g6989586621680003272] [h6989586621680003273] -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith7Sym3 :: (TyFun a6989586621680003266 (TyFun b6989586621680003267 (TyFun c6989586621680003268 (TyFun d6989586621680003269 (TyFun e6989586621680003270 (TyFun f6989586621680003271 (TyFun g6989586621680003272 h6989586621680003273 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003266] -> [b6989586621680003267] -> TyFun [c6989586621680003268] (TyFun [d6989586621680003269] (TyFun [e6989586621680003270] (TyFun [f6989586621680003271] (TyFun [g6989586621680003272] [h6989586621680003273] -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith7Sym4 :: (TyFun a6989586621680003266 (TyFun b6989586621680003267 (TyFun c6989586621680003268 (TyFun d6989586621680003269 (TyFun e6989586621680003270 (TyFun f6989586621680003271 (TyFun g6989586621680003272 h6989586621680003273 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003266] -> [b6989586621680003267] -> [c6989586621680003268] -> TyFun [d6989586621680003269] (TyFun [e6989586621680003270] (TyFun [f6989586621680003271] (TyFun [g6989586621680003272] [h6989586621680003273] -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith7Sym5 :: (TyFun a6989586621680003266 (TyFun b6989586621680003267 (TyFun c6989586621680003268 (TyFun d6989586621680003269 (TyFun e6989586621680003270 (TyFun f6989586621680003271 (TyFun g6989586621680003272 h6989586621680003273 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003266] -> [b6989586621680003267] -> [c6989586621680003268] -> [d6989586621680003269] -> TyFun [e6989586621680003270] (TyFun [f6989586621680003271] (TyFun [g6989586621680003272] [h6989586621680003273] -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith7Sym6 :: (TyFun a6989586621680003266 (TyFun b6989586621680003267 (TyFun c6989586621680003268 (TyFun d6989586621680003269 (TyFun e6989586621680003270 (TyFun f6989586621680003271 (TyFun g6989586621680003272 h6989586621680003273 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003266] -> [b6989586621680003267] -> [c6989586621680003268] -> [d6989586621680003269] -> [e6989586621680003270] -> TyFun [f6989586621680003271] (TyFun [g6989586621680003272] [h6989586621680003273] -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith7Sym7 :: (TyFun a6989586621680003266 (TyFun b6989586621680003267 (TyFun c6989586621680003268 (TyFun d6989586621680003269 (TyFun e6989586621680003270 (TyFun f6989586621680003271 (TyFun g6989586621680003272 h6989586621680003273 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680003266] -> [b6989586621680003267] -> [c6989586621680003268] -> [d6989586621680003269] -> [e6989586621680003270] -> [f6989586621680003271] -> TyFun [g6989586621680003272] [h6989586621680003273] -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ZipWith7Sym0 :: TyFun (TyFun a6989586621680003266 (TyFun b6989586621680003267 (TyFun c6989586621680003268 (TyFun d6989586621680003269 (TyFun e6989586621680003270 (TyFun f6989586621680003271 (TyFun g6989586621680003272 h6989586621680003273 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680003266] (TyFun [b6989586621680003267] (TyFun [c6989586621680003268] (TyFun [d6989586621680003269] (TyFun [e6989586621680003270] (TyFun [f6989586621680003271] (TyFun [g6989586621680003272] [h6989586621680003273] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

Defined in Data.Promotion.Prelude.List

Methods

suppressUnusedWarnings :: ()