Copyright	(C) 2014 Jan Stolarek
License	BSD-style (see LICENSE)
Maintainer	Jan Stolarek (jan.stolarek@p.lodz.pl)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Promotion.Prelude

Contents

Standard types, classes and related functions
- Basic data types
Error reporting
Promoted equality
Promoted comparisons
Promoted enumerations
Promoted numbers
- Miscellaneous functions
List operations
Defunctionalization symbols

Description

Mimics the Haskell Prelude, but with promoted types.

Synopsis

type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ...
type family Not (a :: Bool) :: Bool where ...
type family (a :: Bool) :&& (a :: Bool) :: Bool where ...
type family (a :: Bool) :|| (a :: Bool) :: Bool where ...
type family Otherwise :: Bool where ...
maybe_ :: b -> (a -> b) -> Maybe a -> b
type family Maybe_ (a :: b) (a :: TyFun a b -> Type) (a :: Maybe a) :: b where ...
either_ :: (a -> c) -> (b -> c) -> Either a b -> c
type family Either_ (a :: TyFun a c -> Type) (a :: TyFun b c -> Type) (a :: Either a b) :: c where ...
data Symbol :: *
type family Fst (a :: (a, b)) :: a where ...
type family Snd (a :: (a, b)) :: b where ...
type family Curry (a :: TyFun (a, b) c -> Type) (a :: a) (a :: b) :: c where ...
type family Uncurry (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: (a, b)) :: c where ...
type family Error (str :: k0) :: k
data ErrorSym0 (l :: TyFun k01627798799 k1627798801)
module Data.Promotion.Prelude.Eq
module Data.Promotion.Prelude.Ord
module Data.Promotion.Prelude.Enum
module Data.Promotion.Prelude.Num
type family Id (a :: a) :: a where ...
type family Const (a :: a) (a :: b) :: a where ...
type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ...
type family (f :: TyFun a b -> *) $ (x :: a) :: b
type family (f :: TyFun a b -> *) $! (x :: a) :: b
type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ...
type family AsTypeOf (a :: a) (a :: a) :: a where ...
type family Until (a :: TyFun a Bool -> Type) (a :: TyFun a a -> Type) (a :: a) :: a where ...
type family Seq (a :: a) (a :: b) :: b where ...
type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ...
type family (a :: [a]) :++ (a :: [a]) :: [a] where ...
type family Filter (a :: TyFun a Bool -> Type) (a :: [a]) :: [a] where ...
type family Head (a :: [a]) :: a where ...
type family Last (a :: [a]) :: a where ...
type family Tail (a :: [a]) :: [a] where ...
type family Init (a :: [a]) :: [a] where ...
type family Null (a :: [a]) :: Bool where ...
type family Length (a :: [a]) :: Nat where ...
type family (a :: [a]) :!! (a :: Nat) :: a where ...
type family Reverse (a :: [a]) :: [a] where ...
type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
type family Foldl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ...
type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
type family Foldr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ...
type family And (a :: [Bool]) :: Bool where ...
type family Or (a :: [Bool]) :: Bool where ...
any_ :: (a -> Bool) -> [a] -> Bool
type family Any_ (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ...
type family All (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ...
type family Sum (a :: [a]) :: a where ...
type family Product (a :: [a]) :: a where ...
type family Concat (a :: [[a]]) :: [a] where ...
type family ConcatMap (a :: TyFun a [b] -> Type) (a :: [a]) :: [b] where ...
type family Maximum (a :: [a]) :: a where ...
type family Minimum (a :: [a]) :: a where ...
type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ...
type family Scanl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ...
type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ...
type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ...
type family Replicate (a :: Nat) (a :: a) :: [a] where ...
type family Take (a :: Nat) (a :: [a]) :: [a] where ...
type family Drop (a :: Nat) (a :: [a]) :: [a] where ...
type family SplitAt (a :: Nat) (a :: [a]) :: ([a], [a]) where ...
type family TakeWhile (a :: TyFun a Bool -> Type) (a :: [a]) :: [a] where ...
type family DropWhile (a :: TyFun a Bool -> Type) (a :: [a]) :: [a] where ...
type family Span (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ...
type family Break (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ...
type family Elem (a :: a) (a :: [a]) :: Bool where ...
type family NotElem (a :: a) (a :: [a]) :: Bool where ...
type family Lookup (a :: a) (a :: [(a, b)]) :: Maybe b where ...
type family Zip (a :: [a]) (a :: [b]) :: [(a, b)] where ...
type family Zip3 (a :: [a]) (a :: [b]) (a :: [c]) :: [(a, b, c)] where ...
type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: [a]) (a :: [b]) :: [c] where ...
type family ZipWith3 (a :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (a :: [a]) (a :: [b]) (a :: [c]) :: [d] where ...
type family Unzip (a :: [(a, b)]) :: ([a], [b]) where ...
type family Unzip3 (a :: [(a, b, c)]) :: ([a], [b], [c]) where ...
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 a822083585 (Maybe a822083585))
type JustSym1 (t :: a822083585) = Just t
data Maybe_Sym0 (l :: TyFun b1627823889 (TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type) -> Type))
data Maybe_Sym1 (l :: b1627823889) (l :: TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type))
data Maybe_Sym2 (l :: b1627823889) (l :: TyFun a1627823890 b1627823889 -> Type) (l :: TyFun (Maybe a1627823890) b1627823889)
type Maybe_Sym3 (t :: b1627823889) (t :: TyFun a1627823890 b1627823889 -> Type) (t :: Maybe a1627823890) = Maybe_ t t t
data LeftSym0 (l :: TyFun a1627455901 (Either a1627455901 b1627455902))
type LeftSym1 (t :: a1627455901) = Left t
data RightSym0 (l :: TyFun b1627455902 (Either a1627455901 b1627455902))
type RightSym1 (t :: b1627455902) = Right t
data Either_Sym0 (l :: TyFun (TyFun a1627833983 c1627833984 -> Type) (TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> Type))
data Either_Sym1 (l :: TyFun a1627833983 c1627833984 -> Type) (l :: TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type))
data Either_Sym2 (l :: TyFun a1627833983 c1627833984 -> Type) (l :: TyFun b1627833985 c1627833984 -> Type) (l :: TyFun (Either a1627833983 b1627833985) c1627833984)
type Either_Sym3 (t :: TyFun a1627833983 c1627833984 -> Type) (t :: TyFun b1627833985 c1627833984 -> Type) (t :: Either a1627833983 b1627833985) = Either_ t t t
type Tuple0Sym0 = '()
data Tuple2Sym0 (l :: TyFun a822083585 (TyFun b822083586 (a822083585, b822083586) -> Type))
data Tuple2Sym1 (l :: a822083585) (l :: TyFun b822083586 (a822083585, b822083586))
type Tuple2Sym2 (t :: a822083585) (t :: b822083586) = '(t, t)
data Tuple3Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type))
data Tuple3Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type))
data Tuple3Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (a822083585, b822083586, c822083587))
type Tuple3Sym3 (t :: a822083585) (t :: b822083586) (t :: c822083587) = '(t, t, t)
data Tuple4Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type))
data Tuple4Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type))
data Tuple4Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type))
data Tuple4Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (a822083585, b822083586, c822083587, d822083588))
type Tuple4Sym4 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) = '(t, t, t, t)
data Tuple5Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type))
data Tuple5Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type))
data Tuple5Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type))
data Tuple5Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type))
data Tuple5Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589))
type Tuple5Sym5 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) = '(t, t, t, t, t)
data Tuple6Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type))
data Tuple6Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type))
data Tuple6Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type))
data Tuple6Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type))
data Tuple6Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type))
data Tuple6Sym5 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590))
type Tuple6Sym6 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) (t :: f822083590) = '(t, t, t, t, t, t)
data Tuple7Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type))
data Tuple7Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type))
data Tuple7Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type))
data Tuple7Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type))
data Tuple7Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type))
data Tuple7Sym5 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type))
data Tuple7Sym6 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: f822083590) (l :: TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591))
type Tuple7Sym7 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) (t :: f822083590) (t :: g822083591) = '(t, t, t, t, t, t, t)
data FstSym0 (l :: TyFun (a1627819853, b1627819854) a1627819853)
type FstSym1 (t :: (a1627819853, b1627819854)) = Fst t
data SndSym0 (l :: TyFun (a1627819851, b1627819852) b1627819852)
type SndSym1 (t :: (a1627819851, b1627819852)) = Snd t
data CurrySym0 (l :: TyFun (TyFun (a1627819848, b1627819849) c1627819850 -> Type) (TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> Type))
data CurrySym1 (l :: TyFun (a1627819848, b1627819849) c1627819850 -> Type) (l :: TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type))
data CurrySym2 (l :: TyFun (a1627819848, b1627819849) c1627819850 -> Type) (l :: a1627819848) (l :: TyFun b1627819849 c1627819850)
type CurrySym3 (t :: TyFun (a1627819848, b1627819849) c1627819850 -> Type) (t :: a1627819848) (t :: b1627819849) = Curry t t t
data UncurrySym0 (l :: TyFun (TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (TyFun (a1627819845, b1627819846) c1627819847 -> Type))
data UncurrySym1 (l :: TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (l :: TyFun (a1627819845, b1627819846) c1627819847)
type UncurrySym2 (t :: TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (t :: (a1627819845, b1627819846)) = Uncurry t t
data (:^$) l
data (l :: Nat) :^$$ l
data IdSym0 (l :: TyFun a1627672476 a1627672476)
type IdSym1 (t :: a1627672476) = Id t
data ConstSym0 (l :: TyFun a1627672474 (TyFun b1627672475 a1627672474 -> Type))
data ConstSym1 (l :: a1627672474) (l :: TyFun b1627672475 a1627672474)
type ConstSym2 (t :: a1627672474) (t :: b1627672475) = Const t t
data (:.$) (l :: TyFun (TyFun b1627672471 c1627672472 -> Type) (TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> Type))
data (l :: TyFun b1627672471 c1627672472 -> Type) :.$$ (l :: TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type))
data ((l :: TyFun b1627672471 c1627672472 -> Type) :.$$$ (l :: TyFun a1627672473 b1627672471 -> Type)) (l :: TyFun a1627672473 c1627672472)
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 a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> Type))
data FlipSym1 (l :: TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (l :: TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type))
data FlipSym2 (l :: TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (l :: b1627672469) (l :: TyFun a1627672468 c1627672470)
data AsTypeOfSym0 (l :: TyFun a1627672467 (TyFun a1627672467 a1627672467 -> Type))
data AsTypeOfSym1 (l :: a1627672467) (l :: TyFun a1627672467 a1627672467)
type AsTypeOfSym2 (t :: a1627672467) (t :: a1627672467) = AsTypeOf t t
data SeqSym0 (l :: TyFun a1627672465 (TyFun b1627672466 b1627672466 -> Type))
data SeqSym1 (l :: a1627672465) (l :: TyFun b1627672466 b1627672466)
type SeqSym2 (t :: a1627672465) (t :: b1627672466) = Seq t t
data (:$) (l :: TyFun a822083585 (TyFun [a822083585] [a822083585] -> Type))
data (l :: a822083585) :$$ (l :: TyFun [a822083585] [a822083585])
type (:$$$) (t :: a822083585) (t :: [a822083585]) = (:) t t
type NilSym0 = '[]
data MapSym0 (l :: TyFun (TyFun a1627672478 b1627672479 -> Type) (TyFun [a1627672478] [b1627672479] -> Type))
data MapSym1 (l :: TyFun a1627672478 b1627672479 -> Type) (l :: TyFun [a1627672478] [b1627672479])
type MapSym2 (t :: TyFun a1627672478 b1627672479 -> Type) (t :: [a1627672478]) = Map t t
data ReverseSym0 (l :: TyFun [a1627856198] [a1627856198])
type ReverseSym1 (t :: [a1627856198]) = Reverse t
data (l :: [a1627672477]) :++$$ (l :: TyFun [a1627672477] [a1627672477])
data (:++$) (l :: TyFun [a1627672477] (TyFun [a1627672477] [a1627672477] -> Type))
data HeadSym0 (l :: TyFun [a1627856203] a1627856203)
type HeadSym1 (t :: [a1627856203]) = Head t
data LastSym0 (l :: TyFun [a1627856202] a1627856202)
type LastSym1 (t :: [a1627856202]) = Last t
data TailSym0 (l :: TyFun [a1627856201] [a1627856201])
type TailSym1 (t :: [a1627856201]) = Tail t
data InitSym0 (l :: TyFun [a1627856200] [a1627856200])
type InitSym1 (t :: [a1627856200]) = Init t
data NullSym0 (l :: TyFun [a1627856199] Bool)
type NullSym1 (t :: [a1627856199]) = Null t
data FoldlSym0 (l :: TyFun (TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> Type))
data FoldlSym1 (l :: TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (l :: TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type))
data FoldlSym2 (l :: TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (l :: b1627632057) (l :: TyFun [a1627632056] b1627632057)
type FoldlSym3 (t :: TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (t :: b1627632057) (t :: [a1627632056]) = Foldl t t t
data Foldl1Sym0 (l :: TyFun (TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) (TyFun [a1627856189] a1627856189 -> Type))
data Foldl1Sym1 (l :: TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) (l :: TyFun [a1627856189] a1627856189)
type Foldl1Sym2 (t :: TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) (t :: [a1627856189]) = Foldl1 t t
data FoldrSym0 (l :: TyFun (TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type) -> Type))
data FoldrSym1 (l :: TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (l :: TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type))
data FoldrSym2 (l :: TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (l :: b1627672481) (l :: TyFun [a1627672480] b1627672481)
type FoldrSym3 (t :: TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (t :: b1627672481) (t :: [a1627672480]) = Foldr t t t
data Foldr1Sym0 (l :: TyFun (TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) (TyFun [a1627856187] a1627856187 -> Type))
data Foldr1Sym1 (l :: TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) (l :: TyFun [a1627856187] a1627856187)
type Foldr1Sym2 (t :: TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) (t :: [a1627856187]) = Foldr1 t t
data ConcatSym0 (l :: TyFun [[a1627856186]] [a1627856186])
type ConcatSym1 (t :: [[a1627856186]]) = Concat t
data ConcatMapSym0 (l :: TyFun (TyFun a1627856184 [b1627856185] -> Type) (TyFun [a1627856184] [b1627856185] -> Type))
data ConcatMapSym1 (l :: TyFun a1627856184 [b1627856185] -> Type) (l :: TyFun [a1627856184] [b1627856185])
type ConcatMapSym2 (t :: TyFun a1627856184 [b1627856185] -> Type) (t :: [a1627856184]) = ConcatMap t t
data MaximumBySym0 (l :: TyFun (TyFun a1627856116 (TyFun a1627856116 Ordering -> Type) -> Type) (TyFun [a1627856116] a1627856116 -> Type))
data MaximumBySym1 (l :: TyFun a1627856116 (TyFun a1627856116 Ordering -> Type) -> Type) (l :: TyFun [a1627856116] a1627856116)
type MaximumBySym2 (t :: TyFun a1627856116 (TyFun a1627856116 Ordering -> Type) -> Type) (t :: [a1627856116]) = MaximumBy t t
data MinimumBySym0 (l :: TyFun (TyFun a1627856115 (TyFun a1627856115 Ordering -> Type) -> Type) (TyFun [a1627856115] a1627856115 -> Type))
data MinimumBySym1 (l :: TyFun a1627856115 (TyFun a1627856115 Ordering -> Type) -> Type) (l :: TyFun [a1627856115] a1627856115)
type MinimumBySym2 (t :: TyFun a1627856115 (TyFun a1627856115 Ordering -> Type) -> Type) (t :: [a1627856115]) = MinimumBy 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 a1627845967 Bool -> Type) (TyFun [a1627845967] Bool -> Type))
data Any_Sym1 (l :: TyFun a1627845967 Bool -> Type) (l :: TyFun [a1627845967] Bool)
type Any_Sym2 (t :: TyFun a1627845967 Bool -> Type) (t :: [a1627845967]) = Any_ t t
data AllSym0 (l :: TyFun (TyFun a1627856183 Bool -> Type) (TyFun [a1627856183] Bool -> Type))
data AllSym1 (l :: TyFun a1627856183 Bool -> Type) (l :: TyFun [a1627856183] Bool)
type AllSym2 (t :: TyFun a1627856183 Bool -> Type) (t :: [a1627856183]) = All t t
data ScanlSym0 (l :: TyFun (TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type) -> Type))
data ScanlSym1 (l :: TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (l :: TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type))
data ScanlSym2 (l :: TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (l :: b1627856181) (l :: TyFun [a1627856182] [b1627856181])
type ScanlSym3 (t :: TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (t :: b1627856181) (t :: [a1627856182]) = Scanl t t t
data Scanl1Sym0 (l :: TyFun (TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) (TyFun [a1627856180] [a1627856180] -> Type))
data Scanl1Sym1 (l :: TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) (l :: TyFun [a1627856180] [a1627856180])
type Scanl1Sym2 (t :: TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) (t :: [a1627856180]) = Scanl1 t t
data ScanrSym0 (l :: TyFun (TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type) -> Type))
data ScanrSym1 (l :: TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (l :: TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type))
data ScanrSym2 (l :: TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (l :: b1627856179) (l :: TyFun [a1627856178] [b1627856179])
type ScanrSym3 (t :: TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (t :: b1627856179) (t :: [a1627856178]) = Scanr t t t
data Scanr1Sym0 (l :: TyFun (TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) (TyFun [a1627856177] [a1627856177] -> Type))
data Scanr1Sym1 (l :: TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) (l :: TyFun [a1627856177] [a1627856177])
type Scanr1Sym2 (t :: TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) (t :: [a1627856177]) = Scanr1 t t
data ElemSym0 (l :: TyFun a1627856163 (TyFun [a1627856163] Bool -> Type))
data ElemSym1 (l :: a1627856163) (l :: TyFun [a1627856163] Bool)
type ElemSym2 (t :: a1627856163) (t :: [a1627856163]) = Elem t t
data NotElemSym0 (l :: TyFun a1627856162 (TyFun [a1627856162] Bool -> Type))
data NotElemSym1 (l :: a1627856162) (l :: TyFun [a1627856162] Bool)
type NotElemSym2 (t :: a1627856162) (t :: [a1627856162]) = NotElem t t
data ZipSym0 (l :: TyFun [a1627856160] (TyFun [b1627856161] [(a1627856160, b1627856161)] -> Type))
data ZipSym1 (l :: [a1627856160]) (l :: TyFun [b1627856161] [(a1627856160, b1627856161)])
type ZipSym2 (t :: [a1627856160]) (t :: [b1627856161]) = Zip t t
data Zip3Sym0 (l :: TyFun [a1627856157] (TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> Type))
data Zip3Sym1 (l :: [a1627856157]) (l :: TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type))
data Zip3Sym2 (l :: [a1627856157]) (l :: [b1627856158]) (l :: TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)])
type Zip3Sym3 (t :: [a1627856157]) (t :: [b1627856158]) (t :: [c1627856159]) = Zip3 t t t
data ZipWithSym0 (l :: TyFun (TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> Type))
data ZipWithSym1 (l :: TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (l :: TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type))
data ZipWithSym2 (l :: TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (l :: [a1627856154]) (l :: TyFun [b1627856155] [c1627856156])
type ZipWithSym3 (t :: TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (t :: [a1627856154]) (t :: [b1627856155]) = ZipWith t t t
data ZipWith3Sym0 (l :: TyFun (TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> Type))
data ZipWith3Sym1 (l :: TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (l :: TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type))
data ZipWith3Sym2 (l :: TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (l :: [a1627856150]) (l :: TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type))
data ZipWith3Sym3 (l :: TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (l :: [a1627856150]) (l :: [b1627856151]) (l :: TyFun [c1627856152] [d1627856153])
data UnzipSym0 (l :: TyFun [(a1627856148, b1627856149)] ([a1627856148], [b1627856149]))
type UnzipSym1 (t :: [(a1627856148, b1627856149)]) = Unzip t
data UntilSym0 (l :: TyFun (TyFun a1627843639 Bool -> Type) (TyFun (TyFun a1627843639 a1627843639 -> Type) (TyFun a1627843639 a1627843639 -> Type) -> Type))
data UntilSym1 (l :: TyFun a1627843639 Bool -> Type) (l :: TyFun (TyFun a1627843639 a1627843639 -> Type) (TyFun a1627843639 a1627843639 -> Type))
data UntilSym2 (l :: TyFun a1627843639 Bool -> Type) (l :: TyFun a1627843639 a1627843639 -> Type) (l :: TyFun a1627843639 a1627843639)
type UntilSym3 (t :: TyFun a1627843639 Bool -> Type) (t :: TyFun a1627843639 a1627843639 -> Type) (t :: a1627843639) = Until t t t
data LengthSym0 (l :: TyFun [a1627856086] Nat)
type LengthSym1 (t :: [a1627856086]) = Length t
data SumSym0 (l :: TyFun [a1627856088] a1627856088)
type SumSym1 (t :: [a1627856088]) = Sum t
data ProductSym0 (l :: TyFun [a1627856087] a1627856087)
type ProductSym1 (t :: [a1627856087]) = Product t
data ReplicateSym0 (l :: TyFun Nat (TyFun a1627856085 [a1627856085] -> Type))
data ReplicateSym1 (l :: Nat) (l :: TyFun a1627856085 [a1627856085])
type ReplicateSym2 (t :: Nat) (t :: a1627856085) = Replicate t t
data TakeSym0 (l :: TyFun Nat (TyFun [a1627856101] [a1627856101] -> Type))
data TakeSym1 (l :: Nat) (l :: TyFun [a1627856101] [a1627856101])
type TakeSym2 (t :: Nat) (t :: [a1627856101]) = Take t t
data DropSym0 (l :: TyFun Nat (TyFun [a1627856100] [a1627856100] -> Type))
data DropSym1 (l :: Nat) (l :: TyFun [a1627856100] [a1627856100])
type DropSym2 (t :: Nat) (t :: [a1627856100]) = Drop t t
data SplitAtSym0 (l :: TyFun Nat (TyFun [a1627856099] ([a1627856099], [a1627856099]) -> Type))
data SplitAtSym1 (l :: Nat) (l :: TyFun [a1627856099] ([a1627856099], [a1627856099]))
type SplitAtSym2 (t :: Nat) (t :: [a1627856099]) = SplitAt t t
data TakeWhileSym0 (l :: TyFun (TyFun a1627856106 Bool -> Type) (TyFun [a1627856106] [a1627856106] -> Type))
data TakeWhileSym1 (l :: TyFun a1627856106 Bool -> Type) (l :: TyFun [a1627856106] [a1627856106])
type TakeWhileSym2 (t :: TyFun a1627856106 Bool -> Type) (t :: [a1627856106]) = TakeWhile t t
data DropWhileSym0 (l :: TyFun (TyFun a1627856105 Bool -> Type) (TyFun [a1627856105] [a1627856105] -> Type))
data DropWhileSym1 (l :: TyFun a1627856105 Bool -> Type) (l :: TyFun [a1627856105] [a1627856105])
type DropWhileSym2 (t :: TyFun a1627856105 Bool -> Type) (t :: [a1627856105]) = DropWhile t t
data SpanSym0 (l :: TyFun (TyFun a1627856103 Bool -> Type) (TyFun [a1627856103] ([a1627856103], [a1627856103]) -> Type))
data SpanSym1 (l :: TyFun a1627856103 Bool -> Type) (l :: TyFun [a1627856103] ([a1627856103], [a1627856103]))
type SpanSym2 (t :: TyFun a1627856103 Bool -> Type) (t :: [a1627856103]) = Span t t
data BreakSym0 (l :: TyFun (TyFun a1627856102 Bool -> Type) (TyFun [a1627856102] ([a1627856102], [a1627856102]) -> Type))
data BreakSym1 (l :: TyFun a1627856102 Bool -> Type) (l :: TyFun [a1627856102] ([a1627856102], [a1627856102]))
type BreakSym2 (t :: TyFun a1627856102 Bool -> Type) (t :: [a1627856102]) = Break t t
data LookupSym0 (l :: TyFun a1627856091 (TyFun [(a1627856091, b1627856092)] (Maybe b1627856092) -> Type))
data LookupSym1 (l :: a1627856091) (l :: TyFun [(a1627856091, b1627856092)] (Maybe b1627856092))
type LookupSym2 (t :: a1627856091) (t :: [(a1627856091, b1627856092)]) = Lookup t t
data FilterSym0 (l :: TyFun (TyFun a1627856114 Bool -> Type) (TyFun [a1627856114] [a1627856114] -> Type))
data FilterSym1 (l :: TyFun a1627856114 Bool -> Type) (l :: TyFun [a1627856114] [a1627856114])
type FilterSym2 (t :: TyFun a1627856114 Bool -> Type) (t :: [a1627856114]) = Filter t t
data (:!!$) (l :: TyFun [a1627856083] (TyFun Nat a1627856083 -> Type))
data (l :: [a1627856083]) :!!$$ (l :: TyFun Nat a1627856083)
type (:!!$$$) (t :: [a1627856083]) (t :: Nat) = (:!!) t t

Standard types, classes and related functions

Basic data types

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

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

Equations

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

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

Equations

Not False = TrueSym0
Not True = FalseSym0

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

Equations

False :&& _z_1627669154 = FalseSym0
True :&& x = x

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

Equations

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

type family Otherwise :: Bool where ... #

Equations

Otherwise = TrueSym0

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

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

Equations

Maybe_ n _z_1627823911 Nothing = n
Maybe_ _z_1627823914 f (Just x) = Apply f x

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

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

Equations

Either_ f _z_1627834007 (Left x) = Apply f x
Either_ _z_1627834011 g (Right y) = Apply g y

data Symbol :: * #

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

Instances

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

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

Equations

Fst '(x, _z_1627819906) = x

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

Equations

Snd '(_z_1627819897, y) = y

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

Equations

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

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

Equations

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

Error reporting

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

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

data ErrorSym0 (l :: TyFun k01627798799 k1627798801) #

Instances

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

Promoted equality

module Data.Promotion.Prelude.Eq

Promoted comparisons

module Data.Promotion.Prelude.Ord

Promoted enumerations

As a matter of convenience, the promoted Prelude does not export promoted succ and pred, due to likely conflicts with unary numbers. Please import Enum directly if you want these.

module Data.Promotion.Prelude.Enum

Promoted numbers

module Data.Promotion.Prelude.Num

Miscellaneous functions

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

Equations

Id x = x

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

Equations

Const x _z_1627672595 = x

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

Equations

(f :. g) a_1627672558 = Apply (Apply (Apply (Apply Lambda_1627672563Sym0 f) g) a_1627672558) a_1627672558

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

Instances

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

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

Instances

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

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

Equations

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

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

Equations

AsTypeOf a_1627672598 a_1627672600 = Apply (Apply ConstSym0 a_1627672598) a_1627672600

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

Equations

Until p f a_1627843662 = Apply (Let1627843667GoSym3 p f a_1627843662) a_1627843662

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

Equations

Seq _z_1627672521 x = x

List operations

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

Equations

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

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

Equations

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

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

Equations

Filter _p '[] = '[]
Filter p ((:) x xs) = Case_1627857542 p x xs (Let1627857529Scrutinee_1627856705Sym3 p x xs)

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

Null '[] = TrueSym0
Null ((:) _z_1627860026 _z_1627860029) = FalseSym0

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

Equations

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

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

Equations

'[] :!! _z_1627856899 = Apply ErrorSym0 "Data.Singletons.List.!!: index too large"
((:) x xs) :!! n = Case_1627856918 x xs n (Let1627856905Scrutinee_1627856745Sym3 x xs n)

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

Equations

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

Reducing lists (folds)

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

Equations

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

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

Equations

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

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

Equations

Foldr k z a_1627672661 = Apply (Let1627672666GoSym3 k z a_1627672661) a_1627672661

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

Equations

Foldr1 _z_1627859194 '[x] = x
Foldr1 f ((:) x ((:) wild_1627856651 wild_1627856653)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let1627859202XsSym4 f x wild_1627856651 wild_1627856653))
Foldr1 _z_1627859221 '[] = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list"

Special folds

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

Equations

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

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

Equations

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

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

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

Maximum '[] = Apply ErrorSym0 "Data.Singletons.List.maximum: empty list"
Maximum ((:) wild_1627856731 wild_1627856733) = Apply (Apply Foldl1Sym0 MaxSym0) (Let1627859419XsSym2 wild_1627856731 wild_1627856733)

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

Equations

Minimum '[] = Apply ErrorSym0 "Data.Singletons.List.minimum: empty list"
Minimum ((:) wild_1627856735 wild_1627856737) = Apply (Apply Foldl1Sym0 MinSym0) (Let1627859433XsSym2 wild_1627856735 wild_1627856737)

Building lists

Scans

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

Equations

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

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

Equations

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

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

Equations

Scanr _z_1627859068 q0 '[] = Apply (Apply (:$) q0) '[]
Scanr f q0 ((:) x xs) = Case_1627859095 f q0 x xs (Let1627859076Scrutinee_1627856655Sym4 f q0 x xs)

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

Equations

Scanr1 _z_1627858999 '[] = '[]
Scanr1 _z_1627859002 '[x] = Apply (Apply (:$) x) '[]
Scanr1 f ((:) x ((:) wild_1627856659 wild_1627856661)) = Case_1627859048 f x wild_1627856659 wild_1627856661 (Let1627859029Scrutinee_1627856657Sym4 f x wild_1627856659 wild_1627856661)

Infinite lists

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

Equations

Replicate n x = Case_1627856940 n x (Let1627856932Scrutinee_1627856743Sym2 n x)

Sublists

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

Equations

Take _z_1627857127 '[] = '[]
Take n ((:) x xs) = Case_1627857146 n x xs (Let1627857133Scrutinee_1627856727Sym3 n x xs)

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

Equations

Drop _z_1627857096 '[] = '[]
Drop n ((:) x xs) = Case_1627857115 n x xs (Let1627857102Scrutinee_1627856729Sym3 n x xs)

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

Equations

SplitAt n xs = Apply (Apply Tuple2Sym0 (Apply (Apply TakeSym0 n) xs)) (Apply (Apply DropSym0 n) xs)

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

Equations

TakeWhile _z_1627857494 '[] = '[]
TakeWhile p ((:) x xs) = Case_1627857513 p x xs (Let1627857500Scrutinee_1627856717Sym3 p x xs)

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

Equations

DropWhile _z_1627857450 '[] = '[]
DropWhile p ((:) x xs') = Case_1627857482 p x xs' (Let1627857469Scrutinee_1627856719Sym3 p x xs')

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

Equations

Span _z_1627857271 '[] = Apply (Apply Tuple2Sym0 Let1627857274XsSym0) Let1627857274XsSym0
Span p ((:) x xs') = Case_1627857304 p x xs' (Let1627857291Scrutinee_1627856723Sym3 p x xs')

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

Equations

Break _z_1627857169 '[] = Apply (Apply Tuple2Sym0 Let1627857172XsSym0) Let1627857172XsSym0
Break p ((:) x xs') = Case_1627857202 p x xs' (Let1627857189Scrutinee_1627856725Sym3 p x xs')

Searching lists

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

Equations

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

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

Equations

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

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

Equations

Lookup _key '[] = NothingSym0
Lookup key ((:) '(x, y) xys) = Case_1627857084 key x y xys (Let1627857065Scrutinee_1627856739Sym4 key x y xys)

Zipping and unzipping lists

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

Equations

Zip ((:) x xs) ((:) y ys) = Apply (Apply (:$) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ZipSym0 xs) ys)
Zip '[] '[] = '[]
Zip ((:) _z_1627858372 _z_1627858375) '[] = '[]
Zip '[] ((:) _z_1627858378 _z_1627858381) = '[]

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

Equations

Zip3 ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:$) (Apply (Apply (Apply Tuple3Sym0 a) b) c)) (Apply (Apply (Apply Zip3Sym0 as) bs) cs)
Zip3 '[] '[] '[] = '[]
Zip3 '[] '[] ((:) _z_1627858305 _z_1627858308) = '[]
Zip3 '[] ((:) _z_1627858311 _z_1627858314) '[] = '[]
Zip3 '[] ((:) _z_1627858317 _z_1627858320) ((:) _z_1627858323 _z_1627858326) = '[]
Zip3 ((:) _z_1627858329 _z_1627858332) '[] '[] = '[]
Zip3 ((:) _z_1627858335 _z_1627858338) '[] ((:) _z_1627858341 _z_1627858344) = '[]
Zip3 ((:) _z_1627858347 _z_1627858350) ((:) _z_1627858353 _z_1627858356) '[] = '[]

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

Equations

ZipWith f ((:) x xs) ((:) y ys) = Apply (Apply (:$) (Apply (Apply f x) y)) (Apply (Apply (Apply ZipWithSym0 f) xs) ys)
ZipWith _z_1627858263 '[] '[] = '[]
ZipWith _z_1627858266 ((:) _z_1627858269 _z_1627858272) '[] = '[]
ZipWith _z_1627858275 '[] ((:) _z_1627858278 _z_1627858281) = '[]

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

Equations

ZipWith3 z ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:$) (Apply (Apply (Apply z a) b) c)) (Apply (Apply (Apply (Apply ZipWith3Sym0 z) as) bs) cs)
ZipWith3 _z_1627858168 '[] '[] '[] = '[]
ZipWith3 _z_1627858171 '[] '[] ((:) _z_1627858174 _z_1627858177) = '[]
ZipWith3 _z_1627858180 '[] ((:) _z_1627858183 _z_1627858186) '[] = '[]
ZipWith3 _z_1627858189 '[] ((:) _z_1627858192 _z_1627858195) ((:) _z_1627858198 _z_1627858201) = '[]
ZipWith3 _z_1627858204 ((:) _z_1627858207 _z_1627858210) '[] '[] = '[]
ZipWith3 _z_1627858213 ((:) _z_1627858216 _z_1627858219) '[] ((:) _z_1627858222 _z_1627858225) = '[]
ZipWith3 _z_1627858228 ((:) _z_1627858231 _z_1627858234) ((:) _z_1627858237 _z_1627858240) '[] = '[]

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

Equations

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

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

Equations

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

Defunctionalization symbols

type FalseSym0 = False #

type TrueSym0 = True #

data NotSym0 (l :: TyFun Bool Bool) #

Instances

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

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

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

Instances

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

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

Instances

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

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

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

Instances

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

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

Instances

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

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

type OtherwiseSym0 = Otherwise #

type NothingSym0 = Nothing #

data JustSym0 (l :: TyFun a822083585 (Maybe a822083585)) #

Instances

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

type JustSym1 (t :: a822083585) = Just t #

data Maybe_Sym0 (l :: TyFun b1627823889 (TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type) -> Type)) #

Instances

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

data Maybe_Sym1 (l :: b1627823889) (l :: TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type)) #

Instances

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

data Maybe_Sym2 (l :: b1627823889) (l :: TyFun a1627823890 b1627823889 -> Type) (l :: TyFun (Maybe a1627823890) b1627823889) #

Instances

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

type Maybe_Sym3 (t :: b1627823889) (t :: TyFun a1627823890 b1627823889 -> Type) (t :: Maybe a1627823890) = Maybe_ t t t #

data LeftSym0 (l :: TyFun a1627455901 (Either a1627455901 b1627455902)) #

Instances

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

type LeftSym1 (t :: a1627455901) = Left t #

data RightSym0 (l :: TyFun b1627455902 (Either a1627455901 b1627455902)) #

Instances

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

type RightSym1 (t :: b1627455902) = Right t #

data Either_Sym0 (l :: TyFun (TyFun a1627833983 c1627833984 -> Type) (TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627833983 c1627833984 -> Type) (TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> Type) -> *) (Either_Sym0 a1627833983 b1627833985 c1627833984) #
Methods suppressUnusedWarnings :: Proxy (Either_Sym0 a1627833983 b1627833985 c1627833984) t -> () #
type Apply (TyFun a1627833983 c1627833984 -> Type) (TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> Type) (Either_Sym0 a1627833983 b1627833985 c1627833984) l #
type Apply (TyFun a1627833983 c1627833984 -> Type) (TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> Type) (Either_Sym0 a1627833983 b1627833985 c1627833984) l = Either_Sym1 a1627833983 b1627833985 c1627833984 l

data Either_Sym1 (l :: TyFun a1627833983 c1627833984 -> Type) (l :: TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627833983 c1627833984 -> Type) -> TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> *) (Either_Sym1 a1627833983 b1627833985 c1627833984) #
Methods suppressUnusedWarnings :: Proxy (Either_Sym1 a1627833983 b1627833985 c1627833984) t -> () #
type Apply (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) (Either_Sym1 a1627833983 b1627833985 c1627833984 l1) l2 #
type Apply (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) (Either_Sym1 a1627833983 b1627833985 c1627833984 l1) l2 = Either_Sym2 a1627833983 b1627833985 c1627833984 l1 l2

data Either_Sym2 (l :: TyFun a1627833983 c1627833984 -> Type) (l :: TyFun b1627833985 c1627833984 -> Type) (l :: TyFun (Either a1627833983 b1627833985) c1627833984) #

Instances

SuppressUnusedWarnings ((TyFun a1627833983 c1627833984 -> Type) -> (TyFun b1627833985 c1627833984 -> Type) -> TyFun (Either a1627833983 b1627833985) c1627833984 -> *) (Either_Sym2 a1627833983 b1627833985 c1627833984) #
Methods suppressUnusedWarnings :: Proxy (Either_Sym2 a1627833983 b1627833985 c1627833984) t -> () #
type Apply (Either a b) c (Either_Sym2 a b c l1 l2) l3 #
type Apply (Either a b) c (Either_Sym2 a b c l1 l2) l3 = Either_ a b c l1 l2 l3

type Either_Sym3 (t :: TyFun a1627833983 c1627833984 -> Type) (t :: TyFun b1627833985 c1627833984 -> Type) (t :: Either a1627833983 b1627833985) = Either_ t t t #

type Tuple0Sym0 = '() #

data Tuple2Sym0 (l :: TyFun a822083585 (TyFun b822083586 (a822083585, b822083586) -> Type)) #

Instances

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

data Tuple2Sym1 (l :: a822083585) (l :: TyFun b822083586 (a822083585, b822083586)) #

Instances

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

type Tuple2Sym2 (t :: a822083585) (t :: b822083586) = '(t, t) #

data Tuple3Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type) -> *) (Tuple3Sym0 a822083585 b822083586 c822083587) #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym0 a822083585 b822083586 c822083587) t -> () #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type) (Tuple3Sym0 a822083585 b822083586 c822083587) l #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type) (Tuple3Sym0 a822083585 b822083586 c822083587) l = Tuple3Sym1 a822083585 b822083586 c822083587 l

