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

Basic singleton definitions
Singleton type synonyms
Functions working with Bool
Error reporting
Singleton equality
Singleton comparisons
Singleton Enum and Bounded
Singletons numbers
- Miscellaneous functions
List operations
Other datatypes
Other functions
Defunctionalization symbols

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 k (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) :: Bool where ...
sNot :: forall (t :: Bool). Sing t -> Sing (Apply NotSym0 t :: Bool)
type family (a :: Bool) :&& (a :: Bool) :: Bool where ...
type family (a :: Bool) :|| (a :: Bool) :: Bool where ...
(%:&&) :: forall (t :: Bool) (t :: Bool). Sing t -> Sing t -> Sing (Apply (Apply (:&&$) t) t :: Bool)
(%:||) :: forall (t :: Bool) (t :: Bool). Sing t -> Sing t -> Sing (Apply (Apply (:||$) t) t :: Bool)
type family Otherwise :: Bool where ...
sOtherwise :: Sing (OtherwiseSym0 :: Bool)
type family Error (str :: k0) :: k
data ErrorSym0 (l :: TyFun k06989586621679402464 k6989586621679402466)
sError :: Sing (str :: Symbol) -> a
module Data.Singletons.Prelude.Eq
module Data.Singletons.Prelude.Ord
module Data.Singletons.Prelude.Enum
module Data.Singletons.Prelude.Num
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 (f :: TyFun a b -> *) $ (x :: a) :: b
(%$) :: forall (f :: TyFun a b -> *) (x :: a). Sing f -> Sing x -> Sing ((($$) @@ f) @@ x)
type family (f :: TyFun a b -> *) $! (x :: a) :: b
(%$!) :: forall (f :: TyFun a b -> *) (x :: a). Sing f -> Sing x -> Sing ((($!$) @@ f) @@ x)
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 Any_Sym0 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 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 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
any_ :: (a -> Bool) -> [a] -> Bool
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 b6989586621679426444 (TyFun (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type) -> Type))
data Maybe_Sym1 (l :: b6989586621679426444) (l :: TyFun (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type))
data Maybe_Sym2 (l :: b6989586621679426444) (l :: TyFun a6989586621679426445 b6989586621679426444 -> Type) (l :: TyFun (Maybe a6989586621679426445) b6989586621679426444)
type Maybe_Sym3 (t :: b6989586621679426444) (t :: TyFun a6989586621679426445 b6989586621679426444 -> Type) (t :: Maybe a6989586621679426445) = Maybe_ t t t
data LeftSym0 (l :: TyFun a6989586621679075399 (Either a6989586621679075399 b6989586621679075400))
type LeftSym1 (t :: a6989586621679075399) = Left t
data RightSym0 (l :: TyFun b6989586621679075400 (Either a6989586621679075399 b6989586621679075400))
type RightSym1 (t :: b6989586621679075400) = Right t
data Either_Sym0 (l :: TyFun (TyFun a6989586621679436289 c6989586621679436290 -> Type) (TyFun (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type) -> Type))
data Either_Sym1 (l :: TyFun a6989586621679436289 c6989586621679436290 -> Type) (l :: TyFun (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type))
data Either_Sym2 (l :: TyFun a6989586621679436289 c6989586621679436290 -> Type) (l :: TyFun b6989586621679436291 c6989586621679436290 -> Type) (l :: TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290)
type Either_Sym3 (t :: TyFun a6989586621679436289 c6989586621679436290 -> Type) (t :: TyFun b6989586621679436291 c6989586621679436290 -> Type) (t :: Either a6989586621679436289 b6989586621679436291) = 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 (a6989586621679422508, b6989586621679422509) a6989586621679422508)
type FstSym1 (t :: (a6989586621679422508, b6989586621679422509)) = Fst t
data SndSym0 (l :: TyFun (a6989586621679422506, b6989586621679422507) b6989586621679422507)
type SndSym1 (t :: (a6989586621679422506, b6989586621679422507)) = Snd t
data CurrySym0 (l :: TyFun (TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (TyFun a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type) -> Type))
data CurrySym1 (l :: TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (l :: TyFun a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type))
data CurrySym2 (l :: TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (l :: a6989586621679422503) (l :: TyFun b6989586621679422504 c6989586621679422505)
type CurrySym3 (t :: TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (t :: a6989586621679422503) (t :: b6989586621679422504) = Curry t t t
data UncurrySym0 (l :: TyFun (TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) (TyFun (a6989586621679422500, b6989586621679422501) c6989586621679422502 -> Type))
data UncurrySym1 (l :: TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) (l :: TyFun (a6989586621679422500, b6989586621679422501) c6989586621679422502)
type UncurrySym2 (t :: TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) (t :: (a6989586621679422500, b6989586621679422501)) = Uncurry t t
data IdSym0 (l :: TyFun a6989586621679281044 a6989586621679281044)
type IdSym1 (t :: a6989586621679281044) = Id t
data ConstSym0 (l :: TyFun a6989586621679281042 (TyFun b6989586621679281043 a6989586621679281042 -> Type))
data ConstSym1 (l :: a6989586621679281042) (l :: TyFun b6989586621679281043 a6989586621679281042)
type ConstSym2 (t :: a6989586621679281042) (t :: b6989586621679281043) = Const t t
data (:.$) (l :: TyFun (TyFun b6989586621679281039 c6989586621679281040 -> Type) (TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> Type))
data (l :: TyFun b6989586621679281039 c6989586621679281040 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type))
data ((l :: TyFun b6989586621679281039 c6989586621679281040 -> Type) :.$$$ (l :: TyFun a6989586621679281041 b6989586621679281039 -> Type)) (l :: TyFun a6989586621679281041 c6989586621679281040)
data ($$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> *
data ($$$) :: (TyFun a b -> *) -> TyFun a b -> *
type ($$$$) a b = ($) a b
data ($!$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> *
data ($!$$) :: (TyFun a b -> *) -> TyFun a b -> *
type ($!$$$) a b = ($!) a b
data FlipSym0 (l :: TyFun (TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> Type))
data FlipSym1 (l :: TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (l :: TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type))
data FlipSym2 (l :: TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (l :: b6989586621679281037) (l :: TyFun a6989586621679281036 c6989586621679281038)
data AsTypeOfSym0 (l :: TyFun a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type))
data AsTypeOfSym1 (l :: a6989586621679281035) (l :: TyFun a6989586621679281035 a6989586621679281035)
type AsTypeOfSym2 (t :: a6989586621679281035) (t :: a6989586621679281035) = AsTypeOf t t
data SeqSym0 (l :: TyFun a6989586621679281033 (TyFun b6989586621679281034 b6989586621679281034 -> Type))
data SeqSym1 (l :: a6989586621679281033) (l :: TyFun b6989586621679281034 b6989586621679281034)
type SeqSym2 (t :: a6989586621679281033) (t :: b6989586621679281034) = 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 a6989586621679281046 b6989586621679281047 -> Type) (TyFun [a6989586621679281046] [b6989586621679281047] -> Type))
data MapSym1 (l :: TyFun a6989586621679281046 b6989586621679281047 -> Type) (l :: TyFun [a6989586621679281046] [b6989586621679281047])
type MapSym2 (t :: TyFun a6989586621679281046 b6989586621679281047 -> Type) (t :: [a6989586621679281046]) = Map t t
data ReverseSym0 (l :: TyFun [a6989586621679458191] [a6989586621679458191])
type ReverseSym1 (t :: [a6989586621679458191]) = Reverse t
data (l :: [a6989586621679281045]) :++$$ (l :: TyFun [a6989586621679281045] [a6989586621679281045])
data (:++$) (l :: TyFun [a6989586621679281045] (TyFun [a6989586621679281045] [a6989586621679281045] -> Type))
data HeadSym0 (l :: TyFun [a6989586621679458196] a6989586621679458196)
type HeadSym1 (t :: [a6989586621679458196]) = Head t
data LastSym0 (l :: TyFun [a6989586621679458195] a6989586621679458195)
type LastSym1 (t :: [a6989586621679458195]) = Last t
data TailSym0 (l :: TyFun [a6989586621679458194] [a6989586621679458194])
type TailSym1 (t :: [a6989586621679458194]) = Tail t
data InitSym0 (l :: TyFun [a6989586621679458193] [a6989586621679458193])
type InitSym1 (t :: [a6989586621679458193]) = Init t
data NullSym0 (l :: TyFun [a6989586621679458192] Bool)
type NullSym1 (t :: [a6989586621679458192]) = Null t
data FoldlSym0 (l :: TyFun (TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> Type))
data FoldlSym1 (l :: TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (l :: TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type))
data FoldlSym2 (l :: TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (l :: b6989586621679242246) (l :: TyFun [a6989586621679242245] b6989586621679242246)
type FoldlSym3 (t :: TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (t :: b6989586621679242246) (t :: [a6989586621679242245]) = Foldl t t t
data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679458182 (TyFun a6989586621679458182 a6989586621679458182 -> Type) -> Type) (TyFun [a6989586621679458182] a6989586621679458182 -> Type))
data Foldl1Sym1 (l :: TyFun a6989586621679458182 (TyFun a6989586621679458182 a6989586621679458182 -> Type) -> Type) (l :: TyFun [a6989586621679458182] a6989586621679458182)
type Foldl1Sym2 (t :: TyFun a6989586621679458182 (TyFun a6989586621679458182 a6989586621679458182 -> Type) -> Type) (t :: [a6989586621679458182]) = Foldl1 t t
data FoldrSym0 (l :: TyFun (TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> Type))
data FoldrSym1 (l :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (l :: TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type))
data FoldrSym2 (l :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (l :: b6989586621679281049) (l :: TyFun [a6989586621679281048] b6989586621679281049)
type FoldrSym3 (t :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (t :: b6989586621679281049) (t :: [a6989586621679281048]) = Foldr t t t
data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679458180 (TyFun a6989586621679458180 a6989586621679458180 -> Type) -> Type) (TyFun [a6989586621679458180] a6989586621679458180 -> Type))
data Foldr1Sym1 (l :: TyFun a6989586621679458180 (TyFun a6989586621679458180 a6989586621679458180 -> Type) -> Type) (l :: TyFun [a6989586621679458180] a6989586621679458180)
type Foldr1Sym2 (t :: TyFun a6989586621679458180 (TyFun a6989586621679458180 a6989586621679458180 -> Type) -> Type) (t :: [a6989586621679458180]) = Foldr1 t t
data ConcatSym0 (l :: TyFun [[a6989586621679458179]] [a6989586621679458179])
type ConcatSym1 (t :: [[a6989586621679458179]]) = Concat t
data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679458177 [b6989586621679458178] -> Type) (TyFun [a6989586621679458177] [b6989586621679458178] -> Type))
data ConcatMapSym1 (l :: TyFun a6989586621679458177 [b6989586621679458178] -> Type) (l :: TyFun [a6989586621679458177] [b6989586621679458178])
type ConcatMapSym2 (t :: TyFun a6989586621679458177 [b6989586621679458178] -> Type) (t :: [a6989586621679458177]) = 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 Any_Sym0 (l :: TyFun (TyFun a6989586621679447960 Bool -> Type) (TyFun [a6989586621679447960] Bool -> Type))
data Any_Sym1 (l :: TyFun a6989586621679447960 Bool -> Type) (l :: TyFun [a6989586621679447960] Bool)
type Any_Sym2 (t :: TyFun a6989586621679447960 Bool -> Type) (t :: [a6989586621679447960]) = Any_ t t
data AllSym0 (l :: TyFun (TyFun a6989586621679458176 Bool -> Type) (TyFun [a6989586621679458176] Bool -> Type))
data AllSym1 (l :: TyFun a6989586621679458176 Bool -> Type) (l :: TyFun [a6989586621679458176] Bool)
type AllSym2 (t :: TyFun a6989586621679458176 Bool -> Type) (t :: [a6989586621679458176]) = All t t
data ScanlSym0 (l :: TyFun (TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (TyFun b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type) -> Type))
data ScanlSym1 (l :: TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (l :: TyFun b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type))
data ScanlSym2 (l :: TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (l :: b6989586621679458174) (l :: TyFun [a6989586621679458175] [b6989586621679458174])
type ScanlSym3 (t :: TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (t :: b6989586621679458174) (t :: [a6989586621679458175]) = Scanl t t t
data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679458173 (TyFun a6989586621679458173 a6989586621679458173 -> Type) -> Type) (TyFun [a6989586621679458173] [a6989586621679458173] -> Type))
data Scanl1Sym1 (l :: TyFun a6989586621679458173 (TyFun a6989586621679458173 a6989586621679458173 -> Type) -> Type) (l :: TyFun [a6989586621679458173] [a6989586621679458173])
type Scanl1Sym2 (t :: TyFun a6989586621679458173 (TyFun a6989586621679458173 a6989586621679458173 -> Type) -> Type) (t :: [a6989586621679458173]) = Scanl1 t t
data ScanrSym0 (l :: TyFun (TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (TyFun b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type) -> Type))
data ScanrSym1 (l :: TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (l :: TyFun b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type))
data ScanrSym2 (l :: TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (l :: b6989586621679458172) (l :: TyFun [a6989586621679458171] [b6989586621679458172])
type ScanrSym3 (t :: TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (t :: b6989586621679458172) (t :: [a6989586621679458171]) = Scanr t t t
data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679458170 (TyFun a6989586621679458170 a6989586621679458170 -> Type) -> Type) (TyFun [a6989586621679458170] [a6989586621679458170] -> Type))
data Scanr1Sym1 (l :: TyFun a6989586621679458170 (TyFun a6989586621679458170 a6989586621679458170 -> Type) -> Type) (l :: TyFun [a6989586621679458170] [a6989586621679458170])
type Scanr1Sym2 (t :: TyFun a6989586621679458170 (TyFun a6989586621679458170 a6989586621679458170 -> Type) -> Type) (t :: [a6989586621679458170]) = Scanr1 t t
data ElemSym0 (l :: TyFun a6989586621679458156 (TyFun [a6989586621679458156] Bool -> Type))
data ElemSym1 (l :: a6989586621679458156) (l :: TyFun [a6989586621679458156] Bool)
type ElemSym2 (t :: a6989586621679458156) (t :: [a6989586621679458156]) = Elem t t
data NotElemSym0 (l :: TyFun a6989586621679458155 (TyFun [a6989586621679458155] Bool -> Type))
data NotElemSym1 (l :: a6989586621679458155) (l :: TyFun [a6989586621679458155] Bool)
type NotElemSym2 (t :: a6989586621679458155) (t :: [a6989586621679458155]) = NotElem t t
data ZipSym0 (l :: TyFun [a6989586621679458153] (TyFun [b6989586621679458154] [(a6989586621679458153, b6989586621679458154)] -> Type))
data ZipSym1 (l :: [a6989586621679458153]) (l :: TyFun [b6989586621679458154] [(a6989586621679458153, b6989586621679458154)])
type ZipSym2 (t :: [a6989586621679458153]) (t :: [b6989586621679458154]) = Zip t t
data Zip3Sym0 (l :: TyFun [a6989586621679458150] (TyFun [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type) -> Type))
data Zip3Sym1 (l :: [a6989586621679458150]) (l :: TyFun [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type))
data Zip3Sym2 (l :: [a6989586621679458150]) (l :: [b6989586621679458151]) (l :: TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)])
type Zip3Sym3 (t :: [a6989586621679458150]) (t :: [b6989586621679458151]) (t :: [c6989586621679458152]) = Zip3 t t t
data ZipWithSym0 (l :: TyFun (TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (TyFun [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type) -> Type))
data ZipWithSym1 (l :: TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (l :: TyFun [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type))
data ZipWithSym2 (l :: TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (l :: [a6989586621679458147]) (l :: TyFun [b6989586621679458148] [c6989586621679458149])
type ZipWithSym3 (t :: TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (t :: [a6989586621679458147]) (t :: [b6989586621679458148]) = ZipWith t t t
data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (TyFun [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type) -> Type))
data ZipWith3Sym1 (l :: TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type))
data ZipWith3Sym2 (l :: TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (l :: [a6989586621679458143]) (l :: TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type))
data ZipWith3Sym3 (l :: TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (l :: [a6989586621679458143]) (l :: [b6989586621679458144]) (l :: TyFun [c6989586621679458145] [d6989586621679458146])
data UnzipSym0 (l :: TyFun [(a6989586621679458141, b6989586621679458142)] ([a6989586621679458141], [b6989586621679458142]))
type UnzipSym1 (t :: [(a6989586621679458141, b6989586621679458142)]) = Unzip t

Basic singleton definitions

module Data.Singletons

data family Sing (a :: k) Source #

The singleton kind-indexed data family.

Instances

data Sing Bool Source #
data Sing Bool where SFalse :: Sing Bool z STrue :: Sing Bool z
data Sing Ordering Source #
data Sing Ordering where SLT :: Sing Ordering z SEQ :: Sing Ordering z SGT :: Sing Ordering z
data Sing * Source #
data Sing * where STypeRep :: Sing * a
data Sing Nat Source #
data Sing Nat where SNat :: Sing Nat n
data Sing Symbol Source #
data Sing Symbol where SSym :: Sing Symbol n
data Sing () Source #
data Sing () where STuple0 :: Sing () z
data Sing [a] Source #
data Sing [a] where SNil :: Sing [a] z SCons :: Sing [a] z
data Sing (Maybe a) Source #
data Sing (Maybe a) where SNothing :: Sing (Maybe a) z SJust :: Sing (Maybe a) z
data Sing (NonEmpty a) Source #
data Sing (NonEmpty a) where (:%\|) :: Sing (NonEmpty a) z
data Sing (Either a b) Source #
data Sing (Either a b) where SLeft :: Sing (Either a b) z SRight :: Sing (Either a b) z
data Sing (a, b) Source #
data Sing (a, b) where STuple2 :: Sing (a, b) z
data Sing ((~>) k1 k2) Source #
data Sing ((~>) k1 k2) = SLambda { applySing :: forall (t :: k1). Sing k1 t -> Sing k2 ((@@) k1 k2 f t) }
data Sing (a, b, c) Source #
data Sing (a, b, c) where STuple3 :: Sing (a, b, c) z
data Sing (a, b, c, d) Source #
data Sing (a, b, c, d) where STuple4 :: Sing (a, b, c, d) z
data Sing (a, b, c, d, e) Source #
data Sing (a, b, c, d, e) where STuple5 :: Sing (a, b, c, d, e) z
data Sing (a, b, c, d, e, f) Source #
data Sing (a, b, c, d, e, f) where STuple6 :: Sing (a, b, c, d, e, f) z
data Sing (a, b, c, d, e, f, g) Source #
data Sing (a, b, c, d, e, f, g) where STuple7 :: Sing (a, b, c, d, e, f, g) z

Singleton type synonyms

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

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

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

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

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

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

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

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

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

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

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

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

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

Functions working with `Bool`

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

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

Equations

If k True tru fls = tru
If k False tru fls = fls

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

Conditional over singletons

type family Not (a :: Bool) :: Bool where ... Source #

Equations

Not False = TrueSym0
Not True = FalseSym0

sNot :: forall (t :: Bool). Sing t -> Sing (Apply NotSym0 t :: Bool) Source #

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

Equations

False :&& _z_6989586621679277808 = FalseSym0
True :&& x = x

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

Equations

False :\|\| x = x
True :\|\| _z_6989586621679277796 = TrueSym0

(%:&&) :: forall (t :: Bool) (t :: Bool). Sing t -> Sing t -> Sing (Apply (Apply (:&&$) t) t :: Bool) infixr 3 Source #

(%:||) :: forall (t :: Bool) (t :: Bool). Sing t -> Sing t -> Sing (Apply (Apply (:||$) t) t :: Bool) infixr 2 Source #

type family Otherwise :: Bool where ... Source #

Equations

Otherwise = TrueSym0

sOtherwise :: Sing (OtherwiseSym0 :: Bool) Source #

Error reporting

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

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

data ErrorSym0 (l :: TyFun k06989586621679402464 k6989586621679402466) Source #

Instances

SuppressUnusedWarnings (TyFun k06989586621679402464 k6989586621679402466 -> *) (ErrorSym0 k06989586621679402464 k6989586621679402466) Source #
Methods suppressUnusedWarnings :: Proxy (ErrorSym0 k06989586621679402464 k6989586621679402466) t -> () Source #
type Apply k0 k2 (ErrorSym0 k0 k2) l Source #
type Apply k0 k2 (ErrorSym0 k0 k2) l = Error k0 k2 l

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

The singleton for error

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.

module Data.Singletons.Prelude.Enum

Singletons numbers

module Data.Singletons.Prelude.Num

Miscellaneous functions

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

Equations

Id x = x

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

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

Equations

Const x _z_6989586621679281163 = x

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

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

Equations

(f :. g) a_6989586621679281126 = Apply (Apply (Apply (Apply Lambda_6989586621679281131Sym0 f) g) a_6989586621679281126) a_6989586621679281126

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

type family (f :: TyFun a b -> *) $ (x :: a) :: b infixr 0 Source #

Instances

type ($) k1 k f x Source #
type ($) k1 k f x = (@@) k1 k f x

(%$) :: forall (f :: TyFun a b -> *) (x :: a). Sing f -> Sing x -> Sing ((($$) @@ f) @@ x) infixr 0 Source #

type family (f :: TyFun a b -> *) $! (x :: a) :: b infixr 0 Source #

Instances

type ($!) k1 k f x Source #
type ($!) k1 k f x = (@@) k1 k f x

(%$!) :: forall (f :: TyFun a b -> *) (x :: a). Sing f -> Sing x -> Sing ((($!$) @@ f) @@ x) infixr 0 Source #

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

Equations

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

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

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

Equations

AsTypeOf a_6989586621679281166 a_6989586621679281168 = Apply (Apply ConstSym0 a_6989586621679281166) a_6989586621679281168

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

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

Equations

Seq _z_6989586621679281089 x = x

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

List operations

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

Equations

Map _z_6989586621679281208 '[] = '[]
Map f ((:) x xs) = Apply (Apply (:$) (Apply f x)) (Apply (Apply MapSym0 f) xs)

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Null '[] = TrueSym0
Null ((:) _z_6989586621679462019 _z_6989586621679462022) = FalseSym0

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

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

Equations

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

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

Reducing lists (folds)

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

Equations

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

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

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

Equations

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

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

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

Equations

Foldr k z a_6989586621679281229 = Apply (Let6989586621679281234GoSym3 k z a_6989586621679281229) a_6989586621679281229

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

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

Equations

Foldr1 _z_6989586621679461187 '[x] = x
Foldr1 f ((:) x ((:) wild_6989586621679458644 wild_6989586621679458646)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let6989586621679461195XsSym4 f x wild_6989586621679458644 wild_6989586621679458646))
Foldr1 _z_6989586621679461214 '[] = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list"

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

Special folds

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

Equations

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

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

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

Equations

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

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

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

Equations

Any_ _z_6989586621679447974 '[] = FalseSym0
Any_ p ((:) x xs) = Apply (Apply (:\|\|$) (Apply p x)) (Apply (Apply Any_Sym0 p) xs)

sAny_ :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Any_Sym0 t) t :: Bool) Source #

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

