| 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 a6989586621679868770 (TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> Type))
- data EnumFromThenToSym1 (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type))
- data EnumFromThenToSym2 (l :: a6989586621679868770) (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 [a6989586621679868770])
- type EnumFromThenToSym3 (t :: a6989586621679868770) (t :: a6989586621679868770) (t :: a6989586621679868770) = EnumFromThenTo t t t
- data EnumFromToSym0 (l :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type))
- data EnumFromToSym1 (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 [a6989586621679868770])
- type EnumFromToSym2 (t :: a6989586621679868770) (t :: a6989586621679868770) = EnumFromTo t t
- data FromEnumSym0 (l :: TyFun a6989586621679868770 Nat)
- type FromEnumSym1 (t :: a6989586621679868770) = FromEnum t
- data ToEnumSym0 (l :: TyFun Nat a6989586621679868770)
- 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 b6989586621679418662 (TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> Type))
- data Maybe_Sym1 (l :: b6989586621679418662) (l :: TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type))
- data Maybe_Sym2 (l :: b6989586621679418662) (l :: TyFun a6989586621679418663 b6989586621679418662 -> Type) (l :: TyFun (Maybe a6989586621679418663) b6989586621679418662)
- type Maybe_Sym3 (t :: b6989586621679418662) (t :: TyFun a6989586621679418663 b6989586621679418662 -> Type) (t :: Maybe a6989586621679418663) = Maybe_ t t t
- data LeftSym0 (l :: TyFun a6989586621679083011 (Either a6989586621679083011 b6989586621679083012))
- type LeftSym1 (t :: a6989586621679083011) = Left t
- data RightSym0 (l :: TyFun b6989586621679083012 (Either a6989586621679083011 b6989586621679083012))
- type RightSym1 (t :: b6989586621679083012) = Right t
- data Either_Sym0 (l :: TyFun (TyFun a6989586621679939843 c6989586621679939844 -> Type) (TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> Type))
- data Either_Sym1 (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (l :: TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type))
- data Either_Sym2 (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (l :: TyFun b6989586621679939845 c6989586621679939844 -> Type) (l :: TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844)
- type Either_Sym3 (t :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (t :: TyFun b6989586621679939845 c6989586621679939844 -> Type) (t :: Either a6989586621679939843 b6989586621679939845) = 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 (a6989586621679297391, b6989586621679297392) a6989586621679297391)
- type FstSym1 (t :: (a6989586621679297391, b6989586621679297392)) = Fst t
- data SndSym0 (l :: TyFun (a6989586621679297389, b6989586621679297390) b6989586621679297390)
- type SndSym1 (t :: (a6989586621679297389, b6989586621679297390)) = Snd t
- data CurrySym0 (l :: TyFun (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> Type))
- data CurrySym1 (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (l :: TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type))
- data CurrySym2 (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (l :: a6989586621679297386) (l :: TyFun b6989586621679297387 c6989586621679297388)
- type CurrySym3 (t :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (t :: a6989586621679297386) (t :: b6989586621679297387) = Curry t t t
- data UncurrySym0 (l :: TyFun (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> Type))
- data UncurrySym1 (l :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (l :: TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385)
- type UncurrySym2 (t :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (t :: (a6989586621679297383, b6989586621679297384)) = Uncurry t t
- data ErrorSym0 (l :: TyFun k06989586621679393131 k6989586621679393132)
- type ErrorSym1 (t :: k06989586621679393131) = 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 a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type))
- data ShowsPrecSym1 (l :: Nat) (l :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type))
- data ShowsPrecSym2 (l :: Nat) (l :: a6989586621679693692) (l :: TyFun Symbol Symbol)
- type ShowsPrecSym3 (t :: Nat) (t :: a6989586621679693692) (t :: Symbol) = ShowsPrec t t t
- data Show_Sym0 (l :: TyFun a6989586621679693692 Symbol)
- type Show_Sym1 (t :: a6989586621679693692) = Show_ t
- data ShowListSym0 (l :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type))
- data ShowListSym1 (l :: [a6989586621679693692]) (l :: TyFun Symbol Symbol)
- type ShowListSym2 (t :: [a6989586621679693692]) (t :: Symbol) = ShowList t t
- data (<>@#@$) l
- data (l :: Symbol) <>@#@$$ l
- type (<>@#@$$$) (t :: Symbol) (t :: Symbol) = (<>) t t
- data ShowsSym0 (l :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type))
- data ShowsSym1 (l :: a6989586621679693677) (l :: TyFun Symbol Symbol)
- type ShowsSym2 (t :: a6989586621679693677) (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 a6989586621679435602 a6989586621679435602)
- type IdSym1 (t :: a6989586621679435602) = Id t
- data ConstSym0 (l :: TyFun a6989586621679435600 (TyFun b6989586621679435601 a6989586621679435600 -> Type))
- data ConstSym1 (l :: a6989586621679435600) (l :: TyFun b6989586621679435601 a6989586621679435600)
- type ConstSym2 (t :: a6989586621679435600) (t :: b6989586621679435601) = Const t t
- data (.@#@$) (l :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type))
- data (l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type))
- data ((l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$$ (l :: TyFun a6989586621679435599 b6989586621679435597 -> Type)) (l :: TyFun a6989586621679435599 c6989586621679435598)
- data ($@#@$) (l :: TyFun (TyFun a6989586621679435591 b6989586621679435592 -> Type) (TyFun a6989586621679435591 b6989586621679435592 -> Type))
- data (l :: TyFun a6989586621679435591 b6989586621679435592 -> Type) $@#@$$ (l :: TyFun a6989586621679435591 b6989586621679435592)
- type ($@#@$$$) (t :: TyFun a6989586621679435591 b6989586621679435592 -> Type) (t :: a6989586621679435591) = ($) t t
- data ($!@#@$) (l :: TyFun (TyFun a6989586621679435589 b6989586621679435590 -> Type) (TyFun a6989586621679435589 b6989586621679435590 -> Type))
- data (l :: TyFun a6989586621679435589 b6989586621679435590 -> Type) $!@#@$$ (l :: TyFun a6989586621679435589 b6989586621679435590)
- type ($!@#@$$$) (t :: TyFun a6989586621679435589 b6989586621679435590 -> Type) (t :: a6989586621679435589) = ($!) t t
- data FlipSym0 (l :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type))
- data FlipSym1 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type))
- data FlipSym2 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: b6989586621679435595) (l :: TyFun a6989586621679435594 c6989586621679435596)
- data AsTypeOfSym0 (l :: TyFun a6989586621679435593 (TyFun a6989586621679435593 a6989586621679435593 -> Type))
- data AsTypeOfSym1 (l :: a6989586621679435593) (l :: TyFun a6989586621679435593 a6989586621679435593)
- type AsTypeOfSym2 (t :: a6989586621679435593) (t :: a6989586621679435593) = AsTypeOf t t
- data SeqSym0 (l :: TyFun a6989586621679435587 (TyFun b6989586621679435588 b6989586621679435588 -> Type))
- data SeqSym1 (l :: a6989586621679435587) (l :: TyFun b6989586621679435588 b6989586621679435588)
- type SeqSym2 (t :: a6989586621679435587) (t :: b6989586621679435588) = 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 a6989586621679435604 b6989586621679435605 -> Type) (TyFun [a6989586621679435604] [b6989586621679435605] -> Type))
- data MapSym1 (l :: TyFun a6989586621679435604 b6989586621679435605 -> Type) (l :: TyFun [a6989586621679435604] [b6989586621679435605])
- type MapSym2 (t :: TyFun a6989586621679435604 b6989586621679435605 -> Type) (t :: [a6989586621679435604]) = Map t t
- data ReverseSym0 (l :: TyFun [a6989586621679458489] [a6989586621679458489])
- type ReverseSym1 (t :: [a6989586621679458489]) = Reverse t
- data (l :: [a6989586621679435603]) ++@#@$$ (l :: TyFun [a6989586621679435603] [a6989586621679435603])
- data (++@#@$) (l :: TyFun [a6989586621679435603] (TyFun [a6989586621679435603] [a6989586621679435603] -> Type))
- data HeadSym0 (l :: TyFun [a6989586621679458494] a6989586621679458494)
- type HeadSym1 (t :: [a6989586621679458494]) = Head t
- data LastSym0 (l :: TyFun [a6989586621679458493] a6989586621679458493)
- type LastSym1 (t :: [a6989586621679458493]) = Last t
- data TailSym0 (l :: TyFun [a6989586621679458492] [a6989586621679458492])
- type TailSym1 (t :: [a6989586621679458492]) = Tail t
- data InitSym0 (l :: TyFun [a6989586621679458491] [a6989586621679458491])
- type InitSym1 (t :: [a6989586621679458491]) = Init t
- data NullSym0 (l :: TyFun [a6989586621679458490] Bool)
- type NullSym1 (t :: [a6989586621679458490]) = Null t
- data FoldlSym0 (l :: TyFun (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> Type))
- data FoldlSym1 (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (l :: TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type))
- data FoldlSym2 (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (l :: b6989586621679269790) (l :: TyFun [a6989586621679269789] b6989586621679269790)
- type FoldlSym3 (t :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (t :: b6989586621679269790) (t :: [a6989586621679269789]) = Foldl t t t
- data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (TyFun [a6989586621679458480] a6989586621679458480 -> Type))
- data Foldl1Sym1 (l :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (l :: TyFun [a6989586621679458480] a6989586621679458480)
- type Foldl1Sym2 (t :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (t :: [a6989586621679458480]) = Foldl1 t t
- data FoldrSym0 (l :: TyFun (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> Type))
- data FoldrSym1 (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (l :: TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type))
- data FoldrSym2 (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (l :: b6989586621679435607) (l :: TyFun [a6989586621679435606] b6989586621679435607)
- type FoldrSym3 (t :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (t :: b6989586621679435607) (t :: [a6989586621679435606]) = Foldr t t t
- data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (TyFun [a6989586621679458478] a6989586621679458478 -> Type))
- data Foldr1Sym1 (l :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (l :: TyFun [a6989586621679458478] a6989586621679458478)
- type Foldr1Sym2 (t :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (t :: [a6989586621679458478]) = Foldr1 t t
- data ConcatSym0 (l :: TyFun [[a6989586621679458477]] [a6989586621679458477])
- type ConcatSym1 (t :: [[a6989586621679458477]]) = Concat t
- data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679458475 [b6989586621679458476] -> Type) (TyFun [a6989586621679458475] [b6989586621679458476] -> Type))
- data ConcatMapSym1 (l :: TyFun a6989586621679458475 [b6989586621679458476] -> Type) (l :: TyFun [a6989586621679458475] [b6989586621679458476])
- type ConcatMapSym2 (t :: TyFun a6989586621679458475 [b6989586621679458476] -> Type) (t :: [a6989586621679458475]) = 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 a6989586621679458473 Bool -> Type) (TyFun [a6989586621679458473] Bool -> Type))
- data AnySym1 (l :: TyFun a6989586621679458473 Bool -> Type) (l :: TyFun [a6989586621679458473] Bool)
- type AnySym2 (t :: TyFun a6989586621679458473 Bool -> Type) (t :: [a6989586621679458473]) = Any t t
- data AllSym0 (l :: TyFun (TyFun a6989586621679458474 Bool -> Type) (TyFun [a6989586621679458474] Bool -> Type))
- data AllSym1 (l :: TyFun a6989586621679458474 Bool -> Type) (l :: TyFun [a6989586621679458474] Bool)
- type AllSym2 (t :: TyFun a6989586621679458474 Bool -> Type) (t :: [a6989586621679458474]) = All t t
- data ScanlSym0 (l :: TyFun (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> Type))
- data ScanlSym1 (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (l :: TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type))
- data ScanlSym2 (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (l :: b6989586621679458471) (l :: TyFun [a6989586621679458472] [b6989586621679458471])
- type ScanlSym3 (t :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (t :: b6989586621679458471) (t :: [a6989586621679458472]) = Scanl t t t
- data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (TyFun [a6989586621679458470] [a6989586621679458470] -> Type))
- data Scanl1Sym1 (l :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (l :: TyFun [a6989586621679458470] [a6989586621679458470])
- type Scanl1Sym2 (t :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (t :: [a6989586621679458470]) = Scanl1 t t
- data ScanrSym0 (l :: TyFun (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> Type))
- data ScanrSym1 (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (l :: TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type))
- data ScanrSym2 (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (l :: b6989586621679458469) (l :: TyFun [a6989586621679458468] [b6989586621679458469])
- type ScanrSym3 (t :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (t :: b6989586621679458469) (t :: [a6989586621679458468]) = Scanr t t t
- data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (TyFun [a6989586621679458467] [a6989586621679458467] -> Type))
- data Scanr1Sym1 (l :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (l :: TyFun [a6989586621679458467] [a6989586621679458467])
- type Scanr1Sym2 (t :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (t :: [a6989586621679458467]) = Scanr1 t t
- data ReplicateSym0 (l :: TyFun Nat (TyFun a6989586621679458375 [a6989586621679458375] -> Type))
- data ReplicateSym1 (l :: Nat) (l :: TyFun a6989586621679458375 [a6989586621679458375])
- type ReplicateSym2 (t :: Nat) (t :: a6989586621679458375) = Replicate t t
- data TakeSym0 (l :: TyFun Nat (TyFun [a6989586621679458391] [a6989586621679458391] -> Type))
- data TakeSym1 (l :: Nat) (l :: TyFun [a6989586621679458391] [a6989586621679458391])
- type TakeSym2 (t :: Nat) (t :: [a6989586621679458391]) = Take t t
- data DropSym0 (l :: TyFun Nat (TyFun [a6989586621679458390] [a6989586621679458390] -> Type))
- data DropSym1 (l :: Nat) (l :: TyFun [a6989586621679458390] [a6989586621679458390])
- type DropSym2 (t :: Nat) (t :: [a6989586621679458390]) = Drop t t
- data SplitAtSym0 (l :: TyFun Nat (TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]) -> Type))
- data SplitAtSym1 (l :: Nat) (l :: TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]))
- type SplitAtSym2 (t :: Nat) (t :: [a6989586621679458389]) = SplitAt t t
- data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679458396 Bool -> Type) (TyFun [a6989586621679458396] [a6989586621679458396] -> Type))
- data TakeWhileSym1 (l :: TyFun a6989586621679458396 Bool -> Type) (l :: TyFun [a6989586621679458396] [a6989586621679458396])
- type TakeWhileSym2 (t :: TyFun a6989586621679458396 Bool -> Type) (t :: [a6989586621679458396]) = TakeWhile t t
- data DropWhileSym0 (l :: TyFun (TyFun a6989586621679458395 Bool -> Type) (TyFun [a6989586621679458395] [a6989586621679458395] -> Type))
- data DropWhileSym1 (l :: TyFun a6989586621679458395 Bool -> Type) (l :: TyFun [a6989586621679458395] [a6989586621679458395])
- type DropWhileSym2 (t :: TyFun a6989586621679458395 Bool -> Type) (t :: [a6989586621679458395]) = DropWhile t t
- data DropWhileEndSym0 (l :: TyFun (TyFun a6989586621679458394 Bool -> Type) (TyFun [a6989586621679458394] [a6989586621679458394] -> Type))
- data DropWhileEndSym1 (l :: TyFun a6989586621679458394 Bool -> Type) (l :: TyFun [a6989586621679458394] [a6989586621679458394])
- type DropWhileEndSym2 (t :: TyFun a6989586621679458394 Bool -> Type) (t :: [a6989586621679458394]) = DropWhileEnd t t
- data SpanSym0 (l :: TyFun (TyFun a6989586621679458393 Bool -> Type) (TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]) -> Type))
- data SpanSym1 (l :: TyFun a6989586621679458393 Bool -> Type) (l :: TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]))
- type SpanSym2 (t :: TyFun a6989586621679458393 Bool -> Type) (t :: [a6989586621679458393]) = Span t t
- data BreakSym0 (l :: TyFun (TyFun a6989586621679458392 Bool -> Type) (TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]) -> Type))
- data BreakSym1 (l :: TyFun a6989586621679458392 Bool -> Type) (l :: TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]))
- type BreakSym2 (t :: TyFun a6989586621679458392 Bool -> Type) (t :: [a6989586621679458392]) = Break t t
- data ElemSym0 (l :: TyFun a6989586621679458453 (TyFun [a6989586621679458453] Bool -> Type))
- data ElemSym1 (l :: a6989586621679458453) (l :: TyFun [a6989586621679458453] Bool)
- type ElemSym2 (t :: a6989586621679458453) (t :: [a6989586621679458453]) = Elem t t
- data NotElemSym0 (l :: TyFun a6989586621679458452 (TyFun [a6989586621679458452] Bool -> Type))
- data NotElemSym1 (l :: a6989586621679458452) (l :: TyFun [a6989586621679458452] Bool)
- type NotElemSym2 (t :: a6989586621679458452) (t :: [a6989586621679458452]) = NotElem t t
- data ZipSym0 (l :: TyFun [a6989586621679458450] (TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)] -> Type))
- data ZipSym1 (l :: [a6989586621679458450]) (l :: TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)])
- type ZipSym2 (t :: [a6989586621679458450]) (t :: [b6989586621679458451]) = Zip t t
- data Zip3Sym0 (l :: TyFun [a6989586621679458447] (TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> Type))
- data Zip3Sym1 (l :: [a6989586621679458447]) (l :: TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type))
- data Zip3Sym2 (l :: [a6989586621679458447]) (l :: [b6989586621679458448]) (l :: TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)])
- type Zip3Sym3 (t :: [a6989586621679458447]) (t :: [b6989586621679458448]) (t :: [c6989586621679458449]) = Zip3 t t t
- data ZipWithSym0 (l :: TyFun (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> Type))
- data ZipWithSym1 (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (l :: TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type))
- data ZipWithSym2 (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (l :: [a6989586621679458444]) (l :: TyFun [b6989586621679458445] [c6989586621679458446])
- type ZipWithSym3 (t :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (t :: [a6989586621679458444]) (t :: [b6989586621679458445]) = ZipWith t t t
- data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> Type))
- data ZipWith3Sym1 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type))
- data ZipWith3Sym2 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: [a6989586621679458440]) (l :: TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type))
- data ZipWith3Sym3 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: [a6989586621679458440]) (l :: [b6989586621679458441]) (l :: TyFun [c6989586621679458442] [d6989586621679458443])
- data UnzipSym0 (l :: TyFun [(a6989586621679458438, b6989586621679458439)] ([a6989586621679458438], [b6989586621679458439]))
- type UnzipSym1 (t :: [(a6989586621679458438, b6989586621679458439)]) = 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 #
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) #
Error reporting
type family Error (str :: k0) :: k where ... #
The promotion of error. This version is more poly-kinded for
easier use.
sUndefined :: a #
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.
Instances
| SBounded Bool # | |
Defined in Data.Singletons.Prelude.Enum | |
| SBounded Ordering # | |
Defined in Data.Singletons.Prelude.Enum | |
| SBounded () # | |
Defined in Data.Singletons.Prelude.Enum | |
| (SBounded a, SBounded b) => SBounded (a, b) # | |
Defined in Data.Singletons.Prelude.Enum | |
| (SBounded a, SBounded b, SBounded c) => SBounded (a, b, c) # | |
Defined in Data.Singletons.Prelude.Enum | |
| (SBounded a, SBounded b, SBounded c, SBounded d) => SBounded (a, b, c, d) # | |
Defined in Data.Singletons.Prelude.Enum | |
| (SBounded a, SBounded b, SBounded c, SBounded d, SBounded e) => SBounded (a, b, c, d, e) # | |
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) # | |
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) # | |
Defined in Data.Singletons.Prelude.Enum | |
Instances
| PBounded Bool # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded Ordering # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded () # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b) # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b, c) # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b, c, d) # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b, c, d, e) # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b, c, d, e, f) # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b, c, d, e, f, g) # | |
Defined in Data.Singletons.Prelude.Enum | |
type MaxBoundSym0 = MaxBound #
type MinBoundSym0 = MinBound #
Methods
sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t :: a) #
sFromEnum :: forall (t :: a). Sing t -> Sing (Apply FromEnumSym0 t :: Nat) #
sEnumFromTo :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t :: [a]) #
sEnumFromThenTo :: forall (t :: a) (t :: a) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) #
sEnumFromTo :: forall (t :: a) (t :: a). ((Apply (Apply EnumFromToSym0 t) t :: [a]) ~ Apply (Apply EnumFromTo_6989586621679869448Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t :: [a]) #
sEnumFromThenTo :: forall (t :: a) (t :: a) (t :: a). ((Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) ~ Apply (Apply (Apply EnumFromThenTo_6989586621679869478Sym0 t) t) t) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) #
Instances
Associated Types
type ToEnum (arg :: Nat) :: a #
type FromEnum (arg :: a) :: Nat #
type EnumFromTo (arg :: a) (arg :: a) :: [a] #
type EnumFromThenTo (arg :: a) (arg :: a) (arg :: a) :: [a] #
Instances
| PEnum Bool # | |
Defined in Data.Singletons.Prelude.Enum | |
| PEnum Ordering # | |
Defined in Data.Singletons.Prelude.Enum | |
| PEnum Nat # | |
Defined in Data.Singletons.Prelude.Enum | |
| PEnum () # | |
Defined in Data.Singletons.Prelude.Enum | |
data EnumFromThenToSym0 (l :: TyFun a6989586621679868770 (TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (EnumFromThenToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> Type) -> *) (l :: a6989586621679868770) # | |
Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromThenToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> Type) -> *) (l :: a6989586621679868770) = EnumFromThenToSym1 l | |
data EnumFromThenToSym1 (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type)) #
Instances
| SuppressUnusedWarnings (EnumFromThenToSym1 :: a6989586621679868770 -> TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (EnumFromThenToSym1 l1 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) (l2 :: a6989586621679868770) # | |
Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromThenToSym1 l1 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) (l2 :: a6989586621679868770) = EnumFromThenToSym2 l1 l2 | |
data EnumFromThenToSym2 (l :: a6989586621679868770) (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 [a6989586621679868770]) #
Instances
| SuppressUnusedWarnings (EnumFromThenToSym2 :: a6989586621679868770 -> a6989586621679868770 -> TyFun a6989586621679868770 [a6989586621679868770] -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (EnumFromThenToSym2 l1 l2 :: TyFun a [a] -> *) (l3 :: a) # | |
Defined in Data.Singletons.Prelude.Enum | |
type EnumFromThenToSym3 (t :: a6989586621679868770) (t :: a6989586621679868770) (t :: a6989586621679868770) = EnumFromThenTo t t t #
data EnumFromToSym0 (l :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type)) #
Instances
| SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (EnumFromToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) (l :: a6989586621679868770) # | |
Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) (l :: a6989586621679868770) = EnumFromToSym1 l | |
data EnumFromToSym1 (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 [a6989586621679868770]) #
Instances
| SuppressUnusedWarnings (EnumFromToSym1 :: a6989586621679868770 -> TyFun a6989586621679868770 [a6989586621679868770] -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (EnumFromToSym1 l1 :: TyFun a [a] -> *) (l2 :: a) # | |
Defined in Data.Singletons.Prelude.Enum | |
type EnumFromToSym2 (t :: a6989586621679868770) (t :: a6989586621679868770) = EnumFromTo t t #
data FromEnumSym0 (l :: TyFun a6989586621679868770 Nat) #
Instances
| SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679868770 Nat -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (FromEnumSym0 :: TyFun a Nat -> *) (l :: a) # | |
Defined in Data.Singletons.Prelude.Enum | |
type FromEnumSym1 (t :: a6989586621679868770) = FromEnum t #
data ToEnumSym0 (l :: TyFun Nat a6989586621679868770) #
Instances
| SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679868770 -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (ToEnumSym0 :: TyFun Nat k2 -> *) (l :: Nat) # | |
Defined in Data.Singletons.Prelude.Enum | |
type ToEnumSym1 (t :: Nat) = ToEnum t #
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
Singleton Show
Associated Types
type ShowsPrec (arg :: Nat) (arg :: a) (arg :: Symbol) :: Symbol #
Instances
| PShow Bool # | |
| PShow Ordering # | |
| PShow Nat # | Note that this instance is really, really slow, since it uses an inefficient, inductive definition of division behind the hood. |
| PShow Symbol # | |
| PShow () # | |
| PShow Void # | |
| PShow [a] # | |
| PShow (Maybe a) # | |
| PShow (NonEmpty a) # | |
| PShow (Either a b) # | |
| PShow (a, b) # | |
| PShow (a, b, c) # | |
| PShow (a, b, c, d) # | |
| PShow (a, b, c, d, e) # | |
| PShow (a, b, c, d, e, f) # | |
| PShow (a, b, c, d, e, f, g) # | |
Methods
sShowsPrec :: forall (t :: Nat) (t :: a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) #
sShow_ :: forall (t :: a). Sing t -> Sing (Apply Show_Sym0 t :: Symbol) #
sShowList :: forall (t :: [a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t :: Symbol) #
sShowsPrec :: forall (t :: Nat) (t :: a) (t :: Symbol). ((Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) ~ Apply (Apply (Apply ShowsPrec_6989586621679695764Sym0 t) t) t) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) #
sShow_ :: forall (t :: a). ((Apply Show_Sym0 t :: Symbol) ~ Apply Show__6989586621679695784Sym0 t) => Sing t -> Sing (Apply Show_Sym0 t :: Symbol) #
sShowList :: forall (t :: [a]) (t :: Symbol). ((Apply (Apply ShowListSym0 t) t :: Symbol) ~ Apply (Apply ShowList_6989586621679695802Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t :: Symbol) #
Instances
| SShow Bool # | |
| SShow Ordering # | |
| SShow Nat # | |
| SShow Symbol # | |
| SShow () # | |
| SShow Void # | |
| SShow a => SShow [a] # | |
| SShow a => SShow (Maybe a) # | |
| (SShow a, SShow [a]) => SShow (NonEmpty a) # | |
| (SShow a, SShow b) => SShow (Either a b) # | |
| (SShow a, SShow b) => SShow (a, b) # | |
| (SShow a, SShow b, SShow c) => SShow (a, b, c) # | |
| (SShow a, SShow b, SShow c, SShow d) => SShow (a, b, c, d) # | |
| (SShow a, SShow b, SShow c, SShow d, SShow e) => SShow (a, b, c, d, e) # | |
| (SShow a, SShow b, SShow c, SShow d, SShow e, SShow f) => SShow (a, b, c, d, e, f) # | |
| (SShow a, SShow b, SShow c, SShow d, SShow e, SShow f, SShow g) => SShow (a, b, c, d, e, f, g) # | |
type (<>) a b = AppendSymbol a b infixr 6 #
The promoted analogue of '(<>)' for Symbols. This uses the special
AppendSymbol type family from GHC.TypeLits.
type family Shows (a :: a) (a :: Symbol) :: Symbol where ... #
Equations
| Shows s a_6989586621679695712 = Apply (Apply (Apply ShowsPrecSym0 (FromInteger 0)) s) a_6989586621679695712 |
sShows :: forall (t :: a) (t :: Symbol). SShow a => Sing t -> Sing t -> Sing (Apply (Apply ShowsSym0 t) t :: Symbol) #
sShowChar :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowCharSym0 t) t :: Symbol) #
type family ShowString (a :: Symbol) (a :: Symbol) :: Symbol where ... #
Equations
| ShowString a_6989586621679695557 a_6989586621679695559 = Apply (Apply (<>@#@$) a_6989586621679695557) a_6989586621679695559 |
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) #
Miscellaneous functions
(%.) :: 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 #
(%$) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($@#@$) t) t :: b) infixr 0 #
(%$!) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($!@#@$) t) t :: b) infixr 0 #
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) #
sAsTypeOf :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a) #
sSeq :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b) infixr 0 #
List operations
sMap :: forall (t :: TyFun a b -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b]) #
(%++) :: forall (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply (++@#@$) t) t :: [a]) infixr 5 #
Reducing lists (folds)
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) #
sFoldl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a) #
sFoldr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) #
type family Foldr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ... #
Equations
| Foldr1 _ '[x] = x | |
| Foldr1 f ((:) x ((:) wild_6989586621679458955 wild_6989586621679458957)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let6989586621679469753XsSym4 f x wild_6989586621679458955 wild_6989586621679458957)) | |
| Foldr1 _ '[] = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list" |
sFoldr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a) #
Special folds
sAny :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply AnySym0 t) t :: Bool) #
sAll :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply AllSym0 t) t :: Bool) #
sConcatMap :: forall (t :: TyFun a [b] -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ConcatMapSym0 t) t :: [b]) #
Scans
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]) #
sScanl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: [a]) #
sScanr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: [b]) #
type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ... #
Equations
| Scanr1 _ '[] = '[] | |
| Scanr1 _ '[x] = Apply (Apply (:@#@$) x) '[] | |
| Scanr1 f ((:) x ((:) wild_6989586621679458975 wild_6989586621679458977)) = Case_6989586621679469465 f x wild_6989586621679458975 wild_6989586621679458977 (Let6989586621679469446Scrutinee_6989586621679458969Sym4 f x wild_6989586621679458975 wild_6989586621679458977) |
sScanr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: [a]) #
Infinite lists
type family Replicate (a :: Nat) (a :: a) :: [a] where ... #
Equations
| Replicate n x = Case_6989586621679467766 n x (Let6989586621679467758Scrutinee_6989586621679459071Sym2 n x) |
sReplicate :: forall (t :: Nat) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ReplicateSym0 t) t :: [a]) #
Sublists
sTake :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a]) #
sDrop :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a]) #
sSplitAt :: forall (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a])) #
sTakeWhile :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a]) #
type family Span (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ... #
Equations
| Span _ '[] = Apply (Apply Tuple2Sym0 Let6989586621679468079XsSym0) Let6989586621679468079XsSym0 | |
| Span p ((:) x xs') = Case_6989586621679468109 p x xs' (Let6989586621679468096Scrutinee_6989586621679459051Sym3 p x xs') |
sSpan :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a])) #
type family Break (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ... #
Equations
| Break _ '[] = Apply (Apply Tuple2Sym0 Let6989586621679467986XsSym0) Let6989586621679467986XsSym0 | |
| Break p ((:) x xs') = Case_6989586621679468016 p x xs' (Let6989586621679468003Scrutinee_6989586621679459053Sym3 p x xs') |
sBreak :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a])) #
Searching lists
sElem :: forall (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool) infix 4 #
sNotElem :: forall (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply NotElemSym0 t) t :: Bool) infix 4 #
type family Lookup (a :: a) (a :: [(a, b)]) :: Maybe b where ... #
Equations
| Lookup _key '[] = NothingSym0 | |
| Lookup key ((:) '(x, y) xys) = Case_6989586621679467907 key x y xys (Let6989586621679467888Scrutinee_6989586621679459067Sym4 key x y xys) |
sLookup :: forall (t :: a) (t :: [(a, b)]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply LookupSym0 t) t :: Maybe b) #
Zipping and unzipping lists
sZip :: forall (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: [(a, b)]) #
type family Zip3 (a :: [a]) (a :: [b]) (a :: [c]) :: [(a, b, c)] where ... #
Equations
| Zip3 ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:@#@$) (Apply (Apply (Apply Tuple3Sym0 a) b) c)) (Apply (Apply (Apply Zip3Sym0 as) bs) cs) | |
| Zip3 '[] '[] '[] = '[] | |
| Zip3 '[] '[] ((:) _ _) = '[] | |
| Zip3 '[] ((:) _ _) '[] = '[] | |
| Zip3 '[] ((:) _ _) ((:) _ _) = '[] | |
| Zip3 ((:) _ _) '[] '[] = '[] | |
| Zip3 ((:) _ _) '[] ((:) _ _) = '[] | |
| Zip3 ((:) _ _) ((:) _ _) '[] = '[] |
sZip3 :: forall (t :: [a]) (t :: [b]) (t :: [c]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Zip3Sym0 t) t) t :: [(a, b, c)]) #
type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: [a]) (a :: [b]) :: [c] where ... #
sZipWith :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: [c]) #
type family ZipWith3 (a :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (a :: [a]) (a :: [b]) (a :: [c]) :: [d] where ... #
Equations
| ZipWith3 z ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:@#@$) (Apply (Apply (Apply z a) b) c)) (Apply (Apply (Apply (Apply ZipWith3Sym0 z) as) bs) cs) | |
| ZipWith3 _ '[] '[] '[] = '[] | |
| ZipWith3 _ '[] '[] ((:) _ _) = '[] | |
| ZipWith3 _ '[] ((:) _ _) '[] = '[] | |
| ZipWith3 _ '[] ((:) _ _) ((:) _ _) = '[] | |
| ZipWith3 _ ((:) _ _) '[] '[] = '[] | |
| ZipWith3 _ ((:) _ _) '[] ((:) _ _) = '[] | |
| ZipWith3 _ ((:) _ _) ((:) _ _) '[] = '[] |
sZipWith3 :: forall (t :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (t :: [a]) (t :: [b]) (t :: [c]). Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply ZipWith3Sym0 t) t) t) t :: [d]) #
Functions on Symbols
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) #
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 Curry (a :: TyFun (a, b) c -> Type) (a :: a) (a :: b) :: c where ... #
Equations
| Curry f x y = Apply f (Apply (Apply Tuple2Sym0 x) y) |
sCurry :: forall (t :: TyFun (a, b) c -> Type) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c) #
sUncurry :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c) #
(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) #
Instances
| SuppressUnusedWarnings NotSym0 # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
| type Apply NotSym0 (l :: Bool) # | |
Defined in Data.Singletons.Prelude.Bool | |
data (&&@#@$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) #
Instances
| SuppressUnusedWarnings (&&@#@$) # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
| type Apply (&&@#@$) (l :: Bool) # | |
Defined in Data.Singletons.Prelude.Bool | |
data (l :: Bool) &&@#@$$ (l :: TyFun Bool Bool) #
Instances
| SuppressUnusedWarnings (&&@#@$$) # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
| type Apply ((&&@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) # | |
type (&&@#@$$$) (t :: Bool) (t :: Bool) = (&&) t t #
data (||@#@$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) #
Instances
| SuppressUnusedWarnings (||@#@$) # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
| type Apply (||@#@$) (l :: Bool) # | |
Defined in Data.Singletons.Prelude.Bool | |
data (l :: Bool) ||@#@$$ (l :: TyFun Bool Bool) #
Instances
| SuppressUnusedWarnings (||@#@$$) # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
| type Apply ((||@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) # | |
type (||@#@$$$) (t :: Bool) (t :: Bool) = (||) t t #
type OtherwiseSym0 = Otherwise #
type NothingSym0 = Nothing #
data JustSym0 (l :: TyFun a3530822107858468865 (Maybe a3530822107858468865)) #
Instances
| SuppressUnusedWarnings (JustSym0 :: TyFun a3530822107858468865 (Maybe a3530822107858468865) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (JustSym0 :: TyFun a (Maybe a) -> *) (l :: a) # | |
data Maybe_Sym0 (l :: TyFun b6989586621679418662 (TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679418662 (TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
| type Apply (Maybe_Sym0 :: TyFun b6989586621679418662 (TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> Type) -> *) (l :: b6989586621679418662) # | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym0 :: TyFun b6989586621679418662 (TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> Type) -> *) (l :: b6989586621679418662) = (Maybe_Sym1 l :: TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> *) | |
data Maybe_Sym1 (l :: b6989586621679418662) (l :: TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type)) #
Instances
| SuppressUnusedWarnings (Maybe_Sym1 :: b6989586621679418662 -> TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
| type Apply (Maybe_Sym1 l1 :: TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> *) (l2 :: TyFun a6989586621679418663 b6989586621679418662 -> Type) # | |
Defined in Data.Singletons.Prelude.Maybe | |
data Maybe_Sym2 (l :: b6989586621679418662) (l :: TyFun a6989586621679418663 b6989586621679418662 -> Type) (l :: TyFun (Maybe a6989586621679418663) b6989586621679418662) #
Instances
| SuppressUnusedWarnings (Maybe_Sym2 :: b6989586621679418662 -> (TyFun a6989586621679418663 b6989586621679418662 -> Type) -> TyFun (Maybe a6989586621679418663) b6989586621679418662 -> *) # | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
| type Apply (Maybe_Sym2 l1 l2 :: TyFun (Maybe a) b -> *) (l3 :: Maybe a) # | |
Defined in Data.Singletons.Prelude.Maybe | |
type Maybe_Sym3 (t :: b6989586621679418662) (t :: TyFun a6989586621679418663 b6989586621679418662 -> Type) (t :: Maybe a6989586621679418663) = Maybe_ t t t #
data LeftSym0 (l :: TyFun a6989586621679083011 (Either a6989586621679083011 b6989586621679083012)) #
Instances
| SuppressUnusedWarnings (LeftSym0 :: TyFun a6989586621679083011 (Either a6989586621679083011 b6989586621679083012) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (LeftSym0 :: TyFun a (Either a b6989586621679083012) -> *) (l :: a) # | |
data RightSym0 (l :: TyFun b6989586621679083012 (Either a6989586621679083011 b6989586621679083012)) #
Instances
| SuppressUnusedWarnings (RightSym0 :: TyFun b6989586621679083012 (Either a6989586621679083011 b6989586621679083012) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (RightSym0 :: TyFun b (Either a6989586621679083011 b) -> *) (l :: b) # | |
data Either_Sym0 (l :: TyFun (TyFun a6989586621679939843 c6989586621679939844 -> Type) (TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Either_Sym0 :: TyFun (TyFun a6989586621679939843 c6989586621679939844 -> Type) (TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () # | |
| type Apply (Either_Sym0 :: TyFun (TyFun a6989586621679939843 c6989586621679939844 -> Type) (TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> Type) -> *) (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) # | |
Defined in Data.Singletons.Prelude.Either type Apply (Either_Sym0 :: TyFun (TyFun a6989586621679939843 c6989586621679939844 -> Type) (TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> Type) -> *) (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) = (Either_Sym1 l :: TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> *) | |
data Either_Sym1 (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (l :: TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type)) #
Instances
| SuppressUnusedWarnings (Either_Sym1 :: (TyFun a6989586621679939843 c6989586621679939844 -> Type) -> TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () # | |
| type Apply (Either_Sym1 l1 :: TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> *) (l2 :: TyFun b6989586621679939845 c6989586621679939844 -> Type) # | |
Defined in Data.Singletons.Prelude.Either | |
data Either_Sym2 (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (l :: TyFun b6989586621679939845 c6989586621679939844 -> Type) (l :: TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844) #
Instances
| SuppressUnusedWarnings (Either_Sym2 :: (TyFun a6989586621679939843 c6989586621679939844 -> Type) -> (TyFun b6989586621679939845 c6989586621679939844 -> Type) -> TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> *) # | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () # | |
| type Apply (Either_Sym2 l1 l2 :: TyFun (Either a b) c -> *) (l3 :: Either a b) # | |
Defined in Data.Singletons.Prelude.Either | |
type Either_Sym3 (t :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (t :: TyFun b6989586621679939845 c6989586621679939844 -> Type) (t :: Either a6989586621679939843 b6989586621679939845) = Either_ t t t #
type Tuple0Sym0 = '() #
data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (l :: a3530822107858468865) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (l :: a3530822107858468865) = (Tuple2Sym1 l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) | |
data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866)) #
Instances
| SuppressUnusedWarnings (Tuple2Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple2Sym1 l1 :: TyFun k1 (k2, k1) -> *) (l2 :: k1) # | |
Defined in Data.Singletons.Prelude.Instances | |
type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t) #
data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (l :: a3530822107858468865) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple3Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) | |
data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple3Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple3Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (l2 :: b3530822107858468866) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple3Sym2 l1 l2 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) | |
data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867)) #
Instances
| SuppressUnusedWarnings (Tuple3Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple3Sym2 l1 l2 :: TyFun k3 (k2, k1, k3) -> *) (l3 :: k3) # | |
Defined in Data.Singletons.Prelude.Instances | |
type Tuple3Sym3 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) = '(t, t, t) #
data Tuple4Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple4Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) | |
data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple4Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple4Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) | |
data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple4Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (l3 :: c3530822107858468867) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple4Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) | |
data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) #
Instances
| SuppressUnusedWarnings (Tuple4Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple4Sym3 l1 l2 l3 :: TyFun k4 (k2, k1, k3, k4) -> *) (l4 :: k4) # | |
Defined in Data.Singletons.Prelude.Instances | |
type Tuple4Sym4 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) = '(t, t, t, t) #
data Tuple5Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple5Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) | |
data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple5Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple5Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) | |
data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple5Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) | |
data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple5Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (l4 :: d3530822107858468868) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple5Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) | |
data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) #
Instances
| SuppressUnusedWarnings (Tuple5Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple5Sym4 l1 l2 l3 l4 :: TyFun k5 (k2, k1, k3, k4, k5) -> *) (l5 :: k5) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym4 l1 l2 l3 l4 :: TyFun k5 (k2, k1, k3, k4, k5) -> *) (l5 :: k5) = (,,,,) l1 l2 l3 l4 l5 | |
type Tuple5Sym5 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) = '(t, t, t, t, t) #
data Tuple6Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| 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) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple6Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) | |
data Tuple6Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| 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) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) | |
data Tuple6Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) | |
data Tuple6Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) | |
data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (l5 :: e3530822107858468869) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (l5 :: e3530822107858468869) = (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) | |
data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym5 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> *) (l6 :: k6) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> *) (l6 :: k6) = (,,,,,) l1 l2 l3 l4 l5 l6 | |
type Tuple6Sym6 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) = '(t, t, t, t, t, t) #
data Tuple7Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| 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) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple7Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) | |
data Tuple7Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| 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) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple7Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) | |
data Tuple7Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| 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) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple7Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) | |
data Tuple7Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| 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) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) | |
data Tuple7Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (l5 :: e3530822107858468869) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (l5 :: e3530822107858468869) = (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) | |
data Tuple7Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym5 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (l6 :: f3530822107858468870) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (l6 :: f3530822107858468870) = (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) | |
data Tuple7Sym6 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: f3530822107858468870) (l :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym6 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> *) (l7 :: k7) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> *) (l7 :: k7) = (,,,,,,) l1 l2 l3 l4 l5 l6 l7 | |
type Tuple7Sym7 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) (t :: g3530822107858468871) = '(t, t, t, t, t, t, t) #
data FstSym0 (l :: TyFun (a6989586621679297391, b6989586621679297392) a6989586621679297391) #
Instances
| SuppressUnusedWarnings (FstSym0 :: TyFun (a6989586621679297391, b6989586621679297392) a6989586621679297391 -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (FstSym0 :: TyFun (a, b) a -> *) (l :: (a, b)) # | |
data SndSym0 (l :: TyFun (a6989586621679297389, b6989586621679297390) b6989586621679297390) #
Instances
| SuppressUnusedWarnings (SndSym0 :: TyFun (a6989586621679297389, b6989586621679297390) b6989586621679297390 -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (SndSym0 :: TyFun (a, b) b -> *) (l :: (a, b)) # | |
data CurrySym0 (l :: TyFun (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (CurrySym0 :: TyFun (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (CurrySym0 :: TyFun (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> Type) -> *) (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) # | |
Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym0 :: TyFun (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> Type) -> *) (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) = CurrySym1 l | |
data CurrySym1 (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (l :: TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type)) #
Instances
| SuppressUnusedWarnings (CurrySym1 :: (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) -> TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (CurrySym1 l1 :: TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> *) (l2 :: a6989586621679297386) # | |
data CurrySym2 (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (l :: a6989586621679297386) (l :: TyFun b6989586621679297387 c6989586621679297388) #
Instances
| SuppressUnusedWarnings (CurrySym2 :: (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) -> a6989586621679297386 -> TyFun b6989586621679297387 c6989586621679297388 -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (CurrySym2 l1 l2 :: TyFun b c -> *) (l3 :: b) # | |
type CurrySym3 (t :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (t :: a6989586621679297386) (t :: b6989586621679297387) = Curry t t t #
data UncurrySym0 (l :: TyFun (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> Type)) #
Instances
| SuppressUnusedWarnings (UncurrySym0 :: TyFun (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (UncurrySym0 :: TyFun (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> Type) -> *) (l :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.Tuple type Apply (UncurrySym0 :: TyFun (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> Type) -> *) (l :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) = UncurrySym1 l | |
data UncurrySym1 (l :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (l :: TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385) #
Instances
| SuppressUnusedWarnings (UncurrySym1 :: (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) -> TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (UncurrySym1 l1 :: TyFun (a, b) c -> *) (l2 :: (a, b)) # | |
Defined in Data.Singletons.Prelude.Tuple | |
type UncurrySym2 (t :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (t :: (a6989586621679297383, b6989586621679297384)) = Uncurry t t #
data ErrorSym0 (l :: TyFun k06989586621679393131 k6989586621679393132) #
Instances
| SuppressUnusedWarnings (ErrorSym0 :: TyFun k06989586621679393131 k6989586621679393132 -> *) # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
| type Apply (ErrorSym0 :: TyFun k0 k2 -> *) (l :: k0) # | |
type UndefinedSym0 = Undefined #
data (^@#@$) (l :: TyFun Nat (TyFun Nat Nat -> Type)) #
Instances
| SuppressUnusedWarnings (^@#@$) # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
| type Apply (^@#@$) (l :: Nat) # | |
Defined in Data.Singletons.TypeLits.Internal | |
data (l :: Nat) ^@#@$$ (l :: TyFun Nat Nat) #
Instances
| SuppressUnusedWarnings (^@#@$$) # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
| type Apply ((^@#@$$) l1 :: TyFun Nat Nat -> *) (l2 :: Nat) # | |
data ShowsPrecSym0 (l :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) # | |
data ShowsPrecSym1 (l :: Nat) (l :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings (ShowsPrecSym1 :: Nat -> TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679693692) # | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679693692) = ShowsPrecSym2 l1 l2 | |
data ShowsPrecSym2 (l :: Nat) (l :: a6989586621679693692) (l :: TyFun Symbol Symbol) #
Instances
| SuppressUnusedWarnings (ShowsPrecSym2 :: Nat -> a6989586621679693692 -> TyFun Symbol Symbol -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
type ShowsPrecSym3 (t :: Nat) (t :: a6989586621679693692) (t :: Symbol) = ShowsPrec t t t #
data Show_Sym0 (l :: TyFun a6989586621679693692 Symbol) #
Instances
| SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621679693692 Symbol -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) # | |
data ShowListSym0 (l :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowListSym0 :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679693692]) # | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym0 :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679693692]) = ShowListSym1 l | |
data ShowListSym1 (l :: [a6989586621679693692]) (l :: TyFun Symbol Symbol) #
Instances
| SuppressUnusedWarnings (ShowListSym1 :: [a6989586621679693692] -> TyFun Symbol Symbol -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
type ShowListSym2 (t :: [a6989586621679693692]) (t :: Symbol) = ShowList t t #
Instances
| SuppressUnusedWarnings (<>@#@$) # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
| type Apply (<>@#@$) (l :: Symbol) # | |
Defined in Data.Singletons.TypeLits.Internal | |
data (l :: Symbol) <>@#@$$ l #
Instances
| SuppressUnusedWarnings (<>@#@$$) # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
| type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # | |
type (<>@#@$$$) (t :: Symbol) (t :: Symbol) = (<>) t t #
data ShowsSym0 (l :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowsSym0 :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679693677) # | |
data ShowsSym1 (l :: a6989586621679693677) (l :: TyFun Symbol Symbol) #
data ShowCharSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings ShowCharSym0 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply ShowCharSym0 (l :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
data ShowCharSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) #
Instances
| SuppressUnusedWarnings ShowCharSym1 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
type ShowCharSym2 (t :: Symbol) (t :: Symbol) = ShowChar t t #
data ShowStringSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings ShowStringSym0 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply ShowStringSym0 (l :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
data ShowStringSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) #
Instances
| SuppressUnusedWarnings ShowStringSym1 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
type ShowStringSym2 (t :: Symbol) (t :: Symbol) = ShowString t t #
data ShowParenSym0 (l :: TyFun Bool (TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings ShowParenSym0 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply ShowParenSym0 (l :: Bool) # | |
Defined in Data.Singletons.Prelude.Show | |
data ShowParenSym1 (l :: Bool) (l :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings ShowParenSym1 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowParenSym1 l1 :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> *) (l2 :: TyFun Symbol Symbol -> Type) # | |
data ShowParenSym2 (l :: Bool) (l :: TyFun Symbol Symbol -> Type) (l :: TyFun Symbol Symbol) #
Instances
| SuppressUnusedWarnings ShowParenSym2 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
data IdSym0 (l :: TyFun a6989586621679435602 a6989586621679435602) #
Instances
| SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679435602 a6989586621679435602 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (IdSym0 :: TyFun a a -> *) (l :: a) # | |
data ConstSym0 (l :: TyFun a6989586621679435600 (TyFun b6989586621679435601 a6989586621679435600 -> Type)) #
Instances
| SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679435600 (TyFun b6989586621679435601 a6989586621679435600 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (ConstSym0 :: TyFun a6989586621679435600 (TyFun b6989586621679435601 a6989586621679435600 -> Type) -> *) (l :: a6989586621679435600) # | |
data ConstSym1 (l :: a6989586621679435600) (l :: TyFun b6989586621679435601 a6989586621679435600) #
Instances
| SuppressUnusedWarnings (ConstSym1 :: a6989586621679435600 -> TyFun b6989586621679435601 a6989586621679435600 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (ConstSym1 l1 :: TyFun b a -> *) (l2 :: b) # | |
data (.@#@$) (l :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings ((.@#@$) :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply ((.@#@$) :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type) -> *) (l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) # | |
Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$) :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type) -> *) (l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) = ((.@#@$$) l :: TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> *) | |
data (l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type)) #
Instances
| SuppressUnusedWarnings ((.@#@$$) :: (TyFun b6989586621679435597 c6989586621679435598 -> Type) -> TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> *) (l2 :: TyFun a6989586621679435599 b6989586621679435597 -> Type) # | |
data ((l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$$ (l :: TyFun a6989586621679435599 b6989586621679435597 -> Type)) (l :: TyFun a6989586621679435599 c6989586621679435598) #
Instances
| SuppressUnusedWarnings ((.@#@$$$) :: (TyFun b6989586621679435597 c6989586621679435598 -> Type) -> (TyFun a6989586621679435599 b6989586621679435597 -> Type) -> TyFun a6989586621679435599 c6989586621679435598 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (l1 .@#@$$$ l2 :: TyFun a c -> *) (l3 :: a) # | |
data ($@#@$) (l :: TyFun (TyFun a6989586621679435591 b6989586621679435592 -> Type) (TyFun a6989586621679435591 b6989586621679435592 -> Type)) #
Instances
| SuppressUnusedWarnings (($@#@$) :: TyFun (TyFun a6989586621679435591 b6989586621679435592 -> Type) (TyFun a6989586621679435591 b6989586621679435592 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (($@#@$) :: TyFun (TyFun a6989586621679435591 b6989586621679435592 -> Type) (TyFun a6989586621679435591 b6989586621679435592 -> Type) -> *) (l :: TyFun a6989586621679435591 b6989586621679435592 -> Type) # | |
data (l :: TyFun a6989586621679435591 b6989586621679435592 -> Type) $@#@$$ (l :: TyFun a6989586621679435591 b6989586621679435592) #
Instances
| SuppressUnusedWarnings (($@#@$$) :: (TyFun a6989586621679435591 b6989586621679435592 -> Type) -> TyFun a6989586621679435591 b6989586621679435592 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (($@#@$$) l1 :: TyFun a b -> *) (l2 :: a) # | |
type ($@#@$$$) (t :: TyFun a6989586621679435591 b6989586621679435592 -> Type) (t :: a6989586621679435591) = ($) t t #
data ($!@#@$) (l :: TyFun (TyFun a6989586621679435589 b6989586621679435590 -> Type) (TyFun a6989586621679435589 b6989586621679435590 -> Type)) #
Instances
| SuppressUnusedWarnings (($!@#@$) :: TyFun (TyFun a6989586621679435589 b6989586621679435590 -> Type) (TyFun a6989586621679435589 b6989586621679435590 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (($!@#@$) :: TyFun (TyFun a6989586621679435589 b6989586621679435590 -> Type) (TyFun a6989586621679435589 b6989586621679435590 -> Type) -> *) (l :: TyFun a6989586621679435589 b6989586621679435590 -> Type) # | |
data (l :: TyFun a6989586621679435589 b6989586621679435590 -> Type) $!@#@$$ (l :: TyFun a6989586621679435589 b6989586621679435590) #
Instances
| SuppressUnusedWarnings (($!@#@$$) :: (TyFun a6989586621679435589 b6989586621679435590 -> Type) -> TyFun a6989586621679435589 b6989586621679435590 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (($!@#@$$) l1 :: TyFun a b -> *) (l2 :: a) # | |
type ($!@#@$$$) (t :: TyFun a6989586621679435589 b6989586621679435590 -> Type) (t :: a6989586621679435589) = ($!) t t #
data FlipSym0 (l :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FlipSym0 :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type) -> *) (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type) -> *) (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) = FlipSym1 l | |
data FlipSym1 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type)) #
Instances
| SuppressUnusedWarnings (FlipSym1 :: (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) -> TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FlipSym1 l1 :: TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> *) (l2 :: b6989586621679435595) # | |
data FlipSym2 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: b6989586621679435595) (l :: TyFun a6989586621679435594 c6989586621679435596) #
Instances
| SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) -> b6989586621679435595 -> TyFun a6989586621679435594 c6989586621679435596 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) # | |
data AsTypeOfSym0 (l :: TyFun a6989586621679435593 (TyFun a6989586621679435593 a6989586621679435593 -> Type)) #
Instances
| SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679435593 (TyFun a6989586621679435593 a6989586621679435593 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (AsTypeOfSym0 :: TyFun a6989586621679435593 (TyFun a6989586621679435593 a6989586621679435593 -> Type) -> *) (l :: a6989586621679435593) # | |
Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym0 :: TyFun a6989586621679435593 (TyFun a6989586621679435593 a6989586621679435593 -> Type) -> *) (l :: a6989586621679435593) = AsTypeOfSym1 l | |
data AsTypeOfSym1 (l :: a6989586621679435593) (l :: TyFun a6989586621679435593 a6989586621679435593) #
Instances
| SuppressUnusedWarnings (AsTypeOfSym1 :: a6989586621679435593 -> TyFun a6989586621679435593 a6989586621679435593 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) # | |
Defined in Data.Singletons.Prelude.Base | |
type AsTypeOfSym2 (t :: a6989586621679435593) (t :: a6989586621679435593) = AsTypeOf t t #
data SeqSym0 (l :: TyFun a6989586621679435587 (TyFun b6989586621679435588 b6989586621679435588 -> Type)) #
Instances
| SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679435587 (TyFun b6989586621679435588 b6989586621679435588 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (SeqSym0 :: TyFun a6989586621679435587 (TyFun b6989586621679435588 b6989586621679435588 -> Type) -> *) (l :: a6989586621679435587) # | |
data SeqSym1 (l :: a6989586621679435587) (l :: TyFun b6989586621679435588 b6989586621679435588) #
Instances
| SuppressUnusedWarnings (SeqSym1 :: a6989586621679435587 -> TyFun b6989586621679435588 b6989586621679435588 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (SeqSym1 l1 :: TyFun b b -> *) (l2 :: b) # | |
data (:@#@$) (l :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type)) #
Instances
| SuppressUnusedWarnings ((:@#@$) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply ((:@#@$) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) (l :: a3530822107858468865) # | |
data (l :: a3530822107858468865) :@#@$$ (l :: TyFun [a3530822107858468865] [a3530822107858468865]) #
Instances
| SuppressUnusedWarnings ((:@#@$$) :: a3530822107858468865 -> TyFun [a3530822107858468865] [a3530822107858468865] -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply ((:@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.Instances | |
data MapSym0 (l :: TyFun (TyFun a6989586621679435604 b6989586621679435605 -> Type) (TyFun [a6989586621679435604] [b6989586621679435605] -> Type)) #
Instances
| SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679435604 b6989586621679435605 -> Type) (TyFun [a6989586621679435604] [b6989586621679435605] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (MapSym0 :: TyFun (TyFun a6989586621679435604 b6989586621679435605 -> Type) (TyFun [a6989586621679435604] [b6989586621679435605] -> Type) -> *) (l :: TyFun a6989586621679435604 b6989586621679435605 -> Type) # | |
data MapSym1 (l :: TyFun a6989586621679435604 b6989586621679435605 -> Type) (l :: TyFun [a6989586621679435604] [b6989586621679435605]) #
Instances
| SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679435604 b6989586621679435605 -> Type) -> TyFun [a6989586621679435604] [b6989586621679435605] -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) # | |
type MapSym2 (t :: TyFun a6989586621679435604 b6989586621679435605 -> Type) (t :: [a6989586621679435604]) = Map t t #
data ReverseSym0 (l :: TyFun [a6989586621679458489] [a6989586621679458489]) #
Instances
| SuppressUnusedWarnings (ReverseSym0 :: TyFun [a6989586621679458489] [a6989586621679458489] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ReverseSym0 :: TyFun [a] [a] -> *) (l :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type ReverseSym1 (t :: [a6989586621679458489]) = Reverse t #
data (l :: [a6989586621679435603]) ++@#@$$ (l :: TyFun [a6989586621679435603] [a6989586621679435603]) #
Instances
| SuppressUnusedWarnings ((++@#@$$) :: [a6989586621679435603] -> TyFun [a6989586621679435603] [a6989586621679435603] -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply ((++@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
data (++@#@$) (l :: TyFun [a6989586621679435603] (TyFun [a6989586621679435603] [a6989586621679435603] -> Type)) #
Instances
| SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679435603] (TyFun [a6989586621679435603] [a6989586621679435603] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply ((++@#@$) :: TyFun [a6989586621679435603] (TyFun [a6989586621679435603] [a6989586621679435603] -> Type) -> *) (l :: [a6989586621679435603]) # | |
data HeadSym0 (l :: TyFun [a6989586621679458494] a6989586621679458494) #
Instances
| SuppressUnusedWarnings (HeadSym0 :: TyFun [a6989586621679458494] a6989586621679458494 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (HeadSym0 :: TyFun [a] a -> *) (l :: [a]) # | |
data LastSym0 (l :: TyFun [a6989586621679458493] a6989586621679458493) #
Instances
| SuppressUnusedWarnings (LastSym0 :: TyFun [a6989586621679458493] a6989586621679458493 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (LastSym0 :: TyFun [a] a -> *) (l :: [a]) # | |
data TailSym0 (l :: TyFun [a6989586621679458492] [a6989586621679458492]) #
Instances
| SuppressUnusedWarnings (TailSym0 :: TyFun [a6989586621679458492] [a6989586621679458492] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (TailSym0 :: TyFun [a] [a] -> *) (l :: [a]) # | |
data InitSym0 (l :: TyFun [a6989586621679458491] [a6989586621679458491]) #
Instances
| SuppressUnusedWarnings (InitSym0 :: TyFun [a6989586621679458491] [a6989586621679458491] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (InitSym0 :: TyFun [a] [a] -> *) (l :: [a]) # | |
data NullSym0 (l :: TyFun [a6989586621679458490] Bool) #
Instances
| SuppressUnusedWarnings (NullSym0 :: TyFun [a6989586621679458490] Bool -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (NullSym0 :: TyFun [a] Bool -> *) (l :: [a]) # | |
data FoldlSym0 (l :: TyFun (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (FoldlSym0 :: TyFun (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldlSym0 :: TyFun (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> Type) -> *) (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (FoldlSym0 :: TyFun (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> Type) -> *) (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) = FoldlSym1 l | |
data FoldlSym1 (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (l :: TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type)) #
Instances
| SuppressUnusedWarnings (FoldlSym1 :: (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) -> TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldlSym1 l1 :: TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> *) (l2 :: b6989586621679269790) # | |
data FoldlSym2 (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (l :: b6989586621679269790) (l :: TyFun [a6989586621679269789] b6989586621679269790) #
Instances
| SuppressUnusedWarnings (FoldlSym2 :: (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) -> b6989586621679269790 -> TyFun [a6989586621679269789] b6989586621679269790 -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldlSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) # | |
type FoldlSym3 (t :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (t :: b6989586621679269790) (t :: [a6989586621679269789]) = Foldl t t t #
data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (TyFun [a6989586621679458480] a6989586621679458480 -> Type)) #
Instances
| SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (TyFun [a6989586621679458480] a6989586621679458480 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Foldl1Sym0 :: TyFun (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (TyFun [a6989586621679458480] a6989586621679458480 -> Type) -> *) (l :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (Foldl1Sym0 :: TyFun (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (TyFun [a6989586621679458480] a6989586621679458480 -> Type) -> *) (l :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) = Foldl1Sym1 l | |
data Foldl1Sym1 (l :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (l :: TyFun [a6989586621679458480] a6989586621679458480) #
Instances
| SuppressUnusedWarnings (Foldl1Sym1 :: (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) -> TyFun [a6989586621679458480] a6989586621679458480 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Foldl1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type Foldl1Sym2 (t :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (t :: [a6989586621679458480]) = Foldl1 t t #
data FoldrSym0 (l :: TyFun (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (FoldrSym0 :: TyFun (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> Type) -> *) (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> Type) -> *) (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) = FoldrSym1 l | |
data FoldrSym1 (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (l :: TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type)) #
Instances
| SuppressUnusedWarnings (FoldrSym1 :: (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) -> TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldrSym1 l1 :: TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> *) (l2 :: b6989586621679435607) # | |
data FoldrSym2 (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (l :: b6989586621679435607) (l :: TyFun [a6989586621679435606] b6989586621679435607) #
Instances
| SuppressUnusedWarnings (FoldrSym2 :: (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) -> b6989586621679435607 -> TyFun [a6989586621679435606] b6989586621679435607 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) # | |
type FoldrSym3 (t :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (t :: b6989586621679435607) (t :: [a6989586621679435606]) = Foldr t t t #
data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (TyFun [a6989586621679458478] a6989586621679458478 -> Type)) #
Instances
| SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (TyFun [a6989586621679458478] a6989586621679458478 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Foldr1Sym0 :: TyFun (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (TyFun [a6989586621679458478] a6989586621679458478 -> Type) -> *) (l :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (Foldr1Sym0 :: TyFun (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (TyFun [a6989586621679458478] a6989586621679458478 -> Type) -> *) (l :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) = Foldr1Sym1 l | |
data Foldr1Sym1 (l :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (l :: TyFun [a6989586621679458478] a6989586621679458478) #
Instances
| SuppressUnusedWarnings (Foldr1Sym1 :: (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) -> TyFun [a6989586621679458478] a6989586621679458478 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Foldr1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type Foldr1Sym2 (t :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (t :: [a6989586621679458478]) = Foldr1 t t #
data ConcatSym0 (l :: TyFun [[a6989586621679458477]] [a6989586621679458477]) #
Instances
| SuppressUnusedWarnings (ConcatSym0 :: TyFun [[a6989586621679458477]] [a6989586621679458477] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ConcatSym0 :: TyFun [[a]] [a] -> *) (l :: [[a]]) # | |
Defined in Data.Singletons.Prelude.List | |
type ConcatSym1 (t :: [[a6989586621679458477]]) = Concat t #
data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679458475 [b6989586621679458476] -> Type) (TyFun [a6989586621679458475] [b6989586621679458476] -> Type)) #
Instances
| SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (TyFun a6989586621679458475 [b6989586621679458476] -> Type) (TyFun [a6989586621679458475] [b6989586621679458476] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ConcatMapSym0 :: TyFun (TyFun a6989586621679458475 [b6989586621679458476] -> Type) (TyFun [a6989586621679458475] [b6989586621679458476] -> Type) -> *) (l :: TyFun a6989586621679458475 [b6989586621679458476] -> Type) # | |
Defined in Data.Singletons.Prelude.List | |
data ConcatMapSym1 (l :: TyFun a6989586621679458475 [b6989586621679458476] -> Type) (l :: TyFun [a6989586621679458475] [b6989586621679458476]) #
Instances
| SuppressUnusedWarnings (ConcatMapSym1 :: (TyFun a6989586621679458475 [b6989586621679458476] -> Type) -> TyFun [a6989586621679458475] [b6989586621679458476] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ConcatMapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type ConcatMapSym2 (t :: TyFun a6989586621679458475 [b6989586621679458476] -> Type) (t :: [a6989586621679458475]) = ConcatMap t t #
data AndSym0 (l :: TyFun [Bool] Bool) #
Instances
| SuppressUnusedWarnings AndSym0 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply AndSym0 (l :: [Bool]) # | |
Defined in Data.Singletons.Prelude.List | |
data OrSym0 (l :: TyFun [Bool] Bool) #
Instances
| SuppressUnusedWarnings OrSym0 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply OrSym0 (l :: [Bool]) # | |
Defined in Data.Singletons.Prelude.List | |
data AnySym0 (l :: TyFun (TyFun a6989586621679458473 Bool -> Type) (TyFun [a6989586621679458473] Bool -> Type)) #
Instances
| SuppressUnusedWarnings (AnySym0 :: TyFun (TyFun a6989586621679458473 Bool -> Type) (TyFun [a6989586621679458473] Bool -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (AnySym0 :: TyFun (TyFun a6989586621679458473 Bool -> Type) (TyFun [a6989586621679458473] Bool -> Type) -> *) (l :: TyFun a6989586621679458473 Bool -> Type) # | |
data AnySym1 (l :: TyFun a6989586621679458473 Bool -> Type) (l :: TyFun [a6989586621679458473] Bool) #
type AnySym2 (t :: TyFun a6989586621679458473 Bool -> Type) (t :: [a6989586621679458473]) = Any t t #
data AllSym0 (l :: TyFun (TyFun a6989586621679458474 Bool -> Type) (TyFun [a6989586621679458474] Bool -> Type)) #
Instances
| SuppressUnusedWarnings (AllSym0 :: TyFun (TyFun a6989586621679458474 Bool -> Type) (TyFun [a6989586621679458474] Bool -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (AllSym0 :: TyFun (TyFun a6989586621679458474 Bool -> Type) (TyFun [a6989586621679458474] Bool -> Type) -> *) (l :: TyFun a6989586621679458474 Bool -> Type) # | |
data AllSym1 (l :: TyFun a6989586621679458474 Bool -> Type) (l :: TyFun [a6989586621679458474] Bool) #
type AllSym2 (t :: TyFun a6989586621679458474 Bool -> Type) (t :: [a6989586621679458474]) = All t t #
data ScanlSym0 (l :: TyFun (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> Type) -> *) (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> Type) -> *) (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) = ScanlSym1 l | |
data ScanlSym1 (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (l :: TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type)) #
Instances
| SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) -> TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanlSym1 l1 :: TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> *) (l2 :: b6989586621679458471) # | |
data ScanlSym2 (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (l :: b6989586621679458471) (l :: TyFun [a6989586621679458472] [b6989586621679458471]) #
Instances
| SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) -> b6989586621679458471 -> TyFun [a6989586621679458472] [b6989586621679458471] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanlSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) # | |
type ScanlSym3 (t :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (t :: b6989586621679458471) (t :: [a6989586621679458472]) = Scanl t t t #
data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (TyFun [a6989586621679458470] [a6989586621679458470] -> Type)) #
Instances
| SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (TyFun [a6989586621679458470] [a6989586621679458470] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (TyFun [a6989586621679458470] [a6989586621679458470] -> Type) -> *) (l :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (TyFun [a6989586621679458470] [a6989586621679458470] -> Type) -> *) (l :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) = Scanl1Sym1 l | |
data Scanl1Sym1 (l :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (l :: TyFun [a6989586621679458470] [a6989586621679458470]) #
Instances
| SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) -> TyFun [a6989586621679458470] [a6989586621679458470] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Scanl1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type Scanl1Sym2 (t :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (t :: [a6989586621679458470]) = Scanl1 t t #
data ScanrSym0 (l :: TyFun (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> Type) -> *) (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> Type) -> *) (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) = ScanrSym1 l | |
data ScanrSym1 (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (l :: TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type)) #
Instances
| SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) -> TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanrSym1 l1 :: TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> *) (l2 :: b6989586621679458469) # | |
data ScanrSym2 (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (l :: b6989586621679458469) (l :: TyFun [a6989586621679458468] [b6989586621679458469]) #
Instances
| SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) -> b6989586621679458469 -> TyFun [a6989586621679458468] [b6989586621679458469] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanrSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) # | |
type ScanrSym3 (t :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (t :: b6989586621679458469) (t :: [a6989586621679458468]) = Scanr t t t #
data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (TyFun [a6989586621679458467] [a6989586621679458467] -> Type)) #
Instances
| SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (TyFun [a6989586621679458467] [a6989586621679458467] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (TyFun [a6989586621679458467] [a6989586621679458467] -> Type) -> *) (l :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (TyFun [a6989586621679458467] [a6989586621679458467] -> Type) -> *) (l :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) = Scanr1Sym1 l | |
data Scanr1Sym1 (l :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (l :: TyFun [a6989586621679458467] [a6989586621679458467]) #
Instances
| SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) -> TyFun [a6989586621679458467] [a6989586621679458467] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Scanr1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type Scanr1Sym2 (t :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (t :: [a6989586621679458467]) = Scanr1 t t #
data ReplicateSym0 (l :: TyFun Nat (TyFun a6989586621679458375 [a6989586621679458375] -> Type)) #
Instances
| SuppressUnusedWarnings (ReplicateSym0 :: TyFun Nat (TyFun a6989586621679458375 [a6989586621679458375] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ReplicateSym0 :: TyFun Nat (TyFun a6989586621679458375 [a6989586621679458375] -> Type) -> *) (l :: Nat) # | |
Defined in Data.Singletons.Prelude.List | |
data ReplicateSym1 (l :: Nat) (l :: TyFun a6989586621679458375 [a6989586621679458375]) #
Instances
| SuppressUnusedWarnings (ReplicateSym1 :: Nat -> TyFun a6989586621679458375 [a6989586621679458375] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ReplicateSym1 l1 :: TyFun a [a] -> *) (l2 :: a) # | |
Defined in Data.Singletons.Prelude.List | |
type ReplicateSym2 (t :: Nat) (t :: a6989586621679458375) = Replicate t t #
data TakeSym0 (l :: TyFun Nat (TyFun [a6989586621679458391] [a6989586621679458391] -> Type)) #
Instances
| SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (TyFun [a6989586621679458391] [a6989586621679458391] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (TakeSym0 :: TyFun Nat (TyFun [a6989586621679458391] [a6989586621679458391] -> Type) -> *) (l :: Nat) # | |
data TakeSym1 (l :: Nat) (l :: TyFun [a6989586621679458391] [a6989586621679458391]) #
Instances
| SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun [a6989586621679458391] [a6989586621679458391] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (TakeSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
data DropSym0 (l :: TyFun Nat (TyFun [a6989586621679458390] [a6989586621679458390] -> Type)) #
Instances
| SuppressUnusedWarnings (DropSym0 :: TyFun Nat (TyFun [a6989586621679458390] [a6989586621679458390] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (DropSym0 :: TyFun Nat (TyFun [a6989586621679458390] [a6989586621679458390] -> Type) -> *) (l :: Nat) # | |
data DropSym1 (l :: Nat) (l :: TyFun [a6989586621679458390] [a6989586621679458390]) #
Instances
| SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun [a6989586621679458390] [a6989586621679458390] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (DropSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
data SplitAtSym0 (l :: TyFun Nat (TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]) -> Type)) #
Instances
| SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (SplitAtSym0 :: TyFun Nat (TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]) -> Type) -> *) (l :: Nat) # | |
Defined in Data.Singletons.Prelude.List | |
data SplitAtSym1 (l :: Nat) (l :: TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389])) #
Instances
| SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (SplitAtSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type SplitAtSym2 (t :: Nat) (t :: [a6989586621679458389]) = SplitAt t t #
data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679458396 Bool -> Type) (TyFun [a6989586621679458396] [a6989586621679458396] -> Type)) #
Instances
| SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (TyFun a6989586621679458396 Bool -> Type) (TyFun [a6989586621679458396] [a6989586621679458396] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679458396 Bool -> Type) (TyFun [a6989586621679458396] [a6989586621679458396] -> Type) -> *) (l :: TyFun a6989586621679458396 Bool -> Type) # | |
Defined in Data.Singletons.Prelude.List | |
data TakeWhileSym1 (l :: TyFun a6989586621679458396 Bool -> Type) (l :: TyFun [a6989586621679458396] [a6989586621679458396]) #
Instances
| SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679458396 Bool -> Type) -> TyFun [a6989586621679458396] [a6989586621679458396] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (TakeWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type TakeWhileSym2 (t :: TyFun a6989586621679458396 Bool -> Type) (t :: [a6989586621679458396]) = TakeWhile t t #
data DropWhileSym0 (l :: TyFun (TyFun a6989586621679458395 Bool -> Type) (TyFun [a6989586621679458395] [a6989586621679458395] -> Type)) #
Instances
| SuppressUnusedWarnings (DropWhileSym0 :: TyFun (TyFun a6989586621679458395 Bool -> Type) (TyFun [a6989586621679458395] [a6989586621679458395] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679458395 Bool -> Type) (TyFun [a6989586621679458395] [a6989586621679458395] -> Type) -> *) (l :: TyFun a6989586621679458395 Bool -> Type) # | |
Defined in Data.Singletons.Prelude.List | |
data DropWhileSym1 (l :: TyFun a6989586621679458395 Bool -> Type) (l :: TyFun [a6989586621679458395] [a6989586621679458395]) #
Instances
| SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679458395 Bool -> Type) -> TyFun [a6989586621679458395] [a6989586621679458395] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (DropWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type DropWhileSym2 (t :: TyFun a6989586621679458395 Bool -> Type) (t :: [a6989586621679458395]) = DropWhile t t #
data DropWhileEndSym0 (l :: TyFun (TyFun a6989586621679458394 Bool -> Type) (TyFun [a6989586621679458394] [a6989586621679458394] -> Type)) #
Instances
| SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (TyFun a6989586621679458394 Bool -> Type) (TyFun [a6989586621679458394] [a6989586621679458394] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (DropWhileEndSym0 :: TyFun (TyFun a6989586621679458394 Bool -> Type) (TyFun [a6989586621679458394] [a6989586621679458394] -> Type) -> *) (l :: TyFun a6989586621679458394 Bool -> Type) # | |
Defined in Data.Singletons.Prelude.List | |
data DropWhileEndSym1 (l :: TyFun a6989586621679458394 Bool -> Type) (l :: TyFun [a6989586621679458394] [a6989586621679458394]) #
Instances
| SuppressUnusedWarnings (DropWhileEndSym1 :: (TyFun a6989586621679458394 Bool -> Type) -> TyFun [a6989586621679458394] [a6989586621679458394] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (DropWhileEndSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type DropWhileEndSym2 (t :: TyFun a6989586621679458394 Bool -> Type) (t :: [a6989586621679458394]) = DropWhileEnd t t #
data SpanSym0 (l :: TyFun (TyFun a6989586621679458393 Bool -> Type) (TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]) -> Type)) #
Instances
| SuppressUnusedWarnings (SpanSym0 :: TyFun (TyFun a6989586621679458393 Bool -> Type) (TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (SpanSym0 :: TyFun (TyFun a6989586621679458393 Bool -> Type) (TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]) -> Type) -> *) (l :: TyFun a6989586621679458393 Bool -> Type) # | |
data SpanSym1 (l :: TyFun a6989586621679458393 Bool -> Type) (l :: TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393])) #
Instances
| SuppressUnusedWarnings (SpanSym1 :: (TyFun a6989586621679458393 Bool -> Type) -> TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (SpanSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) # | |
type SpanSym2 (t :: TyFun a6989586621679458393 Bool -> Type) (t :: [a6989586621679458393]) = Span t t #
data BreakSym0 (l :: TyFun (TyFun a6989586621679458392 Bool -> Type) (TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]) -> Type)) #
Instances
| SuppressUnusedWarnings (BreakSym0 :: TyFun (TyFun a6989586621679458392 Bool -> Type) (TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (BreakSym0 :: TyFun (TyFun a6989586621679458392 Bool -> Type) (TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]) -> Type) -> *) (l :: TyFun a6989586621679458392 Bool -> Type) # | |
data BreakSym1 (l :: TyFun a6989586621679458392 Bool -> Type) (l :: TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392])) #
Instances
| SuppressUnusedWarnings (BreakSym1 :: (TyFun a6989586621679458392 Bool -> Type) -> TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (BreakSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) # | |
type BreakSym2 (t :: TyFun a6989586621679458392 Bool -> Type) (t :: [a6989586621679458392]) = Break t t #
data ElemSym0 (l :: TyFun a6989586621679458453 (TyFun [a6989586621679458453] Bool -> Type)) #
Instances
| SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621679458453 (TyFun [a6989586621679458453] Bool -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ElemSym0 :: TyFun a6989586621679458453 (TyFun [a6989586621679458453] Bool -> Type) -> *) (l :: a6989586621679458453) # | |
data ElemSym1 (l :: a6989586621679458453) (l :: TyFun [a6989586621679458453] Bool) #
Instances
| SuppressUnusedWarnings (ElemSym1 :: a6989586621679458453 -> TyFun [a6989586621679458453] Bool -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) # | |
data NotElemSym0 (l :: TyFun a6989586621679458452 (TyFun [a6989586621679458452] Bool -> Type)) #
Instances
| SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621679458452 (TyFun [a6989586621679458452] Bool -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (NotElemSym0 :: TyFun a6989586621679458452 (TyFun [a6989586621679458452] Bool -> Type) -> *) (l :: a6989586621679458452) # | |
Defined in Data.Singletons.Prelude.List type Apply (NotElemSym0 :: TyFun a6989586621679458452 (TyFun [a6989586621679458452] Bool -> Type) -> *) (l :: a6989586621679458452) = NotElemSym1 l | |
data NotElemSym1 (l :: a6989586621679458452) (l :: TyFun [a6989586621679458452] Bool) #
Instances
| SuppressUnusedWarnings (NotElemSym1 :: a6989586621679458452 -> TyFun [a6989586621679458452] Bool -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (NotElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type NotElemSym2 (t :: a6989586621679458452) (t :: [a6989586621679458452]) = NotElem t t #
data ZipSym0 (l :: TyFun [a6989586621679458450] (TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)] -> Type)) #
Instances
| SuppressUnusedWarnings (ZipSym0 :: TyFun [a6989586621679458450] (TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipSym0 :: TyFun [a6989586621679458450] (TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)] -> Type) -> *) (l :: [a6989586621679458450]) # | |
Defined in Data.Singletons.Prelude.List | |
data ZipSym1 (l :: [a6989586621679458450]) (l :: TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)]) #
Instances
| SuppressUnusedWarnings (ZipSym1 :: [a6989586621679458450] -> TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipSym1 l1 :: TyFun [b] [(a, b)] -> *) (l2 :: [b]) # | |
data Zip3Sym0 (l :: TyFun [a6989586621679458447] (TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Zip3Sym0 :: TyFun [a6989586621679458447] (TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Zip3Sym0 :: TyFun [a6989586621679458447] (TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> Type) -> *) (l :: [a6989586621679458447]) # | |
Defined in Data.Singletons.Prelude.List type Apply (Zip3Sym0 :: TyFun [a6989586621679458447] (TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> Type) -> *) (l :: [a6989586621679458447]) = (Zip3Sym1 l :: TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> *) | |
data Zip3Sym1 (l :: [a6989586621679458447]) (l :: TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type)) #
Instances
| SuppressUnusedWarnings (Zip3Sym1 :: [a6989586621679458447] -> TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Zip3Sym1 l1 :: TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> *) (l2 :: [b6989586621679458448]) # | |
Defined in Data.Singletons.Prelude.List type Apply (Zip3Sym1 l1 :: TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> *) (l2 :: [b6989586621679458448]) = (Zip3Sym2 l1 l2 :: TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> *) | |
data Zip3Sym2 (l :: [a6989586621679458447]) (l :: [b6989586621679458448]) (l :: TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)]) #
Instances
| SuppressUnusedWarnings (Zip3Sym2 :: [a6989586621679458447] -> [b6989586621679458448] -> TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Zip3Sym2 l1 l2 :: TyFun [c] [(a, b, c)] -> *) (l3 :: [c]) # | |
type Zip3Sym3 (t :: [a6989586621679458447]) (t :: [b6989586621679458448]) (t :: [c6989586621679458449]) = Zip3 t t t #
data ZipWithSym0 (l :: TyFun (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> Type) -> *) (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> Type) -> *) (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) = ZipWithSym1 l | |
data ZipWithSym1 (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (l :: TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type)) #
Instances
| SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) -> TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWithSym1 l1 :: TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> *) (l2 :: [a6989586621679458444]) # | |
Defined in Data.Singletons.Prelude.List type Apply (ZipWithSym1 l1 :: TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> *) (l2 :: [a6989586621679458444]) = ZipWithSym2 l1 l2 | |
data ZipWithSym2 (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (l :: [a6989586621679458444]) (l :: TyFun [b6989586621679458445] [c6989586621679458446]) #
Instances
| SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) -> [a6989586621679458444] -> TyFun [b6989586621679458445] [c6989586621679458446] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWithSym2 l1 l2 :: TyFun [b] [c] -> *) (l3 :: [b]) # | |
Defined in Data.Singletons.Prelude.List | |
type ZipWithSym3 (t :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (t :: [a6989586621679458444]) (t :: [b6989586621679458445]) = ZipWith t t t #
data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ZipWith3Sym0 :: TyFun (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWith3Sym0 :: TyFun (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> Type) -> *) (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (ZipWith3Sym0 :: TyFun (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> Type) -> *) (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) = ZipWith3Sym1 l | |
data ZipWith3Sym1 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ZipWith3Sym1 :: (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) -> TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWith3Sym1 l1 :: TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> *) (l2 :: [a6989586621679458440]) # | |
Defined in Data.Singletons.Prelude.List type Apply (ZipWith3Sym1 l1 :: TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> *) (l2 :: [a6989586621679458440]) = ZipWith3Sym2 l1 l2 | |
data ZipWith3Sym2 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: [a6989586621679458440]) (l :: TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type)) #
Instances
| SuppressUnusedWarnings (ZipWith3Sym2 :: (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) -> [a6989586621679458440] -> TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWith3Sym2 l1 l2 :: TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> *) (l3 :: [b6989586621679458441]) # | |
Defined in Data.Singletons.Prelude.List type Apply (ZipWith3Sym2 l1 l2 :: TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> *) (l3 :: [b6989586621679458441]) = ZipWith3Sym3 l1 l2 l3 | |
data ZipWith3Sym3 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: [a6989586621679458440]) (l :: [b6989586621679458441]) (l :: TyFun [c6989586621679458442] [d6989586621679458443]) #
Instances
| SuppressUnusedWarnings (ZipWith3Sym3 :: (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) -> [a6989586621679458440] -> [b6989586621679458441] -> TyFun [c6989586621679458442] [d6989586621679458443] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWith3Sym3 l1 l2 l3 :: TyFun [c] [d] -> *) (l4 :: [c]) # | |
Defined in Data.Singletons.Prelude.List | |
data UnzipSym0 (l :: TyFun [(a6989586621679458438, b6989586621679458439)] ([a6989586621679458438], [b6989586621679458439])) #
Instances
| SuppressUnusedWarnings (UnzipSym0 :: TyFun [(a6989586621679458438, b6989586621679458439)] ([a6989586621679458438], [b6989586621679458439]) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (UnzipSym0 :: TyFun [(a, b)] ([a], [b]) -> *) (l :: [(a, b)]) # | |
data UnlinesSym0 (l :: TyFun [Symbol] Symbol) #
Instances
| SuppressUnusedWarnings UnlinesSym0 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply UnlinesSym0 (l :: [Symbol]) # | |
Defined in Data.Singletons.Prelude.List | |
type UnlinesSym1 (t :: [Symbol]) = Unlines t #
data UnwordsSym0 (l :: TyFun [Symbol] Symbol) #
Instances
| SuppressUnusedWarnings UnwordsSym0 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply UnwordsSym0 (l :: [Symbol]) # | |
Defined in Data.Singletons.Prelude.List | |
type UnwordsSym1 (t :: [Symbol]) = Unwords t #