data Tuple3Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> *) (Tuple3Sym1 a822083585 b822083586 c822083587) #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym1 a822083585 b822083586 c822083587) t -> () #
type Apply b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) (Tuple3Sym1 a822083585 b822083586 c822083587 l1) l2 #
type Apply b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) (Tuple3Sym1 a822083585 b822083586 c822083587 l1) l2 = Tuple3Sym2 a822083585 b822083586 c822083587 l1 l2

data Tuple3Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (a822083585, b822083586, c822083587)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (a822083585, b822083586, c822083587) -> *) (Tuple3Sym2 a822083585 b822083586 c822083587) #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym2 a822083585 b822083586 c822083587) t -> () #
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 #
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 = (,,) k2 k1 k3 l1 l2 l3

type Tuple3Sym3 (t :: a822083585) (t :: b822083586) (t :: c822083587) = '(t, t, t) #

data Tuple4Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) t -> () #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type) (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) l #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type) (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) l = Tuple4Sym1 a822083585 b822083586 c822083587 d822083588 l

data Tuple4Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> *) (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588) t -> () #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588 l1) l2 #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588 l1) l2 = Tuple4Sym2 a822083585 b822083586 c822083587 d822083588 l1 l2

data Tuple4Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> *) (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588) t -> () #
type Apply c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588 l1 l2) l3 #
type Apply c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588 l1 l2) l3 = Tuple4Sym3 a822083585 b822083586 c822083587 d822083588 l1 l2 l3

