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

Equations

Otherwise = TrueSym0 

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

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

Equations

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

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

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

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

Defined in Data.Singletons.TypeLits.Internal

Associated Types

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

SDecide Symbol Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Methods

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

PEq Symbol Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Associated Types

type x == y :: Bool Source #

type x /= y :: Bool Source #

SEq Symbol Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Methods

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

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

SOrd Symbol Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Methods

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

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

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

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

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

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

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

POrd Symbol Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

Associated Types

type Compare arg arg :: Ordering Source #

type arg < arg :: Bool Source #

type arg <= arg :: Bool Source #

type arg > arg :: Bool Source #

type arg >= arg :: Bool Source #

type Max arg arg :: a Source #

type Min arg arg :: a Source #

ShowSing Symbol Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

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

SIsString Symbol Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

PIsString Symbol Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

Associated Types

type FromString arg :: a Source #

SShow Symbol Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

PShow Symbol Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

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

Defined in Data.Singletons.TypeLits.Internal

Methods

sing :: Sing n Source #

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

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowParenSym1 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings ShowCharSym1 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowStringSym1 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowParenSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings UnlinesSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings UnwordsSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List

SuppressUnusedWarnings ShowCharSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowStringSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.TypeLits.Internal

SuppressUnusedWarnings KnownSymbolSym0 Source # 
Instance details

Defined in Data.Singletons.TypeLits

SuppressUnusedWarnings ShowCommaSpaceSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings ShowSpaceSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.IsString

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

Defined in Data.Singletons.Prelude.Show

SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621679674863 (TyFun Symbol Symbol -> Type) -> *) Source # 
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 Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.Prelude.IsString

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.TypeLits

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

type ShowsPrec a1 (a2 :: Symbol) a3
type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

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

Equations

Fst '(x, _) = x 

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

Equations

Snd '(_, y) = y 

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

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

Equations

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

Error reporting

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

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

type family Undefined :: k where ... Source #

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

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

Instances
PBounded Bool Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

PBounded Ordering Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

PBounded () Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

PBounded (a, b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

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

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

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

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

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

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

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

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

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

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

class PEnum (a :: Type) Source #

Associated Types

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

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

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

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

Instances
PEnum Bool Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a Source #

type Pred arg :: a Source #

type ToEnum arg :: a Source #

type FromEnum arg :: Nat Source #

type EnumFromTo arg arg :: [a] Source #

type EnumFromThenTo arg arg arg :: [a] Source #

PEnum Ordering Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a Source #

type Pred arg :: a Source #

type ToEnum arg :: a Source #

type FromEnum arg :: Nat Source #

type EnumFromTo arg arg :: [a] Source #

type EnumFromThenTo arg arg arg :: [a] Source #

PEnum Nat Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a Source #

type Pred arg :: a Source #

type ToEnum arg :: a Source #

type FromEnum arg :: Nat Source #

type EnumFromTo arg arg :: [a] Source #

type EnumFromThenTo arg arg arg :: [a] Source #

PEnum () Source # 
Instance details

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a Source #

type Pred arg :: a Source #

type ToEnum arg :: a Source #

type FromEnum arg :: Nat Source #

type EnumFromTo arg arg :: [a] Source #

type EnumFromThenTo arg arg arg :: [a] Source #

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

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

Defined in Data.Singletons.Prelude.Enum

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

Defined in Data.Singletons.Prelude.Enum

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

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

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

Defined in Data.Singletons.Prelude.Enum

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

Defined in Data.Singletons.Prelude.Enum

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

data EnumFromThenToSym2 (l :: a6989586621679845761) (l :: a6989586621679845761) (l :: TyFun a6989586621679845761 [a6989586621679845761]) Source #

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

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym2 l1 l2 :: TyFun a [a] -> *) (l3 :: a) Source # 
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 :: a6989586621679845761) (t :: a6989586621679845761) (t :: a6989586621679845761) = EnumFromThenTo t t t Source #

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

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

Defined in Data.Singletons.Prelude.Enum

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

Defined in Data.Singletons.Prelude.Enum

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

data EnumFromToSym1 (l :: a6989586621679845761) (l :: TyFun a6989586621679845761 [a6989586621679845761]) Source #

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

Defined in Data.Singletons.Prelude.Enum

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

Defined in Data.Singletons.Prelude.Enum

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

type EnumFromToSym2 (t :: a6989586621679845761) (t :: a6989586621679845761) = EnumFromTo t t Source #

data FromEnumSym0 (l :: TyFun a6989586621679845761 Nat) Source #

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

Defined in Data.Singletons.Prelude.Enum

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

Defined in Data.Singletons.Prelude.Enum

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

type FromEnumSym1 (t :: a6989586621679845761) = FromEnum t Source #

data ToEnumSym0 (l :: TyFun Nat a6989586621679845761) Source #

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

Defined in Data.Singletons.Prelude.Enum

type Apply (ToEnumSym0 :: TyFun Nat k2 -> *) (l :: Nat) Source # 
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 Source #

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

Associated Types

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

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

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

Instances
PShow Bool Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

PShow Ordering Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

PShow Nat Source #

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

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

PShow Symbol Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

PShow () Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

PShow Void Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

PShow [a] Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

