singletons-2.4.1: A framework for generating singleton types

Copyright(C) 2013 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (rae@cs.brynmawr.edu)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Singletons

Contents

Description

This module exports the basic definitions to use singletons. For routine use, consider importing Prelude, which exports constructors for singletons based on types in the Prelude.

You may also want to read the original papers presenting this library, available at http://cs.brynmawr.edu/~rae/papers/2012/singletons/paper.pdf and http://cs.brynmawr.edu/~rae/papers/2014/promotion/promotion.pdf.

Synopsis

Main singleton definitions

data family Sing (a :: k) Source #

The singleton kind-indexed data family.

Instances
SDecide k => TestCoercion (Sing :: k -> *) # 
Instance details

Defined in Data.Singletons.Decide

Methods

testCoercion :: Sing a -> Sing b -> Maybe (Coercion a b) #

SDecide k => TestEquality (Sing :: k -> *) # 
Instance details

Defined in Data.Singletons.Decide

Methods

testEquality :: Sing a -> Sing b -> Maybe (a :~: b) #

Show (SSymbol s) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SSymbol s -> ShowS #

show :: SSymbol s -> String #

showList :: [SSymbol s] -> ShowS #

Show (SNat n) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SNat n -> ShowS #

show :: SNat n -> String #

showList :: [SNat n] -> ShowS #

Eq (Sing a) # 
Instance details

Defined in Data.Singletons.TypeRepStar

Methods

(==) :: Sing a -> Sing a -> Bool #

(/=) :: Sing a -> Sing a -> Bool #

Ord (Sing a) # 
Instance details

Defined in Data.Singletons.TypeRepStar

Methods

compare :: Sing a -> Sing a -> Ordering #

(<) :: Sing a -> Sing a -> Bool #

(<=) :: Sing a -> Sing a -> Bool #

(>) :: Sing a -> Sing a -> Bool #

(>=) :: Sing a -> Sing a -> Bool #

max :: Sing a -> Sing a -> Sing a #

min :: Sing a -> Sing a -> Sing a #

Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing [a]) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing a => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

Show (Sing a) # 
Instance details

Defined in Data.Singletons.TypeRepStar

Methods

showsPrec :: Int -> Sing a -> ShowS #

show :: Sing a -> String #

showList :: [Sing a] -> ShowS #

Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing [a]) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

data Sing (z :: Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Bool) where
data Sing (z :: Ordering) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Ordering) where
data Sing (a :: Type) Source # 
Instance details

Defined in Data.Singletons.TypeRepStar

data Sing (a :: Type) = STypeRep (TypeRep a)
data Sing (n :: Nat) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Nat) where
data Sing (n :: Symbol) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) where
data Sing (z :: ()) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: ()) where
data Sing (z :: Void) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Void)
data Sing (z :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: [a]) where
data Sing (z :: Maybe a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Maybe a) where
data Sing (z :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: NonEmpty a) where
data Sing (z :: Either a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Either a b) where
data Sing (z :: (a, b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b)) where
data Sing (f :: k1 ~> k2) Source # 
Instance details

Defined in Data.Singletons.Internal

data Sing (f :: k1 ~> k2) = SLambda {}
data Sing (z :: (a, b, c)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c)) where
data Sing (z :: (a, b, c, d)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c, d)) where
data Sing (z :: (a, b, c, d, e)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c, d, e)) where
data Sing (z :: (a, b, c, d, e, f)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c, d, e, f)) where
data Sing (z :: (a, b, c, d, e, f, g)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c, d, e, f, g)) where

(@@) :: forall (f :: k1 ~> k2) (t :: k1). Sing f -> Sing t -> Sing (f @@ t) infixl 9 Source #

An infix synonym for applySing

class SingI (a :: k) where Source #

A SingI constraint is essentially an implicitly-passed singleton. If you need to satisfy this constraint with an explicit singleton, please see withSingI or the Sing pattern synonym.

Minimal complete definition

sing

Methods

sing :: Sing a Source #

Produce the singleton explicitly. You will likely need the ScopedTypeVariables extension to use this method the way you want.

Instances
SingI False Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing False Source #

SingI True Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing True Source #

SingI LT Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing LT Source #

SingI EQ Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing EQ Source #

SingI GT Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing GT Source #

Typeable a => SingI (a :: *) Source # 
Instance details

Defined in Data.Singletons.TypeRepStar

Methods

sing :: Sing a Source #

KnownNat n => SingI (n :: Nat) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Methods

sing :: Sing n Source #

KnownSymbol n => SingI (n :: Symbol) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Methods

sing :: Sing n Source #

SingI () Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing () Source #