data Tuple4Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (a822083585, b822083586, c822083587, d822083588)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> *) (Tuple4Sym3 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym3 a822083585 b822083586 c822083587 d822083588) t -> () #
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 #
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 = (,,,) k2 k1 k3 k4 l1 l2 l3 l4

type Tuple4Sym4 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) = '(t, t, t, t) #

data Tuple5Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) l #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) l = Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 l

data Tuple5Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 l1) l2 #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 l1) l2 = Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2

data Tuple5Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> *) (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2) l3 #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2) l3 = Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3

data Tuple5Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> *) (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
type Apply d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3) l4 #
type Apply d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3) l4 = Tuple5Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3 l4

data Tuple5Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> *) (Tuple5Sym4 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym4 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 #
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 = (,,,,) k2 k1 k3 k4 k5 l1 l2 l3 l4 l5

type Tuple5Sym5 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) = '(t, t, t, t, t) #

data Tuple6Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) l #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) l = Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l

data Tuple6Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1) l2 #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1) l2 = Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2

data Tuple6Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2) l3 #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2) l3 = Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3

data Tuple6Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> *) (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3) l4 #
type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3) l4 = Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4

data Tuple6Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> *) (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4) l5 #
type Apply e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4) l5 = Tuple6Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4 l5

data Tuple6Sym5 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> *) (Tuple6Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 #
type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 = (,,,,,) k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5 l6

type Tuple6Sym6 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) (t :: f822083590) = '(t, t, t, t, t, t) #