Equations

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

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

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

Equations

Concat a_6989586621679461171 = Apply (Apply (Apply FoldrSym0 (:++$)) '[]) a_6989586621679461171

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

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

Equations

ConcatMap f a_6989586621679461167 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (:.$) (:++$)) f)) '[]) a_6989586621679461167

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

Scans

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

Equations

Scanl f q ls = Apply (Apply (:$) q) (Case_6989586621679461111 f q ls ls)

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

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

Equations

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

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

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

Equations

Scanr _z_6989586621679461061 q0 '[] = Apply (Apply (:$) q0) '[]
Scanr f q0 ((:) x xs) = Case_6989586621679461088 f q0 x xs (Let6989586621679461069Scrutinee_6989586621679458648Sym4 f q0 x xs)

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

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

Equations

Scanr1 _z_6989586621679460992 '[] = '[]
Scanr1 _z_6989586621679460995 '[x] = Apply (Apply (:$) x) '[]
Scanr1 f ((:) x ((:) wild_6989586621679458652 wild_6989586621679458654)) = Case_6989586621679461041 f x wild_6989586621679458652 wild_6989586621679458654 (Let6989586621679461022Scrutinee_6989586621679458650Sym4 f x wild_6989586621679458652 wild_6989586621679458654)

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

Searching lists

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

