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.Prelude

Contents

Description

Mimics the Haskell Prelude, but with singleton types. Includes the basic singleton definitions. Note: This is currently very incomplete!

Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

Synopsis

Basic singleton definitions

data family Sing (a :: k) infixr 5 #

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) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.TypeRepStar

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Internal

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

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c, d)) where
data Sing (z :: (a, b, c, d, e)) # 
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)) # 
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)) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

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

Singleton type synonyms

These synonyms are all kind-restricted synonyms of Sing. For example SBool requires an argument of kind Bool.

type SBool = (Sing :: Bool -> Type) #

type SList = (Sing :: [a] -> Type) #

type SMaybe = (Sing :: Maybe a -> Type) #

type SEither = (Sing :: Either a b -> Type) #

type SOrdering = (Sing :: Ordering -> Type) #

type STuple0 = (Sing :: () -> Type) #

type STuple2 = (Sing :: (a, b) -> Type) #

type STuple3 = (Sing :: (a, b, c) -> Type) #

type STuple4 = (Sing :: (a, b, c, d) -> Type) #

type STuple5 = (Sing :: (a, b, c, d, e) -> Type) #

type STuple6 = (Sing :: (a, b, c, d, e, f) -> Type) #

type STuple7 = (Sing :: (a, b, c, d, e, f, g) -> Type) #

Functions working with Bool

type family If (cond :: Bool) (tru :: k) (fls :: k) :: k where ... #

Type-level If. If True a b ==> a; If False a b ==> b

Equations

If True (tru :: k) (fls :: k) = tru 
If False (tru :: k) (fls :: k) = fls 

sIf :: Sing a -> Sing b -> Sing c -> Sing (If a b c) #

Conditional over singletons

type family Not (a :: Bool) = (res :: Bool) | res -> a where ... #

Type-level "not". An injective type family since 4.10.0.0.

Since: base-4.7.0.0

Equations

Not False = True 
Not True = False 

sNot :: Sing a -> Sing (Not a) #

Negation of a singleton

type family (a :: Bool) && (b :: Bool) :: Bool where ... infixr 3 #

Type-level "and"

Equations

False && a = False 
True && a = a 
a && False = False 
a && True = a 
a && a = a 

type family (a :: Bool) || (b :: Bool) :: Bool where ... infixr 2 #

Type-level "or"

Equations

False || a = a 
True || a = True 
a || False = a 
a || True = True 
a || a = a 

(%&&) :: Sing a -> Sing b -> Sing (a && b) infixr 3 #

Conjunction of singletons

(%||) :: Sing a -> Sing b -> Sing (a || b) infixr 2 #

Disjunction of singletons

type family Otherwise :: Bool where ... #

Equations

Otherwise = TrueSym0 

Error reporting

type family Error (str :: k0) :: k where ... #

The promotion of error. This version is more poly-kinded for easier use.

sError :: Sing (str :: Symbol) -> a #

The singleton for error

type family Undefined :: k where ... #

The promotion of undefined.

sUndefined :: a #

The singleton for undefined.

Singleton equality

Singleton comparisons

Singleton Enum and Bounded

As a matter of convenience, the singletons Prelude does not export promoted/singletonized succ and pred, due to likely conflicts with unary numbers. Please import Enum directly if you want these.

class SBounded a where #

Minimal complete definition

sMinBound, sMaxBound

Instances
SBounded Bool # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SBounded Ordering # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SBounded () # 
Instance details

Defined in Data.Singletons.Prelude.Enum

(SBounded a, SBounded b) => SBounded (a, b) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

(SBounded a, SBounded b, SBounded c) => SBounded (a, b, c) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

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

Defined in Data.Singletons.Prelude.Enum

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

Defined in Data.Singletons.Prelude.Enum

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

Defined in Data.Singletons.Prelude.Enum

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

Defined in Data.Singletons.Prelude.Enum

class PBounded (a :: Type) #

Associated Types

type MinBound :: a #

type MaxBound :: a #

Instances
PBounded Bool # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a #

type MaxBound :: a #

PBounded Ordering # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a #

type MaxBound :: a #

PBounded () # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a #

type MaxBound :: a #

PBounded (a, b) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a #

type MaxBound :: a #

PBounded (a, b, c) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a #

type MaxBound :: a #

PBounded (a, b, c, d) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a #

type MaxBound :: a #

PBounded (a, b, c, d, e) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a #

type MaxBound :: a #

PBounded (a, b, c, d, e, f) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a #

type MaxBound :: a #

PBounded (a, b, c, d, e, f, g) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a #

type MaxBound :: a #

class SEnum a where #

Minimal complete definition

sToEnum, sFromEnum

Methods

sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t :: a) #

sFromEnum :: forall (t :: a). Sing t -> Sing (Apply FromEnumSym0 t :: Nat) #

sEnumFromTo :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t :: [a]) #

sEnumFromThenTo :: forall (t :: a) (t :: a) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) #

sEnumFromTo :: forall (t :: a) (t :: a). ((Apply (Apply EnumFromToSym0 t) t :: [a]) ~ Apply (Apply EnumFromTo_6989586621679870266Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t :: [a]) #

sEnumFromThenTo :: forall (t :: a) (t :: a) (t :: a). ((Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) ~ Apply (Apply (Apply EnumFromThenTo_6989586621679870296Sym0 t) t) t) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) #

Instances
SEnum Bool # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SEnum Ordering # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SEnum Nat # 
Instance details

Defined in Data.Singletons.Prelude.Enum

SEnum () # 
Instance details

Defined in Data.Singletons.Prelude.Enum

class PEnum (a :: Type) #

Associated Types

type ToEnum (arg :: Nat) :: a #

type FromEnum (arg :: a) :: Nat #

type EnumFromTo (arg :: a) (arg :: a) :: [a] #

type EnumFromThenTo (arg :: a) (arg :: a) (arg :: a) :: [a] #

Instances
PEnum Bool # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a #

type Pred arg :: a #

type ToEnum arg :: a #

type FromEnum arg :: Nat #

type EnumFromTo arg arg :: [a] #

type EnumFromThenTo arg arg arg :: [a] #

PEnum Ordering # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a #

type Pred arg :: a #

type ToEnum arg :: a #

type FromEnum arg :: Nat #

type EnumFromTo arg arg :: [a] #

type EnumFromThenTo arg arg arg :: [a] #

PEnum Nat # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a #

type Pred arg :: a #

type ToEnum arg :: a #

type FromEnum arg :: Nat #

type EnumFromTo arg arg :: [a] #

type EnumFromThenTo arg arg arg :: [a] #

PEnum () # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a #

type Pred arg :: a #

type ToEnum arg :: a #

type FromEnum arg :: Nat #

type EnumFromTo arg arg :: [a] #

type EnumFromThenTo arg arg arg :: [a] #

data EnumFromThenToSym0 (l :: TyFun a6989586621679869588 (TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a6989586621679869588 (TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym0 :: TyFun a6989586621679869588 (TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type) -> Type) -> *) (l :: a6989586621679869588) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym0 :: TyFun a6989586621679869588 (TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type) -> Type) -> *) (l :: a6989586621679869588) = EnumFromThenToSym1 l

data EnumFromThenToSym1 (l :: a6989586621679869588) (l :: TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type)) #

Instances
SuppressUnusedWarnings (EnumFromThenToSym1 :: a6989586621679869588 -> TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym1 l1 :: TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type) -> *) (l2 :: a6989586621679869588) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym1 l1 :: TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type) -> *) (l2 :: a6989586621679869588) = EnumFromThenToSym2 l1 l2

data EnumFromThenToSym2 (l :: a6989586621679869588) (l :: a6989586621679869588) (l :: TyFun a6989586621679869588 [a6989586621679869588]) #

Instances
SuppressUnusedWarnings (EnumFromThenToSym2 :: a6989586621679869588 -> a6989586621679869588 -> TyFun a6989586621679869588 [a6989586621679869588] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym2 l1 l2 :: TyFun a [a] -> *) (l3 :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym2 l1 l2 :: TyFun a [a] -> *) (l3 :: a) = EnumFromThenTo l1 l2 l3

type EnumFromThenToSym3 (t :: a6989586621679869588) (t :: a6989586621679869588) (t :: a6989586621679869588) = EnumFromThenTo t t t #

data EnumFromToSym0 (l :: TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type)) #

Instances
SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromToSym0 :: TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type) -> *) (l :: a6989586621679869588) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromToSym0 :: TyFun a6989586621679869588 (TyFun a6989586621679869588 [a6989586621679869588] -> Type) -> *) (l :: a6989586621679869588) = EnumFromToSym1 l

data EnumFromToSym1 (l :: a6989586621679869588) (l :: TyFun a6989586621679869588 [a6989586621679869588]) #

Instances
SuppressUnusedWarnings (EnumFromToSym1 :: a6989586621679869588 -> TyFun a6989586621679869588 [a6989586621679869588] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromToSym1 l1 :: TyFun a [a] -> *) (l2 :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromToSym1 l1 :: TyFun a [a] -> *) (l2 :: a) = EnumFromTo l1 l2

type EnumFromToSym2 (t :: a6989586621679869588) (t :: a6989586621679869588) = EnumFromTo t t #

data FromEnumSym0 (l :: TyFun a6989586621679869588 Nat) #

Instances
SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679869588 Nat -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (FromEnumSym0 :: TyFun a Nat -> *) (l :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (FromEnumSym0 :: TyFun a Nat -> *) (l :: a) = FromEnum l

type FromEnumSym1 (t :: a6989586621679869588) = FromEnum t #

data ToEnumSym0 (l :: TyFun Nat a6989586621679869588) #

Instances
SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679869588 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (ToEnumSym0 :: TyFun Nat k2 -> *) (l :: Nat) # 
Instance details

Defined in Data.Singletons.Prelude.Enum

type Apply (ToEnumSym0 :: TyFun Nat k2 -> *) (l :: Nat) = (ToEnum l :: k2)

type ToEnumSym1 (t :: Nat) = ToEnum t #

Singletons numbers

type family (a :: Nat) ^ (b :: Nat) :: Nat where ... infixr 8 #

Exponentiation of type-level naturals.

Since: base-4.7.0.0

(%^) :: Sing a -> Sing b -> Sing (a ^ b) infixr 8 #

The singleton analogue of '(TL.^)' for Nats.

Singleton Show

class PShow (a :: Type) #

Associated Types

type ShowsPrec (arg :: Nat) (arg :: a) (arg :: Symbol) :: Symbol #

type Show_ (arg :: a) :: Symbol #

type ShowList (arg :: [a]) (arg :: Symbol) :: Symbol #

Instances
PShow Bool # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow Ordering # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow Nat #

Note that this instance is really, really slow, since it uses an inefficient, inductive definition of division behind the hood.

Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow Symbol # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow () # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow Void # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow [a] # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow (Maybe a) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow (NonEmpty a) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow (Either a b) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow (a, b) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow (a, b, c) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow (a, b, c, d) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow (a, b, c, d, e) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow (a, b, c, d, e, f) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

PShow (a, b, c, d, e, f, g) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

class SShow a where #

Methods

sShowsPrec :: forall (t :: Nat) (t :: a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) #

sShow_ :: forall (t :: a). Sing t -> Sing (Apply Show_Sym0 t :: Symbol) #

sShowList :: forall (t :: [a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t :: Symbol) #

sShowsPrec :: forall (t :: Nat) (t :: a) (t :: Symbol). ((Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) ~ Apply (Apply (Apply ShowsPrec_6989586621679696582Sym0 t) t) t) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) #

sShow_ :: forall (t :: a). ((Apply Show_Sym0 t :: Symbol) ~ Apply Show__6989586621679696602Sym0 t) => Sing t -> Sing (Apply Show_Sym0 t :: Symbol) #

sShowList :: forall (t :: [a]) (t :: Symbol). ((Apply (Apply ShowListSym0 t) t :: Symbol) ~ Apply (Apply ShowList_6989586621679696620Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t :: Symbol) #

Instances
SShow Bool # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

SShow Ordering # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

SShow Nat # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

SShow Symbol # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

SShow () # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

SShow Void # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

SShow a => SShow [a] # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

SShow a => SShow (Maybe a) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

(SShow a, SShow [a]) => SShow (NonEmpty a) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

(SShow a, SShow b) => SShow (Either a b) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

(SShow a, SShow b) => SShow (a, b) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

(SShow a, SShow b, SShow c) => SShow (a, b, c) # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

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

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

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

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

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

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

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

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

type ShowS = String -> String #

The shows functions return a function that prepends the output String to an existing String. This allows constant-time concatenation of results using function composition.

type SChar = Symbol #

GHC currently has no notion of type-level Chars, so we fake them with single-character Symbols.

type (<>) a b = AppendSymbol a b infixr 6 #

The promoted analogue of '(<>)' for Symbols. This uses the special AppendSymbol type family from GHC.TypeLits.

(%<>) :: Sing a -> Sing b -> Sing (a <> b) infixr 6 #

The singleton analogue of '(<>)' for Symbols.

type family Shows (a :: a) (a :: Symbol) :: Symbol where ... #

Equations

Shows s a_6989586621679696530 = Apply (Apply (Apply ShowsPrecSym0 (FromInteger 0)) s) a_6989586621679696530 

sShows :: forall (t :: a) (t :: Symbol). SShow a => Sing t -> Sing t -> Sing (Apply (Apply ShowsSym0 t) t :: Symbol) #

type family ShowChar (a :: Symbol) (a :: Symbol) :: Symbol where ... #

Equations

ShowChar a_6989586621679696397 a_6989586621679696399 = Apply (Apply (<>@#@$) a_6989586621679696397) a_6989586621679696399 

sShowChar :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowCharSym0 t) t :: Symbol) #

type family ShowString (a :: Symbol) (a :: Symbol) :: Symbol where ... #

Equations

ShowString a_6989586621679696375 a_6989586621679696377 = Apply (Apply (<>@#@$) a_6989586621679696375) a_6989586621679696377 

sShowString :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowStringSym0 t) t :: Symbol) #

type family ShowParen (a :: Bool) (a :: TyFun Symbol Symbol -> Type) (a :: Symbol) :: Symbol where ... #

Equations

ShowParen b p a_6989586621679696427 = Apply (Case_6989586621679696432 b p a_6989586621679696427 b) a_6989586621679696427 

sShowParen :: forall (t :: Bool) (t :: TyFun Symbol Symbol -> Type) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowParenSym0 t) t) t :: Symbol) #

Miscellaneous functions

type family Id (a :: a) :: a where ... #

Equations

Id x = x 

sId :: forall (t :: a). Sing t -> Sing (Apply IdSym0 t :: a) #

type family Const (a :: a) (a :: b) :: a where ... #

Equations

Const x _ = x 

sConst :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a) #

type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ... #

Equations

(f :. g) a_6989586621679436592 = Apply (Apply (Apply (Apply Lambda_6989586621679436597Sym0 f) g) a_6989586621679436592) a_6989586621679436592 