data Tuple7Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) l #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) l = Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l

data Tuple7Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1) l2 #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1) l2 = Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2

data Tuple7Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2) l3 #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2) l3 = Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3

data Tuple7Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3) l4 #
type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3) l4 = Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4

data Tuple7Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> *) (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4) l5 #
type Apply e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4) l5 = Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5

data Tuple7Sym5 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> *) (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5) l6 #
type Apply f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5) l6 = Tuple7Sym6 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5 l6

data Tuple7Sym6 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: f822083590) (l :: TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> f822083590 -> TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> *) (Tuple7Sym6 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym6 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
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 #
type Apply k7 (k2, k1, k3, k4, k5, k6, k7) (Tuple7Sym6 k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l7 = (,,,,,,) k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6 l7

type Tuple7Sym7 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) (t :: f822083590) (t :: g822083591) = '(t, t, t, t, t, t, t) #

data FstSym0 (l :: TyFun (a1627819853, b1627819854) a1627819853) #

Instances

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

type FstSym1 (t :: (a1627819853, b1627819854)) = Fst t #

data SndSym0 (l :: TyFun (a1627819851, b1627819852) b1627819852) #

Instances

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

type SndSym1 (t :: (a1627819851, b1627819852)) = Snd t #

data CurrySym0 (l :: TyFun (TyFun (a1627819848, b1627819849) c1627819850 -> Type) (TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun (a1627819848, b1627819849) c1627819850 -> Type) (TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> Type) -> *) (CurrySym0 a1627819848 b1627819849 c1627819850) #
Methods suppressUnusedWarnings :: Proxy (CurrySym0 a1627819848 b1627819849 c1627819850) t -> () #
type Apply (TyFun (a1627819848, b1627819849) c1627819850 -> Type) (TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> Type) (CurrySym0 a1627819848 b1627819849 c1627819850) l #
type Apply (TyFun (a1627819848, b1627819849) c1627819850 -> Type) (TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> Type) (CurrySym0 a1627819848 b1627819849 c1627819850) l = CurrySym1 a1627819848 b1627819849 c1627819850 l

data CurrySym1 (l :: TyFun (a1627819848, b1627819849) c1627819850 -> Type) (l :: TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun (a1627819848, b1627819849) c1627819850 -> Type) -> TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> *) (CurrySym1 a1627819848 b1627819849 c1627819850) #
Methods suppressUnusedWarnings :: Proxy (CurrySym1 a1627819848 b1627819849 c1627819850) t -> () #
type Apply a1627819848 (TyFun b1627819849 c1627819850 -> Type) (CurrySym1 a1627819848 b1627819849 c1627819850 l1) l2 #
type Apply a1627819848 (TyFun b1627819849 c1627819850 -> Type) (CurrySym1 a1627819848 b1627819849 c1627819850 l1) l2 = CurrySym2 a1627819848 b1627819849 c1627819850 l1 l2