Equations

Elem _z_6989586621679460503 '[] = FalseSym0
Elem x ((:) y ys) = Apply (Apply (:\|\|$) (Apply (Apply (:==$) x) y)) (Apply (Apply ElemSym0 x) ys)

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

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

Equations

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

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

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

Equations

Lookup _key '[] = NothingSym0
Lookup key ((:) '(x, y) xys) = Case_6989586621679459077 key x y xys (Let6989586621679459058Scrutinee_6989586621679458732Sym4 key x y xys)

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

Zipping and unzipping lists

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

Equations

Zip ((:) x xs) ((:) y ys) = Apply (Apply (:$) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ZipSym0 xs) ys)
Zip '[] '[] = '[]
Zip ((:) _z_6989586621679460365 _z_6989586621679460368) '[] = '[]
Zip '[] ((:) _z_6989586621679460371 _z_6989586621679460374) = '[]

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

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

Equations

Zip3 ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:$) (Apply (Apply (Apply Tuple3Sym0 a) b) c)) (Apply (Apply (Apply Zip3Sym0 as) bs) cs)
Zip3 '[] '[] '[] = '[]
Zip3 '[] '[] ((:) _z_6989586621679460298 _z_6989586621679460301) = '[]
Zip3 '[] ((:) _z_6989586621679460304 _z_6989586621679460307) '[] = '[]
Zip3 '[] ((:) _z_6989586621679460310 _z_6989586621679460313) ((:) _z_6989586621679460316 _z_6989586621679460319) = '[]
Zip3 ((:) _z_6989586621679460322 _z_6989586621679460325) '[] '[] = '[]
Zip3 ((:) _z_6989586621679460328 _z_6989586621679460331) '[] ((:) _z_6989586621679460334 _z_6989586621679460337) = '[]
Zip3 ((:) _z_6989586621679460340 _z_6989586621679460343) ((:) _z_6989586621679460346 _z_6989586621679460349) '[] = '[]

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

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

Equations

ZipWith f ((:) x xs) ((:) y ys) = Apply (Apply (:$) (Apply (Apply f x) y)) (Apply (Apply (Apply ZipWithSym0 f) xs) ys)
ZipWith _z_6989586621679460256 '[] '[] = '[]
ZipWith _z_6989586621679460259 ((:) _z_6989586621679460262 _z_6989586621679460265) '[] = '[]
ZipWith _z_6989586621679460268 '[] ((:) _z_6989586621679460271 _z_6989586621679460274) = '[]

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

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

Equations

ZipWith3 z ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:$) (Apply (Apply (Apply z a) b) c)) (Apply (Apply (Apply (Apply ZipWith3Sym0 z) as) bs) cs)
ZipWith3 _z_6989586621679460161 '[] '[] '[] = '[]
ZipWith3 _z_6989586621679460164 '[] '[] ((:) _z_6989586621679460167 _z_6989586621679460170) = '[]
ZipWith3 _z_6989586621679460173 '[] ((:) _z_6989586621679460176 _z_6989586621679460179) '[] = '[]
ZipWith3 _z_6989586621679460182 '[] ((:) _z_6989586621679460185 _z_6989586621679460188) ((:) _z_6989586621679460191 _z_6989586621679460194) = '[]
ZipWith3 _z_6989586621679460197 ((:) _z_6989586621679460200 _z_6989586621679460203) '[] '[] = '[]
ZipWith3 _z_6989586621679460206 ((:) _z_6989586621679460209 _z_6989586621679460212) '[] ((:) _z_6989586621679460215 _z_6989586621679460218) = '[]
ZipWith3 _z_6989586621679460221 ((:) _z_6989586621679460224 _z_6989586621679460227) ((:) _z_6989586621679460230 _z_6989586621679460233) '[] = '[]

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

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

Equations

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

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

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

Equations

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

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

Other datatypes

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

Equations

Maybe_ n _z_6989586621679426466 Nothing = n
Maybe_ _z_6989586621679426469 f (Just x) = Apply f x

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

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

Equations

Either_ f _z_6989586621679436313 (Left x) = Apply f x
Either_ _z_6989586621679436317 g (Right y) = Apply g y

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

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

Equations

Fst '(x, _z_6989586621679422561) = x

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

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

Equations

Snd '(_z_6989586621679422552, y) = y

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

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

Equations

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

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

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

Equations

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

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

data Symbol :: * #

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

Instances

SingKind Symbol	Since: 4.9.0.0
Associated Types type DemoteRep Symbol :: * Methods fromSing :: Sing Symbol a -> DemoteRep Symbol
KnownSymbol a => SingI Symbol a	Since: 4.9.0.0
Methods sing :: Sing a a
SuppressUnusedWarnings (TyFun Symbol Constraint -> *) KnownSymbolSym0 Source #
Methods suppressUnusedWarnings :: Proxy KnownSymbolSym0 t -> () Source #
data Sing Symbol
data Sing Symbol where SSym :: Sing Symbol s
type DemoteRep Symbol
type DemoteRep Symbol = String
type Demote Symbol Source #
type Demote Symbol = Text
data Sing Symbol Source #
data Sing Symbol where SSym :: Sing Symbol n
type (==) Symbol a b
type (==) Symbol a b = EqSymbol a b
type (:==) Symbol a b Source #
type (:==) Symbol a b = (==) Symbol a b
type (:/=) Symbol x y Source #
type (:/=) Symbol x y = Not ((:==) Symbol x y)
type Compare Symbol a b Source #
type Compare Symbol a b = CmpSymbol a b
type (:<) Symbol arg1 arg2 Source #
type (:<) Symbol arg1 arg2
type (:<=) Symbol arg1 arg2 Source #
type (:<=) Symbol arg1 arg2
type (:>) Symbol arg1 arg2 Source #
type (:>) Symbol arg1 arg2
type (:>=) Symbol arg1 arg2 Source #
type (:>=) Symbol arg1 arg2
type Max Symbol arg1 arg2 Source #
type Max Symbol arg1 arg2
type Min Symbol arg1 arg2 Source #
type Min Symbol arg1 arg2
type Apply Symbol Constraint KnownSymbolSym0 l Source #
type Apply Symbol Constraint KnownSymbolSym0 l = KnownSymbol l

Other functions

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

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

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

any_ :: (a -> Bool) -> [a] -> Bool Source #

Defunctionalization symbols

type FalseSym0 = False Source #

type TrueSym0 = True Source #

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

Instances

SuppressUnusedWarnings (TyFun Bool Bool -> *) NotSym0 Source #
Methods suppressUnusedWarnings :: Proxy NotSym0 t -> () Source #
type Apply Bool Bool NotSym0 l Source #
type Apply Bool Bool NotSym0 l = Not l

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

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

Instances

SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:&&$) Source #
Methods suppressUnusedWarnings :: Proxy (:&&$) t -> () Source #
type Apply Bool (TyFun Bool Bool -> Type) (:&&$) l Source #
type Apply Bool (TyFun Bool Bool -> Type) (:&&$) l = (:&&$$) l

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

Instances

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:&&$$) Source #
Methods suppressUnusedWarnings :: Proxy (:&&$$) t -> () Source #
type Apply Bool Bool ((:&&$$) l1) l2 Source #
type Apply Bool Bool ((:&&$$) l1) l2 = (:&&) l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:\|\|$) Source #
Methods suppressUnusedWarnings :: Proxy (:\|\|$) t -> () Source #
type Apply Bool (TyFun Bool Bool -> Type) (:\|\|$) l Source #
type Apply Bool (TyFun Bool Bool -> Type) (:\|\|$) l = (:\|\|$$) l

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

Instances

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:\|\|$$) Source #
Methods suppressUnusedWarnings :: Proxy (:\|\|$$) t -> () Source #
type Apply Bool Bool ((:\|\|$$) l1) l2 Source #
type Apply Bool Bool ((:\|\|$$) l1) l2 = (:\|\|) l1 l2

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

type OtherwiseSym0 = Otherwise Source #

type NothingSym0 = Nothing Source #

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

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (Maybe a3530822107858468865) -> *) (JustSym0 a3530822107858468865) Source #
Methods suppressUnusedWarnings :: Proxy (JustSym0 a3530822107858468865) t -> () Source #
type Apply a (Maybe a) (JustSym0 a) l Source #
type Apply a (Maybe a) (JustSym0 a) l = Just a l

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