(%.) :: forall (t :: TyFun b c -> Type) (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (.@#@$) t) t) t :: c) infixr 9 #

type family (a :: TyFun a b -> Type) $ (a :: a) :: b where ... #

Equations

f $ x = Apply f x 

(%$) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($@#@$) t) t :: b) infixr 0 #

type family (a :: TyFun a b -> Type) $! (a :: a) :: b where ... #

Equations

f $! x = Apply f (Let6989586621679436540VxSym2 f x) 

(%$!) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($!@#@$) t) t :: b) infixr 0 #

type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ... #

Equations

Flip f x y = Apply (Apply f y) x 

sFlip :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: b) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FlipSym0 t) t) t :: c) #

type family AsTypeOf (a :: a) (a :: a) :: a where ... #

Equations

AsTypeOf a_6989586621679436629 a_6989586621679436631 = Apply (Apply ConstSym0 a_6989586621679436629) a_6989586621679436631 

sAsTypeOf :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a) #

type family Seq (a :: a) (a :: b) :: b where ... infixr 0 #

Equations

Seq _ x = x 

sSeq :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b) infixr 0 #

List operations

type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ... #

Equations

Map _ '[] = '[] 
Map f ((:) x xs) = Apply (Apply (:@#@$) (Apply f x)) (Apply (Apply MapSym0 f) xs) 

sMap :: forall (t :: TyFun a b -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b]) #

type family (a :: [a]) ++ (a :: [a]) :: [a] where ... #

Equations

'[] ++ ys = ys 
((:) x xs) ++ ys = Apply (Apply (:@#@$) x) (Apply (Apply (++@#@$) xs) ys) 

(%++) :: forall (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply (++@#@$) t) t :: [a]) infixr 5 #

type family Head (a :: [a]) :: a where ... #

Equations

Head ((:) a _) = a 
Head '[] = Apply ErrorSym0 "Data.Singletons.List.head: empty list" 

sHead :: forall (t :: [a]). Sing t -> Sing (Apply HeadSym0 t :: a) #

type family Last (a :: [a]) :: a where ... #

Equations

Last '[] = Apply ErrorSym0 "Data.Singletons.List.last: empty list" 
Last '[x] = x 
Last ((:) _ ((:) x xs)) = Apply LastSym0 (Apply (Apply (:@#@$) x) xs) 

sLast :: forall (t :: [a]). Sing t -> Sing (Apply LastSym0 t :: a) #

type family Tail (a :: [a]) :: [a] where ... #

Equations

Tail ((:) _ t) = t 
Tail '[] = Apply ErrorSym0 "Data.Singletons.List.tail: empty list" 

sTail :: forall (t :: [a]). Sing t -> Sing (Apply TailSym0 t :: [a]) #

type family Init (a :: [a]) :: [a] where ... #

Equations

Init '[] = Apply ErrorSym0 "Data.Singletons.List.init: empty list" 
Init ((:) x xs) = Apply (Apply (Let6989586621679471424Init'Sym2 x xs) x) xs 

sInit :: forall (t :: [a]). Sing t -> Sing (Apply InitSym0 t :: [a]) #

type family Null (a :: [a]) :: Bool where ... #

Equations

Null '[] = TrueSym0 
Null ((:) _ _) = FalseSym0 

sNull :: forall (t :: [a]). Sing t -> Sing (Apply NullSym0 t :: Bool) #

type family Reverse (a :: [a]) :: [a] where ... #

Equations

Reverse l = Apply (Apply (Let6989586621679471325RevSym1 l) l) '[] 

sReverse :: forall (t :: [a]). Sing t -> Sing (Apply ReverseSym0 t :: [a]) #

Reducing lists (folds)

type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... #

Equations

Foldl f z0 xs0 = Apply (Apply (Let6989586621679270417LgoSym3 f z0 xs0) z0) xs0 

sFoldl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b) #

type family Foldl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ... #

Equations

Foldl1 f ((:) x xs) = Apply (Apply (Apply FoldlSym0 f) x) xs 
Foldl1 _ '[] = Apply ErrorSym0 "Data.Singletons.List.foldl1: empty list" 

sFoldl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a) #

type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... #

Equations

Foldr k z a_6989586621679436689 = Apply (Let6989586621679436694GoSym3 k z a_6989586621679436689) a_6989586621679436689 

sFoldr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) #

type family Foldr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ... #

Equations

Foldr1 _ '[x] = x 
Foldr1 f ((:) x ((:) wild_6989586621679459773 wild_6989586621679459775)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let6989586621679470571XsSym4 f x wild_6989586621679459773 wild_6989586621679459775)) 
Foldr1 _ '[] = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list" 

sFoldr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a) #

Special folds

type family And (a :: [Bool]) :: Bool where ... #

Equations

And '[] = TrueSym0 
And ((:) x xs) = Apply (Apply (&&@#@$) x) (Apply AndSym0 xs) 

sAnd :: forall (t :: [Bool]). Sing t -> Sing (Apply AndSym0 t :: Bool) #

type family Or (a :: [Bool]) :: Bool where ... #

Equations

Or '[] = FalseSym0 
Or ((:) x xs) = Apply (Apply (||@#@$) x) (Apply OrSym0 xs) 

sOr :: forall (t :: [Bool]). Sing t -> Sing (Apply OrSym0 t :: Bool) #

type family Any (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ... #

Equations

Any _ '[] = FalseSym0 
Any p ((:) x xs) = Apply (Apply (||@#@$) (Apply p x)) (Apply (Apply AnySym0 p) xs) 

sAny :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply AnySym0 t) t :: Bool) #

type family All (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ... #

Equations

All _ '[] = TrueSym0 
All p ((:) x xs) = Apply (Apply (&&@#@$) (Apply p x)) (Apply (Apply AllSym0 p) xs) 

sAll :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply AllSym0 t) t :: Bool) #

type family Concat (a :: [[a]]) :: [a] where ... #

Equations

Concat a_6989586621679470550 = Apply (Apply (Apply FoldrSym0 (++@#@$)) '[]) a_6989586621679470550 

sConcat :: forall (t :: [[a]]). Sing t -> Sing (Apply ConcatSym0 t :: [a]) #

type family ConcatMap (a :: TyFun a [b] -> Type) (a :: [a]) :: [b] where ... #

Equations

ConcatMap f a_6989586621679470546 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (.@#@$) (++@#@$)) f)) '[]) a_6989586621679470546 

sConcatMap :: forall (t :: TyFun a [b] -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ConcatMapSym0 t) t :: [b]) #

Scans

type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ... #

Equations

Scanl f q ls = Apply (Apply (:@#@$) q) (Case_6989586621679470350 f q ls ls) 

sScanl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: [b]) #

type family Scanl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ... #

Equations

Scanl1 f ((:) x xs) = Apply (Apply (Apply ScanlSym0 f) x) xs 
Scanl1 _ '[] = '[] 

sScanl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: [a]) #

type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ... #

Equations

Scanr _ q0 '[] = Apply (Apply (:@#@$) q0) '[] 
Scanr f q0 ((:) x xs) = Case_6989586621679470327 f q0 x xs (Let6989586621679470308Scrutinee_6989586621679459781Sym4 f q0 x xs) 

sScanr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: [b]) #

type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ... #

Equations

Scanr1 _ '[] = '[] 
Scanr1 _ '[x] = Apply (Apply (:@#@$) x) '[] 
Scanr1 f ((:) x ((:) wild_6989586621679459793 wild_6989586621679459795)) = Case_6989586621679470283 f x wild_6989586621679459793 wild_6989586621679459795 (Let6989586621679470264Scrutinee_6989586621679459787Sym4 f x wild_6989586621679459793 wild_6989586621679459795) 

sScanr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: [a]) #

Infinite lists

type family Replicate (a :: Nat) (a :: a) :: [a] where ... #

Equations

Replicate n x = Case_6989586621679468584 n x (Let6989586621679468576Scrutinee_6989586621679459889Sym2 n x) 

sReplicate :: forall (t :: Nat) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ReplicateSym0 t) t :: [a]) #

Sublists

type family Take (a :: Nat) (a :: [a]) :: [a] where ... #

Equations

Take _ '[] = '[] 
Take n ((:) x xs) = Case_6989586621679468781 n x xs (Let6989586621679468768Scrutinee_6989586621679459873Sym3 n x xs) 

sTake :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a]) #

type family Drop (a :: Nat) (a :: [a]) :: [a] where ... #

Equations

Drop _ '[] = '[] 
Drop n ((:) x xs) = Case_6989586621679468753 n x xs (Let6989586621679468740Scrutinee_6989586621679459875Sym3 n x xs) 

sDrop :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a]) #

type family SplitAt (a :: Nat) (a :: [a]) :: ([a], [a]) where ... #

Equations

SplitAt n xs = Apply (Apply Tuple2Sym0 (Apply (Apply TakeSym0 n) xs)) (Apply (Apply DropSym0 n) xs) 

sSplitAt :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a])) #

type family TakeWhile (a :: TyFun a Bool -> Type) (a :: [a]) :: [a] where ... #

Equations

TakeWhile _ '[] = '[] 
TakeWhile p ((:) x xs) = Case_6989586621679469115 p x xs (Let6989586621679469102Scrutinee_6989586621679459863Sym3 p x xs) 

sTakeWhile :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a]) #

type family Span (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ... #

Equations

Span _ '[] = Apply (Apply Tuple2Sym0 Let6989586621679468897XsSym0) Let6989586621679468897XsSym0 
Span p ((:) x xs') = Case_6989586621679468927 p x xs' (Let6989586621679468914Scrutinee_6989586621679459869Sym3 p x xs') 

sSpan :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a])) #

type family Break (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ... #

Equations

Break _ '[] = Apply (Apply Tuple2Sym0 Let6989586621679468804XsSym0) Let6989586621679468804XsSym0 
Break p ((:) x xs') = Case_6989586621679468834 p x xs' (Let6989586621679468821Scrutinee_6989586621679459871Sym3 p x xs') 

sBreak :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a])) #

Searching lists

type family Elem (a :: a) (a :: [a]) :: Bool where ... infix 4 #

Equations

Elem _ '[] = FalseSym0 
Elem x ((:) y ys) = Apply (Apply (||@#@$) (Apply (Apply (==@#@$) x) y)) (Apply (Apply ElemSym0 x) ys) 

sElem :: forall (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool) infix 4 #

type family NotElem (a :: a) (a :: [a]) :: Bool where ... infix 4 #

Equations

NotElem _ '[] = TrueSym0 
NotElem x ((:) y ys) = Apply (Apply (&&@#@$) (Apply (Apply (/=@#@$) x) y)) (Apply (Apply NotElemSym0 x) ys) 

sNotElem :: forall (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply NotElemSym0 t) t :: Bool) infix 4 #

type family Lookup (a :: a) (a :: [(a, b)]) :: Maybe b where ... #

Equations

Lookup _key '[] = NothingSym0 
Lookup key ((:) '(x, y) xys) = Case_6989586621679468725 key x y xys (Let6989586621679468706Scrutinee_6989586621679459885Sym4 key x y xys) 

sLookup :: forall (t :: a) (t :: [(a, b)]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply LookupSym0 t) t :: Maybe b) #

Zipping and unzipping lists

type family Zip (a :: [a]) (a :: [b]) :: [(a, b)] where ... #

Equations

Zip ((:) x xs) ((:) y ys) = Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ZipSym0 xs) ys) 
Zip '[] '[] = '[] 
Zip ((:) _ _) '[] = '[] 
Zip '[] ((:) _ _) = '[] 

sZip :: forall (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: [(a, b)]) #

type family Zip3 (a :: [a]) (a :: [b]) (a :: [c]) :: [(a, b, c)] where ... #

Equations

Zip3 ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:@#@$) (Apply (Apply (Apply Tuple3Sym0 a) b) c)) (Apply (Apply (Apply Zip3Sym0 as) bs) cs) 
Zip3 '[] '[] '[] = '[] 
Zip3 '[] '[] ((:) _ _) = '[] 
Zip3 '[] ((:) _ _) '[] = '[] 
Zip3 '[] ((:) _ _) ((:) _ _) = '[] 
Zip3 ((:) _ _) '[] '[] = '[] 
Zip3 ((:) _ _) '[] ((:) _ _) = '[] 
Zip3 ((:) _ _) ((:) _ _) '[] = '[] 

sZip3 :: forall (t :: [a]) (t :: [b]) (t :: [c]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Zip3Sym0 t) t) t :: [(a, b, c)]) #

type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: [a]) (a :: [b]) :: [c] where ... #

Equations

ZipWith f ((:) x xs) ((:) y ys) = Apply (Apply (:@#@$) (Apply (Apply f x) y)) (Apply (Apply (Apply ZipWithSym0 f) xs) ys) 
ZipWith _ '[] '[] = '[] 
ZipWith _ ((:) _ _) '[] = '[] 
ZipWith _ '[] ((:) _ _) = '[] 

sZipWith :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: [c]) #

type family ZipWith3 (a :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (a :: [a]) (a :: [b]) (a :: [c]) :: [d] where ... #

Equations

ZipWith3 z ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:@#@$) (Apply (Apply (Apply z a) b) c)) (Apply (Apply (Apply (Apply ZipWith3Sym0 z) as) bs) cs) 
ZipWith3 _ '[] '[] '[] = '[] 
ZipWith3 _ '[] '[] ((:) _ _) = '[] 
ZipWith3 _ '[] ((:) _ _) '[] = '[] 
ZipWith3 _ '[] ((:) _ _) ((:) _ _) = '[] 
ZipWith3 _ ((:) _ _) '[] '[] = '[] 
ZipWith3 _ ((:) _ _) '[] ((:) _ _) = '[] 
ZipWith3 _ ((:) _ _) ((:) _ _) '[] = '[] 

sZipWith3 :: forall (t :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (t :: [a]) (t :: [b]) (t :: [c]). Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply ZipWith3Sym0 t) t) t) t :: [d]) #

type family Unzip (a :: [(a, b)]) :: ([a], [b]) where ... #

Equations

Unzip xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_6989586621679469591Sym0 xs)) (Apply (Apply Tuple2Sym0 '[]) '[])) xs 

sUnzip :: forall (t :: [(a, b)]). Sing t -> Sing (Apply UnzipSym0 t :: ([a], [b])) #

type family Unzip3 (a :: [(a, b, c)]) :: ([a], [b], [c]) where ... #

Equations