PShow (Maybe a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

PShow (NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

PShow (Either a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

PShow (a, b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

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

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

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

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

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

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

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

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

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

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

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

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

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

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

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

Equations

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

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

Equations

ShowChar a_6989586621679676765 a_6989586621679676767 = Apply (Apply (<>@#@$) a_6989586621679676765) a_6989586621679676767 

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

Equations

ShowString a_6989586621679676743 a_6989586621679676745 = Apply (Apply (<>@#@$) a_6989586621679676743) a_6989586621679676745 

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

Equations

ShowParen b p a_6989586621679676795 = Apply (Case_6989586621679676800 b p a_6989586621679676795 b) a_6989586621679676795 

Miscellaneous functions

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

Equations

Id x = x 

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

Equations

Const x _ = x 

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

Equations

(f :. g) a_6989586621679422615 = Apply (Apply (Apply (Apply Lambda_6989586621679422620Sym0 f) g) a_6989586621679422615) a_6989586621679422615 

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

Equations

f $ x = Apply f x 

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

Equations

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

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

Equations

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

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

Equations

AsTypeOf a_6989586621679422652 a_6989586621679422654 = Apply (Apply ConstSym0 a_6989586621679422652) a_6989586621679422654 

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

Equations

Until p f a_6989586621679961495 = Apply (Let6989586621679961500GoSym3 p f a_6989586621679961495) a_6989586621679961495 

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

Equations

Seq _ x = x 

List operations

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

Equations

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

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

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

Equations

Filter _p '[] = '[] 
Filter p ((:) x xs) = Case_6989586621679454913 p x xs (Let6989586621679454900Scrutinee_6989586621679445620Sym3 p x xs) 

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

Equations

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

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

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

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

Reducing lists (folds)

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

Equations

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

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

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

Equations

Foldr k z a_6989586621679422712 = Apply (Let6989586621679422717GoSym3 k z a_6989586621679422712) a_6989586621679422712 

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

Equations

Foldr1 _ '[x] = x 
Foldr1 f ((:) x ((:) wild_6989586621679445542 wild_6989586621679445544)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let6989586621679456340XsSym4 f x wild_6989586621679445542 wild_6989586621679445544)) 
Foldr1 _ '[] = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list" 

Special folds

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

Equations

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

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

Equations

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

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

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

Maximum '[] = Apply ErrorSym0 "Data.Singletons.List.maximum: empty list" 
Maximum ((:) wild_6989586621679445646 wild_6989586621679445648) = Apply (Apply Foldl1Sym0 MaxSym0) (Let6989586621679456545XsSym2 wild_6989586621679445646 wild_6989586621679445648) 

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

Equations

Minimum '[] = Apply ErrorSym0 "Data.Singletons.List.minimum: empty list" 
Minimum ((:) wild_6989586621679445650 wild_6989586621679445652) = Apply (Apply Foldl1Sym0 MinSym0) (Let6989586621679456559XsSym2 wild_6989586621679445650 wild_6989586621679445652) 

Building lists

Scans

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

Equations

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

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

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

Equations

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

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

Equations

Scanr1 _ '[] = '[] 
Scanr1 _ '[x] = Apply (Apply (:@#@$) x) '[] 
Scanr1 f ((:) x ((:) wild_6989586621679445562 wild_6989586621679445564)) = Case_6989586621679456052 f x wild_6989586621679445562 wild_6989586621679445564 (Let6989586621679456033Scrutinee_6989586621679445556Sym4 f x wild_6989586621679445562 wild_6989586621679445564) 

Infinite lists

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

Equations

Replicate n x = Case_6989586621679454353 n x (Let6989586621679454345Scrutinee_6989586621679445658Sym2 n x) 

Sublists

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

Equations

Take _ '[] = '[] 
Take n ((:) x xs) = Case_6989586621679454550 n x xs (Let6989586621679454537Scrutinee_6989586621679445642Sym3 n x xs) 

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

Equations

Drop _ '[] = '[] 
Drop n ((:) x xs) = Case_6989586621679454522 n x xs (Let6989586621679454509Scrutinee_6989586621679445644Sym3 n x xs) 

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

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

Equations

TakeWhile _ '[] = '[] 
TakeWhile p ((:) x xs) = Case_6989586621679454884 p x xs (Let6989586621679454871Scrutinee_6989586621679445632Sym3 p x xs) 

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

Equations

DropWhile _ '[] = '[] 
DropWhile p ((:) x xs') = Case_6989586621679454856 p x xs' (Let6989586621679454843Scrutinee_6989586621679445634Sym3 p x xs') 

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

Equations

Span _ '[] = Apply (Apply Tuple2Sym0 Let6989586621679454666XsSym0) Let6989586621679454666XsSym0 
Span p ((:) x xs') = Case_6989586621679454696 p x xs' (Let6989586621679454683Scrutinee_6989586621679445638Sym3 p x xs') 

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

Equations

Break _ '[] = Apply (Apply Tuple2Sym0 Let6989586621679454573XsSym0) Let6989586621679454573XsSym0 
Break p ((:) x xs') = Case_6989586621679454603 p x xs' (Let6989586621679454590Scrutinee_6989586621679445640Sym3 p x xs') 

Searching lists

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

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

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

Equations

Lookup _key '[] = NothingSym0 
Lookup key ((:) '(x, y) xys) = Case_6989586621679454494 key x y xys (Let6989586621679454475Scrutinee_6989586621679445654Sym4 key x y xys) 

Zipping and unzipping lists

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

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

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

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

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

Equations

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

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

Equations

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

Functions on Symbols

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

Equations

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

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

Equations

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

Defunctionalization symbols

data NotSym0 (l :: TyFun Bool Bool) Source #

Instances
SuppressUnusedWarnings NotSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.Bool

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

Defined in Data.Singletons.Prelude.Bool

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

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

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

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

Defined in Data.Singletons.Prelude.Bool

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

Defined in Data.Singletons.Prelude.Bool

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

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

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

Defined in Data.Singletons.Prelude.Bool

type Apply ((&&@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) Source # 
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 Source #

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

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

Defined in Data.Singletons.Prelude.Bool

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

Defined in Data.Singletons.Prelude.Bool

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

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

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

Defined in Data.Singletons.Prelude.Bool

type Apply ((||@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) Source # 
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 Source #

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

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

Defined in Data.Singletons.Prelude.Instances

type Apply (JustSym0 :: TyFun a (Maybe a) -> *) (l :: a) Source # 
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 Source #

data Maybe_Sym0 (l :: TyFun b6989586621679405849 (TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679405849 (TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

type Apply (Maybe_Sym0 :: TyFun b6989586621679405849 (TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type) -> Type) -> *) (l :: b6989586621679405849) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

type Apply (Maybe_Sym0 :: TyFun b6989586621679405849 (TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type) -> Type) -> *) (l :: b6989586621679405849) = (Maybe_Sym1 l :: TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type) -> *)

data Maybe_Sym1 (l :: b6989586621679405849) (l :: TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type)) Source #

Instances
SuppressUnusedWarnings (Maybe_Sym1 :: b6989586621679405849 -> TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

type Apply (Maybe_Sym1 l1 :: TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type) -> *) (l2 :: TyFun a6989586621679405850 b6989586621679405849 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

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

data Maybe_Sym2 (l :: b6989586621679405849) (l :: TyFun a6989586621679405850 b6989586621679405849 -> Type) (l :: TyFun (Maybe a6989586621679405850) b6989586621679405849) Source #

Instances
SuppressUnusedWarnings (Maybe_Sym2 :: b6989586621679405849 -> (TyFun a6989586621679405850 b6989586621679405849 -> Type) -> TyFun (Maybe a6989586621679405850) b6989586621679405849 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Maybe

type Apply (Maybe_Sym2 l1 l2 :: TyFun (Maybe a) b -> *) (l3 :: Maybe a) Source # 
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 :: b6989586621679405849) (t :: TyFun a6989586621679405850 b6989586621679405849 -> Type) (t :: Maybe a6989586621679405850) = Maybe_ t t t Source #

data LeftSym0 (l :: TyFun a6989586621679081217 (Either a6989586621679081217 b6989586621679081218)) Source #

Instances
SuppressUnusedWarnings (LeftSym0 :: TyFun a6989586621679081217 (Either a6989586621679081217 b6989586621679081218) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

type LeftSym1 (t :: a6989586621679081217) = Left t Source #

data RightSym0 (l :: TyFun b6989586621679081218 (Either a6989586621679081217 b6989586621679081218)) Source #

Instances
SuppressUnusedWarnings (RightSym0 :: TyFun b6989586621679081218 (Either a6989586621679081217 b6989586621679081218) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

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

Defined in Data.Singletons.Prelude.Instances

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

type RightSym1 (t :: b6989586621679081218) = Right t Source #

data Either_Sym0 (l :: TyFun (TyFun a6989586621679914687 c6989586621679914688 -> Type) (TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (Either_Sym0 :: TyFun (TyFun a6989586621679914687 c6989586621679914688 -> Type) (TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

type Apply (Either_Sym0 :: TyFun (TyFun a6989586621679914687 c6989586621679914688 -> Type) (TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type) -> Type) -> *) (l :: TyFun a6989586621679914687 c6989586621679914688 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

type Apply (Either_Sym0 :: TyFun (TyFun a6989586621679914687 c6989586621679914688 -> Type) (TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type) -> Type) -> *) (l :: TyFun a6989586621679914687 c6989586621679914688 -> Type) = (Either_Sym1 l :: TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type) -> *)

data Either_Sym1 (l :: TyFun a6989586621679914687 c6989586621679914688 -> Type) (l :: TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type)) Source #

Instances
SuppressUnusedWarnings (Either_Sym1 :: (TyFun a6989586621679914687 c6989586621679914688 -> Type) -> TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

type Apply (Either_Sym1 l1 :: TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type) -> *) (l2 :: TyFun b6989586621679914689 c6989586621679914688 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

type Apply (Either_Sym1 l1 :: TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type) -> *) (l2 :: TyFun b6989586621679914689 c6989586621679914688 -> Type) = Either_Sym2 l1 l2

data Either_Sym2 (l :: TyFun a6989586621679914687 c6989586621679914688 -> Type) (l :: TyFun b6989586621679914689 c6989586621679914688 -> Type) (l :: TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688) Source #

Instances
SuppressUnusedWarnings (Either_Sym2 :: (TyFun a6989586621679914687 c6989586621679914688 -> Type) -> (TyFun b6989586621679914689 c6989586621679914688 -> Type) -> TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Either

type Apply (Either_Sym2 l1 l2 :: TyFun (Either a b) c -> *) (l3 :: Either a b) Source # 
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 a6989586621679914687 c6989586621679914688 -> Type) (t :: TyFun b6989586621679914689 c6989586621679914688 -> Type) (t :: Either a6989586621679914687 b6989586621679914689) = Either_ t t t Source #

type Tuple0Sym0 = '() Source #

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

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (l :: a3530822107858468865) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple2Sym1 l1 :: TyFun k1 (k2, k1) -> *) (l2 :: k1) Source # 
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) Source #

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

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (l :: a3530822107858468865) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple3Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (l2 :: b3530822107858468866) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple3Sym2 l1 l2 :: TyFun k3 (k2, k1, k3) -> *) (l3 :: k3) Source # 
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) Source #

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

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (l3 :: c3530822107858468867) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple4Sym3 l1 l2 l3 :: TyFun k4 (k2, k1, k3, k4) -> *) (l4 :: k4) Source # 
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) Source #

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

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (l4 :: d3530822107858468868) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple5Sym4 l1 l2 l3 l4 :: TyFun k5 (k2, k1, k3, k4, k5) -> *) (l5 :: k5) Source # 
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) Source #

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

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) -> *) Source # 
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) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

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

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) Source # 
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)) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (l5 :: e3530822107858468869) Source # 
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)) Source #

Instances
SuppressUnusedWarnings (Tuple6Sym5 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) Source # 
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) Source # 
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) Source #

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

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) -> *) Source # 
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) Source # 
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)) Source #

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) -> *) Source # 
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) Source # 
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)) Source #

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) -> *) Source # 
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) Source # 
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)) Source #

