Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Singletons.SuppressUnusedWarnings

Synopsis

class SuppressUnusedWarnings t where
- suppressUnusedWarnings :: ()

Documentation

class SuppressUnusedWarnings t where Source #

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

Methods

suppressUnusedWarnings :: () Source #

Instances

Instances details

SuppressUnusedWarnings NotSym0 Source #
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings AllSym0 Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings AnySym0 Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (&&@#@$) Source #
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (\|\|@#@$) Source #
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ShowParenSym0 Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings UnlinesSym0 Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings UnwordsSym0 Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ThenCmpSym0 Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings DemoteSym0 Source #
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (~>@#@$) Source #
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings KnownNatSym0 Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings Log2Sym0 Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (<=?@#@$) Source #
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (^@#@$) Source #
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings DivSym0 Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ModSym0 Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings QuotSym0 Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings RemSym0 Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings DivModSym0 Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings QuotRemSym0 Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings KnownSymbolSym0 Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ShowSpaceSym0 Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ShowCommaSpaceSym0 Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ShowCharSym0 Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ShowStringSym0 Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings GetAllSym0 Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings GetAnySym0 Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings XorSym0 Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((&&@#@$$) a6989586621679366665 :: TyFun Bool Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((\|\|@#@$$) a6989586621679366963 :: TyFun Bool Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TransposeSym0 :: TyFun [[a]] [[a]] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((++@#@$) :: TyFun [a] ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((!!@#@$) :: TyFun [a] (Nat ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupSym0 :: TyFun [a] [[a]] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortSym0 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnionSym0 :: TyFun [a] ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((\\@#@$) :: TyFun [a] ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubSym0 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TailsSym0 :: TyFun [a] [[a]] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InitsSym0 :: TyFun [a] [[a]] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsInfixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersectSym0 :: TyFun [a] ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PermutationsSym0 :: TyFun [a] [[a]] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SubsequencesSym0 :: TyFun [a] [[a]] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntercalateSym0 :: TyFun [a] ([[a]] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReverseSym0 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsSuffixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InitSym0 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TailSym0 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LastSym0 :: TyFun [a] a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (HeadSym0 :: TyFun [a] a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (StripPrefixSym0 :: TyFun [a] ([a] ~> Maybe [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MconcatSym0 :: TyFun [a] a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a] (NonEmpty a ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ThenCmpSym1 a6989586621679394586 :: TyFun Ordering Ordering -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((~>@#@$$) a6989586621681337324 :: TyFun Type Type -> Type) Source #
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<=?@#@$$) a6989586621679473158 :: TyFun Nat Bool -> Type) Source #
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((^@#@$$) a6989586621679472866 :: TyFun Nat Nat -> Type) Source #
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DivSym1 a6989586621679492680 :: TyFun Nat Nat -> Type) Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ModSym1 a6989586621679493016 :: TyFun Nat Nat -> Type) Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (QuotSym1 a6989586621679493492 :: TyFun Nat Nat -> Type) Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (RemSym1 a6989586621679493481 :: TyFun Nat Nat -> Type) Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DivModSym1 a6989586621679493510 :: TyFun Nat (Nat, Nat) -> Type) Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (QuotRemSym1 a6989586621679493503 :: TyFun Nat (Nat, Nat) -> Type) Source #
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromIntegerSym0 :: TyFun Nat a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropSym0 :: TyFun Nat ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeSym0 :: TyFun Nat ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat ([a] ~> ([a], [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateSym0 :: TyFun Nat (a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (NonEmpty a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropSym0 :: TyFun Nat (NonEmpty a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (NonEmpty a ~> ([a], [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowCharSym1 a6989586621680279534 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowStringSym1 a6989586621680279523 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (JustSym0 :: TyFun a (Maybe a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:@#@$) :: TyFun a ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:\|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IdentitySym0 :: TyFun a (Identity a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Bool_Sym0 :: TyFun a (a ~> (Bool ~> a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((==@#@$) :: TyFun a (a ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((/=@#@$) :: TyFun a (a ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DefaultEqSym0 :: TyFun k (k ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<=@#@$) :: TyFun a (a ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CompareSym0 :: TyFun a (a ~> Ordering) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinSym0 :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaxSym0 :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>=@#@$) :: TyFun a (a ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>@#@$) :: TyFun a (a ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<@#@$) :: TyFun a (a ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DownSym0 :: TyFun a (Down a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a (Maybe a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NegateSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((-@#@$) :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((+@#@$) :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SignumSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AbsSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((*@#@$) :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SubtractSym0 :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IdSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromEnumSym0 :: TyFun a Nat -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PredSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SuccSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<>@#@$) :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DualSym0 :: TyFun a (Dual a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SumSym0 :: TyFun a (Sum a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ProductSym0 :: TyFun a (Product a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinSym0 :: TyFun a (Min a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaxSym0 :: TyFun a (Max a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FirstSym0 :: TyFun a (First a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LastSym0 :: TyFun a (Last a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (WrapMonoidSym0 :: TyFun m (WrappedMonoid m) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertSym0 :: TyFun a ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteSym0 :: TyFun a ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemIndicesSym0 :: TyFun a ([a] ~> [Nat]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Nat) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersperseSym0 :: TyFun a ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Show_Sym0 :: TyFun a Symbol -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MappendSym0 :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AndSym0 :: TyFun (t Bool) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OrSym0 :: TyFun (t Bool) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertSym0 :: TyFun a ([a] ~> NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<\|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SameKindSym0 :: TyFun k (k ~> Constraint) -> Type) Source #
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (KindOfSym0 :: TyFun k Type -> Type) Source #
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TextSym0 :: TyFun s (ErrorMessage' s) -> Type) Source #
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AbsurdSym0 :: TyFun Void a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Void Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetMinSym0 :: TyFun (Min a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetMaxSym0 :: TyFun (Max a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnwrapMonoidSym0 :: TyFun (WrappedMonoid m) m -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (RunIdentitySym0 :: TyFun (Identity a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetDualSym0 :: TyFun (Dual a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetSumSym0 :: TyFun (Sum a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetProductSym0 :: TyFun (Product a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetDownSym0 :: TyFun (Down a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SconcatSym0 :: TyFun (NonEmpty a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a) (Nat ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowParenSym1 a6989586621680279507 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (BreakSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SpanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [[a]]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertBySym0 :: TyFun (a ~> (a ~> Ordering)) (a ~> ([a] ~> [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteBySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteFirstsBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnionBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Nat]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersectBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl1'Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (BreakSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TypeErrorSym0 :: TyFun PErrorMessage a -> Type) Source #
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:<>:@#@$) :: TyFun (ErrorMessage' s) (ErrorMessage' s ~> ErrorMessage' s) -> Type) Source #
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:$$:@#@$) :: TyFun (ErrorMessage' s) (ErrorMessage' s ~> ErrorMessage' s) -> Type) Source #
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntercalateSym1 a6989586621679969986 :: TyFun [[a]] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (RightsSym0 :: TyFun [Either a b] [b] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LeftsSym0 :: TyFun [Either a b] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnzipSym0 :: TyFun [(a, b)] ([a], [b]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:@#@$$) a6989586621679304138 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:\|@#@$$) a6989586621679304206 :: TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((++@#@$$) a6989586621679534210 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GenericLengthSym0 :: TyFun [a] i -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubBySym1 a6989586621679968840 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PartitionSym1 a6989586621679968951 :: TyFun [a] ([a], [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropSym1 a6989586621679969037 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeSym1 a6989586621679969050 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SplitAtSym1 a6989586621679969030 :: TyFun [a] ([a], [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (BreakSym1 a6989586621679969063 :: TyFun [a] ([a], [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SpanSym1 a6989586621679969098 :: TyFun [a] ([a], [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBySym1 a6989586621679968973 :: TyFun [a] [[a]] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileSym1 a6989586621679969152 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeWhileSym1 a6989586621679969167 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterSym1 a6989586621679969267 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertSym1 a6989586621679969005 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortBySym1 a6989586621679969344 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteFirstsBySym1 a6989586621679969356 :: TyFun [a] ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnionBySym1 a6989586621679968820 :: TyFun [a] ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnionSym1 a6989586621679968812 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteSym1 a6989586621679969396 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((\\@#@$$) a6989586621679969385 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipSym0 :: TyFun [a] ([b] ~> [(a, b)]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindIndicesSym1 a6989586621679969210 :: TyFun [a] [Nat] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemIndicesSym1 a6989586621679969242 :: TyFun [a] [Nat] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindIndexSym1 a6989586621679969233 :: TyFun [a] (Maybe Nat) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemIndexSym1 a6989586621679969251 :: TyFun [a] (Maybe Nat) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621679969624 :: TyFun [a] Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanr1Sym1 a6989586621679969758 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanl1Sym1 a6989586621679969796 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsInfixOfSym1 a6989586621679969610 :: TyFun [a] Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersectBySym1 a6989586621679969181 :: TyFun [a] ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersectSym1 a6989586621679969203 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl1'Sym1 a6989586621679969872 :: TyFun [a] a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersperseSym1 a6989586621679969993 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsSuffixOfSym1 a6989586621679969617 :: TyFun [a] Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileEndSym1 a6989586621679969135 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (StripPrefixSym1 a6989586621680091346 :: TyFun [a] (Maybe [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680279542 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBySym1 a6989586621681185955 :: TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertSym1 a6989586621681186133 :: TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FromMaybeSym1 a6989586621679502222 :: TyFun (Maybe a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsRightSym0 :: TyFun (Either a b) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((!!@#@$$) a6989586621679968875 :: TyFun Nat a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((!!@#@$$) a6989586621681185857 :: TyFun Nat a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateM_Sym0 :: TyFun Nat (m a ~> m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateMSym0 :: TyFun Nat (m a ~> m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowListSym1 a6989586621680279577 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowsSym1 a6989586621680279560 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowParenSym2 a6989586621680279507 a6989586621680279508 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SwapSym0 :: TyFun (a, b) (b, a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SndSym0 :: TyFun (a, b) b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FstSym0 :: TyFun (a, b) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LeftSym0 :: TyFun a (Either a b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (RightSym0 :: TyFun b (Either a b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Bool_Sym1 a6989586621679365865 :: TyFun a (Bool ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((==@#@$$) a6989586621679370055 :: TyFun a Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((/=@#@$$) a6989586621679370058 :: TyFun a Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DefaultEqSym1 a6989586621679370061 :: TyFun k Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Eq Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<=@#@$$) a6989586621679383650 :: TyFun a Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CompareSym1 a6989586621679383640 :: TyFun a Ordering -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinSym1 a6989586621679383670 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaxSym1 a6989586621679383665 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>=@#@$$) a6989586621679383660 :: TyFun a Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>@#@$$) a6989586621679383655 :: TyFun a Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<@#@$$) a6989586621679383645 :: TyFun a Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ErrorSym0 :: TyFun k0 k -> Type) Source #
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ErrorWithoutStackTraceSym0 :: TyFun k0 k -> Type) Source #
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b ((a ~> b) ~> (Maybe a ~> b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((-@#@$$) a6989586621679517801 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((+@#@$$) a6989586621679517796 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((*@#@$$) a6989586621679517806 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SubtractSym1 a6989586621679517789 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Num Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SeqSym0 :: TyFun a (b ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConstSym0 :: TyFun a (b ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AsTypeOfSym1 a6989586621679534167 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PureSym0 :: TyFun a (f a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (WhenSym1 a6989586621679559610 :: TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReturnSym0 :: TyFun a (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (VoidSym0 :: TyFun (f a) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((&@#@$) :: TyFun a ((a ~> b) ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (EnumFromThenToSym1 a6989586621679758488 :: TyFun a (a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (EnumFromToSym1 a6989586621679758482 :: TyFun a [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<>@#@$$) a6989586621679830624 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateSym1 a6989586621679968895 :: TyFun a [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LookupSym0 :: TyFun a ([(a, b)] ~> Maybe b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertBySym1 a6989586621679969324 :: TyFun a ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteBySym1 a6989586621679969366 :: TyFun a ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowsPrecSym1 a6989586621680279568 :: TyFun a (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MappendSym1 a6989586621680347244 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AsProxyTypeOfSym0 :: TyFun a (proxy a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Proxy Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ProductSym0 :: TyFun (t a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SumSym0 :: TyFun (t a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinimumSym0 :: TyFun (t a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaximumSym0 :: TyFun (t a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemSym0 :: TyFun a (t a ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ToListSym0 :: TyFun (t a) [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConcatSym0 :: TyFun (t [a]) [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldSym0 :: TyFun (t m) m -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ArgSym0 :: TyFun a (b ~> Arg a b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Applicative Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnlessSym1 a6989586621681292265 :: TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SameKindSym1 a6989586621681337319 :: TyFun k Constraint -> Type) Source #
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowTypeSym0 :: TyFun t (ErrorMessage' s) -> Type) Source #
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NubBySym1 a6989586621681185794 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621681185876 :: TyFun (NonEmpty a) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupBy1Sym1 a6989586621681185903 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersperseSym1 a6989586621681186080 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeSym1 a6989586621681186067 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropSym1 a6989586621681186058 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SplitAtSym1 a6989586621681186049 :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TakeWhileSym1 a6989586621681186040 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DropWhileSym1 a6989586621681186031 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SpanSym1 a6989586621681186022 :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (BreakSym1 a6989586621681186013 :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterSym1 a6989586621681186004 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (PartitionSym1 a6989586621681185995 :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortBySym1 a6989586621681185781 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanl1Sym1 a6989586621681186099 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Scanr1Sym1 a6989586621681186091 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<\|@#@$$) a6989586621681186196 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConsSym1 a6989586621681186189 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ComparingSym0 :: TyFun (b ~> a) (b ~> (b ~> Ordering)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (a ~> Maybe b) ([a] ~> [b]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UntilSym1 a6989586621679534129 :: TyFun (a ~> a) (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (($!@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (($@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (b ~> Maybe (a, b)) (b ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> [b])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> [b])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaximumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinimumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ApplySym0 :: TyFun (k1 ~> k2) (k1 ~> k2) -> Type) Source #
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((@@@#@$) :: TyFun (k1 ~> k2) (k1 ~> k2) -> Type) Source #
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:<>:@#@$$) a6989586621681349587 :: TyFun (ErrorMessage' s) (ErrorMessage' s) -> Type) Source #
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((:$$:@#@$$) a6989586621681349590 :: TyFun (ErrorMessage' s) (ErrorMessage' s) -> Type) Source #
Instance details Defined in Data.Singletons.TypeError Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Bool_Sym2 a6989586621679365865 a6989586621679365866 :: TyFun Bool a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FailSym0 :: TyFun [Char] (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Fail Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LookupSym1 a6989586621679968958 :: TyFun [(a, b)] (Maybe b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Unzip3Sym0 :: TyFun [(a, b, c)] ([a], [b], [c]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapMaybeSym1 a6989586621679502192 :: TyFun [a] [b] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapSym1 a6989586621679534219 :: TyFun [a] [b] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (InsertBySym2 a6989586621679969324 a6989586621679969325 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteBySym2 a6989586621679969366 a6989586621679969367 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (DeleteFirstsBySym2 a6989586621679969356 a6989586621679969357 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnionBySym2 a6989586621679968820 a6989586621679968821 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip3Sym0 :: TyFun [a] ([b] ~> ([c] ~> [(a, b, c)])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipSym1 a6989586621679969585 :: TyFun [b] [(a, b)] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (IntersectBySym2 a6989586621679969181 a6989586621679969182 :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupWithSym1 a6989586621681185946 :: TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupAllWithSym1 a6989586621681185937 :: TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FilterMSym1 a6989586621681292398 :: TyFun [a] (m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowsPrecSym2 a6989586621680279568 a6989586621680279569 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680279542 a6989586621680279543 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple2Sym1 a6989586621679304233 :: TyFun b (a, b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ComparingSym1 a6989586621679383631 :: TyFun b (b ~> Ordering) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SeqSym1 a6989586621679534120 :: TyFun b b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UntilSym2 a6989586621679534129 a6989586621679534130 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (($!@#@$$) a6989586621679534147 :: TyFun a b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (($@#@$$) a6989586621679534156 :: TyFun a b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConstSym1 a6989586621679534200 :: TyFun b a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym1 a6989586621679534230 :: TyFun b ([a] ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<$@#@$) :: TyFun a (f b ~> f a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<*>@#@$) :: TyFun (f (a ~> b)) (f a ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<**>@#@$) :: TyFun (f a) (f (a ~> b) ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<\|>@#@$) :: TyFun (f a) (f a ~> f a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (($>@#@$) :: TyFun (f a) (b ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<&>@#@$) :: TyFun (f a) ((a ~> b) ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (EnumFromThenToSym2 a6989586621679758488 a6989586621679758489 :: TyFun a [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldrSym1 a6989586621679969650 :: TyFun b [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym1 a6989586621679969778 :: TyFun b ([a] ~> [b]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym1 a6989586621679969805 :: TyFun b ([a] ~> [b]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AsProxyTypeOfSym1 a6989586621680453165 :: TyFun (proxy a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Proxy Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AnySym1 a6989586621680492302 :: TyFun (t a) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ElemSym1 a6989586621680492497 :: TyFun (t a) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NotElemSym1 a6989586621680492244 :: TyFun (t a) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LengthSym0 :: TyFun (t a) Nat -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (NullSym0 :: TyFun (t a) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl1Sym1 a6989586621680492483 :: TyFun (t a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MaximumBySym1 a6989586621680492273 :: TyFun (t a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MinimumBySym1 a6989586621680492253 :: TyFun (t a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldr1Sym1 a6989586621680492478 :: TyFun (t a) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SequenceA_Sym0 :: TyFun (t (f a)) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AllSym1 a6989586621680492293 :: TyFun (t a) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FindSym1 a6989586621680492226 :: TyFun (t a) (Maybe a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConstSym0 :: TyFun a (Const a b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ArgSym1 a6989586621680936903 :: TyFun b (Arg a b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MzipSym0 :: TyFun (m a) (m b ~> m (a, b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym1 a6989586621681186122 :: TyFun b ([a] ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym1 a6989586621681186110 :: TyFun b ([a] ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldrSym1 a6989586621681186222 :: TyFun a (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UnfoldSym1 a6989586621681186257 :: TyFun a (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MfilterSym1 a6989586621681292236 :: TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621681292275 :: TyFun (m a) (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ReplicateMSym1 a6989586621681292293 :: TyFun (m a) (m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ApplySym1 a6989586621681337327 :: TyFun k1 k2 -> Type) Source #
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((@@@#@$$) a6989586621681337330 :: TyFun k1 k2 -> Type) Source #
Instance details Defined in Data.Singletons Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GetConstSym0 :: TyFun (Const a b) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipSym1 a6989586621681185848 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupWith1Sym1 a6989586621681185896 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapSym1 a6989586621681186152 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (SortWithSym1 a6989586621681185772 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (GroupAllWith1Sym1 a6989586621681185887 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Maybe_Sym1 a6989586621679500654 :: TyFun (a ~> b) (Maybe a ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftASym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<$>@#@$) :: TyFun (a ~> b) (f a ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((&@#@$$) a6989586621679747410 :: TyFun (a ~> b) b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OnSym0 :: TyFun (b ~> (b ~> c)) ((a ~> b) ~> (a ~> (a ~> c))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a ~> (b ~> c)) ([a] ~> ([b] ~> [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Either_Sym0 :: TyFun (a ~> c) ((b ~> c) ~> (Either a b ~> c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl'Sym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlSym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldMapSym0 :: TyFun (a ~> m) (t a ~> m) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldr'Sym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (a ~> [b]) (t a ~> [b]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldMapDefaultSym0 :: TyFun (a ~> m) (t a ~> m) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FmapDefaultSym0 :: TyFun (a ~> b) (t a ~> t b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Unzip4Sym0 :: TyFun [(a, b, c, d)] ([a], [b], [c], [d]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym2 a6989586621679534230 a6989586621679534231 :: TyFun [a] b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym1 a6989586621679969561 :: TyFun [a] ([b] ~> [c]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip3Sym1 a6989586621679969573 :: TyFun [b] ([c] ~> [(a, b, c)]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym2 a6989586621679969778 a6989586621679969779 :: TyFun [a] [b] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym2 a6989586621679969805 a6989586621679969806 :: TyFun [a] [b] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip4Sym0 :: TyFun [a] ([b] ~> ([c] ~> ([d] ~> [(a, b, c, d)]))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanlSym2 a6989586621681186122 a6989586621681186123 :: TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ScanrSym2 a6989586621681186110 a6989586621681186111 :: TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Maybe_Sym2 a6989586621679500654 a6989586621679500655 :: TyFun (Maybe a) b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (UncurrySym1 a6989586621679360426 :: TyFun (a, b) c -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple3Sym1 a6989586621679304264 :: TyFun b (c ~> (a, b, c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CurrySym1 a6989586621679360434 :: TyFun a (b ~> c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ComparingSym2 a6989586621679383631 a6989586621679383632 :: TyFun b Ordering -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FlipSym1 a6989586621679534175 :: TyFun b (a ~> c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FmapSym1 a6989586621679559667 :: TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<$@#@$$) a6989586621679559672 :: TyFun (f b) (f a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<*>@#@$$) a6989586621679559695 :: TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<*@#@$) :: TyFun (f a) (f b ~> f a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((*>@#@$) :: TyFun (f a) (f b ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<**>@#@$$) a6989586621679559655 :: TyFun (f (a ~> b)) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftASym1 a6989586621679559644 :: TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((=<<@#@$$) a6989586621679559620 :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftMSym1 a6989586621679559599 :: TyFun (m a1) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ApSym1 a6989586621679559470 :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<\|>@#@$$) a6989586621679559816 :: TyFun (f a) (f a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MplusSym1 a6989586621679559822 :: TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (($>@#@$$) a6989586621679731612 :: TyFun b (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<$>@#@$$) a6989586621679731630 :: TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl'Sym1 a6989586621680492472 :: TyFun b (t a ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlSym1 a6989586621680492465 :: TyFun b (t a ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym1 a6989586621680492451 :: TyFun b (t a ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldMapSym1 a6989586621680492445 :: TyFun (t a) m -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldr'Sym1 a6989586621680492458 :: TyFun b (t a ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (For_Sym0 :: TyFun (t a) ((a ~> f b) ~> f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForM_Sym0 :: TyFun (t a) ((a ~> m b) ~> m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (AsumSym0 :: TyFun (t (f a)) (f a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ConcatMapSym1 a6989586621680492321 :: TyFun (t a) [b] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldMapDefaultSym1 a6989586621680822963 :: TyFun (t a) m -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FmapDefaultSym1 a6989586621680822982 :: TyFun (t a) (t b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForSym0 :: TyFun (t a) ((a ~> f b) ~> f (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MzipSym1 a6989586621681150519 :: TyFun (m b) (m (a, b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<$!>@#@$$) a6989586621681292252 :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym1 a6989586621681185837 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((.@#@$$) a6989586621679534187 :: TyFun (a ~> b) (a ~> c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA2Sym0 :: TyFun (a ~> (b ~> c)) (f a ~> (f b ~> f c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>>=@#@$$) a6989586621679559775 :: TyFun (a ~> m b) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<&>@#@$$) a6989586621679731619 :: TyFun (a ~> b) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OnSym1 a6989586621679747423 :: TyFun (a ~> b) (a ~> (a ~> c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith3Sym0 :: TyFun (a ~> (b ~> (c ~> d))) ([a] ~> ([b] ~> ([c] ~> [d]))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Either_Sym1 a6989586621680470389 :: TyFun (b ~> c) (Either a b ~> c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrMSym0 :: TyFun (a ~> (b ~> m b)) (b ~> (t a ~> m b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Traverse_Sym0 :: TyFun (a ~> f b) (t a ~> f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TraverseSym0 :: TyFun (a ~> f b) (t a ~> f (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumRSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumLSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MzipWithSym0 :: TyFun (a ~> (b ~> c)) (m a ~> (m b ~> m c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Unzip5Sym0 :: TyFun [(a, b, c, d, e)] ([a], [b], [c], [d], [e]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith3Sym1 a6989586621679969546 :: TyFun [a] ([b] ~> ([c] ~> [d])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym2 a6989586621679969561 a6989586621679969562 :: TyFun [b] [c] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip3Sym2 a6989586621679969573 a6989586621679969574 :: TyFun [c] [(a, b, c)] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip5Sym0 :: TyFun [a] ([b] ~> ([c] ~> ([d] ~> ([e] ~> [(a, b, c, d, e)])))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip4Sym1 a6989586621680091335 :: TyFun [b] ([c] ~> ([d] ~> [(a, b, c, d)])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithM_Sym1 a6989586621681292338 :: TyFun [a] ([b] ~> m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithMSym1 a6989586621681292348 :: TyFun [a] ([b] ~> m [c]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681292357 :: TyFun [a] (m ([b], [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Either_Sym2 a6989586621680470389 a6989586621680470390 :: TyFun (Either a b) c -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple3Sym2 a6989586621679304264 a6989586621679304265 :: TyFun c (a, b, c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple4Sym1 a6989586621679304310 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (CurrySym2 a6989586621679360434 a6989586621679360435 :: TyFun b c -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FlipSym2 a6989586621679534175 a6989586621679534176 :: TyFun a c -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621679534187 .@#@$$$ a6989586621679534188 :: TyFun a c -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA2Sym1 a6989586621679559701 :: TyFun (f a) (f b ~> f c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<*@#@$$) a6989586621679559712 :: TyFun (f b) (f a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((*>@#@$$) a6989586621679559707 :: TyFun (f b) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>>@#@$$) a6989586621679559780 :: TyFun (m b) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM2Sym1 a6989586621679559582 :: TyFun (m a1) (m a2 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OnSym2 a6989586621679747423 a6989586621679747424 :: TyFun a (a ~> c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldl'Sym2 a6989586621680492472 a6989586621680492473 :: TyFun (t a) b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlSym2 a6989586621680492465 a6989586621680492466 :: TyFun (t a) b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrSym2 a6989586621680492451 a6989586621680492452 :: TyFun (t a) b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrMSym1 a6989586621680492425 :: TyFun b (t a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Foldr'Sym2 a6989586621680492458 a6989586621680492459 :: TyFun (t a) b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlMSym1 a6989586621680492407 :: TyFun b (t a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Traverse_Sym1 a6989586621680492399 :: TyFun (t a) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapM_Sym1 a6989586621680492379 :: TyFun (t a) (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (TraverseSym1 a6989586621680816742 :: TyFun (t a) (f (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapMSym1 a6989586621680816750 :: TyFun (t a) (m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumRSym1 a6989586621680822996 :: TyFun a (t b ~> (a, t c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumLSym1 a6989586621680823006 :: TyFun a (t b ~> (a, t c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MzipWithSym1 a6989586621681150525 :: TyFun (m a) (m b ~> m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithSym2 a6989586621681185837 a6989586621681185838 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA3Sym0 :: TyFun (a ~> (b ~> (c ~> d))) (f a ~> (f b ~> (f c ~> f d))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith4Sym0 :: TyFun (a ~> (b ~> (c ~> (d ~> e)))) ([a] ~> ([b] ~> ([c] ~> ([d] ~> [e])))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (For_Sym1 a6989586621680492390 :: TyFun (a ~> f b) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForM_Sym1 a6989586621680492370 :: TyFun (a ~> m b) (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForMSym1 a6989586621680823019 :: TyFun (a ~> m b) (m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ForSym1 a6989586621680823030 :: TyFun (a ~> f b) (f (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((>=>@#@$$) a6989586621681292383 :: TyFun (b ~> m c) (a ~> m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings ((<=<@#@$$) a6989586621681292371 :: TyFun (a ~> m b) (a ~> m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Unzip6Sym0 :: TyFun [(a, b, c, d, e, f)] ([a], [b], [c], [d], [e], [f]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith3Sym2 a6989586621679969546 a6989586621679969547 :: TyFun [b] ([c] ~> [d]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith4Sym1 a6989586621680091215 :: TyFun [a] ([b] ~> ([c] ~> ([d] ~> [e]))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip6Sym0 :: TyFun [a] ([b] ~> ([c] ~> ([d] ~> ([e] ~> ([f] ~> [(a, b, c, d, e, f)]))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip5Sym1 a6989586621680091312 :: TyFun [b] ([c] ~> ([d] ~> ([e] ~> [(a, b, c, d, e)]))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip4Sym2 a6989586621680091335 a6989586621680091336 :: TyFun [c] ([d] ~> [(a, b, c, d)]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681292338 a6989586621681292339 :: TyFun [b] (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWithMSym2 a6989586621681292348 a6989586621681292349 :: TyFun [b] (m [c]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple4Sym2 a6989586621679304310 a6989586621679304311 :: TyFun c (d ~> (a, b, c, d)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple5Sym1 a6989586621679304373 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA2Sym2 a6989586621679559701 a6989586621679559702 :: TyFun (f b) (f c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA3Sym1 a6989586621679559633 :: TyFun (f a) (f b ~> (f c ~> f d)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM2Sym2 a6989586621679559582 a6989586621679559583 :: TyFun (m a2) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM3Sym1 a6989586621679559558 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (OnSym3 a6989586621679747423 a6989586621679747424 a6989586621679747425 :: TyFun a c -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldrMSym2 a6989586621680492425 a6989586621680492426 :: TyFun (t a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (FoldlMSym2 a6989586621680492407 a6989586621680492408 :: TyFun (t a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumRSym2 a6989586621680822996 a6989586621680822997 :: TyFun (t b) (a, t c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MapAccumLSym2 a6989586621680823006 a6989586621680823007 :: TyFun (t b) (a, t c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (MzipWithSym2 a6989586621681150525 a6989586621681150526 :: TyFun (m b) (m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621681292383 >=>@#@$$$ a6989586621681292384 :: TyFun a (m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (a6989586621681292371 <=<@#@$$$ a6989586621681292372 :: TyFun a (m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym0 :: TyFun (a ~> (b ~> (c ~> (d ~> (e ~> f))))) ([a] ~> ([b] ~> ([c] ~> ([d] ~> ([e] ~> [f]))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Unzip7Sym0 :: TyFun [(a, b, c, d, e, f, g)] ([a], [b], [c], [d], [e], [f], [g]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith3Sym3 a6989586621679969546 a6989586621679969547 a6989586621679969548 :: TyFun [c] [d] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym1 a6989586621680091192 :: TyFun [a] ([b] ~> ([c] ~> ([d] ~> ([e] ~> [f])))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith4Sym2 a6989586621680091215 a6989586621680091216 :: TyFun [b] ([c] ~> ([d] ~> [e])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip7Sym0 :: TyFun [a] ([b] ~> ([c] ~> ([d] ~> ([e] ~> ([f] ~> ([g] ~> [(a, b, c, d, e, f, g)])))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip6Sym1 a6989586621680091284 :: TyFun [b] ([c] ~> ([d] ~> ([e] ~> ([f] ~> [(a, b, c, d, e, f)])))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip5Sym2 a6989586621680091312 a6989586621680091313 :: TyFun [c] ([d] ~> ([e] ~> [(a, b, c, d, e)])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip4Sym3 a6989586621680091335 a6989586621680091336 a6989586621680091337 :: TyFun [d] [(a, b, c, d)] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple4Sym3 a6989586621679304310 a6989586621679304311 a6989586621679304312 :: TyFun d (a, b, c, d) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple5Sym2 a6989586621679304373 a6989586621679304374 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple6Sym1 a6989586621679304455 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA3Sym2 a6989586621679559633 a6989586621679559634 :: TyFun (f b) (f c ~> f d) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM3Sym2 a6989586621679559558 a6989586621679559559 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM4Sym1 a6989586621679559527 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym0 :: TyFun (a ~> (b ~> (c ~> (d ~> (e ~> (f ~> g)))))) ([a] ~> ([b] ~> ([c] ~> ([d] ~> ([e] ~> ([f] ~> [g])))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym1 a6989586621680091165 :: TyFun [a] ([b] ~> ([c] ~> ([d] ~> ([e] ~> ([f] ~> [g]))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym2 a6989586621680091192 a6989586621680091193 :: TyFun [b] ([c] ~> ([d] ~> ([e] ~> [f]))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith4Sym3 a6989586621680091215 a6989586621680091216 a6989586621680091217 :: TyFun [c] ([d] ~> [e]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip7Sym1 a6989586621680091251 :: TyFun [b] ([c] ~> ([d] ~> ([e] ~> ([f] ~> ([g] ~> [(a, b, c, d, e, f, g)]))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip6Sym2 a6989586621680091284 a6989586621680091285 :: TyFun [c] ([d] ~> ([e] ~> ([f] ~> [(a, b, c, d, e, f)]))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip5Sym3 a6989586621680091312 a6989586621680091313 a6989586621680091314 :: TyFun [d] ([e] ~> [(a, b, c, d, e)]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple5Sym3 a6989586621679304373 a6989586621679304374 a6989586621679304375 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple6Sym2 a6989586621679304455 a6989586621679304456 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple7Sym1 a6989586621679304558 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftA3Sym3 a6989586621679559633 a6989586621679559634 a6989586621679559635 :: TyFun (f c) (f d) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM3Sym3 a6989586621679559558 a6989586621679559559 a6989586621679559560 :: TyFun (m a3) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM4Sym2 a6989586621679559527 a6989586621679559528 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM5Sym1 a6989586621679559489 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym0 :: TyFun (a ~> (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> h))))))) ([a] ~> ([b] ~> ([c] ~> ([d] ~> ([e] ~> ([f] ~> ([g] ~> [h]))))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym1 a6989586621680091134 :: TyFun [a] ([b] ~> ([c] ~> ([d] ~> ([e] ~> ([f] ~> ([g] ~> [h])))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym2 a6989586621680091165 a6989586621680091166 :: TyFun [b] ([c] ~> ([d] ~> ([e] ~> ([f] ~> [g])))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym3 a6989586621680091192 a6989586621680091193 a6989586621680091194 :: TyFun [c] ([d] ~> ([e] ~> [f])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith4Sym4 a6989586621680091215 a6989586621680091216 a6989586621680091217 a6989586621680091218 :: TyFun [d] [e] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip7Sym2 a6989586621680091251 a6989586621680091252 :: TyFun [c] ([d] ~> ([e] ~> ([f] ~> ([g] ~> [(a, b, c, d, e, f, g)])))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip6Sym3 a6989586621680091284 a6989586621680091285 a6989586621680091286 :: TyFun [d] ([e] ~> ([f] ~> [(a, b, c, d, e, f)])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip5Sym4 a6989586621680091312 a6989586621680091313 a6989586621680091314 a6989586621680091315 :: TyFun [e] [(a, b, c, d, e)] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple5Sym4 a6989586621679304373 a6989586621679304374 a6989586621679304375 a6989586621679304376 :: TyFun e (a, b, c, d, e) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple6Sym3 a6989586621679304455 a6989586621679304456 a6989586621679304457 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple7Sym2 a6989586621679304558 a6989586621679304559 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM4Sym3 a6989586621679559527 a6989586621679559528 a6989586621679559529 :: TyFun (m a3) (m a4 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM5Sym2 a6989586621679559489 a6989586621679559490 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym2 a6989586621680091134 a6989586621680091135 :: TyFun [b] ([c] ~> ([d] ~> ([e] ~> ([f] ~> ([g] ~> [h]))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym3 a6989586621680091165 a6989586621680091166 a6989586621680091167 :: TyFun [c] ([d] ~> ([e] ~> ([f] ~> [g]))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym4 a6989586621680091192 a6989586621680091193 a6989586621680091194 a6989586621680091195 :: TyFun [d] ([e] ~> [f]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip7Sym3 a6989586621680091251 a6989586621680091252 a6989586621680091253 :: TyFun [d] ([e] ~> ([f] ~> ([g] ~> [(a, b, c, d, e, f, g)]))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip6Sym4 a6989586621680091284 a6989586621680091285 a6989586621680091286 a6989586621680091287 :: TyFun [e] ([f] ~> [(a, b, c, d, e, f)]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple6Sym4 a6989586621679304455 a6989586621679304456 a6989586621679304457 a6989586621679304458 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple7Sym3 a6989586621679304558 a6989586621679304559 a6989586621679304560 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM4Sym4 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530 :: TyFun (m a4) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM5Sym3 a6989586621679559489 a6989586621679559490 a6989586621679559491 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym3 a6989586621680091134 a6989586621680091135 a6989586621680091136 :: TyFun [c] ([d] ~> ([e] ~> ([f] ~> ([g] ~> [h])))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym4 a6989586621680091165 a6989586621680091166 a6989586621680091167 a6989586621680091168 :: TyFun [d] ([e] ~> ([f] ~> [g])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith5Sym5 a6989586621680091192 a6989586621680091193 a6989586621680091194 a6989586621680091195 a6989586621680091196 :: TyFun [e] [f] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip7Sym4 a6989586621680091251 a6989586621680091252 a6989586621680091253 a6989586621680091254 :: TyFun [e] ([f] ~> ([g] ~> [(a, b, c, d, e, f, g)])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip6Sym5 a6989586621680091284 a6989586621680091285 a6989586621680091286 a6989586621680091287 a6989586621680091288 :: TyFun [f] [(a, b, c, d, e, f)] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple6Sym5 a6989586621679304455 a6989586621679304456 a6989586621679304457 a6989586621679304458 a6989586621679304459 :: TyFun f (a, b, c, d, e, f) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple7Sym4 a6989586621679304558 a6989586621679304559 a6989586621679304560 a6989586621679304561 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM5Sym4 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 :: TyFun (m a4) (m a5 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym4 a6989586621680091134 a6989586621680091135 a6989586621680091136 a6989586621680091137 :: TyFun [d] ([e] ~> ([f] ~> ([g] ~> [h]))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym5 a6989586621680091165 a6989586621680091166 a6989586621680091167 a6989586621680091168 a6989586621680091169 :: TyFun [e] ([f] ~> [g]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip7Sym5 a6989586621680091251 a6989586621680091252 a6989586621680091253 a6989586621680091254 a6989586621680091255 :: TyFun [f] ([g] ~> [(a, b, c, d, e, f, g)]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple7Sym5 a6989586621679304558 a6989586621679304559 a6989586621679304560 a6989586621679304561 a6989586621679304562 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (LiftM5Sym5 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493 :: TyFun (m a5) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym5 a6989586621680091134 a6989586621680091135 a6989586621680091136 a6989586621680091137 a6989586621680091138 :: TyFun [e] ([f] ~> ([g] ~> [h])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith6Sym6 a6989586621680091165 a6989586621680091166 a6989586621680091167 a6989586621680091168 a6989586621680091169 a6989586621680091170 :: TyFun [f] [g] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Zip7Sym6 a6989586621680091251 a6989586621680091252 a6989586621680091253 a6989586621680091254 a6989586621680091255 a6989586621680091256 :: TyFun [g] [(a, b, c, d, e, f, g)] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (Tuple7Sym6 a6989586621679304558 a6989586621679304559 a6989586621679304560 a6989586621679304561 a6989586621679304562 a6989586621679304563 :: TyFun g (a, b, c, d, e, f, g) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym6 a6989586621680091134 a6989586621680091135 a6989586621680091136 a6989586621680091137 a6989586621680091138 a6989586621680091139 :: TyFun [f] ([g] ~> [h]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #
SuppressUnusedWarnings (ZipWith7Sym7 a6989586621680091134 a6989586621680091135 a6989586621680091136 a6989586621680091137 a6989586621680091138 a6989586621680091139 a6989586621680091140 :: TyFun [g] [h] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () Source #