data CurrySym2 (l :: TyFun (a1627819848, b1627819849) c1627819850 -> Type) (l :: a1627819848) (l :: TyFun b1627819849 c1627819850) #

Instances

SuppressUnusedWarnings ((TyFun (a1627819848, b1627819849) c1627819850 -> Type) -> a1627819848 -> TyFun b1627819849 c1627819850 -> *) (CurrySym2 a1627819848 b1627819849 c1627819850) #
Methods suppressUnusedWarnings :: Proxy (CurrySym2 a1627819848 b1627819849 c1627819850) t -> () #
type Apply b c (CurrySym2 a b c l1 l2) l3 #
type Apply b c (CurrySym2 a b c l1 l2) l3 = Curry a b c l1 l2 l3

type CurrySym3 (t :: TyFun (a1627819848, b1627819849) c1627819850 -> Type) (t :: a1627819848) (t :: b1627819849) = Curry t t t #

data UncurrySym0 (l :: TyFun (TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (TyFun (a1627819845, b1627819846) c1627819847 -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (TyFun (a1627819845, b1627819846) c1627819847 -> Type) -> *) (UncurrySym0 a1627819845 b1627819846 c1627819847) #
Methods suppressUnusedWarnings :: Proxy (UncurrySym0 a1627819845 b1627819846 c1627819847) t -> () #
type Apply (TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (TyFun (a1627819845, b1627819846) c1627819847 -> Type) (UncurrySym0 a1627819845 b1627819846 c1627819847) l #
type Apply (TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (TyFun (a1627819845, b1627819846) c1627819847 -> Type) (UncurrySym0 a1627819845 b1627819846 c1627819847) l = UncurrySym1 a1627819845 b1627819846 c1627819847 l

data UncurrySym1 (l :: TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (l :: TyFun (a1627819845, b1627819846) c1627819847) #

Instances

SuppressUnusedWarnings ((TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) -> TyFun (a1627819845, b1627819846) c1627819847 -> *) (UncurrySym1 a1627819845 b1627819846 c1627819847) #
Methods suppressUnusedWarnings :: Proxy (UncurrySym1 a1627819845 b1627819846 c1627819847) t -> () #
type Apply (a, b) c (UncurrySym1 a b c l1) l2 #
type Apply (a, b) c (UncurrySym1 a b c l1) l2 = Uncurry a b c l1 l2

type UncurrySym2 (t :: TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (t :: (a1627819845, b1627819846)) = Uncurry t t #

data (:^$) l #

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> ) -> ) (:^$) #
Methods suppressUnusedWarnings :: Proxy (:^$) t -> () #
type Apply Nat (TyFun Nat Nat -> *) (:^$) l #
type Apply Nat (TyFun Nat Nat -> *) (:^$) l = (:^$$) l

data (l :: Nat) :^$$ l #

Instances

SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:^$$) #
Methods suppressUnusedWarnings :: Proxy (:^$$) t -> () #
type Apply Nat Nat ((:^$$) l1) l2 #
type Apply Nat Nat ((:^$$) l1) l2 = (:^) l1 l2

data IdSym0 (l :: TyFun a1627672476 a1627672476) #

Instances

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

type IdSym1 (t :: a1627672476) = Id t #

data ConstSym0 (l :: TyFun a1627672474 (TyFun b1627672475 a1627672474 -> Type)) #

Instances

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

data ConstSym1 (l :: a1627672474) (l :: TyFun b1627672475 a1627672474) #

Instances

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

type ConstSym2 (t :: a1627672474) (t :: b1627672475) = Const t t #

data (:.$) (l :: TyFun (TyFun b1627672471 c1627672472 -> Type) (TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun b1627672471 c1627672472 -> Type) (TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> Type) -> *) ((:.$) b1627672471 a1627672473 c1627672472) #
Methods suppressUnusedWarnings :: Proxy ((b1627672471 :.$ a1627672473) c1627672472) t -> () #
type Apply (TyFun b1627672471 c1627672472 -> Type) (TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> Type) ((:.$) b1627672471 a1627672473 c1627672472) l #
type Apply (TyFun b1627672471 c1627672472 -> Type) (TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> Type) ((:.$) b1627672471 a1627672473 c1627672472) l = (:.$$) b1627672471 a1627672473 c1627672472 l

data (l :: TyFun b1627672471 c1627672472 -> Type) :.$$ (l :: TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun b1627672471 c1627672472 -> Type) -> TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> *) ((:.$$) b1627672471 a1627672473 c1627672472) #
Methods suppressUnusedWarnings :: Proxy ((b1627672471 :.$$ a1627672473) c1627672472) t -> () #
type Apply (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) ((:.$$) b1627672471 a1627672473 c1627672472 l1) l2 #
type Apply (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) ((:.$$) b1627672471 a1627672473 c1627672472 l1) l2 = (:.$$$) b1627672471 a1627672473 c1627672472 l1 l2

data ((l :: TyFun b1627672471 c1627672472 -> Type) :.$$$ (l :: TyFun a1627672473 b1627672471 -> Type)) (l :: TyFun a1627672473 c1627672472) #

Instances

SuppressUnusedWarnings ((TyFun b1627672471 c1627672472 -> Type) -> (TyFun a1627672473 b1627672471 -> Type) -> TyFun a1627672473 c1627672472 -> *) ((:.$$$) b1627672471 a1627672473 c1627672472) #
Methods suppressUnusedWarnings :: Proxy ((b1627672471 :.$$$ a1627672473) c1627672472) t -> () #
type Apply a c ((:.$$$) b a c l1 l2) l3 #
type Apply a c ((:.$$$) b a c l1 l2) l3 = (:.) b a c l1 l2 l3

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

Instances

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

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

Instances

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

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

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

Instances

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

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

Instances

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

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

data FlipSym0 (l :: TyFun (TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> Type) -> *) (FlipSym0 b1627672469 a1627672468 c1627672470) #
Methods suppressUnusedWarnings :: Proxy (FlipSym0 b1627672469 a1627672468 c1627672470) t -> () #
type Apply (TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> Type) (FlipSym0 b1627672469 a1627672468 c1627672470) l #
type Apply (TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> Type) (FlipSym0 b1627672469 a1627672468 c1627672470) l = FlipSym1 b1627672469 a1627672468 c1627672470 l

data FlipSym1 (l :: TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (l :: TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) -> TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> *) (FlipSym1 b1627672469 a1627672468 c1627672470) #
Methods suppressUnusedWarnings :: Proxy (FlipSym1 b1627672469 a1627672468 c1627672470) t -> () #
type Apply b1627672469 (TyFun a1627672468 c1627672470 -> Type) (FlipSym1 b1627672469 a1627672468 c1627672470 l1) l2 #
type Apply b1627672469 (TyFun a1627672468 c1627672470 -> Type) (FlipSym1 b1627672469 a1627672468 c1627672470 l1) l2 = FlipSym2 b1627672469 a1627672468 c1627672470 l1 l2

data FlipSym2 (l :: TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (l :: b1627672469) (l :: TyFun a1627672468 c1627672470) #

Instances

SuppressUnusedWarnings ((TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) -> b1627672469 -> TyFun a1627672468 c1627672470 -> *) (FlipSym2 b1627672469 a1627672468 c1627672470) #
Methods suppressUnusedWarnings :: Proxy (FlipSym2 b1627672469 a1627672468 c1627672470) t -> () #
type Apply a c (FlipSym2 b a c l1 l2) l3 #
type Apply a c (FlipSym2 b a c l1 l2) l3 = Flip b a c l1 l2 l3

data AsTypeOfSym0 (l :: TyFun a1627672467 (TyFun a1627672467 a1627672467 -> Type)) #

Instances

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

data AsTypeOfSym1 (l :: a1627672467) (l :: TyFun a1627672467 a1627672467) #

Instances

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

type AsTypeOfSym2 (t :: a1627672467) (t :: a1627672467) = AsTypeOf t t #

data SeqSym0 (l :: TyFun a1627672465 (TyFun b1627672466 b1627672466 -> Type)) #

Instances

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

data SeqSym1 (l :: a1627672465) (l :: TyFun b1627672466 b1627672466) #

Instances

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

type SeqSym2 (t :: a1627672465) (t :: b1627672466) = Seq t t #

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

Instances

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

data (l :: a822083585) :$$ (l :: TyFun [a822083585] [a822083585]) #

Instances

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

type (:$$$) (t :: a822083585) (t :: [a822083585]) = (:) t t #

type NilSym0 = '[] #

data MapSym0 (l :: TyFun (TyFun a1627672478 b1627672479 -> Type) (TyFun [a1627672478] [b1627672479] -> Type)) #

Instances

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

data MapSym1 (l :: TyFun a1627672478 b1627672479 -> Type) (l :: TyFun [a1627672478] [b1627672479]) #

Instances

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

type MapSym2 (t :: TyFun a1627672478 b1627672479 -> Type) (t :: [a1627672478]) = Map t t #

data ReverseSym0 (l :: TyFun [a1627856198] [a1627856198]) #

Instances

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

type ReverseSym1 (t :: [a1627856198]) = Reverse t #

data (l :: [a1627672477]) :++$$ (l :: TyFun [a1627672477] [a1627672477]) #

Instances

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

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

Instances

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

data HeadSym0 (l :: TyFun [a1627856203] a1627856203) #

Instances

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

type HeadSym1 (t :: [a1627856203]) = Head t #

data LastSym0 (l :: TyFun [a1627856202] a1627856202) #

Instances

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

type LastSym1 (t :: [a1627856202]) = Last t #

data TailSym0 (l :: TyFun [a1627856201] [a1627856201]) #

Instances

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

type TailSym1 (t :: [a1627856201]) = Tail t #

data InitSym0 (l :: TyFun [a1627856200] [a1627856200]) #

Instances

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

type InitSym1 (t :: [a1627856200]) = Init t #

data NullSym0 (l :: TyFun [a1627856199] Bool) #

Instances

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

type NullSym1 (t :: [a1627856199]) = Null t #

data FoldlSym0 (l :: TyFun (TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> Type)) #

Instances

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

data FoldlSym1 (l :: TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (l :: TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type)) #

Instances

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

data FoldlSym2 (l :: TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (l :: b1627632057) (l :: TyFun [a1627632056] b1627632057) #

Instances

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

type FoldlSym3 (t :: TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (t :: b1627632057) (t :: [a1627632056]) = Foldl t t t #

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

Instances

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

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

Instances

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

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

data FoldrSym0 (l :: TyFun (TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type) -> Type)) #

Instances

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

data FoldrSym1 (l :: TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (l :: TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type)) #

Instances

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

data FoldrSym2 (l :: TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (l :: b1627672481) (l :: TyFun [a1627672480] b1627672481) #

Instances

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

type FoldrSym3 (t :: TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (t :: b1627672481) (t :: [a1627672480]) = Foldr t t t #

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

Instances

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

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

Instances

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

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

data ConcatSym0 (l :: TyFun [[a1627856186]] [a1627856186]) #

Instances

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

type ConcatSym1 (t :: [[a1627856186]]) = Concat t #

data ConcatMapSym0 (l :: TyFun (TyFun a1627856184 [b1627856185] -> Type) (TyFun [a1627856184] [b1627856185] -> Type)) #

Instances

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

data ConcatMapSym1 (l :: TyFun a1627856184 [b1627856185] -> Type) (l :: TyFun [a1627856184] [b1627856185]) #

Instances

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

type ConcatMapSym2 (t :: TyFun a1627856184 [b1627856185] -> Type) (t :: [a1627856184]) = ConcatMap t t #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856116 (TyFun a1627856116 Ordering -> Type) -> Type) (TyFun [a1627856116] a1627856116 -> Type) -> *) (MaximumBySym0 a1627856116) #
Methods suppressUnusedWarnings :: Proxy (MaximumBySym0 a1627856116) t -> () #
type Apply (TyFun a1627856116 (TyFun a1627856116 Ordering -> Type) -> Type) (TyFun [a1627856116] a1627856116 -> Type) (MaximumBySym0 a1627856116) l #
type Apply (TyFun a1627856116 (TyFun a1627856116 Ordering -> Type) -> Type) (TyFun [a1627856116] a1627856116 -> Type) (MaximumBySym0 a1627856116) l = MaximumBySym1 a1627856116 l

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

Instances

SuppressUnusedWarnings ((TyFun a1627856116 (TyFun a1627856116 Ordering -> Type) -> Type) -> TyFun [a1627856116] a1627856116 -> *) (MaximumBySym1 a1627856116) #
Methods suppressUnusedWarnings :: Proxy (MaximumBySym1 a1627856116) t -> () #
type Apply [a] a (MaximumBySym1 a l1) l2 #
type Apply [a] a (MaximumBySym1 a l1) l2 = MaximumBy a l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856115 (TyFun a1627856115 Ordering -> Type) -> Type) (TyFun [a1627856115] a1627856115 -> Type) -> *) (MinimumBySym0 a1627856115) #
Methods suppressUnusedWarnings :: Proxy (MinimumBySym0 a1627856115) t -> () #
type Apply (TyFun a1627856115 (TyFun a1627856115 Ordering -> Type) -> Type) (TyFun [a1627856115] a1627856115 -> Type) (MinimumBySym0 a1627856115) l #
type Apply (TyFun a1627856115 (TyFun a1627856115 Ordering -> Type) -> Type) (TyFun [a1627856115] a1627856115 -> Type) (MinimumBySym0 a1627856115) l = MinimumBySym1 a1627856115 l

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

Instances

SuppressUnusedWarnings ((TyFun a1627856115 (TyFun a1627856115 Ordering -> Type) -> Type) -> TyFun [a1627856115] a1627856115 -> *) (MinimumBySym1 a1627856115) #
Methods suppressUnusedWarnings :: Proxy (MinimumBySym1 a1627856115) t -> () #
type Apply [a] a (MinimumBySym1 a l1) l2 #
type Apply [a] a (MinimumBySym1 a l1) l2 = MinimumBy a l1 l2

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

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

Instances

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

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

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

Instances

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

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

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

Instances

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

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

Instances

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

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

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

Instances

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

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

Instances

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

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

data ScanlSym0 (l :: TyFun (TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type) -> Type)) #

Instances

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

data ScanlSym1 (l :: TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (l :: TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type)) #

Instances

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

data ScanlSym2 (l :: TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (l :: b1627856181) (l :: TyFun [a1627856182] [b1627856181]) #

Instances

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

type ScanlSym3 (t :: TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (t :: b1627856181) (t :: [a1627856182]) = Scanl t t t #

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

Instances

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

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

Instances

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

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

data ScanrSym0 (l :: TyFun (TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type) -> Type)) #

Instances

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

data ScanrSym1 (l :: TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (l :: TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type)) #

Instances

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

data ScanrSym2 (l :: TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (l :: b1627856179) (l :: TyFun [a1627856178] [b1627856179]) #

Instances

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

type ScanrSym3 (t :: TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (t :: b1627856179) (t :: [a1627856178]) = Scanr t t t #

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

Instances

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

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

Instances

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

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

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

Instances

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

data ElemSym1 (l :: a1627856163) (l :: TyFun [a1627856163] Bool) #

Instances

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

type ElemSym2 (t :: a1627856163) (t :: [a1627856163]) = Elem t t #

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

Instances

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

data NotElemSym1 (l :: a1627856162) (l :: TyFun [a1627856162] Bool) #

Instances

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

type NotElemSym2 (t :: a1627856162) (t :: [a1627856162]) = NotElem t t #

data ZipSym0 (l :: TyFun [a1627856160] (TyFun [b1627856161] [(a1627856160, b1627856161)] -> Type)) #

Instances

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

data ZipSym1 (l :: [a1627856160]) (l :: TyFun [b1627856161] [(a1627856160, b1627856161)]) #

Instances

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

type ZipSym2 (t :: [a1627856160]) (t :: [b1627856161]) = Zip t t #

data Zip3Sym0 (l :: TyFun [a1627856157] (TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun [a1627856157] (TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> Type) -> *) (Zip3Sym0 a1627856157 b1627856158 c1627856159) #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym0 a1627856157 b1627856158 c1627856159) t -> () #
type Apply [a1627856157] (TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> Type) (Zip3Sym0 a1627856157 b1627856158 c1627856159) l #
type Apply [a1627856157] (TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> Type) (Zip3Sym0 a1627856157 b1627856158 c1627856159) l = Zip3Sym1 a1627856157 b1627856158 c1627856159 l

data Zip3Sym1 (l :: [a1627856157]) (l :: TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type)) #

Instances

SuppressUnusedWarnings ([a1627856157] -> TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> *) (Zip3Sym1 a1627856157 b1627856158 c1627856159) #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym1 a1627856157 b1627856158 c1627856159) t -> () #
type Apply [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) (Zip3Sym1 a1627856157 b1627856158 c1627856159 l1) l2 #
type Apply [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) (Zip3Sym1 a1627856157 b1627856158 c1627856159 l1) l2 = Zip3Sym2 a1627856157 b1627856158 c1627856159 l1 l2

data Zip3Sym2 (l :: [a1627856157]) (l :: [b1627856158]) (l :: TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)]) #

Instances

SuppressUnusedWarnings ([a1627856157] -> [b1627856158] -> TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> *) (Zip3Sym2 a1627856157 b1627856158 c1627856159) #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym2 a1627856157 b1627856158 c1627856159) t -> () #
type Apply [c] [(a, b, c)] (Zip3Sym2 a b c l1 l2) l3 #
type Apply [c] [(a, b, c)] (Zip3Sym2 a b c l1 l2) l3 = Zip3 a b c l1 l2 l3

type Zip3Sym3 (t :: [a1627856157]) (t :: [b1627856158]) (t :: [c1627856159]) = Zip3 t t t #

data ZipWithSym0 (l :: TyFun (TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> Type) -> *) (ZipWithSym0 a1627856154 b1627856155 c1627856156) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym0 a1627856154 b1627856155 c1627856156) t -> () #
type Apply (TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> Type) (ZipWithSym0 a1627856154 b1627856155 c1627856156) l #
type Apply (TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> Type) (ZipWithSym0 a1627856154 b1627856155 c1627856156) l = ZipWithSym1 a1627856154 b1627856155 c1627856156 l

data ZipWithSym1 (l :: TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (l :: TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) -> TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> *) (ZipWithSym1 a1627856154 b1627856155 c1627856156) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym1 a1627856154 b1627856155 c1627856156) t -> () #
type Apply [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) (ZipWithSym1 a1627856154 b1627856155 c1627856156 l1) l2 #
type Apply [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) (ZipWithSym1 a1627856154 b1627856155 c1627856156 l1) l2 = ZipWithSym2 a1627856154 b1627856155 c1627856156 l1 l2

data ZipWithSym2 (l :: TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (l :: [a1627856154]) (l :: TyFun [b1627856155] [c1627856156]) #

Instances

SuppressUnusedWarnings ((TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) -> [a1627856154] -> TyFun [b1627856155] [c1627856156] -> *) (ZipWithSym2 a1627856154 b1627856155 c1627856156) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym2 a1627856154 b1627856155 c1627856156) t -> () #
type Apply [b] [c] (ZipWithSym2 a b c l1 l2) l3 #
type Apply [b] [c] (ZipWithSym2 a b c l1 l2) l3 = ZipWith a b c l1 l2 l3

type ZipWithSym3 (t :: TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (t :: [a1627856154]) (t :: [b1627856155]) = ZipWith t t t #

data ZipWith3Sym0 (l :: TyFun (TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a1627856150 b1627856151 c1627856152 d1627856153) #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym0 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #
type Apply (TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> Type) (ZipWith3Sym0 a1627856150 b1627856151 c1627856152 d1627856153) l #
type Apply (TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> Type) (ZipWith3Sym0 a1627856150 b1627856151 c1627856152 d1627856153) l = ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153 l

data ZipWith3Sym1 (l :: TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (l :: TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) -> TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> *) (ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153) #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #
type Apply [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) (ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153 l1) l2 #
type Apply [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) (ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153 l1) l2 = ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153 l1 l2

data ZipWith3Sym2 (l :: TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (l :: [a1627856150]) (l :: TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) -> [a1627856150] -> TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> *) (ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153) #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #
type Apply [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) (ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153 l1 l2) l3 #
type Apply [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) (ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153 l1 l2) l3 = ZipWith3Sym3 a1627856150 b1627856151 c1627856152 d1627856153 l1 l2 l3

data ZipWith3Sym3 (l :: TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (l :: [a1627856150]) (l :: [b1627856151]) (l :: TyFun [c1627856152] [d1627856153]) #

Instances

SuppressUnusedWarnings ((TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) -> [a1627856150] -> [b1627856151] -> TyFun [c1627856152] [d1627856153] -> *) (ZipWith3Sym3 a1627856150 b1627856151 c1627856152 d1627856153) #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym3 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #
type Apply [c] [d] (ZipWith3Sym3 a b c d l1 l2 l3) l4 #
type Apply [c] [d] (ZipWith3Sym3 a b c d l1 l2 l3) l4 = ZipWith3 a b c d l1 l2 l3 l4

data UnzipSym0 (l :: TyFun [(a1627856148, b1627856149)] ([a1627856148], [b1627856149])) #

Instances

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

type UnzipSym1 (t :: [(a1627856148, b1627856149)]) = Unzip t #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627843639 Bool -> Type) (TyFun (TyFun a1627843639 a1627843639 -> Type) (TyFun a1627843639 a1627843639 -> Type) -> Type) -> *) (UntilSym0 a1627843639) #
Methods suppressUnusedWarnings :: Proxy (UntilSym0 a1627843639) t -> () #
type Apply (TyFun a1627843639 Bool -> Type) (TyFun (TyFun a1627843639 a1627843639 -> Type) (TyFun a1627843639 a1627843639 -> Type) -> Type) (UntilSym0 a1627843639) l #
type Apply (TyFun a1627843639 Bool -> Type) (TyFun (TyFun a1627843639 a1627843639 -> Type) (TyFun a1627843639 a1627843639 -> Type) -> Type) (UntilSym0 a1627843639) l = UntilSym1 a1627843639 l

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

Instances

SuppressUnusedWarnings ((TyFun a1627843639 Bool -> Type) -> TyFun (TyFun a1627843639 a1627843639 -> Type) (TyFun a1627843639 a1627843639 -> Type) -> *) (UntilSym1 a1627843639) #
Methods suppressUnusedWarnings :: Proxy (UntilSym1 a1627843639) t -> () #
type Apply (TyFun a1627843639 a1627843639 -> Type) (TyFun a1627843639 a1627843639 -> Type) (UntilSym1 a1627843639 l1) l2 #
type Apply (TyFun a1627843639 a1627843639 -> Type) (TyFun a1627843639 a1627843639 -> Type) (UntilSym1 a1627843639 l1) l2 = UntilSym2 a1627843639 l1 l2

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

Instances

SuppressUnusedWarnings ((TyFun a1627843639 Bool -> Type) -> (TyFun a1627843639 a1627843639 -> Type) -> TyFun a1627843639 a1627843639 -> *) (UntilSym2 a1627843639) #
Methods suppressUnusedWarnings :: Proxy (UntilSym2 a1627843639) t -> () #
type Apply a a (UntilSym2 a l1 l2) l3 #
type Apply a a (UntilSym2 a l1 l2) l3 = Until a l1 l2 l3

type UntilSym3 (t :: TyFun a1627843639 Bool -> Type) (t :: TyFun a1627843639 a1627843639 -> Type) (t :: a1627843639) = Until t t t #

data LengthSym0 (l :: TyFun [a1627856086] Nat) #

Instances

SuppressUnusedWarnings (TyFun [a1627856086] Nat -> *) (LengthSym0 a1627856086) #
Methods suppressUnusedWarnings :: Proxy (LengthSym0 a1627856086) t -> () #
type Apply [a] Nat (LengthSym0 a) l #
type Apply [a] Nat (LengthSym0 a) l = Length a l

type LengthSym1 (t :: [a1627856086]) = Length t #

data SumSym0 (l :: TyFun [a1627856088] a1627856088) #

Instances

SuppressUnusedWarnings (TyFun [a1627856088] a1627856088 -> *) (SumSym0 a1627856088) #
Methods suppressUnusedWarnings :: Proxy (SumSym0 a1627856088) t -> () #
type Apply [a] a (SumSym0 a) l #
type Apply [a] a (SumSym0 a) l = Sum a l

type SumSym1 (t :: [a1627856088]) = Sum t #

data ProductSym0 (l :: TyFun [a1627856087] a1627856087) #

Instances

SuppressUnusedWarnings (TyFun [a1627856087] a1627856087 -> *) (ProductSym0 a1627856087) #
Methods suppressUnusedWarnings :: Proxy (ProductSym0 a1627856087) t -> () #
type Apply [a] a (ProductSym0 a) l #
type Apply [a] a (ProductSym0 a) l = Product a l

type ProductSym1 (t :: [a1627856087]) = Product t #

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

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun a1627856085 [a1627856085] -> Type) -> *) (ReplicateSym0 a1627856085) #
Methods suppressUnusedWarnings :: Proxy (ReplicateSym0 a1627856085) t -> () #
type Apply Nat (TyFun a1627856085 [a1627856085] -> Type) (ReplicateSym0 a1627856085) l #
type Apply Nat (TyFun a1627856085 [a1627856085] -> Type) (ReplicateSym0 a1627856085) l = ReplicateSym1 a1627856085 l

data ReplicateSym1 (l :: Nat) (l :: TyFun a1627856085 [a1627856085]) #

Instances

SuppressUnusedWarnings (Nat -> TyFun a1627856085 [a1627856085] -> *) (ReplicateSym1 a1627856085) #
Methods suppressUnusedWarnings :: Proxy (ReplicateSym1 a1627856085) t -> () #
type Apply a [a] (ReplicateSym1 a l1) l2 #
type Apply a [a] (ReplicateSym1 a l1) l2 = Replicate a l1 l2

type ReplicateSym2 (t :: Nat) (t :: a1627856085) = Replicate t t #

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

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun [a1627856101] [a1627856101] -> Type) -> *) (TakeSym0 a1627856101) #
Methods suppressUnusedWarnings :: Proxy (TakeSym0 a1627856101) t -> () #
type Apply Nat (TyFun [a1627856101] [a1627856101] -> Type) (TakeSym0 a1627856101) l #
type Apply Nat (TyFun [a1627856101] [a1627856101] -> Type) (TakeSym0 a1627856101) l = TakeSym1 a1627856101 l

data TakeSym1 (l :: Nat) (l :: TyFun [a1627856101] [a1627856101]) #

Instances

SuppressUnusedWarnings (Nat -> TyFun [a1627856101] [a1627856101] -> *) (TakeSym1 a1627856101) #
Methods suppressUnusedWarnings :: Proxy (TakeSym1 a1627856101) t -> () #
type Apply [a] [a] (TakeSym1 a l1) l2 #
type Apply [a] [a] (TakeSym1 a l1) l2 = Take a l1 l2

type TakeSym2 (t :: Nat) (t :: [a1627856101]) = Take t t #

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

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun [a1627856100] [a1627856100] -> Type) -> *) (DropSym0 a1627856100) #
Methods suppressUnusedWarnings :: Proxy (DropSym0 a1627856100) t -> () #
type Apply Nat (TyFun [a1627856100] [a1627856100] -> Type) (DropSym0 a1627856100) l #
type Apply Nat (TyFun [a1627856100] [a1627856100] -> Type) (DropSym0 a1627856100) l = DropSym1 a1627856100 l