Unzip3 xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_6989586621679469559Sym0 xs)) (Apply (Apply (Apply Tuple3Sym0 '[]) '[]) '[])) xs 

sUnzip3 :: forall (t :: [(a, b, c)]). Sing t -> Sing (Apply Unzip3Sym0 t :: ([a], [b], [c])) #

Functions on Symbols

type family Unlines (a :: [Symbol]) :: Symbol where ... #

Equations

Unlines '[] = "" 
Unlines ((:) l ls) = Apply (Apply (<>@#@$) l) (Apply (Apply (<>@#@$) "\n") (Apply UnlinesSym0 ls)) 

sUnlines :: forall (t :: [Symbol]). Sing t -> Sing (Apply UnlinesSym0 t :: Symbol) #

type family Unwords (a :: [Symbol]) :: Symbol where ... #

Equations

Unwords '[] = "" 
Unwords ((:) w ws) = Apply (Apply (<>@#@$) w) (Apply (Let6989586621679469384GoSym2 w ws) ws) 

sUnwords :: forall (t :: [Symbol]). Sing t -> Sing (Apply UnwordsSym0 t :: Symbol) #

Other datatypes

type family Maybe_ (a :: b) (a :: TyFun a b -> Type) (a :: Maybe a) :: b where ... #

Equations

Maybe_ n _ Nothing = n 
Maybe_ _ f (Just x) = Apply f x 

sMaybe_ :: forall (t :: b) (t :: TyFun a b -> Type) (t :: Maybe a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Maybe_Sym0 t) t) t :: b) #

type family Either_ (a :: TyFun a c -> Type) (a :: TyFun b c -> Type) (a :: Either a b) :: c where ... #

Equations

Either_ f _ (Left x) = Apply f x 
Either_ _ g (Right y) = Apply g y 

sEither_ :: forall (t :: TyFun a c -> Type) (t :: TyFun b c -> Type) (t :: Either a b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Either_Sym0 t) t) t :: c) #

type family Fst (a :: (a, b)) :: a where ... #

Equations

Fst '(x, _) = x 

sFst :: forall (t :: (a, b)). Sing t -> Sing (Apply FstSym0 t :: a) #

type family Snd (a :: (a, b)) :: b where ... #

Equations

Snd '(_, y) = y 

sSnd :: forall (t :: (a, b)). Sing t -> Sing (Apply SndSym0 t :: b) #

type family Curry (a :: TyFun (a, b) c -> Type) (a :: a) (a :: b) :: c where ... #

Equations

Curry f x y = Apply f (Apply (Apply Tuple2Sym0 x) y) 

sCurry :: forall (t :: TyFun (a, b) c -> Type) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c) #

type family Uncurry (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: (a, b)) :: c where ... #

Equations

Uncurry f p = Apply (Apply f (Apply FstSym0 p)) (Apply SndSym0 p) 

sUncurry :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c) #

data Symbol #

(Kind) This is the kind of type-level symbols. Declared here because class IP needs it

Instances
Eq Symbol #

This bogus instance is helpful for people who want to define functions over Symbols that will only be used at the type level or as singletons.

Instance details

Defined in Data.Singletons.TypeLits

Methods

(==) :: Symbol -> Symbol -> Bool #

(/=) :: Symbol -> Symbol -> Bool #

Ord Symbol # 
Instance details

Defined in Data.Singletons.TypeLits

IsString Symbol # 
Instance details

Defined in Data.Singletons.TypeLits

Methods

fromString :: String -> Symbol #

SingKind Symbol

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Associated Types

type DemoteRep Symbol :: *

Methods

fromSing :: Sing a -> DemoteRep Symbol

SingKind Symbol # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Associated Types

type Demote Symbol = (r :: *) #

SDecide Symbol # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Methods

(%~) :: Sing a -> Sing b -> Decision (a :~: b) #

PEq Symbol # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Associated Types

type x == y :: Bool #

type x /= y :: Bool #

SEq Symbol # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Methods

(%==) :: Sing a -> Sing b -> Sing (a == b) #

(%/=) :: Sing a -> Sing b -> Sing (a /= b) #

SOrd Symbol # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Methods

sCompare :: Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t) #

(%<) :: Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t) #

(%<=) :: Sing t -> Sing t -> Sing (Apply (Apply (<=@#@$) t) t) #

(%>) :: Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t) #

(%>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>=@#@$) t) t) #

sMax :: Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t) #

sMin :: Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t) #

POrd Symbol # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Associated Types

type Compare arg arg :: Ordering #

type arg < arg :: Bool #

type arg <= arg :: Bool #

type arg > arg :: Bool #

type arg >= arg :: Bool #

type Max arg arg :: a #

type Min arg arg :: a #

ShowSing Symbol # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

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

SIsString Symbol # 
Instance details

Defined in Data.Singletons.Prelude.IsString

PIsString Symbol # 
Instance details

Defined in Data.Singletons.Prelude.IsString

Associated Types

type FromString arg :: a #

SShow Symbol # 
Instance details

Defined in Data.Singletons.Prelude.Show

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) #

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

PShow Symbol # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg :: Symbol #

KnownSymbol a => SingI (a :: Symbol)

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Methods

sing :: Sing a

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

Defined in Data.Singletons.TypeLits.Internal

Methods

sing :: Sing n #

Show (SSymbol s) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

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

show :: SSymbol s -> String #

showList :: [SSymbol s] -> ShowS #

SuppressUnusedWarnings ShowParenSym2 # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowParenSym1 # 
Instance details

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings ShowCharSym1 # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowStringSym1 # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowParenSym0 # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings UnlinesSym0 # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings UnwordsSym0 # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings ShowCharSym0 # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowStringSym0 # 
Instance details

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings KnownSymbolSym0 # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings ShowCommaSpaceSym0 # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowSpaceSym0 # 
Instance details

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.IsString

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

data Sing (s :: Symbol) 
Instance details

Defined in GHC.Generics

data Sing (s :: Symbol) where
type DemoteRep Symbol 
Instance details

Defined in GHC.Generics

type DemoteRep Symbol = String
type Demote Symbol # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) where
type FromString a # 
Instance details

Defined in Data.Singletons.Prelude.IsString