data Maybe_Sym0 (l :: TyFun b6989586621679426444 (TyFun (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun b6989586621679426444 (TyFun (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679426445 b6989586621679426444) Source #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym0 a6989586621679426445 b6989586621679426444) t -> () Source #
type Apply b6989586621679426444 (TyFun (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type) -> Type) (Maybe_Sym0 a6989586621679426445 b6989586621679426444) l Source #
type Apply b6989586621679426444 (TyFun (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type) -> Type) (Maybe_Sym0 a6989586621679426445 b6989586621679426444) l = Maybe_Sym1 a6989586621679426445 b6989586621679426444 l

data Maybe_Sym1 (l :: b6989586621679426444) (l :: TyFun (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type)) Source #

Instances

SuppressUnusedWarnings (b6989586621679426444 -> TyFun (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type) -> *) (Maybe_Sym1 a6989586621679426445 b6989586621679426444) Source #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym1 a6989586621679426445 b6989586621679426444) t -> () Source #
type Apply (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type) (Maybe_Sym1 a6989586621679426445 b6989586621679426444 l1) l2 Source #
type Apply (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type) (Maybe_Sym1 a6989586621679426445 b6989586621679426444 l1) l2 = Maybe_Sym2 a6989586621679426445 b6989586621679426444 l1 l2

data Maybe_Sym2 (l :: b6989586621679426444) (l :: TyFun a6989586621679426445 b6989586621679426444 -> Type) (l :: TyFun (Maybe a6989586621679426445) b6989586621679426444) Source #

Instances

SuppressUnusedWarnings (b6989586621679426444 -> (TyFun a6989586621679426445 b6989586621679426444 -> Type) -> TyFun (Maybe a6989586621679426445) b6989586621679426444 -> *) (Maybe_Sym2 a6989586621679426445 b6989586621679426444) Source #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym2 a6989586621679426445 b6989586621679426444) t -> () Source #
type Apply (Maybe a) b (Maybe_Sym2 a b l1 l2) l3 Source #
type Apply (Maybe a) b (Maybe_Sym2 a b l1 l2) l3 = Maybe_ a b l1 l2 l3

type Maybe_Sym3 (t :: b6989586621679426444) (t :: TyFun a6989586621679426445 b6989586621679426444 -> Type) (t :: Maybe a6989586621679426445) = Maybe_ t t t Source #

data LeftSym0 (l :: TyFun a6989586621679075399 (Either a6989586621679075399 b6989586621679075400)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679075399 (Either a6989586621679075399 b6989586621679075400) -> *) (LeftSym0 a6989586621679075399 b6989586621679075400) Source #
Methods suppressUnusedWarnings :: Proxy (LeftSym0 a6989586621679075399 b6989586621679075400) t -> () Source #
type Apply a (Either a b6989586621679075400) (LeftSym0 a b6989586621679075400) l Source #
type Apply a (Either a b6989586621679075400) (LeftSym0 a b6989586621679075400) l = Left a b6989586621679075400 l

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

data RightSym0 (l :: TyFun b6989586621679075400 (Either a6989586621679075399 b6989586621679075400)) Source #

Instances

SuppressUnusedWarnings (TyFun b6989586621679075400 (Either a6989586621679075399 b6989586621679075400) -> *) (RightSym0 a6989586621679075399 b6989586621679075400) Source #
Methods suppressUnusedWarnings :: Proxy (RightSym0 a6989586621679075399 b6989586621679075400) t -> () Source #
type Apply b (Either a6989586621679075399 b) (RightSym0 a6989586621679075399 b) l Source #
type Apply b (Either a6989586621679075399 b) (RightSym0 a6989586621679075399 b) l = Right a6989586621679075399 b l

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

data Either_Sym0 (l :: TyFun (TyFun a6989586621679436289 c6989586621679436290 -> Type) (TyFun (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679436289 c6989586621679436290 -> Type) (TyFun (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type) -> Type) -> *) (Either_Sym0 a6989586621679436289 b6989586621679436291 c6989586621679436290) Source #
Methods suppressUnusedWarnings :: Proxy (Either_Sym0 a6989586621679436289 b6989586621679436291 c6989586621679436290) t -> () Source #
type Apply (TyFun a6989586621679436289 c6989586621679436290 -> Type) (TyFun (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type) -> Type) (Either_Sym0 a6989586621679436289 b6989586621679436291 c6989586621679436290) l Source #
type Apply (TyFun a6989586621679436289 c6989586621679436290 -> Type) (TyFun (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type) -> Type) (Either_Sym0 a6989586621679436289 b6989586621679436291 c6989586621679436290) l = Either_Sym1 a6989586621679436289 b6989586621679436291 c6989586621679436290 l

data Either_Sym1 (l :: TyFun a6989586621679436289 c6989586621679436290 -> Type) (l :: TyFun (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679436289 c6989586621679436290 -> Type) -> TyFun (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type) -> *) (Either_Sym1 a6989586621679436289 b6989586621679436291 c6989586621679436290) Source #
Methods suppressUnusedWarnings :: Proxy (Either_Sym1 a6989586621679436289 b6989586621679436291 c6989586621679436290) t -> () Source #
type Apply (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type) (Either_Sym1 a6989586621679436289 b6989586621679436291 c6989586621679436290 l1) l2 Source #
type Apply (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type) (Either_Sym1 a6989586621679436289 b6989586621679436291 c6989586621679436290 l1) l2 = Either_Sym2 a6989586621679436289 b6989586621679436291 c6989586621679436290 l1 l2

data Either_Sym2 (l :: TyFun a6989586621679436289 c6989586621679436290 -> Type) (l :: TyFun b6989586621679436291 c6989586621679436290 -> Type) (l :: TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679436289 c6989586621679436290 -> Type) -> (TyFun b6989586621679436291 c6989586621679436290 -> Type) -> TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> *) (Either_Sym2 a6989586621679436289 b6989586621679436291 c6989586621679436290) Source #
Methods suppressUnusedWarnings :: Proxy (Either_Sym2 a6989586621679436289 b6989586621679436291 c6989586621679436290) t -> () Source #
type Apply (Either a b) c (Either_Sym2 a b c l1 l2) l3 Source #
type Apply (Either a b) c (Either_Sym2 a b c l1 l2) l3 = Either_ a b c l1 l2 l3

type Either_Sym3 (t :: TyFun a6989586621679436289 c6989586621679436290 -> Type) (t :: TyFun b6989586621679436291 c6989586621679436290 -> Type) (t :: Either a6989586621679436289 b6989586621679436291) = Either_ t t t Source #

type Tuple0Sym0 = '() Source #

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

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple2Sym0 a3530822107858468865 b3530822107858468866) t -> () Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) l Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) l = Tuple2Sym1 a3530822107858468865 b3530822107858468866 l

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) (Tuple2Sym1 a3530822107858468865 b3530822107858468866) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple2Sym1 a3530822107858468865 b3530822107858468866) t -> () Source #
type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 Source #
type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 = (,) k2 k1 l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) t -> () Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) l Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) l = Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) t -> () Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1) l2 Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1) l2 = Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1 l2

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) t -> () Source #
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 Source #
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 = (,,) k2 k1 k3 l1 l2 l3

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

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

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) l Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) l = Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1) l2 Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1) l2 = Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2) l3 Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2) l3 = Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2 l3

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 Source #
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 = (,,,) k2 k1 k3 k4 l1 l2 l3 l4

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

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

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) l Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) l = Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1) l2 Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1) l2 = Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2) l3 Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2) l3 = Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3) l4 Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3) l4 = Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3 l4

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 Source #
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 = (,,,,) k2 k1 k3 k4 k5 l1 l2 l3 l4 l5

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

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

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) l Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) l = Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1) l2 Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1) l2 = Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2) l3 Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2) l3 = Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3) l4 Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3) l4 = Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4) l5 Source #
type Apply e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4) l5 = Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4 l5

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 Source #
type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 = (,,,,,) k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5 l6

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

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

Instances

SuppressUnusedWarnings (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) -> *) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply 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) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) l Source #
type Apply 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) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) l = Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l

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

Instances

SuppressUnusedWarnings (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) -> *) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1) l2 Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1) l2 = Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2) l3 Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2) l3 = Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3) l4 Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3) l4 = Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4) l5 Source #
type Apply e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4) l5 = Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5) l6 Source #
type Apply f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5) l6 = Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5 l6

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) (Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply k7 (k2, k1, k3, k4, k5, k6, k7) (Tuple7Sym6 k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l7 Source #
type Apply k7 (k2, k1, k3, k4, k5, k6, k7) (Tuple7Sym6 k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l7 = (,,,,,,) k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6 l7

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

data FstSym0 (l :: TyFun (a6989586621679422508, b6989586621679422509) a6989586621679422508) Source #

Instances

SuppressUnusedWarnings (TyFun (a6989586621679422508, b6989586621679422509) a6989586621679422508 -> *) (FstSym0 b6989586621679422509 a6989586621679422508) Source #
Methods suppressUnusedWarnings :: Proxy (FstSym0 b6989586621679422509 a6989586621679422508) t -> () Source #
type Apply (a, b) a (FstSym0 b a) l Source #
type Apply (a, b) a (FstSym0 b a) l = Fst b a l

type FstSym1 (t :: (a6989586621679422508, b6989586621679422509)) = Fst t Source #

data SndSym0 (l :: TyFun (a6989586621679422506, b6989586621679422507) b6989586621679422507) Source #

Instances

SuppressUnusedWarnings (TyFun (a6989586621679422506, b6989586621679422507) b6989586621679422507 -> *) (SndSym0 a6989586621679422506 b6989586621679422507) Source #
Methods suppressUnusedWarnings :: Proxy (SndSym0 a6989586621679422506 b6989586621679422507) t -> () Source #
type Apply (a, b) b (SndSym0 a b) l Source #
type Apply (a, b) b (SndSym0 a b) l = Snd a b l

type SndSym1 (t :: (a6989586621679422506, b6989586621679422507)) = Snd t Source #

data CurrySym0 (l :: TyFun (TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (TyFun a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (TyFun a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type) -> Type) -> *) (CurrySym0 a6989586621679422503 b6989586621679422504 c6989586621679422505) Source #
Methods suppressUnusedWarnings :: Proxy (CurrySym0 a6989586621679422503 b6989586621679422504 c6989586621679422505) t -> () Source #
type Apply (TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (TyFun a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type) -> Type) (CurrySym0 a6989586621679422503 b6989586621679422504 c6989586621679422505) l Source #
type Apply (TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (TyFun a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type) -> Type) (CurrySym0 a6989586621679422503 b6989586621679422504 c6989586621679422505) l = CurrySym1 a6989586621679422503 b6989586621679422504 c6989586621679422505 l

data CurrySym1 (l :: TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (l :: TyFun a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) -> TyFun a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type) -> *) (CurrySym1 a6989586621679422503 b6989586621679422504 c6989586621679422505) Source #
Methods suppressUnusedWarnings :: Proxy (CurrySym1 a6989586621679422503 b6989586621679422504 c6989586621679422505) t -> () Source #
type Apply a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type) (CurrySym1 a6989586621679422503 b6989586621679422504 c6989586621679422505 l1) l2 Source #
type Apply a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type) (CurrySym1 a6989586621679422503 b6989586621679422504 c6989586621679422505 l1) l2 = CurrySym2 a6989586621679422503 b6989586621679422504 c6989586621679422505 l1 l2

data CurrySym2 (l :: TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (l :: a6989586621679422503) (l :: TyFun b6989586621679422504 c6989586621679422505) Source #

Instances

SuppressUnusedWarnings ((TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) -> a6989586621679422503 -> TyFun b6989586621679422504 c6989586621679422505 -> *) (CurrySym2 a6989586621679422503 b6989586621679422504 c6989586621679422505) Source #
Methods suppressUnusedWarnings :: Proxy (CurrySym2 a6989586621679422503 b6989586621679422504 c6989586621679422505) t -> () Source #
type Apply b c (CurrySym2 a b c l1 l2) l3 Source #
type Apply b c (CurrySym2 a b c l1 l2) l3 = Curry a b c l1 l2 l3

type CurrySym3 (t :: TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (t :: a6989586621679422503) (t :: b6989586621679422504) = Curry t t t Source #

data UncurrySym0 (l :: TyFun (TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) (TyFun (a6989586621679422500, b6989586621679422501) c6989586621679422502 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) (TyFun (a6989586621679422500, b6989586621679422501) c6989586621679422502 -> Type) -> *) (UncurrySym0 a6989586621679422500 b6989586621679422501 c6989586621679422502) Source #
Methods suppressUnusedWarnings :: Proxy (UncurrySym0 a6989586621679422500 b6989586621679422501 c6989586621679422502) t -> () Source #
type Apply (TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) (TyFun (a6989586621679422500, b6989586621679422501) c6989586621679422502 -> Type) (UncurrySym0 a6989586621679422500 b6989586621679422501 c6989586621679422502) l Source #
type Apply (TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) (TyFun (a6989586621679422500, b6989586621679422501) c6989586621679422502 -> Type) (UncurrySym0 a6989586621679422500 b6989586621679422501 c6989586621679422502) l = UncurrySym1 a6989586621679422500 b6989586621679422501 c6989586621679422502 l

data UncurrySym1 (l :: TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) (l :: TyFun (a6989586621679422500, b6989586621679422501) c6989586621679422502) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) -> TyFun (a6989586621679422500, b6989586621679422501) c6989586621679422502 -> *) (UncurrySym1 a6989586621679422500 b6989586621679422501 c6989586621679422502) Source #
Methods suppressUnusedWarnings :: Proxy (UncurrySym1 a6989586621679422500 b6989586621679422501 c6989586621679422502) t -> () Source #
type Apply (a, b) c (UncurrySym1 a b c l1) l2 Source #
type Apply (a, b) c (UncurrySym1 a b c l1) l2 = Uncurry a b c l1 l2

type UncurrySym2 (t :: TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) (t :: (a6989586621679422500, b6989586621679422501)) = Uncurry t t Source #

data IdSym0 (l :: TyFun a6989586621679281044 a6989586621679281044) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679281044 a6989586621679281044 -> *) (IdSym0 a6989586621679281044) Source #
Methods suppressUnusedWarnings :: Proxy (IdSym0 a6989586621679281044) t -> () Source #
type Apply a a (IdSym0 a) l Source #
type Apply a a (IdSym0 a) l = Id a l

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