data DropSym1 (l :: Nat) (l :: TyFun [a1627856100] [a1627856100]) #

Instances

SuppressUnusedWarnings (Nat -> TyFun [a1627856100] [a1627856100] -> *) (DropSym1 a1627856100) #
Methods suppressUnusedWarnings :: Proxy (DropSym1 a1627856100) t -> () #
type Apply [a] [a] (DropSym1 a l1) l2 #
type Apply [a] [a] (DropSym1 a l1) l2 = Drop a l1 l2

type DropSym2 (t :: Nat) (t :: [a1627856100]) = Drop t t #

data SplitAtSym0 (l :: TyFun Nat (TyFun [a1627856099] ([a1627856099], [a1627856099]) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun [a1627856099] ([a1627856099], [a1627856099]) -> Type) -> *) (SplitAtSym0 a1627856099) #
Methods suppressUnusedWarnings :: Proxy (SplitAtSym0 a1627856099) t -> () #
type Apply Nat (TyFun [a1627856099] ([a1627856099], [a1627856099]) -> Type) (SplitAtSym0 a1627856099) l #
type Apply Nat (TyFun [a1627856099] ([a1627856099], [a1627856099]) -> Type) (SplitAtSym0 a1627856099) l = SplitAtSym1 a1627856099 l

data SplitAtSym1 (l :: Nat) (l :: TyFun [a1627856099] ([a1627856099], [a1627856099])) #

