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 |
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.
- 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 k06989586621679399311 k6989586621679399313)
- 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 b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type))
- data Maybe_Sym1 (l :: b6989586621679423211) (l :: TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type))
- data Maybe_Sym2 (l :: b6989586621679423211) (l :: TyFun a6989586621679423212 b6989586621679423211 -> Type) (l :: TyFun (Maybe a6989586621679423212) b6989586621679423211)
- type Maybe_Sym3 (t :: b6989586621679423211) (t :: TyFun a6989586621679423212 b6989586621679423211 -> Type) (t :: Maybe a6989586621679423212) = Maybe_ t t t
- data LeftSym0 (l :: TyFun a6989586621679072801 (Either a6989586621679072801 b6989586621679072802))
- type LeftSym1 (t :: a6989586621679072801) = Left t
- data RightSym0 (l :: TyFun b6989586621679072802 (Either a6989586621679072801 b6989586621679072802))
- type RightSym1 (t :: b6989586621679072802) = Right t
- data Either_Sym0 (l :: TyFun (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type))
- data Either_Sym1 (l :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (l :: TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type))
- data Either_Sym2 (l :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (l :: TyFun b6989586621679433058 c6989586621679433057 -> Type) (l :: TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057)
- type Either_Sym3 (t :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (t :: TyFun b6989586621679433058 c6989586621679433057 -> Type) (t :: Either a6989586621679433056 b6989586621679433058) = 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 (a6989586621679419275, b6989586621679419276) a6989586621679419275)
- type FstSym1 (t :: (a6989586621679419275, b6989586621679419276)) = Fst t
- data SndSym0 (l :: TyFun (a6989586621679419273, b6989586621679419274) b6989586621679419274)
- type SndSym1 (t :: (a6989586621679419273, b6989586621679419274)) = Snd t
- data CurrySym0 (l :: TyFun (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type))
- data CurrySym1 (l :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (l :: TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type))
- data CurrySym2 (l :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (l :: a6989586621679419270) (l :: TyFun b6989586621679419271 c6989586621679419272)
- type CurrySym3 (t :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (t :: a6989586621679419270) (t :: b6989586621679419271) = Curry t t t
- data UncurrySym0 (l :: TyFun (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type))
- data UncurrySym1 (l :: TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (l :: TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269)
- type UncurrySym2 (t :: TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (t :: (a6989586621679419267, b6989586621679419268)) = Uncurry t t
- data IdSym0 (l :: TyFun a6989586621679277915 a6989586621679277915)
- type IdSym1 (t :: a6989586621679277915) = Id t
- data ConstSym0 (l :: TyFun a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type))
- data ConstSym1 (l :: a6989586621679277913) (l :: TyFun b6989586621679277914 a6989586621679277913)
- type ConstSym2 (t :: a6989586621679277913) (t :: b6989586621679277914) = Const t t
- data (:.$) (l :: TyFun (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type))
- data (l :: TyFun b6989586621679277910 c6989586621679277911 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type))
- data ((l :: TyFun b6989586621679277910 c6989586621679277911 -> Type) :.$$$ (l :: TyFun a6989586621679277912 b6989586621679277910 -> Type)) (l :: TyFun a6989586621679277912 c6989586621679277911)
- 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 a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type))
- data FlipSym1 (l :: TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (l :: TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type))
- data FlipSym2 (l :: TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (l :: b6989586621679277908) (l :: TyFun a6989586621679277907 c6989586621679277909)
- data AsTypeOfSym0 (l :: TyFun a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type))
- data AsTypeOfSym1 (l :: a6989586621679277906) (l :: TyFun a6989586621679277906 a6989586621679277906)
- type AsTypeOfSym2 (t :: a6989586621679277906) (t :: a6989586621679277906) = AsTypeOf t t
- data SeqSym0 (l :: TyFun a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type))
- data SeqSym1 (l :: a6989586621679277904) (l :: TyFun b6989586621679277905 b6989586621679277905)
- type SeqSym2 (t :: a6989586621679277904) (t :: b6989586621679277905) = 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 a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type))
- data MapSym1 (l :: TyFun a6989586621679277917 b6989586621679277918 -> Type) (l :: TyFun [a6989586621679277917] [b6989586621679277918])
- type MapSym2 (t :: TyFun a6989586621679277917 b6989586621679277918 -> Type) (t :: [a6989586621679277917]) = Map t t
- data ReverseSym0 (l :: TyFun [a6989586621679454958] [a6989586621679454958])
- type ReverseSym1 (t :: [a6989586621679454958]) = Reverse t
- data (l :: [a6989586621679277916]) :++$$ (l :: TyFun [a6989586621679277916] [a6989586621679277916])
- data (:++$) (l :: TyFun [a6989586621679277916] (TyFun [a6989586621679277916] [a6989586621679277916] -> Type))
- data HeadSym0 (l :: TyFun [a6989586621679454963] a6989586621679454963)
- type HeadSym1 (t :: [a6989586621679454963]) = Head t
- data LastSym0 (l :: TyFun [a6989586621679454962] a6989586621679454962)
- type LastSym1 (t :: [a6989586621679454962]) = Last t
- data TailSym0 (l :: TyFun [a6989586621679454961] [a6989586621679454961])
- type TailSym1 (t :: [a6989586621679454961]) = Tail t
- data InitSym0 (l :: TyFun [a6989586621679454960] [a6989586621679454960])
- type InitSym1 (t :: [a6989586621679454960]) = Init t
- data NullSym0 (l :: TyFun [a6989586621679454959] Bool)
- type NullSym1 (t :: [a6989586621679454959]) = Null t
- data FoldlSym0 (l :: TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type))
- data FoldlSym1 (l :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (l :: TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type))
- data FoldlSym2 (l :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (l :: b6989586621679240792) (l :: TyFun [a6989586621679240791] b6989586621679240792)
- type FoldlSym3 (t :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (t :: b6989586621679240792) (t :: [a6989586621679240791]) = Foldl t t t
- data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type))
- data Foldl1Sym1 (l :: TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (l :: TyFun [a6989586621679454949] a6989586621679454949)
- type Foldl1Sym2 (t :: TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (t :: [a6989586621679454949]) = Foldl1 t t
- data FoldrSym0 (l :: TyFun (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type))
- data FoldrSym1 (l :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (l :: TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type))
- data FoldrSym2 (l :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (l :: b6989586621679277920) (l :: TyFun [a6989586621679277919] b6989586621679277920)
- type FoldrSym3 (t :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (t :: b6989586621679277920) (t :: [a6989586621679277919]) = Foldr t t t
- data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type))
- data Foldr1Sym1 (l :: TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (l :: TyFun [a6989586621679454947] a6989586621679454947)
- type Foldr1Sym2 (t :: TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (t :: [a6989586621679454947]) = Foldr1 t t
- data ConcatSym0 (l :: TyFun [[a6989586621679454946]] [a6989586621679454946])
- type ConcatSym1 (t :: [[a6989586621679454946]]) = Concat t
- data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type))
- data ConcatMapSym1 (l :: TyFun a6989586621679454944 [b6989586621679454945] -> Type) (l :: TyFun [a6989586621679454944] [b6989586621679454945])
- type ConcatMapSym2 (t :: TyFun a6989586621679454944 [b6989586621679454945] -> Type) (t :: [a6989586621679454944]) = 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 a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type))
- data Any_Sym1 (l :: TyFun a6989586621679444727 Bool -> Type) (l :: TyFun [a6989586621679444727] Bool)
- type Any_Sym2 (t :: TyFun a6989586621679444727 Bool -> Type) (t :: [a6989586621679444727]) = Any_ t t
- data AllSym0 (l :: TyFun (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type))
- data AllSym1 (l :: TyFun a6989586621679454943 Bool -> Type) (l :: TyFun [a6989586621679454943] Bool)
- type AllSym2 (t :: TyFun a6989586621679454943 Bool -> Type) (t :: [a6989586621679454943]) = All t t
- data ScanlSym0 (l :: TyFun (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type))
- data ScanlSym1 (l :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (l :: TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type))
- data ScanlSym2 (l :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (l :: b6989586621679454941) (l :: TyFun [a6989586621679454942] [b6989586621679454941])
- type ScanlSym3 (t :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (t :: b6989586621679454941) (t :: [a6989586621679454942]) = Scanl t t t
- data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type))
- data Scanl1Sym1 (l :: TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (l :: TyFun [a6989586621679454940] [a6989586621679454940])
- type Scanl1Sym2 (t :: TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (t :: [a6989586621679454940]) = Scanl1 t t
- data ScanrSym0 (l :: TyFun (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type))
- data ScanrSym1 (l :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (l :: TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type))
- data ScanrSym2 (l :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (l :: b6989586621679454939) (l :: TyFun [a6989586621679454938] [b6989586621679454939])
- type ScanrSym3 (t :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (t :: b6989586621679454939) (t :: [a6989586621679454938]) = Scanr t t t
- data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type))
- data Scanr1Sym1 (l :: TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (l :: TyFun [a6989586621679454937] [a6989586621679454937])
- type Scanr1Sym2 (t :: TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (t :: [a6989586621679454937]) = Scanr1 t t
- data ElemSym0 (l :: TyFun a6989586621679454923 (TyFun [a6989586621679454923] Bool -> Type))
- data ElemSym1 (l :: a6989586621679454923) (l :: TyFun [a6989586621679454923] Bool)
- type ElemSym2 (t :: a6989586621679454923) (t :: [a6989586621679454923]) = Elem t t
- data NotElemSym0 (l :: TyFun a6989586621679454922 (TyFun [a6989586621679454922] Bool -> Type))
- data NotElemSym1 (l :: a6989586621679454922) (l :: TyFun [a6989586621679454922] Bool)
- type NotElemSym2 (t :: a6989586621679454922) (t :: [a6989586621679454922]) = NotElem t t
- data ZipSym0 (l :: TyFun [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type))
- data ZipSym1 (l :: [a6989586621679454920]) (l :: TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)])
- type ZipSym2 (t :: [a6989586621679454920]) (t :: [b6989586621679454921]) = Zip t t
- data Zip3Sym0 (l :: TyFun [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type))
- data Zip3Sym1 (l :: [a6989586621679454917]) (l :: TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type))
- data Zip3Sym2 (l :: [a6989586621679454917]) (l :: [b6989586621679454918]) (l :: TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)])
- type Zip3Sym3 (t :: [a6989586621679454917]) (t :: [b6989586621679454918]) (t :: [c6989586621679454919]) = Zip3 t t t
- data ZipWithSym0 (l :: TyFun (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type))
- data ZipWithSym1 (l :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (l :: TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type))
- data ZipWithSym2 (l :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (l :: [a6989586621679454914]) (l :: TyFun [b6989586621679454915] [c6989586621679454916])
- type ZipWithSym3 (t :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (t :: [a6989586621679454914]) (t :: [b6989586621679454915]) = ZipWith t t t
- data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> Type))
- data ZipWith3Sym1 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type))
- data ZipWith3Sym2 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: [a6989586621679454910]) (l :: TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type))
- data ZipWith3Sym3 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: [a6989586621679454910]) (l :: [b6989586621679454911]) (l :: TyFun [c6989586621679454912] [d6989586621679454913])
- data UnzipSym0 (l :: TyFun [(a6989586621679454908, b6989586621679454909)] ([a6989586621679454908], [b6989586621679454909]))
- type UnzipSym1 (t :: [(a6989586621679454908, b6989586621679454909)]) = Unzip t
Basic singleton definitions
module Data.Singletons
data family Sing (a :: k) Source #
The singleton kind-indexed data family.
data Sing Bool Source # | |
data Sing Ordering Source # | |
data Sing * Source # | |
data Sing Nat Source # | |
data Sing Symbol Source # | |
data Sing () Source # | |
data Sing [a] Source # | |
data Sing (Maybe a) Source # | |
data Sing (NonEmpty a) Source # | |
data Sing (Either a b) Source # | |
data Sing (a, b) Source # | |
data Sing ((~>) k1 k2) Source # | |
data Sing (a, b, c) Source # | |
data Sing (a, b, c, d) Source # | |
data Sing (a, b, c, d, e) Source # | |
data Sing (a, b, c, d, e, f) Source # | |
data Sing (a, b, c, d, e, f, g) Source # | |
Singleton type synonyms
These synonyms are all kind-restricted synonyms of Sing
.
For example SBool
requires an argument of kind Bool
.
Functions working with Bool
type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ... #
Type-level If. If True a b
==> a
; If False a b
==> b
(%:&&) :: 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 #
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.
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
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 #
(%:.) :: forall (t :: TyFun b c -> Type) (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (:.$) t) t) t :: c) infixr 9 Source #
(%$) :: forall (f :: TyFun a b -> *) (x :: a). Sing f -> Sing x -> Sing ((($$) @@ f) @@ x) infixr 0 Source #
(%$!) :: 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 #
sFlip :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: b) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FlipSym0 t) t) t :: c) Source #
sAsTypeOf :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a) Source #
sSeq :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b) infixr 0 Source #
List operations
sMap :: forall (t :: TyFun a b -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b]) Source #
(%:++) :: forall (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply (:++$) t) t :: [a]) infixr 5 Source #
Reducing lists (folds)
type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #
sFoldl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b) Source #
sFoldl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a) Source #
type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #
sFoldr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) Source #
type family Foldr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ... Source #
Foldr1 _z_6989586621679457954 '[x] = x | |
Foldr1 f ((:) x ((:) wild_6989586621679455411 wild_6989586621679455413)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let6989586621679457962XsSym4 f x wild_6989586621679455411 wild_6989586621679455413)) | |
Foldr1 _z_6989586621679457981 '[] = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list" |
sFoldr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a) Source #
Special folds
sAny_ :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Any_Sym0 t) t :: Bool) Source #
sAll :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply AllSym0 t) t :: Bool) Source #
sConcatMap :: forall (t :: TyFun a [b] -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ConcatMapSym0 t) t :: [b]) Source #
Scans
type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ... Source #
sScanl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: [b]) Source #
sScanl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: [a]) Source #
type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ... Source #
sScanr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: [b]) Source #
type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ... Source #
Scanr1 _z_6989586621679457759 '[] = '[] | |
Scanr1 _z_6989586621679457762 '[x] = Apply (Apply (:$) x) '[] | |
Scanr1 f ((:) x ((:) wild_6989586621679455419 wild_6989586621679455421)) = Case_6989586621679457808 f x wild_6989586621679455419 wild_6989586621679455421 (Let6989586621679457789Scrutinee_6989586621679455417Sym4 f x wild_6989586621679455419 wild_6989586621679455421) |
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
sElem :: forall (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool) Source #
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 #
Lookup _key '[] = NothingSym0 | |
Lookup key ((:) '(x, y) xys) = Case_6989586621679455844 key x y xys (Let6989586621679455825Scrutinee_6989586621679455499Sym4 key x y xys) |
sLookup :: forall (t :: a) (t :: [(a, b)]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply LookupSym0 t) t :: Maybe b) Source #
Zipping and unzipping lists
sZip :: forall (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: [(a, b)]) Source #
type family Zip3 (a :: [a]) (a :: [b]) (a :: [c]) :: [(a, b, c)] where ... Source #
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_6989586621679457065 _z_6989586621679457068) = '[] | |
Zip3 '[] ((:) _z_6989586621679457071 _z_6989586621679457074) '[] = '[] | |
Zip3 '[] ((:) _z_6989586621679457077 _z_6989586621679457080) ((:) _z_6989586621679457083 _z_6989586621679457086) = '[] | |
Zip3 ((:) _z_6989586621679457089 _z_6989586621679457092) '[] '[] = '[] | |
Zip3 ((:) _z_6989586621679457095 _z_6989586621679457098) '[] ((:) _z_6989586621679457101 _z_6989586621679457104) = '[] | |
Zip3 ((:) _z_6989586621679457107 _z_6989586621679457110) ((:) _z_6989586621679457113 _z_6989586621679457116) '[] = '[] |
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 #
ZipWith f ((:) x xs) ((:) y ys) = Apply (Apply (:$) (Apply (Apply f x) y)) (Apply (Apply (Apply ZipWithSym0 f) xs) ys) | |
ZipWith _z_6989586621679457023 '[] '[] = '[] | |
ZipWith _z_6989586621679457026 ((:) _z_6989586621679457029 _z_6989586621679457032) '[] = '[] | |
ZipWith _z_6989586621679457035 '[] ((:) _z_6989586621679457038 _z_6989586621679457041) = '[] |
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 #
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_6989586621679456928 '[] '[] '[] = '[] | |
ZipWith3 _z_6989586621679456931 '[] '[] ((:) _z_6989586621679456934 _z_6989586621679456937) = '[] | |
ZipWith3 _z_6989586621679456940 '[] ((:) _z_6989586621679456943 _z_6989586621679456946) '[] = '[] | |
ZipWith3 _z_6989586621679456949 '[] ((:) _z_6989586621679456952 _z_6989586621679456955) ((:) _z_6989586621679456958 _z_6989586621679456961) = '[] | |
ZipWith3 _z_6989586621679456964 ((:) _z_6989586621679456967 _z_6989586621679456970) '[] '[] = '[] | |
ZipWith3 _z_6989586621679456973 ((:) _z_6989586621679456976 _z_6989586621679456979) '[] ((:) _z_6989586621679456982 _z_6989586621679456985) = '[] | |
ZipWith3 _z_6989586621679456988 ((:) _z_6989586621679456991 _z_6989586621679456994) ((:) _z_6989586621679456997 _z_6989586621679457000) '[] = '[] |
sZipWith3 :: forall (t :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (t :: [a]) (t :: [b]) (t :: [c]). Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply ZipWith3Sym0 t) t) t) t :: [d]) Source #
sUnzip3 :: forall (t :: [(a, b, c)]). Sing t -> Sing (Apply Unzip3Sym0 t :: ([a], [b], [c])) Source #
Other datatypes
sMaybe_ :: forall (t :: b) (t :: TyFun a b -> Type) (t :: Maybe a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Maybe_Sym0 t) t) t :: b) Source #
type family Either_ (a :: TyFun a c -> Type) (a :: TyFun b c -> Type) (a :: Either a b) :: c where ... Source #
sEither_ :: forall (t :: TyFun a c -> Type) (t :: TyFun b c -> Type) (t :: Either a b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Either_Sym0 t) t) t :: c) Source #
type family Curry (a :: TyFun (a, b) c -> Type) (a :: a) (a :: b) :: c where ... Source #
Curry f x y = Apply f (Apply (Apply Tuple2Sym0 x) y) |
sCurry :: forall (t :: TyFun (a, b) c -> Type) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c) Source #
type family Uncurry (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: (a, b)) :: c where ... Source #
sUncurry :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c) Source #
(Kind) This is the kind of type-level symbols. Declared here because class IP needs it
SingKind Symbol | Since: 4.9.0.0 |
KnownSymbol a => SingI Symbol a | Since: 4.9.0.0 |
SuppressUnusedWarnings (TyFun Symbol Constraint -> *) KnownSymbolSym0 Source # | |
data Sing Symbol | |
type DemoteRep Symbol | |
type Demote Symbol Source # | |
data Sing Symbol Source # | |
type (==) Symbol a b | |
type (:==) Symbol a b Source # | |
type (:/=) Symbol x y Source # | |
type Compare Symbol a b Source # | |
type (:<) Symbol arg1 arg2 Source # | |
type (:<=) Symbol arg1 arg2 Source # | |
type (:>) Symbol arg1 arg2 Source # | |
type (:>=) Symbol arg1 arg2 Source # | |
type Max Symbol arg1 arg2 Source # | |
type Min Symbol arg1 arg2 Source # | |
type Apply Symbol Constraint KnownSymbolSym0 l Source # | |
Other functions
Defunctionalization symbols
type OtherwiseSym0 = Otherwise Source #
type NothingSym0 = Nothing Source #
data Maybe_Sym0 (l :: TyFun b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679423212 b6989586621679423211) Source # | |
type Apply b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type) (Maybe_Sym0 a6989586621679423212 b6989586621679423211) l Source # | |
data Maybe_Sym1 (l :: b6989586621679423211) (l :: TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type)) Source #
SuppressUnusedWarnings (b6989586621679423211 -> TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> *) (Maybe_Sym1 a6989586621679423212 b6989586621679423211) Source # | |
type Apply (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) (Maybe_Sym1 a6989586621679423212 b6989586621679423211 l1) l2 Source # | |
data Maybe_Sym2 (l :: b6989586621679423211) (l :: TyFun a6989586621679423212 b6989586621679423211 -> Type) (l :: TyFun (Maybe a6989586621679423212) b6989586621679423211) Source #
SuppressUnusedWarnings (b6989586621679423211 -> (TyFun a6989586621679423212 b6989586621679423211 -> Type) -> TyFun (Maybe a6989586621679423212) b6989586621679423211 -> *) (Maybe_Sym2 a6989586621679423212 b6989586621679423211) Source # | |
type Apply (Maybe a) b (Maybe_Sym2 a b l1 l2) l3 Source # | |
type Maybe_Sym3 (t :: b6989586621679423211) (t :: TyFun a6989586621679423212 b6989586621679423211 -> Type) (t :: Maybe a6989586621679423212) = Maybe_ t t t Source #
data LeftSym0 (l :: TyFun a6989586621679072801 (Either a6989586621679072801 b6989586621679072802)) Source #
data RightSym0 (l :: TyFun b6989586621679072802 (Either a6989586621679072801 b6989586621679072802)) Source #
data Either_Sym0 (l :: TyFun (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type) -> *) (Either_Sym0 a6989586621679433056 b6989586621679433058 c6989586621679433057) Source # | |
type Apply (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type) (Either_Sym0 a6989586621679433056 b6989586621679433058 c6989586621679433057) l Source # | |
data Either_Sym1 (l :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (l :: TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679433056 c6989586621679433057 -> Type) -> TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> *) (Either_Sym1 a6989586621679433056 b6989586621679433058 c6989586621679433057) Source # | |
type Apply (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) (Either_Sym1 a6989586621679433056 b6989586621679433058 c6989586621679433057 l1) l2 Source # | |
data Either_Sym2 (l :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (l :: TyFun b6989586621679433058 c6989586621679433057 -> Type) (l :: TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057) Source #
SuppressUnusedWarnings ((TyFun a6989586621679433056 c6989586621679433057 -> Type) -> (TyFun b6989586621679433058 c6989586621679433057 -> Type) -> TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> *) (Either_Sym2 a6989586621679433056 b6989586621679433058 c6989586621679433057) Source # | |
type Apply (Either a b) c (Either_Sym2 a b c l1 l2) l3 Source # | |
type Either_Sym3 (t :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (t :: TyFun b6989586621679433058 c6989586621679433057 -> Type) (t :: Either a6989586621679433056 b6989586621679433058) = Either_ t t t Source #
type Tuple0Sym0 = '() Source #
data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type)) Source #
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) Source # | |
type Apply a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) l Source # | |
data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) (Tuple2Sym1 a3530822107858468865 b3530822107858468866) Source # | |
type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 Source # | |
type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t) Source #
data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) l Source # | |
data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
type Apply b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1) l2 Source # | |
data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 Source # | |
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 #
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) l Source # | |
data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1) l2 Source # | |
data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
type Apply c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2) l3 Source # | |
data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 Source # | |
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 #
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 # | |
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 # | |
data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type)) Source #
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 # | |
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 # | |
data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) 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 # | |
data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
type Apply d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3) l4 Source # | |
data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 Source # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
data Tuple6Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type)) Source #
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 # | |
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 # | |
data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) 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 # | |
data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) 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 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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 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 (a6989586621679419275, b6989586621679419276) a6989586621679419275) Source #
data SndSym0 (l :: TyFun (a6989586621679419273, b6989586621679419274) b6989586621679419274) Source #
data CurrySym0 (l :: TyFun (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type) -> *) (CurrySym0 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source # | |
type Apply (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type) (CurrySym0 a6989586621679419270 b6989586621679419271 c6989586621679419272) l Source # | |
data CurrySym1 (l :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (l :: TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type)) Source #
SuppressUnusedWarnings ((TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) -> TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> *) (CurrySym1 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source # | |
type Apply a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) (CurrySym1 a6989586621679419270 b6989586621679419271 c6989586621679419272 l1) l2 Source # | |
data CurrySym2 (l :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (l :: a6989586621679419270) (l :: TyFun b6989586621679419271 c6989586621679419272) Source #
SuppressUnusedWarnings ((TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) -> a6989586621679419270 -> TyFun b6989586621679419271 c6989586621679419272 -> *) (CurrySym2 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source # | |
type Apply b c (CurrySym2 a b c l1 l2) l3 Source # | |
type CurrySym3 (t :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (t :: a6989586621679419270) (t :: b6989586621679419271) = Curry t t t Source #
data UncurrySym0 (l :: TyFun (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type) -> *) (UncurrySym0 a6989586621679419267 b6989586621679419268 c6989586621679419269) Source # | |
type Apply (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type) (UncurrySym0 a6989586621679419267 b6989586621679419268 c6989586621679419269) l Source # | |
data UncurrySym1 (l :: TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (l :: TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269) Source #
SuppressUnusedWarnings ((TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) -> TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> *) (UncurrySym1 a6989586621679419267 b6989586621679419268 c6989586621679419269) Source # | |
type Apply (a, b) c (UncurrySym1 a b c l1) l2 Source # | |
type UncurrySym2 (t :: TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (t :: (a6989586621679419267, b6989586621679419268)) = Uncurry t t Source #
data ConstSym0 (l :: TyFun a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type)) Source #
SuppressUnusedWarnings (TyFun a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type) -> *) (ConstSym0 b6989586621679277914 a6989586621679277913) Source # | |
type Apply a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type) (ConstSym0 b6989586621679277914 a6989586621679277913) l Source # | |
data ConstSym1 (l :: a6989586621679277913) (l :: TyFun b6989586621679277914 a6989586621679277913) Source #
data (:.$) (l :: TyFun (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type) -> *) ((:.$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source # | |
type Apply (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type) ((:.$) b6989586621679277910 a6989586621679277912 c6989586621679277911) l Source # | |
data (l :: TyFun b6989586621679277910 c6989586621679277911 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type)) Source #
SuppressUnusedWarnings ((TyFun b6989586621679277910 c6989586621679277911 -> Type) -> TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> *) ((:.$$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source # | |
type Apply (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) ((:.$$) b6989586621679277910 a6989586621679277912 c6989586621679277911 l1) l2 Source # | |
data ((l :: TyFun b6989586621679277910 c6989586621679277911 -> Type) :.$$$ (l :: TyFun a6989586621679277912 b6989586621679277910 -> Type)) (l :: TyFun a6989586621679277912 c6989586621679277911) Source #
SuppressUnusedWarnings ((TyFun b6989586621679277910 c6989586621679277911 -> Type) -> (TyFun a6989586621679277912 b6989586621679277910 -> Type) -> TyFun a6989586621679277912 c6989586621679277911 -> *) ((:.$$$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source # | |
type Apply a c ((:.$$$) b a c l1 l2) l3 Source # | |
data FlipSym0 (l :: TyFun (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type) -> *) (FlipSym0 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source # | |
type Apply (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type) (FlipSym0 b6989586621679277908 a6989586621679277907 c6989586621679277909) l Source # | |
data FlipSym1 (l :: TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (l :: TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) -> TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> *) (FlipSym1 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source # | |
type Apply b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) (FlipSym1 b6989586621679277908 a6989586621679277907 c6989586621679277909 l1) l2 Source # | |
data FlipSym2 (l :: TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (l :: b6989586621679277908) (l :: TyFun a6989586621679277907 c6989586621679277909) Source #
SuppressUnusedWarnings ((TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) -> b6989586621679277908 -> TyFun a6989586621679277907 c6989586621679277909 -> *) (FlipSym2 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source # | |
type Apply a c (FlipSym2 b a c l1 l2) l3 Source # | |
data AsTypeOfSym0 (l :: TyFun a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type)) Source #
SuppressUnusedWarnings (TyFun a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type) -> *) (AsTypeOfSym0 a6989586621679277906) Source # | |
type Apply a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type) (AsTypeOfSym0 a6989586621679277906) l Source # | |
data AsTypeOfSym1 (l :: a6989586621679277906) (l :: TyFun a6989586621679277906 a6989586621679277906) Source #
SuppressUnusedWarnings (a6989586621679277906 -> TyFun a6989586621679277906 a6989586621679277906 -> *) (AsTypeOfSym1 a6989586621679277906) Source # | |
type Apply a a (AsTypeOfSym1 a l1) l2 Source # | |
type AsTypeOfSym2 (t :: a6989586621679277906) (t :: a6989586621679277906) = AsTypeOf t t Source #
data SeqSym0 (l :: TyFun a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type)) Source #
SuppressUnusedWarnings (TyFun a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type) -> *) (SeqSym0 a6989586621679277904 b6989586621679277905) Source # | |
type Apply a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type) (SeqSym0 a6989586621679277904 b6989586621679277905) l Source # | |
data SeqSym1 (l :: a6989586621679277904) (l :: TyFun b6989586621679277905 b6989586621679277905) Source #
data (:$) (l :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type)) Source #
data (l :: a3530822107858468865) :$$ (l :: TyFun [a3530822107858468865] [a3530822107858468865]) Source #
data MapSym0 (l :: TyFun (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type) -> *) (MapSym0 a6989586621679277917 b6989586621679277918) Source # | |
type Apply (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type) (MapSym0 a6989586621679277917 b6989586621679277918) l Source # | |
data MapSym1 (l :: TyFun a6989586621679277917 b6989586621679277918 -> Type) (l :: TyFun [a6989586621679277917] [b6989586621679277918]) Source #
type MapSym2 (t :: TyFun a6989586621679277917 b6989586621679277918 -> Type) (t :: [a6989586621679277917]) = Map t t Source #
data ReverseSym0 (l :: TyFun [a6989586621679454958] [a6989586621679454958]) Source #
SuppressUnusedWarnings (TyFun [a6989586621679454958] [a6989586621679454958] -> *) (ReverseSym0 a6989586621679454958) Source # | |
type Apply [a] [a] (ReverseSym0 a) l Source # | |
type ReverseSym1 (t :: [a6989586621679454958]) = Reverse t Source #
data (l :: [a6989586621679277916]) :++$$ (l :: TyFun [a6989586621679277916] [a6989586621679277916]) Source #
data (:++$) (l :: TyFun [a6989586621679277916] (TyFun [a6989586621679277916] [a6989586621679277916] -> Type)) Source #
data FoldlSym0 (l :: TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679240791 b6989586621679240792) Source # | |
type Apply (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) (FoldlSym0 a6989586621679240791 b6989586621679240792) l Source # | |
data FoldlSym1 (l :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (l :: TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type)) Source #
SuppressUnusedWarnings ((TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) -> TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> *) (FoldlSym1 a6989586621679240791 b6989586621679240792) Source # | |
type Apply b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) (FoldlSym1 a6989586621679240791 b6989586621679240792 l1) l2 Source # | |
data FoldlSym2 (l :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (l :: b6989586621679240792) (l :: TyFun [a6989586621679240791] b6989586621679240792) Source #
SuppressUnusedWarnings ((TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) -> b6989586621679240792 -> TyFun [a6989586621679240791] b6989586621679240792 -> *) (FoldlSym2 a6989586621679240791 b6989586621679240792) Source # | |
type Apply [a] b (FoldlSym2 a b l1 l2) l3 Source # | |
type FoldlSym3 (t :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (t :: b6989586621679240792) (t :: [a6989586621679240791]) = Foldl t t t Source #
data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type) -> *) (Foldl1Sym0 a6989586621679454949) Source # | |
type Apply (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type) (Foldl1Sym0 a6989586621679454949) l Source # | |
data Foldl1Sym1 (l :: TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (l :: TyFun [a6989586621679454949] a6989586621679454949) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) -> TyFun [a6989586621679454949] a6989586621679454949 -> *) (Foldl1Sym1 a6989586621679454949) Source # | |
type Apply [a] a (Foldl1Sym1 a l1) l2 Source # | |
type Foldl1Sym2 (t :: TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (t :: [a6989586621679454949]) = Foldl1 t t Source #
data FoldrSym0 (l :: TyFun (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679277919 b6989586621679277920) Source # | |
type Apply (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type) (FoldrSym0 a6989586621679277919 b6989586621679277920) l Source # | |
data FoldrSym1 (l :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (l :: TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) -> TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> *) (FoldrSym1 a6989586621679277919 b6989586621679277920) Source # | |
type Apply b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) (FoldrSym1 a6989586621679277919 b6989586621679277920 l1) l2 Source # | |
data FoldrSym2 (l :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (l :: b6989586621679277920) (l :: TyFun [a6989586621679277919] b6989586621679277920) Source #
SuppressUnusedWarnings ((TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) -> b6989586621679277920 -> TyFun [a6989586621679277919] b6989586621679277920 -> *) (FoldrSym2 a6989586621679277919 b6989586621679277920) Source # | |
type Apply [a] b (FoldrSym2 a b l1 l2) l3 Source # | |
type FoldrSym3 (t :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (t :: b6989586621679277920) (t :: [a6989586621679277919]) = Foldr t t t Source #
data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type) -> *) (Foldr1Sym0 a6989586621679454947) Source # | |
type Apply (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type) (Foldr1Sym0 a6989586621679454947) l Source # | |
data Foldr1Sym1 (l :: TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (l :: TyFun [a6989586621679454947] a6989586621679454947) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) -> TyFun [a6989586621679454947] a6989586621679454947 -> *) (Foldr1Sym1 a6989586621679454947) Source # | |
type Apply [a] a (Foldr1Sym1 a l1) l2 Source # | |
type Foldr1Sym2 (t :: TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (t :: [a6989586621679454947]) = Foldr1 t t Source #
data ConcatSym0 (l :: TyFun [[a6989586621679454946]] [a6989586621679454946]) Source #
SuppressUnusedWarnings (TyFun [[a6989586621679454946]] [a6989586621679454946] -> *) (ConcatSym0 a6989586621679454946) Source # | |
type Apply [[a]] [a] (ConcatSym0 a) l Source # | |
type ConcatSym1 (t :: [[a6989586621679454946]]) = Concat t Source #
data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type) -> *) (ConcatMapSym0 a6989586621679454944 b6989586621679454945) Source # | |
type Apply (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type) (ConcatMapSym0 a6989586621679454944 b6989586621679454945) l Source # | |
data ConcatMapSym1 (l :: TyFun a6989586621679454944 [b6989586621679454945] -> Type) (l :: TyFun [a6989586621679454944] [b6989586621679454945]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454944 [b6989586621679454945] -> Type) -> TyFun [a6989586621679454944] [b6989586621679454945] -> *) (ConcatMapSym1 a6989586621679454944 b6989586621679454945) Source # | |
type Apply [a] [b] (ConcatMapSym1 a b l1) l2 Source # | |
type ConcatMapSym2 (t :: TyFun a6989586621679454944 [b6989586621679454945] -> Type) (t :: [a6989586621679454944]) = ConcatMap t t Source #
data Any_Sym0 (l :: TyFun (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type) -> *) (Any_Sym0 a6989586621679444727) Source # | |
type Apply (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type) (Any_Sym0 a6989586621679444727) l Source # | |
data Any_Sym1 (l :: TyFun a6989586621679444727 Bool -> Type) (l :: TyFun [a6989586621679444727] Bool) Source #
type Any_Sym2 (t :: TyFun a6989586621679444727 Bool -> Type) (t :: [a6989586621679444727]) = Any_ t t Source #
data AllSym0 (l :: TyFun (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type) -> *) (AllSym0 a6989586621679454943) Source # | |
type Apply (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type) (AllSym0 a6989586621679454943) l Source # | |
data AllSym1 (l :: TyFun a6989586621679454943 Bool -> Type) (l :: TyFun [a6989586621679454943] Bool) Source #
type AllSym2 (t :: TyFun a6989586621679454943 Bool -> Type) (t :: [a6989586621679454943]) = All t t Source #
data ScanlSym0 (l :: TyFun (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679454942 b6989586621679454941) Source # | |
type Apply (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type) (ScanlSym0 a6989586621679454942 b6989586621679454941) l Source # | |
data ScanlSym1 (l :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (l :: TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type)) Source #
SuppressUnusedWarnings ((TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) -> TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> *) (ScanlSym1 a6989586621679454942 b6989586621679454941) Source # | |
type Apply b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) (ScanlSym1 a6989586621679454942 b6989586621679454941 l1) l2 Source # | |
data ScanlSym2 (l :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (l :: b6989586621679454941) (l :: TyFun [a6989586621679454942] [b6989586621679454941]) Source #
SuppressUnusedWarnings ((TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) -> b6989586621679454941 -> TyFun [a6989586621679454942] [b6989586621679454941] -> *) (ScanlSym2 a6989586621679454942 b6989586621679454941) Source # | |
type Apply [a] [b] (ScanlSym2 a b l1 l2) l3 Source # | |
type ScanlSym3 (t :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (t :: b6989586621679454941) (t :: [a6989586621679454942]) = Scanl t t t Source #
data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type) -> *) (Scanl1Sym0 a6989586621679454940) Source # | |
type Apply (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type) (Scanl1Sym0 a6989586621679454940) l Source # | |
data Scanl1Sym1 (l :: TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (l :: TyFun [a6989586621679454940] [a6989586621679454940]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) -> TyFun [a6989586621679454940] [a6989586621679454940] -> *) (Scanl1Sym1 a6989586621679454940) Source # | |
type Apply [a] [a] (Scanl1Sym1 a l1) l2 Source # | |
type Scanl1Sym2 (t :: TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (t :: [a6989586621679454940]) = Scanl1 t t Source #
data ScanrSym0 (l :: TyFun (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679454938 b6989586621679454939) Source # | |
type Apply (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type) (ScanrSym0 a6989586621679454938 b6989586621679454939) l Source # | |
data ScanrSym1 (l :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (l :: TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) -> TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> *) (ScanrSym1 a6989586621679454938 b6989586621679454939) Source # | |
type Apply b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) (ScanrSym1 a6989586621679454938 b6989586621679454939 l1) l2 Source # | |
data ScanrSym2 (l :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (l :: b6989586621679454939) (l :: TyFun [a6989586621679454938] [b6989586621679454939]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) -> b6989586621679454939 -> TyFun [a6989586621679454938] [b6989586621679454939] -> *) (ScanrSym2 a6989586621679454938 b6989586621679454939) Source # | |
type Apply [a] [b] (ScanrSym2 a b l1 l2) l3 Source # | |
type ScanrSym3 (t :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (t :: b6989586621679454939) (t :: [a6989586621679454938]) = Scanr t t t Source #
data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type) -> *) (Scanr1Sym0 a6989586621679454937) Source # | |
type Apply (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type) (Scanr1Sym0 a6989586621679454937) l Source # | |
data Scanr1Sym1 (l :: TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (l :: TyFun [a6989586621679454937] [a6989586621679454937]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) -> TyFun [a6989586621679454937] [a6989586621679454937] -> *) (Scanr1Sym1 a6989586621679454937) Source # | |
type Apply [a] [a] (Scanr1Sym1 a l1) l2 Source # | |
type Scanr1Sym2 (t :: TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (t :: [a6989586621679454937]) = Scanr1 t t Source #
data ElemSym0 (l :: TyFun a6989586621679454923 (TyFun [a6989586621679454923] Bool -> Type)) Source #
data NotElemSym0 (l :: TyFun a6989586621679454922 (TyFun [a6989586621679454922] Bool -> Type)) Source #
data NotElemSym1 (l :: a6989586621679454922) (l :: TyFun [a6989586621679454922] Bool) Source #
SuppressUnusedWarnings (a6989586621679454922 -> TyFun [a6989586621679454922] Bool -> *) (NotElemSym1 a6989586621679454922) Source # | |
type Apply [a] Bool (NotElemSym1 a l1) l2 Source # | |
type NotElemSym2 (t :: a6989586621679454922) (t :: [a6989586621679454922]) = NotElem t t Source #
data ZipSym0 (l :: TyFun [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type)) Source #
SuppressUnusedWarnings (TyFun [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type) -> *) (ZipSym0 a6989586621679454920 b6989586621679454921) Source # | |
type Apply [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type) (ZipSym0 a6989586621679454920 b6989586621679454921) l Source # | |
data ZipSym1 (l :: [a6989586621679454920]) (l :: TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)]) Source #
data Zip3Sym0 (l :: TyFun [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type) -> *) (Zip3Sym0 a6989586621679454917 b6989586621679454918 c6989586621679454919) Source # | |
type Apply [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type) (Zip3Sym0 a6989586621679454917 b6989586621679454918 c6989586621679454919) l Source # | |
data Zip3Sym1 (l :: [a6989586621679454917]) (l :: TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type)) Source #
SuppressUnusedWarnings ([a6989586621679454917] -> TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> *) (Zip3Sym1 a6989586621679454917 b6989586621679454918 c6989586621679454919) Source # | |
type Apply [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) (Zip3Sym1 a6989586621679454917 b6989586621679454918 c6989586621679454919 l1) l2 Source # | |
data Zip3Sym2 (l :: [a6989586621679454917]) (l :: [b6989586621679454918]) (l :: TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)]) Source #
SuppressUnusedWarnings ([a6989586621679454917] -> [b6989586621679454918] -> TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> *) (Zip3Sym2 a6989586621679454917 b6989586621679454918 c6989586621679454919) Source # | |
type Apply [c] [(a, b, c)] (Zip3Sym2 a b c l1 l2) l3 Source # | |
type Zip3Sym3 (t :: [a6989586621679454917]) (t :: [b6989586621679454918]) (t :: [c6989586621679454919]) = Zip3 t t t Source #
data ZipWithSym0 (l :: TyFun (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source # | |
type Apply (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type) (ZipWithSym0 a6989586621679454914 b6989586621679454915 c6989586621679454916) l Source # | |
data ZipWithSym1 (l :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (l :: TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) -> TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> *) (ZipWithSym1 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source # | |
type Apply [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) (ZipWithSym1 a6989586621679454914 b6989586621679454915 c6989586621679454916 l1) l2 Source # | |
data ZipWithSym2 (l :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (l :: [a6989586621679454914]) (l :: TyFun [b6989586621679454915] [c6989586621679454916]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) -> [a6989586621679454914] -> TyFun [b6989586621679454915] [c6989586621679454916] -> *) (ZipWithSym2 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source # | |
type Apply [b] [c] (ZipWithSym2 a b c l1 l2) l3 Source # | |
type ZipWithSym3 (t :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (t :: [a6989586621679454914]) (t :: [b6989586621679454915]) = ZipWith t t t Source #
data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source # | |
type Apply (TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> Type) (ZipWith3Sym0 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) l Source # | |
data ZipWith3Sym1 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) -> TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> *) (ZipWith3Sym1 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source # | |
type Apply [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) (ZipWith3Sym1 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913 l1) l2 Source # | |
data ZipWith3Sym2 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: [a6989586621679454910]) (l :: TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) -> [a6989586621679454910] -> TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> *) (ZipWith3Sym2 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source # | |
type Apply [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) (ZipWith3Sym2 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913 l1 l2) l3 Source # | |
data ZipWith3Sym3 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: [a6989586621679454910]) (l :: [b6989586621679454911]) (l :: TyFun [c6989586621679454912] [d6989586621679454913]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) -> [a6989586621679454910] -> [b6989586621679454911] -> TyFun [c6989586621679454912] [d6989586621679454913] -> *) (ZipWith3Sym3 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source # | |
type Apply [c] [d] (ZipWith3Sym3 a b c d l1 l2 l3) l4 Source # | |