singletons-2.5.1: A framework for generating singleton types

Safe Haskell | Safe
Language | Haskell2010

Data.Singletons.SuppressUnusedWarnings

Synopsis

- class SuppressUnusedWarnings (t :: k) where
  - suppressUnusedWarnings :: ()

# Documentation

class SuppressUnusedWarnings (t :: k) where Source #

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.

Methods

suppressUnusedWarnings :: () Source #

Instances

SuppressUnusedWarnings NotSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings AllSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings AnySym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (&&@#@$) Source # |
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (||@#@$) Source # |
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ShowParenSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings UnlinesSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings UnwordsSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ThenCmpSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (~>@#@$) Source # |
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings DemoteSym0 Source # |
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings KnownNatSym0 Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings Log2Sym0 Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (<=?@#@$) Source # |
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (^@#@$) Source # |
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings DivSym0 Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ModSym0 Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings QuotSym0 Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings RemSym0 Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings QuotRemSym0 Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings DivModSym0 Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings KnownSymbolSym0 Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ShowCommaSpaceSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ShowSpaceSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ShowCharSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ShowStringSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings GetAllSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings GetAnySym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings XorSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((&&@#@$$) a6989586621679366065 :: TyFun Bool Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((||@#@$$) a6989586621679366306 :: TyFun Bool Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f6989586621679545882 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f6989586621679545911 () ~> f6989586621679545911 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnlessSym0 :: TyFun Bool (f6989586621681203134 () ~> f6989586621681203134 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TransposeSym0 :: TyFun [[a6989586621679939337]] [[a6989586621679939337]] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CatMaybesSym0 :: TyFun [Maybe a6989586621679496573] [a6989586621679496573] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a6989586621679496574] (Maybe a6989586621679496574) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679521715] ([a6989586621679521715] ~> [a6989586621679521715]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((!!@#@$) :: TyFun [a6989586621679939336] (Nat ~> a6989586621679939336) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621679939351] [[a6989586621679939351]] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortSym0 :: TyFun [a6989586621679939347] [a6989586621679939347] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnionSym0 :: TyFun [a6989586621679939331] ([a6989586621679939331] ~> [a6989586621679939331]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((\\@#@$) :: TyFun [a6989586621679939374] ([a6989586621679939374] ~> [a6989586621679939374]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubSym0 :: TyFun [a6989586621679939335] [a6989586621679939335] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679939419] ([a6989586621679939419] ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621679939420] [[a6989586621679939420]] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621679939421] [[a6989586621679939421]] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsInfixOfSym0 :: TyFun [a6989586621679939417] ([a6989586621679939417] ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersectSym0 :: TyFun [a6989586621679939361] ([a6989586621679939361] ~> [a6989586621679939361]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PermutationsSym0 :: TyFun [a6989586621679939446] [[a6989586621679939446]] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SubsequencesSym0 :: TyFun [a6989586621679939449] [[a6989586621679939449]] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntercalateSym0 :: TyFun [a6989586621679939450] ([[a6989586621679939450]] ~> [a6989586621679939450]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReverseSym0 :: TyFun [a6989586621679939452] [a6989586621679939452] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsSuffixOfSym0 :: TyFun [a6989586621679939418] ([a6989586621679939418] ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InitSym0 :: TyFun [a6989586621679939454] [a6989586621679939454] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TailSym0 :: TyFun [a6989586621679939455] [a6989586621679939455] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LastSym0 :: TyFun [a6989586621679939456] a6989586621679939456 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (HeadSym0 :: TyFun [a6989586621679939457] a6989586621679939457 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (StripPrefixSym0 :: TyFun [a6989586621680065581] ([a6989586621680065581] ~> Maybe [a6989586621680065581]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621680258583] (Symbol ~> Symbol) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MconcatSym0 :: TyFun [a6989586621680326608] a6989586621680326608 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621681099344] (NonEmpty a6989586621681099344 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621681099356] [NonEmpty a6989586621681099356] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621681099382] (NonEmpty a6989586621681099382) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621681099376] (NonEmpty [a6989586621681099376]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621681099375] (NonEmpty [a6989586621681099375]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621681099393] (Maybe (NonEmpty a6989586621681099393)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a6989586621679496575) [a6989586621679496575] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a6989586621679496577) a6989586621679496577 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679496578) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679496579) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a6989586621679061864) (Option a6989586621679061864) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a6989586621679085232) (First a6989586621679085232) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a6989586621679085227) (Last a6989586621679085227) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ThenCmpSym1 a6989586621679393955 :: TyFun Ordering Ordering -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ΣSym0 :: TyFun Type (TyFun (s6989586621679363791 ~> Type) Type -> Type) -> Type) Source # |
Instance details Defined in Data.Singletons.Sigma Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((~>@#@$$) a6989586621679023255 :: TyFun Type Type -> Type) Source # |
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<=?@#@$$) a3530822107858468865 :: TyFun Nat Bool -> Type) Source # |
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((^@#@$$) a3530822107858468865 :: TyFun Nat Nat -> Type) Source # |
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DivSym1 a3530822107858468865 :: TyFun Nat Nat -> Type) Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ModSym1 a3530822107858468865 :: TyFun Nat Nat -> Type) Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (QuotSym1 a6989586621679488500 :: TyFun Nat Nat -> Type) Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (RemSym1 a6989586621679488490 :: TyFun Nat Nat -> Type) Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (QuotRemSym1 a6989586621679488516 :: TyFun Nat (Nat, Nat) -> Type) Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DivModSym1 a6989586621679488506 :: TyFun Nat (Nat, Nat) -> Type) Source # |
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromIntegerSym0 :: TyFun Nat a6989586621679506802 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679740900 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropSym0 :: TyFun Nat ([a6989586621679939353] ~> [a6989586621679939353]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeSym0 :: TyFun Nat ([a6989586621679939354] ~> [a6989586621679939354]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat ([a6989586621679939352] ~> ([a6989586621679939352], [a6989586621679939352])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateSym0 :: TyFun Nat (a6989586621679939338 ~> [a6989586621679939338]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a6989586621680258583 ~> (Symbol ~> Symbol)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681099365 ~> [a6989586621681099365]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropSym0 :: TyFun Nat (NonEmpty a6989586621681099364 ~> [a6989586621681099364]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681099363 ~> ([a6989586621681099363], [a6989586621681099363])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowCharSym1 a6989586621680260467 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowStringSym1 a6989586621680260452 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621681192029 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (JustSym0 :: TyFun a3530822107858468865 (Maybe a3530822107858468865) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:@#@$) :: TyFun a3530822107858468865 ([a3530822107858468865] ~> [a3530822107858468865]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:|@#@$) :: TyFun a6989586621679068602 ([a6989586621679068602] ~> NonEmpty a6989586621679068602) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IdentitySym0 :: TyFun a6989586621679085222 (Identity a6989586621679085222) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Bool_Sym0 :: TyFun a6989586621679365314 (a6989586621679365314 ~> (Bool ~> a6989586621679365314)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((==@#@$) :: TyFun a6989586621679369249 (a6989586621679369249 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((/=@#@$) :: TyFun a6989586621679369249 (a6989586621679369249 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DefaultEqSym0 :: TyFun k6989586621679369243 (k6989586621679369243 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<=@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CompareSym0 :: TyFun a6989586621679383450 (a6989586621679383450 ~> Ordering) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679383450 (a6989586621679383450 ~> a6989586621679383450) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679383450 (a6989586621679383450 ~> a6989586621679383450) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>=@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DownSym0 :: TyFun a6989586621679091012 (Down a6989586621679091012) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a6989586621679496576 (Maybe a6989586621679496576 ~> a6989586621679496576) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NegateSym0 :: TyFun a6989586621679506802 a6989586621679506802 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((-@#@$) :: TyFun a6989586621679506802 (a6989586621679506802 ~> a6989586621679506802) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((+@#@$) :: TyFun a6989586621679506802 (a6989586621679506802 ~> a6989586621679506802) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SignumSym0 :: TyFun a6989586621679506802 a6989586621679506802 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AbsSym0 :: TyFun a6989586621679506802 a6989586621679506802 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((*@#@$) :: TyFun a6989586621679506802 (a6989586621679506802 ~> a6989586621679506802) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SubtractSym0 :: TyFun a6989586621679512259 (a6989586621679512259 ~> a6989586621679512259) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679521705 (a6989586621679521705 ~> a6989586621679521705) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679521714 a6989586621679521714 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a6989586621679740900 (a6989586621679740900 ~> (a6989586621679740900 ~> [a6989586621679740900])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a6989586621679740900 (a6989586621679740900 ~> [a6989586621679740900]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679740900 Nat -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PredSym0 :: TyFun a6989586621679740900 a6989586621679740900 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SuccSym0 :: TyFun a6989586621679740900 a6989586621679740900 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<>@#@$) :: TyFun a6989586621679810436 (a6989586621679810436 ~> a6989586621679810436) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DualSym0 :: TyFun a6989586621679085203 (Dual a6989586621679085203) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SumSym0 :: TyFun a6989586621679085188 (Sum a6989586621679085188) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ProductSym0 :: TyFun a6989586621679085193 (Product a6989586621679085193) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679061826 (Min a6989586621679061826) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679061832 (Max a6989586621679061832) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FirstSym0 :: TyFun a6989586621679061846 (First a6989586621679061846) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LastSym0 :: TyFun a6989586621679061852 (Last a6989586621679061852) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (WrapMonoidSym0 :: TyFun m6989586621679061858 (WrappedMonoid m6989586621679061858) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621679939348 ([a6989586621679939348] ~> [a6989586621679939348]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteSym0 :: TyFun a6989586621679939375 ([a6989586621679939375] ~> [a6989586621679939375]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemIndicesSym0 :: TyFun a6989586621679939364 ([a6989586621679939364] ~> [Nat]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemIndexSym0 :: TyFun a6989586621679939365 ([a6989586621679939365] ~> Maybe Nat) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679939451 ([a6989586621679939451] ~> [a6989586621679939451]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621680258583 Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621680258568 (Symbol ~> Symbol) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MappendSym0 :: TyFun a6989586621680326608 (a6989586621680326608 ~> a6989586621680326608) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AndSym0 :: TyFun (t6989586621680448365 Bool) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OrSym0 :: TyFun (t6989586621680448364 Bool) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621681099367 (NonEmpty a6989586621681099367 ~> NonEmpty a6989586621681099367) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621681099374 ([a6989586621681099374] ~> NonEmpty a6989586621681099374) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<|@#@$) :: TyFun a6989586621681099385 (NonEmpty a6989586621681099385 ~> NonEmpty a6989586621681099385) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621681099384 (NonEmpty a6989586621681099384 ~> NonEmpty a6989586621681099384) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SameKindSym0 :: TyFun k6989586621679025110 (TyFun k6989586621679025110 Constraint -> Type) -> Type) Source # |
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (KindOfSym0 :: TyFun k6989586621679025113 Type -> Type) Source # |
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TextSym0 :: TyFun s6989586621681254413 (ErrorMessage' s6989586621681254413) -> Type) Source # |
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AbsurdSym0 :: TyFun Void a6989586621679357946 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Void Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetMinSym0 :: TyFun (Min a6989586621679061826) a6989586621679061826 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetMaxSym0 :: TyFun (Max a6989586621679061832) a6989586621679061832 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679061846) a6989586621679061846 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679061852) a6989586621679061852 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnwrapMonoidSym0 :: TyFun (WrappedMonoid m6989586621679061858) m6989586621679061858 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetOptionSym0 :: TyFun (Option a6989586621679061864) (Maybe a6989586621679061864) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (RunIdentitySym0 :: TyFun (Identity a6989586621679085222) a6989586621679085222 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679085232) (Maybe a6989586621679085232) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679085227) (Maybe a6989586621679085227) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetDualSym0 :: TyFun (Dual a6989586621679085203) a6989586621679085203 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetSumSym0 :: TyFun (Sum a6989586621679085188) a6989586621679085188 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetProductSym0 :: TyFun (Product a6989586621679085193) a6989586621679085193 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SconcatSym0 :: TyFun (NonEmpty a6989586621679810436) a6989586621679810436 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621681099335) (NonEmpty a6989586621681099335) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621681099343) (Nat ~> a6989586621681099343) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621681099350) (NonEmpty (NonEmpty a6989586621681099350)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621681099381) [a6989586621681099381] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621681099366) (NonEmpty a6989586621681099366) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621681099383) (NonEmpty a6989586621681099383) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621681099386) [a6989586621681099386] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621681099387) a6989586621681099387 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621681099388) [a6989586621681099388] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621681099389) a6989586621681099389 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621681099392) (a6989586621681099392, Maybe (NonEmpty a6989586621681099392)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621681099396) Nat -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621681099333)) (NonEmpty (NonEmpty a6989586621681099333)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowParenSym1 a6989586621680260473 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UntilSym0 :: TyFun (a6989586621679521700 ~> Bool) ((a6989586621679521700 ~> a6989586621679521700) ~> (a6989586621679521700 ~> a6989586621679521700)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621679939334 ~> (a6989586621679939334 ~> Bool)) ([a6989586621679939334] ~> [a6989586621679939334]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621679939343 ~> Bool) ([a6989586621679939343] ~> ([a6989586621679939343], [a6989586621679939343])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621679939355 ~> Bool) ([a6989586621679939355] ~> ([a6989586621679939355], [a6989586621679939355])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621679939356 ~> Bool) ([a6989586621679939356] ~> ([a6989586621679939356], [a6989586621679939356])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621679939346 ~> (a6989586621679939346 ~> Bool)) ([a6989586621679939346] ~> [[a6989586621679939346]]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621679939358 ~> Bool) ([a6989586621679939358] ~> [a6989586621679939358]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621679939359 ~> Bool) ([a6989586621679939359] ~> [a6989586621679939359]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621679939367 ~> Bool) ([a6989586621679939367] ~> [a6989586621679939367]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertBySym0 :: TyFun (a6989586621679939370 ~> (a6989586621679939370 ~> Ordering)) (a6989586621679939370 ~> ([a6989586621679939370] ~> [a6989586621679939370])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortBySym0 :: TyFun (a6989586621679939371 ~> (a6989586621679939371 ~> Ordering)) ([a6989586621679939371] ~> [a6989586621679939371]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteBySym0 :: TyFun (a6989586621679939373 ~> (a6989586621679939373 ~> Bool)) (a6989586621679939373 ~> ([a6989586621679939373] ~> [a6989586621679939373])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteFirstsBySym0 :: TyFun (a6989586621679939372 ~> (a6989586621679939372 ~> Bool)) ([a6989586621679939372] ~> ([a6989586621679939372] ~> [a6989586621679939372])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnionBySym0 :: TyFun (a6989586621679939332 ~> (a6989586621679939332 ~> Bool)) ([a6989586621679939332] ~> ([a6989586621679939332] ~> [a6989586621679939332])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindIndicesSym0 :: TyFun (a6989586621679939362 ~> Bool) ([a6989586621679939362] ~> [Nat]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679939363 ~> Bool) ([a6989586621679939363] ~> Maybe Nat) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (a6989586621679939430 ~> (a6989586621679939430 ~> a6989586621679939430)) ([a6989586621679939430] ~> [a6989586621679939430]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (a6989586621679939433 ~> (a6989586621679939433 ~> a6989586621679939433)) ([a6989586621679939433] ~> [a6989586621679939433]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersectBySym0 :: TyFun (a6989586621679939360 ~> (a6989586621679939360 ~> Bool)) ([a6989586621679939360] ~> ([a6989586621679939360] ~> [a6989586621679939360])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl1'Sym0 :: TyFun (a6989586621679939442 ~> (a6989586621679939442 ~> a6989586621679939442)) ([a6989586621679939442] ~> a6989586621679939442) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (a6989586621679939357 ~> Bool) ([a6989586621679939357] ~> [a6989586621679939357]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a6989586621680258567 ~> (Symbol ~> Symbol)) ([a6989586621680258567] ~> (Symbol ~> Symbol)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621681099334 ~> (a6989586621681099334 ~> Bool)) (NonEmpty a6989586621681099334 ~> NonEmpty a6989586621681099334) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621681099355 ~> (a6989586621681099355 ~> Bool)) ([a6989586621681099355] ~> [NonEmpty a6989586621681099355]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (a6989586621681099349 ~> (a6989586621681099349 ~> Bool)) (NonEmpty a6989586621681099349 ~> NonEmpty (NonEmpty a6989586621681099349)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621681099362 ~> Bool) (NonEmpty a6989586621681099362 ~> [a6989586621681099362]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621681099361 ~> Bool) (NonEmpty a6989586621681099361 ~> [a6989586621681099361]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621681099360 ~> Bool) (NonEmpty a6989586621681099360 ~> ([a6989586621681099360], [a6989586621681099360])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621681099359 ~> Bool) (NonEmpty a6989586621681099359 ~> ([a6989586621681099359], [a6989586621681099359])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621681099358 ~> Bool) (NonEmpty a6989586621681099358 ~> [a6989586621681099358]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621681099357 ~> Bool) (NonEmpty a6989586621681099357 ~> ([a6989586621681099357], [a6989586621681099357])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortBySym0 :: TyFun (a6989586621681099332 ~> (a6989586621681099332 ~> Ordering)) (NonEmpty a6989586621681099332 ~> NonEmpty a6989586621681099332) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (a6989586621681099369 ~> (a6989586621681099369 ~> a6989586621681099369)) (NonEmpty a6989586621681099369 ~> NonEmpty a6989586621681099369) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (a6989586621681099368 ~> (a6989586621681099368 ~> a6989586621681099368)) (NonEmpty a6989586621681099368 ~> NonEmpty a6989586621681099368) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TypeErrorSym0 :: TyFun PErrorMessage b6989586621681254403 -> Type) Source # |
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:<>:@#@$) :: TyFun (ErrorMessage' s6989586621681254413) (ErrorMessage' s6989586621681254413 ~> ErrorMessage' s6989586621681254413) -> Type) Source # |
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:$$:@#@$) :: TyFun (ErrorMessage' s6989586621681254413) (ErrorMessage' s6989586621681254413 ~> ErrorMessage' s6989586621681254413) -> Type) Source # |
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntercalateSym1 a6989586621679949905 :: TyFun [[a6989586621679939450]] [a6989586621679939450] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (RightsSym0 :: TyFun [Either a6989586621680429896 b6989586621680429897] [b6989586621680429897] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LeftsSym0 :: TyFun [Either a6989586621680429898 b6989586621680429899] [a6989586621680429898] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnzipSym0 :: TyFun [(a6989586621679939401, b6989586621679939402)] ([a6989586621679939401], [b6989586621679939402]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:@#@$$) t6989586621679301578 :: TyFun [a3530822107858468865] [a3530822107858468865] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:|@#@$$) t6989586621679301645 :: TyFun [a6989586621679068602] (NonEmpty a6989586621679068602) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((++@#@$$) a6989586621679521912 :: TyFun [a6989586621679521715] [a6989586621679521715] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericLengthSym0 :: TyFun [a6989586621679939330] i6989586621679939329 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubBySym1 a6989586621679948601 :: TyFun [a6989586621679939334] [a6989586621679939334] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PartitionSym1 a6989586621679948699 :: TyFun [a6989586621679939343] ([a6989586621679939343], [a6989586621679939343]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropSym1 a6989586621679948722 a6989586621679939353 :: TyFun [a6989586621679939353] [a6989586621679939353] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeSym1 a6989586621679948736 a6989586621679939354 :: TyFun [a6989586621679939354] [a6989586621679939354] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SplitAtSym1 a6989586621679948750 a6989586621679939352 :: TyFun [a6989586621679939352] ([a6989586621679939352], [a6989586621679939352]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (BreakSym1 a6989586621679948756 :: TyFun [a6989586621679939355] ([a6989586621679939355], [a6989586621679939355]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SpanSym1 a6989586621679948799 :: TyFun [a6989586621679939356] ([a6989586621679939356], [a6989586621679939356]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBySym1 a6989586621679948842 :: TyFun [a6989586621679939346] [[a6989586621679939346]] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileSym1 a6989586621679948876 :: TyFun [a6989586621679939358] [a6989586621679939358] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeWhileSym1 a6989586621679948894 :: TyFun [a6989586621679939359] [a6989586621679939359] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterSym1 a6989586621679948908 :: TyFun [a6989586621679939367] [a6989586621679939367] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertSym1 a6989586621679948955 :: TyFun [a6989586621679939348] [a6989586621679939348] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortBySym1 a6989586621679948961 :: TyFun [a6989586621679939371] [a6989586621679939371] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteFirstsBySym1 a6989586621679948992 :: TyFun [a6989586621679939372] ([a6989586621679939372] ~> [a6989586621679939372]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnionBySym1 a6989586621679949005 :: TyFun [a6989586621679939332] ([a6989586621679939332] ~> [a6989586621679939332]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnionSym1 a6989586621679949018 :: TyFun [a6989586621679939331] [a6989586621679939331] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteSym1 a6989586621679949028 :: TyFun [a6989586621679939375] [a6989586621679939375] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((\\@#@$$) a6989586621679949038 :: TyFun [a6989586621679939374] [a6989586621679939374] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipSym0 :: TyFun [a6989586621679939413] ([b6989586621679939414] ~> [(a6989586621679939413, b6989586621679939414)]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindIndicesSym1 a6989586621679949249 :: TyFun [a6989586621679939362] [Nat] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemIndicesSym1 a6989586621679949275 :: TyFun [a6989586621679939364] [Nat] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindIndexSym1 a6989586621679949283 :: TyFun [a6989586621679939363] (Maybe Nat) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemIndexSym1 a6989586621679949291 :: TyFun [a6989586621679939365] (Maybe Nat) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621679949333 :: TyFun [a6989586621679939419] Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanr1Sym1 a6989586621679949498 :: TyFun [a6989586621679939430] [a6989586621679939430] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanl1Sym1 a6989586621679949557 :: TyFun [a6989586621679939433] [a6989586621679939433] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsInfixOfSym1 a6989586621679949571 :: TyFun [a6989586621679939417] Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersectBySym1 a6989586621679949577 :: TyFun [a6989586621679939360] ([a6989586621679939360] ~> [a6989586621679939360]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersectSym1 a6989586621679949613 :: TyFun [a6989586621679939361] [a6989586621679939361] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl1'Sym1 a6989586621679949770 :: TyFun [a6989586621679939442] a6989586621679939442 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersperseSym1 a6989586621679949898 :: TyFun [a6989586621679939451] [a6989586621679939451] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsSuffixOfSym1 a6989586621679949924 :: TyFun [a6989586621679939418] Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileEndSym1 a6989586621679949932 :: TyFun [a6989586621679939357] [a6989586621679939357] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericIndexSym0 :: TyFun [a6989586621680065526] (i6989586621680065525 ~> a6989586621680065526) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (StripPrefixSym1 a6989586621680078291 :: TyFun [a6989586621680065581] (Maybe [a6989586621680065581]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680260505 :: TyFun [a6989586621680258567] (Symbol ~> Symbol) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBySym1 a6989586621681100875 :: TyFun [a6989586621681099355] [NonEmpty a6989586621681099355] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertSym1 a6989586621681101134 :: TyFun [a6989586621681099374] (NonEmpty a6989586621681099374) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromMaybeSym1 a6989586621679496768 :: TyFun (Maybe a6989586621679496576) a6989586621679496576 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsRightSym0 :: TyFun (Either a6989586621680429890 b6989586621680429891) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsLeftSym0 :: TyFun (Either a6989586621680429892 b6989586621680429893) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((!!@#@$$) a6989586621679948626 :: TyFun Nat a6989586621679939336 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((!!@#@$$) a6989586621681100849 :: TyFun Nat a6989586621681099343 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateM_Sym0 :: TyFun Nat (m6989586621681203135 a6989586621681203136 ~> m6989586621681203135 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateMSym0 :: TyFun Nat (m6989586621681203137 a6989586621681203138 ~> m6989586621681203137 [a6989586621681203138]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowListSym1 arg6989586621680260541 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowsSym1 a6989586621680260525 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowParenSym2 a6989586621680260474 a6989586621680260473 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SwapSym0 :: TyFun (a6989586621679358757, b6989586621679358758) (b6989586621679358758, a6989586621679358757) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SndSym0 :: TyFun (a6989586621679358765, b6989586621679358766) b6989586621679358766 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FstSym0 :: TyFun (a6989586621679358767, b6989586621679358768) a6989586621679358767 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LeftSym0 :: TyFun a6989586621679087510 (Either a6989586621679087510 b6989586621679087511) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (RightSym0 :: TyFun b6989586621679087511 (Either a6989586621679087510 b6989586621679087511) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple2Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (a3530822107858468865, b3530822107858468866)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Bool_Sym1 a6989586621679365320 :: TyFun a6989586621679365314 (Bool ~> a6989586621679365314) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((==@#@$$) x6989586621679369250 :: TyFun a6989586621679369249 Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((/=@#@$$) x6989586621679369252 :: TyFun a6989586621679369249 Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DefaultEqSym1 a6989586621679369244 :: TyFun k6989586621679369243 Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<=@#@$$) arg6989586621679383552 :: TyFun a6989586621679383450 Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CompareSym1 arg6989586621679383544 :: TyFun a6989586621679383450 Ordering -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinSym1 arg6989586621679383568 :: TyFun a6989586621679383450 a6989586621679383450 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaxSym1 arg6989586621679383564 :: TyFun a6989586621679383450 a6989586621679383450 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>=@#@$$) arg6989586621679383560 :: TyFun a6989586621679383450 Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>@#@$$) arg6989586621679383556 :: TyFun a6989586621679383450 Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<@#@$$) arg6989586621679383548 :: TyFun a6989586621679383450 Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ErrorSym0 :: TyFun k06989586621679468915 k6989586621679468914 -> Type) Source # |
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ErrorWithoutStackTraceSym0 :: TyFun k06989586621679469965 k6989586621679469964 -> Type) Source # |
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679495149 ((a6989586621679495150 ~> b6989586621679495149) ~> (Maybe a6989586621679495150 ~> b6989586621679495149)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((-@#@$$) arg6989586621679506826 :: TyFun a6989586621679506802 a6989586621679506802 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((+@#@$$) arg6989586621679506822 :: TyFun a6989586621679506802 a6989586621679506802 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((*@#@$$) arg6989586621679506830 :: TyFun a6989586621679506802 a6989586621679506802 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SubtractSym1 a6989586621679512263 :: TyFun a6989586621679512259 a6989586621679512259 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679521698 (b6989586621679521699 ~> b6989586621679521699) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679521712 (b6989586621679521713 ~> a6989586621679521712) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AsTypeOfSym1 a6989586621679521903 :: TyFun a6989586621679521705 a6989586621679521705 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PureSym0 :: TyFun a6989586621679545967 (f6989586621679545966 a6989586621679545967) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (WhenSym1 a6989586621679546299 f6989586621679545911 :: TyFun (f6989586621679545911 ()) (f6989586621679545911 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReturnSym0 :: TyFun a6989586621679545995 (m6989586621679545990 a6989586621679545995) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (JoinSym0 :: TyFun (m6989586621679545915 (m6989586621679545915 a6989586621679545916)) (m6989586621679545915 a6989586621679545916) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (VoidSym0 :: TyFun (f6989586621679715288 a6989586621679715289) (f6989586621679715288 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((&@#@$) :: TyFun a6989586621679730240 ((a6989586621679730240 ~> b6989586621679730241) ~> b6989586621679730241) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (EnumFromThenToSym1 arg6989586621679741196 :: TyFun a6989586621679740900 (a6989586621679740900 ~> [a6989586621679740900]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (EnumFromToSym1 arg6989586621679741192 :: TyFun a6989586621679740900 [a6989586621679740900] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<>@#@$$) arg6989586621679810921 :: TyFun a6989586621679810436 a6989586621679810436 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateSym1 a6989586621679948640 a6989586621679939338 :: TyFun a6989586621679939338 [a6989586621679939338] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LookupSym0 :: TyFun a6989586621679939344 ([(a6989586621679939344, b6989586621679939345)] ~> Maybe b6989586621679939345) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertBySym1 a6989586621679948931 :: TyFun a6989586621679939370 ([a6989586621679939370] ~> [a6989586621679939370]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteBySym1 a6989586621679948974 :: TyFun a6989586621679939373 ([a6989586621679939373] ~> [a6989586621679939373]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericReplicateSym0 :: TyFun i6989586621680065523 (a6989586621680065524 ~> [a6989586621680065524]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericSplitAtSym0 :: TyFun i6989586621680065527 ([a6989586621680065528] ~> ([a6989586621680065528], [a6989586621680065528])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericDropSym0 :: TyFun i6989586621680065529 ([a6989586621680065530] ~> [a6989586621680065530]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericTakeSym0 :: TyFun i6989586621680065531 ([a6989586621680065532] ~> [a6989586621680065532]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowsPrecSym1 arg6989586621680260533 a6989586621680258583 :: TyFun a6989586621680258583 (Symbol ~> Symbol) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MappendSym1 arg6989586621680326993 :: TyFun a6989586621680326608 a6989586621680326608 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ProductSym0 :: TyFun (t6989586621680448444 a6989586621680448465) a6989586621680448465 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SumSym0 :: TyFun (t6989586621680448444 a6989586621680448464) a6989586621680448464 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinimumSym0 :: TyFun (t6989586621680448444 a6989586621680448463) a6989586621680448463 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaximumSym0 :: TyFun (t6989586621680448444 a6989586621680448462) a6989586621680448462 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621680448461 (t6989586621680448444 a6989586621680448461 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621680448355 (t6989586621680448354 a6989586621680448355 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ToListSym0 :: TyFun (t6989586621680448444 a6989586621680448458) [a6989586621680448458] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConcatSym0 :: TyFun (t6989586621680448369 [a6989586621680448370]) [a6989586621680448370] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldSym0 :: TyFun (t6989586621680448444 m6989586621680448445) m6989586621680448445 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ArgSym0 :: TyFun a6989586621679061839 (b6989586621679061840 ~> Arg a6989586621679061839 b6989586621679061840) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OptionalSym0 :: TyFun (f6989586621681194395 a6989586621681194396) (f6989586621681194395 (Maybe a6989586621681194396)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Applicative Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnlessSym1 a6989586621681203502 f6989586621681203134 :: TyFun (f6989586621681203134 ()) (f6989586621681203134 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SameKindSym1 a6989586621679025111 :: TyFun k6989586621679025110 Constraint -> Type) Source # |
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowTypeSym0 :: TyFun t6989586621681254414 (ErrorMessage' s6989586621681254413) -> Type) Source # |
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621681099336, b6989586621681099337)) (NonEmpty a6989586621681099336, NonEmpty b6989586621681099337) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubBySym1 a6989586621681100781 :: TyFun (NonEmpty a6989586621681099334) (NonEmpty a6989586621681099334) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621681099341) (NonEmpty b6989586621681099342 ~> NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621681100867 :: TyFun (NonEmpty a6989586621681099344) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBy1Sym1 a6989586621681100939 :: TyFun (NonEmpty a6989586621681099349) (NonEmpty (NonEmpty a6989586621681099349)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersperseSym1 a6989586621681100988 :: TyFun (NonEmpty a6989586621681099367) (NonEmpty a6989586621681099367) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeSym1 a6989586621681101009 a6989586621681099365 :: TyFun (NonEmpty a6989586621681099365) [a6989586621681099365] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropSym1 a6989586621681101017 a6989586621681099364 :: TyFun (NonEmpty a6989586621681099364) [a6989586621681099364] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SplitAtSym1 a6989586621681101025 a6989586621681099363 :: TyFun (NonEmpty a6989586621681099363) ([a6989586621681099363], [a6989586621681099363]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeWhileSym1 a6989586621681101033 :: TyFun (NonEmpty a6989586621681099362) [a6989586621681099362] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileSym1 a6989586621681101041 :: TyFun (NonEmpty a6989586621681099361) [a6989586621681099361] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SpanSym1 a6989586621681101049 :: TyFun (NonEmpty a6989586621681099360) ([a6989586621681099360], [a6989586621681099360]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (BreakSym1 a6989586621681101057 :: TyFun (NonEmpty a6989586621681099359) ([a6989586621681099359], [a6989586621681099359]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterSym1 a6989586621681101065 :: TyFun (NonEmpty a6989586621681099358) [a6989586621681099358] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PartitionSym1 a6989586621681101073 :: TyFun (NonEmpty a6989586621681099357) ([a6989586621681099357], [a6989586621681099357]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortBySym1 a6989586621681101098 :: TyFun (NonEmpty a6989586621681099332) (NonEmpty a6989586621681099332) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanl1Sym1 a6989586621681101164 :: TyFun (NonEmpty a6989586621681099369) (NonEmpty a6989586621681099369) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanr1Sym1 a6989586621681101171 :: TyFun (NonEmpty a6989586621681099368) (NonEmpty a6989586621681099368) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<|@#@$$) a6989586621681101183 :: TyFun (NonEmpty a6989586621681099385) (NonEmpty a6989586621681099385) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConsSym1 a6989586621681101194 :: TyFun (NonEmpty a6989586621681099384) (NonEmpty a6989586621681099384) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ΣSym1 s2 :: TyFun (s1 ~> Type) Type -> Type) Source # |
Instance details Defined in Data.Singletons.Sigma Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ComparingSym0 :: TyFun (b6989586621679383440 ~> a6989586621679383439) (b6989586621679383440 ~> (b6989586621679383440 ~> Ordering)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (a6989586621679496571 ~> Maybe b6989586621679496572) ([a6989586621679496571] ~> [b6989586621679496572]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UntilSym1 a6989586621679521825 :: TyFun (a6989586621679521700 ~> a6989586621679521700) (a6989586621679521700 ~> a6989586621679521700) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (($!@#@$) :: TyFun (a6989586621679521701 ~> b6989586621679521702) (a6989586621679521701 ~> b6989586621679521702) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (($@#@$) :: TyFun (a6989586621679521703 ~> b6989586621679521704) (a6989586621679521703 ~> b6989586621679521704) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621679521716 ~> b6989586621679521717) ([a6989586621679521716] ~> [b6989586621679521717]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym0 :: TyFun (a6989586621679521718 ~> (b6989586621679521719 ~> b6989586621679521719)) (b6989586621679521719 ~> ([a6989586621679521718] ~> b6989586621679521719)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (b6989586621679939422 ~> Maybe (a6989586621679939423, b6989586621679939422)) (b6989586621679939422 ~> [a6989586621679939423]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym0 :: TyFun (a6989586621679939431 ~> (b6989586621679939432 ~> b6989586621679939432)) (b6989586621679939432 ~> ([a6989586621679939431] ~> [b6989586621679939432])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym0 :: TyFun (b6989586621679939434 ~> (a6989586621679939435 ~> b6989586621679939434)) (b6989586621679939434 ~> ([a6989586621679939435] ~> [b6989586621679939434])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621680448363 ~> Bool) (t6989586621680448362 a6989586621680448363 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (a6989586621680448457 ~> (a6989586621680448457 ~> a6989586621680448457)) (t6989586621680448444 a6989586621680448457 ~> a6989586621680448457) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaximumBySym0 :: TyFun (a6989586621680448359 ~> (a6989586621680448359 ~> Ordering)) (t6989586621680448358 a6989586621680448359 ~> a6989586621680448359) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinimumBySym0 :: TyFun (a6989586621680448357 ~> (a6989586621680448357 ~> Ordering)) (t6989586621680448356 a6989586621680448357 ~> a6989586621680448357) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (a6989586621680448456 ~> (a6989586621680448456 ~> a6989586621680448456)) (t6989586621680448444 a6989586621680448456 ~> a6989586621680448456) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621680448361 ~> Bool) (t6989586621680448360 a6989586621680448361 ~> Bool) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680448353 ~> Bool) (t6989586621680448352 a6989586621680448353 ~> Maybe a6989586621680448353) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupWithSym0 :: TyFun (a6989586621681099354 ~> b6989586621681099353) ([a6989586621681099354] ~> [NonEmpty a6989586621681099354]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (a6989586621681099352 ~> b6989586621681099351) ([a6989586621681099352] ~> [NonEmpty a6989586621681099352]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (a6989586621681099348 ~> b6989586621681099347) (NonEmpty a6989586621681099348 ~> NonEmpty (NonEmpty a6989586621681099348)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621681099377 ~> b6989586621681099378) (NonEmpty a6989586621681099377 ~> NonEmpty b6989586621681099378) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortWithSym0 :: TyFun (a6989586621681099331 ~> o6989586621681099330) (NonEmpty a6989586621681099331 ~> NonEmpty a6989586621681099331) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (a6989586621681099346 ~> b6989586621681099345) (NonEmpty a6989586621681099346 ~> NonEmpty (NonEmpty a6989586621681099346)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym0 :: TyFun (b6989586621681099372 ~> (a6989586621681099373 ~> b6989586621681099372)) (b6989586621681099372 ~> ([a6989586621681099373] ~> NonEmpty b6989586621681099372)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym0 :: TyFun (a6989586621681099370 ~> (b6989586621681099371 ~> b6989586621681099371)) (b6989586621681099371 ~> ([a6989586621681099370] ~> NonEmpty b6989586621681099371)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (a6989586621681099390 ~> (b6989586621681099391, Maybe a6989586621681099390)) (a6989586621681099390 ~> NonEmpty b6989586621681099391) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldSym0 :: TyFun (a6989586621681099394 ~> (b6989586621681099395, Maybe a6989586621681099394)) (a6989586621681099394 ~> NonEmpty b6989586621681099395) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MfilterSym0 :: TyFun (a6989586621681203130 ~> Bool) (m6989586621681203129 a6989586621681203130 ~> m6989586621681203129 a6989586621681203130) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterMSym0 :: TyFun (a6989586621681203168 ~> m6989586621681203167 Bool) ([a6989586621681203168] ~> m6989586621681203167 [a6989586621681203168]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ApplySym0 :: TyFun (k16989586621679023252 ~> k26989586621679023251) (k16989586621679023252 ~> k26989586621679023251) -> Type) Source # |
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((@@@#@$) :: TyFun (k16989586621679029429 ~> k6989586621679029427) (TyFun k16989586621679029429 k6989586621679029427 -> Type) -> Type) Source # |
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:<>:@#@$$) t6989586621681255203 :: TyFun (ErrorMessage' s6989586621681254413) (ErrorMessage' s6989586621681254413) -> Type) Source # |
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:$$:@#@$$) t6989586621681255207 :: TyFun (ErrorMessage' s6989586621681254413) (ErrorMessage' s6989586621681254413) -> Type) Source # |
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Bool_Sym2 a6989586621679365321 a6989586621679365320 :: TyFun Bool a6989586621679365314 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LookupSym1 a6989586621679948705 b6989586621679939345 :: TyFun [(a6989586621679939344, b6989586621679939345)] (Maybe b6989586621679939345) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Unzip3Sym0 :: TyFun [(a6989586621679939398, b6989586621679939399, c6989586621679939400)] ([a6989586621679939398], [b6989586621679939399], [c6989586621679939400]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapMaybeSym1 a6989586621679496738 :: TyFun [a6989586621679496571] [b6989586621679496572] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapSym1 a6989586621679521920 :: TyFun [a6989586621679521716] [b6989586621679521717] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertBySym2 a6989586621679948932 a6989586621679948931 :: TyFun [a6989586621679939370] [a6989586621679939370] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteBySym2 a6989586621679948975 a6989586621679948974 :: TyFun [a6989586621679939373] [a6989586621679939373] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteFirstsBySym2 a6989586621679948993 a6989586621679948992 :: TyFun [a6989586621679939372] [a6989586621679939372] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnionBySym2 a6989586621679949006 a6989586621679949005 :: TyFun [a6989586621679939332] [a6989586621679939332] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip3Sym0 :: TyFun [a6989586621679939410] ([b6989586621679939411] ~> ([c6989586621679939412] ~> [(a6989586621679939410, b6989586621679939411, c6989586621679939412)])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipSym1 a6989586621679949241 b6989586621679939414 :: TyFun [b6989586621679939414] [(a6989586621679939413, b6989586621679939414)] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersectBySym2 a6989586621679949578 a6989586621679949577 :: TyFun [a6989586621679939360] [a6989586621679939360] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericSplitAtSym1 a6989586621680078055 a6989586621680065528 :: TyFun [a6989586621680065528] ([a6989586621680065528], [a6989586621680065528]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericDropSym1 a6989586621680078065 a6989586621680065530 :: TyFun [a6989586621680065530] [a6989586621680065530] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericTakeSym1 a6989586621680078075 a6989586621680065532 :: TyFun [a6989586621680065532] [a6989586621680065532] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupWithSym1 a6989586621681100923 :: TyFun [a6989586621681099354] [NonEmpty a6989586621681099354] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupAllWithSym1 a6989586621681100931 :: TyFun [a6989586621681099352] [NonEmpty a6989586621681099352] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterMSym1 a6989586621681203631 :: TyFun [a6989586621681203168] (m6989586621681203167 [a6989586621681203168]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowsPrecSym2 arg6989586621680260534 arg6989586621680260533 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680260506 a6989586621680260505 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FailSym0 :: TyFun Symbol (m6989586621679545990 a6989586621679545996) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple2Sym1 t6989586621679301671 b3530822107858468866 :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple3Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ComparingSym1 a6989586621679383535 :: TyFun b6989586621679383440 (b6989586621679383440 ~> Ordering) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SeqSym1 a6989586621679521820 b6989586621679521699 :: TyFun b6989586621679521699 b6989586621679521699 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UntilSym2 a6989586621679521826 a6989586621679521825 :: TyFun a6989586621679521700 a6989586621679521700 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (($!@#@$$) a6989586621679521851 :: TyFun a6989586621679521701 b6989586621679521702 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (($@#@$$) a6989586621679521860 :: TyFun a6989586621679521703 b6989586621679521704 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConstSym1 a6989586621679521894 b6989586621679521713 :: TyFun b6989586621679521713 a6989586621679521712 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym1 a6989586621679521927 :: TyFun b6989586621679521719 ([a6989586621679521718] ~> b6989586621679521719) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<$@#@$) :: TyFun a6989586621679545964 (f6989586621679545961 b6989586621679545965 ~> f6989586621679545961 a6989586621679545964) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<*>@#@$) :: TyFun (f6989586621679545966 (a6989586621679545968 ~> b6989586621679545969)) (f6989586621679545966 a6989586621679545968 ~> f6989586621679545966 b6989586621679545969) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<**>@#@$) :: TyFun (f6989586621679545925 a6989586621679545926) (f6989586621679545925 (a6989586621679545926 ~> b6989586621679545927) ~> f6989586621679545925 b6989586621679545927) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>>=@#@$) :: TyFun (m6989586621679545990 a6989586621679545991) ((a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) ~> m6989586621679545990 b6989586621679545992) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ApSym0 :: TyFun (m6989586621679545883 (a6989586621679545884 ~> b6989586621679545885)) (m6989586621679545883 a6989586621679545884 ~> m6989586621679545883 b6989586621679545885) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<|>@#@$) :: TyFun (f6989586621679546043 a6989586621679546045) (f6989586621679546043 a6989586621679546045 ~> f6989586621679546043 a6989586621679546045) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MplusSym0 :: TyFun (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048 ~> m6989586621679546046 a6989586621679546048) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (($>@#@$) :: TyFun (f6989586621679715290 a6989586621679715291) (b6989586621679715292 ~> f6989586621679715290 b6989586621679715292) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<&>@#@$) :: TyFun (f6989586621679715293 a6989586621679715294) ((a6989586621679715294 ~> b6989586621679715295) ~> f6989586621679715293 b6989586621679715295) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (EnumFromThenToSym2 arg6989586621679741197 arg6989586621679741196 :: TyFun a6989586621679740900 [a6989586621679740900] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldrSym1 a6989586621679949356 :: TyFun b6989586621679939422 [a6989586621679939423] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym1 a6989586621679949522 :: TyFun b6989586621679939432 ([a6989586621679939431] ~> [b6989586621679939432]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym1 a6989586621679949543 :: TyFun b6989586621679939434 ([a6989586621679939435] ~> [b6989586621679939434]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericReplicateSym1 a6989586621680078035 a6989586621680065524 :: TyFun a6989586621680065524 [a6989586621680065524] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericIndexSym1 a6989586621680078045 i6989586621680065525 :: TyFun i6989586621680065525 a6989586621680065526 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AnySym1 a6989586621680448908 t6989586621680448362 :: TyFun (t6989586621680448362 a6989586621680448363) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemSym1 arg6989586621680449111 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448461) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NotElemSym1 a6989586621680448837 t6989586621680448354 :: TyFun (t6989586621680448354 a6989586621680448355) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LengthSym0 :: TyFun (t6989586621680448444 a6989586621680448460) Nat -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NullSym0 :: TyFun (t6989586621680448444 a6989586621680448459) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl1Sym1 arg6989586621680449101 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448457) a6989586621680448457 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaximumBySym1 a6989586621680448870 t6989586621680448358 :: TyFun (t6989586621680448358 a6989586621680448359) a6989586621680448359 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinimumBySym1 a6989586621680448845 t6989586621680448356 :: TyFun (t6989586621680448356 a6989586621680448357) a6989586621680448357 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldr1Sym1 arg6989586621680449097 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448456) a6989586621680448456 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SequenceA_Sym0 :: TyFun (t6989586621680448380 (f6989586621680448381 a6989586621680448382)) (f6989586621680448381 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t6989586621680448377 (m6989586621680448378 a6989586621680448379)) (m6989586621680448378 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AllSym1 a6989586621680448895 t6989586621680448360 :: TyFun (t6989586621680448360 a6989586621680448361) Bool -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindSym1 a6989586621680448810 t6989586621680448352 :: TyFun (t6989586621680448352 a6989586621680448353) (Maybe a6989586621680448353) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679091214 (Const a6989586621679091214 b6989586621679091215) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SequenceASym0 :: TyFun (t6989586621680744885 (f6989586621680744889 a6989586621680744890)) (f6989586621680744889 (t6989586621680744885 a6989586621680744890)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SequenceSym0 :: TyFun (t6989586621680744885 (m6989586621680744894 a6989586621680744895)) (m6989586621680744894 (t6989586621680744885 a6989586621680744895)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ArgSym1 t6989586621680860190 b6989586621679061840 :: TyFun b6989586621679061840 (Arg a6989586621679061839 b6989586621679061840) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MzipSym0 :: TyFun (m6989586621681067521 a6989586621681067522) (m6989586621681067521 b6989586621681067523 ~> m6989586621681067521 (a6989586621681067522, b6989586621681067523)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MunzipSym0 :: TyFun (m6989586621681067521 (a6989586621681067527, b6989586621681067528)) (m6989586621681067521 a6989586621681067527, m6989586621681067521 b6989586621681067528) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym1 a6989586621681101142 :: TyFun b6989586621681099372 ([a6989586621681099373] ~> NonEmpty b6989586621681099372) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym1 a6989586621681101153 :: TyFun b6989586621681099371 ([a6989586621681099370] ~> NonEmpty b6989586621681099371) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldrSym1 a6989586621681101214 :: TyFun a6989586621681099390 (NonEmpty b6989586621681099391) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldSym1 a6989586621681101251 :: TyFun a6989586621681099394 (NonEmpty b6989586621681099395) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MfilterSym1 a6989586621681203465 m6989586621681203129 :: TyFun (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621681203511 a6989586621681203136 m6989586621681203135 :: TyFun (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateMSym1 a6989586621681203530 a6989586621681203138 m6989586621681203137 :: TyFun (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ApplySym1 f6989586621679023253 :: TyFun k16989586621679023252 k26989586621679023251 -> Type) Source # |
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((@@@#@$$) a6989586621679023249 :: TyFun k16989586621679029429 k6989586621679029427 -> Type) Source # |
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetConstSym0 :: TyFun (Const a6989586621680706243 b6989586621680706244) a6989586621680706243 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipSym1 a6989586621681100841 b6989586621681099342 :: TyFun (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupWith1Sym1 a6989586621681100975 :: TyFun (NonEmpty a6989586621681099348) (NonEmpty (NonEmpty a6989586621681099348)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapSym1 a6989586621681100998 :: TyFun (NonEmpty a6989586621681099377) (NonEmpty b6989586621681099378) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortWithSym1 a6989586621681101110 :: TyFun (NonEmpty a6989586621681099331) (NonEmpty a6989586621681099331) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupAllWith1Sym1 a6989586621681101116 :: TyFun (NonEmpty a6989586621681099346) (NonEmpty (NonEmpty a6989586621681099346)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CurrySym0 :: TyFun ((a6989586621679358762, b6989586621679358763) ~> c6989586621679358764) (a6989586621679358762 ~> (b6989586621679358763 ~> c6989586621679358764)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UncurrySym0 :: TyFun (a6989586621679358759 ~> (b6989586621679358760 ~> c6989586621679358761)) ((a6989586621679358759, b6989586621679358760) ~> c6989586621679358761) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Maybe_Sym1 a6989586621679495167 a6989586621679495150 :: TyFun (a6989586621679495150 ~> b6989586621679495149) (Maybe a6989586621679495150 ~> b6989586621679495149) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FlipSym0 :: TyFun (a6989586621679521706 ~> (b6989586621679521707 ~> c6989586621679521708)) (b6989586621679521707 ~> (a6989586621679521706 ~> c6989586621679521708)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((.@#@$) :: TyFun (b6989586621679521709 ~> c6989586621679521710) ((a6989586621679521711 ~> b6989586621679521709) ~> (a6989586621679521711 ~> c6989586621679521710)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FmapSym0 :: TyFun (a6989586621679545962 ~> b6989586621679545963) (f6989586621679545961 a6989586621679545962 ~> f6989586621679545961 b6989586621679545963) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftASym0 :: TyFun (a6989586621679545923 ~> b6989586621679545924) (f6989586621679545922 a6989586621679545923 ~> f6989586621679545922 b6989586621679545924) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((=<<@#@$) :: TyFun (a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) (m6989586621679545912 a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftMSym0 :: TyFun (a16989586621679545909 ~> r6989586621679545910) (m6989586621679545908 a16989586621679545909 ~> m6989586621679545908 r6989586621679545910) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<$>@#@$) :: TyFun (a6989586621679715297 ~> b6989586621679715298) (f6989586621679715296 a6989586621679715297 ~> f6989586621679715296 b6989586621679715298) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621679730253 &@#@$$ b6989586621679730241 :: TyFun (a6989586621679730240 ~> b6989586621679730241) b6989586621679730241 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OnSym0 :: TyFun (b6989586621679730242 ~> (b6989586621679730242 ~> c6989586621679730243)) ((a6989586621679730244 ~> b6989586621679730242) ~> (a6989586621679730244 ~> (a6989586621679730244 ~> c6989586621679730243))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a6989586621679939407 ~> (b6989586621679939408 ~> c6989586621679939409)) ([a6989586621679939407] ~> ([b6989586621679939408] ~> [c6989586621679939409])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Either_Sym0 :: TyFun (a6989586621680428420 ~> c6989586621680428421) ((b6989586621680428422 ~> c6989586621680428421) ~> (Either a6989586621680428420 b6989586621680428422 ~> c6989586621680428421)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl'Sym0 :: TyFun (b6989586621680448454 ~> (a6989586621680448455 ~> b6989586621680448454)) (b6989586621680448454 ~> (t6989586621680448444 a6989586621680448455 ~> b6989586621680448454)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlSym0 :: TyFun (b6989586621680448452 ~> (a6989586621680448453 ~> b6989586621680448452)) (b6989586621680448452 ~> (t6989586621680448444 a6989586621680448453 ~> b6989586621680448452)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym0 :: TyFun (a6989586621680448448 ~> (b6989586621680448449 ~> b6989586621680448449)) (b6989586621680448449 ~> (t6989586621680448444 a6989586621680448448 ~> b6989586621680448449)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldMapSym0 :: TyFun (a6989586621680448447 ~> m6989586621680448446) (t6989586621680448444 a6989586621680448447 ~> m6989586621680448446) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldr'Sym0 :: TyFun (a6989586621680448450 ~> (b6989586621680448451 ~> b6989586621680448451)) (b6989586621680448451 ~> (t6989586621680448444 a6989586621680448450 ~> b6989586621680448451)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (a6989586621680448367 ~> [b6989586621680448368]) (t6989586621680448366 a6989586621680448367 ~> [b6989586621680448368]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldMapDefaultSym0 :: TyFun (a6989586621680750454 ~> m6989586621680750453) (t6989586621680750452 a6989586621680750454 ~> m6989586621680750453) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FmapDefaultSym0 :: TyFun (a6989586621680750456 ~> b6989586621680750457) (t6989586621680750455 a6989586621680750456 ~> t6989586621680750455 b6989586621680750457) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a6989586621681099338 ~> (b6989586621681099339 ~> c6989586621681099340)) (NonEmpty a6989586621681099338 ~> (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<$!>@#@$) :: TyFun (a6989586621681203132 ~> b6989586621681203133) (m6989586621681203131 a6989586621681203132 ~> m6989586621681203131 b6989586621681203133) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Unzip4Sym0 :: TyFun [(a6989586621679939394, b6989586621679939395, c6989586621679939396, d6989586621679939397)] ([a6989586621679939394], [b6989586621679939395], [c6989586621679939396], [d6989586621679939397]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym2 a6989586621679521928 a6989586621679521927 :: TyFun [a6989586621679521718] b6989586621679521719 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym1 a6989586621679949218 :: TyFun [a6989586621679939407] ([b6989586621679939408] ~> [c6989586621679939409]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip3Sym1 a6989586621679949229 b6989586621679939411 c6989586621679939412 :: TyFun [b6989586621679939411] ([c6989586621679939412] ~> [(a6989586621679939410, b6989586621679939411, c6989586621679939412)]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym2 a6989586621679949523 a6989586621679949522 :: TyFun [a6989586621679939431] [b6989586621679939432] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym2 a6989586621679949544 a6989586621679949543 :: TyFun [a6989586621679939435] [b6989586621679939434] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip4Sym0 :: TyFun [a6989586621680065577] ([b6989586621680065578] ~> ([c6989586621680065579] ~> ([d6989586621680065580] ~> [(a6989586621680065577, b6989586621680065578, c6989586621680065579, d6989586621680065580)]))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym2 a6989586621681101143 a6989586621681101142 :: TyFun [a6989586621681099373] (NonEmpty b6989586621681099372) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym2 a6989586621681101154 a6989586621681101153 :: TyFun [a6989586621681099370] (NonEmpty b6989586621681099371) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Maybe_Sym2 a6989586621679495168 a6989586621679495167 :: TyFun (Maybe a6989586621679495150) b6989586621679495149 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UncurrySym1 a6989586621679358866 :: TyFun (a6989586621679358759, b6989586621679358760) c6989586621679358761 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple3Sym1 t6989586621679301702 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple4Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CurrySym1 a6989586621679358851 :: TyFun a6989586621679358762 (b6989586621679358763 ~> c6989586621679358764) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ComparingSym2 a6989586621679383536 a6989586621679383535 :: TyFun b6989586621679383440 Ordering -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FlipSym1 a6989586621679521866 :: TyFun b6989586621679521707 (a6989586621679521706 ~> c6989586621679521708) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FmapSym1 arg6989586621679546355 f6989586621679545961 :: TyFun (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((arg6989586621679546359 <$@#@$$ b6989586621679545965) f6989586621679545961 :: TyFun (f6989586621679545961 b6989586621679545965) (f6989586621679545961 a6989586621679545964) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<*>@#@$$) arg6989586621679546381 :: TyFun (f6989586621679545966 a6989586621679545968) (f6989586621679545966 b6989586621679545969) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<*@#@$) :: TyFun (f6989586621679545966 a6989586621679545975) (f6989586621679545966 b6989586621679545976 ~> f6989586621679545966 a6989586621679545975) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((*>@#@$) :: TyFun (f6989586621679545966 a6989586621679545973) (f6989586621679545966 b6989586621679545974 ~> f6989586621679545966 b6989586621679545974) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621679546339 <**>@#@$$ b6989586621679545927 :: TyFun (f6989586621679545925 (a6989586621679545926 ~> b6989586621679545927)) (f6989586621679545925 b6989586621679545927) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftASym1 a6989586621679546329 f6989586621679545922 :: TyFun (f6989586621679545922 a6989586621679545923) (f6989586621679545922 b6989586621679545924) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>>@#@$) :: TyFun (m6989586621679545990 a6989586621679545993) (m6989586621679545990 b6989586621679545994 ~> m6989586621679545990 b6989586621679545994) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((=<<@#@$$) a6989586621679546308 :: TyFun (m6989586621679545912 a6989586621679545913) (m6989586621679545912 b6989586621679545914) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftMSym1 a6989586621679546286 m6989586621679545908 :: TyFun (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ApSym1 a6989586621679546053 :: TyFun (m6989586621679545883 a6989586621679545884) (m6989586621679545883 b6989586621679545885) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<|>@#@$$) arg6989586621679546512 :: TyFun (f6989586621679546043 a6989586621679546045) (f6989586621679546043 a6989586621679546045) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MplusSym1 arg6989586621679546516 :: TyFun (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621679715367 $>@#@$$ b6989586621679715292 :: TyFun b6989586621679715292 (f6989586621679715290 b6989586621679715292) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621679715377 <$>@#@$$ f6989586621679715296 :: TyFun (f6989586621679715296 a6989586621679715297) (f6989586621679715296 b6989586621679715298) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl'Sym1 arg6989586621680449091 t6989586621680448444 :: TyFun b6989586621680448454 (t6989586621680448444 a6989586621680448455 ~> b6989586621680448454) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlSym1 arg6989586621680449085 t6989586621680448444 :: TyFun b6989586621680448452 (t6989586621680448444 a6989586621680448453 ~> b6989586621680448452) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym1 arg6989586621680449073 t6989586621680448444 :: TyFun b6989586621680448449 (t6989586621680448444 a6989586621680448448 ~> b6989586621680448449) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldMapSym1 arg6989586621680449069 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448447) m6989586621680448446 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldr'Sym1 arg6989586621680449079 t6989586621680448444 :: TyFun b6989586621680448451 (t6989586621680448444 a6989586621680448450 ~> b6989586621680448451) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (For_Sym0 :: TyFun (t6989586621680448391 a6989586621680448393) ((a6989586621680448393 ~> f6989586621680448392 b6989586621680448394) ~> f6989586621680448392 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForM_Sym0 :: TyFun (t6989586621680448383 a6989586621680448385) ((a6989586621680448385 ~> m6989586621680448384 b6989586621680448386) ~> m6989586621680448384 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AsumSym0 :: TyFun (t6989586621680448374 (f6989586621680448375 a6989586621680448376)) (f6989586621680448375 a6989586621680448376) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MsumSym0 :: TyFun (t6989586621680448371 (m6989586621680448372 a6989586621680448373)) (m6989586621680448372 a6989586621680448373) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConcatMapSym1 a6989586621680448939 t6989586621680448366 :: TyFun (t6989586621680448366 a6989586621680448367) [b6989586621680448368] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldMapDefaultSym1 a6989586621680750951 t6989586621680750452 :: TyFun (t6989586621680750452 a6989586621680750454) m6989586621680750453 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FmapDefaultSym1 a6989586621680750972 t6989586621680750455 :: TyFun (t6989586621680750455 a6989586621680750456) (t6989586621680750455 b6989586621680750457) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForMSym0 :: TyFun (t6989586621680750466 a6989586621680750468) ((a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) ~> m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForSym0 :: TyFun (t6989586621680750470 a6989586621680750472) ((a6989586621680750472 ~> f6989586621680750471 b6989586621680750473) ~> f6989586621680750471 (t6989586621680750470 b6989586621680750473)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MzipSym1 arg6989586621681067597 b6989586621681067523 :: TyFun (m6989586621681067521 b6989586621681067523) (m6989586621681067521 (a6989586621681067522, b6989586621681067523)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621681203485 <$!>@#@$$ m6989586621681203131 :: TyFun (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym1 a6989586621681100830 :: TyFun (NonEmpty a6989586621681099338) (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621679521875 .@#@$$ a6989586621679521711 :: TyFun (a6989586621679521711 ~> b6989586621679521709) (a6989586621679521711 ~> c6989586621679521710) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA2Sym0 :: TyFun (a6989586621679545970 ~> (b6989586621679545971 ~> c6989586621679545972)) (f6989586621679545966 a6989586621679545970 ~> (f6989586621679545966 b6989586621679545971 ~> f6989586621679545966 c6989586621679545972)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (arg6989586621679546462 >>=@#@$$ b6989586621679545992 :: TyFun (a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) (m6989586621679545990 b6989586621679545992) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM2Sym0 :: TyFun (a16989586621679545905 ~> (a26989586621679545906 ~> r6989586621679545907)) (m6989586621679545904 a16989586621679545905 ~> (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621679715383 <&>@#@$$ b6989586621679715295 :: TyFun (a6989586621679715294 ~> b6989586621679715295) (f6989586621679715293 b6989586621679715295) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OnSym1 a6989586621679730259 a6989586621679730244 :: TyFun (a6989586621679730244 ~> b6989586621679730242) (a6989586621679730244 ~> (a6989586621679730244 ~> c6989586621679730243)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith3Sym0 :: TyFun (a6989586621679939403 ~> (b6989586621679939404 ~> (c6989586621679939405 ~> d6989586621679939406))) ([a6989586621679939403] ~> ([b6989586621679939404] ~> ([c6989586621679939405] ~> [d6989586621679939406]))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Either_Sym1 a6989586621680428456 b6989586621680428422 :: TyFun (b6989586621680428422 ~> c6989586621680428421) (Either a6989586621680428420 b6989586621680428422 ~> c6989586621680428421) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrMSym0 :: TyFun (a6989586621680448405 ~> (b6989586621680448406 ~> m6989586621680448404 b6989586621680448406)) (b6989586621680448406 ~> (t6989586621680448403 a6989586621680448405 ~> m6989586621680448404 b6989586621680448406)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) (b6989586621680448401 ~> (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Traverse_Sym0 :: TyFun (a6989586621680448397 ~> f6989586621680448396 b6989586621680448398) (t6989586621680448395 a6989586621680448397 ~> f6989586621680448396 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) (t6989586621680448387 a6989586621680448389 ~> m6989586621680448388 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TraverseSym0 :: TyFun (a6989586621680744887 ~> f6989586621680744886 b6989586621680744888) (t6989586621680744885 a6989586621680744887 ~> f6989586621680744886 (t6989586621680744885 b6989586621680744888)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapMSym0 :: TyFun (a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) (t6989586621680744885 a6989586621680744892 ~> m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumRSym0 :: TyFun (a6989586621680750459 ~> (b6989586621680750460 ~> (a6989586621680750459, c6989586621680750461))) (a6989586621680750459 ~> (t6989586621680750458 b6989586621680750460 ~> (a6989586621680750459, t6989586621680750458 c6989586621680750461))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumLSym0 :: TyFun (a6989586621680750463 ~> (b6989586621680750464 ~> (a6989586621680750463, c6989586621680750465))) (a6989586621680750463 ~> (t6989586621680750462 b6989586621680750464 ~> (a6989586621680750463, t6989586621680750462 c6989586621680750465))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MzipWithSym0 :: TyFun (a6989586621681067524 ~> (b6989586621681067525 ~> c6989586621681067526)) (m6989586621681067521 a6989586621681067524 ~> (m6989586621681067521 b6989586621681067525 ~> m6989586621681067521 c6989586621681067526)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithM_Sym0 :: TyFun (a6989586621681203148 ~> (b6989586621681203149 ~> m6989586621681203147 c6989586621681203150)) ([a6989586621681203148] ~> ([b6989586621681203149] ~> m6989586621681203147 ())) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithMSym0 :: TyFun (a6989586621681203152 ~> (b6989586621681203153 ~> m6989586621681203151 c6989586621681203154)) ([a6989586621681203152] ~> ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAndUnzipMSym0 :: TyFun (a6989586621681203156 ~> m6989586621681203155 (b6989586621681203157, c6989586621681203158)) ([a6989586621681203156] ~> m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>=>@#@$) :: TyFun (a6989586621681203164 ~> m6989586621681203163 b6989586621681203165) ((b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) ~> (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<=<@#@$) :: TyFun (b6989586621681203160 ~> m6989586621681203159 c6989586621681203161) ((a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) ~> (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Unzip5Sym0 :: TyFun [(a6989586621679939389, b6989586621679939390, c6989586621679939391, d6989586621679939392, e6989586621679939393)] ([a6989586621679939389], [b6989586621679939390], [c6989586621679939391], [d6989586621679939392], [e6989586621679939393]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith3Sym1 a6989586621679949203 :: TyFun [a6989586621679939403] ([b6989586621679939404] ~> ([c6989586621679939405] ~> [d6989586621679939406])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym2 a6989586621679949219 a6989586621679949218 :: TyFun [b6989586621679939408] [c6989586621679939409] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip3Sym2 a6989586621679949230 a6989586621679949229 c6989586621679939412 :: TyFun [c6989586621679939412] [(a6989586621679939410, b6989586621679939411, c6989586621679939412)] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip5Sym0 :: TyFun [a6989586621680065572] ([b6989586621680065573] ~> ([c6989586621680065574] ~> ([d6989586621680065575] ~> ([e6989586621680065576] ~> [(a6989586621680065572, b6989586621680065573, c6989586621680065574, d6989586621680065575, e6989586621680065576)])))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip4Sym1 a6989586621680078279 b6989586621680065578 c6989586621680065579 d6989586621680065580 :: TyFun [b6989586621680065578] ([c6989586621680065579] ~> ([d6989586621680065580] ~> [(a6989586621680065577, b6989586621680065578, c6989586621680065579, d6989586621680065580)])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithM_Sym1 a6989586621681203573 :: TyFun [a6989586621681203148] ([b6989586621681203149] ~> m6989586621681203147 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithMSym1 a6989586621681203582 :: TyFun [a6989586621681203152] ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681203591 :: TyFun [a6989586621681203156] (m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Either_Sym2 a6989586621680428457 a6989586621680428456 :: TyFun (Either a6989586621680428420 b6989586621680428422) c6989586621680428421 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple3Sym2 t6989586621679301703 t6989586621679301702 c3530822107858468867 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple4Sym1 t6989586621679301749 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple5Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CurrySym2 a6989586621679358852 a6989586621679358851 :: TyFun b6989586621679358763 c6989586621679358764 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FlipSym2 a6989586621679521867 a6989586621679521866 :: TyFun a6989586621679521706 c6989586621679521708 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621679521876 .@#@$$$ a6989586621679521875 :: TyFun a6989586621679521711 c6989586621679521710 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA2Sym1 arg6989586621679546385 f6989586621679545966 :: TyFun (f6989586621679545966 a6989586621679545970) (f6989586621679545966 b6989586621679545971 ~> f6989586621679545966 c6989586621679545972) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (arg6989586621679546395 <*@#@$$ b6989586621679545976 :: TyFun (f6989586621679545966 b6989586621679545976) (f6989586621679545966 a6989586621679545975) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (arg6989586621679546391 *>@#@$$ b6989586621679545974 :: TyFun (f6989586621679545966 b6989586621679545974) (f6989586621679545966 b6989586621679545974) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (arg6989586621679546466 >>@#@$$ b6989586621679545994 :: TyFun (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM2Sym1 a6989586621679546260 m6989586621679545904 :: TyFun (m6989586621679545904 a16989586621679545905) (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OnSym2 a6989586621679730260 a6989586621679730259 :: TyFun a6989586621679730244 (a6989586621679730244 ~> c6989586621679730243) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl'Sym2 arg6989586621680449092 arg6989586621680449091 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448455) b6989586621680448454 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlSym2 arg6989586621680449086 arg6989586621680449085 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448453) b6989586621680448452 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym2 arg6989586621680449074 arg6989586621680449073 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448448) b6989586621680448449 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrMSym1 a6989586621680449045 t6989586621680448403 :: TyFun b6989586621680448406 (t6989586621680448403 a6989586621680448405 ~> m6989586621680448404 b6989586621680448406) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldr'Sym2 arg6989586621680449080 arg6989586621680449079 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448450) b6989586621680448451 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Traverse_Sym1 a6989586621680449005 t6989586621680448395 :: TyFun (t6989586621680448395 a6989586621680448397) (f6989586621680448396 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapM_Sym1 a6989586621680448987 t6989586621680448387 :: TyFun (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TraverseSym1 arg6989586621680744897 t6989586621680744885 :: TyFun (t6989586621680744885 a6989586621680744887) (f6989586621680744886 (t6989586621680744885 b6989586621680744888)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapMSym1 arg6989586621680744903 t6989586621680744885 :: TyFun (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumRSym1 a6989586621680750985 t6989586621680750458 :: TyFun a6989586621680750459 (t6989586621680750458 b6989586621680750460 ~> (a6989586621680750459, t6989586621680750458 c6989586621680750461)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumLSym1 a6989586621680751002 t6989586621680750462 :: TyFun a6989586621680750463 (t6989586621680750462 b6989586621680750464 ~> (a6989586621680750463, t6989586621680750462 c6989586621680750465)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MzipWithSym1 arg6989586621681067601 m6989586621681067521 :: TyFun (m6989586621681067521 a6989586621681067524) (m6989586621681067521 b6989586621681067525 ~> m6989586621681067521 c6989586621681067526) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym2 a6989586621681100831 a6989586621681100830 :: TyFun (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA3Sym0 :: TyFun (a6989586621679545918 ~> (b6989586621679545919 ~> (c6989586621679545920 ~> d6989586621679545921))) (f6989586621679545917 a6989586621679545918 ~> (f6989586621679545917 b6989586621679545919 ~> (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM3Sym0 :: TyFun (a16989586621679545900 ~> (a26989586621679545901 ~> (a36989586621679545902 ~> r6989586621679545903))) (m6989586621679545899 a16989586621679545900 ~> (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith4Sym0 :: TyFun (a6989586621680065554 ~> (b6989586621680065555 ~> (c6989586621680065556 ~> (d6989586621680065557 ~> e6989586621680065558)))) ([a6989586621680065554] ~> ([b6989586621680065555] ~> ([c6989586621680065556] ~> ([d6989586621680065557] ~> [e6989586621680065558])))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (For_Sym1 a6989586621680449017 b6989586621680448394 f6989586621680448392 :: TyFun (a6989586621680448393 ~> f6989586621680448392 b6989586621680448394) (f6989586621680448392 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForM_Sym1 a6989586621680448999 b6989586621680448386 m6989586621680448384 :: TyFun (a6989586621680448385 ~> m6989586621680448384 b6989586621680448386) (m6989586621680448384 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForMSym1 a6989586621680751023 b6989586621680750469 m6989586621680750467 :: TyFun (a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForSym1 a6989586621680751033 b6989586621680750473 f6989586621680750471 :: TyFun (a6989586621680750472 ~> f6989586621680750471 b6989586621680750473) (f6989586621680750471 (t6989586621680750470 b6989586621680750473)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621681203597 >=>@#@$$ c6989586621681203166 :: TyFun (b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621681203622 <=<@#@$$ a6989586621681203162 :: TyFun (a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Unzip6Sym0 :: TyFun [(a6989586621679939383, b6989586621679939384, c6989586621679939385, d6989586621679939386, e6989586621679939387, f6989586621679939388)] ([a6989586621679939383], [b6989586621679939384], [c6989586621679939385], [d6989586621679939386], [e6989586621679939387], [f6989586621679939388]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith3Sym2 a6989586621679949204 a6989586621679949203 :: TyFun [b6989586621679939404] ([c6989586621679939405] ~> [d6989586621679939406]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith4Sym1 a6989586621680078162 :: TyFun [a6989586621680065554] ([b6989586621680065555] ~> ([c6989586621680065556] ~> ([d6989586621680065557] ~> [e6989586621680065558]))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip6Sym0 :: TyFun [a6989586621680065566] ([b6989586621680065567] ~> ([c6989586621680065568] ~> ([d6989586621680065569] ~> ([e6989586621680065570] ~> ([f6989586621680065571] ~> [(a6989586621680065566, b6989586621680065567, c6989586621680065568, d6989586621680065569, e6989586621680065570, f6989586621680065571)]))))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip5Sym1 a6989586621680078256 b6989586621680065573 c6989586621680065574 d6989586621680065575 e6989586621680065576 :: TyFun [b6989586621680065573] ([c6989586621680065574] ~> ([d6989586621680065575] ~> ([e6989586621680065576] ~> [(a6989586621680065572, b6989586621680065573, c6989586621680065574, d6989586621680065575, e6989586621680065576)]))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip4Sym2 a6989586621680078280 a6989586621680078279 c6989586621680065579 d6989586621680065580 :: TyFun [c6989586621680065579] ([d6989586621680065580] ~> [(a6989586621680065577, b6989586621680065578, c6989586621680065579, d6989586621680065580)]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681203574 a6989586621681203573 :: TyFun [b6989586621681203149] (m6989586621681203147 ()) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithMSym2 a6989586621681203583 a6989586621681203582 :: TyFun [b6989586621681203153] (m6989586621681203151 [c6989586621681203154]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple4Sym2 t6989586621679301750 t6989586621679301749 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple5Sym1 t6989586621679301814 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple6Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA2Sym2 arg6989586621679546386 arg6989586621679546385 :: TyFun (f6989586621679545966 b6989586621679545971) (f6989586621679545966 c6989586621679545972) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA3Sym1 a6989586621679546317 f6989586621679545917 :: TyFun (f6989586621679545917 a6989586621679545918) (f6989586621679545917 b6989586621679545919 ~> (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM2Sym2 a6989586621679546261 a6989586621679546260 :: TyFun (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM3Sym1 a6989586621679546218 m6989586621679545899 :: TyFun (m6989586621679545899 a16989586621679545900) (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OnSym3 a6989586621679730261 a6989586621679730260 a6989586621679730259 :: TyFun a6989586621679730244 c6989586621679730243 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrMSym2 a6989586621680449046 a6989586621680449045 t6989586621680448403 :: TyFun (t6989586621680448403 a6989586621680448405) (m6989586621680448404 b6989586621680448406) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlMSym2 a6989586621680449024 a6989586621680449023 t6989586621680448399 :: TyFun (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumRSym2 a6989586621680750986 a6989586621680750985 t6989586621680750458 :: TyFun (t6989586621680750458 b6989586621680750460) (a6989586621680750459, t6989586621680750458 c6989586621680750461) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumLSym2 a6989586621680751003 a6989586621680751002 t6989586621680750462 :: TyFun (t6989586621680750462 b6989586621680750464) (a6989586621680750463, t6989586621680750462 c6989586621680750465) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MzipWithSym2 arg6989586621681067602 arg6989586621681067601 :: TyFun (m6989586621681067521 b6989586621681067525) (m6989586621681067521 c6989586621681067526) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621681203598 >=>@#@$$$ a6989586621681203597 :: TyFun a6989586621681203164 (m6989586621681203163 c6989586621681203166) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621681203623 <=<@#@$$$ a6989586621681203622 :: TyFun a6989586621681203162 (m6989586621681203159 c6989586621681203161) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (LiftM4Sym0 :: TyFun (a16989586621679545894 ~> (a26989586621679545895 ~> (a36989586621679545896 ~> (a46989586621679545897 ~> r6989586621679545898)))) (m6989586621679545893 a16989586621679545894 ~> (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym0 :: TyFun (a6989586621680065548 ~> (b6989586621680065549 ~> (c6989586621680065550 ~> (d6989586621680065551 ~> (e6989586621680065552 ~> f6989586621680065553))))) ([a6989586621680065548] ~> ([b6989586621680065549] ~> ([c6989586621680065550] ~> ([d6989586621680065551] ~> ([e6989586621680065552] ~> [f6989586621680065553]))))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Unzip7Sym0 :: TyFun [(a6989586621679939376, b6989586621679939377, c6989586621679939378, d6989586621679939379, e6989586621679939380, f6989586621679939381, g6989586621679939382)] ([a6989586621679939376], [b6989586621679939377], [c6989586621679939378], [d6989586621679939379], [e6989586621679939380], [f6989586621679939381], [g6989586621679939382]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith3Sym3 a6989586621679949205 a6989586621679949204 a6989586621679949203 :: TyFun [c6989586621679939405] [d6989586621679939406] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym1 a6989586621680078139 :: TyFun [a6989586621680065548] ([b6989586621680065549] ~> ([c6989586621680065550] ~> ([d6989586621680065551] ~> ([e6989586621680065552] ~> [f6989586621680065553])))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith4Sym2 a6989586621680078163 a6989586621680078162 :: TyFun [b6989586621680065555] ([c6989586621680065556] ~> ([d6989586621680065557] ~> [e6989586621680065558])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Zip7Sym0 :: TyFun [a6989586621680065559] ([b6989586621680065560] ~> ([c6989586621680065561] ~> ([d6989586621680065562] ~> ([e6989586621680065563] ~> ([f6989586621680065564] ~> ([g6989586621680065565] ~> [(a6989586621680065559, b6989586621680065560, c6989586621680065561, d6989586621680065562, e6989586621680065563, f6989586621680065564, g6989586621680065565)])))))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Zip6Sym1 a6989586621680078228 b6989586621680065567 c6989586621680065568 d6989586621680065569 e6989586621680065570 f6989586621680065571 :: TyFun [b6989586621680065567] ([c6989586621680065568] ~> ([d6989586621680065569] ~> ([e6989586621680065570] ~> ([f6989586621680065571] ~> [(a6989586621680065566, b6989586621680065567, c6989586621680065568, d6989586621680065569, e6989586621680065570, f6989586621680065571)])))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip5Sym2 a6989586621680078257 a6989586621680078256 c6989586621680065574 d6989586621680065575 e6989586621680065576 :: TyFun [c6989586621680065574] ([d6989586621680065575] ~> ([e6989586621680065576] ~> [(a6989586621680065572, b6989586621680065573, c6989586621680065574, d6989586621680065575, e6989586621680065576)])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip4Sym3 a6989586621680078281 a6989586621680078280 a6989586621680078279 d6989586621680065580 :: TyFun [d6989586621680065580] [(a6989586621680065577, b6989586621680065578, c6989586621680065579, d6989586621680065580)] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple4Sym3 t6989586621679301751 t6989586621679301750 t6989586621679301749 d3530822107858468868 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple5Sym2 t6989586621679301815 t6989586621679301814 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Tuple6Sym1 t6989586621679301899 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple7Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA3Sym2 a6989586621679546318 a6989586621679546317 :: TyFun (f6989586621679545917 b6989586621679545919) (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM3Sym2 a6989586621679546219 a6989586621679546218 :: TyFun (m6989586621679545899 a26989586621679545901) (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM4Sym1 a6989586621679546157 m6989586621679545893 :: TyFun (m6989586621679545893 a16989586621679545894) (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (LiftM5Sym0 :: TyFun (a16989586621679545887 ~> (a26989586621679545888 ~> (a36989586621679545889 ~> (a46989586621679545890 ~> (a56989586621679545891 ~> r6989586621679545892))))) (m6989586621679545886 a16989586621679545887 ~> (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (ZipWith6Sym0 :: TyFun (a6989586621680065541 ~> (b6989586621680065542 ~> (c6989586621680065543 ~> (d6989586621680065544 ~> (e6989586621680065545 ~> (f6989586621680065546 ~> g6989586621680065547)))))) ([a6989586621680065541] ~> ([b6989586621680065542] ~> ([c6989586621680065543] ~> ([d6989586621680065544] ~> ([e6989586621680065545] ~> ([f6989586621680065546] ~> [g6989586621680065547])))))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym1 a6989586621680078112 :: TyFun [a6989586621680065541] ([b6989586621680065542] ~> ([c6989586621680065543] ~> ([d6989586621680065544] ~> ([e6989586621680065545] ~> ([f6989586621680065546] ~> [g6989586621680065547]))))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym2 a6989586621680078140 a6989586621680078139 :: TyFun [b6989586621680065549] ([c6989586621680065550] ~> ([d6989586621680065551] ~> ([e6989586621680065552] ~> [f6989586621680065553]))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith4Sym3 a6989586621680078164 a6989586621680078163 a6989586621680078162 :: TyFun [c6989586621680065556] ([d6989586621680065557] ~> [e6989586621680065558]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Zip7Sym1 a6989586621680078195 b6989586621680065560 c6989586621680065561 d6989586621680065562 e6989586621680065563 f6989586621680065564 g6989586621680065565 :: TyFun [b6989586621680065560] ([c6989586621680065561] ~> ([d6989586621680065562] ~> ([e6989586621680065563] ~> ([f6989586621680065564] ~> ([g6989586621680065565] ~> [(a6989586621680065559, b6989586621680065560, c6989586621680065561, d6989586621680065562, e6989586621680065563, f6989586621680065564, g6989586621680065565)]))))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Zip6Sym2 a6989586621680078229 a6989586621680078228 c6989586621680065568 d6989586621680065569 e6989586621680065570 f6989586621680065571 :: TyFun [c6989586621680065568] ([d6989586621680065569] ~> ([e6989586621680065570] ~> ([f6989586621680065571] ~> [(a6989586621680065566, b6989586621680065567, c6989586621680065568, d6989586621680065569, e6989586621680065570, f6989586621680065571)]))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip5Sym3 a6989586621680078258 a6989586621680078257 a6989586621680078256 d6989586621680065575 e6989586621680065576 :: TyFun [d6989586621680065575] ([e6989586621680065576] ~> [(a6989586621680065572, b6989586621680065573, c6989586621680065574, d6989586621680065575, e6989586621680065576)]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple5Sym3 t6989586621679301816 t6989586621679301815 t6989586621679301814 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Tuple6Sym2 t6989586621679301900 t6989586621679301899 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Tuple7Sym1 t6989586621679302006 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA3Sym3 a6989586621679546319 a6989586621679546318 a6989586621679546317 :: TyFun (f6989586621679545917 c6989586621679545920) (f6989586621679545917 d6989586621679545921) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM3Sym3 a6989586621679546220 a6989586621679546219 a6989586621679546218 :: TyFun (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM4Sym2 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a26989586621679545895) (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM5Sym1 a6989586621679546074 m6989586621679545886 :: TyFun (m6989586621679545886 a16989586621679545887) (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (ZipWith7Sym0 :: TyFun (a6989586621680065533 ~> (b6989586621680065534 ~> (c6989586621680065535 ~> (d6989586621680065536 ~> (e6989586621680065537 ~> (f6989586621680065538 ~> (g6989586621680065539 ~> h6989586621680065540))))))) ([a6989586621680065533] ~> ([b6989586621680065534] ~> ([c6989586621680065535] ~> ([d6989586621680065536] ~> ([e6989586621680065537] ~> ([f6989586621680065538] ~> ([g6989586621680065539] ~> [h6989586621680065540]))))))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym1 a6989586621680078081 :: TyFun [a6989586621680065533] ([b6989586621680065534] ~> ([c6989586621680065535] ~> ([d6989586621680065536] ~> ([e6989586621680065537] ~> ([f6989586621680065538] ~> ([g6989586621680065539] ~> [h6989586621680065540])))))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym2 a6989586621680078113 a6989586621680078112 :: TyFun [b6989586621680065542] ([c6989586621680065543] ~> ([d6989586621680065544] ~> ([e6989586621680065545] ~> ([f6989586621680065546] ~> [g6989586621680065547])))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym3 a6989586621680078141 a6989586621680078140 a6989586621680078139 :: TyFun [c6989586621680065550] ([d6989586621680065551] ~> ([e6989586621680065552] ~> [f6989586621680065553])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith4Sym4 a6989586621680078165 a6989586621680078164 a6989586621680078163 a6989586621680078162 :: TyFun [d6989586621680065557] [e6989586621680065558] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Zip7Sym2 a6989586621680078196 a6989586621680078195 c6989586621680065561 d6989586621680065562 e6989586621680065563 f6989586621680065564 g6989586621680065565 :: TyFun [c6989586621680065561] ([d6989586621680065562] ~> ([e6989586621680065563] ~> ([f6989586621680065564] ~> ([g6989586621680065565] ~> [(a6989586621680065559, b6989586621680065560, c6989586621680065561, d6989586621680065562, e6989586621680065563, f6989586621680065564, g6989586621680065565)])))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Zip6Sym3 a6989586621680078230 a6989586621680078229 a6989586621680078228 d6989586621680065569 e6989586621680065570 f6989586621680065571 :: TyFun [d6989586621680065569] ([e6989586621680065570] ~> ([f6989586621680065571] ~> [(a6989586621680065566, b6989586621680065567, c6989586621680065568, d6989586621680065569, e6989586621680065570, f6989586621680065571)])) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip5Sym4 a6989586621680078259 a6989586621680078258 a6989586621680078257 a6989586621680078256 e6989586621680065576 :: TyFun [e6989586621680065576] [(a6989586621680065572, b6989586621680065573, c6989586621680065574, d6989586621680065575, e6989586621680065576)] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple5Sym4 t6989586621679301817 t6989586621679301816 t6989586621679301815 t6989586621679301814 e3530822107858468869 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple6Sym3 t6989586621679301901 t6989586621679301900 t6989586621679301899 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Tuple7Sym2 t6989586621679302007 t6989586621679302006 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM4Sym3 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a36989586621679545896) (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM5Sym2 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a26989586621679545888) (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym2 a6989586621680078082 a6989586621680078081 :: TyFun [b6989586621680065534] ([c6989586621680065535] ~> ([d6989586621680065536] ~> ([e6989586621680065537] ~> ([f6989586621680065538] ~> ([g6989586621680065539] ~> [h6989586621680065540]))))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym3 a6989586621680078114 a6989586621680078113 a6989586621680078112 :: TyFun [c6989586621680065543] ([d6989586621680065544] ~> ([e6989586621680065545] ~> ([f6989586621680065546] ~> [g6989586621680065547]))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym4 a6989586621680078142 a6989586621680078141 a6989586621680078140 a6989586621680078139 :: TyFun [d6989586621680065551] ([e6989586621680065552] ~> [f6989586621680065553]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Zip7Sym3 a6989586621680078197 a6989586621680078196 a6989586621680078195 d6989586621680065562 e6989586621680065563 f6989586621680065564 g6989586621680065565 :: TyFun [d6989586621680065562] ([e6989586621680065563] ~> ([f6989586621680065564] ~> ([g6989586621680065565] ~> [(a6989586621680065559, b6989586621680065560, c6989586621680065561, d6989586621680065562, e6989586621680065563, f6989586621680065564, g6989586621680065565)]))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip6Sym4 a6989586621680078231 a6989586621680078230 a6989586621680078229 a6989586621680078228 e6989586621680065570 f6989586621680065571 :: TyFun [e6989586621680065570] ([f6989586621680065571] ~> [(a6989586621680065566, b6989586621680065567, c6989586621680065568, d6989586621680065569, e6989586621680065570, f6989586621680065571)]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple6Sym4 t6989586621679301902 t6989586621679301901 t6989586621679301900 t6989586621679301899 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Tuple7Sym3 t6989586621679302008 t6989586621679302007 t6989586621679302006 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM4Sym4 a6989586621679546160 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM5Sym3 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a36989586621679545889) (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym3 a6989586621680078083 a6989586621680078082 a6989586621680078081 :: TyFun [c6989586621680065535] ([d6989586621680065536] ~> ([e6989586621680065537] ~> ([f6989586621680065538] ~> ([g6989586621680065539] ~> [h6989586621680065540])))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym4 a6989586621680078115 a6989586621680078114 a6989586621680078113 a6989586621680078112 :: TyFun [d6989586621680065544] ([e6989586621680065545] ~> ([f6989586621680065546] ~> [g6989586621680065547])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym5 a6989586621680078143 a6989586621680078142 a6989586621680078141 a6989586621680078140 a6989586621680078139 :: TyFun [e6989586621680065552] [f6989586621680065553] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Zip7Sym4 a6989586621680078198 a6989586621680078197 a6989586621680078196 a6989586621680078195 e6989586621680065563 f6989586621680065564 g6989586621680065565 :: TyFun [e6989586621680065563] ([f6989586621680065564] ~> ([g6989586621680065565] ~> [(a6989586621680065559, b6989586621680065560, c6989586621680065561, d6989586621680065562, e6989586621680065563, f6989586621680065564, g6989586621680065565)])) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip6Sym5 a6989586621680078232 a6989586621680078231 a6989586621680078230 a6989586621680078229 a6989586621680078228 f6989586621680065571 :: TyFun [f6989586621680065571] [(a6989586621680065566, b6989586621680065567, c6989586621680065568, d6989586621680065569, e6989586621680065570, f6989586621680065571)] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple6Sym5 t6989586621679301903 t6989586621679301902 t6989586621679301901 t6989586621679301900 t6989586621679301899 f3530822107858468870 :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Tuple7Sym4 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM5Sym4 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a46989586621679545890) (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym4 a6989586621680078084 a6989586621680078083 a6989586621680078082 a6989586621680078081 :: TyFun [d6989586621680065536] ([e6989586621680065537] ~> ([f6989586621680065538] ~> ([g6989586621680065539] ~> [h6989586621680065540]))) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym5 a6989586621680078116 a6989586621680078115 a6989586621680078114 a6989586621680078113 a6989586621680078112 :: TyFun [e6989586621680065545] ([f6989586621680065546] ~> [g6989586621680065547]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Zip7Sym5 a6989586621680078199 a6989586621680078198 a6989586621680078197 a6989586621680078196 a6989586621680078195 f6989586621680065564 g6989586621680065565 :: TyFun [f6989586621680065564] ([g6989586621680065565] ~> [(a6989586621680065559, b6989586621680065560, c6989586621680065561, d6989586621680065562, e6989586621680065563, f6989586621680065564, g6989586621680065565)]) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #

SuppressUnusedWarnings (Tuple7Sym5 t6989586621679302010 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type) Source #

Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM5Sym5 a6989586621679546078 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym5 a6989586621680078085 a6989586621680078084 a6989586621680078083 a6989586621680078082 a6989586621680078081 :: TyFun [e6989586621680065537] ([f6989586621680065538] ~> ([g6989586621680065539] ~> [h6989586621680065540])) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym6 a6989586621680078117 a6989586621680078116 a6989586621680078115 a6989586621680078114 a6989586621680078113 a6989586621680078112 :: TyFun [f6989586621680065546] [g6989586621680065547] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip7Sym6 a6989586621680078200 a6989586621680078199 a6989586621680078198 a6989586621680078197 a6989586621680078196 a6989586621680078195 g6989586621680065565 :: TyFun [g6989586621680065565] [(a6989586621680065559, b6989586621680065560, c6989586621680065561, d6989586621680065562, e6989586621680065563, f6989586621680065564, g6989586621680065565)] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple7Sym6 t6989586621679302011 t6989586621679302010 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 g3530822107858468871 :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym6 a6989586621680078086 a6989586621680078085 a6989586621680078084 a6989586621680078083 a6989586621680078082 a6989586621680078081 :: TyFun [f6989586621680065538] ([g6989586621680065539] ~> [h6989586621680065540]) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym7 a6989586621680078087 a6989586621680078086 a6989586621680078085 a6989586621680078084 a6989586621680078083 a6989586621680078082 a6989586621680078081 :: TyFun [g6989586621680065539] [h6989586621680065540] -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #