singletons-2.4.1: A framework for generating singleton types

Copyright(C) 2014 Jan Stolarek
LicenseBSD-style (see LICENSE)
MaintainerJan Stolarek (jan.stolarek@p.lodz.pl)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Promotion.Prelude

Contents

Description

Mimics the Haskell Prelude, but with promoted types.

Synopsis

Standard types, classes and related functions

Basic data types

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 

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 

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 

type family Otherwise :: Bool where ... #

Equations

Otherwise = TrueSym0 

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

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 

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

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 

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

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

Equations

Fst '(x, _) = x 

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

Equations

Snd '(_, y) = y 

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) 

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) 

Error reporting

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

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

type family Undefined :: k where ... #

The promotion of undefined.

Promoted equality

Promoted comparisons

Promoted enumerations

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

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 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 #

Promoted numbers

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

Exponentiation of type-level naturals.

Since: base-4.7.0.0

Promoted 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 #

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.

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

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

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

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

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

Equations

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

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

Equations

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

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

Equations

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

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 

Miscellaneous functions

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

Equations

Id x = x 

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

Equations

Const x _ = x 

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 

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

Equations

f $ x = Apply f x 

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

Equations

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

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 

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

Equations

AsTypeOf a_6989586621679436629 a_6989586621679436631 = Apply (Apply ConstSym0 a_6989586621679436629) a_6989586621679436631 

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

Equations

Until p f a_6989586621679987998 = Apply (Let6989586621679988003GoSym3 p f a_6989586621679987998) a_6989586621679987998 

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

Equations

Seq _ x = x 

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) 

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

Equations

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

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

Equations

Filter _p '[] = '[] 
Filter p ((:) x xs) = Case_6989586621679469144 p x xs (Let6989586621679469131Scrutinee_6989586621679459851Sym3 p x xs) 

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

Equations

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

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) 

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

Equations

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

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 

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

Equations

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

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

Equations

Length '[] = FromInteger 0 
Length ((:) _ xs) = Apply (Apply (+@#@$) (FromInteger 1)) (Apply LengthSym0 xs) 

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

Equations

'[] !! _ = Apply ErrorSym0 "Data.Singletons.List.!!: index too large" 
((:) x xs) !! n = Case_6989586621679468562 x xs n (Let6989586621679468549Scrutinee_6989586621679459891Sym3 x xs n) 

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

Equations

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

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 

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" 

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 

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" 

Special folds

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

Equations

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

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

Equations

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

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) 

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) 

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

Equations

Sum l = Apply (Apply (Let6989586621679468621Sum'Sym1 l) l) (FromInteger 0) 

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

Equations

Product l = Apply (Apply (Let6989586621679468597ProdSym1 l) l) (FromInteger 1) 

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

Equations

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

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 

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

Equations

Maximum '[] = Apply ErrorSym0 "Data.Singletons.List.maximum: empty list" 
Maximum ((:) wild_6989586621679459877 wild_6989586621679459879) = Apply (Apply Foldl1Sym0 MaxSym0) (Let6989586621679470776XsSym2 wild_6989586621679459877 wild_6989586621679459879) 

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

Equations

Minimum '[] = Apply ErrorSym0 "Data.Singletons.List.minimum: empty list" 
Minimum ((:) wild_6989586621679459881 wild_6989586621679459883) = Apply (Apply Foldl1Sym0 MinSym0) (Let6989586621679470790XsSym2 wild_6989586621679459881 wild_6989586621679459883) 

Building lists

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) 

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 _ '[] = '[] 

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) 

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) 

Infinite lists

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

Equations

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

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) 

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) 

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) 

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) 

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

Equations

DropWhile _ '[] = '[] 
DropWhile p ((:) x xs') = Case_6989586621679469087 p x xs' (Let6989586621679469074Scrutinee_6989586621679459865Sym3 p x xs') 

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') 

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') 

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) 

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) 

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) 

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 '[] ((:) _ _) = '[] 

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 ((:) _ _) ((:) _ _) '[] = '[] 

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 _ '[] ((:) _ _) = '[] 

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 _ ((:) _ _) ((:) _ _) '[] = '[] 

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

Equations

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

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 

Functions on Symbols

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

Equations

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

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

Equations

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

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 MaximumBySym0 (l :: TyFun (TyFun a6989586621679459224 (TyFun a6989586621679459224 Ordering -> Type) -> Type) (TyFun [a6989586621679459224] a6989586621679459224 -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (MaximumBySym0 :: TyFun (TyFun a6989586621679459224 (TyFun a6989586621679459224 Ordering -> Type) -> Type) (TyFun [a6989586621679459224] a6989586621679459224 -> Type) -> *) (l :: TyFun a6989586621679459224 (TyFun a6989586621679459224 Ordering -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (MaximumBySym0 :: TyFun (TyFun a6989586621679459224 (TyFun a6989586621679459224 Ordering -> Type) -> Type) (TyFun [a6989586621679459224] a6989586621679459224 -> Type) -> *) (l :: TyFun a6989586621679459224 (TyFun a6989586621679459224 Ordering -> Type) -> Type) = MaximumBySym1 l

data MaximumBySym1 (l :: TyFun a6989586621679459224 (TyFun a6989586621679459224 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679459224] a6989586621679459224) #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (MaximumBySym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) = MaximumBy l1 l2

type MaximumBySym2 (t :: TyFun a6989586621679459224 (TyFun a6989586621679459224 Ordering -> Type) -> Type) (t :: [a6989586621679459224]) = MaximumBy t t #

data MinimumBySym0 (l :: TyFun (TyFun a6989586621679459223 (TyFun a6989586621679459223 Ordering -> Type) -> Type) (TyFun [a6989586621679459223] a6989586621679459223 -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (MinimumBySym0 :: TyFun (TyFun a6989586621679459223 (TyFun a6989586621679459223 Ordering -> Type) -> Type) (TyFun [a6989586621679459223] a6989586621679459223 -> Type) -> *) (l :: TyFun a6989586621679459223 (TyFun a6989586621679459223 Ordering -> Type) -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (MinimumBySym0 :: TyFun (TyFun a6989586621679459223 (TyFun a6989586621679459223 Ordering -> Type) -> Type) (TyFun [a6989586621679459223] a6989586621679459223 -> Type) -> *) (l :: TyFun a6989586621679459223 (TyFun a6989586621679459223 Ordering -> Type) -> Type) = MinimumBySym1 l

data MinimumBySym1 (l :: TyFun a6989586621679459223 (TyFun a6989586621679459223 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679459223] a6989586621679459223) #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (MinimumBySym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) = MinimumBy l1 l2

type MinimumBySym2 (t :: TyFun a6989586621679459223 (TyFun a6989586621679459223 Ordering -> Type) -> Type) (t :: [a6989586621679459223]) = MinimumBy 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 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 #

data UntilSym0 (l :: TyFun (TyFun a6989586621679987975 Bool -> Type) (TyFun (TyFun a6989586621679987975 a6989586621679987975 -> Type) (TyFun a6989586621679987975 a6989586621679987975 -> Type) -> Type)) #

Instances
SuppressUnusedWarnings (UntilSym0 :: TyFun (TyFun a6989586621679987975 Bool -> Type) (TyFun (TyFun a6989586621679987975 a6989586621679987975 -> Type) (TyFun a6989586621679987975 a6989586621679987975 -> Type) -> Type) -> *) # 
Instance details

Defined in Data.Promotion.Prelude.Base

type Apply (UntilSym0 :: TyFun (TyFun a6989586621679987975 Bool -> Type) (TyFun (TyFun a6989586621679987975 a6989586621679987975 -> Type) (TyFun a6989586621679987975 a6989586621679987975 -> Type) -> Type) -> *) (l :: TyFun a6989586621679987975 Bool -> Type) # 
Instance details

Defined in Data.Promotion.Prelude.Base

type Apply (UntilSym0 :: TyFun (TyFun a6989586621679987975 Bool -> Type) (TyFun (TyFun a6989586621679987975 a6989586621679987975 -> Type) (TyFun a6989586621679987975 a6989586621679987975 -> Type) -> Type) -> *) (l :: TyFun a6989586621679987975 Bool -> Type) = UntilSym1 l

data UntilSym1 (l :: TyFun a6989586621679987975 Bool -> Type) (l :: TyFun (TyFun a6989586621679987975 a6989586621679987975 -> Type) (TyFun a6989586621679987975 a6989586621679987975 -> Type)) #

Instances
SuppressUnusedWarnings (UntilSym1 :: (TyFun a6989586621679987975 Bool -> Type) -> TyFun (TyFun a6989586621679987975 a6989586621679987975 -> Type) (TyFun a6989586621679987975 a6989586621679987975 -> Type) -> *) # 
Instance details

Defined in Data.Promotion.Prelude.Base

type Apply (UntilSym1 l1 :: TyFun (TyFun a6989586621679987975 a6989586621679987975 -> Type) (TyFun a6989586621679987975 a6989586621679987975 -> Type) -> *) (l2 :: TyFun a6989586621679987975 a6989586621679987975 -> Type) # 
Instance details

Defined in Data.Promotion.Prelude.Base

type Apply (UntilSym1 l1 :: TyFun (TyFun a6989586621679987975 a6989586621679987975 -> Type) (TyFun a6989586621679987975 a6989586621679987975 -> Type) -> *) (l2 :: TyFun a6989586621679987975 a6989586621679987975 -> Type) = UntilSym2 l1 l2

data UntilSym2 (l :: TyFun a6989586621679987975 Bool -> Type) (l :: TyFun a6989586621679987975 a6989586621679987975 -> Type) (l :: TyFun a6989586621679987975 a6989586621679987975) #

Instances
SuppressUnusedWarnings (UntilSym2 :: (TyFun a6989586621679987975 Bool -> Type) -> (TyFun a6989586621679987975 a6989586621679987975 -> Type) -> TyFun a6989586621679987975 a6989586621679987975 -> *) # 
Instance details

Defined in Data.Promotion.Prelude.Base

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

Defined in Data.Promotion.Prelude.Base

type Apply (UntilSym2 l1 l2 :: TyFun a a -> *) (l3 :: a) = Until l1 l2 l3

type UntilSym3 (t :: TyFun a6989586621679987975 Bool -> Type) (t :: TyFun a6989586621679987975 a6989586621679987975 -> Type) (t :: a6989586621679987975) = Until t t t #

data LengthSym0 (l :: TyFun [a6989586621679459194] Nat) #

Instances
SuppressUnusedWarnings (LengthSym0 :: TyFun [a6989586621679459194] Nat -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (LengthSym0 :: TyFun [a] Nat -> *) (l :: [a]) = Length l

type LengthSym1 (t :: [a6989586621679459194]) = Length t #

data SumSym0 (l :: TyFun [a6989586621679459196] a6989586621679459196) #

Instances
SuppressUnusedWarnings (SumSym0 :: TyFun [a6989586621679459196] a6989586621679459196 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (SumSym0 :: TyFun [a] a -> *) (l :: [a]) = Sum l

type SumSym1 (t :: [a6989586621679459196]) = Sum t #

data ProductSym0 (l :: TyFun [a6989586621679459195] a6989586621679459195) #

Instances
SuppressUnusedWarnings (ProductSym0 :: TyFun [a6989586621679459195] a6989586621679459195 -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (ProductSym0 :: TyFun [a] a -> *) (l :: [a]) = Product l

type ProductSym1 (t :: [a6989586621679459195]) = Product 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 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 LookupSym0 (l :: TyFun a6989586621679459199 (TyFun [(a6989586621679459199, b6989586621679459200)] (Maybe b6989586621679459200) -> Type)) #

Instances
SuppressUnusedWarnings (LookupSym0 :: TyFun a6989586621679459199 (TyFun [(a6989586621679459199, b6989586621679459200)] (Maybe b6989586621679459200) -> Type) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (LookupSym0 :: TyFun a6989586621679459199 (TyFun [(a6989586621679459199, b6989586621679459200)] (Maybe b6989586621679459200) -> Type) -> *) (l :: a6989586621679459199) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (LookupSym0 :: TyFun a6989586621679459199 (TyFun [(a6989586621679459199, b6989586621679459200)] (Maybe b6989586621679459200) -> Type) -> *) (l :: a6989586621679459199) = (LookupSym1 l :: TyFun [(a6989586621679459199, b6989586621679459200)] (Maybe b6989586621679459200) -> *)

data LookupSym1 (l :: a6989586621679459199) (l :: TyFun [(a6989586621679459199, b6989586621679459200)] (Maybe b6989586621679459200)) #

Instances
SuppressUnusedWarnings (LookupSym1 :: a6989586621679459199 -> TyFun [(a6989586621679459199, b6989586621679459200)] (Maybe b6989586621679459200) -> *) # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (LookupSym1 l1 :: TyFun [(a, b)] (Maybe b) -> *) (l2 :: [(a, b)]) = Lookup l1 l2

type LookupSym2 (t :: a6989586621679459199) (t :: [(a6989586621679459199, b6989586621679459200)]) = Lookup t t #

data FilterSym0 (l :: TyFun (TyFun a6989586621679459222 Bool -> Type) (TyFun [a6989586621679459222] [a6989586621679459222] -> Type)) #

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

Defined in Data.Singletons.Prelude.List

type Apply (FilterSym0 :: TyFun (TyFun a6989586621679459222 Bool -> Type) (TyFun [a6989586621679459222] [a6989586621679459222] -> Type) -> *) (l :: TyFun a6989586621679459222 Bool -> Type) # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (FilterSym0 :: TyFun (TyFun a6989586621679459222 Bool -> Type) (TyFun [a6989586621679459222] [a6989586621679459222] -> Type) -> *) (l :: TyFun a6989586621679459222 Bool -> Type) = FilterSym1 l

data FilterSym1 (l :: TyFun a6989586621679459222 Bool -> Type) (l :: TyFun [a6989586621679459222] [a6989586621679459222]) #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (FilterSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = Filter l1 l2

type FilterSym2 (t :: TyFun a6989586621679459222 Bool -> Type) (t :: [a6989586621679459222]) = Filter t t #

data (!!@#@$) (l :: TyFun [a6989586621679459191] (TyFun Nat a6989586621679459191 -> Type)) #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

data (l :: [a6989586621679459191]) !!@#@$$ (l :: TyFun Nat a6989586621679459191) #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

type (!!@#@$$$) (t :: [a6989586621679459191]) (t :: Nat) = (!!) t t #