data ConstSym0 (l :: TyFun a6989586621679281042 (TyFun b6989586621679281043 a6989586621679281042 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679281042 (TyFun b6989586621679281043 a6989586621679281042 -> Type) -> *) (ConstSym0 b6989586621679281043 a6989586621679281042) Source #
Methods suppressUnusedWarnings :: Proxy (ConstSym0 b6989586621679281043 a6989586621679281042) t -> () Source #
type Apply a6989586621679281042 (TyFun b6989586621679281043 a6989586621679281042 -> Type) (ConstSym0 b6989586621679281043 a6989586621679281042) l Source #
type Apply a6989586621679281042 (TyFun b6989586621679281043 a6989586621679281042 -> Type) (ConstSym0 b6989586621679281043 a6989586621679281042) l = ConstSym1 b6989586621679281043 a6989586621679281042 l

data ConstSym1 (l :: a6989586621679281042) (l :: TyFun b6989586621679281043 a6989586621679281042) Source #

Instances

SuppressUnusedWarnings (a6989586621679281042 -> TyFun b6989586621679281043 a6989586621679281042 -> *) (ConstSym1 b6989586621679281043 a6989586621679281042) Source #
Methods suppressUnusedWarnings :: Proxy (ConstSym1 b6989586621679281043 a6989586621679281042) t -> () Source #
type Apply b a (ConstSym1 b a l1) l2 Source #
type Apply b a (ConstSym1 b a l1) l2 = Const b a l1 l2

type ConstSym2 (t :: a6989586621679281042) (t :: b6989586621679281043) = Const t t Source #

data (:.$) (l :: TyFun (TyFun b6989586621679281039 c6989586621679281040 -> Type) (TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun b6989586621679281039 c6989586621679281040 -> Type) (TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> Type) -> *) ((:.$) b6989586621679281039 a6989586621679281041 c6989586621679281040) Source #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679281039 :.$ a6989586621679281041) c6989586621679281040) t -> () Source #
type Apply (TyFun b6989586621679281039 c6989586621679281040 -> Type) (TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> Type) ((:.$) b6989586621679281039 a6989586621679281041 c6989586621679281040) l Source #
type Apply (TyFun b6989586621679281039 c6989586621679281040 -> Type) (TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> Type) ((:.$) b6989586621679281039 a6989586621679281041 c6989586621679281040) l = (:.$$) b6989586621679281039 a6989586621679281041 c6989586621679281040 l

data (l :: TyFun b6989586621679281039 c6989586621679281040 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679281039 c6989586621679281040 -> Type) -> TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> *) ((:.$$) b6989586621679281039 a6989586621679281041 c6989586621679281040) Source #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679281039 :.$$ a6989586621679281041) c6989586621679281040) t -> () Source #
type Apply (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) ((:.$$) b6989586621679281039 a6989586621679281041 c6989586621679281040 l1) l2 Source #
type Apply (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) ((:.$$) b6989586621679281039 a6989586621679281041 c6989586621679281040 l1) l2 = (:.$$$) b6989586621679281039 a6989586621679281041 c6989586621679281040 l1 l2

data ((l :: TyFun b6989586621679281039 c6989586621679281040 -> Type) :.$$$ (l :: TyFun a6989586621679281041 b6989586621679281039 -> Type)) (l :: TyFun a6989586621679281041 c6989586621679281040) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679281039 c6989586621679281040 -> Type) -> (TyFun a6989586621679281041 b6989586621679281039 -> Type) -> TyFun a6989586621679281041 c6989586621679281040 -> *) ((:.$$$) b6989586621679281039 a6989586621679281041 c6989586621679281040) Source #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679281039 :.$$$ a6989586621679281041) c6989586621679281040) t -> () Source #
type Apply a c ((:.$$$) b a c l1 l2) l3 Source #
type Apply a c ((:.$$$) b a c l1 l2) l3 = (:.) b a c l1 l2 l3

data ($$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> * Source #

Instances

type Apply (TyFun a b -> ) (TyFun a b -> ) (($$) a b) arg Source #
type Apply (TyFun a b -> ) (TyFun a b -> ) (($$) a b) arg = ($$$) a b arg

data ($$$) :: (TyFun a b -> *) -> TyFun a b -> * Source #

Instances

type Apply a k (($$$) a k f) arg Source #
type Apply a k (($$$) a k f) arg = ($$$$) a k f arg

type ($$$$) a b = ($) a b Source #

data ($!$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> * Source #

Instances

type Apply (TyFun a b -> ) (TyFun a b -> ) (($!$) a b) arg Source #
type Apply (TyFun a b -> ) (TyFun a b -> ) (($!$) a b) arg = ($!$$) a b arg

data ($!$$) :: (TyFun a b -> *) -> TyFun a b -> * Source #

Instances

type Apply a k (($!$$) a k f) arg Source #
type Apply a k (($!$$) a k f) arg = ($!$$$) a k f arg

type ($!$$$) a b = ($!) a b Source #

data FlipSym0 (l :: TyFun (TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> Type) -> *) (FlipSym0 b6989586621679281037 a6989586621679281036 c6989586621679281038) Source #
Methods suppressUnusedWarnings :: Proxy (FlipSym0 b6989586621679281037 a6989586621679281036 c6989586621679281038) t -> () Source #
type Apply (TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> Type) (FlipSym0 b6989586621679281037 a6989586621679281036 c6989586621679281038) l Source #
type Apply (TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> Type) (FlipSym0 b6989586621679281037 a6989586621679281036 c6989586621679281038) l = FlipSym1 b6989586621679281037 a6989586621679281036 c6989586621679281038 l

data FlipSym1 (l :: TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (l :: TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) -> TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> *) (FlipSym1 b6989586621679281037 a6989586621679281036 c6989586621679281038) Source #
Methods suppressUnusedWarnings :: Proxy (FlipSym1 b6989586621679281037 a6989586621679281036 c6989586621679281038) t -> () Source #
type Apply b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) (FlipSym1 b6989586621679281037 a6989586621679281036 c6989586621679281038 l1) l2 Source #
type Apply b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) (FlipSym1 b6989586621679281037 a6989586621679281036 c6989586621679281038 l1) l2 = FlipSym2 b6989586621679281037 a6989586621679281036 c6989586621679281038 l1 l2

data FlipSym2 (l :: TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (l :: b6989586621679281037) (l :: TyFun a6989586621679281036 c6989586621679281038) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) -> b6989586621679281037 -> TyFun a6989586621679281036 c6989586621679281038 -> *) (FlipSym2 b6989586621679281037 a6989586621679281036 c6989586621679281038) Source #
Methods suppressUnusedWarnings :: Proxy (FlipSym2 b6989586621679281037 a6989586621679281036 c6989586621679281038) t -> () Source #
type Apply a c (FlipSym2 b a c l1 l2) l3 Source #
type Apply a c (FlipSym2 b a c l1 l2) l3 = Flip b a c l1 l2 l3

data AsTypeOfSym0 (l :: TyFun a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type) -> *) (AsTypeOfSym0 a6989586621679281035) Source #
Methods suppressUnusedWarnings :: Proxy (AsTypeOfSym0 a6989586621679281035) t -> () Source #
type Apply a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type) (AsTypeOfSym0 a6989586621679281035) l Source #
type Apply a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type) (AsTypeOfSym0 a6989586621679281035) l = AsTypeOfSym1 a6989586621679281035 l

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

Instances

SuppressUnusedWarnings (a6989586621679281035 -> TyFun a6989586621679281035 a6989586621679281035 -> *) (AsTypeOfSym1 a6989586621679281035) Source #
Methods suppressUnusedWarnings :: Proxy (AsTypeOfSym1 a6989586621679281035) t -> () Source #
type Apply a a (AsTypeOfSym1 a l1) l2 Source #
type Apply a a (AsTypeOfSym1 a l1) l2 = AsTypeOf a l1 l2

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

data SeqSym0 (l :: TyFun a6989586621679281033 (TyFun b6989586621679281034 b6989586621679281034 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679281033 (TyFun b6989586621679281034 b6989586621679281034 -> Type) -> *) (SeqSym0 a6989586621679281033 b6989586621679281034) Source #
Methods suppressUnusedWarnings :: Proxy (SeqSym0 a6989586621679281033 b6989586621679281034) t -> () Source #
type Apply a6989586621679281033 (TyFun b6989586621679281034 b6989586621679281034 -> Type) (SeqSym0 a6989586621679281033 b6989586621679281034) l Source #
type Apply a6989586621679281033 (TyFun b6989586621679281034 b6989586621679281034 -> Type) (SeqSym0 a6989586621679281033 b6989586621679281034) l = SeqSym1 a6989586621679281033 b6989586621679281034 l

data SeqSym1 (l :: a6989586621679281033) (l :: TyFun b6989586621679281034 b6989586621679281034) Source #

Instances

SuppressUnusedWarnings (a6989586621679281033 -> TyFun b6989586621679281034 b6989586621679281034 -> *) (SeqSym1 a6989586621679281033 b6989586621679281034) Source #
Methods suppressUnusedWarnings :: Proxy (SeqSym1 a6989586621679281033 b6989586621679281034) t -> () Source #
type Apply b b (SeqSym1 a b l1) l2 Source #
type Apply b b (SeqSym1 a b l1) l2 = Seq a b l1 l2

type SeqSym2 (t :: a6989586621679281033) (t :: b6989586621679281034) = Seq t t Source #

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

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) ((:$) a3530822107858468865) Source #
Methods suppressUnusedWarnings :: Proxy ((:$) a3530822107858468865) t -> () Source #
type Apply a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) ((:$) a3530822107858468865) l Source #
type Apply a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) ((:$) a3530822107858468865) l = (:$$) a3530822107858468865 l

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

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun [a3530822107858468865] [a3530822107858468865] -> *) ((:$$) a3530822107858468865) Source #
Methods suppressUnusedWarnings :: Proxy ((:$$) a3530822107858468865) t -> () Source #
type Apply [a] [a] ((:$$) a l1) l2 Source #
type Apply [a] [a] ((:$$) a l1) l2 = (:) a l1 l2

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

type NilSym0 = '[] Source #

data MapSym0 (l :: TyFun (TyFun a6989586621679281046 b6989586621679281047 -> Type) (TyFun [a6989586621679281046] [b6989586621679281047] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679281046 b6989586621679281047 -> Type) (TyFun [a6989586621679281046] [b6989586621679281047] -> Type) -> *) (MapSym0 a6989586621679281046 b6989586621679281047) Source #
Methods suppressUnusedWarnings :: Proxy (MapSym0 a6989586621679281046 b6989586621679281047) t -> () Source #
type Apply (TyFun a6989586621679281046 b6989586621679281047 -> Type) (TyFun [a6989586621679281046] [b6989586621679281047] -> Type) (MapSym0 a6989586621679281046 b6989586621679281047) l Source #
type Apply (TyFun a6989586621679281046 b6989586621679281047 -> Type) (TyFun [a6989586621679281046] [b6989586621679281047] -> Type) (MapSym0 a6989586621679281046 b6989586621679281047) l = MapSym1 a6989586621679281046 b6989586621679281047 l

data MapSym1 (l :: TyFun a6989586621679281046 b6989586621679281047 -> Type) (l :: TyFun [a6989586621679281046] [b6989586621679281047]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679281046 b6989586621679281047 -> Type) -> TyFun [a6989586621679281046] [b6989586621679281047] -> *) (MapSym1 a6989586621679281046 b6989586621679281047) Source #
Methods suppressUnusedWarnings :: Proxy (MapSym1 a6989586621679281046 b6989586621679281047) t -> () Source #
type Apply [a] [b] (MapSym1 a b l1) l2 Source #
type Apply [a] [b] (MapSym1 a b l1) l2 = Map a b l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun [a6989586621679458191] [a6989586621679458191] -> *) (ReverseSym0 a6989586621679458191) Source #
Methods suppressUnusedWarnings :: Proxy (ReverseSym0 a6989586621679458191) t -> () Source #
type Apply [a] [a] (ReverseSym0 a) l Source #
type Apply [a] [a] (ReverseSym0 a) l = Reverse a l

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

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

Instances

SuppressUnusedWarnings ([a6989586621679281045] -> TyFun [a6989586621679281045] [a6989586621679281045] -> *) ((:++$$) a6989586621679281045) Source #
Methods suppressUnusedWarnings :: Proxy ((:++$$) a6989586621679281045) t -> () Source #
type Apply [a] [a] ((:++$$) a l1) l2 Source #
type Apply [a] [a] ((:++$$) a l1) l2 = (:++) a l1 l2

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

Instances

SuppressUnusedWarnings (TyFun [a6989586621679281045] (TyFun [a6989586621679281045] [a6989586621679281045] -> Type) -> *) ((:++$) a6989586621679281045) Source #
Methods suppressUnusedWarnings :: Proxy ((:++$) a6989586621679281045) t -> () Source #
type Apply [a6989586621679281045] (TyFun [a6989586621679281045] [a6989586621679281045] -> Type) ((:++$) a6989586621679281045) l Source #
type Apply [a6989586621679281045] (TyFun [a6989586621679281045] [a6989586621679281045] -> Type) ((:++$) a6989586621679281045) l = (:++$$) a6989586621679281045 l

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

Instances

SuppressUnusedWarnings (TyFun [a6989586621679458196] a6989586621679458196 -> *) (HeadSym0 a6989586621679458196) Source #
Methods suppressUnusedWarnings :: Proxy (HeadSym0 a6989586621679458196) t -> () Source #
type Apply [a] a (HeadSym0 a) l Source #
type Apply [a] a (HeadSym0 a) l = Head a l

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

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

Instances

SuppressUnusedWarnings (TyFun [a6989586621679458195] a6989586621679458195 -> *) (LastSym0 a6989586621679458195) Source #
Methods suppressUnusedWarnings :: Proxy (LastSym0 a6989586621679458195) t -> () Source #
type Apply [a] a (LastSym0 a) l Source #
type Apply [a] a (LastSym0 a) l = Last a l

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

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

Instances

SuppressUnusedWarnings (TyFun [a6989586621679458194] [a6989586621679458194] -> *) (TailSym0 a6989586621679458194) Source #
Methods suppressUnusedWarnings :: Proxy (TailSym0 a6989586621679458194) t -> () Source #
type Apply [a] [a] (TailSym0 a) l Source #
type Apply [a] [a] (TailSym0 a) l = Tail a l

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

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

Instances

SuppressUnusedWarnings (TyFun [a6989586621679458193] [a6989586621679458193] -> *) (InitSym0 a6989586621679458193) Source #
Methods suppressUnusedWarnings :: Proxy (InitSym0 a6989586621679458193) t -> () Source #
type Apply [a] [a] (InitSym0 a) l Source #
type Apply [a] [a] (InitSym0 a) l = Init a l

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

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

Instances

SuppressUnusedWarnings (TyFun [a6989586621679458192] Bool -> *) (NullSym0 a6989586621679458192) Source #
Methods suppressUnusedWarnings :: Proxy (NullSym0 a6989586621679458192) t -> () Source #
type Apply [a] Bool (NullSym0 a) l Source #
type Apply [a] Bool (NullSym0 a) l = Null a l

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

data FoldlSym0 (l :: TyFun (TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679242245 b6989586621679242246) Source #
Methods suppressUnusedWarnings :: Proxy (FoldlSym0 a6989586621679242245 b6989586621679242246) t -> () Source #
type Apply (TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> Type) (FoldlSym0 a6989586621679242245 b6989586621679242246) l Source #
type Apply (TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> Type) (FoldlSym0 a6989586621679242245 b6989586621679242246) l = FoldlSym1 a6989586621679242245 b6989586621679242246 l

data FoldlSym1 (l :: TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (l :: TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) -> TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> *) (FoldlSym1 a6989586621679242245 b6989586621679242246) Source #
Methods suppressUnusedWarnings :: Proxy (FoldlSym1 a6989586621679242245 b6989586621679242246) t -> () Source #
type Apply b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) (FoldlSym1 a6989586621679242245 b6989586621679242246 l1) l2 Source #
type Apply b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) (FoldlSym1 a6989586621679242245 b6989586621679242246 l1) l2 = FoldlSym2 a6989586621679242245 b6989586621679242246 l1 l2

data FoldlSym2 (l :: TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (l :: b6989586621679242246) (l :: TyFun [a6989586621679242245] b6989586621679242246) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) -> b6989586621679242246 -> TyFun [a6989586621679242245] b6989586621679242246 -> *) (FoldlSym2 a6989586621679242245 b6989586621679242246) Source #
Methods suppressUnusedWarnings :: Proxy (FoldlSym2 a6989586621679242245 b6989586621679242246) t -> () Source #
type Apply [a] b (FoldlSym2 a b l1 l2) l3 Source #
type Apply [a] b (FoldlSym2 a b l1 l2) l3 = Foldl a b l1 l2 l3

type FoldlSym3 (t :: TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (t :: b6989586621679242246) (t :: [a6989586621679242245]) = Foldl t t t Source #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679458182 (TyFun a6989586621679458182 a6989586621679458182 -> Type) -> Type) (TyFun [a6989586621679458182] a6989586621679458182 -> Type) -> *) (Foldl1Sym0 a6989586621679458182) Source #
Methods suppressUnusedWarnings :: Proxy (Foldl1Sym0 a6989586621679458182) t -> () Source #
type Apply (TyFun a6989586621679458182 (TyFun a6989586621679458182 a6989586621679458182 -> Type) -> Type) (TyFun [a6989586621679458182] a6989586621679458182 -> Type) (Foldl1Sym0 a6989586621679458182) l Source #
type Apply (TyFun a6989586621679458182 (TyFun a6989586621679458182 a6989586621679458182 -> Type) -> Type) (TyFun [a6989586621679458182] a6989586621679458182 -> Type) (Foldl1Sym0 a6989586621679458182) l = Foldl1Sym1 a6989586621679458182 l

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458182 (TyFun a6989586621679458182 a6989586621679458182 -> Type) -> Type) -> TyFun [a6989586621679458182] a6989586621679458182 -> *) (Foldl1Sym1 a6989586621679458182) Source #
Methods suppressUnusedWarnings :: Proxy (Foldl1Sym1 a6989586621679458182) t -> () Source #
type Apply [a] a (Foldl1Sym1 a l1) l2 Source #
type Apply [a] a (Foldl1Sym1 a l1) l2 = Foldl1 a l1 l2

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

data FoldrSym0 (l :: TyFun (TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679281048 b6989586621679281049) Source #
Methods suppressUnusedWarnings :: Proxy (FoldrSym0 a6989586621679281048 b6989586621679281049) t -> () Source #
type Apply (TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> Type) (FoldrSym0 a6989586621679281048 b6989586621679281049) l Source #
type Apply (TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> Type) (FoldrSym0 a6989586621679281048 b6989586621679281049) l = FoldrSym1 a6989586621679281048 b6989586621679281049 l

data FoldrSym1 (l :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (l :: TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) -> TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> *) (FoldrSym1 a6989586621679281048 b6989586621679281049) Source #
Methods suppressUnusedWarnings :: Proxy (FoldrSym1 a6989586621679281048 b6989586621679281049) t -> () Source #
type Apply b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) (FoldrSym1 a6989586621679281048 b6989586621679281049 l1) l2 Source #
type Apply b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) (FoldrSym1 a6989586621679281048 b6989586621679281049 l1) l2 = FoldrSym2 a6989586621679281048 b6989586621679281049 l1 l2

data FoldrSym2 (l :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (l :: b6989586621679281049) (l :: TyFun [a6989586621679281048] b6989586621679281049) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) -> b6989586621679281049 -> TyFun [a6989586621679281048] b6989586621679281049 -> *) (FoldrSym2 a6989586621679281048 b6989586621679281049) Source #
Methods suppressUnusedWarnings :: Proxy (FoldrSym2 a6989586621679281048 b6989586621679281049) t -> () Source #
type Apply [a] b (FoldrSym2 a b l1 l2) l3 Source #
type Apply [a] b (FoldrSym2 a b l1 l2) l3 = Foldr a b l1 l2 l3

type FoldrSym3 (t :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (t :: b6989586621679281049) (t :: [a6989586621679281048]) = Foldr t t t Source #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679458180 (TyFun a6989586621679458180 a6989586621679458180 -> Type) -> Type) (TyFun [a6989586621679458180] a6989586621679458180 -> Type) -> *) (Foldr1Sym0 a6989586621679458180) Source #
Methods suppressUnusedWarnings :: Proxy (Foldr1Sym0 a6989586621679458180) t -> () Source #
type Apply (TyFun a6989586621679458180 (TyFun a6989586621679458180 a6989586621679458180 -> Type) -> Type) (TyFun [a6989586621679458180] a6989586621679458180 -> Type) (Foldr1Sym0 a6989586621679458180) l Source #
type Apply (TyFun a6989586621679458180 (TyFun a6989586621679458180 a6989586621679458180 -> Type) -> Type) (TyFun [a6989586621679458180] a6989586621679458180 -> Type) (Foldr1Sym0 a6989586621679458180) l = Foldr1Sym1 a6989586621679458180 l

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458180 (TyFun a6989586621679458180 a6989586621679458180 -> Type) -> Type) -> TyFun [a6989586621679458180] a6989586621679458180 -> *) (Foldr1Sym1 a6989586621679458180) Source #
Methods suppressUnusedWarnings :: Proxy (Foldr1Sym1 a6989586621679458180) t -> () Source #
type Apply [a] a (Foldr1Sym1 a l1) l2 Source #
type Apply [a] a (Foldr1Sym1 a l1) l2 = Foldr1 a l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun [[a6989586621679458179]] [a6989586621679458179] -> *) (ConcatSym0 a6989586621679458179) Source #
Methods suppressUnusedWarnings :: Proxy (ConcatSym0 a6989586621679458179) t -> () Source #
type Apply [[a]] [a] (ConcatSym0 a) l Source #
type Apply [[a]] [a] (ConcatSym0 a) l = Concat a l

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