type FromString a = a
type Show_ (arg :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Show_ (arg :: Symbol)
type (a :: Symbol) == (b :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type (a :: Symbol) == (b :: Symbol) = a == b
type (x :: Symbol) /= (y :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type (x :: Symbol) /= (y :: Symbol) = Not (x == y)
type Compare (a :: Symbol) (b :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b
type (arg1 :: Symbol) < (arg2 :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type (arg1 :: Symbol) < (arg2 :: Symbol)
type (arg1 :: Symbol) <= (arg2 :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type (arg1 :: Symbol) <= (arg2 :: Symbol)
type (arg1 :: Symbol) > (arg2 :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type (arg1 :: Symbol) > (arg2 :: Symbol)
type (arg1 :: Symbol) >= (arg2 :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type (arg1 :: Symbol) >= (arg2 :: Symbol)
type Max (arg1 :: Symbol) (arg2 :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Max (arg1 :: Symbol) (arg2 :: Symbol)
type Min (arg1 :: Symbol) (arg2 :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Min (arg1 :: Symbol) (arg2 :: Symbol)
type ShowList (arg1 :: [Symbol]) arg2 # 
Instance details

Defined in Data.Singletons.Prelude.Show

type ShowList (arg1 :: [Symbol]) arg2
type Apply KnownSymbolSym0 (l :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits

type Apply ShowCommaSpaceSym0 (l :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply ShowSpaceSym0 (l :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type ShowsPrec a1 (a2 :: Symbol) a3 # 
Instance details

Defined in Data.Singletons.Prelude.Show

type ShowsPrec a1 (a2 :: Symbol) a3
type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = l1 <> l2
type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowChar l1 l2
type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowString l1 l2
type Apply (FromStringSym0 :: TyFun Symbol k2 -> *) (l :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.IsString

type Apply (FromStringSym0 :: TyFun Symbol k2 -> *) (l :: Symbol) = (FromString l :: k2)
type Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) = Show_ l
type Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowList l1 l2
type Apply (ShowsSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = Shows l1 l2
type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowParen l1 l2 l3
type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowsPrec l1 l2 l3
type Apply (ShowListWithSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListWithSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowListWith l1 l2 l3
type Apply ShowParenSym0 (l :: Bool) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply ShowCharSym0 (l :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply ShowStringSym0 (l :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (<>@#@$) (l :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Apply (<>@#@$) (l :: Symbol) = (<>@#@$$) l
type Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) = (ShowsPrecSym1 l :: TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> *)
type Apply (ShowsSym0 :: TyFun a6989586621679694495 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679694495) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsSym0 :: TyFun a6989586621679694495 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679694495) = ShowsSym1 l
type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679694510) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679694510) = ShowsPrecSym2 l1 l2
type Apply UnlinesSym0 (l :: [Symbol]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply UnlinesSym0 (l :: [Symbol]) = Unlines l
type Apply UnwordsSym0 (l :: [Symbol]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply UnwordsSym0 (l :: [Symbol]) = Unwords l
type Apply (ShowListSym0 :: TyFun [a6989586621679694510] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679694510]) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListSym0 :: TyFun [a6989586621679694510] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679694510]) = ShowListSym1 l
type Apply (ShowListWithSym1 l1 :: TyFun [a6989586621679694494] (TyFun Symbol Symbol -> Type) -> *) (l2 :: [a6989586621679694494]) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListWithSym1 l1 :: TyFun [a6989586621679694494] (TyFun Symbol Symbol -> Type) -> *) (l2 :: [a6989586621679694494]) = ShowListWithSym2 l1 l2
type Apply (ShowParenSym1 l1 :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> *) (l2 :: TyFun Symbol Symbol -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListWithSym0 :: TyFun (TyFun a6989586621679694494 (TyFun Symbol Symbol -> Type) -> Type) (TyFun [a6989586621679694494] (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: TyFun a6989586621679694494 (TyFun Symbol Symbol -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListWithSym0 :: TyFun (TyFun a6989586621679694494 (TyFun Symbol Symbol -> Type) -> Type) (TyFun [a6989586621679694494] (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: TyFun a6989586621679694494 (TyFun Symbol Symbol -> Type) -> Type) = ShowListWithSym1 l

Other functions

either_ :: (a -> c) -> (b -> c) -> Either a b -> c #

maybe_ :: b -> (a -> b) -> Maybe a -> b #

bool_ :: a -> a -> Bool -> a #

show_ :: Show a => a -> String #

show, but with an extra underscore so that its promoted counterpart (Show_) will not clash with the Show class.

Defunctionalization symbols

type TrueSym0 = True #

data NotSym0 (l :: TyFun Bool Bool) #

Instances
SuppressUnusedWarnings NotSym0 # 
Instance details

Defined in Data.Singletons.Prelude.Bool

type Apply NotSym0 (l :: Bool) # 
Instance details

Defined in Data.Singletons.Prelude.Bool

type Apply NotSym0 (l :: Bool) = Not l

type NotSym1 (t :: Bool) = Not t #

data (&&@#@$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) #

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

Defined in Data.Singletons.Prelude.Bool

type Apply (&&@#@$) (l :: Bool) # 
Instance details

Defined in Data.Singletons.Prelude.Bool

type Apply (&&@#@$) (l :: Bool) = (&&@#@$$) l

data (l :: Bool) &&@#@$$ (l :: TyFun Bool Bool) #

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

Defined in Data.Singletons.Prelude.Bool

type Apply ((&&@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) # 
Instance details

Defined in Data.Singletons.Prelude.Bool

type Apply ((&&@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) = l1 && l2

type (&&@#@$$$) (t :: Bool) (t :: Bool) = (&&) t t #

data (||@#@$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) #

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

Defined in Data.Singletons.Prelude.Bool

type Apply (||@#@$) (l :: Bool) # 
Instance details

Defined in Data.Singletons.Prelude.Bool

type Apply (||@#@$) (l :: Bool) = (||@#@$$) l

data (l :: Bool) ||@#@$$ (l :: TyFun Bool Bool) #

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

Defined in Data.Singletons.Prelude.Bool

type Apply ((||@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) # 
Instance details

Defined in Data.Singletons.Prelude.Bool

type Apply ((||@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) = l1 || l2

type (||@#@$$$) (t :: Bool) (t :: Bool) = (||) t t #

data JustSym0 (l :: TyFun a3530822107858468865 (Maybe a3530822107858468865)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (JustSym0 :: TyFun a (Maybe a) -> *) (l :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (JustSym0 :: TyFun a (Maybe a) -> *) (l :: a) = Just l

type JustSym1 (t :: a3530822107858468865) = Just t #

data Maybe_Sym0 (l :: TyFun b6989586621679419480 (TyFun (TyFun a6989586621679419481 b6989586621679419480 -> Type) (TyFun (Maybe a6989586621679419481) b6989586621679419480 -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679419480 (TyFun (TyFun a6989586621679419481 b6989586621679419480 -> Type) (TyFun (Maybe a6989586621679419481) b6989586621679419480 -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

type Apply (Maybe_Sym0 :: TyFun b6989586621679419480 (TyFun (TyFun a6989586621679419481 b6989586621679419480 -> Type) (TyFun (Maybe a6989586621679419481) b6989586621679419480 -> Type) -> Type) -> *) (l :: b6989586621679419480) # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

type Apply (Maybe_Sym0 :: TyFun b6989586621679419480 (TyFun (TyFun a6989586621679419481 b6989586621679419480 -> Type) (TyFun (Maybe a6989586621679419481) b6989586621679419480 -> Type) -> Type) -> *) (l :: b6989586621679419480) = (Maybe_Sym1 l :: TyFun (TyFun a6989586621679419481 b6989586621679419480 -> Type) (TyFun (Maybe a6989586621679419481) b6989586621679419480 -> Type) -> *)

data Maybe_Sym1 (l :: b6989586621679419480) (l :: TyFun (TyFun a6989586621679419481 b6989586621679419480 -> Type) (TyFun (Maybe a6989586621679419481) b6989586621679419480 -> Type)) #

Instances
SuppressUnusedWarnings (Maybe_Sym1 :: b6989586621679419480 -> TyFun (TyFun a6989586621679419481 b6989586621679419480 -> Type) (TyFun (Maybe a6989586621679419481) b6989586621679419480 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

type Apply (Maybe_Sym1 l1 :: TyFun (TyFun a6989586621679419481 b6989586621679419480 -> Type) (TyFun (Maybe a6989586621679419481) b6989586621679419480 -> Type) -> *) (l2 :: TyFun a6989586621679419481 b6989586621679419480 -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

type Apply (Maybe_Sym1 l1 :: TyFun (TyFun a6989586621679419481 b6989586621679419480 -> Type) (TyFun (Maybe a6989586621679419481) b6989586621679419480 -> Type) -> *) (l2 :: TyFun a6989586621679419481 b6989586621679419480 -> Type) = Maybe_Sym2 l1 l2

data Maybe_Sym2 (l :: b6989586621679419480) (l :: TyFun a6989586621679419481 b6989586621679419480 -> Type) (l :: TyFun (Maybe a6989586621679419481) b6989586621679419480) #

Instances
SuppressUnusedWarnings (Maybe_Sym2 :: b6989586621679419480 -> (TyFun a6989586621679419481 b6989586621679419480 -> Type) -> TyFun (Maybe a6989586621679419481) b6989586621679419480 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

type Apply (Maybe_Sym2 l1 l2 :: TyFun (Maybe a) b -> *) (l3 :: Maybe a) # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

type Apply (Maybe_Sym2 l1 l2 :: TyFun (Maybe a) b -> *) (l3 :: Maybe a) = Maybe_ l1 l2 l3

type Maybe_Sym3 (t :: b6989586621679419480) (t :: TyFun a6989586621679419481 b6989586621679419480 -> Type) (t :: Maybe a6989586621679419481) = Maybe_ t t t #

data LeftSym0 (l :: TyFun a6989586621679083190 (Either a6989586621679083190 b6989586621679083191)) #

Instances
SuppressUnusedWarnings (LeftSym0 :: TyFun a6989586621679083190 (Either a6989586621679083190 b6989586621679083191) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (LeftSym0 :: TyFun a (Either a b6989586621679083191) -> *) (l :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (LeftSym0 :: TyFun a (Either a b6989586621679083191) -> *) (l :: a) = (Left l :: Either a b6989586621679083191)

type LeftSym1 (t :: a6989586621679083190) = Left t #

data RightSym0 (l :: TyFun b6989586621679083191 (Either a6989586621679083190 b6989586621679083191)) #

Instances
SuppressUnusedWarnings (RightSym0 :: TyFun b6989586621679083191 (Either a6989586621679083190 b6989586621679083191) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (RightSym0 :: TyFun b (Either a6989586621679083190 b) -> *) (l :: b) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (RightSym0 :: TyFun b (Either a6989586621679083190 b) -> *) (l :: b) = (Right l :: Either a6989586621679083190 b)

type RightSym1 (t :: b6989586621679083191) = Right t #

data Either_Sym0 (l :: TyFun (TyFun a6989586621679940661 c6989586621679940662 -> Type) (TyFun (TyFun b6989586621679940663 c6989586621679940662 -> Type) (TyFun (Either a6989586621679940661 b6989586621679940663) c6989586621679940662 -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (Either_Sym0 :: TyFun (TyFun a6989586621679940661 c6989586621679940662 -> Type) (TyFun (TyFun b6989586621679940663 c6989586621679940662 -> Type) (TyFun (Either a6989586621679940661 b6989586621679940663) c6989586621679940662 -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Either

type Apply (Either_Sym0 :: TyFun (TyFun a6989586621679940661 c6989586621679940662 -> Type) (TyFun (TyFun b6989586621679940663 c6989586621679940662 -> Type) (TyFun (Either a6989586621679940661 b6989586621679940663) c6989586621679940662 -> Type) -> Type) -> *) (l :: TyFun a6989586621679940661 c6989586621679940662 -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Either

type Apply (Either_Sym0 :: TyFun (TyFun a6989586621679940661 c6989586621679940662 -> Type) (TyFun (TyFun b6989586621679940663 c6989586621679940662 -> Type) (TyFun (Either a6989586621679940661 b6989586621679940663) c6989586621679940662 -> Type) -> Type) -> *) (l :: TyFun a6989586621679940661 c6989586621679940662 -> Type) = (Either_Sym1 l :: TyFun (TyFun b6989586621679940663 c6989586621679940662 -> Type) (TyFun (Either a6989586621679940661 b6989586621679940663) c6989586621679940662 -> Type) -> *)

data Either_Sym1 (l :: TyFun a6989586621679940661 c6989586621679940662 -> Type) (l :: TyFun (TyFun b6989586621679940663 c6989586621679940662 -> Type) (TyFun (Either a6989586621679940661 b6989586621679940663) c6989586621679940662 -> Type)) #

Instances
SuppressUnusedWarnings (Either_Sym1 :: (TyFun a6989586621679940661 c6989586621679940662 -> Type) -> TyFun (TyFun b6989586621679940663 c6989586621679940662 -> Type) (TyFun (Either a6989586621679940661 b6989586621679940663) c6989586621679940662 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Either

type Apply (Either_Sym1 l1 :: TyFun (TyFun b6989586621679940663 c6989586621679940662 -> Type) (TyFun (Either a6989586621679940661 b6989586621679940663) c6989586621679940662 -> Type) -> *) (l2 :: TyFun b6989586621679940663 c6989586621679940662 -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Either

type Apply (Either_Sym1 l1 :: TyFun (TyFun b6989586621679940663 c6989586621679940662 -> Type) (TyFun (Either a6989586621679940661 b6989586621679940663) c6989586621679940662 -> Type) -> *) (l2 :: TyFun b6989586621679940663 c6989586621679940662 -> Type) = Either_Sym2 l1 l2

data Either_Sym2 (l :: TyFun a6989586621679940661 c6989586621679940662 -> Type) (l :: TyFun b6989586621679940663 c6989586621679940662 -> Type) (l :: TyFun (Either a6989586621679940661 b6989586621679940663) c6989586621679940662) #

Instances
SuppressUnusedWarnings (Either_Sym2 :: (TyFun a6989586621679940661 c6989586621679940662 -> Type) -> (TyFun b6989586621679940663 c6989586621679940662 -> Type) -> TyFun (Either a6989586621679940661 b6989586621679940663) c6989586621679940662 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Either

type Apply (Either_Sym2 l1 l2 :: TyFun (Either a b) c -> *) (l3 :: Either a b) # 
Instance details

Defined in Data.Singletons.Prelude.Either

type Apply (Either_Sym2 l1 l2 :: TyFun (Either a b) c -> *) (l3 :: Either a b) = Either_ l1 l2 l3

type Either_Sym3 (t :: TyFun a6989586621679940661 c6989586621679940662 -> Type) (t :: TyFun b6989586621679940663 c6989586621679940662 -> Type) (t :: Either a6989586621679940661 b6989586621679940663) = Either_ t t t #

type Tuple0Sym0 = '() #

data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (l :: a3530822107858468865) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (l :: a3530822107858468865) = (Tuple2Sym1 l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *)

data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple2Sym1 l1 :: TyFun k1 (k2, k1) -> *) (l2 :: k1) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple2Sym1 l1 :: TyFun k1 (k2, k1) -> *) (l2 :: k1) = (,) l1 l2

type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t) #

data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (l :: a3530822107858468865) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple3Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *)

data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple3Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (l2 :: b3530822107858468866) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple3Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple3Sym2 l1 l2 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *)

data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple3Sym2 l1 l2 :: TyFun k3 (k2, k1, k3) -> *) (l3 :: k3) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple3Sym2 l1 l2 :: TyFun k3 (k2, k1, k3) -> *) (l3 :: k3) = (,,) l1 l2 l3

type Tuple3Sym3 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) = '(t, t, t) #

data Tuple4Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple4Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *)

data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *)

data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (l3 :: c3530822107858468867) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple4Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *)

data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym3 l1 l2 l3 :: TyFun k4 (k2, k1, k3, k4) -> *) (l4 :: k4) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym3 l1 l2 l3 :: TyFun k4 (k2, k1, k3, k4) -> *) (l4 :: k4) = (,,,) l1 l2 l3 l4

type Tuple4Sym4 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) = '(t, t, t, t) #

data Tuple5Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple5Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *)

data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *)

data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *)

data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (l4 :: d3530822107858468868) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple5Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *)

data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym4 l1 l2 l3 l4 :: TyFun k5 (k2, k1, k3, k4, k5) -> *) (l5 :: k5) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym4 l1 l2 l3 l4 :: TyFun k5 (k2, k1, k3, k4, k5) -> *) (l5 :: k5) = (,,,,) l1 l2 l3 l4 l5

type Tuple5Sym5 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) = '(t, t, t, t, t) #

data Tuple6Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type)) #

Instances
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) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple6Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *)

data Tuple6Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *)

data Tuple6Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *)

data Tuple6Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *)

data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (l5 :: e3530822107858468869) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (l5 :: e3530822107858468869) = (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *)

data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> *) (l6 :: k6) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> *) (l6 :: k6) = (,,,,,) l1 l2 l3 l4 l5 l6

type Tuple6Sym6 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) = '(t, t, t, t, t, t) #

data Tuple7Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple7Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *)

data Tuple7Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple7Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *)

data Tuple7Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple7Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *)

data Tuple7Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *)

data Tuple7Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (l5 :: e3530822107858468869) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (l5 :: e3530822107858468869) = (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *)

data Tuple7Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (l6 :: f3530822107858468870) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (l6 :: f3530822107858468870) = (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *)

data Tuple7Sym6 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: f3530822107858468870) (l :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> *) (l7 :: k7) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> *) (l7 :: k7) = (,,,,,,) l1 l2 l3 l4 l5 l6 l7

type Tuple7Sym7 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) (t :: g3530822107858468871) = '(t, t, t, t, t, t, t) #

data FstSym0 (l :: TyFun (a6989586621679297966, b6989586621679297967) a6989586621679297966) #

Instances
SuppressUnusedWarnings (FstSym0 :: TyFun (a6989586621679297966, b6989586621679297967) a6989586621679297966 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (FstSym0 :: TyFun (a, b) a -> *) (l :: (a, b)) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (FstSym0 :: TyFun (a, b) a -> *) (l :: (a, b)) = Fst l

type FstSym1 (t :: (a6989586621679297966, b6989586621679297967)) = Fst t #

data SndSym0 (l :: TyFun (a6989586621679297964, b6989586621679297965) b6989586621679297965) #

Instances
SuppressUnusedWarnings (SndSym0 :: TyFun (a6989586621679297964, b6989586621679297965) b6989586621679297965 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (SndSym0 :: TyFun (a, b) b -> *) (l :: (a, b)) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (SndSym0 :: TyFun (a, b) b -> *) (l :: (a, b)) = Snd l

type SndSym1 (t :: (a6989586621679297964, b6989586621679297965)) = Snd t #

data CurrySym0 (l :: TyFun (TyFun (a6989586621679297961, b6989586621679297962) c6989586621679297963 -> Type) (TyFun a6989586621679297961 (TyFun b6989586621679297962 c6989586621679297963 -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (CurrySym0 :: TyFun (TyFun (a6989586621679297961, b6989586621679297962) c6989586621679297963 -> Type) (TyFun a6989586621679297961 (TyFun b6989586621679297962 c6989586621679297963 -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (CurrySym0 :: TyFun (TyFun (a6989586621679297961, b6989586621679297962) c6989586621679297963 -> Type) (TyFun a6989586621679297961 (TyFun b6989586621679297962 c6989586621679297963 -> Type) -> Type) -> *) (l :: TyFun (a6989586621679297961, b6989586621679297962) c6989586621679297963 -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (CurrySym0 :: TyFun (TyFun (a6989586621679297961, b6989586621679297962) c6989586621679297963 -> Type) (TyFun a6989586621679297961 (TyFun b6989586621679297962 c6989586621679297963 -> Type) -> Type) -> *) (l :: TyFun (a6989586621679297961, b6989586621679297962) c6989586621679297963 -> Type) = CurrySym1 l

data CurrySym1 (l :: TyFun (a6989586621679297961, b6989586621679297962) c6989586621679297963 -> Type) (l :: TyFun a6989586621679297961 (TyFun b6989586621679297962 c6989586621679297963 -> Type)) #

Instances
SuppressUnusedWarnings (CurrySym1 :: (TyFun (a6989586621679297961, b6989586621679297962) c6989586621679297963 -> Type) -> TyFun a6989586621679297961 (TyFun b6989586621679297962 c6989586621679297963 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (CurrySym1 l1 :: TyFun a6989586621679297961 (TyFun b6989586621679297962 c6989586621679297963 -> Type) -> *) (l2 :: a6989586621679297961) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (CurrySym1 l1 :: TyFun a6989586621679297961 (TyFun b6989586621679297962 c6989586621679297963 -> Type) -> *) (l2 :: a6989586621679297961) = CurrySym2 l1 l2

data CurrySym2 (l :: TyFun (a6989586621679297961, b6989586621679297962) c6989586621679297963 -> Type) (l :: a6989586621679297961) (l :: TyFun b6989586621679297962 c6989586621679297963) #

Instances
SuppressUnusedWarnings (CurrySym2 :: (TyFun (a6989586621679297961, b6989586621679297962) c6989586621679297963 -> Type) -> a6989586621679297961 -> TyFun b6989586621679297962 c6989586621679297963 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (CurrySym2 l1 l2 :: TyFun b c -> *) (l3 :: b) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (CurrySym2 l1 l2 :: TyFun b c -> *) (l3 :: b) = Curry l1 l2 l3

type CurrySym3 (t :: TyFun (a6989586621679297961, b6989586621679297962) c6989586621679297963 -> Type) (t :: a6989586621679297961) (t :: b6989586621679297962) = Curry t t t #

data UncurrySym0 (l :: TyFun (TyFun a6989586621679297958 (TyFun b6989586621679297959 c6989586621679297960 -> Type) -> Type) (TyFun (a6989586621679297958, b6989586621679297959) c6989586621679297960 -> Type)) #

Instances
SuppressUnusedWarnings (UncurrySym0 :: TyFun (TyFun a6989586621679297958 (TyFun b6989586621679297959 c6989586621679297960 -> Type) -> Type) (TyFun (a6989586621679297958, b6989586621679297959) c6989586621679297960 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (UncurrySym0 :: TyFun (TyFun a6989586621679297958 (TyFun b6989586621679297959 c6989586621679297960 -> Type) -> Type) (TyFun (a6989586621679297958, b6989586621679297959) c6989586621679297960 -> Type) -> *) (l :: TyFun a6989586621679297958 (TyFun b6989586621679297959 c6989586621679297960 -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (UncurrySym0 :: TyFun (TyFun a6989586621679297958 (TyFun b6989586621679297959 c6989586621679297960 -> Type) -> Type) (TyFun (a6989586621679297958, b6989586621679297959) c6989586621679297960 -> Type) -> *) (l :: TyFun a6989586621679297958 (TyFun b6989586621679297959 c6989586621679297960 -> Type) -> Type) = UncurrySym1 l

data UncurrySym1 (l :: TyFun a6989586621679297958 (TyFun b6989586621679297959 c6989586621679297960 -> Type) -> Type) (l :: TyFun (a6989586621679297958, b6989586621679297959) c6989586621679297960) #

Instances
SuppressUnusedWarnings (UncurrySym1 :: (TyFun a6989586621679297958 (TyFun b6989586621679297959 c6989586621679297960 -> Type) -> Type) -> TyFun (a6989586621679297958, b6989586621679297959) c6989586621679297960 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (UncurrySym1 l1 :: TyFun (a, b) c -> *) (l2 :: (a, b)) # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (UncurrySym1 l1 :: TyFun (a, b) c -> *) (l2 :: (a, b)) = Uncurry l1 l2

type UncurrySym2 (t :: TyFun a6989586621679297958 (TyFun b6989586621679297959 c6989586621679297960 -> Type) -> Type) (t :: (a6989586621679297958, b6989586621679297959)) = Uncurry t t #

data ErrorSym0 (l :: TyFun k06989586621679393946 k6989586621679393947) #

Instances
SuppressUnusedWarnings (ErrorSym0 :: TyFun k06989586621679393946 k6989586621679393947 -> *) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Apply (ErrorSym0 :: TyFun k0 k2 -> *) (l :: k0) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Apply (ErrorSym0 :: TyFun k0 k2 -> *) (l :: k0) = (Error l :: k2)

type ErrorSym1 (t :: k06989586621679393946) = Error t #

data (^@#@$) (l :: TyFun Nat (TyFun Nat Nat -> Type)) #

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

Defined in Data.Singletons.TypeLits.Internal

type Apply (^@#@$) (l :: Nat) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Apply (^@#@$) (l :: Nat) = (^@#@$$) l

data (l :: Nat) ^@#@$$ (l :: TyFun Nat Nat) #

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

Defined in Data.Singletons.TypeLits.Internal

type Apply ((^@#@$$) l1 :: TyFun Nat Nat -> *) (l2 :: Nat) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Apply ((^@#@$$) l1 :: TyFun Nat Nat -> *) (l2 :: Nat) = l1 ^ l2

type (^@#@$$$) (t :: Nat) (t :: Nat) = (^) t t #

data ShowsPrecSym0 (l :: TyFun Nat (TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) = (ShowsPrecSym1 l :: TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> *)

data ShowsPrecSym1 (l :: Nat) (l :: TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type)) #

Instances
SuppressUnusedWarnings (ShowsPrecSym1 :: Nat -> TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679694510) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679694510 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679694510) = ShowsPrecSym2 l1 l2

data ShowsPrecSym2 (l :: Nat) (l :: a6989586621679694510) (l :: TyFun Symbol Symbol) #

Instances
SuppressUnusedWarnings (ShowsPrecSym2 :: Nat -> a6989586621679694510 -> TyFun Symbol Symbol -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowsPrec l1 l2 l3

type ShowsPrecSym3 (t :: Nat) (t :: a6989586621679694510) (t :: Symbol) = ShowsPrec t t t #

data Show_Sym0 (l :: TyFun a6989586621679694510 Symbol) #

Instances
SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621679694510 Symbol -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) = Show_ l

type Show_Sym1 (t :: a6989586621679694510) = Show_ t #

data ShowListSym0 (l :: TyFun [a6989586621679694510] (TyFun Symbol Symbol -> Type)) #

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

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListSym0 :: TyFun [a6989586621679694510] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679694510]) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListSym0 :: TyFun [a6989586621679694510] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679694510]) = ShowListSym1 l

data ShowListSym1 (l :: [a6989586621679694510]) (l :: TyFun Symbol Symbol) #

Instances
SuppressUnusedWarnings (ShowListSym1 :: [a6989586621679694510] -> TyFun Symbol Symbol -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowList l1 l2

type ShowListSym2 (t :: [a6989586621679694510]) (t :: Symbol) = ShowList t t #

data (<>@#@$) l #

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

Defined in Data.Singletons.TypeLits.Internal

type Apply (<>@#@$) (l :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Apply (<>@#@$) (l :: Symbol) = (<>@#@$$) l

data (l :: Symbol) <>@#@$$ l #

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

Defined in Data.Singletons.TypeLits.Internal

type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = l1 <> l2

type (<>@#@$$$) (t :: Symbol) (t :: Symbol) = (<>) t t #

data ShowsSym0 (l :: TyFun a6989586621679694495 (TyFun Symbol Symbol -> Type)) #

Instances
SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621679694495 (TyFun Symbol Symbol -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsSym0 :: TyFun a6989586621679694495 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679694495) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsSym0 :: TyFun a6989586621679694495 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679694495) = ShowsSym1 l

data ShowsSym1 (l :: a6989586621679694495) (l :: TyFun Symbol Symbol) #

Instances
SuppressUnusedWarnings (ShowsSym1 :: a6989586621679694495 -> TyFun Symbol Symbol -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = Shows l1 l2

type ShowsSym2 (t :: a6989586621679694495) (t :: Symbol) = Shows t t #

data ShowCharSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) #

Instances
SuppressUnusedWarnings ShowCharSym1 # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowChar l1 l2

type ShowCharSym2 (t :: Symbol) (t :: Symbol) = ShowChar t t #

data ShowStringSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) #

Instances
SuppressUnusedWarnings ShowStringSym1 # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowString l1 l2

type ShowStringSym2 (t :: Symbol) (t :: Symbol) = ShowString t t #

data ShowParenSym2 (l :: Bool) (l :: TyFun Symbol Symbol -> Type) (l :: TyFun Symbol Symbol) #

Instances
SuppressUnusedWarnings ShowParenSym2 # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowParen l1 l2 l3

data IdSym0 (l :: TyFun a6989586621679436420 a6989586621679436420) #

Instances
SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679436420 a6989586621679436420 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (IdSym0 :: TyFun a a -> *) (l :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (IdSym0 :: TyFun a a -> *) (l :: a) = Id l

type IdSym1 (t :: a6989586621679436420) = Id t #

data ConstSym0 (l :: TyFun a6989586621679436418 (TyFun b6989586621679436419 a6989586621679436418 -> Type)) #

Instances
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679436418 (TyFun b6989586621679436419 a6989586621679436418 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym0 :: TyFun a6989586621679436418 (TyFun b6989586621679436419 a6989586621679436418 -> Type) -> *) (l :: a6989586621679436418) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym0 :: TyFun a6989586621679436418 (TyFun b6989586621679436419 a6989586621679436418 -> Type) -> *) (l :: a6989586621679436418) = (ConstSym1 l :: TyFun b6989586621679436419 a6989586621679436418 -> *)

data ConstSym1 (l :: a6989586621679436418) (l :: TyFun b6989586621679436419 a6989586621679436418) #

Instances
SuppressUnusedWarnings (ConstSym1 :: a6989586621679436418 -> TyFun b6989586621679436419 a6989586621679436418 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym1 l1 :: TyFun b a -> *) (l2 :: b) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym1 l1 :: TyFun b a -> *) (l2 :: b) = Const l1 l2

type ConstSym2 (t :: a6989586621679436418) (t :: b6989586621679436419) = Const t t #

data (.@#@$) (l :: TyFun (TyFun b6989586621679436415 c6989586621679436416 -> Type) (TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> Type)) #

Instances
SuppressUnusedWarnings ((.@#@$) :: TyFun (TyFun b6989586621679436415 c6989586621679436416 -> Type) (TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$) :: TyFun (TyFun b6989586621679436415 c6989586621679436416 -> Type) (TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> Type) -> *) (l :: TyFun b6989586621679436415 c6989586621679436416 -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$) :: TyFun (TyFun b6989586621679436415 c6989586621679436416 -> Type) (TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> Type) -> *) (l :: TyFun b6989586621679436415 c6989586621679436416 -> Type) = ((.@#@$$) l :: TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> *)

data (l :: TyFun b6989586621679436415 c6989586621679436416 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type)) #

Instances
SuppressUnusedWarnings ((.@#@$$) :: (TyFun b6989586621679436415 c6989586621679436416 -> Type) -> TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> *) (l2 :: TyFun a6989586621679436417 b6989586621679436415 -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> *) (l2 :: TyFun a6989586621679436417 b6989586621679436415 -> Type) = l1 .@#@$$$ l2

data ((l :: TyFun b6989586621679436415 c6989586621679436416 -> Type) .@#@$$$ (l :: TyFun a6989586621679436417 b6989586621679436415 -> Type)) (l :: TyFun a6989586621679436417 c6989586621679436416) #

Instances
SuppressUnusedWarnings ((.@#@$$$) :: (TyFun b6989586621679436415 c6989586621679436416 -> Type) -> (TyFun a6989586621679436417 b6989586621679436415 -> Type) -> TyFun a6989586621679436417 c6989586621679436416 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (l1 .@#@$$$ l2 :: TyFun a c -> *) (l3 :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (l1 .@#@$$$ l2 :: TyFun a c -> *) (l3 :: a) = (l1 :. l2) l3

data ($@#@$) (l :: TyFun (TyFun a6989586621679436409 b6989586621679436410 -> Type) (TyFun a6989586621679436409 b6989586621679436410 -> Type)) #

Instances
SuppressUnusedWarnings (($@#@$) :: TyFun (TyFun a6989586621679436409 b6989586621679436410 -> Type) (TyFun a6989586621679436409 b6989586621679436410 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$) :: TyFun (TyFun a6989586621679436409 b6989586621679436410 -> Type) (TyFun a6989586621679436409 b6989586621679436410 -> Type) -> *) (l :: TyFun a6989586621679436409 b6989586621679436410 -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$) :: TyFun (TyFun a6989586621679436409 b6989586621679436410 -> Type) (TyFun a6989586621679436409 b6989586621679436410 -> Type) -> *) (l :: TyFun a6989586621679436409 b6989586621679436410 -> Type) = ($@#@$$) l

data (l :: TyFun a6989586621679436409 b6989586621679436410 -> Type) $@#@$$ (l :: TyFun a6989586621679436409 b6989586621679436410) #

Instances
SuppressUnusedWarnings (($@#@$$) :: (TyFun a6989586621679436409 b6989586621679436410 -> Type) -> TyFun a6989586621679436409 b6989586621679436410 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$$) l1 :: TyFun a b -> *) (l2 :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$$) l1 :: TyFun a b -> *) (l2 :: a) = l1 $ l2

type ($@#@$$$) (t :: TyFun a6989586621679436409 b6989586621679436410 -> Type) (t :: a6989586621679436409) = ($) t t #

data ($!@#@$) (l :: TyFun (TyFun a6989586621679436407 b6989586621679436408 -> Type) (TyFun a6989586621679436407 b6989586621679436408 -> Type)) #

Instances
SuppressUnusedWarnings (($!@#@$) :: TyFun (TyFun a6989586621679436407 b6989586621679436408 -> Type) (TyFun a6989586621679436407 b6989586621679436408 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$) :: TyFun (TyFun a6989586621679436407 b6989586621679436408 -> Type) (TyFun a6989586621679436407 b6989586621679436408 -> Type) -> *) (l :: TyFun a6989586621679436407 b6989586621679436408 -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$) :: TyFun (TyFun a6989586621679436407 b6989586621679436408 -> Type) (TyFun a6989586621679436407 b6989586621679436408 -> Type) -> *) (l :: TyFun a6989586621679436407 b6989586621679436408 -> Type) = ($!@#@$$) l

data (l :: TyFun a6989586621679436407 b6989586621679436408 -> Type) $!@#@$$ (l :: TyFun a6989586621679436407 b6989586621679436408) #

Instances
SuppressUnusedWarnings (($!@#@$$) :: (TyFun a6989586621679436407 b6989586621679436408 -> Type) -> TyFun a6989586621679436407 b6989586621679436408 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$$) l1 :: TyFun a b -> *) (l2 :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$$) l1 :: TyFun a b -> *) (l2 :: a) = l1 $! l2

type ($!@#@$$$) (t :: TyFun a6989586621679436407 b6989586621679436408 -> Type) (t :: a6989586621679436407) = ($!) t t #

data FlipSym0 (l :: TyFun (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym0 :: TyFun (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> Type) -> *) (l :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym0 :: TyFun (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> Type) -> *) (l :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) = FlipSym1 l

data FlipSym1 (l :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (l :: TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type)) #

Instances
SuppressUnusedWarnings (FlipSym1 :: (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) -> TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym1 l1 :: TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> *) (l2 :: b6989586621679436413) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym1 l1 :: TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> *) (l2 :: b6989586621679436413) = FlipSym2 l1 l2

data FlipSym2 (l :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (l :: b6989586621679436413) (l :: TyFun a6989586621679436412 c6989586621679436414) #

Instances
SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) -> b6989586621679436413 -> TyFun a6989586621679436412 c6989586621679436414 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) = Flip l1 l2 l3

data AsTypeOfSym0 (l :: TyFun a6989586621679436411 (TyFun a6989586621679436411 a6989586621679436411 -> Type)) #

Instances
SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679436411 (TyFun a6989586621679436411 a6989586621679436411 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym0 :: TyFun a6989586621679436411 (TyFun a6989586621679436411 a6989586621679436411 -> Type) -> *) (l :: a6989586621679436411) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym0 :: TyFun a6989586621679436411 (TyFun a6989586621679436411 a6989586621679436411 -> Type) -> *) (l :: a6989586621679436411) = AsTypeOfSym1 l

data AsTypeOfSym1 (l :: a6989586621679436411) (l :: TyFun a6989586621679436411 a6989586621679436411) #

Instances
SuppressUnusedWarnings (AsTypeOfSym1 :: a6989586621679436411 -> TyFun a6989586621679436411 a6989586621679436411 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) = AsTypeOf l1 l2

type AsTypeOfSym2 (t :: a6989586621679436411) (t :: a6989586621679436411) = AsTypeOf t t #

data SeqSym0 (l :: TyFun a6989586621679436405 (TyFun b6989586621679436406 b6989586621679436406 -> Type)) #

Instances
SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679436405 (TyFun b6989586621679436406 b6989586621679436406 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym0 :: TyFun a6989586621679436405 (TyFun b6989586621679436406 b6989586621679436406 -> Type) -> *) (l :: a6989586621679436405) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym0 :: TyFun a6989586621679436405 (TyFun b6989586621679436406 b6989586621679436406 -> Type) -> *) (l :: a6989586621679436405) = (SeqSym1 l :: TyFun b6989586621679436406 b6989586621679436406 -> *)

data SeqSym1 (l :: a6989586621679436405) (l :: TyFun b6989586621679436406 b6989586621679436406) #

Instances
SuppressUnusedWarnings (SeqSym1 :: a6989586621679436405 -> TyFun b6989586621679436406 b6989586621679436406 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym1 l1 :: TyFun b b -> *) (l2 :: b) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym1 l1 :: TyFun b b -> *) (l2 :: b) = Seq l1 l2

type SeqSym2 (t :: a6989586621679436405) (t :: b6989586621679436406) = Seq t t #

data (:@#@$) (l :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type)) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply ((:@#@$) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) (l :: a3530822107858468865) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:@#@$) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) (l :: a3530822107858468865) = (:@#@$$) l

data (l :: a3530822107858468865) :@#@$$ (l :: TyFun [a3530822107858468865] [a3530822107858468865]) #

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

Defined in Data.Singletons.Prelude.Instances

type Apply ((:@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = l1 ': l2

type (:@#@$$$) (t :: a3530822107858468865) (t :: [a3530822107858468865]) = (:) t t #

type NilSym0 = '[] #

data MapSym0 (l :: TyFun (TyFun a6989586621679436422 b6989586621679436423 -> Type) (TyFun [a6989586621679436422] [b6989586621679436423] -> Type)) #

Instances
SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679436422 b6989586621679436423 -> Type) (TyFun [a6989586621679436422] [b6989586621679436423] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym0 :: TyFun (TyFun a6989586621679436422 b6989586621679436423 -> Type) (TyFun [a6989586621679436422] [b6989586621679436423] -> Type) -> *) (l :: TyFun a6989586621679436422 b6989586621679436423 -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym0 :: TyFun (TyFun a6989586621679436422 b6989586621679436423 -> Type) (TyFun [a6989586621679436422] [b6989586621679436423] -> Type) -> *) (l :: TyFun a6989586621679436422 b6989586621679436423 -> Type) = MapSym1 l

data MapSym1 (l :: TyFun a6989586621679436422 b6989586621679436423 -> Type) (l :: TyFun [a6989586621679436422] [b6989586621679436423]) #

Instances
SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679436422 b6989586621679436423 -> Type) -> TyFun [a6989586621679436422] [b6989586621679436423] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) = Map l1 l2

type MapSym2 (t :: TyFun a6989586621679436422 b6989586621679436423 -> Type) (t :: [a6989586621679436422]) = Map t t #

data ReverseSym0 (l :: TyFun [a6989586621679459307] [a6989586621679459307]) #

Instances
SuppressUnusedWarnings (ReverseSym0 :: TyFun [a6989586621679459307] [a6989586621679459307] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ReverseSym0 :: TyFun [a] [a] -> *) (l :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ReverseSym0 :: TyFun [a] [a] -> *) (l :: [a]) = Reverse l

type ReverseSym1 (t :: [a6989586621679459307]) = Reverse t #

data (l :: [a6989586621679436421]) ++@#@$$ (l :: TyFun [a6989586621679436421] [a6989586621679436421]) #

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

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = l1 ++ l2

data (++@#@$) (l :: TyFun [a6989586621679436421] (TyFun [a6989586621679436421] [a6989586621679436421] -> Type)) #

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

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$) :: TyFun [a6989586621679436421] (TyFun [a6989586621679436421] [a6989586621679436421] -> Type) -> *) (l :: [a6989586621679436421]) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$) :: TyFun [a6989586621679436421] (TyFun [a6989586621679436421] [a6989586621679436421] -> Type) -> *) (l :: [a6989586621679436421]) = (++@#@$$) l

data HeadSym0 (l :: TyFun [a6989586621679459312] a6989586621679459312) #

Instances
SuppressUnusedWarnings (HeadSym0 :: TyFun [a6989586621679459312] a6989586621679459312 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (HeadSym0 :: TyFun [a] a -> *) (l :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (HeadSym0 :: TyFun [a] a -> *) (l :: [a]) = Head l

type HeadSym1 (t :: [a6989586621679459312]) = Head t #

data LastSym0 (l :: TyFun [a6989586621679459311] a6989586621679459311) #

Instances
SuppressUnusedWarnings (LastSym0 :: TyFun [a6989586621679459311] a6989586621679459311 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (LastSym0 :: TyFun [a] a -> *) (l :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (LastSym0 :: TyFun [a] a -> *) (l :: [a]) = Last l

type LastSym1 (t :: [a6989586621679459311]) = Last t #

data TailSym0 (l :: TyFun [a6989586621679459310] [a6989586621679459310]) #

Instances
SuppressUnusedWarnings (TailSym0 :: TyFun [a6989586621679459310] [a6989586621679459310] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (TailSym0 :: TyFun [a] [a] -> *) (l :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (TailSym0 :: TyFun [a] [a] -> *) (l :: [a]) = Tail l

type TailSym1 (t :: [a6989586621679459310]) = Tail t #

data InitSym0 (l :: TyFun [a6989586621679459309] [a6989586621679459309]) #

Instances
SuppressUnusedWarnings (InitSym0 :: TyFun [a6989586621679459309] [a6989586621679459309] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (InitSym0 :: TyFun [a] [a] -> *) (l :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (InitSym0 :: TyFun [a] [a] -> *) (l :: [a]) = Init l

type InitSym1 (t :: [a6989586621679459309]) = Init t #

data NullSym0 (l :: TyFun [a6989586621679459308] Bool) #

Instances
SuppressUnusedWarnings (NullSym0 :: TyFun [a6989586621679459308] Bool -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (NullSym0 :: TyFun [a] Bool -> *) (l :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (NullSym0 :: TyFun [a] Bool -> *) (l :: [a]) = Null l

type NullSym1 (t :: [a6989586621679459308]) = Null t #

data FoldlSym0 (l :: TyFun (TyFun b6989586621679270365 (TyFun a6989586621679270364 b6989586621679270365 -> Type) -> Type) (TyFun b6989586621679270365 (TyFun [a6989586621679270364] b6989586621679270365 -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (FoldlSym0 :: TyFun (TyFun b6989586621679270365 (TyFun a6989586621679270364 b6989586621679270365 -> Type) -> Type) (TyFun b6989586621679270365 (TyFun [a6989586621679270364] b6989586621679270365 -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (FoldlSym0 :: TyFun (TyFun b6989586621679270365 (TyFun a6989586621679270364 b6989586621679270365 -> Type) -> Type) (TyFun b6989586621679270365 (TyFun [a6989586621679270364] b6989586621679270365 -> Type) -> Type) -> *) (l :: TyFun b6989586621679270365 (TyFun a6989586621679270364 b6989586621679270365 -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (FoldlSym0 :: TyFun (TyFun b6989586621679270365 (TyFun a6989586621679270364 b6989586621679270365 -> Type) -> Type) (TyFun b6989586621679270365 (TyFun [a6989586621679270364] b6989586621679270365 -> Type) -> Type) -> *) (l :: TyFun b6989586621679270365 (TyFun a6989586621679270364 b6989586621679270365 -> Type) -> Type) = FoldlSym1 l

data FoldlSym1 (l :: TyFun b6989586621679270365 (TyFun a6989586621679270364 b6989586621679270365 -> Type) -> Type) (l :: TyFun b6989586621679270365 (TyFun [a6989586621679270364] b6989586621679270365 -> Type)) #

Instances
SuppressUnusedWarnings (FoldlSym1 :: (TyFun b6989586621679270365 (TyFun a6989586621679270364 b6989586621679270365 -> Type) -> Type) -> TyFun b6989586621679270365 (TyFun [a6989586621679270364] b6989586621679270365 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (FoldlSym1 l1 :: TyFun b6989586621679270365 (TyFun [a6989586621679270364] b6989586621679270365 -> Type) -> *) (l2 :: b6989586621679270365) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (FoldlSym1 l1 :: TyFun b6989586621679270365 (TyFun [a6989586621679270364] b6989586621679270365 -> Type) -> *) (l2 :: b6989586621679270365) = FoldlSym2 l1 l2

data FoldlSym2 (l :: TyFun b6989586621679270365 (TyFun a6989586621679270364 b6989586621679270365 -> Type) -> Type) (l :: b6989586621679270365) (l :: TyFun [a6989586621679270364] b6989586621679270365) #

Instances
SuppressUnusedWarnings (FoldlSym2 :: (TyFun b6989586621679270365 (TyFun a6989586621679270364 b6989586621679270365 -> Type) -> Type) -> b6989586621679270365 -> TyFun [a6989586621679270364] b6989586621679270365 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (FoldlSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (FoldlSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) = Foldl l1 l2 l3

type FoldlSym3 (t :: TyFun b6989586621679270365 (TyFun a6989586621679270364 b6989586621679270365 -> Type) -> Type) (t :: b6989586621679270365) (t :: [a6989586621679270364]) = Foldl t t t #

data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679459298 (TyFun a6989586621679459298 a6989586621679459298 -> Type) -> Type) (TyFun [a6989586621679459298] a6989586621679459298 -> Type)) #

Instances
SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (TyFun a6989586621679459298 (TyFun a6989586621679459298 a6989586621679459298 -> Type) -> Type) (TyFun [a6989586621679459298] a6989586621679459298 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Foldl1Sym0 :: TyFun (TyFun a6989586621679459298 (TyFun a6989586621679459298 a6989586621679459298 -> Type) -> Type) (TyFun [a6989586621679459298] a6989586621679459298 -> Type) -> *) (l :: TyFun a6989586621679459298 (TyFun a6989586621679459298 a6989586621679459298 -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Foldl1Sym0 :: TyFun (TyFun a6989586621679459298 (TyFun a6989586621679459298 a6989586621679459298 -> Type) -> Type) (TyFun [a6989586621679459298] a6989586621679459298 -> Type) -> *) (l :: TyFun a6989586621679459298 (TyFun a6989586621679459298 a6989586621679459298 -> Type) -> Type) = Foldl1Sym1 l

data Foldl1Sym1 (l :: TyFun a6989586621679459298 (TyFun a6989586621679459298 a6989586621679459298 -> Type) -> Type) (l :: TyFun [a6989586621679459298] a6989586621679459298) #

Instances
SuppressUnusedWarnings (Foldl1Sym1 :: (TyFun a6989586621679459298 (TyFun a6989586621679459298 a6989586621679459298 -> Type) -> Type) -> TyFun [a6989586621679459298] a6989586621679459298 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Foldl1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Foldl1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) = Foldl1 l1 l2

type Foldl1Sym2 (t :: TyFun a6989586621679459298 (TyFun a6989586621679459298 a6989586621679459298 -> Type) -> Type) (t :: [a6989586621679459298]) = Foldl1 t t #

data FoldrSym0 (l :: TyFun (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (FoldrSym0 :: TyFun (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> Type) -> *) (l :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> Type) -> *) (l :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) = FoldrSym1 l

data FoldrSym1 (l :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (l :: TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type)) #

Instances
SuppressUnusedWarnings (FoldrSym1 :: (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) -> TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym1 l1 :: TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> *) (l2 :: b6989586621679436425) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym1 l1 :: TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> *) (l2 :: b6989586621679436425) = FoldrSym2 l1 l2

data FoldrSym2 (l :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (l :: b6989586621679436425) (l :: TyFun [a6989586621679436424] b6989586621679436425) #

Instances
SuppressUnusedWarnings (FoldrSym2 :: (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) -> b6989586621679436425 -> TyFun [a6989586621679436424] b6989586621679436425 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) = Foldr l1 l2 l3

type FoldrSym3 (t :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (t :: b6989586621679436425) (t :: [a6989586621679436424]) = Foldr t t t #

data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679459296 (TyFun a6989586621679459296 a6989586621679459296 -> Type) -> Type) (TyFun [a6989586621679459296] a6989586621679459296 -> Type)) #

Instances
SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (TyFun a6989586621679459296 (TyFun a6989586621679459296 a6989586621679459296 -> Type) -> Type) (TyFun [a6989586621679459296] a6989586621679459296 -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Foldr1Sym0 :: TyFun (TyFun a6989586621679459296 (TyFun a6989586621679459296 a6989586621679459296 -> Type) -> Type) (TyFun [a6989586621679459296] a6989586621679459296 -> Type) -> *) (l :: TyFun a6989586621679459296 (TyFun a6989586621679459296 a6989586621679459296 -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Foldr1Sym0 :: TyFun (TyFun a6989586621679459296 (TyFun a6989586621679459296 a6989586621679459296 -> Type) -> Type) (TyFun [a6989586621679459296] a6989586621679459296 -> Type) -> *) (l :: TyFun a6989586621679459296 (TyFun a6989586621679459296 a6989586621679459296 -> Type) -> Type) = Foldr1Sym1 l

data Foldr1Sym1 (l :: TyFun a6989586621679459296 (TyFun a6989586621679459296 a6989586621679459296 -> Type) -> Type) (l :: TyFun [a6989586621679459296] a6989586621679459296) #

Instances
SuppressUnusedWarnings (Foldr1Sym1 :: (TyFun a6989586621679459296 (TyFun a6989586621679459296 a6989586621679459296 -> Type) -> Type) -> TyFun [a6989586621679459296] a6989586621679459296 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Foldr1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Foldr1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) = Foldr1 l1 l2

type Foldr1Sym2 (t :: TyFun a6989586621679459296 (TyFun a6989586621679459296 a6989586621679459296 -> Type) -> Type) (t :: [a6989586621679459296]) = Foldr1 t t #

data ConcatSym0 (l :: TyFun [[a6989586621679459295]] [a6989586621679459295]) #

Instances
SuppressUnusedWarnings (ConcatSym0 :: TyFun [[a6989586621679459295]] [a6989586621679459295] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ConcatSym0 :: TyFun [[a]] [a] -> *) (l :: [[a]]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ConcatSym0 :: TyFun [[a]] [a] -> *) (l :: [[a]]) = Concat l

type ConcatSym1 (t :: [[a6989586621679459295]]) = Concat t #

data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679459293 [b6989586621679459294] -> Type) (TyFun [a6989586621679459293] [b6989586621679459294] -> Type)) #

Instances
SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (TyFun a6989586621679459293 [b6989586621679459294] -> Type) (TyFun [a6989586621679459293] [b6989586621679459294] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ConcatMapSym0 :: TyFun (TyFun a6989586621679459293 [b6989586621679459294] -> Type) (TyFun [a6989586621679459293] [b6989586621679459294] -> Type) -> *) (l :: TyFun a6989586621679459293 [b6989586621679459294] -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ConcatMapSym0 :: TyFun (TyFun a6989586621679459293 [b6989586621679459294] -> Type) (TyFun [a6989586621679459293] [b6989586621679459294] -> Type) -> *) (l :: TyFun a6989586621679459293 [b6989586621679459294] -> Type) = ConcatMapSym1 l

data ConcatMapSym1 (l :: TyFun a6989586621679459293 [b6989586621679459294] -> Type) (l :: TyFun [a6989586621679459293] [b6989586621679459294]) #

Instances
SuppressUnusedWarnings (ConcatMapSym1 :: (TyFun a6989586621679459293 [b6989586621679459294] -> Type) -> TyFun [a6989586621679459293] [b6989586621679459294] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ConcatMapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ConcatMapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) = ConcatMap l1 l2

type ConcatMapSym2 (t :: TyFun a6989586621679459293 [b6989586621679459294] -> Type) (t :: [a6989586621679459293]) = ConcatMap t t #

data AndSym0 (l :: TyFun [Bool] Bool) #

Instances
SuppressUnusedWarnings AndSym0 # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply AndSym0 (l :: [Bool]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply AndSym0 (l :: [Bool]) = And l

type AndSym1 (t :: [Bool]) = And t #

data OrSym0 (l :: TyFun [Bool] Bool) #

Instances
SuppressUnusedWarnings OrSym0 # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply OrSym0 (l :: [Bool]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply OrSym0 (l :: [Bool]) = Or l

type OrSym1 (t :: [Bool]) = Or t #

data AnySym0 (l :: TyFun (TyFun a6989586621679459291 Bool -> Type) (TyFun [a6989586621679459291] Bool -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (AnySym0 :: TyFun (TyFun a6989586621679459291 Bool -> Type) (TyFun [a6989586621679459291] Bool -> Type) -> *) (l :: TyFun a6989586621679459291 Bool -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (AnySym0 :: TyFun (TyFun a6989586621679459291 Bool -> Type) (TyFun [a6989586621679459291] Bool -> Type) -> *) (l :: TyFun a6989586621679459291 Bool -> Type) = AnySym1 l

data AnySym1 (l :: TyFun a6989586621679459291 Bool -> Type) (l :: TyFun [a6989586621679459291] Bool) #

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

Defined in Data.Singletons.Prelude.List

type Apply (AnySym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (AnySym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = Any l1 l2

type AnySym2 (t :: TyFun a6989586621679459291 Bool -> Type) (t :: [a6989586621679459291]) = Any t t #

data AllSym0 (l :: TyFun (TyFun a6989586621679459292 Bool -> Type) (TyFun [a6989586621679459292] Bool -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (AllSym0 :: TyFun (TyFun a6989586621679459292 Bool -> Type) (TyFun [a6989586621679459292] Bool -> Type) -> *) (l :: TyFun a6989586621679459292 Bool -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (AllSym0 :: TyFun (TyFun a6989586621679459292 Bool -> Type) (TyFun [a6989586621679459292] Bool -> Type) -> *) (l :: TyFun a6989586621679459292 Bool -> Type) = AllSym1 l

data AllSym1 (l :: TyFun a6989586621679459292 Bool -> Type) (l :: TyFun [a6989586621679459292] Bool) #

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

Defined in Data.Singletons.Prelude.List

type Apply (AllSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (AllSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = All l1 l2

type AllSym2 (t :: TyFun a6989586621679459292 Bool -> Type) (t :: [a6989586621679459292]) = All t t #

data ScanlSym0 (l :: TyFun (TyFun b6989586621679459289 (TyFun a6989586621679459290 b6989586621679459289 -> Type) -> Type) (TyFun b6989586621679459289 (TyFun [a6989586621679459290] [b6989586621679459289] -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679459289 (TyFun a6989586621679459290 b6989586621679459289 -> Type) -> Type) (TyFun b6989586621679459289 (TyFun [a6989586621679459290] [b6989586621679459289] -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679459289 (TyFun a6989586621679459290 b6989586621679459289 -> Type) -> Type) (TyFun b6989586621679459289 (TyFun [a6989586621679459290] [b6989586621679459289] -> Type) -> Type) -> *) (l :: TyFun b6989586621679459289 (TyFun a6989586621679459290 b6989586621679459289 -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679459289 (TyFun a6989586621679459290 b6989586621679459289 -> Type) -> Type) (TyFun b6989586621679459289 (TyFun [a6989586621679459290] [b6989586621679459289] -> Type) -> Type) -> *) (l :: TyFun b6989586621679459289 (TyFun a6989586621679459290 b6989586621679459289 -> Type) -> Type) = ScanlSym1 l

data ScanlSym1 (l :: TyFun b6989586621679459289 (TyFun a6989586621679459290 b6989586621679459289 -> Type) -> Type) (l :: TyFun b6989586621679459289 (TyFun [a6989586621679459290] [b6989586621679459289] -> Type)) #

Instances
SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679459289 (TyFun a6989586621679459290 b6989586621679459289 -> Type) -> Type) -> TyFun b6989586621679459289 (TyFun [a6989586621679459290] [b6989586621679459289] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanlSym1 l1 :: TyFun b6989586621679459289 (TyFun [a6989586621679459290] [b6989586621679459289] -> Type) -> *) (l2 :: b6989586621679459289) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanlSym1 l1 :: TyFun b6989586621679459289 (TyFun [a6989586621679459290] [b6989586621679459289] -> Type) -> *) (l2 :: b6989586621679459289) = ScanlSym2 l1 l2

data ScanlSym2 (l :: TyFun b6989586621679459289 (TyFun a6989586621679459290 b6989586621679459289 -> Type) -> Type) (l :: b6989586621679459289) (l :: TyFun [a6989586621679459290] [b6989586621679459289]) #

Instances
SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679459289 (TyFun a6989586621679459290 b6989586621679459289 -> Type) -> Type) -> b6989586621679459289 -> TyFun [a6989586621679459290] [b6989586621679459289] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanlSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanlSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) = Scanl l1 l2 l3

type ScanlSym3 (t :: TyFun b6989586621679459289 (TyFun a6989586621679459290 b6989586621679459289 -> Type) -> Type) (t :: b6989586621679459289) (t :: [a6989586621679459290]) = Scanl t t t #

data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679459288 (TyFun a6989586621679459288 a6989586621679459288 -> Type) -> Type) (TyFun [a6989586621679459288] [a6989586621679459288] -> Type)) #

Instances
SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679459288 (TyFun a6989586621679459288 a6989586621679459288 -> Type) -> Type) (TyFun [a6989586621679459288] [a6989586621679459288] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679459288 (TyFun a6989586621679459288 a6989586621679459288 -> Type) -> Type) (TyFun [a6989586621679459288] [a6989586621679459288] -> Type) -> *) (l :: TyFun a6989586621679459288 (TyFun a6989586621679459288 a6989586621679459288 -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679459288 (TyFun a6989586621679459288 a6989586621679459288 -> Type) -> Type) (TyFun [a6989586621679459288] [a6989586621679459288] -> Type) -> *) (l :: TyFun a6989586621679459288 (TyFun a6989586621679459288 a6989586621679459288 -> Type) -> Type) = Scanl1Sym1 l

data Scanl1Sym1 (l :: TyFun a6989586621679459288 (TyFun a6989586621679459288 a6989586621679459288 -> Type) -> Type) (l :: TyFun [a6989586621679459288] [a6989586621679459288]) #

Instances
SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679459288 (TyFun a6989586621679459288 a6989586621679459288 -> Type) -> Type) -> TyFun [a6989586621679459288] [a6989586621679459288] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Scanl1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Scanl1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = Scanl1 l1 l2

type Scanl1Sym2 (t :: TyFun a6989586621679459288 (TyFun a6989586621679459288 a6989586621679459288 -> Type) -> Type) (t :: [a6989586621679459288]) = Scanl1 t t #

data ScanrSym0 (l :: TyFun (TyFun a6989586621679459286 (TyFun b6989586621679459287 b6989586621679459287 -> Type) -> Type) (TyFun b6989586621679459287 (TyFun [a6989586621679459286] [b6989586621679459287] -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679459286 (TyFun b6989586621679459287 b6989586621679459287 -> Type) -> Type) (TyFun b6989586621679459287 (TyFun [a6989586621679459286] [b6989586621679459287] -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679459286 (TyFun b6989586621679459287 b6989586621679459287 -> Type) -> Type) (TyFun b6989586621679459287 (TyFun [a6989586621679459286] [b6989586621679459287] -> Type) -> Type) -> *) (l :: TyFun a6989586621679459286 (TyFun b6989586621679459287 b6989586621679459287 -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679459286 (TyFun b6989586621679459287 b6989586621679459287 -> Type) -> Type) (TyFun b6989586621679459287 (TyFun [a6989586621679459286] [b6989586621679459287] -> Type) -> Type) -> *) (l :: TyFun a6989586621679459286 (TyFun b6989586621679459287 b6989586621679459287 -> Type) -> Type) = ScanrSym1 l

data ScanrSym1 (l :: TyFun a6989586621679459286 (TyFun b6989586621679459287 b6989586621679459287 -> Type) -> Type) (l :: TyFun b6989586621679459287 (TyFun [a6989586621679459286] [b6989586621679459287] -> Type)) #

Instances
SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679459286 (TyFun b6989586621679459287 b6989586621679459287 -> Type) -> Type) -> TyFun b6989586621679459287 (TyFun [a6989586621679459286] [b6989586621679459287] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanrSym1 l1 :: TyFun b6989586621679459287 (TyFun [a6989586621679459286] [b6989586621679459287] -> Type) -> *) (l2 :: b6989586621679459287) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanrSym1 l1 :: TyFun b6989586621679459287 (TyFun [a6989586621679459286] [b6989586621679459287] -> Type) -> *) (l2 :: b6989586621679459287) = ScanrSym2 l1 l2

data ScanrSym2 (l :: TyFun a6989586621679459286 (TyFun b6989586621679459287 b6989586621679459287 -> Type) -> Type) (l :: b6989586621679459287) (l :: TyFun [a6989586621679459286] [b6989586621679459287]) #

Instances
SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679459286 (TyFun b6989586621679459287 b6989586621679459287 -> Type) -> Type) -> b6989586621679459287 -> TyFun [a6989586621679459286] [b6989586621679459287] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanrSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanrSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) = Scanr l1 l2 l3

type ScanrSym3 (t :: TyFun a6989586621679459286 (TyFun b6989586621679459287 b6989586621679459287 -> Type) -> Type) (t :: b6989586621679459287) (t :: [a6989586621679459286]) = Scanr t t t #

data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679459285 (TyFun a6989586621679459285 a6989586621679459285 -> Type) -> Type) (TyFun [a6989586621679459285] [a6989586621679459285] -> Type)) #

Instances
SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679459285 (TyFun a6989586621679459285 a6989586621679459285 -> Type) -> Type) (TyFun [a6989586621679459285] [a6989586621679459285] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679459285 (TyFun a6989586621679459285 a6989586621679459285 -> Type) -> Type) (TyFun [a6989586621679459285] [a6989586621679459285] -> Type) -> *) (l :: TyFun a6989586621679459285 (TyFun a6989586621679459285 a6989586621679459285 -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679459285 (TyFun a6989586621679459285 a6989586621679459285 -> Type) -> Type) (TyFun [a6989586621679459285] [a6989586621679459285] -> Type) -> *) (l :: TyFun a6989586621679459285 (TyFun a6989586621679459285 a6989586621679459285 -> Type) -> Type) = Scanr1Sym1 l

data Scanr1Sym1 (l :: TyFun a6989586621679459285 (TyFun a6989586621679459285 a6989586621679459285 -> Type) -> Type) (l :: TyFun [a6989586621679459285] [a6989586621679459285]) #

Instances
SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679459285 (TyFun a6989586621679459285 a6989586621679459285 -> Type) -> Type) -> TyFun [a6989586621679459285] [a6989586621679459285] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Scanr1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Scanr1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = Scanr1 l1 l2

type Scanr1Sym2 (t :: TyFun a6989586621679459285 (TyFun a6989586621679459285 a6989586621679459285 -> Type) -> Type) (t :: [a6989586621679459285]) = Scanr1 t t #

data ReplicateSym0 (l :: TyFun Nat (TyFun a6989586621679459193 [a6989586621679459193] -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (ReplicateSym0 :: TyFun Nat (TyFun a6989586621679459193 [a6989586621679459193] -> Type) -> *) (l :: Nat) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ReplicateSym0 :: TyFun Nat (TyFun a6989586621679459193 [a6989586621679459193] -> Type) -> *) (l :: Nat) = (ReplicateSym1 l :: TyFun a6989586621679459193 [a6989586621679459193] -> *)

data ReplicateSym1 (l :: Nat) (l :: TyFun a6989586621679459193 [a6989586621679459193]) #

Instances
SuppressUnusedWarnings (ReplicateSym1 :: Nat -> TyFun a6989586621679459193 [a6989586621679459193] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ReplicateSym1 l1 :: TyFun a [a] -> *) (l2 :: a) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ReplicateSym1 l1 :: TyFun a [a] -> *) (l2 :: a) = Replicate l1 l2

type ReplicateSym2 (t :: Nat) (t :: a6989586621679459193) = Replicate t t #

data TakeSym0 (l :: TyFun Nat (TyFun [a6989586621679459209] [a6989586621679459209] -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (TakeSym0 :: TyFun Nat (TyFun [a6989586621679459209] [a6989586621679459209] -> Type) -> *) (l :: Nat) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (TakeSym0 :: TyFun Nat (TyFun [a6989586621679459209] [a6989586621679459209] -> Type) -> *) (l :: Nat) = (TakeSym1 l :: TyFun [a6989586621679459209] [a6989586621679459209] -> *)

data TakeSym1 (l :: Nat) (l :: TyFun [a6989586621679459209] [a6989586621679459209]) #

Instances
SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun [a6989586621679459209] [a6989586621679459209] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (TakeSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (TakeSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = Take l1 l2

type TakeSym2 (t :: Nat) (t :: [a6989586621679459209]) = Take t t #

data DropSym0 (l :: TyFun Nat (TyFun [a6989586621679459208] [a6989586621679459208] -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (DropSym0 :: TyFun Nat (TyFun [a6989586621679459208] [a6989586621679459208] -> Type) -> *) (l :: Nat) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (DropSym0 :: TyFun Nat (TyFun [a6989586621679459208] [a6989586621679459208] -> Type) -> *) (l :: Nat) = (DropSym1 l :: TyFun [a6989586621679459208] [a6989586621679459208] -> *)

data DropSym1 (l :: Nat) (l :: TyFun [a6989586621679459208] [a6989586621679459208]) #

Instances
SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun [a6989586621679459208] [a6989586621679459208] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (DropSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (DropSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = Drop l1 l2

type DropSym2 (t :: Nat) (t :: [a6989586621679459208]) = Drop t t #

data SplitAtSym0 (l :: TyFun Nat (TyFun [a6989586621679459207] ([a6989586621679459207], [a6989586621679459207]) -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (SplitAtSym0 :: TyFun Nat (TyFun [a6989586621679459207] ([a6989586621679459207], [a6989586621679459207]) -> Type) -> *) (l :: Nat) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (SplitAtSym0 :: TyFun Nat (TyFun [a6989586621679459207] ([a6989586621679459207], [a6989586621679459207]) -> Type) -> *) (l :: Nat) = (SplitAtSym1 l :: TyFun [a6989586621679459207] ([a6989586621679459207], [a6989586621679459207]) -> *)

data SplitAtSym1 (l :: Nat) (l :: TyFun [a6989586621679459207] ([a6989586621679459207], [a6989586621679459207])) #

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

Defined in Data.Singletons.Prelude.List

type Apply (SplitAtSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (SplitAtSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) = SplitAt l1 l2

type SplitAtSym2 (t :: Nat) (t :: [a6989586621679459207]) = SplitAt t t #

data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679459214 Bool -> Type) (TyFun [a6989586621679459214] [a6989586621679459214] -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679459214 Bool -> Type) (TyFun [a6989586621679459214] [a6989586621679459214] -> Type) -> *) (l :: TyFun a6989586621679459214 Bool -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679459214 Bool -> Type) (TyFun [a6989586621679459214] [a6989586621679459214] -> Type) -> *) (l :: TyFun a6989586621679459214 Bool -> Type) = TakeWhileSym1 l

data TakeWhileSym1 (l :: TyFun a6989586621679459214 Bool -> Type) (l :: TyFun [a6989586621679459214] [a6989586621679459214]) #

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

Defined in Data.Singletons.Prelude.List

type Apply (TakeWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (TakeWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = TakeWhile l1 l2

type TakeWhileSym2 (t :: TyFun a6989586621679459214 Bool -> Type) (t :: [a6989586621679459214]) = TakeWhile t t #

data DropWhileSym0 (l :: TyFun (TyFun a6989586621679459213 Bool -> Type) (TyFun [a6989586621679459213] [a6989586621679459213] -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679459213 Bool -> Type) (TyFun [a6989586621679459213] [a6989586621679459213] -> Type) -> *) (l :: TyFun a6989586621679459213 Bool -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679459213 Bool -> Type) (TyFun [a6989586621679459213] [a6989586621679459213] -> Type) -> *) (l :: TyFun a6989586621679459213 Bool -> Type) = DropWhileSym1 l

data DropWhileSym1 (l :: TyFun a6989586621679459213 Bool -> Type) (l :: TyFun [a6989586621679459213] [a6989586621679459213]) #

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

Defined in Data.Singletons.Prelude.List

type Apply (DropWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (DropWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = DropWhile l1 l2

type DropWhileSym2 (t :: TyFun a6989586621679459213 Bool -> Type) (t :: [a6989586621679459213]) = DropWhile t t #

data DropWhileEndSym0 (l :: TyFun (TyFun a6989586621679459212 Bool -> Type) (TyFun [a6989586621679459212] [a6989586621679459212] -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (DropWhileEndSym0 :: TyFun (TyFun a6989586621679459212 Bool -> Type) (TyFun [a6989586621679459212] [a6989586621679459212] -> Type) -> *) (l :: TyFun a6989586621679459212 Bool -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (DropWhileEndSym0 :: TyFun (TyFun a6989586621679459212 Bool -> Type) (TyFun [a6989586621679459212] [a6989586621679459212] -> Type) -> *) (l :: TyFun a6989586621679459212 Bool -> Type) = DropWhileEndSym1 l

data DropWhileEndSym1 (l :: TyFun a6989586621679459212 Bool -> Type) (l :: TyFun [a6989586621679459212] [a6989586621679459212]) #

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

Defined in Data.Singletons.Prelude.List

type Apply (DropWhileEndSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (DropWhileEndSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = DropWhileEnd l1 l2

type DropWhileEndSym2 (t :: TyFun a6989586621679459212 Bool -> Type) (t :: [a6989586621679459212]) = DropWhileEnd t t #

data SpanSym0 (l :: TyFun (TyFun a6989586621679459211 Bool -> Type) (TyFun [a6989586621679459211] ([a6989586621679459211], [a6989586621679459211]) -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (SpanSym0 :: TyFun (TyFun a6989586621679459211 Bool -> Type) (TyFun [a6989586621679459211] ([a6989586621679459211], [a6989586621679459211]) -> Type) -> *) (l :: TyFun a6989586621679459211 Bool -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (SpanSym0 :: TyFun (TyFun a6989586621679459211 Bool -> Type) (TyFun [a6989586621679459211] ([a6989586621679459211], [a6989586621679459211]) -> Type) -> *) (l :: TyFun a6989586621679459211 Bool -> Type) = SpanSym1 l

data SpanSym1 (l :: TyFun a6989586621679459211 Bool -> Type) (l :: TyFun [a6989586621679459211] ([a6989586621679459211], [a6989586621679459211])) #

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

Defined in Data.Singletons.Prelude.List

type Apply (SpanSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (SpanSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) = Span l1 l2

type SpanSym2 (t :: TyFun a6989586621679459211 Bool -> Type) (t :: [a6989586621679459211]) = Span t t #

data BreakSym0 (l :: TyFun (TyFun a6989586621679459210 Bool -> Type) (TyFun [a6989586621679459210] ([a6989586621679459210], [a6989586621679459210]) -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (BreakSym0 :: TyFun (TyFun a6989586621679459210 Bool -> Type) (TyFun [a6989586621679459210] ([a6989586621679459210], [a6989586621679459210]) -> Type) -> *) (l :: TyFun a6989586621679459210 Bool -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (BreakSym0 :: TyFun (TyFun a6989586621679459210 Bool -> Type) (TyFun [a6989586621679459210] ([a6989586621679459210], [a6989586621679459210]) -> Type) -> *) (l :: TyFun a6989586621679459210 Bool -> Type) = BreakSym1 l

data BreakSym1 (l :: TyFun a6989586621679459210 Bool -> Type) (l :: TyFun [a6989586621679459210] ([a6989586621679459210], [a6989586621679459210])) #

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

Defined in Data.Singletons.Prelude.List

type Apply (BreakSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (BreakSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) = Break l1 l2

type BreakSym2 (t :: TyFun a6989586621679459210 Bool -> Type) (t :: [a6989586621679459210]) = Break t t #

data ElemSym0 (l :: TyFun a6989586621679459271 (TyFun [a6989586621679459271] Bool -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (ElemSym0 :: TyFun a6989586621679459271 (TyFun [a6989586621679459271] Bool -> Type) -> *) (l :: a6989586621679459271) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ElemSym0 :: TyFun a6989586621679459271 (TyFun [a6989586621679459271] Bool -> Type) -> *) (l :: a6989586621679459271) = ElemSym1 l

data ElemSym1 (l :: a6989586621679459271) (l :: TyFun [a6989586621679459271] Bool) #

Instances
SuppressUnusedWarnings (ElemSym1 :: a6989586621679459271 -> TyFun [a6989586621679459271] Bool -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = Elem l1 l2

type ElemSym2 (t :: a6989586621679459271) (t :: [a6989586621679459271]) = Elem t t #

data NotElemSym0 (l :: TyFun a6989586621679459270 (TyFun [a6989586621679459270] Bool -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (NotElemSym0 :: TyFun a6989586621679459270 (TyFun [a6989586621679459270] Bool -> Type) -> *) (l :: a6989586621679459270) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (NotElemSym0 :: TyFun a6989586621679459270 (TyFun [a6989586621679459270] Bool -> Type) -> *) (l :: a6989586621679459270) = NotElemSym1 l

data NotElemSym1 (l :: a6989586621679459270) (l :: TyFun [a6989586621679459270] Bool) #

Instances
SuppressUnusedWarnings (NotElemSym1 :: a6989586621679459270 -> TyFun [a6989586621679459270] Bool -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (NotElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (NotElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = NotElem l1 l2

type NotElemSym2 (t :: a6989586621679459270) (t :: [a6989586621679459270]) = NotElem t t #

data ZipSym0 (l :: TyFun [a6989586621679459268] (TyFun [b6989586621679459269] [(a6989586621679459268, b6989586621679459269)] -> Type)) #

Instances
SuppressUnusedWarnings (ZipSym0 :: TyFun [a6989586621679459268] (TyFun [b6989586621679459269] [(a6989586621679459268, b6989586621679459269)] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipSym0 :: TyFun [a6989586621679459268] (TyFun [b6989586621679459269] [(a6989586621679459268, b6989586621679459269)] -> Type) -> *) (l :: [a6989586621679459268]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipSym0 :: TyFun [a6989586621679459268] (TyFun [b6989586621679459269] [(a6989586621679459268, b6989586621679459269)] -> Type) -> *) (l :: [a6989586621679459268]) = (ZipSym1 l :: TyFun [b6989586621679459269] [(a6989586621679459268, b6989586621679459269)] -> *)

data ZipSym1 (l :: [a6989586621679459268]) (l :: TyFun [b6989586621679459269] [(a6989586621679459268, b6989586621679459269)]) #

Instances
SuppressUnusedWarnings (ZipSym1 :: [a6989586621679459268] -> TyFun [b6989586621679459269] [(a6989586621679459268, b6989586621679459269)] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipSym1 l1 :: TyFun [b] [(a, b)] -> *) (l2 :: [b]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipSym1 l1 :: TyFun [b] [(a, b)] -> *) (l2 :: [b]) = Zip l1 l2

type ZipSym2 (t :: [a6989586621679459268]) (t :: [b6989586621679459269]) = Zip t t #

data Zip3Sym0 (l :: TyFun [a6989586621679459265] (TyFun [b6989586621679459266] (TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)] -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (Zip3Sym0 :: TyFun [a6989586621679459265] (TyFun [b6989586621679459266] (TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)] -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Zip3Sym0 :: TyFun [a6989586621679459265] (TyFun [b6989586621679459266] (TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)] -> Type) -> Type) -> *) (l :: [a6989586621679459265]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Zip3Sym0 :: TyFun [a6989586621679459265] (TyFun [b6989586621679459266] (TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)] -> Type) -> Type) -> *) (l :: [a6989586621679459265]) = (Zip3Sym1 l :: TyFun [b6989586621679459266] (TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)] -> Type) -> *)

data Zip3Sym1 (l :: [a6989586621679459265]) (l :: TyFun [b6989586621679459266] (TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)] -> Type)) #

Instances
SuppressUnusedWarnings (Zip3Sym1 :: [a6989586621679459265] -> TyFun [b6989586621679459266] (TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Zip3Sym1 l1 :: TyFun [b6989586621679459266] (TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)] -> Type) -> *) (l2 :: [b6989586621679459266]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Zip3Sym1 l1 :: TyFun [b6989586621679459266] (TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)] -> Type) -> *) (l2 :: [b6989586621679459266]) = (Zip3Sym2 l1 l2 :: TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)] -> *)

data Zip3Sym2 (l :: [a6989586621679459265]) (l :: [b6989586621679459266]) (l :: TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)]) #

Instances
SuppressUnusedWarnings (Zip3Sym2 :: [a6989586621679459265] -> [b6989586621679459266] -> TyFun [c6989586621679459267] [(a6989586621679459265, b6989586621679459266, c6989586621679459267)] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Zip3Sym2 l1 l2 :: TyFun [c] [(a, b, c)] -> *) (l3 :: [c]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Zip3Sym2 l1 l2 :: TyFun [c] [(a, b, c)] -> *) (l3 :: [c]) = Zip3 l1 l2 l3

type Zip3Sym3 (t :: [a6989586621679459265]) (t :: [b6989586621679459266]) (t :: [c6989586621679459267]) = Zip3 t t t #

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679459262 (TyFun b6989586621679459263 c6989586621679459264 -> Type) -> Type) (TyFun [a6989586621679459262] (TyFun [b6989586621679459263] [c6989586621679459264] -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679459262 (TyFun b6989586621679459263 c6989586621679459264 -> Type) -> Type) (TyFun [a6989586621679459262] (TyFun [b6989586621679459263] [c6989586621679459264] -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679459262 (TyFun b6989586621679459263 c6989586621679459264 -> Type) -> Type) (TyFun [a6989586621679459262] (TyFun [b6989586621679459263] [c6989586621679459264] -> Type) -> Type) -> *) (l :: TyFun a6989586621679459262 (TyFun b6989586621679459263 c6989586621679459264 -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679459262 (TyFun b6989586621679459263 c6989586621679459264 -> Type) -> Type) (TyFun [a6989586621679459262] (TyFun [b6989586621679459263] [c6989586621679459264] -> Type) -> Type) -> *) (l :: TyFun a6989586621679459262 (TyFun b6989586621679459263 c6989586621679459264 -> Type) -> Type) = ZipWithSym1 l

data ZipWithSym1 (l :: TyFun a6989586621679459262 (TyFun b6989586621679459263 c6989586621679459264 -> Type) -> Type) (l :: TyFun [a6989586621679459262] (TyFun [b6989586621679459263] [c6989586621679459264] -> Type)) #

Instances
SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679459262 (TyFun b6989586621679459263 c6989586621679459264 -> Type) -> Type) -> TyFun [a6989586621679459262] (TyFun [b6989586621679459263] [c6989586621679459264] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWithSym1 l1 :: TyFun [a6989586621679459262] (TyFun [b6989586621679459263] [c6989586621679459264] -> Type) -> *) (l2 :: [a6989586621679459262]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWithSym1 l1 :: TyFun [a6989586621679459262] (TyFun [b6989586621679459263] [c6989586621679459264] -> Type) -> *) (l2 :: [a6989586621679459262]) = ZipWithSym2 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679459262 (TyFun b6989586621679459263 c6989586621679459264 -> Type) -> Type) (l :: [a6989586621679459262]) (l :: TyFun [b6989586621679459263] [c6989586621679459264]) #

Instances
SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679459262 (TyFun b6989586621679459263 c6989586621679459264 -> Type) -> Type) -> [a6989586621679459262] -> TyFun [b6989586621679459263] [c6989586621679459264] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWithSym2 l1 l2 :: TyFun [b] [c] -> *) (l3 :: [b]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWithSym2 l1 l2 :: TyFun [b] [c] -> *) (l3 :: [b]) = ZipWith l1 l2 l3

type ZipWithSym3 (t :: TyFun a6989586621679459262 (TyFun b6989586621679459263 c6989586621679459264 -> Type) -> Type) (t :: [a6989586621679459262]) (t :: [b6989586621679459263]) = ZipWith t t t #

data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) (TyFun [a6989586621679459258] (TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type) -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (ZipWith3Sym0 :: TyFun (TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) (TyFun [a6989586621679459258] (TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type) -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym0 :: TyFun (TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) (TyFun [a6989586621679459258] (TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type) -> Type) -> Type) -> *) (l :: TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym0 :: TyFun (TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) (TyFun [a6989586621679459258] (TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type) -> Type) -> Type) -> *) (l :: TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) = ZipWith3Sym1 l

data ZipWith3Sym1 (l :: TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679459258] (TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (ZipWith3Sym1 :: (TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) -> TyFun [a6989586621679459258] (TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym1 l1 :: TyFun [a6989586621679459258] (TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type) -> Type) -> *) (l2 :: [a6989586621679459258]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym1 l1 :: TyFun [a6989586621679459258] (TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type) -> Type) -> *) (l2 :: [a6989586621679459258]) = ZipWith3Sym2 l1 l2

data ZipWith3Sym2 (l :: TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) (l :: [a6989586621679459258]) (l :: TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type)) #

Instances
SuppressUnusedWarnings (ZipWith3Sym2 :: (TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) -> [a6989586621679459258] -> TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym2 l1 l2 :: TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type) -> *) (l3 :: [b6989586621679459259]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym2 l1 l2 :: TyFun [b6989586621679459259] (TyFun [c6989586621679459260] [d6989586621679459261] -> Type) -> *) (l3 :: [b6989586621679459259]) = ZipWith3Sym3 l1 l2 l3

data ZipWith3Sym3 (l :: TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) (l :: [a6989586621679459258]) (l :: [b6989586621679459259]) (l :: TyFun [c6989586621679459260] [d6989586621679459261]) #

Instances
SuppressUnusedWarnings (ZipWith3Sym3 :: (TyFun a6989586621679459258 (TyFun b6989586621679459259 (TyFun c6989586621679459260 d6989586621679459261 -> Type) -> Type) -> Type) -> [a6989586621679459258] -> [b6989586621679459259] -> TyFun [c6989586621679459260] [d6989586621679459261] -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym3 l1 l2 l3 :: TyFun [c] [d] -> *) (l4 :: [c]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym3 l1 l2 l3 :: TyFun [c] [d] -> *) (l4 :: [c]) = ZipWith3 l1 l2 l3 l4

data UnzipSym0 (l :: TyFun [(a6989586621679459256, b6989586621679459257)] ([a6989586621679459256], [b6989586621679459257])) #

Instances
SuppressUnusedWarnings (UnzipSym0 :: TyFun [(a6989586621679459256, b6989586621679459257)] ([a6989586621679459256], [b6989586621679459257]) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (UnzipSym0 :: TyFun [(a, b)] ([a], [b]) -> *) (l :: [(a, b)]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (UnzipSym0 :: TyFun [(a, b)] ([a], [b]) -> *) (l :: [(a, b)]) = Unzip l

type UnzipSym1 (t :: [(a6989586621679459256, b6989586621679459257)]) = Unzip t #

data UnlinesSym0 (l :: TyFun [Symbol] Symbol) #

Instances
SuppressUnusedWarnings UnlinesSym0 # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply UnlinesSym0 (l :: [Symbol]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply UnlinesSym0 (l :: [Symbol]) = Unlines l

type UnlinesSym1 (t :: [Symbol]) = Unlines t #

data UnwordsSym0 (l :: TyFun [Symbol] Symbol) #

Instances
SuppressUnusedWarnings UnwordsSym0 # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply UnwordsSym0 (l :: [Symbol]) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply UnwordsSym0 (l :: [Symbol]) = Unwords l

type UnwordsSym1 (t :: [Symbol]) = Unwords t #