Instances
SuppressUnusedWarnings (Tuple7Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) Source # 
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) Source # 
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)) Source #

Instances
SuppressUnusedWarnings (Tuple7Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) Source # 
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) Source # 
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)) Source #

Instances
SuppressUnusedWarnings (Tuple7Sym5 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) Source # 
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) Source # 
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)) Source #

Instances
SuppressUnusedWarnings (Tuple7Sym6 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) Source # 
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) Source # 
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) Source #

data FstSym0 (l :: TyFun (a6989586621679288102, b6989586621679288103) a6989586621679288102) Source #

Instances
SuppressUnusedWarnings (FstSym0 :: TyFun (a6989586621679288102, b6989586621679288103) a6989586621679288102 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

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

Defined in Data.Singletons.Prelude.Tuple

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

type FstSym1 (t :: (a6989586621679288102, b6989586621679288103)) = Fst t Source #

data SndSym0 (l :: TyFun (a6989586621679288100, b6989586621679288101) b6989586621679288101) Source #

Instances
SuppressUnusedWarnings (SndSym0 :: TyFun (a6989586621679288100, b6989586621679288101) b6989586621679288101 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

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

Defined in Data.Singletons.Prelude.Tuple

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

type SndSym1 (t :: (a6989586621679288100, b6989586621679288101)) = Snd t Source #

data CurrySym0 (l :: TyFun (TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (CurrySym0 :: TyFun (TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (CurrySym0 :: TyFun (TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type) -> Type) -> *) (l :: TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (CurrySym0 :: TyFun (TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type) -> Type) -> *) (l :: TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) = CurrySym1 l

data CurrySym1 (l :: TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (l :: TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type)) Source #

Instances
SuppressUnusedWarnings (CurrySym1 :: (TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) -> TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (CurrySym1 l1 :: TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type) -> *) (l2 :: a6989586621679288097) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (CurrySym1 l1 :: TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type) -> *) (l2 :: a6989586621679288097) = CurrySym2 l1 l2

data CurrySym2 (l :: TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (l :: a6989586621679288097) (l :: TyFun b6989586621679288098 c6989586621679288099) Source #

Instances
SuppressUnusedWarnings (CurrySym2 :: (TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) -> a6989586621679288097 -> TyFun b6989586621679288098 c6989586621679288099 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (CurrySym2 l1 l2 :: TyFun b c -> *) (l3 :: b) Source # 
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 (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (t :: a6989586621679288097) (t :: b6989586621679288098) = Curry t t t Source #

data UncurrySym0 (l :: TyFun (TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) (TyFun (a6989586621679288094, b6989586621679288095) c6989586621679288096 -> Type)) Source #

Instances
SuppressUnusedWarnings (UncurrySym0 :: TyFun (TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) (TyFun (a6989586621679288094, b6989586621679288095) c6989586621679288096 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (UncurrySym0 :: TyFun (TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) (TyFun (a6989586621679288094, b6989586621679288095) c6989586621679288096 -> Type) -> *) (l :: TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (UncurrySym0 :: TyFun (TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) (TyFun (a6989586621679288094, b6989586621679288095) c6989586621679288096 -> Type) -> *) (l :: TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) = UncurrySym1 l

data UncurrySym1 (l :: TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) (l :: TyFun (a6989586621679288094, b6989586621679288095) c6989586621679288096) Source #

Instances
SuppressUnusedWarnings (UncurrySym1 :: (TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) -> TyFun (a6989586621679288094, b6989586621679288095) c6989586621679288096 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Tuple

type Apply (UncurrySym1 l1 :: TyFun (a, b) c -> *) (l2 :: (a, b)) Source # 
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 a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) (t :: (a6989586621679288094, b6989586621679288095)) = Uncurry t t Source #

data ErrorSym0 (l :: TyFun k06989586621679381217 k6989586621679381218) Source #

Instances
SuppressUnusedWarnings (ErrorSym0 :: TyFun k06989586621679381217 k6989586621679381218 -> *) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

type ErrorSym1 (t :: k06989586621679381217) = Error t Source #

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

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

Defined in Data.Singletons.TypeLits.Internal

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

Defined in Data.Singletons.TypeLits.Internal

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

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

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

Defined in Data.Singletons.TypeLits.Internal

type Apply ((^@#@$$) l1 :: TyFun Nat Nat -> *) (l2 :: Nat) Source # 
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 Source #

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

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

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

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

data ShowsPrecSym2 (l :: Nat) (l :: a6989586621679674878) (l :: TyFun Symbol Symbol) Source #

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

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) Source # 
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 :: a6989586621679674878) (t :: Symbol) = ShowsPrec t t t Source #

data Show_Sym0 (l :: TyFun a6989586621679674878 Symbol) Source #

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

type Show_Sym1 (t :: a6989586621679674878) = Show_ t Source #

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

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

data ShowListSym1 (l :: [a6989586621679674878]) (l :: TyFun Symbol Symbol) Source #

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

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

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

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

Defined in Data.Singletons.TypeLits.Internal

type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # 
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 Source #

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

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

data ShowsSym1 (l :: a6989586621679674863) (l :: TyFun Symbol Symbol) Source #

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

Defined in Data.Singletons.Prelude.Show

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

Defined in Data.Singletons.Prelude.Show

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

type ShowsSym2 (t :: a6989586621679674863) (t :: Symbol) = Shows t t Source #

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

Instances
SuppressUnusedWarnings ShowCharSym1 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # 
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 Source #

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

Instances
SuppressUnusedWarnings ShowStringSym1 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # 
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 Source #

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

Instances
SuppressUnusedWarnings ShowParenSym2 Source # 
Instance details

Defined in Data.Singletons.Prelude.Show

type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) Source # 
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 a6989586621679422443 a6989586621679422443) Source #

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

type IdSym1 (t :: a6989586621679422443) = Id t Source #

data ConstSym0 (l :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type)) Source #

Instances
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym0 :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type) -> *) (l :: a6989586621679422441) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym0 :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type) -> *) (l :: a6989586621679422441) = (ConstSym1 l :: TyFun b6989586621679422442 a6989586621679422441 -> *)

data ConstSym1 (l :: a6989586621679422441) (l :: TyFun b6989586621679422442 a6989586621679422441) Source #

Instances
SuppressUnusedWarnings (ConstSym1 :: a6989586621679422441 -> TyFun b6989586621679422442 a6989586621679422441 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

type ConstSym2 (t :: a6989586621679422441) (t :: b6989586621679422442) = Const t t Source #

data (.@#@$) (l :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings ((.@#@$) :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$) :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type) -> *) (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$) :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type) -> *) (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) = ((.@#@$$) l :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> *)

data (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type)) Source #

Instances
SuppressUnusedWarnings ((.@#@$$) :: (TyFun b6989586621679422438 c6989586621679422439 -> Type) -> TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> *) (l2 :: TyFun a6989586621679422440 b6989586621679422438 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> *) (l2 :: TyFun a6989586621679422440 b6989586621679422438 -> Type) = l1 .@#@$$$ l2

data ((l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$$ (l :: TyFun a6989586621679422440 b6989586621679422438 -> Type)) (l :: TyFun a6989586621679422440 c6989586621679422439) Source #

Instances
SuppressUnusedWarnings ((.@#@$$$) :: (TyFun b6989586621679422438 c6989586621679422439 -> Type) -> (TyFun a6989586621679422440 b6989586621679422438 -> Type) -> TyFun a6989586621679422440 c6989586621679422439 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

data ($@#@$) (l :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type)) Source #

Instances
SuppressUnusedWarnings (($@#@$) :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$) :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> *) (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$) :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> *) (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) = ($@#@$$) l

data (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) $@#@$$ (l :: TyFun a6989586621679422432 b6989586621679422433) Source #

Instances
SuppressUnusedWarnings (($@#@$$) :: (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> TyFun a6989586621679422432 b6989586621679422433 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

type ($@#@$$$) (t :: TyFun a6989586621679422432 b6989586621679422433 -> Type) (t :: a6989586621679422432) = ($) t t Source #

data ($!@#@$) (l :: TyFun (TyFun a6989586621679422430 b6989586621679422431 -> Type) (TyFun a6989586621679422430 b6989586621679422431 -> Type)) Source #

Instances
SuppressUnusedWarnings (($!@#@$) :: TyFun (TyFun a6989586621679422430 b6989586621679422431 -> Type) (TyFun a6989586621679422430 b6989586621679422431 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$) :: TyFun (TyFun a6989586621679422430 b6989586621679422431 -> Type) (TyFun a6989586621679422430 b6989586621679422431 -> Type) -> *) (l :: TyFun a6989586621679422430 b6989586621679422431 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

data (l :: TyFun a6989586621679422430 b6989586621679422431 -> Type) $!@#@$$ (l :: TyFun a6989586621679422430 b6989586621679422431) Source #

Instances
SuppressUnusedWarnings (($!@#@$$) :: (TyFun a6989586621679422430 b6989586621679422431 -> Type) -> TyFun a6989586621679422430 b6989586621679422431 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

type ($!@#@$$$) (t :: TyFun a6989586621679422430 b6989586621679422431 -> Type) (t :: a6989586621679422430) = ($!) t t Source #

data FlipSym0 (l :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) = FlipSym1 l

data FlipSym1 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type)) Source #

Instances
SuppressUnusedWarnings (FlipSym1 :: (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) -> TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym1 l1 :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> *) (l2 :: b6989586621679422436) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym1 l1 :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> *) (l2 :: b6989586621679422436) = FlipSym2 l1 l2

data FlipSym2 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: b6989586621679422436) (l :: TyFun a6989586621679422435 c6989586621679422437) Source #

Instances
SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) -> b6989586621679422436 -> TyFun a6989586621679422435 c6989586621679422437 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) Source # 
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 a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type)) Source #

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

data AsTypeOfSym1 (l :: a6989586621679422434) (l :: TyFun a6989586621679422434 a6989586621679422434) Source #

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

type AsTypeOfSym2 (t :: a6989586621679422434) (t :: a6989586621679422434) = AsTypeOf t t Source #

data SeqSym0 (l :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type)) Source #

Instances
SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym0 :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type) -> *) (l :: a6989586621679422428) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym0 :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type) -> *) (l :: a6989586621679422428) = (SeqSym1 l :: TyFun b6989586621679422429 b6989586621679422429 -> *)

data SeqSym1 (l :: a6989586621679422428) (l :: TyFun b6989586621679422429 b6989586621679422429) Source #

Instances
SuppressUnusedWarnings (SeqSym1 :: a6989586621679422428 -> TyFun b6989586621679422429 b6989586621679422429 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

type SeqSym2 (t :: a6989586621679422428) (t :: b6989586621679422429) = Seq t t Source #

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

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

Defined in Data.Singletons.Prelude.Instances

type Apply ((:@#@$) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) (l :: a3530822107858468865) Source # 
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]) Source #

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

Defined in Data.Singletons.Prelude.Instances

type Apply ((:@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # 
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 Source #

type NilSym0 = '[] Source #

data MapSym0 (l :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type)) Source #

Instances
SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym0 :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type) -> *) (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

data MapSym1 (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (l :: TyFun [a6989586621679422445] [b6989586621679422446]) Source #

Instances
SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679422445 b6989586621679422446 -> Type) -> TyFun [a6989586621679422445] [b6989586621679422446] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

type MapSym2 (t :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (t :: [a6989586621679422445]) = Map t t Source #

data ReverseSym0 (l :: TyFun [a6989586621679445076] [a6989586621679445076]) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

type ReverseSym1 (t :: [a6989586621679445076]) = Reverse t Source #

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

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

data (++@#@$) (l :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type)) Source #

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

data HeadSym0 (l :: TyFun [a6989586621679445081] a6989586621679445081) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (HeadSym0 :: TyFun [a] a -> *) (l :: [a]) = Head l

type HeadSym1 (t :: [a6989586621679445081]) = Head t Source #

data LastSym0 (l :: TyFun [a6989586621679445080] a6989586621679445080) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (LastSym0 :: TyFun [a] a -> *) (l :: [a]) = Last l

type LastSym1 (t :: [a6989586621679445080]) = Last t Source #

data TailSym0 (l :: TyFun [a6989586621679445079] [a6989586621679445079]) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (TailSym0 :: TyFun [a] [a] -> *) (l :: [a]) = Tail l

type TailSym1 (t :: [a6989586621679445079]) = Tail t Source #

data InitSym0 (l :: TyFun [a6989586621679445078] [a6989586621679445078]) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (InitSym0 :: TyFun [a] [a] -> *) (l :: [a]) = Init l

type InitSym1 (t :: [a6989586621679445078]) = Init t Source #

data NullSym0 (l :: TyFun [a6989586621679445077] Bool) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (NullSym0 :: TyFun [a] Bool -> *) (l :: [a]) = Null l

type NullSym1 (t :: [a6989586621679445077]) = Null t Source #

data FoldlSym0 (l :: TyFun (TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) (TyFun b6989586621679261435 (TyFun [a6989586621679261434] b6989586621679261435 -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (FoldlSym0 :: TyFun (TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) (TyFun b6989586621679261435 (TyFun [a6989586621679261434] b6989586621679261435 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (FoldlSym0 :: TyFun (TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) (TyFun b6989586621679261435 (TyFun [a6989586621679261434] b6989586621679261435 -> Type) -> Type) -> *) (l :: TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (FoldlSym0 :: TyFun (TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) (TyFun b6989586621679261435 (TyFun [a6989586621679261434] b6989586621679261435 -> Type) -> Type) -> *) (l :: TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) = FoldlSym1 l

data FoldlSym1 (l :: TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) (l :: TyFun b6989586621679261435 (TyFun [a6989586621679261434] b6989586621679261435 -> Type)) Source #

Instances
SuppressUnusedWarnings (FoldlSym1 :: (TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) -> TyFun b6989586621679261435 (TyFun [a6989586621679261434] b6989586621679261435 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (FoldlSym1 l1 :: TyFun b6989586621679261435 (TyFun [a6989586621679261434] b6989586621679261435 -> Type) -> *) (l2 :: b6989586621679261435) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (FoldlSym1 l1 :: TyFun b6989586621679261435 (TyFun [a6989586621679261434] b6989586621679261435 -> Type) -> *) (l2 :: b6989586621679261435) = FoldlSym2 l1 l2

data FoldlSym2 (l :: TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) (l :: b6989586621679261435) (l :: TyFun [a6989586621679261434] b6989586621679261435) Source #

Instances
SuppressUnusedWarnings (FoldlSym2 :: (TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) -> b6989586621679261435 -> TyFun [a6989586621679261434] b6989586621679261435 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply (FoldlSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) Source # 
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 b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) (t :: b6989586621679261435) (t :: [a6989586621679261434]) = Foldl t t t Source #

data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) (TyFun [a6989586621679445067] a6989586621679445067 -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (Foldl1Sym0 :: TyFun (TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) (TyFun [a6989586621679445067] a6989586621679445067 -> Type) -> *) (l :: TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Foldl1Sym0 :: TyFun (TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) (TyFun [a6989586621679445067] a6989586621679445067 -> Type) -> *) (l :: TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) = Foldl1Sym1 l

data Foldl1Sym1 (l :: TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) (l :: TyFun [a6989586621679445067] a6989586621679445067) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (Foldl1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) = Foldl1 l1 l2

type Foldl1Sym2 (t :: TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) (t :: [a6989586621679445067]) = Foldl1 t t Source #

data FoldrSym0 (l :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (FoldrSym0 :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) = FoldrSym1 l

data FoldrSym1 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type)) Source #

Instances
SuppressUnusedWarnings (FoldrSym1 :: (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) -> TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym1 l1 :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> *) (l2 :: b6989586621679422448) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym1 l1 :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> *) (l2 :: b6989586621679422448) = FoldrSym2 l1 l2

data FoldrSym2 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: b6989586621679422448) (l :: TyFun [a6989586621679422447] b6989586621679422448) Source #

Instances
SuppressUnusedWarnings (FoldrSym2 :: (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) -> b6989586621679422448 -> TyFun [a6989586621679422447] b6989586621679422448 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) Source # 
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 a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (t :: b6989586621679422448) (t :: [a6989586621679422447]) = Foldr t t t Source #

data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) (TyFun [a6989586621679445065] a6989586621679445065 -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (Foldr1Sym0 :: TyFun (TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) (TyFun [a6989586621679445065] a6989586621679445065 -> Type) -> *) (l :: TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Foldr1Sym0 :: TyFun (TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) (TyFun [a6989586621679445065] a6989586621679445065 -> Type) -> *) (l :: TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) = Foldr1Sym1 l

data Foldr1Sym1 (l :: TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) (l :: TyFun [a6989586621679445065] a6989586621679445065) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (Foldr1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) = Foldr1 l1 l2

type Foldr1Sym2 (t :: TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) (t :: [a6989586621679445065]) = Foldr1 t t Source #

data ConcatSym0 (l :: TyFun [[a6989586621679445064]] [a6989586621679445064]) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (ConcatSym0 :: TyFun [[a]] [a] -> *) (l :: [[a]]) = Concat l

type ConcatSym1 (t :: [[a6989586621679445064]]) = Concat t Source #

data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679445062 [b6989586621679445063] -> Type) (TyFun [a6989586621679445062] [b6989586621679445063] -> Type)) Source #

Instances
SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (TyFun a6989586621679445062 [b6989586621679445063] -> Type) (TyFun [a6989586621679445062] [b6989586621679445063] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ConcatMapSym0 :: TyFun (TyFun a6989586621679445062 [b6989586621679445063] -> Type) (TyFun [a6989586621679445062] [b6989586621679445063] -> Type) -> *) (l :: TyFun a6989586621679445062 [b6989586621679445063] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ConcatMapSym0 :: TyFun (TyFun a6989586621679445062 [b6989586621679445063] -> Type) (TyFun [a6989586621679445062] [b6989586621679445063] -> Type) -> *) (l :: TyFun a6989586621679445062 [b6989586621679445063] -> Type) = ConcatMapSym1 l

data ConcatMapSym1 (l :: TyFun a6989586621679445062 [b6989586621679445063] -> Type) (l :: TyFun [a6989586621679445062] [b6989586621679445063]) Source #

Instances
SuppressUnusedWarnings (ConcatMapSym1 :: (TyFun a6989586621679445062 [b6989586621679445063] -> Type) -> TyFun [a6989586621679445062] [b6989586621679445063] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

type ConcatMapSym2 (t :: TyFun a6989586621679445062 [b6989586621679445063] -> Type) (t :: [a6989586621679445062]) = ConcatMap t t Source #

data MaximumBySym0 (l :: TyFun (TyFun a6989586621679444993 (TyFun a6989586621679444993 Ordering -> Type) -> Type) (TyFun [a6989586621679444993] a6989586621679444993 -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

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

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

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

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

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

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

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

type MinimumBySym2 (t :: TyFun a6989586621679444992 (TyFun a6989586621679444992 Ordering -> Type) -> Type) (t :: [a6989586621679444992]) = MinimumBy t t Source #

data AndSym0 (l :: TyFun [Bool] Bool) Source #

Instances
SuppressUnusedWarnings AndSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply AndSym0 (l :: [Bool]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply AndSym0 (l :: [Bool]) = And l

type AndSym1 (t :: [Bool]) = And t Source #

data OrSym0 (l :: TyFun [Bool] Bool) Source #

Instances
SuppressUnusedWarnings OrSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply OrSym0 (l :: [Bool]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply OrSym0 (l :: [Bool]) = Or l

type OrSym1 (t :: [Bool]) = Or t Source #

data AnySym0 (l :: TyFun (TyFun a6989586621679445060 Bool -> Type) (TyFun [a6989586621679445060] Bool -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (AnySym0 :: TyFun (TyFun a6989586621679445060 Bool -> Type) (TyFun [a6989586621679445060] Bool -> Type) -> *) (l :: TyFun a6989586621679445060 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (AnySym0 :: TyFun (TyFun a6989586621679445060 Bool -> Type) (TyFun [a6989586621679445060] Bool -> Type) -> *) (l :: TyFun a6989586621679445060 Bool -> Type) = AnySym1 l

data AnySym1 (l :: TyFun a6989586621679445060 Bool -> Type) (l :: TyFun [a6989586621679445060] Bool) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (AnySym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = Any l1 l2

type AnySym2 (t :: TyFun a6989586621679445060 Bool -> Type) (t :: [a6989586621679445060]) = Any t t Source #

data AllSym0 (l :: TyFun (TyFun a6989586621679445061 Bool -> Type) (TyFun [a6989586621679445061] Bool -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (AllSym0 :: TyFun (TyFun a6989586621679445061 Bool -> Type) (TyFun [a6989586621679445061] Bool -> Type) -> *) (l :: TyFun a6989586621679445061 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (AllSym0 :: TyFun (TyFun a6989586621679445061 Bool -> Type) (TyFun [a6989586621679445061] Bool -> Type) -> *) (l :: TyFun a6989586621679445061 Bool -> Type) = AllSym1 l

data AllSym1 (l :: TyFun a6989586621679445061 Bool -> Type) (l :: TyFun [a6989586621679445061] Bool) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (AllSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = All l1 l2

type AllSym2 (t :: TyFun a6989586621679445061 Bool -> Type) (t :: [a6989586621679445061]) = All t t Source #

data ScanlSym0 (l :: TyFun (TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) (TyFun b6989586621679445058 (TyFun [a6989586621679445059] [b6989586621679445058] -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) (TyFun b6989586621679445058 (TyFun [a6989586621679445059] [b6989586621679445058] -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) (TyFun b6989586621679445058 (TyFun [a6989586621679445059] [b6989586621679445058] -> Type) -> Type) -> *) (l :: TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) (TyFun b6989586621679445058 (TyFun [a6989586621679445059] [b6989586621679445058] -> Type) -> Type) -> *) (l :: TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) = ScanlSym1 l

data ScanlSym1 (l :: TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) (l :: TyFun b6989586621679445058 (TyFun [a6989586621679445059] [b6989586621679445058] -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) -> TyFun b6989586621679445058 (TyFun [a6989586621679445059] [b6989586621679445058] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanlSym1 l1 :: TyFun b6989586621679445058 (TyFun [a6989586621679445059] [b6989586621679445058] -> Type) -> *) (l2 :: b6989586621679445058) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanlSym1 l1 :: TyFun b6989586621679445058 (TyFun [a6989586621679445059] [b6989586621679445058] -> Type) -> *) (l2 :: b6989586621679445058) = ScanlSym2 l1 l2

data ScanlSym2 (l :: TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) (l :: b6989586621679445058) (l :: TyFun [a6989586621679445059] [b6989586621679445058]) Source #

Instances
SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) -> b6989586621679445058 -> TyFun [a6989586621679445059] [b6989586621679445058] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanlSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) Source # 
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 b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) (t :: b6989586621679445058) (t :: [a6989586621679445059]) = Scanl t t t Source #

data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) (TyFun [a6989586621679445057] [a6989586621679445057] -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) (TyFun [a6989586621679445057] [a6989586621679445057] -> Type) -> *) (l :: TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) (TyFun [a6989586621679445057] [a6989586621679445057] -> Type) -> *) (l :: TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) = Scanl1Sym1 l

data Scanl1Sym1 (l :: TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) (l :: TyFun [a6989586621679445057] [a6989586621679445057]) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (Scanl1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = Scanl1 l1 l2

type Scanl1Sym2 (t :: TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) (t :: [a6989586621679445057]) = Scanl1 t t Source #

data ScanrSym0 (l :: TyFun (TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) (TyFun b6989586621679445056 (TyFun [a6989586621679445055] [b6989586621679445056] -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) (TyFun b6989586621679445056 (TyFun [a6989586621679445055] [b6989586621679445056] -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) (TyFun b6989586621679445056 (TyFun [a6989586621679445055] [b6989586621679445056] -> Type) -> Type) -> *) (l :: TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) (TyFun b6989586621679445056 (TyFun [a6989586621679445055] [b6989586621679445056] -> Type) -> Type) -> *) (l :: TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) = ScanrSym1 l

data ScanrSym1 (l :: TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) (l :: TyFun b6989586621679445056 (TyFun [a6989586621679445055] [b6989586621679445056] -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) -> TyFun b6989586621679445056 (TyFun [a6989586621679445055] [b6989586621679445056] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanrSym1 l1 :: TyFun b6989586621679445056 (TyFun [a6989586621679445055] [b6989586621679445056] -> Type) -> *) (l2 :: b6989586621679445056) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanrSym1 l1 :: TyFun b6989586621679445056 (TyFun [a6989586621679445055] [b6989586621679445056] -> Type) -> *) (l2 :: b6989586621679445056) = ScanrSym2 l1 l2

data ScanrSym2 (l :: TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) (l :: b6989586621679445056) (l :: TyFun [a6989586621679445055] [b6989586621679445056]) Source #

Instances
SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) -> b6989586621679445056 -> TyFun [a6989586621679445055] [b6989586621679445056] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ScanrSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) Source # 
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 a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) (t :: b6989586621679445056) (t :: [a6989586621679445055]) = Scanr t t t Source #

data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) (TyFun [a6989586621679445054] [a6989586621679445054] -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) (TyFun [a6989586621679445054] [a6989586621679445054] -> Type) -> *) (l :: TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) (TyFun [a6989586621679445054] [a6989586621679445054] -> Type) -> *) (l :: TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) = Scanr1Sym1 l

data Scanr1Sym1 (l :: TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) (l :: TyFun [a6989586621679445054] [a6989586621679445054]) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (Scanr1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = Scanr1 l1 l2

type Scanr1Sym2 (t :: TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) (t :: [a6989586621679445054]) = Scanr1 t t Source #

data ElemSym0 (l :: TyFun a6989586621679445040 (TyFun [a6989586621679445040] Bool -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (ElemSym0 :: TyFun a6989586621679445040 (TyFun [a6989586621679445040] Bool -> Type) -> *) (l :: a6989586621679445040) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ElemSym0 :: TyFun a6989586621679445040 (TyFun [a6989586621679445040] Bool -> Type) -> *) (l :: a6989586621679445040) = ElemSym1 l

data ElemSym1 (l :: a6989586621679445040) (l :: TyFun [a6989586621679445040] Bool) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (ElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = Elem l1 l2

type ElemSym2 (t :: a6989586621679445040) (t :: [a6989586621679445040]) = Elem t t Source #

data NotElemSym0 (l :: TyFun a6989586621679445039 (TyFun [a6989586621679445039] Bool -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (NotElemSym0 :: TyFun a6989586621679445039 (TyFun [a6989586621679445039] Bool -> Type) -> *) (l :: a6989586621679445039) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (NotElemSym0 :: TyFun a6989586621679445039 (TyFun [a6989586621679445039] Bool -> Type) -> *) (l :: a6989586621679445039) = NotElemSym1 l

data NotElemSym1 (l :: a6989586621679445039) (l :: TyFun [a6989586621679445039] Bool) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (NotElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = NotElem l1 l2

type NotElemSym2 (t :: a6989586621679445039) (t :: [a6989586621679445039]) = NotElem t t Source #

data ZipSym0 (l :: TyFun [a6989586621679445037] (TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)] -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipSym0 :: TyFun [a6989586621679445037] (TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipSym0 :: TyFun [a6989586621679445037] (TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)] -> Type) -> *) (l :: [a6989586621679445037]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipSym0 :: TyFun [a6989586621679445037] (TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)] -> Type) -> *) (l :: [a6989586621679445037]) = (ZipSym1 l :: TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)] -> *)

data ZipSym1 (l :: [a6989586621679445037]) (l :: TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)]) Source #

Instances
SuppressUnusedWarnings (ZipSym1 :: [a6989586621679445037] -> TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (ZipSym1 l1 :: TyFun [b] [(a, b)] -> *) (l2 :: [b]) = Zip l1 l2

type ZipSym2 (t :: [a6989586621679445037]) (t :: [b6989586621679445038]) = Zip t t Source #

data Zip3Sym0 (l :: TyFun [a6989586621679445034] (TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (Zip3Sym0 :: TyFun [a6989586621679445034] (TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Zip3Sym0 :: TyFun [a6989586621679445034] (TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type) -> Type) -> *) (l :: [a6989586621679445034]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Zip3Sym0 :: TyFun [a6989586621679445034] (TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type) -> Type) -> *) (l :: [a6989586621679445034]) = (Zip3Sym1 l :: TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type) -> *)

data Zip3Sym1 (l :: [a6989586621679445034]) (l :: TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type)) Source #

Instances
SuppressUnusedWarnings (Zip3Sym1 :: [a6989586621679445034] -> TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Zip3Sym1 l1 :: TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type) -> *) (l2 :: [b6989586621679445035]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Zip3Sym1 l1 :: TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type) -> *) (l2 :: [b6989586621679445035]) = (Zip3Sym2 l1 l2 :: TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> *)

data Zip3Sym2 (l :: [a6989586621679445034]) (l :: [b6989586621679445035]) (l :: TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)]) Source #

Instances
SuppressUnusedWarnings (Zip3Sym2 :: [a6989586621679445034] -> [b6989586621679445035] -> TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (Zip3Sym2 l1 l2 :: TyFun [c] [(a, b, c)] -> *) (l3 :: [c]) Source # 
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 :: [a6989586621679445034]) (t :: [b6989586621679445035]) (t :: [c6989586621679445036]) = Zip3 t t t Source #

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) (TyFun [a6989586621679445031] (TyFun [b6989586621679445032] [c6989586621679445033] -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) (TyFun [a6989586621679445031] (TyFun [b6989586621679445032] [c6989586621679445033] -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) (TyFun [a6989586621679445031] (TyFun [b6989586621679445032] [c6989586621679445033] -> Type) -> Type) -> *) (l :: TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) (TyFun [a6989586621679445031] (TyFun [b6989586621679445032] [c6989586621679445033] -> Type) -> Type) -> *) (l :: TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) = ZipWithSym1 l

data ZipWithSym1 (l :: TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) (l :: TyFun [a6989586621679445031] (TyFun [b6989586621679445032] [c6989586621679445033] -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) -> TyFun [a6989586621679445031] (TyFun [b6989586621679445032] [c6989586621679445033] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWithSym1 l1 :: TyFun [a6989586621679445031] (TyFun [b6989586621679445032] [c6989586621679445033] -> Type) -> *) (l2 :: [a6989586621679445031]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWithSym1 l1 :: TyFun [a6989586621679445031] (TyFun [b6989586621679445032] [c6989586621679445033] -> Type) -> *) (l2 :: [a6989586621679445031]) = ZipWithSym2 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) (l :: [a6989586621679445031]) (l :: TyFun [b6989586621679445032] [c6989586621679445033]) Source #

Instances
SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) -> [a6989586621679445031] -> TyFun [b6989586621679445032] [c6989586621679445033] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWithSym2 l1 l2 :: TyFun [b] [c] -> *) (l3 :: [b]) Source # 
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 a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) (t :: [a6989586621679445031]) (t :: [b6989586621679445032]) = ZipWith t t t Source #

data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) (TyFun [a6989586621679445027] (TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipWith3Sym0 :: TyFun (TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) (TyFun [a6989586621679445027] (TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym0 :: TyFun (TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) (TyFun [a6989586621679445027] (TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> Type) -> Type) -> *) (l :: TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym0 :: TyFun (TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) (TyFun [a6989586621679445027] (TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> Type) -> Type) -> *) (l :: TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) = ZipWith3Sym1 l

data ZipWith3Sym1 (l :: TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679445027] (TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipWith3Sym1 :: (TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) -> TyFun [a6989586621679445027] (TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym1 l1 :: TyFun [a6989586621679445027] (TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> Type) -> *) (l2 :: [a6989586621679445027]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym1 l1 :: TyFun [a6989586621679445027] (TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> Type) -> *) (l2 :: [a6989586621679445027]) = ZipWith3Sym2 l1 l2

data ZipWith3Sym2 (l :: TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) (l :: [a6989586621679445027]) (l :: TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipWith3Sym2 :: (TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) -> [a6989586621679445027] -> TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym2 l1 l2 :: TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> *) (l3 :: [b6989586621679445028]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym2 l1 l2 :: TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> *) (l3 :: [b6989586621679445028]) = ZipWith3Sym3 l1 l2 l3

data ZipWith3Sym3 (l :: TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) (l :: [a6989586621679445027]) (l :: [b6989586621679445028]) (l :: TyFun [c6989586621679445029] [d6989586621679445030]) Source #

Instances
SuppressUnusedWarnings (ZipWith3Sym3 :: (TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) -> [a6989586621679445027] -> [b6989586621679445028] -> TyFun [c6989586621679445029] [d6989586621679445030] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ZipWith3Sym3 l1 l2 l3 :: TyFun [c] [d] -> *) (l4 :: [c]) Source # 
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 [(a6989586621679445025, b6989586621679445026)] ([a6989586621679445025], [b6989586621679445026])) Source #

Instances
SuppressUnusedWarnings (UnzipSym0 :: TyFun [(a6989586621679445025, b6989586621679445026)] ([a6989586621679445025], [b6989586621679445026]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (UnzipSym0 :: TyFun [(a, b)] ([a], [b]) -> *) (l :: [(a, b)]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (UnzipSym0 :: TyFun [(a, b)] ([a], [b]) -> *) (l :: [(a, b)]) = Unzip l

type UnzipSym1 (t :: [(a6989586621679445025, b6989586621679445026)]) = Unzip t Source #

data UnlinesSym0 (l :: TyFun [Symbol] Symbol) Source #

Instances
SuppressUnusedWarnings UnlinesSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply UnlinesSym0 (l :: [Symbol]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply UnlinesSym0 (l :: [Symbol]) = Unlines l

type UnlinesSym1 (t :: [Symbol]) = Unlines t Source #

data UnwordsSym0 (l :: TyFun [Symbol] Symbol) Source #

Instances
SuppressUnusedWarnings UnwordsSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply UnwordsSym0 (l :: [Symbol]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply UnwordsSym0 (l :: [Symbol]) = Unwords l

type UnwordsSym1 (t :: [Symbol]) = Unwords t Source #

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

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

Defined in Data.Promotion.Prelude.Base

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

Defined in Data.Promotion.Prelude.Base

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

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

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

Defined in Data.Promotion.Prelude.Base

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

Defined in Data.Promotion.Prelude.Base

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

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

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

Defined in Data.Promotion.Prelude.Base

type Apply (UntilSym2 l1 l2 :: TyFun a a -> *) (l3 :: a) Source # 
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 a6989586621679961472 Bool -> Type) (t :: TyFun a6989586621679961472 a6989586621679961472 -> Type) (t :: a6989586621679961472) = Until t t t Source #

data LengthSym0 (l :: TyFun [a6989586621679444963] Nat) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

type LengthSym1 (t :: [a6989586621679444963]) = Length t Source #

data SumSym0 (l :: TyFun [a6989586621679444965] a6989586621679444965) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

type SumSym1 (t :: [a6989586621679444965]) = Sum t Source #

data ProductSym0 (l :: TyFun [a6989586621679444964] a6989586621679444964) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

type ProductSym1 (t :: [a6989586621679444964]) = Product t Source #

data ReplicateSym0 (l :: TyFun Nat (TyFun a6989586621679444962 [a6989586621679444962] -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (ReplicateSym0 :: TyFun Nat (TyFun a6989586621679444962 [a6989586621679444962] -> Type) -> *) (l :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (ReplicateSym0 :: TyFun Nat (TyFun a6989586621679444962 [a6989586621679444962] -> Type) -> *) (l :: Nat) = (ReplicateSym1 l :: TyFun a6989586621679444962 [a6989586621679444962] -> *)

data ReplicateSym1 (l :: Nat) (l :: TyFun a6989586621679444962 [a6989586621679444962]) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (ReplicateSym1 l1 :: TyFun a [a] -> *) (l2 :: a) Source # 
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 :: a6989586621679444962) = Replicate t t Source #

data TakeSym0 (l :: TyFun Nat (TyFun [a6989586621679444978] [a6989586621679444978] -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (TakeSym0 :: TyFun Nat (TyFun [a6989586621679444978] [a6989586621679444978] -> Type) -> *) (l :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (TakeSym0 :: TyFun Nat (TyFun [a6989586621679444978] [a6989586621679444978] -> Type) -> *) (l :: Nat) = (TakeSym1 l :: TyFun [a6989586621679444978] [a6989586621679444978] -> *)

data TakeSym1 (l :: Nat) (l :: TyFun [a6989586621679444978] [a6989586621679444978]) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (TakeSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # 
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 :: [a6989586621679444978]) = Take t t Source #

data DropSym0 (l :: TyFun Nat (TyFun [a6989586621679444977] [a6989586621679444977] -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (DropSym0 :: TyFun Nat (TyFun [a6989586621679444977] [a6989586621679444977] -> Type) -> *) (l :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (DropSym0 :: TyFun Nat (TyFun [a6989586621679444977] [a6989586621679444977] -> Type) -> *) (l :: Nat) = (DropSym1 l :: TyFun [a6989586621679444977] [a6989586621679444977] -> *)

data DropSym1 (l :: Nat) (l :: TyFun [a6989586621679444977] [a6989586621679444977]) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (DropSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # 
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 :: [a6989586621679444977]) = Drop t t Source #

data SplitAtSym0 (l :: TyFun Nat (TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976]) -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (SplitAtSym0 :: TyFun Nat (TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976]) -> Type) -> *) (l :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (SplitAtSym0 :: TyFun Nat (TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976]) -> Type) -> *) (l :: Nat) = (SplitAtSym1 l :: TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976]) -> *)

data SplitAtSym1 (l :: Nat) (l :: TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976])) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (SplitAtSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) Source # 
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 :: [a6989586621679444976]) = SplitAt t t Source #

data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679444983 Bool -> Type) (TyFun [a6989586621679444983] [a6989586621679444983] -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679444983 Bool -> Type) (TyFun [a6989586621679444983] [a6989586621679444983] -> Type) -> *) (l :: TyFun a6989586621679444983 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679444983 Bool -> Type) (TyFun [a6989586621679444983] [a6989586621679444983] -> Type) -> *) (l :: TyFun a6989586621679444983 Bool -> Type) = TakeWhileSym1 l

data TakeWhileSym1 (l :: TyFun a6989586621679444983 Bool -> Type) (l :: TyFun [a6989586621679444983] [a6989586621679444983]) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (TakeWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = TakeWhile l1 l2

type TakeWhileSym2 (t :: TyFun a6989586621679444983 Bool -> Type) (t :: [a6989586621679444983]) = TakeWhile t t Source #

data DropWhileSym0 (l :: TyFun (TyFun a6989586621679444982 Bool -> Type) (TyFun [a6989586621679444982] [a6989586621679444982] -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679444982 Bool -> Type) (TyFun [a6989586621679444982] [a6989586621679444982] -> Type) -> *) (l :: TyFun a6989586621679444982 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679444982 Bool -> Type) (TyFun [a6989586621679444982] [a6989586621679444982] -> Type) -> *) (l :: TyFun a6989586621679444982 Bool -> Type) = DropWhileSym1 l

data DropWhileSym1 (l :: TyFun a6989586621679444982 Bool -> Type) (l :: TyFun [a6989586621679444982] [a6989586621679444982]) Source #

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

type Apply (DropWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = DropWhile l1 l2

type DropWhileSym2 (t :: TyFun a6989586621679444982 Bool -> Type) (t :: [a6989586621679444982]) = DropWhile t t Source #

data SpanSym0 (l :: TyFun (TyFun a6989586621679444980 Bool -> Type) (TyFun [a6989586621679444980] ([a6989586621679444980], [a6989586621679444980]) -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (SpanSym0 :: TyFun (TyFun a6989586621679444980 Bool -> Type) (TyFun [a6989586621679444980] ([a6989586621679444980], [a6989586621679444980]) -> Type) -> *) (l :: TyFun a6989586621679444980 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (SpanSym0 :: TyFun (TyFun a6989586621679444980 Bool -> Type) (TyFun [a6989586621679444980] ([a6989586621679444980], [a6989586621679444980]) -> Type) -> *) (l :: TyFun a6989586621679444980 Bool -> Type) = SpanSym1 l

data SpanSym1 (l :: TyFun a6989586621679444980 Bool -> Type) (l :: TyFun [a6989586621679444980] ([a6989586621679444980], [a6989586621679444980])) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (SpanSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) Source # 
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 a6989586621679444980 Bool -> Type) (t :: [a6989586621679444980]) = Span t t Source #

data BreakSym0 (l :: TyFun (TyFun a6989586621679444979 Bool -> Type) (TyFun [a6989586621679444979] ([a6989586621679444979], [a6989586621679444979]) -> Type)) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (BreakSym0 :: TyFun (TyFun a6989586621679444979 Bool -> Type) (TyFun [a6989586621679444979] ([a6989586621679444979], [a6989586621679444979]) -> Type) -> *) (l :: TyFun a6989586621679444979 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (BreakSym0 :: TyFun (TyFun a6989586621679444979 Bool -> Type) (TyFun [a6989586621679444979] ([a6989586621679444979], [a6989586621679444979]) -> Type) -> *) (l :: TyFun a6989586621679444979 Bool -> Type) = BreakSym1 l

data BreakSym1 (l :: TyFun a6989586621679444979 Bool -> Type) (l :: TyFun [a6989586621679444979] ([a6989586621679444979], [a6989586621679444979])) Source #

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

Defined in Data.Singletons.Prelude.List

type Apply (BreakSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) Source # 
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 a6989586621679444979 Bool -> Type) (t :: [a6989586621679444979]) = Break t t Source #

data LookupSym0 (l :: TyFun a6989586621679444968 (TyFun [(a6989586621679444968, b6989586621679444969)] (Maybe b6989586621679444969) -> Type)) Source #

Instances
SuppressUnusedWarnings (LookupSym0 :: TyFun a6989586621679444968 (TyFun [(a6989586621679444968, b6989586621679444969)] (Maybe b6989586621679444969) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (LookupSym0 :: TyFun a6989586621679444968 (TyFun [(a6989586621679444968, b6989586621679444969)] (Maybe b6989586621679444969) -> Type) -> *) (l :: a6989586621679444968) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

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

data LookupSym1 (l :: a6989586621679444968) (l :: TyFun [(a6989586621679444968, b6989586621679444969)] (Maybe b6989586621679444969)) Source #

Instances
SuppressUnusedWarnings (LookupSym1 :: a6989586621679444968 -> TyFun [(a6989586621679444968, b6989586621679444969)] (Maybe b6989586621679444969) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List

type Apply (LookupSym1 l1 :: TyFun [(a, b)] (Maybe b) -> *) (l2 :: [(a, b)]) Source # 
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 :: a6989586621679444968) (t :: [(a6989586621679444968, b6989586621679444969)]) = Lookup t t Source #

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

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

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

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

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

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

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

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

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

Defined in Data.Singletons.Prelude.List

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

Defined in Data.Singletons.Prelude.List

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

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