data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679458177 [b6989586621679458178] -> Type) (TyFun [a6989586621679458177] [b6989586621679458178] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679458177 [b6989586621679458178] -> Type) (TyFun [a6989586621679458177] [b6989586621679458178] -> Type) -> *) (ConcatMapSym0 a6989586621679458177 b6989586621679458178) Source #
Methods suppressUnusedWarnings :: Proxy (ConcatMapSym0 a6989586621679458177 b6989586621679458178) t -> () Source #
type Apply (TyFun a6989586621679458177 [b6989586621679458178] -> Type) (TyFun [a6989586621679458177] [b6989586621679458178] -> Type) (ConcatMapSym0 a6989586621679458177 b6989586621679458178) l Source #
type Apply (TyFun a6989586621679458177 [b6989586621679458178] -> Type) (TyFun [a6989586621679458177] [b6989586621679458178] -> Type) (ConcatMapSym0 a6989586621679458177 b6989586621679458178) l = ConcatMapSym1 a6989586621679458177 b6989586621679458178 l

data ConcatMapSym1 (l :: TyFun a6989586621679458177 [b6989586621679458178] -> Type) (l :: TyFun [a6989586621679458177] [b6989586621679458178]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458177 [b6989586621679458178] -> Type) -> TyFun [a6989586621679458177] [b6989586621679458178] -> *) (ConcatMapSym1 a6989586621679458177 b6989586621679458178) Source #
Methods suppressUnusedWarnings :: Proxy (ConcatMapSym1 a6989586621679458177 b6989586621679458178) t -> () Source #
type Apply [a] [b] (ConcatMapSym1 a b l1) l2 Source #
type Apply [a] [b] (ConcatMapSym1 a b l1) l2 = ConcatMap a b l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun [Bool] Bool -> *) AndSym0 Source #
Methods suppressUnusedWarnings :: Proxy AndSym0 t -> () Source #
type Apply [Bool] Bool AndSym0 l Source #
type Apply [Bool] Bool AndSym0 l = And l

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

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

Instances

SuppressUnusedWarnings (TyFun [Bool] Bool -> *) OrSym0 Source #
Methods suppressUnusedWarnings :: Proxy OrSym0 t -> () Source #
type Apply [Bool] Bool OrSym0 l Source #
type Apply [Bool] Bool OrSym0 l = Or l

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

data Any_Sym0 (l :: TyFun (TyFun a6989586621679447960 Bool -> Type) (TyFun [a6989586621679447960] Bool -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679447960 Bool -> Type) (TyFun [a6989586621679447960] Bool -> Type) -> *) (Any_Sym0 a6989586621679447960) Source #
Methods suppressUnusedWarnings :: Proxy (Any_Sym0 a6989586621679447960) t -> () Source #
type Apply (TyFun a6989586621679447960 Bool -> Type) (TyFun [a6989586621679447960] Bool -> Type) (Any_Sym0 a6989586621679447960) l Source #
type Apply (TyFun a6989586621679447960 Bool -> Type) (TyFun [a6989586621679447960] Bool -> Type) (Any_Sym0 a6989586621679447960) l = Any_Sym1 a6989586621679447960 l

data Any_Sym1 (l :: TyFun a6989586621679447960 Bool -> Type) (l :: TyFun [a6989586621679447960] Bool) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679447960 Bool -> Type) -> TyFun [a6989586621679447960] Bool -> *) (Any_Sym1 a6989586621679447960) Source #
Methods suppressUnusedWarnings :: Proxy (Any_Sym1 a6989586621679447960) t -> () Source #
type Apply [a] Bool (Any_Sym1 a l1) l2 Source #
type Apply [a] Bool (Any_Sym1 a l1) l2 = Any_ a l1 l2

type Any_Sym2 (t :: TyFun a6989586621679447960 Bool -> Type) (t :: [a6989586621679447960]) = Any_ t t Source #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679458176 Bool -> Type) (TyFun [a6989586621679458176] Bool -> Type) -> *) (AllSym0 a6989586621679458176) Source #
Methods suppressUnusedWarnings :: Proxy (AllSym0 a6989586621679458176) t -> () Source #
type Apply (TyFun a6989586621679458176 Bool -> Type) (TyFun [a6989586621679458176] Bool -> Type) (AllSym0 a6989586621679458176) l Source #
type Apply (TyFun a6989586621679458176 Bool -> Type) (TyFun [a6989586621679458176] Bool -> Type) (AllSym0 a6989586621679458176) l = AllSym1 a6989586621679458176 l

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458176 Bool -> Type) -> TyFun [a6989586621679458176] Bool -> *) (AllSym1 a6989586621679458176) Source #
Methods suppressUnusedWarnings :: Proxy (AllSym1 a6989586621679458176) t -> () Source #
type Apply [a] Bool (AllSym1 a l1) l2 Source #
type Apply [a] Bool (AllSym1 a l1) l2 = All a l1 l2

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

data ScanlSym0 (l :: TyFun (TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (TyFun b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (TyFun b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679458175 b6989586621679458174) Source #
Methods suppressUnusedWarnings :: Proxy (ScanlSym0 a6989586621679458175 b6989586621679458174) t -> () Source #
type Apply (TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (TyFun b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type) -> Type) (ScanlSym0 a6989586621679458175 b6989586621679458174) l Source #
type Apply (TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (TyFun b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type) -> Type) (ScanlSym0 a6989586621679458175 b6989586621679458174) l = ScanlSym1 a6989586621679458175 b6989586621679458174 l

data ScanlSym1 (l :: TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (l :: TyFun b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) -> TyFun b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type) -> *) (ScanlSym1 a6989586621679458175 b6989586621679458174) Source #
Methods suppressUnusedWarnings :: Proxy (ScanlSym1 a6989586621679458175 b6989586621679458174) t -> () Source #
type Apply b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type) (ScanlSym1 a6989586621679458175 b6989586621679458174 l1) l2 Source #
type Apply b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type) (ScanlSym1 a6989586621679458175 b6989586621679458174 l1) l2 = ScanlSym2 a6989586621679458175 b6989586621679458174 l1 l2

data ScanlSym2 (l :: TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (l :: b6989586621679458174) (l :: TyFun [a6989586621679458175] [b6989586621679458174]) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) -> b6989586621679458174 -> TyFun [a6989586621679458175] [b6989586621679458174] -> *) (ScanlSym2 a6989586621679458175 b6989586621679458174) Source #
Methods suppressUnusedWarnings :: Proxy (ScanlSym2 a6989586621679458175 b6989586621679458174) t -> () Source #
type Apply [a] [b] (ScanlSym2 a b l1 l2) l3 Source #
type Apply [a] [b] (ScanlSym2 a b l1 l2) l3 = Scanl a b l1 l2 l3

type ScanlSym3 (t :: TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (t :: b6989586621679458174) (t :: [a6989586621679458175]) = Scanl t t t Source #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679458173 (TyFun a6989586621679458173 a6989586621679458173 -> Type) -> Type) (TyFun [a6989586621679458173] [a6989586621679458173] -> Type) -> *) (Scanl1Sym0 a6989586621679458173) Source #
Methods suppressUnusedWarnings :: Proxy (Scanl1Sym0 a6989586621679458173) t -> () Source #
type Apply (TyFun a6989586621679458173 (TyFun a6989586621679458173 a6989586621679458173 -> Type) -> Type) (TyFun [a6989586621679458173] [a6989586621679458173] -> Type) (Scanl1Sym0 a6989586621679458173) l Source #
type Apply (TyFun a6989586621679458173 (TyFun a6989586621679458173 a6989586621679458173 -> Type) -> Type) (TyFun [a6989586621679458173] [a6989586621679458173] -> Type) (Scanl1Sym0 a6989586621679458173) l = Scanl1Sym1 a6989586621679458173 l

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458173 (TyFun a6989586621679458173 a6989586621679458173 -> Type) -> Type) -> TyFun [a6989586621679458173] [a6989586621679458173] -> *) (Scanl1Sym1 a6989586621679458173) Source #
Methods suppressUnusedWarnings :: Proxy (Scanl1Sym1 a6989586621679458173) t -> () Source #
type Apply [a] [a] (Scanl1Sym1 a l1) l2 Source #
type Apply [a] [a] (Scanl1Sym1 a l1) l2 = Scanl1 a l1 l2

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

data ScanrSym0 (l :: TyFun (TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (TyFun b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (TyFun b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679458171 b6989586621679458172) Source #
Methods suppressUnusedWarnings :: Proxy (ScanrSym0 a6989586621679458171 b6989586621679458172) t -> () Source #
type Apply (TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (TyFun b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type) -> Type) (ScanrSym0 a6989586621679458171 b6989586621679458172) l Source #
type Apply (TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (TyFun b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type) -> Type) (ScanrSym0 a6989586621679458171 b6989586621679458172) l = ScanrSym1 a6989586621679458171 b6989586621679458172 l

data ScanrSym1 (l :: TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (l :: TyFun b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) -> TyFun b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type) -> *) (ScanrSym1 a6989586621679458171 b6989586621679458172) Source #
Methods suppressUnusedWarnings :: Proxy (ScanrSym1 a6989586621679458171 b6989586621679458172) t -> () Source #
type Apply b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type) (ScanrSym1 a6989586621679458171 b6989586621679458172 l1) l2 Source #
type Apply b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type) (ScanrSym1 a6989586621679458171 b6989586621679458172 l1) l2 = ScanrSym2 a6989586621679458171 b6989586621679458172 l1 l2

data ScanrSym2 (l :: TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (l :: b6989586621679458172) (l :: TyFun [a6989586621679458171] [b6989586621679458172]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) -> b6989586621679458172 -> TyFun [a6989586621679458171] [b6989586621679458172] -> *) (ScanrSym2 a6989586621679458171 b6989586621679458172) Source #
Methods suppressUnusedWarnings :: Proxy (ScanrSym2 a6989586621679458171 b6989586621679458172) t -> () Source #
type Apply [a] [b] (ScanrSym2 a b l1 l2) l3 Source #
type Apply [a] [b] (ScanrSym2 a b l1 l2) l3 = Scanr a b l1 l2 l3

type ScanrSym3 (t :: TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (t :: b6989586621679458172) (t :: [a6989586621679458171]) = Scanr t t t Source #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679458170 (TyFun a6989586621679458170 a6989586621679458170 -> Type) -> Type) (TyFun [a6989586621679458170] [a6989586621679458170] -> Type) -> *) (Scanr1Sym0 a6989586621679458170) Source #
Methods suppressUnusedWarnings :: Proxy (Scanr1Sym0 a6989586621679458170) t -> () Source #
type Apply (TyFun a6989586621679458170 (TyFun a6989586621679458170 a6989586621679458170 -> Type) -> Type) (TyFun [a6989586621679458170] [a6989586621679458170] -> Type) (Scanr1Sym0 a6989586621679458170) l Source #
type Apply (TyFun a6989586621679458170 (TyFun a6989586621679458170 a6989586621679458170 -> Type) -> Type) (TyFun [a6989586621679458170] [a6989586621679458170] -> Type) (Scanr1Sym0 a6989586621679458170) l = Scanr1Sym1 a6989586621679458170 l

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458170 (TyFun a6989586621679458170 a6989586621679458170 -> Type) -> Type) -> TyFun [a6989586621679458170] [a6989586621679458170] -> *) (Scanr1Sym1 a6989586621679458170) Source #
Methods suppressUnusedWarnings :: Proxy (Scanr1Sym1 a6989586621679458170) t -> () Source #
type Apply [a] [a] (Scanr1Sym1 a l1) l2 Source #
type Apply [a] [a] (Scanr1Sym1 a l1) l2 = Scanr1 a l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun a6989586621679458156 (TyFun [a6989586621679458156] Bool -> Type) -> *) (ElemSym0 a6989586621679458156) Source #
Methods suppressUnusedWarnings :: Proxy (ElemSym0 a6989586621679458156) t -> () Source #
type Apply a6989586621679458156 (TyFun [a6989586621679458156] Bool -> Type) (ElemSym0 a6989586621679458156) l Source #
type Apply a6989586621679458156 (TyFun [a6989586621679458156] Bool -> Type) (ElemSym0 a6989586621679458156) l = ElemSym1 a6989586621679458156 l

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