Instances

SuppressUnusedWarnings (Nat -> TyFun [a1627856099] ([a1627856099], [a1627856099]) -> *) (SplitAtSym1 a1627856099) #
Methods suppressUnusedWarnings :: Proxy (SplitAtSym1 a1627856099) t -> () #
type Apply [a] ([a], [a]) (SplitAtSym1 a l1) l2 #
type Apply [a] ([a], [a]) (SplitAtSym1 a l1) l2 = SplitAt a l1 l2

type SplitAtSym2 (t :: Nat) (t :: [a1627856099]) = SplitAt t t #

data TakeWhileSym0 (l :: TyFun (TyFun a1627856106 Bool -> Type) (TyFun [a1627856106] [a1627856106] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856106 Bool -> Type) (TyFun [a1627856106] [a1627856106] -> Type) -> *) (TakeWhileSym0 a1627856106) #
Methods suppressUnusedWarnings :: Proxy (TakeWhileSym0 a1627856106) t -> () #
type Apply (TyFun a1627856106 Bool -> Type) (TyFun [a1627856106] [a1627856106] -> Type) (TakeWhileSym0 a1627856106) l #
type Apply (TyFun a1627856106 Bool -> Type) (TyFun [a1627856106] [a1627856106] -> Type) (TakeWhileSym0 a1627856106) l = TakeWhileSym1 a1627856106 l

