Copyright | (C) 2013 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Richard Eisenberg (rae@cs.brynmawr.edu) |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Singletons.Prelude
Contents
Description
Mimics the Haskell Prelude, but with singleton types. Includes the basic singleton definitions. Note: This is currently very incomplete!
Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.
Synopsis
- module Data.Singletons
- data family Sing (a :: k)
- type SBool = (Sing :: Bool -> Type)
- type SList = (Sing :: [a] -> Type)
- type SMaybe = (Sing :: Maybe a -> Type)
- type SEither = (Sing :: Either a b -> Type)
- type SOrdering = (Sing :: Ordering -> Type)
- type STuple0 = (Sing :: () -> Type)
- type STuple2 = (Sing :: (a, b) -> Type)
- type STuple3 = (Sing :: (a, b, c) -> Type)
- type STuple4 = (Sing :: (a, b, c, d) -> Type)
- type STuple5 = (Sing :: (a, b, c, d, e) -> Type)
- type STuple6 = (Sing :: (a, b, c, d, e, f) -> Type)
- type STuple7 = (Sing :: (a, b, c, d, e, f, g) -> Type)
- type family If (cond :: Bool) (tru :: k) (fls :: k) :: k where ...
- sIf :: Sing a -> Sing b -> Sing c -> Sing (If a b c)
- type family Not (a :: Bool) = (res :: Bool) | res -> a where ...
- sNot :: Sing a -> Sing (Not a)
- type family (a :: Bool) && (b :: Bool) :: Bool where ...
- type family (a :: Bool) || (b :: Bool) :: Bool where ...
- (%&&) :: Sing a -> Sing b -> Sing (a && b)
- (%||) :: Sing a -> Sing b -> Sing (a || b)
- type family Otherwise :: Bool where ...
- sOtherwise :: Sing (OtherwiseSym0 :: Bool)
- type family Error (str :: k0) :: k where ...
- sError :: Sing (str :: Symbol) -> a
- type family Undefined :: k where ...
- sUndefined :: a
- module Data.Singletons.Prelude.Eq
- module Data.Singletons.Prelude.Ord
- class SBounded a where
- class PBounded (a :: Type) where
- type MaxBoundSym0 = MaxBound
- type MinBoundSym0 = MinBound
- class SEnum a where
- class PEnum (a :: Type) where
- type ToEnum (arg :: Nat) :: a
- type FromEnum (arg :: a) :: Nat
- type EnumFromTo (arg :: a) (arg :: a) :: [a]
- type EnumFromThenTo (arg :: a) (arg :: a) (arg :: a) :: [a]
- data EnumFromThenToSym0 (l :: TyFun a6989586621679845761 (TyFun a6989586621679845761 (TyFun a6989586621679845761 [a6989586621679845761] -> Type) -> Type))
- data EnumFromThenToSym1 (l :: a6989586621679845761) (l :: TyFun a6989586621679845761 (TyFun a6989586621679845761 [a6989586621679845761] -> Type))
- data EnumFromThenToSym2 (l :: a6989586621679845761) (l :: a6989586621679845761) (l :: TyFun a6989586621679845761 [a6989586621679845761])
- type EnumFromThenToSym3 (t :: a6989586621679845761) (t :: a6989586621679845761) (t :: a6989586621679845761) = EnumFromThenTo t t t
- data EnumFromToSym0 (l :: TyFun a6989586621679845761 (TyFun a6989586621679845761 [a6989586621679845761] -> Type))
- data EnumFromToSym1 (l :: a6989586621679845761) (l :: TyFun a6989586621679845761 [a6989586621679845761])
- type EnumFromToSym2 (t :: a6989586621679845761) (t :: a6989586621679845761) = EnumFromTo t t
- data FromEnumSym0 (l :: TyFun a6989586621679845761 Nat)
- type FromEnumSym1 (t :: a6989586621679845761) = FromEnum t
- data ToEnumSym0 (l :: TyFun Nat a6989586621679845761)
- type ToEnumSym1 (t :: Nat) = ToEnum t
- module Data.Singletons.Prelude.Num
- type family (a :: Nat) ^ (b :: Nat) :: Nat where ...
- (%^) :: Sing a -> Sing b -> Sing (a ^ b)
- class PShow (a :: Type) where
- class SShow a where
- type ShowS = String -> String
- type SChar = Symbol
- type (<>) a b = AppendSymbol a b
- (%<>) :: Sing a -> Sing b -> Sing (a <> b)
- type family Shows (a :: a) (a :: Symbol) :: Symbol where ...
- sShows :: forall (t :: a) (t :: Symbol). SShow a => Sing t -> Sing t -> Sing (Apply (Apply ShowsSym0 t) t :: Symbol)
- type family ShowChar (a :: Symbol) (a :: Symbol) :: Symbol where ...
- sShowChar :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowCharSym0 t) t :: Symbol)
- type family ShowString (a :: Symbol) (a :: Symbol) :: Symbol where ...
- sShowString :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowStringSym0 t) t :: Symbol)
- type family ShowParen (a :: Bool) (a :: TyFun Symbol Symbol -> Type) (a :: Symbol) :: Symbol where ...
- sShowParen :: forall (t :: Bool) (t :: TyFun Symbol Symbol -> Type) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowParenSym0 t) t) t :: Symbol)
- type family Id (a :: a) :: a where ...
- sId :: forall (t :: a). Sing t -> Sing (Apply IdSym0 t :: a)
- type family Const (a :: a) (a :: b) :: a where ...
- sConst :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a)
- type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ...
- (%.) :: forall (t :: TyFun b c -> Type) (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (.@#@$) t) t) t :: c)
- type family (a :: TyFun a b -> Type) $ (a :: a) :: b where ...
- (%$) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($@#@$) t) t :: b)
- type family (a :: TyFun a b -> Type) $! (a :: a) :: b where ...
- (%$!) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($!@#@$) t) t :: b)
- type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ...
- sFlip :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: b) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FlipSym0 t) t) t :: c)
- type family AsTypeOf (a :: a) (a :: a) :: a where ...
- sAsTypeOf :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a)
- type family Seq (a :: a) (a :: b) :: b where ...
- sSeq :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b)
- type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ...
- sMap :: forall (t :: TyFun a b -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b])
- type family (a :: [a]) ++ (a :: [a]) :: [a] where ...
- (%++) :: forall (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply (++@#@$) t) t :: [a])
- type family Head (a :: [a]) :: a where ...
- sHead :: forall (t :: [a]). Sing t -> Sing (Apply HeadSym0 t :: a)
- type family Last (a :: [a]) :: a where ...
- sLast :: forall (t :: [a]). Sing t -> Sing (Apply LastSym0 t :: a)
- type family Tail (a :: [a]) :: [a] where ...
- sTail :: forall (t :: [a]). Sing t -> Sing (Apply TailSym0 t :: [a])
- type family Init (a :: [a]) :: [a] where ...
- sInit :: forall (t :: [a]). Sing t -> Sing (Apply InitSym0 t :: [a])
- type family Null (a :: [a]) :: Bool where ...
- sNull :: forall (t :: [a]). Sing t -> Sing (Apply NullSym0 t :: Bool)
- type family Reverse (a :: [a]) :: [a] where ...
- sReverse :: forall (t :: [a]). Sing t -> Sing (Apply ReverseSym0 t :: [a])
- type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
- sFoldl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b)
- type family Foldl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ...
- sFoldl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a)
- type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
- sFoldr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b)
- type family Foldr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ...
- sFoldr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a)
- type family And (a :: [Bool]) :: Bool where ...
- sAnd :: forall (t :: [Bool]). Sing t -> Sing (Apply AndSym0 t :: Bool)
- type family Or (a :: [Bool]) :: Bool where ...
- sOr :: forall (t :: [Bool]). Sing t -> Sing (Apply OrSym0 t :: Bool)
- type family Any (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ...
- sAny :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply AnySym0 t) t :: Bool)
- type family All (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ...
- sAll :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply AllSym0 t) t :: Bool)
- type family Concat (a :: [[a]]) :: [a] where ...
- sConcat :: forall (t :: [[a]]). Sing t -> Sing (Apply ConcatSym0 t :: [a])
- type family ConcatMap (a :: TyFun a [b] -> Type) (a :: [a]) :: [b] where ...
- sConcatMap :: forall (t :: TyFun a [b] -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ConcatMapSym0 t) t :: [b])
- type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ...
- sScanl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: [b])
- type family Scanl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ...
- sScanl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: [a])
- type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ...
- sScanr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: [b])
- type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ...
- sScanr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: [a])
- type family Replicate (a :: Nat) (a :: a) :: [a] where ...
- sReplicate :: forall (t :: Nat) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ReplicateSym0 t) t :: [a])
- type family Take (a :: Nat) (a :: [a]) :: [a] where ...
- sTake :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a])
- type family Drop (a :: Nat) (a :: [a]) :: [a] where ...
- sDrop :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a])
- type family SplitAt (a :: Nat) (a :: [a]) :: ([a], [a]) where ...
- sSplitAt :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a]))
- type family TakeWhile (a :: TyFun a Bool -> Type) (a :: [a]) :: [a] where ...
- sTakeWhile :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a])
- type family Span (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ...
- sSpan :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a]))
- type family Break (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ...
- sBreak :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a]))
- type family Elem (a :: a) (a :: [a]) :: Bool where ...
- sElem :: forall (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool)
- type family NotElem (a :: a) (a :: [a]) :: Bool where ...
- sNotElem :: forall (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply NotElemSym0 t) t :: Bool)
- type family Lookup (a :: a) (a :: [(a, b)]) :: Maybe b where ...
- sLookup :: forall (t :: a) (t :: [(a, b)]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply LookupSym0 t) t :: Maybe b)
- type family Zip (a :: [a]) (a :: [b]) :: [(a, b)] where ...
- sZip :: forall (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: [(a, b)])
- type family Zip3 (a :: [a]) (a :: [b]) (a :: [c]) :: [(a, b, c)] where ...
- sZip3 :: forall (t :: [a]) (t :: [b]) (t :: [c]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Zip3Sym0 t) t) t :: [(a, b, c)])
- type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: [a]) (a :: [b]) :: [c] where ...
- sZipWith :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: [c])
- type family ZipWith3 (a :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (a :: [a]) (a :: [b]) (a :: [c]) :: [d] where ...
- sZipWith3 :: forall (t :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (t :: [a]) (t :: [b]) (t :: [c]). Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply ZipWith3Sym0 t) t) t) t :: [d])
- type family Unzip (a :: [(a, b)]) :: ([a], [b]) where ...
- sUnzip :: forall (t :: [(a, b)]). Sing t -> Sing (Apply UnzipSym0 t :: ([a], [b]))
- type family Unzip3 (a :: [(a, b, c)]) :: ([a], [b], [c]) where ...
- sUnzip3 :: forall (t :: [(a, b, c)]). Sing t -> Sing (Apply Unzip3Sym0 t :: ([a], [b], [c]))
- type family Unlines (a :: [Symbol]) :: Symbol where ...
- sUnlines :: forall (t :: [Symbol]). Sing t -> Sing (Apply UnlinesSym0 t :: Symbol)
- type family Unwords (a :: [Symbol]) :: Symbol where ...
- sUnwords :: forall (t :: [Symbol]). Sing t -> Sing (Apply UnwordsSym0 t :: Symbol)
- type family Maybe_ (a :: b) (a :: TyFun a b -> Type) (a :: Maybe a) :: b where ...
- sMaybe_ :: forall (t :: b) (t :: TyFun a b -> Type) (t :: Maybe a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Maybe_Sym0 t) t) t :: b)
- type family Either_ (a :: TyFun a c -> Type) (a :: TyFun b c -> Type) (a :: Either a b) :: c where ...
- sEither_ :: forall (t :: TyFun a c -> Type) (t :: TyFun b c -> Type) (t :: Either a b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Either_Sym0 t) t) t :: c)
- type family Fst (a :: (a, b)) :: a where ...
- sFst :: forall (t :: (a, b)). Sing t -> Sing (Apply FstSym0 t :: a)
- type family Snd (a :: (a, b)) :: b where ...
- sSnd :: forall (t :: (a, b)). Sing t -> Sing (Apply SndSym0 t :: b)
- type family Curry (a :: TyFun (a, b) c -> Type) (a :: a) (a :: b) :: c where ...
- sCurry :: forall (t :: TyFun (a, b) c -> Type) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c)
- type family Uncurry (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: (a, b)) :: c where ...
- sUncurry :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c)
- data Symbol
- either_ :: (a -> c) -> (b -> c) -> Either a b -> c
- maybe_ :: b -> (a -> b) -> Maybe a -> b
- bool_ :: a -> a -> Bool -> a
- show_ :: Show a => a -> String
- type FalseSym0 = False
- type TrueSym0 = True
- data NotSym0 (l :: TyFun Bool Bool)
- type NotSym1 (t :: Bool) = Not t
- data (&&@#@$) (l :: TyFun Bool (TyFun Bool Bool -> Type))
- data (l :: Bool) &&@#@$$ (l :: TyFun Bool Bool)
- type (&&@#@$$$) (t :: Bool) (t :: Bool) = (&&) t t
- data (||@#@$) (l :: TyFun Bool (TyFun Bool Bool -> Type))
- data (l :: Bool) ||@#@$$ (l :: TyFun Bool Bool)
- type (||@#@$$$) (t :: Bool) (t :: Bool) = (||) t t
- type OtherwiseSym0 = Otherwise
- type NothingSym0 = Nothing
- data JustSym0 (l :: TyFun a3530822107858468865 (Maybe a3530822107858468865))
- type JustSym1 (t :: a3530822107858468865) = Just t
- data Maybe_Sym0 (l :: TyFun b6989586621679405849 (TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type) -> Type))
- data Maybe_Sym1 (l :: b6989586621679405849) (l :: TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type))
- data Maybe_Sym2 (l :: b6989586621679405849) (l :: TyFun a6989586621679405850 b6989586621679405849 -> Type) (l :: TyFun (Maybe a6989586621679405850) b6989586621679405849)
- type Maybe_Sym3 (t :: b6989586621679405849) (t :: TyFun a6989586621679405850 b6989586621679405849 -> Type) (t :: Maybe a6989586621679405850) = Maybe_ t t t
- data LeftSym0 (l :: TyFun a6989586621679081217 (Either a6989586621679081217 b6989586621679081218))
- type LeftSym1 (t :: a6989586621679081217) = Left t
- data RightSym0 (l :: TyFun b6989586621679081218 (Either a6989586621679081217 b6989586621679081218))
- type RightSym1 (t :: b6989586621679081218) = Right t
- data Either_Sym0 (l :: TyFun (TyFun a6989586621679914687 c6989586621679914688 -> Type) (TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type) -> Type))
- data Either_Sym1 (l :: TyFun a6989586621679914687 c6989586621679914688 -> Type) (l :: TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type))
- data Either_Sym2 (l :: TyFun a6989586621679914687 c6989586621679914688 -> Type) (l :: TyFun b6989586621679914689 c6989586621679914688 -> Type) (l :: TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688)
- type Either_Sym3 (t :: TyFun a6989586621679914687 c6989586621679914688 -> Type) (t :: TyFun b6989586621679914689 c6989586621679914688 -> Type) (t :: Either a6989586621679914687 b6989586621679914689) = Either_ t t t
- type Tuple0Sym0 = '()
- data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type))
- data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866))
- type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t)
- data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type))
- data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type))
- data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867))
- type Tuple3Sym3 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) = '(t, t, t)
- data Tuple4Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type))
- data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type))
- data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type))
- data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))
- type Tuple4Sym4 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) = '(t, t, t, t)
- data Tuple5Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type))
- data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type))
- data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type))
- data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type))
- data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))
- type Tuple5Sym5 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) = '(t, t, t, t, t)
- data Tuple6Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type))
- 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))
- data Tuple6Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> 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))
- data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type))
- data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))
- type Tuple6Sym6 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) = '(t, t, t, t, t, t)
- data Tuple7Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type))
- 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))
- 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))
- 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))
- 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))
- 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))
- data Tuple7Sym6 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: f3530822107858468870) (l :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))
- type Tuple7Sym7 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) (t :: g3530822107858468871) = '(t, t, t, t, t, t, t)
- data FstSym0 (l :: TyFun (a6989586621679288102, b6989586621679288103) a6989586621679288102)
- type FstSym1 (t :: (a6989586621679288102, b6989586621679288103)) = Fst t
- data SndSym0 (l :: TyFun (a6989586621679288100, b6989586621679288101) b6989586621679288101)
- type SndSym1 (t :: (a6989586621679288100, b6989586621679288101)) = Snd t
- data CurrySym0 (l :: TyFun (TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type) -> Type))
- data CurrySym1 (l :: TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (l :: TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type))
- data CurrySym2 (l :: TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (l :: a6989586621679288097) (l :: TyFun b6989586621679288098 c6989586621679288099)
- type CurrySym3 (t :: TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (t :: a6989586621679288097) (t :: b6989586621679288098) = Curry t t t
- data UncurrySym0 (l :: TyFun (TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) (TyFun (a6989586621679288094, b6989586621679288095) c6989586621679288096 -> Type))
- data UncurrySym1 (l :: TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) (l :: TyFun (a6989586621679288094, b6989586621679288095) c6989586621679288096)
- type UncurrySym2 (t :: TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) (t :: (a6989586621679288094, b6989586621679288095)) = Uncurry t t
- data ErrorSym0 (l :: TyFun k06989586621679381217 k6989586621679381218)
- type ErrorSym1 (t :: k06989586621679381217) = Error t
- type UndefinedSym0 = Undefined
- data (^@#@$) (l :: TyFun Nat (TyFun Nat Nat -> Type))
- data (l :: Nat) ^@#@$$ (l :: TyFun Nat Nat)
- type (^@#@$$$) (t :: Nat) (t :: Nat) = (^) t t
- data ShowsPrecSym0 (l :: TyFun Nat (TyFun a6989586621679674878 (TyFun Symbol Symbol -> Type) -> Type))
- data ShowsPrecSym1 (l :: Nat) (l :: TyFun a6989586621679674878 (TyFun Symbol Symbol -> Type))
- data ShowsPrecSym2 (l :: Nat) (l :: a6989586621679674878) (l :: TyFun Symbol Symbol)
- type ShowsPrecSym3 (t :: Nat) (t :: a6989586621679674878) (t :: Symbol) = ShowsPrec t t t
- data Show_Sym0 (l :: TyFun a6989586621679674878 Symbol)
- type Show_Sym1 (t :: a6989586621679674878) = Show_ t
- data ShowListSym0 (l :: TyFun [a6989586621679674878] (TyFun Symbol Symbol -> Type))
- data ShowListSym1 (l :: [a6989586621679674878]) (l :: TyFun Symbol Symbol)
- type ShowListSym2 (t :: [a6989586621679674878]) (t :: Symbol) = ShowList t t
- data (<>@#@$) l
- data (l :: Symbol) <>@#@$$ l
- type (<>@#@$$$) (t :: Symbol) (t :: Symbol) = (<>) t t
- data ShowsSym0 (l :: TyFun a6989586621679674863 (TyFun Symbol Symbol -> Type))
- data ShowsSym1 (l :: a6989586621679674863) (l :: TyFun Symbol Symbol)
- type ShowsSym2 (t :: a6989586621679674863) (t :: Symbol) = Shows t t
- data ShowCharSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type))
- data ShowCharSym1 (l :: Symbol) (l :: TyFun Symbol Symbol)
- type ShowCharSym2 (t :: Symbol) (t :: Symbol) = ShowChar t t
- data ShowStringSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type))
- data ShowStringSym1 (l :: Symbol) (l :: TyFun Symbol Symbol)
- type ShowStringSym2 (t :: Symbol) (t :: Symbol) = ShowString t t
- data ShowParenSym0 (l :: TyFun Bool (TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> Type))
- data ShowParenSym1 (l :: Bool) (l :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type))
- data ShowParenSym2 (l :: Bool) (l :: TyFun Symbol Symbol -> Type) (l :: TyFun Symbol Symbol)
- data IdSym0 (l :: TyFun a6989586621679422443 a6989586621679422443)
- type IdSym1 (t :: a6989586621679422443) = Id t
- data ConstSym0 (l :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type))
- data ConstSym1 (l :: a6989586621679422441) (l :: TyFun b6989586621679422442 a6989586621679422441)
- type ConstSym2 (t :: a6989586621679422441) (t :: b6989586621679422442) = Const t t
- data (.@#@$) (l :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type))
- data (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type))
- data ((l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$$ (l :: TyFun a6989586621679422440 b6989586621679422438 -> Type)) (l :: TyFun a6989586621679422440 c6989586621679422439)
- data ($@#@$) (l :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type))
- data (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) $@#@$$ (l :: TyFun a6989586621679422432 b6989586621679422433)
- type ($@#@$$$) (t :: TyFun a6989586621679422432 b6989586621679422433 -> Type) (t :: a6989586621679422432) = ($) t t
- data ($!@#@$) (l :: TyFun (TyFun a6989586621679422430 b6989586621679422431 -> Type) (TyFun a6989586621679422430 b6989586621679422431 -> Type))
- data (l :: TyFun a6989586621679422430 b6989586621679422431 -> Type) $!@#@$$ (l :: TyFun a6989586621679422430 b6989586621679422431)
- type ($!@#@$$$) (t :: TyFun a6989586621679422430 b6989586621679422431 -> Type) (t :: a6989586621679422430) = ($!) t t
- data FlipSym0 (l :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type))
- data FlipSym1 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type))
- data FlipSym2 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: b6989586621679422436) (l :: TyFun a6989586621679422435 c6989586621679422437)
- data AsTypeOfSym0 (l :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type))
- data AsTypeOfSym1 (l :: a6989586621679422434) (l :: TyFun a6989586621679422434 a6989586621679422434)
- type AsTypeOfSym2 (t :: a6989586621679422434) (t :: a6989586621679422434) = AsTypeOf t t
- data SeqSym0 (l :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type))
- data SeqSym1 (l :: a6989586621679422428) (l :: TyFun b6989586621679422429 b6989586621679422429)
- type SeqSym2 (t :: a6989586621679422428) (t :: b6989586621679422429) = Seq t t
- data (:@#@$) (l :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type))
- data (l :: a3530822107858468865) :@#@$$ (l :: TyFun [a3530822107858468865] [a3530822107858468865])
- type (:@#@$$$) (t :: a3530822107858468865) (t :: [a3530822107858468865]) = (:) t t
- type NilSym0 = '[]
- data MapSym0 (l :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type))
- data MapSym1 (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (l :: TyFun [a6989586621679422445] [b6989586621679422446])
- type MapSym2 (t :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (t :: [a6989586621679422445]) = Map t t
- data ReverseSym0 (l :: TyFun [a6989586621679445076] [a6989586621679445076])
- type ReverseSym1 (t :: [a6989586621679445076]) = Reverse t
- data (l :: [a6989586621679422444]) ++@#@$$ (l :: TyFun [a6989586621679422444] [a6989586621679422444])
- data (++@#@$) (l :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type))
- data HeadSym0 (l :: TyFun [a6989586621679445081] a6989586621679445081)
- type HeadSym1 (t :: [a6989586621679445081]) = Head t
- data LastSym0 (l :: TyFun [a6989586621679445080] a6989586621679445080)
- type LastSym1 (t :: [a6989586621679445080]) = Last t
- data TailSym0 (l :: TyFun [a6989586621679445079] [a6989586621679445079])
- type TailSym1 (t :: [a6989586621679445079]) = Tail t
- data InitSym0 (l :: TyFun [a6989586621679445078] [a6989586621679445078])
- type InitSym1 (t :: [a6989586621679445078]) = Init t
- data NullSym0 (l :: TyFun [a6989586621679445077] Bool)
- type NullSym1 (t :: [a6989586621679445077]) = Null t
- data FoldlSym0 (l :: TyFun (TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) (TyFun b6989586621679261435 (TyFun [a6989586621679261434] b6989586621679261435 -> Type) -> Type))
- data FoldlSym1 (l :: TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) (l :: TyFun b6989586621679261435 (TyFun [a6989586621679261434] b6989586621679261435 -> Type))
- data FoldlSym2 (l :: TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) (l :: b6989586621679261435) (l :: TyFun [a6989586621679261434] b6989586621679261435)
- type FoldlSym3 (t :: TyFun b6989586621679261435 (TyFun a6989586621679261434 b6989586621679261435 -> Type) -> Type) (t :: b6989586621679261435) (t :: [a6989586621679261434]) = Foldl t t t
- data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) (TyFun [a6989586621679445067] a6989586621679445067 -> Type))
- data Foldl1Sym1 (l :: TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) (l :: TyFun [a6989586621679445067] a6989586621679445067)
- type Foldl1Sym2 (t :: TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) (t :: [a6989586621679445067]) = Foldl1 t t
- data FoldrSym0 (l :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type))
- data FoldrSym1 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type))
- data FoldrSym2 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: b6989586621679422448) (l :: TyFun [a6989586621679422447] b6989586621679422448)
- type FoldrSym3 (t :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (t :: b6989586621679422448) (t :: [a6989586621679422447]) = Foldr t t t
- data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) (TyFun [a6989586621679445065] a6989586621679445065 -> Type))
- data Foldr1Sym1 (l :: TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) (l :: TyFun [a6989586621679445065] a6989586621679445065)
- type Foldr1Sym2 (t :: TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) (t :: [a6989586621679445065]) = Foldr1 t t
- data ConcatSym0 (l :: TyFun [[a6989586621679445064]] [a6989586621679445064])
- type ConcatSym1 (t :: [[a6989586621679445064]]) = Concat t
- data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679445062 [b6989586621679445063] -> Type) (TyFun [a6989586621679445062] [b6989586621679445063] -> Type))
- data ConcatMapSym1 (l :: TyFun a6989586621679445062 [b6989586621679445063] -> Type) (l :: TyFun [a6989586621679445062] [b6989586621679445063])
- type ConcatMapSym2 (t :: TyFun a6989586621679445062 [b6989586621679445063] -> Type) (t :: [a6989586621679445062]) = ConcatMap t t
- data AndSym0 (l :: TyFun [Bool] Bool)
- type AndSym1 (t :: [Bool]) = And t
- data OrSym0 (l :: TyFun [Bool] Bool)
- type OrSym1 (t :: [Bool]) = Or t
- data AnySym0 (l :: TyFun (TyFun a6989586621679445060 Bool -> Type) (TyFun [a6989586621679445060] Bool -> Type))
- data AnySym1 (l :: TyFun a6989586621679445060 Bool -> Type) (l :: TyFun [a6989586621679445060] Bool)
- type AnySym2 (t :: TyFun a6989586621679445060 Bool -> Type) (t :: [a6989586621679445060]) = Any t t
- data AllSym0 (l :: TyFun (TyFun a6989586621679445061 Bool -> Type) (TyFun [a6989586621679445061] Bool -> Type))
- data AllSym1 (l :: TyFun a6989586621679445061 Bool -> Type) (l :: TyFun [a6989586621679445061] Bool)
- type AllSym2 (t :: TyFun a6989586621679445061 Bool -> Type) (t :: [a6989586621679445061]) = All t t
- data ScanlSym0 (l :: TyFun (TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) (TyFun b6989586621679445058 (TyFun [a6989586621679445059] [b6989586621679445058] -> Type) -> Type))
- data ScanlSym1 (l :: TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) (l :: TyFun b6989586621679445058 (TyFun [a6989586621679445059] [b6989586621679445058] -> Type))
- data ScanlSym2 (l :: TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) (l :: b6989586621679445058) (l :: TyFun [a6989586621679445059] [b6989586621679445058])
- type ScanlSym3 (t :: TyFun b6989586621679445058 (TyFun a6989586621679445059 b6989586621679445058 -> Type) -> Type) (t :: b6989586621679445058) (t :: [a6989586621679445059]) = Scanl t t t
- data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) (TyFun [a6989586621679445057] [a6989586621679445057] -> Type))
- data Scanl1Sym1 (l :: TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) (l :: TyFun [a6989586621679445057] [a6989586621679445057])
- type Scanl1Sym2 (t :: TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) (t :: [a6989586621679445057]) = Scanl1 t t
- data ScanrSym0 (l :: TyFun (TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) (TyFun b6989586621679445056 (TyFun [a6989586621679445055] [b6989586621679445056] -> Type) -> Type))
- data ScanrSym1 (l :: TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) (l :: TyFun b6989586621679445056 (TyFun [a6989586621679445055] [b6989586621679445056] -> Type))
- data ScanrSym2 (l :: TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) (l :: b6989586621679445056) (l :: TyFun [a6989586621679445055] [b6989586621679445056])
- type ScanrSym3 (t :: TyFun a6989586621679445055 (TyFun b6989586621679445056 b6989586621679445056 -> Type) -> Type) (t :: b6989586621679445056) (t :: [a6989586621679445055]) = Scanr t t t
- data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) (TyFun [a6989586621679445054] [a6989586621679445054] -> Type))
- data Scanr1Sym1 (l :: TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) (l :: TyFun [a6989586621679445054] [a6989586621679445054])
- type Scanr1Sym2 (t :: TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) (t :: [a6989586621679445054]) = Scanr1 t t
- data ReplicateSym0 (l :: TyFun Nat (TyFun a6989586621679444962 [a6989586621679444962] -> Type))
- data ReplicateSym1 (l :: Nat) (l :: TyFun a6989586621679444962 [a6989586621679444962])
- type ReplicateSym2 (t :: Nat) (t :: a6989586621679444962) = Replicate t t
- data TakeSym0 (l :: TyFun Nat (TyFun [a6989586621679444978] [a6989586621679444978] -> Type))
- data TakeSym1 (l :: Nat) (l :: TyFun [a6989586621679444978] [a6989586621679444978])
- type TakeSym2 (t :: Nat) (t :: [a6989586621679444978]) = Take t t
- data DropSym0 (l :: TyFun Nat (TyFun [a6989586621679444977] [a6989586621679444977] -> Type))
- data DropSym1 (l :: Nat) (l :: TyFun [a6989586621679444977] [a6989586621679444977])
- type DropSym2 (t :: Nat) (t :: [a6989586621679444977]) = Drop t t
- data SplitAtSym0 (l :: TyFun Nat (TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976]) -> Type))
- data SplitAtSym1 (l :: Nat) (l :: TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976]))
- type SplitAtSym2 (t :: Nat) (t :: [a6989586621679444976]) = SplitAt t t
- data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679444983 Bool -> Type) (TyFun [a6989586621679444983] [a6989586621679444983] -> Type))
- data TakeWhileSym1 (l :: TyFun a6989586621679444983 Bool -> Type) (l :: TyFun [a6989586621679444983] [a6989586621679444983])
- type TakeWhileSym2 (t :: TyFun a6989586621679444983 Bool -> Type) (t :: [a6989586621679444983]) = TakeWhile t t
- data DropWhileSym0 (l :: TyFun (TyFun a6989586621679444982 Bool -> Type) (TyFun [a6989586621679444982] [a6989586621679444982] -> Type))
- data DropWhileSym1 (l :: TyFun a6989586621679444982 Bool -> Type) (l :: TyFun [a6989586621679444982] [a6989586621679444982])
- type DropWhileSym2 (t :: TyFun a6989586621679444982 Bool -> Type) (t :: [a6989586621679444982]) = DropWhile t t
- data DropWhileEndSym0 (l :: TyFun (TyFun a6989586621679444981 Bool -> Type) (TyFun [a6989586621679444981] [a6989586621679444981] -> Type))
- data DropWhileEndSym1 (l :: TyFun a6989586621679444981 Bool -> Type) (l :: TyFun [a6989586621679444981] [a6989586621679444981])
- type DropWhileEndSym2 (t :: TyFun a6989586621679444981 Bool -> Type) (t :: [a6989586621679444981]) = DropWhileEnd t t
- data SpanSym0 (l :: TyFun (TyFun a6989586621679444980 Bool -> Type) (TyFun [a6989586621679444980] ([a6989586621679444980], [a6989586621679444980]) -> Type))
- data SpanSym1 (l :: TyFun a6989586621679444980 Bool -> Type) (l :: TyFun [a6989586621679444980] ([a6989586621679444980], [a6989586621679444980]))
- type SpanSym2 (t :: TyFun a6989586621679444980 Bool -> Type) (t :: [a6989586621679444980]) = Span t t
- data BreakSym0 (l :: TyFun (TyFun a6989586621679444979 Bool -> Type) (TyFun [a6989586621679444979] ([a6989586621679444979], [a6989586621679444979]) -> Type))
- data BreakSym1 (l :: TyFun a6989586621679444979 Bool -> Type) (l :: TyFun [a6989586621679444979] ([a6989586621679444979], [a6989586621679444979]))
- type BreakSym2 (t :: TyFun a6989586621679444979 Bool -> Type) (t :: [a6989586621679444979]) = Break t t
- data ElemSym0 (l :: TyFun a6989586621679445040 (TyFun [a6989586621679445040] Bool -> Type))
- data ElemSym1 (l :: a6989586621679445040) (l :: TyFun [a6989586621679445040] Bool)
- type ElemSym2 (t :: a6989586621679445040) (t :: [a6989586621679445040]) = Elem t t
- data NotElemSym0 (l :: TyFun a6989586621679445039 (TyFun [a6989586621679445039] Bool -> Type))
- data NotElemSym1 (l :: a6989586621679445039) (l :: TyFun [a6989586621679445039] Bool)
- type NotElemSym2 (t :: a6989586621679445039) (t :: [a6989586621679445039]) = NotElem t t
- data ZipSym0 (l :: TyFun [a6989586621679445037] (TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)] -> Type))
- data ZipSym1 (l :: [a6989586621679445037]) (l :: TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)])
- type ZipSym2 (t :: [a6989586621679445037]) (t :: [b6989586621679445038]) = Zip t t
- data Zip3Sym0 (l :: TyFun [a6989586621679445034] (TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type) -> Type))
- data Zip3Sym1 (l :: [a6989586621679445034]) (l :: TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type))
- data Zip3Sym2 (l :: [a6989586621679445034]) (l :: [b6989586621679445035]) (l :: TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)])
- type Zip3Sym3 (t :: [a6989586621679445034]) (t :: [b6989586621679445035]) (t :: [c6989586621679445036]) = Zip3 t t t
- data ZipWithSym0 (l :: TyFun (TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) (TyFun [a6989586621679445031] (TyFun [b6989586621679445032] [c6989586621679445033] -> Type) -> Type))
- data ZipWithSym1 (l :: TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) (l :: TyFun [a6989586621679445031] (TyFun [b6989586621679445032] [c6989586621679445033] -> Type))
- data ZipWithSym2 (l :: TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) (l :: [a6989586621679445031]) (l :: TyFun [b6989586621679445032] [c6989586621679445033])
- type ZipWithSym3 (t :: TyFun a6989586621679445031 (TyFun b6989586621679445032 c6989586621679445033 -> Type) -> Type) (t :: [a6989586621679445031]) (t :: [b6989586621679445032]) = ZipWith t t t
- data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) (TyFun [a6989586621679445027] (TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> Type) -> Type))
- data ZipWith3Sym1 (l :: TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679445027] (TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> Type))
- data ZipWith3Sym2 (l :: TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) (l :: [a6989586621679445027]) (l :: TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type))
- data ZipWith3Sym3 (l :: TyFun a6989586621679445027 (TyFun b6989586621679445028 (TyFun c6989586621679445029 d6989586621679445030 -> Type) -> Type) -> Type) (l :: [a6989586621679445027]) (l :: [b6989586621679445028]) (l :: TyFun [c6989586621679445029] [d6989586621679445030])
- data UnzipSym0 (l :: TyFun [(a6989586621679445025, b6989586621679445026)] ([a6989586621679445025], [b6989586621679445026]))
- type UnzipSym1 (t :: [(a6989586621679445025, b6989586621679445026)]) = Unzip t
- data UnlinesSym0 (l :: TyFun [Symbol] Symbol)
- type UnlinesSym1 (t :: [Symbol]) = Unlines t
- data UnwordsSym0 (l :: TyFun [Symbol] Symbol)
- type UnwordsSym1 (t :: [Symbol]) = Unwords t
Basic singleton definitions
module Data.Singletons
data family Sing (a :: k) infixr 5 Source #
The singleton kind-indexed data family.
Instances
Singleton type synonyms
These synonyms are all kind-restricted synonyms of Sing
.
For example SBool
requires an argument of kind Bool
.
Functions working with Bool
type family If (cond :: Bool) (tru :: k) (fls :: k) :: k where ... #
Type-level If. If True a b
==> a
; If False a b
==> b
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
sOtherwise :: Sing (OtherwiseSym0 :: Bool) Source #
Error reporting
type family Error (str :: k0) :: k where ... Source #
The promotion of error
. This version is more poly-kinded for
easier use.
sUndefined :: a Source #
The singleton for undefined
.
Singleton equality
module Data.Singletons.Prelude.Eq
Singleton comparisons
module Data.Singletons.Prelude.Ord
Singleton Enum and Bounded
As a matter of convenience, the singletons Prelude does not export
promoted/singletonized succ
and pred
, due to likely conflicts with
unary numbers. Please import Enum
directly if
you want these.
class SBounded a where Source #
Instances
SBounded Bool Source # | |
Defined in Data.Singletons.Prelude.Enum | |
SBounded Ordering Source # | |
Defined in Data.Singletons.Prelude.Enum | |
SBounded () Source # | |
Defined in Data.Singletons.Prelude.Enum | |
(SBounded a, SBounded b) => SBounded (a, b) Source # | |
Defined in Data.Singletons.Prelude.Enum | |
(SBounded a, SBounded b, SBounded c) => SBounded (a, b, c) Source # | |
Defined in Data.Singletons.Prelude.Enum | |
(SBounded a, SBounded b, SBounded c, SBounded d) => SBounded (a, b, c, d) Source # | |
Defined in Data.Singletons.Prelude.Enum | |
(SBounded a, SBounded b, SBounded c, SBounded d, SBounded e) => SBounded (a, b, c, d, e) Source # | |
Defined in Data.Singletons.Prelude.Enum | |
(SBounded a, SBounded b, SBounded c, SBounded d, SBounded e, SBounded f) => SBounded (a, b, c, d, e, f) Source # | |
Defined in Data.Singletons.Prelude.Enum | |
(SBounded a, SBounded b, SBounded c, SBounded d, SBounded e, SBounded f, SBounded g) => SBounded (a, b, c, d, e, f, g) Source # | |
Defined in Data.Singletons.Prelude.Enum |
type MaxBoundSym0 = MaxBound Source #
type MinBoundSym0 = MinBound Source #
Methods
sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t :: a) Source #
sFromEnum :: forall (t :: a). Sing t -> Sing (Apply FromEnumSym0 t :: Nat) Source #
sEnumFromTo :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t :: [a]) Source #
sEnumFromThenTo :: forall (t :: a) (t :: a) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) Source #
sEnumFromTo :: forall (t :: a) (t :: a). ((Apply (Apply EnumFromToSym0 t) t :: [a]) ~ Apply (Apply EnumFromTo_6989586621679846439Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t :: [a]) Source #
sEnumFromThenTo :: forall (t :: a) (t :: a) (t :: a). ((Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) ~ Apply (Apply (Apply EnumFromThenTo_6989586621679846469Sym0 t) t) t) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) Source #
Instances
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 #
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 # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (EnumFromThenToSym0 :: TyFun a6989586621679845761 (TyFun a6989586621679845761 (TyFun a6989586621679845761 [a6989586621679845761] -> Type) -> Type) -> *) (l :: a6989586621679845761) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (EnumFromThenToSym1 l1 :: TyFun a6989586621679845761 (TyFun a6989586621679845761 [a6989586621679845761] -> Type) -> *) (l2 :: a6989586621679845761) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (EnumFromThenToSym2 l1 l2 :: TyFun a [a] -> *) (l3 :: a) Source # | |
Defined in Data.Singletons.Prelude.Enum |
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 # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (EnumFromToSym0 :: TyFun a6989586621679845761 (TyFun a6989586621679845761 [a6989586621679845761] -> Type) -> *) (l :: a6989586621679845761) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (EnumFromToSym1 l1 :: TyFun a [a] -> *) (l2 :: a) Source # | |
Defined in Data.Singletons.Prelude.Enum |
type EnumFromToSym2 (t :: a6989586621679845761) (t :: a6989586621679845761) = EnumFromTo t t Source #
data FromEnumSym0 (l :: TyFun a6989586621679845761 Nat) Source #
Instances
SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679845761 Nat -> *) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (FromEnumSym0 :: TyFun a Nat -> *) (l :: a) Source # | |
Defined in Data.Singletons.Prelude.Enum |
type FromEnumSym1 (t :: a6989586621679845761) = FromEnum t Source #
data ToEnumSym0 (l :: TyFun Nat a6989586621679845761) Source #
Instances
SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679845761 -> *) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (ToEnumSym0 :: TyFun Nat k2 -> *) (l :: Nat) Source # | |
Defined in Data.Singletons.Prelude.Enum |
type ToEnumSym1 (t :: Nat) = ToEnum t Source #
Singletons numbers
module Data.Singletons.Prelude.Num
type family (a :: Nat) ^ (b :: Nat) :: Nat where ... infixr 8 #
Exponentiation of type-level naturals.
Since: base-4.7.0.0
(%^) :: Sing a -> Sing b -> Sing (a ^ b) infixr 8 Source #
The singleton analogue of '(TL.^)' for Nat
s.
Singleton 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 # | |
PShow Ordering Source # | |
PShow Nat Source # | Note that this instance is really, really slow, since it uses an inefficient, inductive definition of division behind the hood. |
PShow Symbol Source # | |
PShow () Source # | |
PShow Void Source # | |
PShow [a] Source # | |
PShow (Maybe a) Source # | |
PShow (NonEmpty a) Source # | |
PShow (Either a b) Source # | |
PShow (a, b) Source # | |
PShow (a, b, c) Source # | |
PShow (a, b, c, d) Source # | |
PShow (a, b, c, d, e) Source # | |
PShow (a, b, c, d, e, f) Source # | |
PShow (a, b, c, d, e, f, g) Source # | |
Methods
sShowsPrec :: forall (t :: Nat) (t :: a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) Source #
sShow_ :: forall (t :: a). Sing t -> Sing (Apply Show_Sym0 t :: Symbol) Source #
sShowList :: forall (t :: [a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t :: Symbol) Source #
sShowsPrec :: forall (t :: Nat) (t :: a) (t :: Symbol). ((Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) ~ Apply (Apply (Apply ShowsPrec_6989586621679676950Sym0 t) t) t) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) Source #
sShow_ :: forall (t :: a). ((Apply Show_Sym0 t :: Symbol) ~ Apply Show__6989586621679676970Sym0 t) => Sing t -> Sing (Apply Show_Sym0 t :: Symbol) Source #
sShowList :: forall (t :: [a]) (t :: Symbol). ((Apply (Apply ShowListSym0 t) t :: Symbol) ~ Apply (Apply ShowList_6989586621679676988Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t :: Symbol) Source #
Instances
SShow Bool Source # | |
SShow Ordering Source # | |
SShow Nat Source # | |
SShow Symbol Source # | |
SShow () Source # | |
SShow Void Source # | |
SShow a => SShow [a] Source # | |
SShow a => SShow (Maybe a) Source # | |
(SShow a, SShow [a]) => SShow (NonEmpty a) Source # | |
(SShow a, SShow b) => SShow (Either a b) Source # | |
(SShow a, SShow b) => SShow (a, b) Source # | |
(SShow a, SShow b, SShow c) => SShow (a, b, c) Source # | |
(SShow a, SShow b, SShow c, SShow d) => SShow (a, b, c, d) Source # | |
(SShow a, SShow b, SShow c, SShow d, SShow e) => SShow (a, b, c, d, e) Source # | |
(SShow a, SShow b, SShow c, SShow d, SShow e, SShow f) => SShow (a, b, c, d, e, f) Source # | |
(SShow a, SShow b, SShow c, SShow d, SShow e, SShow f, SShow g) => SShow (a, b, c, d, e, f, g) Source # | |
type (<>) a b = AppendSymbol a b infixr 6 Source #
The promoted analogue of '(<>)' for Symbol
s. This uses the special
AppendSymbol
type family from GHC.TypeLits.
(%<>) :: Sing a -> Sing b -> Sing (a <> b) infixr 6 Source #
The singleton analogue of '(<>)' for Symbol
s.
type family Shows (a :: a) (a :: Symbol) :: Symbol where ... Source #
Equations
Shows s a_6989586621679676898 = Apply (Apply (Apply ShowsPrecSym0 (FromInteger 0)) s) a_6989586621679676898 |
sShows :: forall (t :: a) (t :: Symbol). SShow a => Sing t -> Sing t -> Sing (Apply (Apply ShowsSym0 t) t :: Symbol) Source #
sShowChar :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowCharSym0 t) t :: Symbol) Source #
type family ShowString (a :: Symbol) (a :: Symbol) :: Symbol where ... Source #
Equations
ShowString a_6989586621679676743 a_6989586621679676745 = Apply (Apply (<>@#@$) a_6989586621679676743) a_6989586621679676745 |
sShowString :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowStringSym0 t) t :: Symbol) Source #
type family ShowParen (a :: Bool) (a :: TyFun Symbol Symbol -> Type) (a :: Symbol) :: Symbol where ... Source #
sShowParen :: forall (t :: Bool) (t :: TyFun Symbol Symbol -> Type) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowParenSym0 t) t) t :: Symbol) Source #
Miscellaneous functions
sConst :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a) Source #
(%.) :: forall (t :: TyFun b c -> Type) (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (.@#@$) t) t) t :: c) infixr 9 Source #
(%$) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($@#@$) t) t :: b) infixr 0 Source #
(%$!) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($!@#@$) t) t :: b) infixr 0 Source #
type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ... Source #
sFlip :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: b) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FlipSym0 t) t) t :: c) Source #
sAsTypeOf :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a) Source #
sSeq :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b) infixr 0 Source #
List operations
sMap :: forall (t :: TyFun a b -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b]) Source #
(%++) :: forall (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply (++@#@$) t) t :: [a]) infixr 5 Source #
Reducing lists (folds)
type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #
sFoldl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b) Source #
sFoldl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a) Source #
type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #
sFoldr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) Source #
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" |
sFoldr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a) Source #
Special folds
sAny :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply AnySym0 t) t :: Bool) Source #
sAll :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply AllSym0 t) t :: Bool) Source #
sConcatMap :: forall (t :: TyFun a [b] -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ConcatMapSym0 t) t :: [b]) Source #
Scans
type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ... Source #
sScanl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: [b]) Source #
sScanl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: [a]) Source #
type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ... Source #
sScanr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: [b]) Source #
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) |
sScanr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: [a]) Source #
Infinite lists
type family Replicate (a :: Nat) (a :: a) :: [a] where ... Source #
Equations
Replicate n x = Case_6989586621679454353 n x (Let6989586621679454345Scrutinee_6989586621679445658Sym2 n x) |
sReplicate :: forall (t :: Nat) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ReplicateSym0 t) t :: [a]) Source #
Sublists
sTake :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a]) Source #
sDrop :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a]) Source #
sSplitAt :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a])) Source #
sTakeWhile :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a]) Source #
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') |
sSpan :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a])) Source #
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') |
sBreak :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a])) Source #
Searching lists
sElem :: forall (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool) infix 4 Source #
sNotElem :: forall (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply NotElemSym0 t) t :: Bool) infix 4 Source #
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) |
sLookup :: forall (t :: a) (t :: [(a, b)]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply LookupSym0 t) t :: Maybe b) Source #
Zipping and unzipping lists
sZip :: forall (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: [(a, b)]) Source #
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 ((:) _ _) ((:) _ _) '[] = '[] |
sZip3 :: forall (t :: [a]) (t :: [b]) (t :: [c]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Zip3Sym0 t) t) t :: [(a, b, c)]) Source #
type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: [a]) (a :: [b]) :: [c] where ... Source #
sZipWith :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: [c]) Source #
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 _ ((:) _ _) ((:) _ _) '[] = '[] |
sZipWith3 :: forall (t :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (t :: [a]) (t :: [b]) (t :: [c]). Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply ZipWith3Sym0 t) t) t) t :: [d]) Source #
sUnzip3 :: forall (t :: [(a, b, c)]). Sing t -> Sing (Apply Unzip3Sym0 t :: ([a], [b], [c])) Source #
Functions on Symbol
s
Other datatypes
sMaybe_ :: forall (t :: b) (t :: TyFun a b -> Type) (t :: Maybe a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Maybe_Sym0 t) t) t :: b) Source #
type family Either_ (a :: TyFun a c -> Type) (a :: TyFun b c -> Type) (a :: Either a b) :: c where ... Source #
sEither_ :: forall (t :: TyFun a c -> Type) (t :: TyFun b c -> Type) (t :: Either a b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Either_Sym0 t) t) t :: c) Source #
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) |
sCurry :: forall (t :: TyFun (a, b) c -> Type) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c) Source #
type family Uncurry (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: (a, b)) :: c where ... Source #
sUncurry :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c) Source #
(Kind) This is the kind of type-level symbols. Declared here because class IP needs it
Instances
Other functions
Defunctionalization symbols
data NotSym0 (l :: TyFun Bool Bool) Source #
Instances
SuppressUnusedWarnings NotSym0 Source # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source # | |
type Apply NotSym0 (l :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Bool |
data (&&@#@$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) Source #
Instances
SuppressUnusedWarnings (&&@#@$) Source # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source # | |
type Apply (&&@#@$) (l :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Bool |
data (||@#@$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) Source #
Instances
SuppressUnusedWarnings (||@#@$) Source # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () Source # | |
type Apply (||@#@$) (l :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Bool |
type OtherwiseSym0 = Otherwise Source #
type NothingSym0 = Nothing Source #
data JustSym0 (l :: TyFun a3530822107858468865 (Maybe a3530822107858468865)) 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 # | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source # | |
type Apply (Maybe_Sym0 :: TyFun b6989586621679405849 (TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type) -> Type) -> *) (l :: b6989586621679405849) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source # | |
type Apply (Maybe_Sym1 l1 :: TyFun (TyFun a6989586621679405850 b6989586621679405849 -> Type) (TyFun (Maybe a6989586621679405850) b6989586621679405849 -> Type) -> *) (l2 :: TyFun a6989586621679405850 b6989586621679405849 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe |
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 # | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () Source # | |
type Apply (Maybe_Sym2 l1 l2 :: TyFun (Maybe a) b -> *) (l3 :: Maybe a) Source # | |
Defined in Data.Singletons.Prelude.Maybe |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (LeftSym0 :: TyFun a (Either a b6989586621679081218) -> *) (l :: a) Source # | |
data RightSym0 (l :: TyFun b6989586621679081218 (Either a6989586621679081217 b6989586621679081218)) Source #
Instances
SuppressUnusedWarnings (RightSym0 :: TyFun b6989586621679081218 (Either a6989586621679081217 b6989586621679081218) -> *) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (RightSym0 :: TyFun b (Either a6989586621679081217 b) -> *) (l :: b) 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 # | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source # | |
type Apply (Either_Sym1 l1 :: TyFun (TyFun b6989586621679914689 c6989586621679914688 -> Type) (TyFun (Either a6989586621679914687 b6989586621679914689) c6989586621679914688 -> Type) -> *) (l2 :: TyFun b6989586621679914689 c6989586621679914688 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Either |
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 # | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () Source # | |
type Apply (Either_Sym2 l1 l2 :: TyFun (Either a b) c -> *) (l3 :: Either a b) Source # | |
Defined in Data.Singletons.Prelude.Either |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (l :: a3530822107858468865) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple2Sym1 l1 :: TyFun k1 (k2, k1) -> *) (l2 :: k1) Source # | |
Defined in Data.Singletons.Prelude.Instances |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (l :: a3530822107858468865) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple3Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (l2 :: b3530822107858468866) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple3Sym2 l1 l2 :: TyFun k3 (k2, k1, k3) -> *) (l3 :: k3) Source # | |
Defined in Data.Singletons.Prelude.Instances |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple4Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (l3 :: c3530822107858468867) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple4Sym3 l1 l2 l3 :: TyFun k4 (k2, k1, k3, k4) -> *) (l4 :: k4) Source # | |
Defined in Data.Singletons.Prelude.Instances |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple5Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (l4 :: d3530822107858468868) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple5Sym4 l1 l2 l3 l4 :: TyFun k5 (k2, k1, k3, k4, k5) -> *) (l5 :: k5) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (l5 :: e3530822107858468869) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> *) (l6 :: k6) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (l6 :: f3530822107858468870) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> *) (l7 :: k7) Source # | |
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 #
data SndSym0 (l :: TyFun (a6989586621679288100, b6989586621679288101) b6989586621679288101) 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 # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (CurrySym0 :: TyFun (TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) (TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type) -> Type) -> *) (l :: TyFun (a6989586621679288097, b6989586621679288098) c6989586621679288099 -> Type) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (CurrySym1 l1 :: TyFun a6989586621679288097 (TyFun b6989586621679288098 c6989586621679288099 -> Type) -> *) (l2 :: a6989586621679288097) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (CurrySym2 l1 l2 :: TyFun b c -> *) (l3 :: b) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (UncurrySym1 l1 :: TyFun (a, b) c -> *) (l2 :: (a, b)) Source # | |
Defined in Data.Singletons.Prelude.Tuple |
type UncurrySym2 (t :: TyFun a6989586621679288094 (TyFun b6989586621679288095 c6989586621679288096 -> Type) -> Type) (t :: (a6989586621679288094, b6989586621679288095)) = Uncurry t t Source #
data ErrorSym0 (l :: TyFun k06989586621679381217 k6989586621679381218) Source #
type UndefinedSym0 = Undefined Source #
data (^@#@$) (l :: TyFun Nat (TyFun Nat Nat -> Type)) Source #
Instances
SuppressUnusedWarnings (^@#@$) Source # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (^@#@$) (l :: Nat) Source # | |
Defined in Data.Singletons.TypeLits.Internal |
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 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679674878 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) Source # | |
data ShowsPrecSym1 (l :: Nat) (l :: TyFun a6989586621679674878 (TyFun Symbol Symbol -> Type)) Source #
Instances
SuppressUnusedWarnings (ShowsPrecSym1 :: Nat -> TyFun a6989586621679674878 (TyFun Symbol Symbol -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679674878 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679674878) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
data Show_Sym0 (l :: TyFun a6989586621679674878 Symbol) Source #
data ShowListSym0 (l :: TyFun [a6989586621679674878] (TyFun Symbol Symbol -> Type)) Source #
Instances
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621679674878] (TyFun Symbol Symbol -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply (ShowListSym0 :: TyFun [a6989586621679674878] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679674878]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
type ShowListSym2 (t :: [a6989586621679674878]) (t :: Symbol) = ShowList t t Source #
Instances
SuppressUnusedWarnings (<>@#@$) Source # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (<>@#@$) (l :: Symbol) Source # | |
Defined in Data.Singletons.TypeLits.Internal |
data ShowsSym0 (l :: TyFun a6989586621679674863 (TyFun Symbol Symbol -> Type)) Source #
Instances
SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621679674863 (TyFun Symbol Symbol -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply (ShowsSym0 :: TyFun a6989586621679674863 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679674863) Source # | |
data ShowsSym1 (l :: a6989586621679674863) (l :: TyFun Symbol Symbol) Source #
data ShowCharSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type)) Source #
Instances
SuppressUnusedWarnings ShowCharSym0 Source # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply ShowCharSym0 (l :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
data ShowCharSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) Source #
Instances
SuppressUnusedWarnings ShowCharSym1 Source # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
data ShowStringSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type)) Source #
Instances
SuppressUnusedWarnings ShowStringSym0 Source # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply ShowStringSym0 (l :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
data ShowStringSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) Source #
Instances
SuppressUnusedWarnings ShowStringSym1 Source # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
type ShowStringSym2 (t :: Symbol) (t :: Symbol) = ShowString t t Source #
data ShowParenSym0 (l :: TyFun Bool (TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> Type)) Source #
Instances
SuppressUnusedWarnings ShowParenSym0 Source # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply ShowParenSym0 (l :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Show |
data ShowParenSym1 (l :: Bool) (l :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type)) Source #
data ShowParenSym2 (l :: Bool) (l :: TyFun Symbol Symbol -> Type) (l :: TyFun Symbol Symbol) Source #
Instances
SuppressUnusedWarnings ShowParenSym2 Source # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source # | |
type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
data IdSym0 (l :: TyFun a6989586621679422443 a6989586621679422443) Source #
data ConstSym0 (l :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type)) Source #
Instances
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConstSym0 :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type) -> *) (l :: a6989586621679422441) Source # | |
data ConstSym1 (l :: a6989586621679422441) (l :: TyFun b6989586621679422442 a6989586621679422441) 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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply ((.@#@$) :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type) -> *) (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> *) (l2 :: TyFun a6989586621679422440 b6989586621679422438 -> Type) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (l1 .@#@$$$ l2 :: TyFun a c -> *) (l3 :: a) Source # | |
data ($@#@$) (l :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type)) Source #
Instances
SuppressUnusedWarnings (($@#@$) :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($@#@$) :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> *) (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) Source # | |
data (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) $@#@$$ (l :: TyFun a6989586621679422432 b6989586621679422433) Source #
Instances
SuppressUnusedWarnings (($@#@$$) :: (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> TyFun a6989586621679422432 b6989586621679422433 -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($@#@$$) l1 :: TyFun a b -> *) (l2 :: a) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($!@#@$) :: TyFun (TyFun a6989586621679422430 b6989586621679422431 -> Type) (TyFun a6989586621679422430 b6989586621679422431 -> Type) -> *) (l :: TyFun a6989586621679422430 b6989586621679422431 -> Type) Source # | |
data (l :: TyFun a6989586621679422430 b6989586621679422431 -> Type) $!@#@$$ (l :: TyFun a6989586621679422430 b6989586621679422431) Source #
Instances
SuppressUnusedWarnings (($!@#@$$) :: (TyFun a6989586621679422430 b6989586621679422431 -> Type) -> TyFun a6989586621679422430 b6989586621679422431 -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($!@#@$$) l1 :: TyFun a b -> *) (l2 :: a) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym1 l1 :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> *) (l2 :: b6989586621679422436) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) Source # | |
data AsTypeOfSym0 (l :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type)) Source #
Instances
SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (AsTypeOfSym0 :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type) -> *) (l :: a6989586621679422434) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (SeqSym0 :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type) -> *) (l :: a6989586621679422428) Source # | |
data SeqSym1 (l :: a6989586621679422428) (l :: TyFun b6989586621679422429 b6989586621679422429) Source #
data (:@#@$) (l :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type)) Source #
Instances
SuppressUnusedWarnings ((:@#@$) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply ((:@#@$) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) (l :: a3530822107858468865) Source # | |
data (l :: a3530822107858468865) :@#@$$ (l :: TyFun [a3530822107858468865] [a3530822107858468865]) Source #
Instances
SuppressUnusedWarnings ((:@#@$$) :: a3530822107858468865 -> TyFun [a3530822107858468865] [a3530822107858468865] -> *) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply ((:@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Instances |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym0 :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type) -> *) (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) Source # | |
data MapSym1 (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (l :: TyFun [a6989586621679422445] [b6989586621679422446]) Source #
Instances
SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679422445 b6989586621679422446 -> Type) -> TyFun [a6989586621679422445] [b6989586621679422446] -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReverseSym0 :: TyFun [a] [a] -> *) (l :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List |
type ReverseSym1 (t :: [a6989586621679445076]) = Reverse t Source #
data (l :: [a6989586621679422444]) ++@#@$$ (l :: TyFun [a6989586621679422444] [a6989586621679422444]) Source #
data (++@#@$) (l :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type)) Source #
Instances
SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply ((++@#@$) :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type) -> *) (l :: [a6989586621679422444]) Source # | |
data HeadSym0 (l :: TyFun [a6989586621679445081] a6989586621679445081) Source #
data LastSym0 (l :: TyFun [a6989586621679445080] a6989586621679445080) Source #
data TailSym0 (l :: TyFun [a6989586621679445079] [a6989586621679445079]) Source #
data InitSym0 (l :: TyFun [a6989586621679445078] [a6989586621679445078]) Source #
data NullSym0 (l :: TyFun [a6989586621679445077] Bool) 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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldlSym1 l1 :: TyFun b6989586621679261435 (TyFun [a6989586621679261434] b6989586621679261435 -> Type) -> *) (l2 :: b6989586621679261435) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldlSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (Foldl1Sym0 :: TyFun (TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) (TyFun [a6989586621679445067] a6989586621679445067 -> Type) -> *) (l :: TyFun a6989586621679445067 (TyFun a6989586621679445067 a6989586621679445067 -> Type) -> Type) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (Foldl1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldrSym1 l1 :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> *) (l2 :: b6989586621679422448) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (Foldr1Sym0 :: TyFun (TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) (TyFun [a6989586621679445065] a6989586621679445065 -> Type) -> *) (l :: TyFun a6989586621679445065 (TyFun a6989586621679445065 a6989586621679445065 -> Type) -> Type) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (Foldr1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConcatSym0 :: TyFun [[a]] [a] -> *) (l :: [[a]]) Source # | |
Defined in Data.Singletons.Prelude.List |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConcatMapSym0 :: TyFun (TyFun a6989586621679445062 [b6989586621679445063] -> Type) (TyFun [a6989586621679445062] [b6989586621679445063] -> Type) -> *) (l :: TyFun a6989586621679445062 [b6989586621679445063] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List |
data ConcatMapSym1 (l :: TyFun a6989586621679445062 [b6989586621679445063] -> Type) (l :: TyFun [a6989586621679445062] [b6989586621679445063]) Source #
Instances
SuppressUnusedWarnings (ConcatMapSym1 :: (TyFun a6989586621679445062 [b6989586621679445063] -> Type) -> TyFun [a6989586621679445062] [b6989586621679445063] -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConcatMapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List |
type ConcatMapSym2 (t :: TyFun a6989586621679445062 [b6989586621679445063] -> Type) (t :: [a6989586621679445062]) = ConcatMap t t Source #
data AndSym0 (l :: TyFun [Bool] Bool) Source #
Instances
SuppressUnusedWarnings AndSym0 Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply AndSym0 (l :: [Bool]) Source # | |
Defined in Data.Singletons.Prelude.List |
data OrSym0 (l :: TyFun [Bool] Bool) Source #
Instances
SuppressUnusedWarnings OrSym0 Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply OrSym0 (l :: [Bool]) Source # | |
Defined in Data.Singletons.Prelude.List |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (AnySym0 :: TyFun (TyFun a6989586621679445060 Bool -> Type) (TyFun [a6989586621679445060] Bool -> Type) -> *) (l :: TyFun a6989586621679445060 Bool -> Type) Source # | |
data AnySym1 (l :: TyFun a6989586621679445060 Bool -> Type) (l :: TyFun [a6989586621679445060] Bool) Source #
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (AllSym0 :: TyFun (TyFun a6989586621679445061 Bool -> Type) (TyFun [a6989586621679445061] Bool -> Type) -> *) (l :: TyFun a6989586621679445061 Bool -> Type) Source # | |
data AllSym1 (l :: TyFun a6989586621679445061 Bool -> Type) (l :: TyFun [a6989586621679445061] Bool) Source #
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanlSym1 l1 :: TyFun b6989586621679445058 (TyFun [a6989586621679445059] [b6989586621679445058] -> Type) -> *) (l2 :: b6989586621679445058) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanlSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) (TyFun [a6989586621679445057] [a6989586621679445057] -> Type) -> *) (l :: TyFun a6989586621679445057 (TyFun a6989586621679445057 a6989586621679445057 -> Type) -> Type) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanl1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanrSym1 l1 :: TyFun b6989586621679445056 (TyFun [a6989586621679445055] [b6989586621679445056] -> Type) -> *) (l2 :: b6989586621679445056) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanrSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) (TyFun [a6989586621679445054] [a6989586621679445054] -> Type) -> *) (l :: TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanr1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List |
type Scanr1Sym2 (t :: TyFun a6989586621679445054 (TyFun a6989586621679445054 a6989586621679445054 -> Type) -> Type) (t :: [a6989586621679445054]) = Scanr1 t t Source #
data ReplicateSym0 (l :: TyFun Nat (TyFun a6989586621679444962 [a6989586621679444962] -> Type)) Source #
Instances
SuppressUnusedWarnings (ReplicateSym0 :: TyFun Nat (TyFun a6989586621679444962 [a6989586621679444962] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateSym0 :: TyFun Nat (TyFun a6989586621679444962 [a6989586621679444962] -> Type) -> *) (l :: Nat) Source # | |
Defined in Data.Singletons.Prelude.List |
data ReplicateSym1 (l :: Nat) (l :: TyFun a6989586621679444962 [a6989586621679444962]) Source #
Instances
SuppressUnusedWarnings (ReplicateSym1 :: Nat -> TyFun a6989586621679444962 [a6989586621679444962] -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateSym1 l1 :: TyFun a [a] -> *) (l2 :: a) Source # | |
Defined in Data.Singletons.Prelude.List |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeSym0 :: TyFun Nat (TyFun [a6989586621679444978] [a6989586621679444978] -> Type) -> *) (l :: Nat) Source # | |
data TakeSym1 (l :: Nat) (l :: TyFun [a6989586621679444978] [a6989586621679444978]) Source #
data DropSym0 (l :: TyFun Nat (TyFun [a6989586621679444977] [a6989586621679444977] -> Type)) Source #
Instances
SuppressUnusedWarnings (DropSym0 :: TyFun Nat (TyFun [a6989586621679444977] [a6989586621679444977] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropSym0 :: TyFun Nat (TyFun [a6989586621679444977] [a6989586621679444977] -> Type) -> *) (l :: Nat) Source # | |
data DropSym1 (l :: Nat) (l :: TyFun [a6989586621679444977] [a6989586621679444977]) Source #
data SplitAtSym0 (l :: TyFun Nat (TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976]) -> Type)) Source #
Instances
SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976]) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (SplitAtSym0 :: TyFun Nat (TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976]) -> Type) -> *) (l :: Nat) Source # | |
Defined in Data.Singletons.Prelude.List |
data SplitAtSym1 (l :: Nat) (l :: TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976])) Source #
Instances
SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun [a6989586621679444976] ([a6989586621679444976], [a6989586621679444976]) -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (SplitAtSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679444983 Bool -> Type) (TyFun [a6989586621679444983] [a6989586621679444983] -> Type) -> *) (l :: TyFun a6989586621679444983 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.List |
data TakeWhileSym1 (l :: TyFun a6989586621679444983 Bool -> Type) (l :: TyFun [a6989586621679444983] [a6989586621679444983]) Source #
Instances
SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679444983 Bool -> Type) -> TyFun [a6989586621679444983] [a6989586621679444983] -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679444982 Bool -> Type) (TyFun [a6989586621679444982] [a6989586621679444982] -> Type) -> *) (l :: TyFun a6989586621679444982 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.List |
data DropWhileSym1 (l :: TyFun a6989586621679444982 Bool -> Type) (l :: TyFun [a6989586621679444982] [a6989586621679444982]) Source #
Instances
SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679444982 Bool -> Type) -> TyFun [a6989586621679444982] [a6989586621679444982] -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List |
type DropWhileSym2 (t :: TyFun a6989586621679444982 Bool -> Type) (t :: [a6989586621679444982]) = DropWhile t t Source #
data DropWhileEndSym0 (l :: TyFun (TyFun a6989586621679444981 Bool -> Type) (TyFun [a6989586621679444981] [a6989586621679444981] -> Type)) Source #
Instances
SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (TyFun a6989586621679444981 Bool -> Type) (TyFun [a6989586621679444981] [a6989586621679444981] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropWhileEndSym0 :: TyFun (TyFun a6989586621679444981 Bool -> Type) (TyFun [a6989586621679444981] [a6989586621679444981] -> Type) -> *) (l :: TyFun a6989586621679444981 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.List |
data DropWhileEndSym1 (l :: TyFun a6989586621679444981 Bool -> Type) (l :: TyFun [a6989586621679444981] [a6989586621679444981]) Source #
Instances
SuppressUnusedWarnings (DropWhileEndSym1 :: (TyFun a6989586621679444981 Bool -> Type) -> TyFun [a6989586621679444981] [a6989586621679444981] -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropWhileEndSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List |
type DropWhileEndSym2 (t :: TyFun a6989586621679444981 Bool -> Type) (t :: [a6989586621679444981]) = DropWhileEnd 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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (SpanSym0 :: TyFun (TyFun a6989586621679444980 Bool -> Type) (TyFun [a6989586621679444980] ([a6989586621679444980], [a6989586621679444980]) -> Type) -> *) (l :: TyFun a6989586621679444980 Bool -> Type) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (SpanSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (BreakSym0 :: TyFun (TyFun a6989586621679444979 Bool -> Type) (TyFun [a6989586621679444979] ([a6989586621679444979], [a6989586621679444979]) -> Type) -> *) (l :: TyFun a6989586621679444979 Bool -> Type) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (BreakSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) Source # | |
type BreakSym2 (t :: TyFun a6989586621679444979 Bool -> Type) (t :: [a6989586621679444979]) = Break t t Source #
data ElemSym0 (l :: TyFun a6989586621679445040 (TyFun [a6989586621679445040] Bool -> Type)) Source #
Instances
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621679445040 (TyFun [a6989586621679445040] Bool -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ElemSym0 :: TyFun a6989586621679445040 (TyFun [a6989586621679445040] Bool -> Type) -> *) (l :: a6989586621679445040) Source # | |
data ElemSym1 (l :: a6989586621679445040) (l :: TyFun [a6989586621679445040] Bool) Source #
data NotElemSym0 (l :: TyFun a6989586621679445039 (TyFun [a6989586621679445039] Bool -> Type)) Source #
Instances
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621679445039 (TyFun [a6989586621679445039] Bool -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (NotElemSym0 :: TyFun a6989586621679445039 (TyFun [a6989586621679445039] Bool -> Type) -> *) (l :: a6989586621679445039) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (NotElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipSym0 :: TyFun [a6989586621679445037] (TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)] -> Type) -> *) (l :: [a6989586621679445037]) Source # | |
Defined in Data.Singletons.Prelude.List |
data ZipSym1 (l :: [a6989586621679445037]) (l :: TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)]) Source #
Instances
SuppressUnusedWarnings (ZipSym1 :: [a6989586621679445037] -> TyFun [b6989586621679445038] [(a6989586621679445037, b6989586621679445038)] -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipSym1 l1 :: TyFun [b] [(a, b)] -> *) (l2 :: [b]) 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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (Zip3Sym0 :: TyFun [a6989586621679445034] (TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type) -> Type) -> *) (l :: [a6989586621679445034]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (Zip3Sym1 l1 :: TyFun [b6989586621679445035] (TyFun [c6989586621679445036] [(a6989586621679445034, b6989586621679445035, c6989586621679445036)] -> Type) -> *) (l2 :: [b6989586621679445035]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (Zip3Sym2 l1 l2 :: TyFun [c] [(a, b, c)] -> *) (l3 :: [c]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithSym1 l1 :: TyFun [a6989586621679445031] (TyFun [b6989586621679445032] [c6989586621679445033] -> Type) -> *) (l2 :: [a6989586621679445031]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithSym2 l1 l2 :: TyFun [b] [c] -> *) (l3 :: [b]) Source # | |
Defined in Data.Singletons.Prelude.List |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
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 # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWith3Sym1 l1 :: TyFun [a6989586621679445027] (TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> Type) -> *) (l2 :: [a6989586621679445027]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWith3Sym2 l1 l2 :: TyFun [b6989586621679445028] (TyFun [c6989586621679445029] [d6989586621679445030] -> Type) -> *) (l3 :: [b6989586621679445028]) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWith3Sym3 l1 l2 l3 :: TyFun [c] [d] -> *) (l4 :: [c]) Source # | |
Defined in Data.Singletons.Prelude.List |
data UnzipSym0 (l :: TyFun [(a6989586621679445025, b6989586621679445026)] ([a6989586621679445025], [b6989586621679445026])) Source #
Instances
SuppressUnusedWarnings (UnzipSym0 :: TyFun [(a6989586621679445025, b6989586621679445026)] ([a6989586621679445025], [b6989586621679445026]) -> *) Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnzipSym0 :: TyFun [(a, b)] ([a], [b]) -> *) (l :: [(a, b)]) Source # | |
data UnlinesSym0 (l :: TyFun [Symbol] Symbol) Source #
Instances
SuppressUnusedWarnings UnlinesSym0 Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply UnlinesSym0 (l :: [Symbol]) Source # | |
Defined in Data.Singletons.Prelude.List |
type UnlinesSym1 (t :: [Symbol]) = Unlines t Source #
data UnwordsSym0 (l :: TyFun [Symbol] Symbol) Source #
Instances
SuppressUnusedWarnings UnwordsSym0 Source # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () Source # | |
type Apply UnwordsSym0 (l :: [Symbol]) Source # | |
Defined in Data.Singletons.Prelude.List |
type UnwordsSym1 (t :: [Symbol]) = Unwords t Source #