singletons-2.6: A framework for generating singleton types
Safe HaskellSafe
LanguageHaskell2010

Data.Singletons.SuppressUnusedWarnings

Synopsis

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.

Instances

Instances details
SuppressUnusedWarnings NotSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

SuppressUnusedWarnings AllSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings AnySym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (&&@#@$) Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

SuppressUnusedWarnings (||@#@$) Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

SuppressUnusedWarnings ShowParenSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings UnlinesSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings UnwordsSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings ThenCmpSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (~>@#@$) Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings DemoteSym0 Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings KnownNatSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings Log2Sym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings (<=?@#@$) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings (^@#@$) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings DivSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings ModSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings QuotSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings RemSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings DivModSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings QuotRemSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings KnownSymbolSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings ShowSpaceSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowCommaSpaceSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowCharSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowStringSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings GetAllSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings GetAnySym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings XorSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings ((&&@#@$$) a6989586621679376645 :: TyFun Bool Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

SuppressUnusedWarnings ((||@#@$$) a6989586621679376883 :: TyFun Bool Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f6989586621679570741 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f6989586621679570770 () ~> f6989586621679570770 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (UnlessSym0 :: TyFun Bool (f6989586621681274763 () ~> f6989586621681274763 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (TransposeSym0 :: TyFun [[a6989586621679974063]] [[a6989586621679974063]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (CatMaybesSym0 :: TyFun [Maybe a6989586621679516289] [a6989586621679516289] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a6989586621679516290] (Maybe a6989586621679516290) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679545433] ([a6989586621679545433] ~> [a6989586621679545433]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings ((!!@#@$) :: TyFun [a6989586621679974062] (Nat ~> a6989586621679974062) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621679974077] [[a6989586621679974077]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (SortSym0 :: TyFun [a6989586621679974073] [a6989586621679974073] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (UnionSym0 :: TyFun [a6989586621679974057] ([a6989586621679974057] ~> [a6989586621679974057]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings ((\\@#@$) :: TyFun [a6989586621679974100] ([a6989586621679974100] ~> [a6989586621679974100]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (NubSym0 :: TyFun [a6989586621679974061] [a6989586621679974061] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679974145] ([a6989586621679974145] ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621679974146] [[a6989586621679974146]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621679974147] [[a6989586621679974147]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IsInfixOfSym0 :: TyFun [a6989586621679974143] ([a6989586621679974143] ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IntersectSym0 :: TyFun [a6989586621679974087] ([a6989586621679974087] ~> [a6989586621679974087]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (PermutationsSym0 :: TyFun [a6989586621679974172] [[a6989586621679974172]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (SubsequencesSym0 :: TyFun [a6989586621679974175] [[a6989586621679974175]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IntercalateSym0 :: TyFun [a6989586621679974176] ([[a6989586621679974176]] ~> [a6989586621679974176]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ReverseSym0 :: TyFun [a6989586621679974178] [a6989586621679974178] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IsSuffixOfSym0 :: TyFun [a6989586621679974144] ([a6989586621679974144] ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (InitSym0 :: TyFun [a6989586621679974180] [a6989586621679974180] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (TailSym0 :: TyFun [a6989586621679974181] [a6989586621679974181] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (LastSym0 :: TyFun [a6989586621679974182] a6989586621679974182 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (HeadSym0 :: TyFun [a6989586621679974183] a6989586621679974183 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (StripPrefixSym0 :: TyFun [a6989586621680096271] ([a6989586621680096271] ~> Maybe [a6989586621680096271]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621680294621] (Symbol ~> Symbol) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (MconcatSym0 :: TyFun [a6989586621680364721] a6989586621680364721 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621681163494] (NonEmpty a6989586621681163494 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621681163506] [NonEmpty a6989586621681163506] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621681163532] (NonEmpty a6989586621681163532) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621681163526] (NonEmpty [a6989586621681163526]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621681163525] (NonEmpty [a6989586621681163525]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621681163543] (Maybe (NonEmpty a6989586621681163543)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a6989586621679516291) [a6989586621679516291] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a6989586621679516293) a6989586621679516293 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679516294) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679516295) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a6989586621679069711) (Option a6989586621679069711) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a6989586621679091750) (First a6989586621679091750) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a6989586621679091745) (Last a6989586621679091745) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

SuppressUnusedWarnings (ThenCmpSym1 a6989586621679404371 :: TyFun Ordering Ordering -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings ((~>@#@$$) a6989586621679025621 :: TyFun Type Type -> Type) Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings ((<=?@#@$$) a3530822107858468865 :: TyFun Nat Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings ((^@#@$$) a3530822107858468865 :: TyFun Nat Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings (DivSym1 a3530822107858468865 :: TyFun Nat Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings (ModSym1 a3530822107858468865 :: TyFun Nat Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings (QuotSym1 a6989586621679508074 :: TyFun Nat Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings (RemSym1 a6989586621679508064 :: TyFun Nat Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings (DivModSym1 a6989586621679508090 :: TyFun Nat (Nat, Nat) -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings (QuotRemSym1 a6989586621679508084 :: TyFun Nat (Nat, Nat) -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings (FromIntegerSym0 :: TyFun Nat a6989586621679529343 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679767035 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (DropSym0 :: TyFun Nat ([a6989586621679974079] ~> [a6989586621679974079]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (TakeSym0 :: TyFun Nat ([a6989586621679974080] ~> [a6989586621679974080]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat ([a6989586621679974078] ~> ([a6989586621679974078], [a6989586621679974078])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ReplicateSym0 :: TyFun Nat (a6989586621679974064 ~> [a6989586621679974064]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a6989586621680294621 ~> (Symbol ~> Symbol)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681163515 ~> [a6989586621681163515]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (DropSym0 :: TyFun Nat (NonEmpty a6989586621681163514 ~> [a6989586621681163514]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681163513 ~> ([a6989586621681163513], [a6989586621681163513])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ShowCharSym1 a6989586621680295025 :: TyFun Symbol Symbol -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (ShowStringSym1 a6989586621680295015 :: TyFun Symbol Symbol -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621681263277 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

SuppressUnusedWarnings (JustSym0 :: TyFun a3530822107858468865 (Maybe a3530822107858468865) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings ((:@#@$) :: TyFun a3530822107858468865 ([a3530822107858468865] ~> [a3530822107858468865]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings ((:|@#@$) :: TyFun a6989586621679069776 ([a6989586621679069776] ~> NonEmpty a6989586621679069776) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (IdentitySym0 :: TyFun a6989586621679091740 (Identity a6989586621679091740) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (Bool_Sym0 :: TyFun a6989586621679375883 (a6989586621679375883 ~> (Bool ~> a6989586621679375883)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

SuppressUnusedWarnings ((==@#@$) :: TyFun a6989586621679379997 (a6989586621679379997 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Eq

SuppressUnusedWarnings ((/=@#@$) :: TyFun a6989586621679379997 (a6989586621679379997 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Eq

SuppressUnusedWarnings (DefaultEqSym0 :: TyFun k6989586621679379991 (k6989586621679379991 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Eq

SuppressUnusedWarnings ((<=@#@$) :: TyFun a6989586621679393938 (a6989586621679393938 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (CompareSym0 :: TyFun a6989586621679393938 (a6989586621679393938 ~> Ordering) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679393938 (a6989586621679393938 ~> a6989586621679393938) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679393938 (a6989586621679393938 ~> a6989586621679393938) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings ((>=@#@$) :: TyFun a6989586621679393938 (a6989586621679393938 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings ((>@#@$) :: TyFun a6989586621679393938 (a6989586621679393938 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings ((<@#@$) :: TyFun a6989586621679393938 (a6989586621679393938 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (DownSym0 :: TyFun a6989586621679097355 (Down a6989586621679097355) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a6989586621679516292 (Maybe a6989586621679516292 ~> a6989586621679516292) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (NegateSym0 :: TyFun a6989586621679529343 a6989586621679529343 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings ((-@#@$) :: TyFun a6989586621679529343 (a6989586621679529343 ~> a6989586621679529343) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings ((+@#@$) :: TyFun a6989586621679529343 (a6989586621679529343 ~> a6989586621679529343) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (SignumSym0 :: TyFun a6989586621679529343 a6989586621679529343 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (AbsSym0 :: TyFun a6989586621679529343 a6989586621679529343 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings ((*@#@$) :: TyFun a6989586621679529343 (a6989586621679529343 ~> a6989586621679529343) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (SubtractSym0 :: TyFun a6989586621679535047 (a6989586621679535047 ~> a6989586621679535047) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679545423 (a6989586621679545423 ~> a6989586621679545423) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679545432 a6989586621679545432 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a6989586621679767035 (a6989586621679767035 ~> (a6989586621679767035 ~> [a6989586621679767035])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a6989586621679767035 (a6989586621679767035 ~> [a6989586621679767035]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679767035 Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (PredSym0 :: TyFun a6989586621679767035 a6989586621679767035 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (SuccSym0 :: TyFun a6989586621679767035 a6989586621679767035 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings ((<>@#@$) :: TyFun a6989586621679840612 (a6989586621679840612 ~> a6989586621679840612) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (DualSym0 :: TyFun a6989586621679091700 (Dual a6989586621679091700) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (SumSym0 :: TyFun a6989586621679091685 (Sum a6989586621679091685) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (ProductSym0 :: TyFun a6989586621679091690 (Product a6989586621679091690) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679069715 (Min a6989586621679069715) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679069719 (Max a6989586621679069719) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (FirstSym0 :: TyFun a6989586621679069727 (First a6989586621679069727) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (LastSym0 :: TyFun a6989586621679069723 (Last a6989586621679069723) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (WrapMonoidSym0 :: TyFun m6989586621679093626 (WrappedMonoid m6989586621679093626) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621679974074 ([a6989586621679974074] ~> [a6989586621679974074]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DeleteSym0 :: TyFun a6989586621679974101 ([a6989586621679974101] ~> [a6989586621679974101]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ElemIndicesSym0 :: TyFun a6989586621679974090 ([a6989586621679974090] ~> [Nat]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ElemIndexSym0 :: TyFun a6989586621679974091 ([a6989586621679974091] ~> Maybe Nat) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679974177 ([a6989586621679974177] ~> [a6989586621679974177]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621680294621 Symbol -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621680294606 (Symbol ~> Symbol) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (MappendSym0 :: TyFun a6989586621680364721 (a6989586621680364721 ~> a6989586621680364721) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

SuppressUnusedWarnings (AndSym0 :: TyFun (t6989586621680490423 Bool) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (OrSym0 :: TyFun (t6989586621680490422 Bool) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621681163517 (NonEmpty a6989586621681163517 ~> NonEmpty a6989586621681163517) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621681163524 ([a6989586621681163524] ~> NonEmpty a6989586621681163524) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings ((<|@#@$) :: TyFun a6989586621681163535 (NonEmpty a6989586621681163535 ~> NonEmpty a6989586621681163535) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621681163534 (NonEmpty a6989586621681163534 ~> NonEmpty a6989586621681163534) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SameKindSym0 :: TyFun k6989586621679027547 (TyFun k6989586621679027547 Constraint -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings (KindOfSym0 :: TyFun k6989586621679027550 Type -> Type) Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings (TextSym0 :: TyFun s6989586621681331131 (ErrorMessage' s6989586621681331131) -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeError

SuppressUnusedWarnings (AbsurdSym0 :: TyFun Void a6989586621679369444 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Void

SuppressUnusedWarnings (GetMinSym0 :: TyFun (Min a6989586621679069715) a6989586621679069715 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (GetMaxSym0 :: TyFun (Max a6989586621679069719) a6989586621679069719 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679069727) a6989586621679069727 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679069723) a6989586621679069723 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (UnwrapMonoidSym0 :: TyFun (WrappedMonoid m6989586621679093626) m6989586621679093626 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (GetOptionSym0 :: TyFun (Option a6989586621679069711) (Maybe a6989586621679069711) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (RunIdentitySym0 :: TyFun (Identity a6989586621679091740) a6989586621679091740 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679091750) (Maybe a6989586621679091750) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679091745) (Maybe a6989586621679091745) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

SuppressUnusedWarnings (GetDualSym0 :: TyFun (Dual a6989586621679091700) a6989586621679091700 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (GetSumSym0 :: TyFun (Sum a6989586621679091685) a6989586621679091685 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (GetProductSym0 :: TyFun (Product a6989586621679091690) a6989586621679091690 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (SconcatSym0 :: TyFun (NonEmpty a6989586621679840612) a6989586621679840612 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621681163485) (NonEmpty a6989586621681163485) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621681163493) (Nat ~> a6989586621681163493) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621681163500) (NonEmpty (NonEmpty a6989586621681163500)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621681163531) [a6989586621681163531] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621681163516) (NonEmpty a6989586621681163516) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621681163533) (NonEmpty a6989586621681163533) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621681163536) [a6989586621681163536] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621681163537) a6989586621681163537 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621681163538) [a6989586621681163538] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621681163539) a6989586621681163539 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621681163542) (a6989586621681163542, Maybe (NonEmpty a6989586621681163542)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621681163546) Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621681163483)) (NonEmpty (NonEmpty a6989586621681163483)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ShowParenSym1 a6989586621680294997 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (UntilSym0 :: TyFun (a6989586621679545418 ~> Bool) ((a6989586621679545418 ~> a6989586621679545418) ~> (a6989586621679545418 ~> a6989586621679545418)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621679974060 ~> (a6989586621679974060 ~> Bool)) ([a6989586621679974060] ~> [a6989586621679974060]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621679974069 ~> Bool) ([a6989586621679974069] ~> ([a6989586621679974069], [a6989586621679974069])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621679974081 ~> Bool) ([a6989586621679974081] ~> ([a6989586621679974081], [a6989586621679974081])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621679974082 ~> Bool) ([a6989586621679974082] ~> ([a6989586621679974082], [a6989586621679974082])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621679974072 ~> (a6989586621679974072 ~> Bool)) ([a6989586621679974072] ~> [[a6989586621679974072]]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621679974084 ~> Bool) ([a6989586621679974084] ~> [a6989586621679974084]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621679974085 ~> Bool) ([a6989586621679974085] ~> [a6989586621679974085]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621679974093 ~> Bool) ([a6989586621679974093] ~> [a6989586621679974093]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (InsertBySym0 :: TyFun (a6989586621679974096 ~> (a6989586621679974096 ~> Ordering)) (a6989586621679974096 ~> ([a6989586621679974096] ~> [a6989586621679974096])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (SortBySym0 :: TyFun (a6989586621679974097 ~> (a6989586621679974097 ~> Ordering)) ([a6989586621679974097] ~> [a6989586621679974097]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DeleteBySym0 :: TyFun (a6989586621679974099 ~> (a6989586621679974099 ~> Bool)) (a6989586621679974099 ~> ([a6989586621679974099] ~> [a6989586621679974099])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DeleteFirstsBySym0 :: TyFun (a6989586621679974098 ~> (a6989586621679974098 ~> Bool)) ([a6989586621679974098] ~> ([a6989586621679974098] ~> [a6989586621679974098])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (UnionBySym0 :: TyFun (a6989586621679974058 ~> (a6989586621679974058 ~> Bool)) ([a6989586621679974058] ~> ([a6989586621679974058] ~> [a6989586621679974058])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (FindIndicesSym0 :: TyFun (a6989586621679974088 ~> Bool) ([a6989586621679974088] ~> [Nat]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a6989586621679974089 ~> Bool) ([a6989586621679974089] ~> Maybe Nat) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (a6989586621679974156 ~> (a6989586621679974156 ~> a6989586621679974156)) ([a6989586621679974156] ~> [a6989586621679974156]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (a6989586621679974159 ~> (a6989586621679974159 ~> a6989586621679974159)) ([a6989586621679974159] ~> [a6989586621679974159]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IntersectBySym0 :: TyFun (a6989586621679974086 ~> (a6989586621679974086 ~> Bool)) ([a6989586621679974086] ~> ([a6989586621679974086] ~> [a6989586621679974086])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Foldl1'Sym0 :: TyFun (a6989586621679974168 ~> (a6989586621679974168 ~> a6989586621679974168)) ([a6989586621679974168] ~> a6989586621679974168) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (a6989586621679974083 ~> Bool) ([a6989586621679974083] ~> [a6989586621679974083]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a6989586621680294605 ~> (Symbol ~> Symbol)) ([a6989586621680294605] ~> (Symbol ~> Symbol)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621681163484 ~> (a6989586621681163484 ~> Bool)) (NonEmpty a6989586621681163484 ~> NonEmpty a6989586621681163484) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621681163505 ~> (a6989586621681163505 ~> Bool)) ([a6989586621681163505] ~> [NonEmpty a6989586621681163505]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (a6989586621681163499 ~> (a6989586621681163499 ~> Bool)) (NonEmpty a6989586621681163499 ~> NonEmpty (NonEmpty a6989586621681163499)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621681163512 ~> Bool) (NonEmpty a6989586621681163512 ~> [a6989586621681163512]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621681163511 ~> Bool) (NonEmpty a6989586621681163511 ~> [a6989586621681163511]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621681163510 ~> Bool) (NonEmpty a6989586621681163510 ~> ([a6989586621681163510], [a6989586621681163510])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621681163509 ~> Bool) (NonEmpty a6989586621681163509 ~> ([a6989586621681163509], [a6989586621681163509])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621681163508 ~> Bool) (NonEmpty a6989586621681163508 ~> [a6989586621681163508]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621681163507 ~> Bool) (NonEmpty a6989586621681163507 ~> ([a6989586621681163507], [a6989586621681163507])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortBySym0 :: TyFun (a6989586621681163482 ~> (a6989586621681163482 ~> Ordering)) (NonEmpty a6989586621681163482 ~> NonEmpty a6989586621681163482) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (a6989586621681163519 ~> (a6989586621681163519 ~> a6989586621681163519)) (NonEmpty a6989586621681163519 ~> NonEmpty a6989586621681163519) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (a6989586621681163518 ~> (a6989586621681163518 ~> a6989586621681163518)) (NonEmpty a6989586621681163518 ~> NonEmpty a6989586621681163518) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TypeErrorSym0 :: TyFun PErrorMessage b6989586621681331115 -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeError

SuppressUnusedWarnings ((:<>:@#@$) :: TyFun (ErrorMessage' s6989586621681331131) (ErrorMessage' s6989586621681331131 ~> ErrorMessage' s6989586621681331131) -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeError

SuppressUnusedWarnings ((:$$:@#@$) :: TyFun (ErrorMessage' s6989586621681331131) (ErrorMessage' s6989586621681331131 ~> ErrorMessage' s6989586621681331131) -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeError

SuppressUnusedWarnings (IntercalateSym1 a6989586621679979480 :: TyFun [[a6989586621679974176]] [a6989586621679974176] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (RightsSym0 :: TyFun [Either a6989586621680471515 b6989586621680471516] [b6989586621680471516] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (LeftsSym0 :: TyFun [Either a6989586621680471517 b6989586621680471518] [a6989586621680471517] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (UnzipSym0 :: TyFun [(a6989586621679974127, b6989586621679974128)] ([a6989586621679974127], [b6989586621679974128]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings ((:@#@$$) t6989586621679315156 :: TyFun [a3530822107858468865] [a3530822107858468865] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings ((:|@#@$$) t6989586621679315224 :: TyFun [a6989586621679069776] (NonEmpty a6989586621679069776) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings ((++@#@$$) a6989586621679545630 :: TyFun [a6989586621679545433] [a6989586621679545433] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (GenericLengthSym0 :: TyFun [a6989586621679974056] i6989586621679974055 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (NubBySym1 a6989586621679978164 :: TyFun [a6989586621679974060] [a6989586621679974060] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (PartitionSym1 a6989586621679978288 :: TyFun [a6989586621679974069] ([a6989586621679974069], [a6989586621679974069]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DropSym1 a6989586621679978376 a6989586621679974079 :: TyFun [a6989586621679974079] [a6989586621679974079] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (TakeSym1 a6989586621679978390 a6989586621679974080 :: TyFun [a6989586621679974080] [a6989586621679974080] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (SplitAtSym1 a6989586621679978370 a6989586621679974078 :: TyFun [a6989586621679974078] ([a6989586621679974078], [a6989586621679974078]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (BreakSym1 a6989586621679978404 :: TyFun [a6989586621679974081] ([a6989586621679974081], [a6989586621679974081]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (SpanSym1 a6989586621679978447 :: TyFun [a6989586621679974082] ([a6989586621679974082], [a6989586621679974082]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GroupBySym1 a6989586621679978311 :: TyFun [a6989586621679974072] [[a6989586621679974072]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DropWhileSym1 a6989586621679978516 :: TyFun [a6989586621679974084] [a6989586621679974084] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (TakeWhileSym1 a6989586621679978534 :: TyFun [a6989586621679974085] [a6989586621679974085] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (FilterSym1 a6989586621679978648 :: TyFun [a6989586621679974093] [a6989586621679974093] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (InsertSym1 a6989586621679978347 :: TyFun [a6989586621679974074] [a6989586621679974074] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (SortBySym1 a6989586621679978747 :: TyFun [a6989586621679974097] [a6989586621679974097] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DeleteFirstsBySym1 a6989586621679978755 :: TyFun [a6989586621679974098] ([a6989586621679974098] ~> [a6989586621679974098]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (UnionBySym1 a6989586621679978145 :: TyFun [a6989586621679974058] ([a6989586621679974058] ~> [a6989586621679974058]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (UnionSym1 a6989586621679978139 :: TyFun [a6989586621679974057] [a6989586621679974057] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DeleteSym1 a6989586621679978800 :: TyFun [a6989586621679974101] [a6989586621679974101] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings ((\\@#@$$) a6989586621679978790 :: TyFun [a6989586621679974100] [a6989586621679974100] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ZipSym0 :: TyFun [a6989586621679974139] ([b6989586621679974140] ~> [(a6989586621679974139, b6989586621679974140)]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (FindIndicesSym1 a6989586621679978590 :: TyFun [a6989586621679974088] [Nat] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ElemIndicesSym1 a6989586621679978624 :: TyFun [a6989586621679974090] [Nat] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (FindIndexSym1 a6989586621679978616 :: TyFun [a6989586621679974089] (Maybe Nat) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ElemIndexSym1 a6989586621679978632 :: TyFun [a6989586621679974091] (Maybe Nat) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621679979037 :: TyFun [a6989586621679974145] Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Scanr1Sym1 a6989586621679979202 :: TyFun [a6989586621679974156] [a6989586621679974156] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Scanl1Sym1 a6989586621679979247 :: TyFun [a6989586621679974159] [a6989586621679974159] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IsInfixOfSym1 a6989586621679979025 :: TyFun [a6989586621679974143] Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IntersectBySym1 a6989586621679978548 :: TyFun [a6989586621679974086] ([a6989586621679974086] ~> [a6989586621679974086]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IntersectSym1 a6989586621679978584 :: TyFun [a6989586621679974087] [a6989586621679974087] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Foldl1'Sym1 a6989586621679979317 :: TyFun [a6989586621679974168] a6989586621679974168 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IntersperseSym1 a6989586621679979486 :: TyFun [a6989586621679974177] [a6989586621679974177] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IsSuffixOfSym1 a6989586621679979031 :: TyFun [a6989586621679974144] Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DropWhileEndSym1 a6989586621679978490 :: TyFun [a6989586621679974083] [a6989586621679974083] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GenericIndexSym0 :: TyFun [a6989586621680096216] (i6989586621680096215 ~> a6989586621680096216) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (StripPrefixSym1 a6989586621680097967 :: TyFun [a6989586621680096271] (Maybe [a6989586621680096271]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ShowListWithSym1 a6989586621680295031 :: TyFun [a6989586621680294605] (Symbol ~> Symbol) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (GroupBySym1 a6989586621681164947 :: TyFun [a6989586621681163505] [NonEmpty a6989586621681163505] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (InsertSym1 a6989586621681165123 :: TyFun [a6989586621681163524] (NonEmpty a6989586621681163524) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (FromMaybeSym1 a6989586621679516478 :: TyFun (Maybe a6989586621679516292) a6989586621679516292 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (IsRightSym0 :: TyFun (Either a6989586621680471509 b6989586621680471510) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (IsLeftSym0 :: TyFun (Either a6989586621680471511 b6989586621680471512) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings ((!!@#@$$) a6989586621679978209 :: TyFun Nat a6989586621679974062 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings ((!!@#@$$) a6989586621681164853 :: TyFun Nat a6989586621681163493 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ReplicateM_Sym0 :: TyFun Nat (m6989586621681274764 a6989586621681274765 ~> m6989586621681274764 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ReplicateMSym0 :: TyFun Nat (m6989586621681274766 a6989586621681274767 ~> m6989586621681274766 [a6989586621681274767]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ShowListSym1 arg6989586621680295067 :: TyFun Symbol Symbol -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (ShowsSym1 a6989586621680295051 :: TyFun Symbol Symbol -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (ShowParenSym2 a6989586621680294998 a6989586621680294997 :: TyFun Symbol Symbol -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (SwapSym0 :: TyFun (a6989586621679370305, b6989586621679370306) (b6989586621679370306, a6989586621679370305) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (SndSym0 :: TyFun (a6989586621679370313, b6989586621679370314) b6989586621679370314 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (FstSym0 :: TyFun (a6989586621679370315, b6989586621679370316) a6989586621679370315 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (LeftSym0 :: TyFun a6989586621679093843 (Either a6989586621679093843 b6989586621679093844) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (RightSym0 :: TyFun b6989586621679093844 (Either a6989586621679093843 b6989586621679093844) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (Tuple2Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (a3530822107858468865, b3530822107858468866)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (Bool_Sym1 a6989586621679375889 :: TyFun a6989586621679375883 (Bool ~> a6989586621679375883) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

SuppressUnusedWarnings ((==@#@$$) x6989586621679379998 :: TyFun a6989586621679379997 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Eq

SuppressUnusedWarnings ((/=@#@$$) x6989586621679380000 :: TyFun a6989586621679379997 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Eq

SuppressUnusedWarnings (DefaultEqSym1 a6989586621679379992 :: TyFun k6989586621679379991 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Eq

SuppressUnusedWarnings ((<=@#@$$) arg6989586621679394035 :: TyFun a6989586621679393938 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (CompareSym1 arg6989586621679394027 :: TyFun a6989586621679393938 Ordering -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (MinSym1 arg6989586621679394051 :: TyFun a6989586621679393938 a6989586621679393938 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (MaxSym1 arg6989586621679394047 :: TyFun a6989586621679393938 a6989586621679393938 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings ((>=@#@$$) arg6989586621679394043 :: TyFun a6989586621679393938 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings ((>@#@$$) arg6989586621679394039 :: TyFun a6989586621679393938 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings ((<@#@$$) arg6989586621679394031 :: TyFun a6989586621679393938 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (ErrorSym0 :: TyFun k06989586621679485796 k6989586621679485797 -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings (ErrorWithoutStackTraceSym0 :: TyFun k06989586621679486886 k6989586621679486887 -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679514865 ((a6989586621679514866 ~> b6989586621679514865) ~> (Maybe a6989586621679514866 ~> b6989586621679514865)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings ((-@#@$$) arg6989586621679529366 :: TyFun a6989586621679529343 a6989586621679529343 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings ((+@#@$$) arg6989586621679529362 :: TyFun a6989586621679529343 a6989586621679529343 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings ((*@#@$$) arg6989586621679529370 :: TyFun a6989586621679529343 a6989586621679529343 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (SubtractSym1 a6989586621679535051 :: TyFun a6989586621679535047 a6989586621679535047 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679545416 (b6989586621679545417 ~> b6989586621679545417) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679545430 (b6989586621679545431 ~> a6989586621679545430) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (AsTypeOfSym1 a6989586621679545588 :: TyFun a6989586621679545423 a6989586621679545423 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (PureSym0 :: TyFun a6989586621679570825 (f6989586621679570824 a6989586621679570825) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (WhenSym1 a6989586621679571155 f6989586621679570770 :: TyFun (f6989586621679570770 ()) (f6989586621679570770 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (ReturnSym0 :: TyFun a6989586621679570853 (m6989586621679570848 a6989586621679570853) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (JoinSym0 :: TyFun (m6989586621679570774 (m6989586621679570774 a6989586621679570775)) (m6989586621679570774 a6989586621679570775) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (VoidSym0 :: TyFun (f6989586621679740987 a6989586621679740988) (f6989586621679740987 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

SuppressUnusedWarnings ((&@#@$) :: TyFun a6989586621679756555 ((a6989586621679756555 ~> b6989586621679756556) ~> b6989586621679756556) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (EnumFromThenToSym1 arg6989586621679767331 :: TyFun a6989586621679767035 (a6989586621679767035 ~> [a6989586621679767035]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (EnumFromToSym1 arg6989586621679767327 :: TyFun a6989586621679767035 [a6989586621679767035] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings ((<>@#@$$) arg6989586621679840847 :: TyFun a6989586621679840612 a6989586621679840612 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SuppressUnusedWarnings (ReplicateSym1 a6989586621679978229 a6989586621679974064 :: TyFun a6989586621679974064 [a6989586621679974064] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (LookupSym0 :: TyFun a6989586621679974070 ([(a6989586621679974070, b6989586621679974071)] ~> Maybe b6989586621679974071) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (InsertBySym1 a6989586621679978723 :: TyFun a6989586621679974096 ([a6989586621679974096] ~> [a6989586621679974096]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DeleteBySym1 a6989586621679978768 :: TyFun a6989586621679974099 ([a6989586621679974099] ~> [a6989586621679974099]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GenericReplicateSym0 :: TyFun i6989586621680096213 (a6989586621680096214 ~> [a6989586621680096214]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GenericSplitAtSym0 :: TyFun i6989586621680096217 ([a6989586621680096218] ~> ([a6989586621680096218], [a6989586621680096218])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GenericDropSym0 :: TyFun i6989586621680096219 ([a6989586621680096220] ~> [a6989586621680096220]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GenericTakeSym0 :: TyFun i6989586621680096221 ([a6989586621680096222] ~> [a6989586621680096222]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ShowsPrecSym1 arg6989586621680295059 a6989586621680294621 :: TyFun a6989586621680294621 (Symbol ~> Symbol) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (MappendSym1 arg6989586621680364860 :: TyFun a6989586621680364721 a6989586621680364721 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

SuppressUnusedWarnings (ProductSym0 :: TyFun (t6989586621680490502 a6989586621680490523) a6989586621680490523 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (SumSym0 :: TyFun (t6989586621680490502 a6989586621680490522) a6989586621680490522 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MinimumSym0 :: TyFun (t6989586621680490502 a6989586621680490521) a6989586621680490521 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MaximumSym0 :: TyFun (t6989586621680490502 a6989586621680490520) a6989586621680490520 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621680490519 (t6989586621680490502 a6989586621680490519 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621680490413 (t6989586621680490412 a6989586621680490413 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ToListSym0 :: TyFun (t6989586621680490502 a6989586621680490516) [a6989586621680490516] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ConcatSym0 :: TyFun (t6989586621680490427 [a6989586621680490428]) [a6989586621680490428] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldSym0 :: TyFun (t6989586621680490502 m6989586621680490503) m6989586621680490503 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ArgSym0 :: TyFun a6989586621679070612 (b6989586621679070613 ~> Arg a6989586621679070612 b6989586621679070613) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SuppressUnusedWarnings (OptionalSym0 :: TyFun (f6989586621681265757 a6989586621681265758) (f6989586621681265757 (Maybe a6989586621681265758)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Applicative

SuppressUnusedWarnings (UnlessSym1 a6989586621681275115 f6989586621681274763 :: TyFun (f6989586621681274763 ()) (f6989586621681274763 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (SameKindSym1 a6989586621679027548 :: TyFun k6989586621679027547 Constraint -> Type) Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings (ShowTypeSym0 :: TyFun t6989586621681331132 (ErrorMessage' s6989586621681331131) -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeError

SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621681163486, b6989586621681163487)) (NonEmpty a6989586621681163486, NonEmpty b6989586621681163487) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (NubBySym1 a6989586621681164785 :: TyFun (NonEmpty a6989586621681163484) (NonEmpty a6989586621681163484) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621681163491) (NonEmpty b6989586621681163492 ~> NonEmpty (a6989586621681163491, b6989586621681163492)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621681164871 :: TyFun (NonEmpty a6989586621681163494) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupBy1Sym1 a6989586621681164895 :: TyFun (NonEmpty a6989586621681163499) (NonEmpty (NonEmpty a6989586621681163499)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (IntersperseSym1 a6989586621681165077 :: TyFun (NonEmpty a6989586621681163517) (NonEmpty a6989586621681163517) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TakeSym1 a6989586621681165064 a6989586621681163515 :: TyFun (NonEmpty a6989586621681163515) [a6989586621681163515] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (DropSym1 a6989586621681165056 a6989586621681163514 :: TyFun (NonEmpty a6989586621681163514) [a6989586621681163514] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SplitAtSym1 a6989586621681165048 a6989586621681163513 :: TyFun (NonEmpty a6989586621681163513) ([a6989586621681163513], [a6989586621681163513]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TakeWhileSym1 a6989586621681165040 :: TyFun (NonEmpty a6989586621681163512) [a6989586621681163512] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (DropWhileSym1 a6989586621681165032 :: TyFun (NonEmpty a6989586621681163511) [a6989586621681163511] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SpanSym1 a6989586621681165024 :: TyFun (NonEmpty a6989586621681163510) ([a6989586621681163510], [a6989586621681163510]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (BreakSym1 a6989586621681165016 :: TyFun (NonEmpty a6989586621681163509) ([a6989586621681163509], [a6989586621681163509]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (FilterSym1 a6989586621681165008 :: TyFun (NonEmpty a6989586621681163508) [a6989586621681163508] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (PartitionSym1 a6989586621681165000 :: TyFun (NonEmpty a6989586621681163507) ([a6989586621681163507], [a6989586621681163507]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortBySym1 a6989586621681164772 :: TyFun (NonEmpty a6989586621681163482) (NonEmpty a6989586621681163482) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Scanl1Sym1 a6989586621681165094 :: TyFun (NonEmpty a6989586621681163519) (NonEmpty a6989586621681163519) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Scanr1Sym1 a6989586621681165087 :: TyFun (NonEmpty a6989586621681163518) (NonEmpty a6989586621681163518) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings ((<|@#@$$) a6989586621681165179 :: TyFun (NonEmpty a6989586621681163535) (NonEmpty a6989586621681163535) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ConsSym1 a6989586621681165173 :: TyFun (NonEmpty a6989586621681163534) (NonEmpty a6989586621681163534) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ComparingSym0 :: TyFun (b6989586621679393928 ~> a6989586621679393927) (b6989586621679393928 ~> (b6989586621679393928 ~> Ordering)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (a6989586621679516287 ~> Maybe b6989586621679516288) ([a6989586621679516287] ~> [b6989586621679516288]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (UntilSym1 a6989586621679545543 :: TyFun (a6989586621679545418 ~> a6989586621679545418) (a6989586621679545418 ~> a6989586621679545418) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (($!@#@$) :: TyFun (a6989586621679545419 ~> b6989586621679545420) (a6989586621679545419 ~> b6989586621679545420) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (($@#@$) :: TyFun (a6989586621679545421 ~> b6989586621679545422) (a6989586621679545421 ~> b6989586621679545422) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621679545434 ~> b6989586621679545435) ([a6989586621679545434] ~> [b6989586621679545435]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (FoldrSym0 :: TyFun (a6989586621679545436 ~> (b6989586621679545437 ~> b6989586621679545437)) (b6989586621679545437 ~> ([a6989586621679545436] ~> b6989586621679545437)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (b6989586621679974148 ~> Maybe (a6989586621679974149, b6989586621679974148)) (b6989586621679974148 ~> [a6989586621679974149]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ScanrSym0 :: TyFun (a6989586621679974157 ~> (b6989586621679974158 ~> b6989586621679974158)) (b6989586621679974158 ~> ([a6989586621679974157] ~> [b6989586621679974158])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ScanlSym0 :: TyFun (b6989586621679974160 ~> (a6989586621679974161 ~> b6989586621679974160)) (b6989586621679974160 ~> ([a6989586621679974161] ~> [b6989586621679974160])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621680490421 ~> Bool) (t6989586621680490420 a6989586621680490421 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (a6989586621680490515 ~> (a6989586621680490515 ~> a6989586621680490515)) (t6989586621680490502 a6989586621680490515 ~> a6989586621680490515) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MaximumBySym0 :: TyFun (a6989586621680490417 ~> (a6989586621680490417 ~> Ordering)) (t6989586621680490416 a6989586621680490417 ~> a6989586621680490417) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MinimumBySym0 :: TyFun (a6989586621680490415 ~> (a6989586621680490415 ~> Ordering)) (t6989586621680490414 a6989586621680490415 ~> a6989586621680490415) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (a6989586621680490514 ~> (a6989586621680490514 ~> a6989586621680490514)) (t6989586621680490502 a6989586621680490514 ~> a6989586621680490514) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621680490419 ~> Bool) (t6989586621680490418 a6989586621680490419 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680490411 ~> Bool) (t6989586621680490410 a6989586621680490411 ~> Maybe a6989586621680490411) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (GroupWithSym0 :: TyFun (a6989586621681163504 ~> b6989586621681163503) ([a6989586621681163504] ~> [NonEmpty a6989586621681163504]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (a6989586621681163502 ~> b6989586621681163501) ([a6989586621681163502] ~> [NonEmpty a6989586621681163502]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (a6989586621681163498 ~> b6989586621681163497) (NonEmpty a6989586621681163498 ~> NonEmpty (NonEmpty a6989586621681163498)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621681163527 ~> b6989586621681163528) (NonEmpty a6989586621681163527 ~> NonEmpty b6989586621681163528) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortWithSym0 :: TyFun (a6989586621681163481 ~> o6989586621681163480) (NonEmpty a6989586621681163481 ~> NonEmpty a6989586621681163481) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (a6989586621681163496 ~> b6989586621681163495) (NonEmpty a6989586621681163496 ~> NonEmpty (NonEmpty a6989586621681163496)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanlSym0 :: TyFun (b6989586621681163522 ~> (a6989586621681163523 ~> b6989586621681163522)) (b6989586621681163522 ~> ([a6989586621681163523] ~> NonEmpty b6989586621681163522)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanrSym0 :: TyFun (a6989586621681163520 ~> (b6989586621681163521 ~> b6989586621681163521)) (b6989586621681163521 ~> ([a6989586621681163520] ~> NonEmpty b6989586621681163521)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (a6989586621681163540 ~> (b6989586621681163541, Maybe a6989586621681163540)) (a6989586621681163540 ~> NonEmpty b6989586621681163541) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnfoldSym0 :: TyFun (a6989586621681163544 ~> (b6989586621681163545, Maybe a6989586621681163544)) (a6989586621681163544 ~> NonEmpty b6989586621681163545) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (MfilterSym0 :: TyFun (a6989586621681274759 ~> Bool) (m6989586621681274758 a6989586621681274759 ~> m6989586621681274758 a6989586621681274759) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (FilterMSym0 :: TyFun (a6989586621681274797 ~> m6989586621681274796 Bool) ([a6989586621681274797] ~> m6989586621681274796 [a6989586621681274797]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ApplySym0 :: TyFun (k16989586621679025617 ~> k26989586621679025618) (k16989586621679025617 ~> k26989586621679025618) -> Type) Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings ((@@@#@$) :: TyFun (k16989586621679032495 ~> k6989586621679032494) (TyFun k16989586621679032495 k6989586621679032494 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings ((:<>:@#@$$) t6989586621681331879 :: TyFun (ErrorMessage' s6989586621681331131) (ErrorMessage' s6989586621681331131) -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeError

SuppressUnusedWarnings ((:$$:@#@$$) t6989586621681331883 :: TyFun (ErrorMessage' s6989586621681331131) (ErrorMessage' s6989586621681331131) -> Type) Source # 
Instance details

Defined in Data.Singletons.TypeError

SuppressUnusedWarnings (Bool_Sym2 a6989586621679375890 a6989586621679375889 :: TyFun Bool a6989586621679375883 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

SuppressUnusedWarnings (FailSym0 :: TyFun [Char] (m6989586621679738911 a6989586621679738912) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Fail

SuppressUnusedWarnings (LookupSym1 a6989586621679978294 b6989586621679974071 :: TyFun [(a6989586621679974070, b6989586621679974071)] (Maybe b6989586621679974071) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Unzip3Sym0 :: TyFun [(a6989586621679974124, b6989586621679974125, c6989586621679974126)] ([a6989586621679974124], [b6989586621679974125], [c6989586621679974126]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (MapMaybeSym1 a6989586621679516448 :: TyFun [a6989586621679516287] [b6989586621679516288] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (MapSym1 a6989586621679545638 :: TyFun [a6989586621679545434] [b6989586621679545435] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (InsertBySym2 a6989586621679978724 a6989586621679978723 :: TyFun [a6989586621679974096] [a6989586621679974096] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DeleteBySym2 a6989586621679978769 a6989586621679978768 :: TyFun [a6989586621679974099] [a6989586621679974099] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (DeleteFirstsBySym2 a6989586621679978756 a6989586621679978755 :: TyFun [a6989586621679974098] [a6989586621679974098] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (UnionBySym2 a6989586621679978146 a6989586621679978145 :: TyFun [a6989586621679974058] [a6989586621679974058] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip3Sym0 :: TyFun [a6989586621679974136] ([b6989586621679974137] ~> ([c6989586621679974138] ~> [(a6989586621679974136, b6989586621679974137, c6989586621679974138)])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ZipSym1 a6989586621679979003 b6989586621679974140 :: TyFun [b6989586621679974140] [(a6989586621679974139, b6989586621679974140)] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (IntersectBySym2 a6989586621679978549 a6989586621679978548 :: TyFun [a6989586621679974086] [a6989586621679974086] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GenericSplitAtSym1 a6989586621680097731 a6989586621680096218 :: TyFun [a6989586621680096218] ([a6989586621680096218], [a6989586621680096218]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GenericDropSym1 a6989586621680097741 a6989586621680096220 :: TyFun [a6989586621680096220] [a6989586621680096220] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GenericTakeSym1 a6989586621680097751 a6989586621680096222 :: TyFun [a6989586621680096222] [a6989586621680096222] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GroupWithSym1 a6989586621681164939 :: TyFun [a6989586621681163504] [NonEmpty a6989586621681163504] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWithSym1 a6989586621681164931 :: TyFun [a6989586621681163502] [NonEmpty a6989586621681163502] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (FilterMSym1 a6989586621681275244 :: TyFun [a6989586621681274797] (m6989586621681274796 [a6989586621681274797]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ShowsPrecSym2 arg6989586621680295060 arg6989586621680295059 :: TyFun Symbol Symbol -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (ShowListWithSym2 a6989586621680295032 a6989586621680295031 :: TyFun Symbol Symbol -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (Tuple2Sym1 t6989586621679315250 b3530822107858468866 :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (Tuple3Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (ComparingSym1 a6989586621679394018 :: TyFun b6989586621679393928 (b6989586621679393928 ~> Ordering) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (SeqSym1 a6989586621679545538 b6989586621679545417 :: TyFun b6989586621679545417 b6989586621679545417 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (UntilSym2 a6989586621679545544 a6989586621679545543 :: TyFun a6989586621679545418 a6989586621679545418 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (($!@#@$$) a6989586621679545569 :: TyFun a6989586621679545419 b6989586621679545420 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (($@#@$$) a6989586621679545578 :: TyFun a6989586621679545421 b6989586621679545422 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (ConstSym1 a6989586621679545622 b6989586621679545431 :: TyFun b6989586621679545431 a6989586621679545430 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (FoldrSym1 a6989586621679545645 :: TyFun b6989586621679545437 ([a6989586621679545436] ~> b6989586621679545437) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings ((<$@#@$) :: TyFun a6989586621679570822 (f6989586621679570819 b6989586621679570823 ~> f6989586621679570819 a6989586621679570822) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<*>@#@$) :: TyFun (f6989586621679570824 (a6989586621679570826 ~> b6989586621679570827)) (f6989586621679570824 a6989586621679570826 ~> f6989586621679570824 b6989586621679570827) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<**>@#@$) :: TyFun (f6989586621679570784 a6989586621679570785) (f6989586621679570784 (a6989586621679570785 ~> b6989586621679570786) ~> f6989586621679570784 b6989586621679570786) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((>>=@#@$) :: TyFun (m6989586621679570848 a6989586621679570849) ((a6989586621679570849 ~> m6989586621679570848 b6989586621679570850) ~> m6989586621679570848 b6989586621679570850) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (ApSym0 :: TyFun (m6989586621679570742 (a6989586621679570743 ~> b6989586621679570744)) (m6989586621679570742 a6989586621679570743 ~> m6989586621679570742 b6989586621679570744) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<|>@#@$) :: TyFun (f6989586621679570899 a6989586621679570901) (f6989586621679570899 a6989586621679570901 ~> f6989586621679570899 a6989586621679570901) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (MplusSym0 :: TyFun (m6989586621679570902 a6989586621679570904) (m6989586621679570902 a6989586621679570904 ~> m6989586621679570902 a6989586621679570904) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (($>@#@$) :: TyFun (f6989586621679740989 a6989586621679740990) (b6989586621679740991 ~> f6989586621679740989 b6989586621679740991) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

SuppressUnusedWarnings ((<&>@#@$) :: TyFun (f6989586621679740992 a6989586621679740993) ((a6989586621679740993 ~> b6989586621679740994) ~> f6989586621679740992 b6989586621679740994) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

SuppressUnusedWarnings (EnumFromThenToSym2 arg6989586621679767332 arg6989586621679767331 :: TyFun a6989586621679767035 [a6989586621679767035] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (UnfoldrSym1 a6989586621679979060 :: TyFun b6989586621679974148 [a6989586621679974149] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ScanrSym1 a6989586621679979226 :: TyFun b6989586621679974158 ([a6989586621679974157] ~> [b6989586621679974158]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ScanlSym1 a6989586621679979254 :: TyFun b6989586621679974160 ([a6989586621679974161] ~> [b6989586621679974160]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GenericReplicateSym1 a6989586621680097711 a6989586621680096214 :: TyFun a6989586621680096214 [a6989586621680096214] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (GenericIndexSym1 a6989586621680097721 i6989586621680096215 :: TyFun i6989586621680096215 a6989586621680096216 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (AnySym1 a6989586621680490962 t6989586621680490420 :: TyFun (t6989586621680490420 a6989586621680490421) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ElemSym1 arg6989586621680491165 t6989586621680490502 :: TyFun (t6989586621680490502 a6989586621680490519) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (NotElemSym1 a6989586621680490891 t6989586621680490412 :: TyFun (t6989586621680490412 a6989586621680490413) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (LengthSym0 :: TyFun (t6989586621680490502 a6989586621680490518) Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (NullSym0 :: TyFun (t6989586621680490502 a6989586621680490517) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Foldl1Sym1 arg6989586621680491155 t6989586621680490502 :: TyFun (t6989586621680490502 a6989586621680490515) a6989586621680490515 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MaximumBySym1 a6989586621680490924 t6989586621680490416 :: TyFun (t6989586621680490416 a6989586621680490417) a6989586621680490417 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MinimumBySym1 a6989586621680490899 t6989586621680490414 :: TyFun (t6989586621680490414 a6989586621680490415) a6989586621680490415 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Foldr1Sym1 arg6989586621680491151 t6989586621680490502 :: TyFun (t6989586621680490502 a6989586621680490514) a6989586621680490514 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (SequenceA_Sym0 :: TyFun (t6989586621680490438 (f6989586621680490439 a6989586621680490440)) (f6989586621680490439 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t6989586621680490435 (m6989586621680490436 a6989586621680490437)) (m6989586621680490436 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (AllSym1 a6989586621680490949 t6989586621680490418 :: TyFun (t6989586621680490418 a6989586621680490419) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FindSym1 a6989586621680490864 t6989586621680490410 :: TyFun (t6989586621680490410 a6989586621680490411) (Maybe a6989586621680490411) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679097555 (Const a6989586621679097555 b6989586621679097556) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

SuppressUnusedWarnings (SequenceASym0 :: TyFun (t6989586621680798693 (f6989586621680798697 a6989586621680798698)) (f6989586621680798697 (t6989586621680798693 a6989586621680798698)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (SequenceSym0 :: TyFun (t6989586621680798693 (m6989586621680798702 a6989586621680798703)) (m6989586621680798702 (t6989586621680798693 a6989586621680798703)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (ArgSym1 t6989586621680915597 b6989586621679070613 :: TyFun b6989586621679070613 (Arg a6989586621679070612 b6989586621679070613) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SuppressUnusedWarnings (MzipSym0 :: TyFun (m6989586621681131419 a6989586621681131420) (m6989586621681131419 b6989586621681131421 ~> m6989586621681131419 (a6989586621681131420, b6989586621681131421)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Zip

SuppressUnusedWarnings (MunzipSym0 :: TyFun (m6989586621681131419 (a6989586621681131425, b6989586621681131426)) (m6989586621681131419 a6989586621681131425, m6989586621681131419 b6989586621681131426) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Zip

SuppressUnusedWarnings (ScanlSym1 a6989586621681165112 :: TyFun b6989586621681163522 ([a6989586621681163523] ~> NonEmpty b6989586621681163522) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanrSym1 a6989586621681165101 :: TyFun b6989586621681163521 ([a6989586621681163520] ~> NonEmpty b6989586621681163521) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnfoldrSym1 a6989586621681165200 :: TyFun a6989586621681163540 (NonEmpty b6989586621681163541) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnfoldSym1 a6989586621681165237 :: TyFun a6989586621681163544 (NonEmpty b6989586621681163545) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (MfilterSym1 a6989586621681275078 m6989586621681274758 :: TyFun (m6989586621681274758 a6989586621681274759) (m6989586621681274758 a6989586621681274759) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621681275124 m6989586621681274764 a6989586621681274765 :: TyFun (m6989586621681274764 a6989586621681274765) (m6989586621681274764 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ReplicateMSym1 a6989586621681275143 m6989586621681274766 a6989586621681274767 :: TyFun (m6989586621681274766 a6989586621681274767) (m6989586621681274766 [a6989586621681274767]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ApplySym1 f6989586621679025619 :: TyFun k16989586621679025617 k26989586621679025618 -> Type) Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings ((@@@#@$$) a6989586621679025615 :: TyFun k16989586621679032495 k6989586621679032494 -> Type) Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings (GetConstSym0 :: TyFun (Const a6989586621680758689 b6989586621680758690) a6989586621680758689 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

SuppressUnusedWarnings (ZipSym1 a6989586621681164845 b6989586621681163492 :: TyFun (NonEmpty b6989586621681163492) (NonEmpty (a6989586621681163491, b6989586621681163492)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupWith1Sym1 a6989586621681164887 :: TyFun (NonEmpty a6989586621681163498) (NonEmpty (NonEmpty a6989586621681163498)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (MapSym1 a6989586621681165141 :: TyFun (NonEmpty a6989586621681163527) (NonEmpty b6989586621681163528) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortWithSym1 a6989586621681164766 :: TyFun (NonEmpty a6989586621681163481) (NonEmpty a6989586621681163481) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWith1Sym1 a6989586621681164879 :: TyFun (NonEmpty a6989586621681163496) (NonEmpty (NonEmpty a6989586621681163496)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (CurrySym0 :: TyFun ((a6989586621679370310, b6989586621679370311) ~> c6989586621679370312) (a6989586621679370310 ~> (b6989586621679370311 ~> c6989586621679370312)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (UncurrySym0 :: TyFun (a6989586621679370307 ~> (b6989586621679370308 ~> c6989586621679370309)) ((a6989586621679370307, b6989586621679370308) ~> c6989586621679370309) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (Maybe_Sym1 a6989586621679514883 a6989586621679514866 :: TyFun (a6989586621679514866 ~> b6989586621679514865) (Maybe a6989586621679514866 ~> b6989586621679514865) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (FlipSym0 :: TyFun (a6989586621679545424 ~> (b6989586621679545425 ~> c6989586621679545426)) (b6989586621679545425 ~> (a6989586621679545424 ~> c6989586621679545426)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings ((.@#@$) :: TyFun (b6989586621679545427 ~> c6989586621679545428) ((a6989586621679545429 ~> b6989586621679545427) ~> (a6989586621679545429 ~> c6989586621679545428)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (FmapSym0 :: TyFun (a6989586621679570820 ~> b6989586621679570821) (f6989586621679570819 a6989586621679570820 ~> f6989586621679570819 b6989586621679570821) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftASym0 :: TyFun (a6989586621679570782 ~> b6989586621679570783) (f6989586621679570781 a6989586621679570782 ~> f6989586621679570781 b6989586621679570783) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((=<<@#@$) :: TyFun (a6989586621679570772 ~> m6989586621679570771 b6989586621679570773) (m6989586621679570771 a6989586621679570772 ~> m6989586621679570771 b6989586621679570773) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftMSym0 :: TyFun (a16989586621679570768 ~> r6989586621679570769) (m6989586621679570767 a16989586621679570768 ~> m6989586621679570767 r6989586621679570769) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<$>@#@$) :: TyFun (a6989586621679740996 ~> b6989586621679740997) (f6989586621679740995 a6989586621679740996 ~> f6989586621679740995 b6989586621679740997) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

SuppressUnusedWarnings (a6989586621679756568 &@#@$$ b6989586621679756556 :: TyFun (a6989586621679756555 ~> b6989586621679756556) b6989586621679756556 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (OnSym0 :: TyFun (b6989586621679756557 ~> (b6989586621679756557 ~> c6989586621679756558)) ((a6989586621679756559 ~> b6989586621679756557) ~> (a6989586621679756559 ~> (a6989586621679756559 ~> c6989586621679756558))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a6989586621679974133 ~> (b6989586621679974134 ~> c6989586621679974135)) ([a6989586621679974133] ~> ([b6989586621679974134] ~> [c6989586621679974135])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Either_Sym0 :: TyFun (a6989586621680470035 ~> c6989586621680470036) ((b6989586621680470037 ~> c6989586621680470036) ~> (Either a6989586621680470035 b6989586621680470037 ~> c6989586621680470036)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (Foldl'Sym0 :: TyFun (b6989586621680490512 ~> (a6989586621680490513 ~> b6989586621680490512)) (b6989586621680490512 ~> (t6989586621680490502 a6989586621680490513 ~> b6989586621680490512)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldlSym0 :: TyFun (b6989586621680490510 ~> (a6989586621680490511 ~> b6989586621680490510)) (b6989586621680490510 ~> (t6989586621680490502 a6989586621680490511 ~> b6989586621680490510)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldrSym0 :: TyFun (a6989586621680490506 ~> (b6989586621680490507 ~> b6989586621680490507)) (b6989586621680490507 ~> (t6989586621680490502 a6989586621680490506 ~> b6989586621680490507)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldMapSym0 :: TyFun (a6989586621680490505 ~> m6989586621680490504) (t6989586621680490502 a6989586621680490505 ~> m6989586621680490504) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Foldr'Sym0 :: TyFun (a6989586621680490508 ~> (b6989586621680490509 ~> b6989586621680490509)) (b6989586621680490509 ~> (t6989586621680490502 a6989586621680490508 ~> b6989586621680490509)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (a6989586621680490425 ~> [b6989586621680490426]) (t6989586621680490424 a6989586621680490425 ~> [b6989586621680490426]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldMapDefaultSym0 :: TyFun (a6989586621680804218 ~> m6989586621680804217) (t6989586621680804216 a6989586621680804218 ~> m6989586621680804217) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (FmapDefaultSym0 :: TyFun (a6989586621680804220 ~> b6989586621680804221) (t6989586621680804219 a6989586621680804220 ~> t6989586621680804219 b6989586621680804221) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a6989586621681163488 ~> (b6989586621681163489 ~> c6989586621681163490)) (NonEmpty a6989586621681163488 ~> (NonEmpty b6989586621681163489 ~> NonEmpty c6989586621681163490)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings ((<$!>@#@$) :: TyFun (a6989586621681274761 ~> b6989586621681274762) (m6989586621681274760 a6989586621681274761 ~> m6989586621681274760 b6989586621681274762) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (Unzip4Sym0 :: TyFun [(a6989586621679974120, b6989586621679974121, c6989586621679974122, d6989586621679974123)] ([a6989586621679974120], [b6989586621679974121], [c6989586621679974122], [d6989586621679974123]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (FoldrSym2 a6989586621679545646 a6989586621679545645 :: TyFun [a6989586621679545436] b6989586621679545437 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (ZipWithSym1 a6989586621679978980 :: TyFun [a6989586621679974133] ([b6989586621679974134] ~> [c6989586621679974135]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip3Sym1 a6989586621679978991 b6989586621679974137 c6989586621679974138 :: TyFun [b6989586621679974137] ([c6989586621679974138] ~> [(a6989586621679974136, b6989586621679974137, c6989586621679974138)]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ScanrSym2 a6989586621679979227 a6989586621679979226 :: TyFun [a6989586621679974157] [b6989586621679974158] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ScanlSym2 a6989586621679979255 a6989586621679979254 :: TyFun [a6989586621679974161] [b6989586621679974160] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip4Sym0 :: TyFun [a6989586621680096267] ([b6989586621680096268] ~> ([c6989586621680096269] ~> ([d6989586621680096270] ~> [(a6989586621680096267, b6989586621680096268, c6989586621680096269, d6989586621680096270)]))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ScanlSym2 a6989586621681165113 a6989586621681165112 :: TyFun [a6989586621681163523] (NonEmpty b6989586621681163522) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanrSym2 a6989586621681165102 a6989586621681165101 :: TyFun [a6989586621681163520] (NonEmpty b6989586621681163521) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Maybe_Sym2 a6989586621679514884 a6989586621679514883 :: TyFun (Maybe a6989586621679514866) b6989586621679514865 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (UncurrySym1 a6989586621679370399 :: TyFun (a6989586621679370307, b6989586621679370308) c6989586621679370309 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (Tuple3Sym1 t6989586621679315281 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (Tuple4Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (CurrySym1 a6989586621679370405 :: TyFun a6989586621679370310 (b6989586621679370311 ~> c6989586621679370312) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (ComparingSym2 a6989586621679394019 a6989586621679394018 :: TyFun b6989586621679393928 Ordering -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (FlipSym1 a6989586621679545594 :: TyFun b6989586621679545425 (a6989586621679545424 ~> c6989586621679545426) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (FmapSym1 arg6989586621679571211 f6989586621679570819 :: TyFun (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((arg6989586621679571215 <$@#@$$ f6989586621679570819) b6989586621679570823 :: TyFun (f6989586621679570819 b6989586621679570823) (f6989586621679570819 a6989586621679570822) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<*>@#@$$) arg6989586621679571237 :: TyFun (f6989586621679570824 a6989586621679570826) (f6989586621679570824 b6989586621679570827) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<*@#@$) :: TyFun (f6989586621679570824 a6989586621679570833) (f6989586621679570824 b6989586621679570834 ~> f6989586621679570824 a6989586621679570833) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((*>@#@$) :: TyFun (f6989586621679570824 a6989586621679570831) (f6989586621679570824 b6989586621679570832 ~> f6989586621679570824 b6989586621679570832) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (a6989586621679571195 <**>@#@$$ b6989586621679570786 :: TyFun (f6989586621679570784 (a6989586621679570785 ~> b6989586621679570786)) (f6989586621679570784 b6989586621679570786) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftASym1 a6989586621679571185 f6989586621679570781 :: TyFun (f6989586621679570781 a6989586621679570782) (f6989586621679570781 b6989586621679570783) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((>>@#@$) :: TyFun (m6989586621679570848 a6989586621679570851) (m6989586621679570848 b6989586621679570852 ~> m6989586621679570848 b6989586621679570852) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((=<<@#@$$) a6989586621679571164 :: TyFun (m6989586621679570771 a6989586621679570772) (m6989586621679570771 b6989586621679570773) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftMSym1 a6989586621679571142 m6989586621679570767 :: TyFun (m6989586621679570767 a16989586621679570768) (m6989586621679570767 r6989586621679570769) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (ApSym1 a6989586621679570909 :: TyFun (m6989586621679570742 a6989586621679570743) (m6989586621679570742 b6989586621679570744) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<|>@#@$$) arg6989586621679571359 :: TyFun (f6989586621679570899 a6989586621679570901) (f6989586621679570899 a6989586621679570901) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (MplusSym1 arg6989586621679571363 :: TyFun (m6989586621679570902 a6989586621679570904) (m6989586621679570902 a6989586621679570904) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (a6989586621679741061 $>@#@$$ b6989586621679740991 :: TyFun b6989586621679740991 (f6989586621679740989 b6989586621679740991) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

SuppressUnusedWarnings (a6989586621679741077 <$>@#@$$ f6989586621679740995 :: TyFun (f6989586621679740995 a6989586621679740996) (f6989586621679740995 b6989586621679740997) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

SuppressUnusedWarnings (Foldl'Sym1 arg6989586621680491145 t6989586621680490502 :: TyFun b6989586621680490512 (t6989586621680490502 a6989586621680490513 ~> b6989586621680490512) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldlSym1 arg6989586621680491139 t6989586621680490502 :: TyFun b6989586621680490510 (t6989586621680490502 a6989586621680490511 ~> b6989586621680490510) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldrSym1 arg6989586621680491127 t6989586621680490502 :: TyFun b6989586621680490507 (t6989586621680490502 a6989586621680490506 ~> b6989586621680490507) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldMapSym1 arg6989586621680491123 t6989586621680490502 :: TyFun (t6989586621680490502 a6989586621680490505) m6989586621680490504 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Foldr'Sym1 arg6989586621680491133 t6989586621680490502 :: TyFun b6989586621680490509 (t6989586621680490502 a6989586621680490508 ~> b6989586621680490509) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (For_Sym0 :: TyFun (t6989586621680490449 a6989586621680490451) ((a6989586621680490451 ~> f6989586621680490450 b6989586621680490452) ~> f6989586621680490450 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ForM_Sym0 :: TyFun (t6989586621680490441 a6989586621680490443) ((a6989586621680490443 ~> m6989586621680490442 b6989586621680490444) ~> m6989586621680490442 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (AsumSym0 :: TyFun (t6989586621680490432 (f6989586621680490433 a6989586621680490434)) (f6989586621680490433 a6989586621680490434) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MsumSym0 :: TyFun (t6989586621680490429 (m6989586621680490430 a6989586621680490431)) (m6989586621680490430 a6989586621680490431) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ConcatMapSym1 a6989586621680490993 t6989586621680490424 :: TyFun (t6989586621680490424 a6989586621680490425) [b6989586621680490426] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldMapDefaultSym1 a6989586621680804679 t6989586621680804216 :: TyFun (t6989586621680804216 a6989586621680804218) m6989586621680804217 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (FmapDefaultSym1 a6989586621680804700 t6989586621680804219 :: TyFun (t6989586621680804219 a6989586621680804220) (t6989586621680804219 b6989586621680804221) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (ForMSym0 :: TyFun (t6989586621680804230 a6989586621680804232) ((a6989586621680804232 ~> m6989586621680804231 b6989586621680804233) ~> m6989586621680804231 (t6989586621680804230 b6989586621680804233)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (ForSym0 :: TyFun (t6989586621680804234 a6989586621680804236) ((a6989586621680804236 ~> f6989586621680804235 b6989586621680804237) ~> f6989586621680804235 (t6989586621680804234 b6989586621680804237)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MzipSym1 arg6989586621681131495 b6989586621681131421 :: TyFun (m6989586621681131419 b6989586621681131421) (m6989586621681131419 (a6989586621681131420, b6989586621681131421)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Zip

SuppressUnusedWarnings (a6989586621681275098 <$!>@#@$$ m6989586621681274760 :: TyFun (m6989586621681274760 a6989586621681274761) (m6989586621681274760 b6989586621681274762) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ZipWithSym1 a6989586621681164834 :: TyFun (NonEmpty a6989586621681163488) (NonEmpty b6989586621681163489 ~> NonEmpty c6989586621681163490) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (a6989586621679545603 .@#@$$ a6989586621679545429 :: TyFun (a6989586621679545429 ~> b6989586621679545427) (a6989586621679545429 ~> c6989586621679545428) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (LiftA2Sym0 :: TyFun (a6989586621679570828 ~> (b6989586621679570829 ~> c6989586621679570830)) (f6989586621679570824 a6989586621679570828 ~> (f6989586621679570824 b6989586621679570829 ~> f6989586621679570824 c6989586621679570830)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (arg6989586621679571318 >>=@#@$$ b6989586621679570850 :: TyFun (a6989586621679570849 ~> m6989586621679570848 b6989586621679570850) (m6989586621679570848 b6989586621679570850) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftM2Sym0 :: TyFun (a16989586621679570764 ~> (a26989586621679570765 ~> r6989586621679570766)) (m6989586621679570763 a16989586621679570764 ~> (m6989586621679570763 a26989586621679570765 ~> m6989586621679570763 r6989586621679570766)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (a6989586621679741067 <&>@#@$$ b6989586621679740994 :: TyFun (a6989586621679740993 ~> b6989586621679740994) (f6989586621679740992 b6989586621679740994) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

SuppressUnusedWarnings (OnSym1 a6989586621679756574 a6989586621679756559 :: TyFun (a6989586621679756559 ~> b6989586621679756557) (a6989586621679756559 ~> (a6989586621679756559 ~> c6989586621679756558)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (ZipWith3Sym0 :: TyFun (a6989586621679974129 ~> (b6989586621679974130 ~> (c6989586621679974131 ~> d6989586621679974132))) ([a6989586621679974129] ~> ([b6989586621679974130] ~> ([c6989586621679974131] ~> [d6989586621679974132]))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Either_Sym1 a6989586621680470071 b6989586621680470037 :: TyFun (b6989586621680470037 ~> c6989586621680470036) (Either a6989586621680470035 b6989586621680470037 ~> c6989586621680470036) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (FoldrMSym0 :: TyFun (a6989586621680490463 ~> (b6989586621680490464 ~> m6989586621680490462 b6989586621680490464)) (b6989586621680490464 ~> (t6989586621680490461 a6989586621680490463 ~> m6989586621680490462 b6989586621680490464)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b6989586621680490459 ~> (a6989586621680490460 ~> m6989586621680490458 b6989586621680490459)) (b6989586621680490459 ~> (t6989586621680490457 a6989586621680490460 ~> m6989586621680490458 b6989586621680490459)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Traverse_Sym0 :: TyFun (a6989586621680490455 ~> f6989586621680490454 b6989586621680490456) (t6989586621680490453 a6989586621680490455 ~> f6989586621680490454 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a6989586621680490447 ~> m6989586621680490446 b6989586621680490448) (t6989586621680490445 a6989586621680490447 ~> m6989586621680490446 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (TraverseSym0 :: TyFun (a6989586621680798695 ~> f6989586621680798694 b6989586621680798696) (t6989586621680798693 a6989586621680798695 ~> f6989586621680798694 (t6989586621680798693 b6989586621680798696)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MapMSym0 :: TyFun (a6989586621680798700 ~> m6989586621680798699 b6989586621680798701) (t6989586621680798693 a6989586621680798700 ~> m6989586621680798699 (t6989586621680798693 b6989586621680798701)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MapAccumRSym0 :: TyFun (a6989586621680804223 ~> (b6989586621680804224 ~> (a6989586621680804223, c6989586621680804225))) (a6989586621680804223 ~> (t6989586621680804222 b6989586621680804224 ~> (a6989586621680804223, t6989586621680804222 c6989586621680804225))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MapAccumLSym0 :: TyFun (a6989586621680804227 ~> (b6989586621680804228 ~> (a6989586621680804227, c6989586621680804229))) (a6989586621680804227 ~> (t6989586621680804226 b6989586621680804228 ~> (a6989586621680804227, t6989586621680804226 c6989586621680804229))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MzipWithSym0 :: TyFun (a6989586621681131422 ~> (b6989586621681131423 ~> c6989586621681131424)) (m6989586621681131419 a6989586621681131422 ~> (m6989586621681131419 b6989586621681131423 ~> m6989586621681131419 c6989586621681131424)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Zip

SuppressUnusedWarnings (ZipWithM_Sym0 :: TyFun (a6989586621681274777 ~> (b6989586621681274778 ~> m6989586621681274776 c6989586621681274779)) ([a6989586621681274777] ~> ([b6989586621681274778] ~> m6989586621681274776 ())) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ZipWithMSym0 :: TyFun (a6989586621681274781 ~> (b6989586621681274782 ~> m6989586621681274780 c6989586621681274783)) ([a6989586621681274781] ~> ([b6989586621681274782] ~> m6989586621681274780 [c6989586621681274783])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (MapAndUnzipMSym0 :: TyFun (a6989586621681274785 ~> m6989586621681274784 (b6989586621681274786, c6989586621681274787)) ([a6989586621681274785] ~> m6989586621681274784 ([b6989586621681274786], [c6989586621681274787])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings ((>=>@#@$) :: TyFun (a6989586621681274793 ~> m6989586621681274792 b6989586621681274794) ((b6989586621681274794 ~> m6989586621681274792 c6989586621681274795) ~> (a6989586621681274793 ~> m6989586621681274792 c6989586621681274795)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings ((<=<@#@$) :: TyFun (b6989586621681274789 ~> m6989586621681274788 c6989586621681274790) ((a6989586621681274791 ~> m6989586621681274788 b6989586621681274789) ~> (a6989586621681274791 ~> m6989586621681274788 c6989586621681274790)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (Unzip5Sym0 :: TyFun [(a6989586621679974115, b6989586621679974116, c6989586621679974117, d6989586621679974118, e6989586621679974119)] ([a6989586621679974115], [b6989586621679974116], [c6989586621679974117], [d6989586621679974118], [e6989586621679974119]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ZipWith3Sym1 a6989586621679978965 :: TyFun [a6989586621679974129] ([b6989586621679974130] ~> ([c6989586621679974131] ~> [d6989586621679974132])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ZipWithSym2 a6989586621679978981 a6989586621679978980 :: TyFun [b6989586621679974134] [c6989586621679974135] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip3Sym2 a6989586621679978992 a6989586621679978991 c6989586621679974138 :: TyFun [c6989586621679974138] [(a6989586621679974136, b6989586621679974137, c6989586621679974138)] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip5Sym0 :: TyFun [a6989586621680096262] ([b6989586621680096263] ~> ([c6989586621680096264] ~> ([d6989586621680096265] ~> ([e6989586621680096266] ~> [(a6989586621680096262, b6989586621680096263, c6989586621680096264, d6989586621680096265, e6989586621680096266)])))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip4Sym1 a6989586621680097955 b6989586621680096268 c6989586621680096269 d6989586621680096270 :: TyFun [b6989586621680096268] ([c6989586621680096269] ~> ([d6989586621680096270] ~> [(a6989586621680096267, b6989586621680096268, c6989586621680096269, d6989586621680096270)])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ZipWithM_Sym1 a6989586621681275186 :: TyFun [a6989586621681274777] ([b6989586621681274778] ~> m6989586621681274776 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ZipWithMSym1 a6989586621681275195 :: TyFun [a6989586621681274781] ([b6989586621681274782] ~> m6989586621681274780 [c6989586621681274783]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681275204 :: TyFun [a6989586621681274785] (m6989586621681274784 ([b6989586621681274786], [c6989586621681274787])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (Either_Sym2 a6989586621680470072 a6989586621680470071 :: TyFun (Either a6989586621680470035 b6989586621680470037) c6989586621680470036 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (Tuple3Sym2 t6989586621679315282 t6989586621679315281 c3530822107858468867 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (Tuple4Sym1 t6989586621679315328 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (Tuple5Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (CurrySym2 a6989586621679370406 a6989586621679370405 :: TyFun b6989586621679370311 c6989586621679370312 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (FlipSym2 a6989586621679545595 a6989586621679545594 :: TyFun a6989586621679545424 c6989586621679545426 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (a6989586621679545604 .@#@$$$ a6989586621679545603 :: TyFun a6989586621679545429 c6989586621679545428 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (LiftA2Sym1 arg6989586621679571241 f6989586621679570824 :: TyFun (f6989586621679570824 a6989586621679570828) (f6989586621679570824 b6989586621679570829 ~> f6989586621679570824 c6989586621679570830) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (arg6989586621679571251 <*@#@$$ b6989586621679570834 :: TyFun (f6989586621679570824 b6989586621679570834) (f6989586621679570824 a6989586621679570833) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (arg6989586621679571247 *>@#@$$ b6989586621679570832 :: TyFun (f6989586621679570824 b6989586621679570832) (f6989586621679570824 b6989586621679570832) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (arg6989586621679571322 >>@#@$$ b6989586621679570852 :: TyFun (m6989586621679570848 b6989586621679570852) (m6989586621679570848 b6989586621679570852) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftM2Sym1 a6989586621679571116 m6989586621679570763 :: TyFun (m6989586621679570763 a16989586621679570764) (m6989586621679570763 a26989586621679570765 ~> m6989586621679570763 r6989586621679570766) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (OnSym2 a6989586621679756575 a6989586621679756574 :: TyFun a6989586621679756559 (a6989586621679756559 ~> c6989586621679756558) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (Foldl'Sym2 arg6989586621680491146 arg6989586621680491145 t6989586621680490502 :: TyFun (t6989586621680490502 a6989586621680490513) b6989586621680490512 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldlSym2 arg6989586621680491140 arg6989586621680491139 t6989586621680490502 :: TyFun (t6989586621680490502 a6989586621680490511) b6989586621680490510 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldrSym2 arg6989586621680491128 arg6989586621680491127 t6989586621680490502 :: TyFun (t6989586621680490502 a6989586621680490506) b6989586621680490507 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldrMSym1 a6989586621680491099 t6989586621680490461 :: TyFun b6989586621680490464 (t6989586621680490461 a6989586621680490463 ~> m6989586621680490462 b6989586621680490464) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Foldr'Sym2 arg6989586621680491134 arg6989586621680491133 t6989586621680490502 :: TyFun (t6989586621680490502 a6989586621680490508) b6989586621680490509 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldlMSym1 a6989586621680491077 t6989586621680490457 :: TyFun b6989586621680490459 (t6989586621680490457 a6989586621680490460 ~> m6989586621680490458 b6989586621680490459) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Traverse_Sym1 a6989586621680491069 t6989586621680490453 :: TyFun (t6989586621680490453 a6989586621680490455) (f6989586621680490454 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MapM_Sym1 a6989586621680491051 t6989586621680490445 :: TyFun (t6989586621680490445 a6989586621680490447) (m6989586621680490446 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (TraverseSym1 arg6989586621680798705 t6989586621680798693 :: TyFun (t6989586621680798693 a6989586621680798695) (f6989586621680798694 (t6989586621680798693 b6989586621680798696)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MapMSym1 arg6989586621680798711 t6989586621680798693 :: TyFun (t6989586621680798693 a6989586621680798700) (m6989586621680798699 (t6989586621680798693 b6989586621680798701)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MapAccumRSym1 a6989586621680804713 t6989586621680804222 :: TyFun a6989586621680804223 (t6989586621680804222 b6989586621680804224 ~> (a6989586621680804223, t6989586621680804222 c6989586621680804225)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MapAccumLSym1 a6989586621680804730 t6989586621680804226 :: TyFun a6989586621680804227 (t6989586621680804226 b6989586621680804228 ~> (a6989586621680804227, t6989586621680804226 c6989586621680804229)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MzipWithSym1 arg6989586621681131499 m6989586621681131419 :: TyFun (m6989586621681131419 a6989586621681131422) (m6989586621681131419 b6989586621681131423 ~> m6989586621681131419 c6989586621681131424) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Zip

SuppressUnusedWarnings (ZipWithSym2 a6989586621681164835 a6989586621681164834 :: TyFun (NonEmpty b6989586621681163489) (NonEmpty c6989586621681163490) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (LiftA3Sym0 :: TyFun (a6989586621679570777 ~> (b6989586621679570778 ~> (c6989586621679570779 ~> d6989586621679570780))) (f6989586621679570776 a6989586621679570777 ~> (f6989586621679570776 b6989586621679570778 ~> (f6989586621679570776 c6989586621679570779 ~> f6989586621679570776 d6989586621679570780))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftM3Sym0 :: TyFun (a16989586621679570759 ~> (a26989586621679570760 ~> (a36989586621679570761 ~> r6989586621679570762))) (m6989586621679570758 a16989586621679570759 ~> (m6989586621679570758 a26989586621679570760 ~> (m6989586621679570758 a36989586621679570761 ~> m6989586621679570758 r6989586621679570762))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (ZipWith4Sym0 :: TyFun (a6989586621680096244 ~> (b6989586621680096245 ~> (c6989586621680096246 ~> (d6989586621680096247 ~> e6989586621680096248)))) ([a6989586621680096244] ~> ([b6989586621680096245] ~> ([c6989586621680096246] ~> ([d6989586621680096247] ~> [e6989586621680096248])))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (For_Sym1 a6989586621680491063 f6989586621680490450 b6989586621680490452 :: TyFun (a6989586621680490451 ~> f6989586621680490450 b6989586621680490452) (f6989586621680490450 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ForM_Sym1 a6989586621680491045 m6989586621680490442 b6989586621680490444 :: TyFun (a6989586621680490443 ~> m6989586621680490442 b6989586621680490444) (m6989586621680490442 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ForMSym1 a6989586621680804751 m6989586621680804231 b6989586621680804233 :: TyFun (a6989586621680804232 ~> m6989586621680804231 b6989586621680804233) (m6989586621680804231 (t6989586621680804230 b6989586621680804233)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (ForSym1 a6989586621680804761 f6989586621680804235 b6989586621680804237 :: TyFun (a6989586621680804236 ~> f6989586621680804235 b6989586621680804237) (f6989586621680804235 (t6989586621680804234 b6989586621680804237)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (a6989586621681275225 >=>@#@$$ c6989586621681274795 :: TyFun (b6989586621681274794 ~> m6989586621681274792 c6989586621681274795) (a6989586621681274793 ~> m6989586621681274792 c6989586621681274795) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (a6989586621681275216 <=<@#@$$ a6989586621681274791 :: TyFun (a6989586621681274791 ~> m6989586621681274788 b6989586621681274789) (a6989586621681274791 ~> m6989586621681274788 c6989586621681274790) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (Unzip6Sym0 :: TyFun [(a6989586621679974109, b6989586621679974110, c6989586621679974111, d6989586621679974112, e6989586621679974113, f6989586621679974114)] ([a6989586621679974109], [b6989586621679974110], [c6989586621679974111], [d6989586621679974112], [e6989586621679974113], [f6989586621679974114]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ZipWith3Sym2 a6989586621679978966 a6989586621679978965 :: TyFun [b6989586621679974130] ([c6989586621679974131] ~> [d6989586621679974132]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ZipWith4Sym1 a6989586621680097838 :: TyFun [a6989586621680096244] ([b6989586621680096245] ~> ([c6989586621680096246] ~> ([d6989586621680096247] ~> [e6989586621680096248]))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip6Sym0 :: TyFun [a6989586621680096256] ([b6989586621680096257] ~> ([c6989586621680096258] ~> ([d6989586621680096259] ~> ([e6989586621680096260] ~> ([f6989586621680096261] ~> [(a6989586621680096256, b6989586621680096257, c6989586621680096258, d6989586621680096259, e6989586621680096260, f6989586621680096261)]))))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip5Sym1 a6989586621680097932 b6989586621680096263 c6989586621680096264 d6989586621680096265 e6989586621680096266 :: TyFun [b6989586621680096263] ([c6989586621680096264] ~> ([d6989586621680096265] ~> ([e6989586621680096266] ~> [(a6989586621680096262, b6989586621680096263, c6989586621680096264, d6989586621680096265, e6989586621680096266)]))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip4Sym2 a6989586621680097956 a6989586621680097955 c6989586621680096269 d6989586621680096270 :: TyFun [c6989586621680096269] ([d6989586621680096270] ~> [(a6989586621680096267, b6989586621680096268, c6989586621680096269, d6989586621680096270)]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681275187 a6989586621681275186 :: TyFun [b6989586621681274778] (m6989586621681274776 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ZipWithMSym2 a6989586621681275196 a6989586621681275195 :: TyFun [b6989586621681274782] (m6989586621681274780 [c6989586621681274783]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (Tuple4Sym2 t6989586621679315329 t6989586621679315328 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (Tuple5Sym1 t6989586621679315393 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

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

SuppressUnusedWarnings (LiftA2Sym2 arg6989586621679571242 arg6989586621679571241 :: TyFun (f6989586621679570824 b6989586621679570829) (f6989586621679570824 c6989586621679570830) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftA3Sym1 a6989586621679571173 f6989586621679570776 :: TyFun (f6989586621679570776 a6989586621679570777) (f6989586621679570776 b6989586621679570778 ~> (f6989586621679570776 c6989586621679570779 ~> f6989586621679570776 d6989586621679570780)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftM2Sym2 a6989586621679571117 a6989586621679571116 :: TyFun (m6989586621679570763 a26989586621679570765) (m6989586621679570763 r6989586621679570766) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftM3Sym1 a6989586621679571074 m6989586621679570758 :: TyFun (m6989586621679570758 a16989586621679570759) (m6989586621679570758 a26989586621679570760 ~> (m6989586621679570758 a36989586621679570761 ~> m6989586621679570758 r6989586621679570762)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (OnSym3 a6989586621679756576 a6989586621679756575 a6989586621679756574 :: TyFun a6989586621679756559 c6989586621679756558 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (FoldrMSym2 a6989586621680491100 a6989586621680491099 t6989586621680490461 :: TyFun (t6989586621680490461 a6989586621680490463) (m6989586621680490462 b6989586621680490464) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldlMSym2 a6989586621680491078 a6989586621680491077 t6989586621680490457 :: TyFun (t6989586621680490457 a6989586621680490460) (m6989586621680490458 b6989586621680490459) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MapAccumRSym2 a6989586621680804714 a6989586621680804713 t6989586621680804222 :: TyFun (t6989586621680804222 b6989586621680804224) (a6989586621680804223, t6989586621680804222 c6989586621680804225) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MapAccumLSym2 a6989586621680804731 a6989586621680804730 t6989586621680804226 :: TyFun (t6989586621680804226 b6989586621680804228) (a6989586621680804227, t6989586621680804226 c6989586621680804229) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MzipWithSym2 arg6989586621681131500 arg6989586621681131499 :: TyFun (m6989586621681131419 b6989586621681131423) (m6989586621681131419 c6989586621681131424) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Zip

SuppressUnusedWarnings (a6989586621681275226 >=>@#@$$$ a6989586621681275225 :: TyFun a6989586621681274793 (m6989586621681274792 c6989586621681274795) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (a6989586621681275217 <=<@#@$$$ a6989586621681275216 :: TyFun a6989586621681274791 (m6989586621681274788 c6989586621681274790) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (LiftM4Sym0 :: TyFun (a16989586621679570753 ~> (a26989586621679570754 ~> (a36989586621679570755 ~> (a46989586621679570756 ~> r6989586621679570757)))) (m6989586621679570752 a16989586621679570753 ~> (m6989586621679570752 a26989586621679570754 ~> (m6989586621679570752 a36989586621679570755 ~> (m6989586621679570752 a46989586621679570756 ~> m6989586621679570752 r6989586621679570757)))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (ZipWith5Sym0 :: TyFun (a6989586621680096238 ~> (b6989586621680096239 ~> (c6989586621680096240 ~> (d6989586621680096241 ~> (e6989586621680096242 ~> f6989586621680096243))))) ([a6989586621680096238] ~> ([b6989586621680096239] ~> ([c6989586621680096240] ~> ([d6989586621680096241] ~> ([e6989586621680096242] ~> [f6989586621680096243]))))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Unzip7Sym0 :: TyFun [(a6989586621679974102, b6989586621679974103, c6989586621679974104, d6989586621679974105, e6989586621679974106, f6989586621679974107, g6989586621679974108)] ([a6989586621679974102], [b6989586621679974103], [c6989586621679974104], [d6989586621679974105], [e6989586621679974106], [f6989586621679974107], [g6989586621679974108]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ZipWith3Sym3 a6989586621679978967 a6989586621679978966 a6989586621679978965 :: TyFun [c6989586621679974131] [d6989586621679974132] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ZipWith5Sym1 a6989586621680097815 :: TyFun [a6989586621680096238] ([b6989586621680096239] ~> ([c6989586621680096240] ~> ([d6989586621680096241] ~> ([e6989586621680096242] ~> [f6989586621680096243])))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (ZipWith4Sym2 a6989586621680097839 a6989586621680097838 :: TyFun [b6989586621680096245] ([c6989586621680096246] ~> ([d6989586621680096247] ~> [e6989586621680096248])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip7Sym0 :: TyFun [a6989586621680096249] ([b6989586621680096250] ~> ([c6989586621680096251] ~> ([d6989586621680096252] ~> ([e6989586621680096253] ~> ([f6989586621680096254] ~> ([g6989586621680096255] ~> [(a6989586621680096249, b6989586621680096250, c6989586621680096251, d6989586621680096252, e6989586621680096253, f6989586621680096254, g6989586621680096255)])))))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip6Sym1 a6989586621680097904 b6989586621680096257 c6989586621680096258 d6989586621680096259 e6989586621680096260 f6989586621680096261 :: TyFun [b6989586621680096257] ([c6989586621680096258] ~> ([d6989586621680096259] ~> ([e6989586621680096260] ~> ([f6989586621680096261] ~> [(a6989586621680096256, b6989586621680096257, c6989586621680096258, d6989586621680096259, e6989586621680096260, f6989586621680096261)])))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip5Sym2 a6989586621680097933 a6989586621680097932 c6989586621680096264 d6989586621680096265 e6989586621680096266 :: TyFun [c6989586621680096264] ([d6989586621680096265] ~> ([e6989586621680096266] ~> [(a6989586621680096262, b6989586621680096263, c6989586621680096264, d6989586621680096265, e6989586621680096266)])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Zip4Sym3 a6989586621680097957 a6989586621680097956 a6989586621680097955 d6989586621680096270 :: TyFun [d6989586621680096270] [(a6989586621680096267, b6989586621680096268, c6989586621680096269, d6989586621680096270)] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal

SuppressUnusedWarnings (Tuple4Sym3 t6989586621679315330 t6989586621679315329 t6989586621679315328 d3530822107858468868 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) Source # 
Instance details

Defined in