data TakeWhileSym1 (l :: TyFun a1627856106 Bool -> Type) (l :: TyFun [a1627856106] [a1627856106]) #

Instances

SuppressUnusedWarnings ((TyFun a1627856106 Bool -> Type) -> TyFun [a1627856106] [a1627856106] -> *) (TakeWhileSym1 a1627856106) #
Methods suppressUnusedWarnings :: Proxy (TakeWhileSym1 a1627856106) t -> () #
type Apply [a] [a] (TakeWhileSym1 a l1) l2 #
type Apply [a] [a] (TakeWhileSym1 a l1) l2 = TakeWhile a l1 l2

type TakeWhileSym2 (t :: TyFun a1627856106 Bool -> Type) (t :: [a1627856106]) = TakeWhile t t #

data DropWhileSym0 (l :: TyFun (TyFun a1627856105 Bool -> Type) (TyFun [a1627856105] [a1627856105] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856105 Bool -> Type) (TyFun [a1627856105] [a1627856105] -> Type) -> *) (DropWhileSym0 a1627856105) #
Methods suppressUnusedWarnings :: Proxy (DropWhileSym0 a1627856105) t -> () #
type Apply (TyFun a1627856105 Bool -> Type) (TyFun [a1627856105] [a1627856105] -> Type) (DropWhileSym0 a1627856105) l #
type Apply (TyFun a1627856105 Bool -> Type) (TyFun [a1627856105] [a1627856105] -> Type) (DropWhileSym0 a1627856105) l = DropWhileSym1 a1627856105 l

data DropWhileSym1 (l :: TyFun a1627856105 Bool -> Type) (l :: TyFun [a1627856105] [a1627856105]) #

Instances

SuppressUnusedWarnings ((TyFun a1627856105 Bool -> Type) -> TyFun [a1627856105] [a1627856105] -> *) (DropWhileSym1 a1627856105) #
Methods suppressUnusedWarnings :: Proxy (DropWhileSym1 a1627856105) t -> () #
type Apply [a] [a] (DropWhileSym1 a l1) l2 #
type Apply [a] [a] (DropWhileSym1 a l1) l2 = DropWhile a l1 l2

type DropWhileSym2 (t :: TyFun a1627856105 Bool -> Type) (t :: [a1627856105]) = DropWhile t t #

data SpanSym0 (l :: TyFun (TyFun a1627856103 Bool -> Type) (TyFun [a1627856103] ([a1627856103], [a1627856103]) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856103 Bool -> Type) (TyFun [a1627856103] ([a1627856103], [a1627856103]) -> Type) -> *) (SpanSym0 a1627856103) #
Methods suppressUnusedWarnings :: Proxy (SpanSym0 a1627856103) t -> () #
type Apply (TyFun a1627856103 Bool -> Type) (TyFun [a1627856103] ([a1627856103], [a1627856103]) -> Type) (SpanSym0 a1627856103) l #
type Apply (TyFun a1627856103 Bool -> Type) (TyFun [a1627856103] ([a1627856103], [a1627856103]) -> Type) (SpanSym0 a1627856103) l = SpanSym1 a1627856103 l

data SpanSym1 (l :: TyFun a1627856103 Bool -> Type) (l :: TyFun [a1627856103] ([a1627856103], [a1627856103])) #

Instances

SuppressUnusedWarnings ((TyFun a1627856103 Bool -> Type) -> TyFun [a1627856103] ([a1627856103], [a1627856103]) -> *) (SpanSym1 a1627856103) #
Methods suppressUnusedWarnings :: Proxy (SpanSym1 a1627856103) t -> () #
type Apply [a] ([a], [a]) (SpanSym1 a l1) l2 #
type Apply [a] ([a], [a]) (SpanSym1 a l1) l2 = Span a l1 l2

type SpanSym2 (t :: TyFun a1627856103 Bool -> Type) (t :: [a1627856103]) = Span t t #

data BreakSym0 (l :: TyFun (TyFun a1627856102 Bool -> Type) (TyFun [a1627856102] ([a1627856102], [a1627856102]) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856102 Bool -> Type) (TyFun [a1627856102] ([a1627856102], [a1627856102]) -> Type) -> *) (BreakSym0 a1627856102) #
Methods suppressUnusedWarnings :: Proxy (BreakSym0 a1627856102) t -> () #
type Apply (TyFun a1627856102 Bool -> Type) (TyFun [a1627856102] ([a1627856102], [a1627856102]) -> Type) (BreakSym0 a1627856102) l #
type Apply (TyFun a1627856102 Bool -> Type) (TyFun [a1627856102] ([a1627856102], [a1627856102]) -> Type) (BreakSym0 a1627856102) l = BreakSym1 a1627856102 l

data BreakSym1 (l :: TyFun a1627856102 Bool -> Type) (l :: TyFun [a1627856102] ([a1627856102], [a1627856102])) #

Instances

SuppressUnusedWarnings ((TyFun a1627856102 Bool -> Type) -> TyFun [a1627856102] ([a1627856102], [a1627856102]) -> *) (BreakSym1 a1627856102) #
Methods suppressUnusedWarnings :: Proxy (BreakSym1 a1627856102) t -> () #
type Apply [a] ([a], [a]) (BreakSym1 a l1) l2 #
type Apply [a] ([a], [a]) (BreakSym1 a l1) l2 = Break a l1 l2

type BreakSym2 (t :: TyFun a1627856102 Bool -> Type) (t :: [a1627856102]) = Break t t #

data LookupSym0 (l :: TyFun a1627856091 (TyFun [(a1627856091, b1627856092)] (Maybe b1627856092) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a1627856091 (TyFun [(a1627856091, b1627856092)] (Maybe b1627856092) -> Type) -> *) (LookupSym0 a1627856091 b1627856092) #
Methods suppressUnusedWarnings :: Proxy (LookupSym0 a1627856091 b1627856092) t -> () #
type Apply a1627856091 (TyFun [(a1627856091, b1627856092)] (Maybe b1627856092) -> Type) (LookupSym0 a1627856091 b1627856092) l #
type Apply a1627856091 (TyFun [(a1627856091, b1627856092)] (Maybe b1627856092) -> Type) (LookupSym0 a1627856091 b1627856092) l = LookupSym1 a1627856091 b1627856092 l

data LookupSym1 (l :: a1627856091) (l :: TyFun [(a1627856091, b1627856092)] (Maybe b1627856092)) #

Instances

SuppressUnusedWarnings (a1627856091 -> TyFun [(a1627856091, b1627856092)] (Maybe b1627856092) -> *) (LookupSym1 a1627856091 b1627856092) #
Methods suppressUnusedWarnings :: Proxy (LookupSym1 a1627856091 b1627856092) t -> () #
type Apply [(a, b)] (Maybe b) (LookupSym1 a b l1) l2 #
type Apply [(a, b)] (Maybe b) (LookupSym1 a b l1) l2 = Lookup a b l1 l2

type LookupSym2 (t :: a1627856091) (t :: [(a1627856091, b1627856092)]) = Lookup t t #

data FilterSym0 (l :: TyFun (TyFun a1627856114 Bool -> Type) (TyFun [a1627856114] [a1627856114] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856114 Bool -> Type) (TyFun [a1627856114] [a1627856114] -> Type) -> *) (FilterSym0 a1627856114) #
Methods suppressUnusedWarnings :: Proxy (FilterSym0 a1627856114) t -> () #
type Apply (TyFun a1627856114 Bool -> Type) (TyFun [a1627856114] [a1627856114] -> Type) (FilterSym0 a1627856114) l #
type Apply (TyFun a1627856114 Bool -> Type) (TyFun [a1627856114] [a1627856114] -> Type) (FilterSym0 a1627856114) l = FilterSym1 a1627856114 l

data FilterSym1 (l :: TyFun a1627856114 Bool -> Type) (l :: TyFun [a1627856114] [a1627856114]) #

Instances

SuppressUnusedWarnings ((TyFun a1627856114 Bool -> Type) -> TyFun [a1627856114] [a1627856114] -> *) (FilterSym1 a1627856114) #
Methods suppressUnusedWarnings :: Proxy (FilterSym1 a1627856114) t -> () #
type Apply [a] [a] (FilterSym1 a l1) l2 #
type Apply [a] [a] (FilterSym1 a l1) l2 = Filter a l1 l2

type FilterSym2 (t :: TyFun a1627856114 Bool -> Type) (t :: [a1627856114]) = Filter t t #

data (:!!$) (l :: TyFun [a1627856083] (TyFun Nat a1627856083 -> Type)) #

Instances

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

data (l :: [a1627856083]) :!!$$ (l :: TyFun Nat a1627856083) #

Instances

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

type (:!!$$$) (t :: [a1627856083]) (t :: Nat) = (:!!) t t #

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

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