SingI ([] :: [k]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing [] Source #

SingI (Nothing :: Maybe a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SingI n => SingI (Just n :: Maybe a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing (Just n) Source #

(SingI n1, SingI n2) => SingI (n1 ': n2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing (n1 ': n2) Source #

(SingI n1, SingI n2) => SingI (n1 :| n2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing (n1 :| n2) Source #

SingI n => SingI (Left n :: Either a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing (Left n) Source #

SingI n => SingI (Right n :: Either a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing (Right n) Source #

(SingI n1, SingI n2) => SingI ((,) n1 n2 :: (a, b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing (n1, n2) Source #

(SingI n1, SingI n2, SingI n3) => SingI ((,,) n1 n2 n3 :: (a, b, c)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing (n1, n2, n3) Source #

(SingI n1, SingI n2, SingI n3, SingI n4) => SingI ((,,,) n1 n2 n3 n4 :: (a, b, c, d)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing (n1, n2, n3, n4) Source #

(SingI n1, SingI n2, SingI n3, SingI n4, SingI n5) => SingI ((,,,,) n1 n2 n3 n4 n5 :: (a, b, c, d, e)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing (n1, n2, n3, n4, n5) Source #

(SingI n1, SingI n2, SingI n3, SingI n4, SingI n5, SingI n6) => SingI ((,,,,,) n1 n2 n3 n4 n5 n6 :: (a, b, c, d, e, f)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing (n1, n2, n3, n4, n5, n6) Source #

(SingI n1, SingI n2, SingI n3, SingI n4, SingI n5, SingI n6, SingI n7) => SingI ((,,,,,,) n1 n2 n3 n4 n5 n6 n7 :: (a, b, c, d, e, f, g)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing (n1, n2, n3, n4, n5, n6, n7) Source #

class SingKind k where Source #

The SingKind class is a kind class. It classifies all kinds for which singletons are defined. The class supports converting between a singleton type and the base (unrefined) type which it is built from.

For a SingKind instance to be well behaved, it should obey the following laws:

toSing . fromSingSomeSing
(\x -> withSomeSing x fromSing) ≡ id

The final law can also be expressed in terms of the FromSing pattern synonym:

(\(FromSing sing) -> FromSing sing) ≡ id

Minimal complete definition

fromSing, toSing

Associated Types

type Demote k = (r :: *) | r -> k Source #

Get a base type from the promoted kind. For example, Demote Bool will be the type Bool. Rarely, the type and kind do not match. For example, Demote Nat is Natural.

Methods

fromSing :: Sing (a :: k) -> Demote k Source #

Convert a singleton to its unrefined version.

toSing :: Demote k -> SomeSing k Source #

Convert an unrefined type to an existentially-quantified singleton type.

Instances
SingKind Bool Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote Bool = (r :: *) Source #

SingKind Ordering Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote Ordering = (r :: *) Source #

SingKind Type Source # 
Instance details

Defined in Data.Singletons.TypeRepStar

Associated Types

type Demote Type = (r :: *) Source #

SingKind Nat Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Associated Types

type Demote Nat = (r :: *) Source #

SingKind Symbol Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Associated Types

type Demote Symbol = (r :: *) Source #

SingKind () Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote () = (r :: *) Source #

Methods

fromSing :: Sing a -> Demote () Source #

toSing :: Demote () -> SomeSing () Source #

SingKind Void Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote Void = (r :: *) Source #

SingKind a => SingKind [a] Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote [a] = (r :: *) Source #

Methods

fromSing :: Sing a0 -> Demote [a] Source #

toSing :: Demote [a] -> SomeSing [a] Source #

SingKind a => SingKind (Maybe a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote (Maybe a) = (r :: *) Source #

Methods

fromSing :: Sing a0 -> Demote (Maybe a) Source #

toSing :: Demote (Maybe a) -> SomeSing (Maybe a) Source #

SingKind a => SingKind (NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote (NonEmpty a) = (r :: *) Source #

(SingKind a, SingKind b) => SingKind (Either a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote (Either a b) = (r :: *) Source #

Methods

fromSing :: Sing a0 -> Demote (Either a b) Source #

toSing :: Demote (Either a b) -> SomeSing (Either a b) Source #

(SingKind a, SingKind b) => SingKind (a, b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote (a, b) = (r :: *) Source #

Methods

fromSing :: Sing a0 -> Demote (a, b) Source #

toSing :: Demote (a, b) -> SomeSing (a, b) Source #

(SingKind k1, SingKind k2) => SingKind (k1 ~> k2) Source #

Note that this instance's toSing implementation crucially relies on the fact that the SingKind instances for k1 and k2 both satisfy the SingKind laws. If they don't, toSing might produce strange results!

Instance details

Defined in Data.Singletons.Internal

Associated Types

type Demote (k1 ~> k2) = (r :: *) Source #

Methods

fromSing :: Sing a -> Demote (k1 ~> k2) Source #

toSing :: Demote (k1 ~> k2) -> SomeSing (k1 ~> k2) Source #

(SingKind a, SingKind b, SingKind c) => SingKind (a, b, c) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote (a, b, c) = (r :: *) Source #

Methods

fromSing :: Sing a0 -> Demote (a, b, c) Source #

toSing :: Demote (a, b, c) -> SomeSing (a, b, c) Source #

(SingKind a, SingKind b, SingKind c, SingKind d) => SingKind (a, b, c, d) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote (a, b, c, d) = (r :: *) Source #

Methods

fromSing :: Sing a0 -> Demote (a, b, c, d) Source #

toSing :: Demote (a, b, c, d) -> SomeSing (a, b, c, d) Source #

(SingKind a, SingKind b, SingKind c, SingKind d, SingKind e) => SingKind (a, b, c, d, e) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote (a, b, c, d, e) = (r :: *) Source #

Methods

fromSing :: Sing a0 -> Demote (a, b, c, d, e) Source #

toSing :: Demote (a, b, c, d, e) -> SomeSing (a, b, c, d, e) Source #

(SingKind a, SingKind b, SingKind c, SingKind d, SingKind e, SingKind f) => SingKind (a, b, c, d, e, f) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote (a, b, c, d, e, f) = (r :: *) Source #

Methods

fromSing :: Sing a0 -> Demote (a, b, c, d, e, f) Source #

toSing :: Demote (a, b, c, d, e, f) -> SomeSing (a, b, c, d, e, f) Source #

(SingKind a, SingKind b, SingKind c, SingKind d, SingKind e, SingKind f, SingKind g) => SingKind (a, b, c, d, e, f, g) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Associated Types

type Demote (a, b, c, d, e, f, g) = (r :: *) Source #

Methods

fromSing :: Sing a0 -> Demote (a, b, c, d, e, f, g) Source #

toSing :: Demote (a, b, c, d, e, f, g) -> SomeSing (a, b, c, d, e, f, g) Source #

Working with singletons

type KindOf (a :: k) = k Source #

Convenient synonym to refer to the kind of a type variable: type KindOf (a :: k) = k

type SameKind (a :: k) (b :: k) = (() :: Constraint) Source #

Force GHC to unify the kinds of a and b. Note that SameKind a b is different from KindOf a ~ KindOf b in that the former makes the kinds unify immediately, whereas the latter is a proposition that GHC considers as possibly false.

data SingInstance (a :: k) where Source #

A SingInstance wraps up a SingI instance for explicit handling.

Constructors

SingInstance :: SingI a => SingInstance a 

data SomeSing k where Source #

An existentially-quantified singleton. This type is useful when you want a singleton type, but there is no way of knowing, at compile-time, what the type index will be. To make use of this type, you will generally have to use a pattern-match:

foo :: Bool -> ...
foo b = case toSing b of
          SomeSing sb -> {- fancy dependently-typed code with sb -}

An example like the one above may be easier to write using withSomeSing.

Constructors

SomeSing :: Sing (a :: k) -> SomeSing k 
Instances
SBounded k => Bounded (SomeSing k) # 
Instance details

Defined in Data.Singletons

(SEnum k, SingKind k) => Enum (SomeSing k) # 
Instance details

Defined in Data.Singletons

SEq k => Eq (SomeSing k) # 
Instance details

Defined in Data.Singletons

Methods

(==) :: SomeSing k -> SomeSing k -> Bool #

(/=) :: SomeSing k -> SomeSing k -> Bool #

SNum k => Num (SomeSing k) # 
Instance details

Defined in Data.Singletons

SOrd k => Ord (SomeSing k) # 
Instance details

Defined in Data.Singletons

Methods

compare :: SomeSing k -> SomeSing k -> Ordering #

(<) :: SomeSing k -> SomeSing k -> Bool #

(<=) :: SomeSing k -> SomeSing k -> Bool #

(>) :: SomeSing k -> SomeSing k -> Bool #

(>=) :: SomeSing k -> SomeSing k -> Bool #

max :: SomeSing k -> SomeSing k -> SomeSing k #

min :: SomeSing k -> SomeSing k -> SomeSing k #

ShowSing k => Show (SomeSing k) # 
Instance details

Defined in Data.Singletons

Methods

showsPrec :: Int -> SomeSing k -> ShowS #

show :: SomeSing k -> String #

showList :: [SomeSing k] -> ShowS #

singInstance :: forall (a :: k). Sing a -> SingInstance a Source #

Get an implicit singleton (a SingI instance) from an explicit one.

pattern Sing :: forall (a :: k). () => SingI a => Sing a Source #

An explicitly bidirectional pattern synonym for implicit singletons.

As an expression: Constructs a singleton Sing a given a implicit singleton constraint SingI a.

As a pattern: Matches on an explicit Sing a witness bringing an implicit SingI a constraint into scope.

withSingI :: Sing n -> (SingI n => r) -> r Source #

Convenience function for creating a context with an implicit singleton available.

withSomeSing Source #

Arguments

:: SingKind k 
=> Demote k

The original datatype

-> (forall (a :: k). Sing a -> r)

Function expecting a singleton

-> r 

Convert a normal datatype (like Bool) to a singleton for that datatype, passing it into a continuation.

pattern FromSing :: SingKind k => forall (a :: k). Sing a -> Demote k Source #

An explicitly bidirectional pattern synonym for going between a singleton and the corresponding demoted term.

As an expression: this takes a singleton to its demoted (base) type.

>>> :t FromSing \@Bool
FromSing \@Bool :: Sing a -> Bool
>>> FromSing SFalse
False

As a pattern: It extracts a singleton from its demoted (base) type.

singAnd :: Bool -> Bool -> SomeSing Bool
singAnd (FromSing singBool1) (FromSing singBool2) =
  SomeSing (singBool1 %&& singBool2)

instead of writing it with withSomeSing:

singAnd bool1 bool2 =
  withSomeSing bool1 $ singBool1 ->
    withSomeSing bool2 $ singBool2 ->
      SomeSing (singBool1 %&& singBool2)

singByProxy :: SingI a => proxy a -> Sing a Source #

Allows creation of a singleton when a proxy is at hand.

demote :: forall a. (SingKind (KindOf a), SingI a) => Demote (KindOf a) Source #

A convenience function that takes a type as input and demotes it to its value-level counterpart as output. This uses SingKind and SingI behind the scenes, so demote = fromSing sing.

This function is intended to be used with TypeApplications. For example:

>>> demote @True
True
>>> demote @(Nothing :: Maybe Ordering)
Nothing

singByProxy# :: SingI a => Proxy# a -> Sing a Source #

Allows creation of a singleton when a proxy# is at hand.

withSing :: SingI a => (Sing a -> b) -> b Source #

A convenience function useful when we need to name a singleton value multiple times. Without this function, each use of sing could potentially refer to a different singleton, and one has to use type signatures (often with ScopedTypeVariables) to ensure that they are the same.

singThat :: forall (a :: k). (SingKind k, SingI a) => (Demote k -> Bool) -> Maybe (Sing a) Source #

A convenience function that names a singleton satisfying a certain property. If the singleton does not satisfy the property, then the function returns Nothing. The property is expressed in terms of the underlying representation of the singleton.

Defunctionalization

data TyFun :: * -> * -> * Source #

Representation of the kind of a type-level function. The difference between term-level arrows and this type-level arrow is that at the term level applications can be unsaturated, whereas at the type level all applications have to be fully saturated.

Instances
(SingKind k1, SingKind k2) => SingKind (k1 ~> k2) Source #

Note that this instance's toSing implementation crucially relies on the fact that the SingKind instances for k1 and k2 both satisfy the SingKind laws. If they don't, toSing might produce strange results!

Instance details

Defined in Data.Singletons.Internal

Associated Types

type Demote (k1 ~> k2) = (r :: *) Source #

Methods

fromSing :: Sing a -> Demote (k1 ~> k2) Source #

toSing :: Demote (k1 ~> k2) -> SomeSing (k1 ~> k2) Source #

SuppressUnusedWarnings ShowParenSym2 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Bool

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

Defined in Data.Singletons.Prelude.Bool

SuppressUnusedWarnings ShowParenSym1 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ThenCmpSym1 Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

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

Defined in Data.Singletons

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

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings DivSym1 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings ModSym1 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings QuotSym1 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings RemSym1 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings QuotRemSym1 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings DivModSym1 Source # 
Instance details

Defined in Data.Singletons.TypeLits

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

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings ShowCharSym1 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowStringSym1 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings NotSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

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

Defined in Data.Singletons.Prelude.Bool

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

Defined in Data.Singletons.Prelude.Bool

SuppressUnusedWarnings ShowParenSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings AndSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings OrSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings UnlinesSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings UnwordsSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings ThenCmpSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

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

Defined in Data.Singletons

SuppressUnusedWarnings DemoteSym0 Source # 
Instance details

Defined in Data.Singletons

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

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings DivSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings ModSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings QuotSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings RemSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings QuotRemSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings DivModSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings KnownNatSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings Log2Sym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings ShowCharSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowStringSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings KnownSymbolSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings ShowCommaSpaceSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowSpaceSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings XorSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (NubBySym1 :: (TyFun a6989586621679472919 (TyFun a6989586621679472919 Bool -> Type) -> Type) -> TyFun [a6989586621679472919] [a6989586621679472919] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (PartitionSym1 :: (TyFun a6989586621679472928 Bool -> Type) -> TyFun [a6989586621679472928] ([a6989586621679472928], [a6989586621679472928]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (BreakSym1 :: (TyFun a6989586621679472940 Bool -> Type) -> TyFun [a6989586621679472940] ([a6989586621679472940], [a6989586621679472940]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (SpanSym1 :: (TyFun a6989586621679472941 Bool -> Type) -> TyFun [a6989586621679472941] ([a6989586621679472941], [a6989586621679472941]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (GroupBySym1 :: (TyFun a6989586621679472931 (TyFun a6989586621679472931 Bool -> Type) -> Type) -> TyFun [a6989586621679472931] [[a6989586621679472931]] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679472943 Bool -> Type) -> TyFun [a6989586621679472943] [a6989586621679472943] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679472944 Bool -> Type) -> TyFun [a6989586621679472944] [a6989586621679472944] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (FilterSym1 :: (TyFun a6989586621679472952 Bool -> Type) -> TyFun [a6989586621679472952] [a6989586621679472952] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (FindSym1 :: (TyFun a6989586621679472951 Bool -> Type) -> TyFun [a6989586621679472951] (Maybe a6989586621679472951) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (InsertBySym1 :: (TyFun a6989586621679472955 (TyFun a6989586621679472955 Ordering -> Type) -> Type) -> TyFun a6989586621679472955 (TyFun [a6989586621679472955] [a6989586621679472955] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (InsertBySym2 :: (TyFun a6989586621679472955 (TyFun a6989586621679472955 Ordering -> Type) -> Type) -> a6989586621679472955 -> TyFun [a6989586621679472955] [a6989586621679472955] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (SortBySym1 :: (TyFun a6989586621679472956 (TyFun a6989586621679472956 Ordering -> Type) -> Type) -> TyFun [a6989586621679472956] [a6989586621679472956] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (DeleteBySym1 :: (TyFun a6989586621679472958 (TyFun a6989586621679472958 Bool -> Type) -> Type) -> TyFun a6989586621679472958 (TyFun [a6989586621679472958] [a6989586621679472958] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (DeleteBySym2 :: (TyFun a6989586621679472958 (TyFun a6989586621679472958 Bool -> Type) -> Type) -> a6989586621679472958 -> TyFun [a6989586621679472958] [a6989586621679472958] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (DeleteFirstsBySym2 :: (TyFun a6989586621679472957 (TyFun a6989586621679472957 Bool -> Type) -> Type) -> [a6989586621679472957] -> TyFun [a6989586621679472957] [a6989586621679472957] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (DeleteFirstsBySym1 :: (TyFun a6989586621679472957 (TyFun a6989586621679472957 Bool -> Type) -> Type) -> TyFun [a6989586621679472957] (TyFun [a6989586621679472957] [a6989586621679472957] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (UnionBySym2 :: (TyFun a6989586621679472917 (TyFun a6989586621679472917 Bool -> Type) -> Type) -> [a6989586621679472917] -> TyFun [a6989586621679472917] [a6989586621679472917] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (UnionBySym1 :: (TyFun a6989586621679472917 (TyFun a6989586621679472917 Bool -> Type) -> Type) -> TyFun [a6989586621679472917] (TyFun [a6989586621679472917] [a6989586621679472917] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (FindIndicesSym1 :: (TyFun a6989586621679472947 Bool -> Type) -> TyFun [a6989586621679472947] [Nat] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679473015 (TyFun a6989586621679473015 a6989586621679473015 -> Type) -> Type) -> TyFun [a6989586621679473015] [a6989586621679473015] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679473018 (TyFun a6989586621679473018 a6989586621679473018 -> Type) -> Type) -> TyFun [a6989586621679473018] [a6989586621679473018] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (AnySym1 :: (TyFun a6989586621679473021 Bool -> Type) -> TyFun [a6989586621679473021] Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (IntersectBySym2 :: (TyFun a6989586621679472945 (TyFun a6989586621679472945 Bool -> Type) -> Type) -> [a6989586621679472945] -> TyFun [a6989586621679472945] [a6989586621679472945] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (IntersectBySym1 :: (TyFun a6989586621679472945 (TyFun a6989586621679472945 Bool -> Type) -> Type) -> TyFun [a6989586621679472945] (TyFun [a6989586621679472945] [a6989586621679472945] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (AllSym1 :: (TyFun a6989586621679473022 Bool -> Type) -> TyFun [a6989586621679473022] Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (Foldr1Sym1 :: (TyFun a6989586621679473026 (TyFun a6989586621679473026 a6989586621679473026 -> Type) -> Type) -> TyFun [a6989586621679473026] a6989586621679473026 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (Foldl1Sym1 :: (TyFun a6989586621679473028 (TyFun a6989586621679473028 a6989586621679473028 -> Type) -> Type) -> TyFun [a6989586621679473028] a6989586621679473028 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (MaximumBySym1 :: (TyFun a6989586621679472954 (TyFun a6989586621679472954 Ordering -> Type) -> Type) -> TyFun [a6989586621679472954] a6989586621679472954 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (MinimumBySym1 :: (TyFun a6989586621679472953 (TyFun a6989586621679472953 Ordering -> Type) -> Type) -> TyFun [a6989586621679472953] a6989586621679472953 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (DropWhileEndSym1 :: (TyFun a6989586621679472942 Bool -> Type) -> TyFun [a6989586621679472942] [a6989586621679472942] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ShowListWithSym2 :: (TyFun a6989586621679729864 (TyFun Symbol Symbol -> Type) -> Type) -> [a6989586621679729864] -> TyFun Symbol Symbol -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (ShowListWithSym1 :: (TyFun a6989586621679729864 (TyFun Symbol Symbol -> Type) -> Type) -> TyFun [a6989586621679729864] (TyFun Symbol Symbol -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (NubBySym1 :: (TyFun a6989586621679833967 (TyFun a6989586621679833967 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833967) (NonEmpty a6989586621679833967) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupBySym1 :: (TyFun a6989586621679833988 (TyFun a6989586621679833988 Bool -> Type) -> Type) -> TyFun [a6989586621679833988] [NonEmpty a6989586621679833988] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupBy1Sym1 :: (TyFun a6989586621679833982 (TyFun a6989586621679833982 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833982) (NonEmpty (NonEmpty a6989586621679833982)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679833995 Bool -> Type) -> TyFun (NonEmpty a6989586621679833995) [a6989586621679833995] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679833994 Bool -> Type) -> TyFun (NonEmpty a6989586621679833994) [a6989586621679833994] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (FilterSym1 :: (TyFun a6989586621679833991 Bool -> Type) -> TyFun (NonEmpty a6989586621679833991) [a6989586621679833991] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortBySym1 :: (TyFun a6989586621679833965 (TyFun a6989586621679833965 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833965) (NonEmpty a6989586621679833965) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679834002 (TyFun a6989586621679834002 a6989586621679834002 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679834002) (NonEmpty a6989586621679834002) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679834001 (TyFun a6989586621679834001 a6989586621679834001 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679834001) (NonEmpty a6989586621679834001) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UntilSym2 :: (TyFun a6989586621680044097 Bool -> Type) -> (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> TyFun a6989586621680044097 a6989586621680044097 -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.Base

SuppressUnusedWarnings (UntilSym1 :: (TyFun a6989586621680044097 Bool -> Type) -> TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (UnionSym1 :: [a6989586621679472916] -> TyFun [a6989586621679472916] [a6989586621679472916] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (IsPrefixOfSym1 :: [a6989586621679473004] -> TyFun [a6989586621679473004] Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (IsInfixOfSym1 :: [a6989586621679473002] -> TyFun [a6989586621679473002] Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (IntersectSym1 :: [a6989586621679472946] -> TyFun [a6989586621679472946] [a6989586621679472946] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (IntercalateSym1 :: [a6989586621679473035] -> TyFun [[a6989586621679473035]] [a6989586621679473035] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (IsSuffixOfSym1 :: [a6989586621679473003] -> TyFun [a6989586621679473003] Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ShowListSym1 :: [a6989586621679729880] -> TyFun Symbol Symbol -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (IsPrefixOfSym1 :: [a6989586621679833977] -> TyFun (NonEmpty a6989586621679833977) Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (StripPrefixSym1 :: [a6989586621680003314] -> TyFun [a6989586621680003314] (Maybe [a6989586621680003314]) -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (ShowsPrecSym2 :: Nat -> a6989586621679729880 -> TyFun Symbol Symbol -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun [a6989586621679472938] [a6989586621679472938] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun [a6989586621679472939] [a6989586621679472939] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun [a6989586621679472937] ([a6989586621679472937], [a6989586621679472937]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ReplicateSym1 :: Nat -> TyFun a6989586621679472923 [a6989586621679472923] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ShowsPrecSym1 :: Nat -> TyFun a6989586621679729880 (TyFun Symbol Symbol -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun (NonEmpty a6989586621679833998) [a6989586621679833998] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun (NonEmpty a6989586621679833997) [a6989586621679833997] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun (NonEmpty a6989586621679833996) ([a6989586621679833996], [a6989586621679833996]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (Bool_Sym2 :: a6989586621679308852 -> a6989586621679308852 -> TyFun Bool a6989586621679308852 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

SuppressUnusedWarnings (Bool_Sym1 :: a6989586621679308852 -> TyFun a6989586621679308852 (TyFun Bool a6989586621679308852 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

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

Defined in Data.Singletons.Prelude.Eq

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

Defined in Data.Singletons.Prelude.Eq

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

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (CompareSym1 :: a6989586621679323527 -> TyFun a6989586621679323527 Ordering -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (MinSym1 :: a6989586621679323527 -> TyFun a6989586621679323527 a6989586621679323527 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (MaxSym1 :: a6989586621679323527 -> TyFun a6989586621679323527 a6989586621679323527 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

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

Defined in Data.Singletons.Prelude.Ord

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

Defined in Data.Singletons.Prelude.Ord

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

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (FromMaybeSym1 :: a6989586621679430982 -> TyFun (Maybe a6989586621679430982) a6989586621679430982 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

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

Defined in Data.Singletons.Prelude.Num

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

Defined in Data.Singletons.Prelude.Num

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

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (SubtractSym1 :: a6989586621679442533 -> TyFun a6989586621679442533 a6989586621679442533 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (AsTypeOfSym1 :: a6989586621679448459 -> TyFun a6989586621679448459 a6989586621679448459 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (InsertSym1 :: a6989586621679472933 -> TyFun [a6989586621679472933] [a6989586621679472933] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (DeleteSym1 :: a6989586621679472960 -> TyFun [a6989586621679472960] [a6989586621679472960] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ElemIndicesSym1 :: a6989586621679472949 -> TyFun [a6989586621679472949] [Nat] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ElemIndexSym1 :: a6989586621679472950 -> TyFun [a6989586621679472950] (Maybe Nat) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (NotElemSym1 :: a6989586621679473000 -> TyFun [a6989586621679473000] Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ElemSym1 :: a6989586621679473001 -> TyFun [a6989586621679473001] Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (IntersperseSym1 :: a6989586621679473036 -> TyFun [a6989586621679473036] [a6989586621679473036] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ShowsSym1 :: a6989586621679729865 -> TyFun Symbol Symbol -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (IntersperseSym1 :: a6989586621679834000 -> TyFun (NonEmpty a6989586621679834000) (NonEmpty a6989586621679834000) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (InsertSym1 :: a6989586621679834007 -> TyFun [a6989586621679834007] (NonEmpty a6989586621679834007) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ConsSym1 :: a6989586621679834017 -> TyFun (NonEmpty a6989586621679834017) (NonEmpty a6989586621679834017) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (EnumFromThenToSym1 :: a6989586621679916796 -> TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (EnumFromThenToSym2 :: a6989586621679916796 -> a6989586621679916796 -> TyFun a6989586621679916796 [a6989586621679916796] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (EnumFromToSym1 :: a6989586621679916796 -> TyFun a6989586621679916796 [a6989586621679916796] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (SameKindSym1 :: k6989586621679027070 -> TyFun k6989586621679027070 Constraint -> *) Source # 
Instance details

Defined in Data.Singletons

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (FindSym0 :: TyFun (TyFun a6989586621679472951 Bool -> Type) (TyFun [a6989586621679472951] (Maybe a6989586621679472951) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679473015 (TyFun a6989586621679473015 a6989586621679473015 -> Type) -> Type) (TyFun [a6989586621679473015] [a6989586621679473015] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679473018 (TyFun a6989586621679473018 a6989586621679473018 -> Type) -> Type) (TyFun [a6989586621679473018] [a6989586621679473018] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (AnySym0 :: TyFun (TyFun a6989586621679473021 Bool -> Type) (TyFun [a6989586621679473021] Bool -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (AllSym0 :: TyFun (TyFun a6989586621679473022 Bool -> Type) (TyFun [a6989586621679473022] Bool -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (TyFun a6989586621679473026 (TyFun a6989586621679473026 a6989586621679473026 -> Type) -> Type) (TyFun [a6989586621679473026] a6989586621679473026 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (TyFun a6989586621679473028 (TyFun a6989586621679473028 a6989586621679473028 -> Type) -> Type) (TyFun [a6989586621679473028] a6989586621679473028 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (MaximumBySym0 :: TyFun (TyFun a6989586621679472954 (TyFun a6989586621679472954 Ordering -> Type) -> Type) (TyFun [a6989586621679472954] a6989586621679472954 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (MinimumBySym0 :: TyFun (TyFun a6989586621679472953 (TyFun a6989586621679472953 Ordering -> Type) -> Type) (TyFun [a6989586621679472953] a6989586621679472953 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (NubBySym0 :: TyFun (TyFun a6989586621679833967 (TyFun a6989586621679833967 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679833967) (NonEmpty a6989586621679833967) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (TyFun a6989586621679833982 (TyFun a6989586621679833982 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679833982) (NonEmpty (NonEmpty a6989586621679833982)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortBySym0 :: TyFun (TyFun a6989586621679833965 (TyFun a6989586621679833965 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679833965) (NonEmpty a6989586621679833965) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679834002 (TyFun a6989586621679834002 a6989586621679834002 -> Type) -> Type) (TyFun (NonEmpty a6989586621679834002) (NonEmpty a6989586621679834002) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679834001 (TyFun a6989586621679834001 a6989586621679834001 -> Type) -> Type) (TyFun (NonEmpty a6989586621679834001) (NonEmpty a6989586621679834001) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UntilSym0 :: TyFun (TyFun a6989586621680044097 Bool -> Type) (TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.Base

SuppressUnusedWarnings (ConcatSym0 :: TyFun [[a6989586621679473025]] [a6989586621679473025] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (TransposeSym0 :: TyFun [[a6989586621679472922]] [[a6989586621679472922]] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (CatMaybesSym0 :: TyFun [Maybe a6989586621679430979] [a6989586621679430979] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a6989586621679430980] (Maybe a6989586621679430980) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (LengthSym0 :: TyFun [a6989586621679472924] Nat -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ProductSym0 :: TyFun [a6989586621679472925] a6989586621679472925 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (SumSym0 :: TyFun [a6989586621679472926] a6989586621679472926 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621679472936] [[a6989586621679472936]] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (SortSym0 :: TyFun [a6989586621679472932] [a6989586621679472932] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (UnionSym0 :: TyFun [a6989586621679472916] (TyFun [a6989586621679472916] [a6989586621679472916] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (NubSym0 :: TyFun [a6989586621679472920] [a6989586621679472920] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621679473005] [[a6989586621679473005]] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621679473006] [[a6989586621679473006]] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (IntersectSym0 :: TyFun [a6989586621679472946] (TyFun [a6989586621679472946] [a6989586621679472946] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (MaximumSym0 :: TyFun [a6989586621679472935] a6989586621679472935 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (MinimumSym0 :: TyFun [a6989586621679472934] a6989586621679472934 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (PermutationsSym0 :: TyFun [a6989586621679473031] [[a6989586621679473031]] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (SubsequencesSym0 :: TyFun [a6989586621679473034] [[a6989586621679473034]] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (IntercalateSym0 :: TyFun [a6989586621679473035] (TyFun [[a6989586621679473035]] [a6989586621679473035] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ReverseSym0 :: TyFun [a6989586621679473037] [a6989586621679473037] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (NullSym0 :: TyFun [a6989586621679473038] Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (InitSym0 :: TyFun [a6989586621679473039] [a6989586621679473039] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (TailSym0 :: TyFun [a6989586621679473040] [a6989586621679473040] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (LastSym0 :: TyFun [a6989586621679473041] a6989586621679473041 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (HeadSym0 :: TyFun [a6989586621679473042] a6989586621679473042 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621679833989] [NonEmpty a6989586621679833989] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621679834015] (NonEmpty a6989586621679834015) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621679834009] (NonEmpty [a6989586621679834009]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621679834008] (NonEmpty [a6989586621679834008]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a6989586621679430981) [a6989586621679430981] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a6989586621679430983) a6989586621679430983 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679430984) Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679430985) Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679729880 (TyFun Symbol Symbol -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (FromIntegerSym0 :: TyFun Nat a6989586621679440260 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679916796 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621679439496 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (Bool_Sym0 :: TyFun a6989586621679308852 (TyFun a6989586621679308852 (TyFun Bool a6989586621679308852 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

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

Defined in Data.Singletons.Prelude.Eq

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

Defined in Data.Singletons.Prelude.Eq

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

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (CompareSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Ordering -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

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

Defined in Data.Singletons.Prelude.Ord

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

Defined in Data.Singletons.Prelude.Ord

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

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a6989586621679430982 (TyFun (Maybe a6989586621679430982) a6989586621679430982 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (NegateSym0 :: TyFun a6989586621679440260 a6989586621679440260 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

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

Defined in Data.Singletons.Prelude.Num

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

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (SignumSym0 :: TyFun a6989586621679440260 a6989586621679440260 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (AbsSym0 :: TyFun a6989586621679440260 a6989586621679440260 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

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

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (SubtractSym0 :: TyFun a6989586621679442533 (TyFun a6989586621679442533 a6989586621679442533 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Num

SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679448459 (TyFun a6989586621679448459 a6989586621679448459 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679448468 a6989586621679448468 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621679472933 (TyFun [a6989586621679472933] [a6989586621679472933] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (DeleteSym0 :: TyFun a6989586621679472960 (TyFun [a6989586621679472960] [a6989586621679472960] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621679473000 (TyFun [a6989586621679473000] Bool -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621679473001 (TyFun [a6989586621679473001] Bool -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679473036 (TyFun [a6989586621679473036] [a6989586621679473036] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621679729880 Symbol -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621679729865 (TyFun Symbol Symbol -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679834000 (TyFun (NonEmpty a6989586621679834000) (NonEmpty a6989586621679834000) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621679834017 (TyFun (NonEmpty a6989586621679834017) (NonEmpty a6989586621679834017) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679916796 Nat -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (PredSym0 :: TyFun a6989586621679916796 a6989586621679916796 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (SuccSym0 :: TyFun a6989586621679916796 a6989586621679916796 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SuppressUnusedWarnings (SameKindSym0 :: TyFun k6989586621679027070 (TyFun k6989586621679027070 Constraint -> *) -> *) Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings (KindOfSym0 :: TyFun k6989586621679027073 * -> *) Source # 
Instance details

Defined in Data.Singletons

SuppressUnusedWarnings (AbsurdSym0 :: TyFun Void a6989586621679303847 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Void

SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621679833968) (NonEmpty a6989586621679833968) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

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

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621679833983) (NonEmpty (NonEmpty a6989586621679833983)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621679834014) [a6989586621679834014] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621679833999) (NonEmpty a6989586621679833999) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621679834016) (NonEmpty a6989586621679834016) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621679834019) [a6989586621679834019] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621679834020) a6989586621679834020 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621679834021) [a6989586621679834021] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621679834022) a6989586621679834022 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621679834025) (a6989586621679834025, Maybe (NonEmpty a6989586621679834025)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621679834029) Nat -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621679833966)) (NonEmpty (NonEmpty a6989586621679833966)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (FoldlSym2 :: (TyFun b6989586621679273480 (TyFun a6989586621679273479 b6989586621679273480 -> Type) -> Type) -> b6989586621679273480 -> TyFun [a6989586621679273479] b6989586621679273480 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (FoldlSym1 :: (TyFun b6989586621679273480 (TyFun a6989586621679273479 b6989586621679273480 -> Type) -> Type) -> TyFun b6989586621679273480 (TyFun [a6989586621679273479] b6989586621679273480 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (ComparingSym2 :: (TyFun b6989586621679323517 a6989586621679323516 -> Type) -> b6989586621679323517 -> TyFun b6989586621679323517 Ordering -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (ComparingSym1 :: (TyFun b6989586621679323517 a6989586621679323516 -> Type) -> TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (MapMaybeSym1 :: (TyFun a6989586621679430977 (Maybe b6989586621679430978) -> Type) -> TyFun [a6989586621679430977] [b6989586621679430978] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679448470 b6989586621679448471 -> Type) -> TyFun [a6989586621679448470] [b6989586621679448471] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (FoldrSym2 :: (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) -> b6989586621679448473 -> TyFun [a6989586621679448472] b6989586621679448473 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (FoldrSym1 :: (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) -> TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679473016 (TyFun b6989586621679473017 b6989586621679473017 -> Type) -> Type) -> TyFun b6989586621679473017 (TyFun [a6989586621679473016] [b6989586621679473017] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679473016 (TyFun b6989586621679473017 b6989586621679473017 -> Type) -> Type) -> b6989586621679473017 -> TyFun [a6989586621679473016] [b6989586621679473017] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679473019 (TyFun a6989586621679473020 b6989586621679473019 -> Type) -> Type) -> TyFun b6989586621679473019 (TyFun [a6989586621679473020] [b6989586621679473019] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679473019 (TyFun a6989586621679473020 b6989586621679473019 -> Type) -> Type) -> b6989586621679473019 -> TyFun [a6989586621679473020] [b6989586621679473019] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ConcatMapSym1 :: (TyFun a6989586621679473023 [b6989586621679473024] -> Type) -> TyFun [a6989586621679473023] [b6989586621679473024] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (GroupWithSym1 :: (TyFun a6989586621679833987 b6989586621679833986 -> Type) -> TyFun [a6989586621679833987] [NonEmpty a6989586621679833987] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWithSym1 :: (TyFun a6989586621679833985 b6989586621679833984 -> Type) -> TyFun [a6989586621679833985] [NonEmpty a6989586621679833985] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupWith1Sym1 :: (TyFun a6989586621679833981 b6989586621679833980 -> Type) -> TyFun (NonEmpty a6989586621679833981) (NonEmpty (NonEmpty a6989586621679833981)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679834010 b6989586621679834011 -> Type) -> TyFun (NonEmpty a6989586621679834010) (NonEmpty b6989586621679834011) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortWithSym1 :: (TyFun a6989586621679833964 o6989586621679833963 -> Type) -> TyFun (NonEmpty a6989586621679833964) (NonEmpty a6989586621679833964) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWith1Sym1 :: (TyFun a6989586621679833979 b6989586621679833978 -> Type) -> TyFun (NonEmpty a6989586621679833979) (NonEmpty (NonEmpty a6989586621679833979)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) -> b6989586621679834005 -> TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) -> TyFun b6989586621679834005 (TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) -> b6989586621679834004 -> TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) -> TyFun b6989586621679834004 (TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnfoldrSym1 :: (TyFun a6989586621679834023 (b6989586621679834024, Maybe a6989586621679834023) -> Type) -> TyFun a6989586621679834023 (NonEmpty b6989586621679834024) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnfoldSym1 :: (TyFun a6989586621679834027 (b6989586621679834028, Maybe a6989586621679834027) -> Type) -> TyFun a6989586621679834027 (NonEmpty b6989586621679834028) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ZipSym1 :: [a6989586621679472998] -> TyFun [b6989586621679472999] [(a6989586621679472998, b6989586621679472999)] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (GenericIndexSym1 :: [a6989586621680003259] -> TyFun i6989586621680003258 a6989586621680003259 -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (Maybe_Sym2 :: b6989586621679429864 -> (TyFun a6989586621679429865 b6989586621679429864 -> Type) -> TyFun (Maybe a6989586621679429865) b6989586621679429864 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (Maybe_Sym1 :: b6989586621679429864 -> TyFun (TyFun a6989586621679429865 b6989586621679429864 -> Type) (TyFun (Maybe a6989586621679429865) b6989586621679429864 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (SeqSym1 :: a6989586621679448453 -> TyFun b6989586621679448454 b6989586621679448454 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (ConstSym1 :: a6989586621679448466 -> TyFun b6989586621679448467 a6989586621679448466 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (LookupSym1 :: a6989586621679472929 -> TyFun [(a6989586621679472929, b6989586621679472930)] (Maybe b6989586621679472930) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (GenericReplicateSym1 :: i6989586621680003256 -> TyFun a6989586621680003257 [a6989586621680003257] -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (GenericSplitAtSym1 :: i6989586621680003260 -> TyFun [a6989586621680003261] ([a6989586621680003261], [a6989586621680003261]) -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (GenericDropSym1 :: i6989586621680003262 -> TyFun [a6989586621680003263] [a6989586621680003263] -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (GenericTakeSym1 :: i6989586621680003264 -> TyFun [a6989586621680003265] [a6989586621680003265] -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (ZipSym1 :: NonEmpty a6989586621679833974 -> TyFun (NonEmpty b6989586621679833975) (NonEmpty (a6989586621679833974, b6989586621679833975)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ApplySym1 :: (k16989586621679025209 ~> k26989586621679025210) -> TyFun k16989586621679025209 k26989586621679025210 -> *) Source # 
Instance details

Defined in Data.Singletons

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

Defined in Data.Singletons

SuppressUnusedWarnings (FoldlSym0 :: TyFun (TyFun b6989586621679273480 (TyFun a6989586621679273479 b6989586621679273480 -> Type) -> Type) (TyFun b6989586621679273480 (TyFun [a6989586621679273479] b6989586621679273480 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (ComparingSym0 :: TyFun (TyFun b6989586621679323517 a6989586621679323516 -> Type) (TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (TyFun a6989586621679430977 (Maybe b6989586621679430978) -> Type) (TyFun [a6989586621679430977] [b6989586621679430978] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679448470 b6989586621679448471 -> Type) (TyFun [a6989586621679448470] [b6989586621679448471] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (FoldrSym0 :: TyFun (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679473016 (TyFun b6989586621679473017 b6989586621679473017 -> Type) -> Type) (TyFun b6989586621679473017 (TyFun [a6989586621679473016] [b6989586621679473017] -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679473019 (TyFun a6989586621679473020 b6989586621679473019 -> Type) -> Type) (TyFun b6989586621679473019 (TyFun [a6989586621679473020] [b6989586621679473019] -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (TyFun a6989586621679473023 [b6989586621679473024] -> Type) (TyFun [a6989586621679473023] [b6989586621679473024] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (GroupWithSym0 :: TyFun (TyFun a6989586621679833987 b6989586621679833986 -> Type) (TyFun [a6989586621679833987] [NonEmpty a6989586621679833987] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (TyFun a6989586621679833985 b6989586621679833984 -> Type) (TyFun [a6989586621679833985] [NonEmpty a6989586621679833985] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (TyFun a6989586621679833981 b6989586621679833980 -> Type) (TyFun (NonEmpty a6989586621679833981) (NonEmpty (NonEmpty a6989586621679833981)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679834010 b6989586621679834011 -> Type) (TyFun (NonEmpty a6989586621679834010) (NonEmpty b6989586621679834011) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortWithSym0 :: TyFun (TyFun a6989586621679833964 o6989586621679833963 -> Type) (TyFun (NonEmpty a6989586621679833964) (NonEmpty a6989586621679833964) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679833979 b6989586621679833978 -> Type) (TyFun (NonEmpty a6989586621679833979) (NonEmpty (NonEmpty a6989586621679833979)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) (TyFun b6989586621679834005 (TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) (TyFun b6989586621679834004 (TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (TyFun a6989586621679834023 (b6989586621679834024, Maybe a6989586621679834023) -> Type) (TyFun a6989586621679834023 (NonEmpty b6989586621679834024) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnfoldSym0 :: TyFun (TyFun a6989586621679834027 (b6989586621679834028, Maybe a6989586621679834027) -> Type) (TyFun a6989586621679834027 (NonEmpty b6989586621679834028) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (RightsSym0 :: TyFun [Either a6989586621679993351 b6989586621679993352] [b6989586621679993352] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (LeftsSym0 :: TyFun [Either a6989586621679993353 b6989586621679993354] [a6989586621679993353] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (UnzipSym0 :: TyFun [(a6989586621679472986, b6989586621679472987)] ([a6989586621679472986], [b6989586621679472987]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (GenericLengthSym0 :: TyFun [a6989586621679472915] i6989586621679472914 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ZipSym0 :: TyFun [a6989586621679472998] (TyFun [b6989586621679472999] [(a6989586621679472998, b6989586621679472999)] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (GenericIndexSym0 :: TyFun [a6989586621680003259] (TyFun i6989586621680003258 a6989586621680003259 -> Type) -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (IsRightSym0 :: TyFun (Either a6989586621679993345 b6989586621679993346) Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (IsLeftSym0 :: TyFun (Either a6989586621679993347 b6989586621679993348) Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (SwapSym0 :: TyFun (a6989586621679304593, b6989586621679304594) (b6989586621679304594, a6989586621679304593) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (SndSym0 :: TyFun (a6989586621679304601, b6989586621679304602) b6989586621679304602 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (FstSym0 :: TyFun (a6989586621679304603, b6989586621679304604) a6989586621679304603 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (LeftSym0 :: TyFun a6989586621679084181 (Either a6989586621679084181 b6989586621679084182) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (RightSym0 :: TyFun b6989586621679084182 (Either a6989586621679084181 b6989586621679084182) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (ErrorSym0 :: TyFun k06989586621679403140 k6989586621679403141 -> *) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679429864 (TyFun (TyFun a6989586621679429865 b6989586621679429864 -> Type) (TyFun (Maybe a6989586621679429865) b6989586621679429864 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679448453 (TyFun b6989586621679448454 b6989586621679448454 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679448466 (TyFun b6989586621679448467 a6989586621679448466 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (GenericReplicateSym0 :: TyFun i6989586621680003256 (TyFun a6989586621680003257 [a6989586621680003257] -> Type) -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (GenericSplitAtSym0 :: TyFun i6989586621680003260 (TyFun [a6989586621680003261] ([a6989586621680003261], [a6989586621680003261]) -> Type) -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (GenericDropSym0 :: TyFun i6989586621680003262 (TyFun [a6989586621680003263] [a6989586621680003263] -> Type) -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (GenericTakeSym0 :: TyFun i6989586621680003264 (TyFun [a6989586621680003265] [a6989586621680003265] -> Type) -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621679833969, b6989586621679833970)) (NonEmpty a6989586621679833969, NonEmpty b6989586621679833970) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621679833974) (TyFun (NonEmpty b6989586621679833975) (NonEmpty (a6989586621679833974, b6989586621679833975)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ApplySym0 :: TyFun (k16989586621679025209 ~> k26989586621679025210) (TyFun k16989586621679025209 k26989586621679025210 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons

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

Defined in Data.Singletons

SuppressUnusedWarnings (CurrySym2 :: (TyFun (a6989586621679304598, b6989586621679304599) c6989586621679304600 -> Type) -> a6989586621679304598 -> TyFun b6989586621679304599 c6989586621679304600 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (CurrySym1 :: (TyFun (a6989586621679304598, b6989586621679304599) c6989586621679304600 -> Type) -> TyFun a6989586621679304598 (TyFun b6989586621679304599 c6989586621679304600 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (UncurrySym1 :: (TyFun a6989586621679304595 (TyFun b6989586621679304596 c6989586621679304597 -> Type) -> Type) -> TyFun (a6989586621679304595, b6989586621679304596) c6989586621679304597 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) -> b6989586621679448461 -> TyFun a6989586621679448460 c6989586621679448462 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (FlipSym1 :: (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) -> TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679472992 (TyFun b6989586621679472993 c6989586621679472994 -> Type) -> Type) -> TyFun [a6989586621679472992] (TyFun [b6989586621679472993] [c6989586621679472994] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679472992 (TyFun b6989586621679472993 c6989586621679472994 -> Type) -> Type) -> [a6989586621679472992] -> TyFun [b6989586621679472993] [c6989586621679472994] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (OnSym3 :: (TyFun b6989586621679824152 (TyFun b6989586621679824152 c6989586621679824153 -> Type) -> Type) -> (TyFun a6989586621679824154 b6989586621679824152 -> Type) -> a6989586621679824154 -> TyFun a6989586621679824154 c6989586621679824153 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (OnSym2 :: (TyFun b6989586621679824152 (TyFun b6989586621679824152 c6989586621679824153 -> Type) -> Type) -> (TyFun a6989586621679824154 b6989586621679824152 -> Type) -> TyFun a6989586621679824154 (TyFun a6989586621679824154 c6989586621679824153 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (OnSym1 :: (TyFun b6989586621679824152 (TyFun b6989586621679824152 c6989586621679824153 -> Type) -> Type) -> TyFun (TyFun a6989586621679824154 b6989586621679824152 -> Type) (TyFun a6989586621679824154 (TyFun a6989586621679824154 c6989586621679824153 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) -> NonEmpty a6989586621679833971 -> TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Either_Sym2 :: (TyFun a6989586621679992217 c6989586621679992218 -> Type) -> (TyFun b6989586621679992219 c6989586621679992218 -> Type) -> TyFun (Either a6989586621679992217 b6989586621679992219) c6989586621679992218 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (Either_Sym1 :: (TyFun a6989586621679992217 c6989586621679992218 -> Type) -> TyFun (TyFun b6989586621679992219 c6989586621679992218 -> Type) (TyFun (Either a6989586621679992217 b6989586621679992219) c6989586621679992218 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (Zip3Sym2 :: [a6989586621679472995] -> [b6989586621679472996] -> TyFun [c6989586621679472997] [(a6989586621679472995, b6989586621679472996, c6989586621679472997)] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings (CurrySym0 :: TyFun (TyFun (a6989586621679304598, b6989586621679304599) c6989586621679304600 -> Type) (TyFun a6989586621679304598 (TyFun b6989586621679304599 c6989586621679304600 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (UncurrySym0 :: TyFun (TyFun a6989586621679304595 (TyFun b6989586621679304596 c6989586621679304597 -> Type) -> Type) (TyFun (a6989586621679304595, b6989586621679304596) c6989586621679304597 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679472992 (TyFun b6989586621679472993 c6989586621679472994 -> Type) -> Type) (TyFun [a6989586621679472992] (TyFun [b6989586621679472993] [c6989586621679472994] -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings (OnSym0 :: TyFun (TyFun b6989586621679824152 (TyFun b6989586621679824152 c6989586621679824153 -> Type) -> Type) (TyFun (TyFun a6989586621679824154 b6989586621679824152 -> Type) (TyFun a6989586621679824154 (TyFun a6989586621679824154 c6989586621679824153 -> Type) -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Function

SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) (TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Either_Sym0 :: TyFun (TyFun a6989586621679992217 c6989586621679992218 -> Type) (TyFun (TyFun b6989586621679992219 c6989586621679992218 -> Type) (TyFun (Either a6989586621679992217 b6989586621679992219) c6989586621679992218 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

SuppressUnusedWarnings (Unzip3Sym0 :: TyFun [(a6989586621679472983, b6989586621679472984, c6989586621679472985)] ([a6989586621679472983], [b6989586621679472984], [c6989586621679472985]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (Tuple4Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

SuppressUnusedWarnings (Tuple5Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

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

Defined in Data.Promotion.Prelude.List

Methods