Instances

SuppressUnusedWarnings (a6989586621679458156 -> TyFun [a6989586621679458156] Bool -> *) (ElemSym1 a6989586621679458156) Source #
Methods suppressUnusedWarnings :: Proxy (ElemSym1 a6989586621679458156) t -> () Source #
type Apply [a] Bool (ElemSym1 a l1) l2 Source #
type Apply [a] Bool (ElemSym1 a l1) l2 = Elem a l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun a6989586621679458155 (TyFun [a6989586621679458155] Bool -> Type) -> *) (NotElemSym0 a6989586621679458155) Source #
Methods suppressUnusedWarnings :: Proxy (NotElemSym0 a6989586621679458155) t -> () Source #
type Apply a6989586621679458155 (TyFun [a6989586621679458155] Bool -> Type) (NotElemSym0 a6989586621679458155) l Source #
type Apply a6989586621679458155 (TyFun [a6989586621679458155] Bool -> Type) (NotElemSym0 a6989586621679458155) l = NotElemSym1 a6989586621679458155 l

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

Instances

SuppressUnusedWarnings (a6989586621679458155 -> TyFun [a6989586621679458155] Bool -> *) (NotElemSym1 a6989586621679458155) Source #
Methods suppressUnusedWarnings :: Proxy (NotElemSym1 a6989586621679458155) t -> () Source #
type Apply [a] Bool (NotElemSym1 a l1) l2 Source #
type Apply [a] Bool (NotElemSym1 a l1) l2 = NotElem a l1 l2

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

data ZipSym0 (l :: TyFun [a6989586621679458153] (TyFun [b6989586621679458154] [(a6989586621679458153, b6989586621679458154)] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679458153] (TyFun [b6989586621679458154] [(a6989586621679458153, b6989586621679458154)] -> Type) -> *) (ZipSym0 a6989586621679458153 b6989586621679458154) Source #
Methods suppressUnusedWarnings :: Proxy (ZipSym0 a6989586621679458153 b6989586621679458154) t -> () Source #
type Apply [a6989586621679458153] (TyFun [b6989586621679458154] [(a6989586621679458153, b6989586621679458154)] -> Type) (ZipSym0 a6989586621679458153 b6989586621679458154) l Source #
type Apply [a6989586621679458153] (TyFun [b6989586621679458154] [(a6989586621679458153, b6989586621679458154)] -> Type) (ZipSym0 a6989586621679458153 b6989586621679458154) l = ZipSym1 a6989586621679458153 b6989586621679458154 l

data ZipSym1 (l :: [a6989586621679458153]) (l :: TyFun [b6989586621679458154] [(a6989586621679458153, b6989586621679458154)]) Source #

Instances

SuppressUnusedWarnings ([a6989586621679458153] -> TyFun [b6989586621679458154] [(a6989586621679458153, b6989586621679458154)] -> *) (ZipSym1 a6989586621679458153 b6989586621679458154) Source #
Methods suppressUnusedWarnings :: Proxy (ZipSym1 a6989586621679458153 b6989586621679458154) t -> () Source #
type Apply [b] [(a, b)] (ZipSym1 a b l1) l2 Source #
type Apply [b] [(a, b)] (ZipSym1 a b l1) l2 = Zip a b l1 l2

type ZipSym2 (t :: [a6989586621679458153]) (t :: [b6989586621679458154]) = Zip t t Source #

data Zip3Sym0 (l :: TyFun [a6989586621679458150] (TyFun [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679458150] (TyFun [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type) -> Type) -> *) (Zip3Sym0 a6989586621679458150 b6989586621679458151 c6989586621679458152) Source #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym0 a6989586621679458150 b6989586621679458151 c6989586621679458152) t -> () Source #
type Apply [a6989586621679458150] (TyFun [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type) -> Type) (Zip3Sym0 a6989586621679458150 b6989586621679458151 c6989586621679458152) l Source #
type Apply [a6989586621679458150] (TyFun [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type) -> Type) (Zip3Sym0 a6989586621679458150 b6989586621679458151 c6989586621679458152) l = Zip3Sym1 a6989586621679458150 b6989586621679458151 c6989586621679458152 l

data Zip3Sym1 (l :: [a6989586621679458150]) (l :: TyFun [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type)) Source #

Instances

SuppressUnusedWarnings ([a6989586621679458150] -> TyFun [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type) -> *) (Zip3Sym1 a6989586621679458150 b6989586621679458151 c6989586621679458152) Source #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym1 a6989586621679458150 b6989586621679458151 c6989586621679458152) t -> () Source #
type Apply [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type) (Zip3Sym1 a6989586621679458150 b6989586621679458151 c6989586621679458152 l1) l2 Source #
type Apply [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type) (Zip3Sym1 a6989586621679458150 b6989586621679458151 c6989586621679458152 l1) l2 = Zip3Sym2 a6989586621679458150 b6989586621679458151 c6989586621679458152 l1 l2

data Zip3Sym2 (l :: [a6989586621679458150]) (l :: [b6989586621679458151]) (l :: TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)]) Source #

Instances

SuppressUnusedWarnings ([a6989586621679458150] -> [b6989586621679458151] -> TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> *) (Zip3Sym2 a6989586621679458150 b6989586621679458151 c6989586621679458152) Source #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym2 a6989586621679458150 b6989586621679458151 c6989586621679458152) t -> () Source #
type Apply [c] [(a, b, c)] (Zip3Sym2 a b c l1 l2) l3 Source #
type Apply [c] [(a, b, c)] (Zip3Sym2 a b c l1 l2) l3 = Zip3 a b c l1 l2 l3

type Zip3Sym3 (t :: [a6989586621679458150]) (t :: [b6989586621679458151]) (t :: [c6989586621679458152]) = Zip3 t t t Source #

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (TyFun [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (TyFun [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679458147 b6989586621679458148 c6989586621679458149) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym0 a6989586621679458147 b6989586621679458148 c6989586621679458149) t -> () Source #
type Apply (TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (TyFun [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type) -> Type) (ZipWithSym0 a6989586621679458147 b6989586621679458148 c6989586621679458149) l Source #
type Apply (TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (TyFun [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type) -> Type) (ZipWithSym0 a6989586621679458147 b6989586621679458148 c6989586621679458149) l = ZipWithSym1 a6989586621679458147 b6989586621679458148 c6989586621679458149 l

data ZipWithSym1 (l :: TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (l :: TyFun [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) -> TyFun [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type) -> *) (ZipWithSym1 a6989586621679458147 b6989586621679458148 c6989586621679458149) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym1 a6989586621679458147 b6989586621679458148 c6989586621679458149) t -> () Source #
type Apply [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type) (ZipWithSym1 a6989586621679458147 b6989586621679458148 c6989586621679458149 l1) l2 Source #
type Apply [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type) (ZipWithSym1 a6989586621679458147 b6989586621679458148 c6989586621679458149 l1) l2 = ZipWithSym2 a6989586621679458147 b6989586621679458148 c6989586621679458149 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (l :: [a6989586621679458147]) (l :: TyFun [b6989586621679458148] [c6989586621679458149]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) -> [a6989586621679458147] -> TyFun [b6989586621679458148] [c6989586621679458149] -> *) (ZipWithSym2 a6989586621679458147 b6989586621679458148 c6989586621679458149) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym2 a6989586621679458147 b6989586621679458148 c6989586621679458149) t -> () Source #
type Apply [b] [c] (ZipWithSym2 a b c l1 l2) l3 Source #
type Apply [b] [c] (ZipWithSym2 a b c l1 l2) l3 = ZipWith a b c l1 l2 l3

type ZipWithSym3 (t :: TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (t :: [a6989586621679458147]) (t :: [b6989586621679458148]) = ZipWith t t t Source #

data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (TyFun [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (TyFun [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym0 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) t -> () Source #
type Apply (TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (TyFun [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type) -> Type) (ZipWith3Sym0 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) l Source #
type Apply (TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (TyFun [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type) -> Type) (ZipWith3Sym0 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) l = ZipWith3Sym1 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146 l

data ZipWith3Sym1 (l :: TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) -> TyFun [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type) -> *) (ZipWith3Sym1 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym1 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) t -> () Source #
type Apply [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type) (ZipWith3Sym1 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146 l1) l2 Source #
type Apply [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type) (ZipWith3Sym1 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146 l1) l2 = ZipWith3Sym2 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146 l1 l2

data ZipWith3Sym2 (l :: TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (l :: [a6989586621679458143]) (l :: TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) -> [a6989586621679458143] -> TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> *) (ZipWith3Sym2 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym2 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) t -> () Source #
type Apply [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) (ZipWith3Sym2 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146 l1 l2) l3 Source #
type Apply [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) (ZipWith3Sym2 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146 l1 l2) l3 = ZipWith3Sym3 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146 l1 l2 l3

data ZipWith3Sym3 (l :: TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (l :: [a6989586621679458143]) (l :: [b6989586621679458144]) (l :: TyFun [c6989586621679458145] [d6989586621679458146]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) -> [a6989586621679458143] -> [b6989586621679458144] -> TyFun [c6989586621679458145] [d6989586621679458146] -> *) (ZipWith3Sym3 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym3 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) t -> () Source #
type Apply [c] [d] (ZipWith3Sym3 a b c d l1 l2 l3) l4 Source #
type Apply [c] [d] (ZipWith3Sym3 a b c d l1 l2 l3) l4 = ZipWith3 a b c d l1 l2 l3 l4

data UnzipSym0 (l :: TyFun [(a6989586621679458141, b6989586621679458142)] ([a6989586621679458141], [b6989586621679458142])) Source #

Instances

SuppressUnusedWarnings (TyFun [(a6989586621679458141, b6989586621679458142)] ([a6989586621679458141], [b6989586621679458142]) -> *) (UnzipSym0 a6989586621679458141 b6989586621679458142) Source #
Methods suppressUnusedWarnings :: Proxy (UnzipSym0 a6989586621679458141 b6989586621679458142) t -> () Source #
type Apply [(a, b)] ([a], [b]) (UnzipSym0 a b) l Source #
type Apply [(a, b)] ([a], [b]) (UnzipSym0 a b) l = Unzip a b l

type UnzipSym1 (t :: [(a6989586621679458141, b6989586621679458142)]) = Unzip t Source #

SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:\|\|$) Source #
Methods suppressUnusedWarnings :: Proxy (:\|\|$) t -> () Source #
type Apply Bool (TyFun Bool Bool -> Type) (:\|\|$) l Source #
type Apply Bool (TyFun Bool Bool -> Type) (:\|\|$) l = (:\|\|$$) l

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:\|\|$$) Source #
Methods suppressUnusedWarnings :: Proxy (:\|\|$$) t -> () Source #
type Apply Bool Bool ((:\|\|$$) l1) l2 Source #
type Apply Bool Bool ((:\|\|$$) l1) l2 = (:\|\|) l1 l2

Basic singleton definitions

Singleton type synonyms

Functions working with Bool

Error reporting

Singleton equality

Singleton comparisons

Singleton Enum and Bounded

Singletons numbers

Miscellaneous functions

List operations

Reducing lists (folds)

Special folds

Scans

Searching lists

Zipping and unzipping lists

Other datatypes

Other functions

Defunctionalization symbols

Functions working with `Bool`