singletons-2.4: A framework for generating singleton types

Copyright (C) 2014 Jan Stolarek BSD-style (see LICENSE) Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portable None Haskell2010

Data.Promotion.Prelude

Description

Mimics the Haskell Prelude, but with promoted types.

Synopsis

# Standard types, classes and related functions

## Basic data types

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

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

Equations

 If True (tru :: k) (fls :: k) = tru If False (tru :: k) (fls :: k) = fls

type family Not (a :: Bool) = (res :: Bool) | res -> a where ... #

Type-level "not". An injective type family since 4.10.0.0.

Since: 4.7.0.0

Equations

 Not False = True Not True = False

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

Type-level "and"

Equations

 False && a = False True && a = a a && False = False a && True = a a && a = a

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

Type-level "or"

Equations

 False || a = a True || a = True a || False = a a || True = True a || a = a

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

Equations

 Otherwise = TrueSym0

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

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

Equations

 Maybe_ n _ Nothing = n Maybe_ _ f (Just x) = Apply f x

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

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

Equations

 Either_ f _ (Left x) = Apply f x Either_ _ 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 Instance detailsAssociated Typestype DemoteRep Symbol :: * MethodsfromSing :: Sing a -> DemoteRep Symbol Source # Instance detailsMethodsshowsSingPrec :: Int -> Sing a -> ShowS Source # Source # Instance detailsMethods Source # Instance detailsAssociated Typestype FromString arg :: a Source # Source # Instance detailsMethodssShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source #sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source #sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source # Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # KnownSymbol a => SingI (a :: Symbol) Since: 4.9.0.0 Instance detailsMethodssing :: Sing a Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods Source # Instance detailsMethods SuppressUnusedWarnings (ShowListWithSym2 :: (TyFun a6989586621679672322 (TyFun Symbol Symbol -> Type) -> Type) -> [a6989586621679672322] -> TyFun Symbol Symbol -> *) Source # Instance detailsMethods SuppressUnusedWarnings (ShowListWithSym1 :: (TyFun a6989586621679672322 (TyFun Symbol Symbol -> Type) -> Type) -> TyFun [a6989586621679672322] (TyFun Symbol Symbol -> Type) -> *) Source # Instance detailsMethods SuppressUnusedWarnings (ShowListSym1 :: [a6989586621679672338] -> TyFun Symbol Symbol -> *) Source # Instance detailsMethods SuppressUnusedWarnings (ShowsPrecSym2 :: Nat -> a6989586621679672338 -> TyFun Symbol Symbol -> *) Source # Instance detailsMethods SuppressUnusedWarnings (ShowsPrecSym1 :: Nat -> TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> *) Source # Instance detailsMethods SuppressUnusedWarnings (ShowsSym1 :: a6989586621679672323 -> TyFun Symbol Symbol -> *) Source # Instance detailsMethods SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (TyFun a6989586621679672322 (TyFun Symbol Symbol -> Type) -> Type) (TyFun [a6989586621679672322] (TyFun Symbol Symbol -> Type) -> Type) -> *) Source # Instance detailsMethods SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621679672338] (TyFun Symbol Symbol -> Type) -> *) Source # Instance detailsMethods SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> Type) -> *) Source # Instance detailsMethods SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621679411866 -> *) Source # Instance detailsMethods SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621679672338 Symbol -> *) Source # Instance detailsMethods SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621679672323 (TyFun Symbol Symbol -> Type) -> *) Source # Instance detailsMethods data Sing (s :: Symbol) Instance detailsdata Sing (s :: Symbol) whereSSym :: Sing s type DemoteRep Symbol Instance detailstype DemoteRep Symbol = String type Demote Symbol Source # Instance detailstype Demote Symbol = Text data Sing (n :: Symbol) Source # Instance detailsdata Sing (n :: Symbol) whereSSym :: Sing n type FromString a Source # Instance detailstype FromString a = a type Show_ (arg :: Symbol) Source # Instance detailstype Show_ (arg :: Symbol) type (a :: Symbol) == (b :: Symbol) Source # Instance detailstype (a :: Symbol) == (b :: Symbol) = a == b type (x :: Symbol) /= (y :: Symbol) Source # Instance detailstype (x :: Symbol) /= (y :: Symbol) = Not (x == y) type Compare (a :: Symbol) (b :: Symbol) Source # Instance detailstype Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b type (arg1 :: Symbol) < (arg2 :: Symbol) Source # Instance detailstype (arg1 :: Symbol) < (arg2 :: Symbol) type (arg1 :: Symbol) <= (arg2 :: Symbol) Source # Instance detailstype (arg1 :: Symbol) <= (arg2 :: Symbol) type (arg1 :: Symbol) > (arg2 :: Symbol) Source # Instance detailstype (arg1 :: Symbol) > (arg2 :: Symbol) type (arg1 :: Symbol) >= (arg2 :: Symbol) Source # Instance detailstype (arg1 :: Symbol) >= (arg2 :: Symbol) type Max (arg1 :: Symbol) (arg2 :: Symbol) Source # Instance detailstype Max (arg1 :: Symbol) (arg2 :: Symbol) type Min (arg1 :: Symbol) (arg2 :: Symbol) Source # Instance detailstype Min (arg1 :: Symbol) (arg2 :: Symbol) type ShowList (arg1 :: [Symbol]) arg2 Source # Instance detailstype ShowList (arg1 :: [Symbol]) arg2 type Apply KnownSymbolSym0 (l :: Symbol) Source # Instance detailstype Apply KnownSymbolSym0 (l :: Symbol) = KnownSymbol l type Apply ShowCommaSpaceSym0 (l :: Symbol) Source # Instance detailstype Apply ShowCommaSpaceSym0 (l :: Symbol) = ShowCommaSpace l type Apply ShowSpaceSym0 (l :: Symbol) Source # Instance detailstype Apply ShowSpaceSym0 (l :: Symbol) = ShowSpace l type ShowsPrec a1 (a2 :: Symbol) a3 Source # Instance detailstype ShowsPrec a1 (a2 :: Symbol) a3 type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # Instance detailstype Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = l1 <> l2 type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # Instance detailstype Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowChar l1 l2 type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # Instance detailstype Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowString l1 l2 type Apply (FromStringSym0 :: TyFun Symbol k2 -> *) (l :: Symbol) Source # Instance detailstype Apply (FromStringSym0 :: TyFun Symbol k2 -> *) (l :: Symbol) = (FromString l :: k2) type Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) Source # Instance detailstype Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) = Show_ l type Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # Instance detailstype Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowList l1 l2 type Apply (ShowsSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # Instance detailstype Apply (ShowsSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = Shows l1 l2 type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) Source # Instance detailstype Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowParen l1 l2 l3 type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) Source # Instance detailstype Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowsPrec l1 l2 l3 type Apply (ShowListWithSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) Source # Instance detailstype Apply (ShowListWithSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowListWith l1 l2 l3 type Apply ShowParenSym0 (l :: Bool) Source # Instance detailstype Apply ShowParenSym0 (l :: Bool) = ShowParenSym1 l type Apply ShowCharSym0 (l :: Symbol) Source # Instance detailstype Apply ShowCharSym0 (l :: Symbol) = ShowCharSym1 l type Apply ShowStringSym0 (l :: Symbol) Source # Instance detailstype Apply ShowStringSym0 (l :: Symbol) = ShowStringSym1 l type Apply (<>@#@$) (l :: Symbol) Source # Instance detailstype Apply (<>@#@$) (l :: Symbol) = (<>@#@$$) l type Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) Source # Instance detailstype Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) = (ShowsPrecSym1 l :: TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> *) type Apply (ShowsSym0 :: TyFun a6989586621679672323 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679672323) Source # Instance detailstype Apply (ShowsSym0 :: TyFun a6989586621679672323 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679672323) = ShowsSym1 l type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679672338) Source # Instance detailstype Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679672338) = ShowsPrecSym2 l1 l2 type Apply UnlinesSym0 (l :: [Symbol]) Source # Instance detailstype Apply UnlinesSym0 (l :: [Symbol]) = Unlines l type Apply UnwordsSym0 (l :: [Symbol]) Source # Instance detailstype Apply UnwordsSym0 (l :: [Symbol]) = Unwords l type Apply (ShowListSym0 :: TyFun [a6989586621679672338] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679672338]) Source # Instance detailstype Apply (ShowListSym0 :: TyFun [a6989586621679672338] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679672338]) = ShowListSym1 l type Apply (ShowListWithSym1 l1 :: TyFun [a6989586621679672322] (TyFun Symbol Symbol -> Type) -> *) (l2 :: [a6989586621679672322]) Source # Instance detailstype Apply (ShowListWithSym1 l1 :: TyFun [a6989586621679672322] (TyFun Symbol Symbol -> Type) -> *) (l2 :: [a6989586621679672322]) = ShowListWithSym2 l1 l2 type Apply (ShowParenSym1 l1 :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> *) (l2 :: TyFun Symbol Symbol -> Type) Source # Instance detailstype Apply (ShowParenSym1 l1 :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> *) (l2 :: TyFun Symbol Symbol -> Type) = ShowParenSym2 l1 l2 type Apply (ShowListWithSym0 :: TyFun (TyFun a6989586621679672322 (TyFun Symbol Symbol -> Type) -> Type) (TyFun [a6989586621679672322] (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: TyFun a6989586621679672322 (TyFun Symbol Symbol -> Type) -> Type) Source # Instance detailstype Apply (ShowListWithSym0 :: TyFun (TyFun a6989586621679672322 (TyFun Symbol Symbol -> Type) -> Type) (TyFun [a6989586621679672322] (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: TyFun a6989586621679672322 (TyFun Symbol Symbol -> Type) -> Type) = ShowListWithSym1 l type family Fst (a :: (a, b)) :: a where ... Source # Equations  Fst '(x, _) = x type family Snd (a :: (a, b)) :: b where ... Source # Equations  Snd '(_, y) = y type family Curry (a :: TyFun (a, b) c -> Type) (a :: a) (a :: b) :: c where ... Source # Equations  Curry f x y = Apply f (Apply (Apply Tuple2Sym0 x) y) type family Uncurry (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: (a, b)) :: c where ... Source # Equations  Uncurry f p = Apply (Apply f (Apply FstSym0 p)) (Apply SndSym0 p) # Error reporting type family Error (str :: k0) :: k where ... Source # The promotion of error. This version is more poly-kinded for easier use. type family Undefined :: k where ... Source # The promotion of undefined. # Promoted equality # Promoted comparisons # 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. class PBounded (a :: Type) Source # Associated Types type MinBound :: a Source # type MaxBound :: a Source # Instances  Source # Instance detailsAssociated Typestype MinBound :: a Source #type MaxBound :: a Source # Source # Instance detailsAssociated Typestype MinBound :: a Source #type MaxBound :: a Source # PBounded () Source # Instance detailsAssociated Typestype MinBound :: a Source #type MaxBound :: a Source # PBounded (a, b) Source # Instance detailsAssociated Typestype MinBound :: a Source #type MaxBound :: a Source # PBounded (a, b, c) Source # Instance detailsAssociated Typestype MinBound :: a Source #type MaxBound :: a Source # PBounded (a, b, c, d) Source # Instance detailsAssociated Typestype MinBound :: a Source #type MaxBound :: a Source # PBounded (a, b, c, d, e) Source # Instance detailsAssociated Typestype MinBound :: a Source #type MaxBound :: a Source # PBounded (a, b, c, d, e, f) Source # Instance detailsAssociated Typestype MinBound :: a Source #type MaxBound :: a Source # PBounded (a, b, c, d, e, f, g) Source # Instance detailsAssociated Typestype MinBound :: a Source #type MaxBound :: a Source # class PEnum (a :: Type) Source # Associated Types type ToEnum (arg :: Nat) :: a Source # type FromEnum (arg :: a) :: Nat Source # type EnumFromTo (arg :: a) (arg :: a) :: [a] Source # type EnumFromThenTo (arg :: a) (arg :: a) (arg :: a) :: [a] Source # Instances  Source # Instance detailsAssociated Typestype Succ arg :: a Source #type Pred arg :: a Source #type ToEnum arg :: a Source #type FromEnum arg :: Nat Source #type EnumFromTo arg arg :: [a] Source #type EnumFromThenTo arg arg arg :: [a] Source # Source # Instance detailsAssociated Typestype Succ arg :: a Source #type Pred arg :: a Source #type ToEnum arg :: a Source #type FromEnum arg :: Nat Source #type EnumFromTo arg arg :: [a] Source #type EnumFromThenTo arg arg arg :: [a] Source # Source # Instance detailsAssociated Typestype Succ arg :: a Source #type Pred arg :: a Source #type ToEnum arg :: a Source #type FromEnum arg :: Nat Source #type EnumFromTo arg arg :: [a] Source #type EnumFromThenTo arg arg arg :: [a] Source # PEnum () Source # Instance detailsAssociated Typestype Succ arg :: a Source #type Pred arg :: a Source #type ToEnum arg :: a Source #type FromEnum arg :: Nat Source #type EnumFromTo arg arg :: [a] Source #type EnumFromThenTo arg arg arg :: [a] Source # data EnumFromThenToSym0 (l :: TyFun a6989586621679843221 (TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a6989586621679843221 (TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (EnumFromThenToSym0 :: TyFun a6989586621679843221 (TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type) -> Type) -> *) (l :: a6989586621679843221) Source # Instance detailstype Apply (EnumFromThenToSym0 :: TyFun a6989586621679843221 (TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type) -> Type) -> *) (l :: a6989586621679843221) = EnumFromThenToSym1 l data EnumFromThenToSym1 (l :: a6989586621679843221) (l :: TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type)) Source # Instances  SuppressUnusedWarnings (EnumFromThenToSym1 :: a6989586621679843221 -> TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type) -> *) Source # Instance detailsMethods type Apply (EnumFromThenToSym1 l1 :: TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type) -> *) (l2 :: a6989586621679843221) Source # Instance detailstype Apply (EnumFromThenToSym1 l1 :: TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type) -> *) (l2 :: a6989586621679843221) = EnumFromThenToSym2 l1 l2 data EnumFromThenToSym2 (l :: a6989586621679843221) (l :: a6989586621679843221) (l :: TyFun a6989586621679843221 [a6989586621679843221]) Source # Instances  SuppressUnusedWarnings (EnumFromThenToSym2 :: a6989586621679843221 -> a6989586621679843221 -> TyFun a6989586621679843221 [a6989586621679843221] -> *) Source # Instance detailsMethods type Apply (EnumFromThenToSym2 l1 l2 :: TyFun a [a] -> *) (l3 :: a) Source # Instance detailstype Apply (EnumFromThenToSym2 l1 l2 :: TyFun a [a] -> *) (l3 :: a) = EnumFromThenTo l1 l2 l3 type EnumFromThenToSym3 (t :: a6989586621679843221) (t :: a6989586621679843221) (t :: a6989586621679843221) = EnumFromThenTo t t t Source # data EnumFromToSym0 (l :: TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type)) Source # Instances  SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type) -> *) Source # Instance detailsMethods type Apply (EnumFromToSym0 :: TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type) -> *) (l :: a6989586621679843221) Source # Instance detailstype Apply (EnumFromToSym0 :: TyFun a6989586621679843221 (TyFun a6989586621679843221 [a6989586621679843221] -> Type) -> *) (l :: a6989586621679843221) = EnumFromToSym1 l data EnumFromToSym1 (l :: a6989586621679843221) (l :: TyFun a6989586621679843221 [a6989586621679843221]) Source # Instances  SuppressUnusedWarnings (EnumFromToSym1 :: a6989586621679843221 -> TyFun a6989586621679843221 [a6989586621679843221] -> *) Source # Instance detailsMethods type Apply (EnumFromToSym1 l1 :: TyFun a [a] -> *) (l2 :: a) Source # Instance detailstype Apply (EnumFromToSym1 l1 :: TyFun a [a] -> *) (l2 :: a) = EnumFromTo l1 l2 type EnumFromToSym2 (t :: a6989586621679843221) (t :: a6989586621679843221) = EnumFromTo t t Source # data FromEnumSym0 (l :: TyFun a6989586621679843221 Nat) Source # Instances  SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679843221 Nat -> *) Source # Instance detailsMethods type Apply (FromEnumSym0 :: TyFun a Nat -> *) (l :: a) Source # Instance detailstype Apply (FromEnumSym0 :: TyFun a Nat -> *) (l :: a) = FromEnum l type FromEnumSym1 (t :: a6989586621679843221) = FromEnum t Source # data ToEnumSym0 (l :: TyFun Nat a6989586621679843221) Source # Instances  SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679843221 -> *) Source # Instance detailsMethods type Apply (ToEnumSym0 :: TyFun Nat k2 -> *) (l :: Nat) Source # Instance detailstype Apply (ToEnumSym0 :: TyFun Nat k2 -> *) (l :: Nat) = (ToEnum l :: k2) type ToEnumSym1 (t :: Nat) = ToEnum t Source # # Promoted numbers type family (a :: Nat) ^ (b :: Nat) :: Nat where ... infixr 8 # Exponentiation of type-level naturals. Since: 4.7.0.0 # Promoted Show class PShow (a :: Type) Source # Associated Types type ShowsPrec (arg :: Nat) (arg :: a) (arg :: Symbol) :: Symbol Source # type Show_ (arg :: a) :: Symbol Source # type ShowList (arg :: [a]) (arg :: Symbol) :: Symbol Source # Instances  Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # Source # Note that this instance is really, really slow, since it uses an inefficient, inductive definition of division behind the hood. Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # PShow () Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # PShow [a] Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # PShow (Maybe a) Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # PShow (Either a b) Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # PShow (a, b) Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # PShow (a, b, c) Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # PShow (a, b, c, d) Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # PShow (a, b, c, d, e) Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # PShow (a, b, c, d, e, f) Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # PShow (a, b, c, d, e, f, g) Source # Instance detailsAssociated Typestype ShowsPrec arg arg arg :: Symbol Source #type Show_ arg :: Symbol Source #type ShowList arg arg :: Symbol Source # type ShowS = String -> String # The shows functions return a function that prepends the output String to an existing String. This allows constant-time concatenation of results using function composition. type SChar = Symbol Source # GHC currently has no notion of type-level Chars, so we fake them with single-character Symbols. show_ :: Show a => a -> String Source # show, but with an extra underscore so that its promoted counterpart (Show_) will not clash with the Show class. type (<>) a b = AppendSymbol a b infixr 6 Source # The promoted analogue of '(<>)' for Symbols. This uses the special AppendSymbol type family from GHC.TypeLits. type family Shows (a :: a) (a :: Symbol) :: Symbol where ... Source # Equations  Shows s a_6989586621679674358 = Apply (Apply (Apply ShowsPrecSym0 (FromInteger 0)) s) a_6989586621679674358 type family ShowChar (a :: Symbol) (a :: Symbol) :: Symbol where ... Source # Equations  ShowChar a_6989586621679674225 a_6989586621679674227 = Apply (Apply (<>@#@) a_6989586621679674225) a_6989586621679674227 type family ShowString (a :: Symbol) (a :: Symbol) :: Symbol where ... Source # Equations  ShowString a_6989586621679674203 a_6989586621679674205 = Apply (Apply (<>@#@) a_6989586621679674203) a_6989586621679674205 type family ShowParen (a :: Bool) (a :: TyFun Symbol Symbol -> Type) (a :: Symbol) :: Symbol where ... Source # Equations  ShowParen b p a_6989586621679674255 = Apply (Case_6989586621679674260 b p a_6989586621679674255 b) a_6989586621679674255 ## Miscellaneous functions type family Id (a :: a) :: a where ... Source # Equations  Id x = x type family Const (a :: a) (a :: b) :: a where ... Source # Equations  Const x _ = x type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ... Source # Equations  (f :. g) a_6989586621679420075 = Apply (Apply (Apply (Apply Lambda_6989586621679420080Sym0 f) g) a_6989586621679420075) a_6989586621679420075 type family (a :: TyFun a b -> Type)  (a :: a) :: b where ... Source # Equations  f  x = Apply f x type family (a :: TyFun a b -> Type) ! (a :: a) :: b where ... Source # Equations  f ! x = Apply f (Let6989586621679420023VxSym2 f x) type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ... Source # Equations  Flip f x y = Apply (Apply f y) x type family AsTypeOf (a :: a) (a :: a) :: a where ... Source # Equations  AsTypeOf a_6989586621679420112 a_6989586621679420114 = Apply (Apply ConstSym0 a_6989586621679420112) a_6989586621679420114 type family Until (a :: TyFun a Bool -> Type) (a :: TyFun a a -> Type) (a :: a) :: a where ... Source # Equations  Until p f a_6989586621679958947 = Apply (Let6989586621679958952GoSym3 p f a_6989586621679958947) a_6989586621679958947 type family Seq (a :: a) (a :: b) :: b where ... infixr 0 Source # Equations  Seq _ x = x # List operations type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ... Source # Equations  Map _ '[] = '[] Map f ((:) x xs) = Apply (Apply (:@#@) (Apply f x)) (Apply (Apply MapSym0 f) xs) type family (a :: [a]) ++ (a :: [a]) :: [a] where ... Source # 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 ... Source # Equations  Filter _p '[] = '[] Filter p ((:) x xs) = Case_6989586621679452373 p x xs (Let6989586621679452360Scrutinee_6989586621679443080Sym3 p x xs) type family Head (a :: [a]) :: a where ... Source # Equations  Head ((:) a _) = a Head '[] = Apply ErrorSym0 "Data.Singletons.List.head: empty list" type family Last (a :: [a]) :: a where ... Source # Equations  Last '[] = Apply ErrorSym0 "Data.Singletons.List.last: empty list" Last '[x] = x Last ((:) _ ((:) x xs)) = Apply LastSym0 (Apply (Apply (:@#@) x) xs) type family Tail (a :: [a]) :: [a] where ... Source # Equations  Tail ((:) _ t) = t Tail '[] = Apply ErrorSym0 "Data.Singletons.List.tail: empty list" type family Init (a :: [a]) :: [a] where ... Source # Equations  Init '[] = Apply ErrorSym0 "Data.Singletons.List.init: empty list" Init ((:) x xs) = Apply (Apply (Let6989586621679454653Init'Sym2 x xs) x) xs type family Null (a :: [a]) :: Bool where ... Source # Equations  Null '[] = TrueSym0 Null ((:) _ _) = FalseSym0 type family Length (a :: [a]) :: Nat where ... Source # Equations  Length '[] = FromInteger 0 Length ((:) _ xs) = Apply (Apply (+@#@) (FromInteger 1)) (Apply LengthSym0 xs) type family (a :: [a]) !! (a :: Nat) :: a where ... Source # Equations  '[] !! _ = Apply ErrorSym0 "Data.Singletons.List.!!: index too large" ((:) x xs) !! n = Case_6989586621679451791 x xs n (Let6989586621679451778Scrutinee_6989586621679443120Sym3 x xs n) type family Reverse (a :: [a]) :: [a] where ... Source # Equations  Reverse l = Apply (Apply (Let6989586621679454554RevSym1 l) l) '[] ## Reducing lists (folds) type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source # Equations  Foldl f z0 xs0 = Apply (Apply (Let6989586621679259311LgoSym3 f z0 xs0) z0) xs0 type family Foldl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ... Source # Equations  Foldl1 f ((:) x xs) = Apply (Apply (Apply FoldlSym0 f) x) xs Foldl1 _ '[] = 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 ... Source # Equations  Foldr k z a_6989586621679420172 = Apply (Let6989586621679420177GoSym3 k z a_6989586621679420172) a_6989586621679420172 type family Foldr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ... Source # Equations  Foldr1 _ '[x] = x Foldr1 f ((:) x ((:) wild_6989586621679443002 wild_6989586621679443004)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let6989586621679453800XsSym4 f x wild_6989586621679443002 wild_6989586621679443004)) Foldr1 _ '[] = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list" ### Special folds type family And (a :: [Bool]) :: Bool where ... Source # Equations  And '[] = TrueSym0 And ((:) x xs) = Apply (Apply (&&@#@) x) (Apply AndSym0 xs) type family Or (a :: [Bool]) :: Bool where ... Source # Equations  Or '[] = FalseSym0 Or ((:) x xs) = Apply (Apply (||@#@) x) (Apply OrSym0 xs) type family Any (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ... Source # Equations  Any _ '[] = FalseSym0 Any p ((:) x xs) = Apply (Apply (||@#@) (Apply p x)) (Apply (Apply AnySym0 p) xs) type family All (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ... Source # Equations  All _ '[] = TrueSym0 All p ((:) x xs) = Apply (Apply (&&@#@) (Apply p x)) (Apply (Apply AllSym0 p) xs) type family Sum (a :: [a]) :: a where ... Source # Equations  Sum l = Apply (Apply (Let6989586621679451850Sum'Sym1 l) l) (FromInteger 0) type family Product (a :: [a]) :: a where ... Source # Equations  Product l = Apply (Apply (Let6989586621679451826ProdSym1 l) l) (FromInteger 1) type family Concat (a :: [[a]]) :: [a] where ... Source # Equations  Concat a_6989586621679453779 = Apply (Apply (Apply FoldrSym0 (++@#@)) '[]) a_6989586621679453779 type family ConcatMap (a :: TyFun a [b] -> Type) (a :: [a]) :: [b] where ... Source # Equations  ConcatMap f a_6989586621679453775 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (.@#@) (++@#@)) f)) '[]) a_6989586621679453775 type family Maximum (a :: [a]) :: a where ... Source # Equations  Maximum '[] = Apply ErrorSym0 "Data.Singletons.List.maximum: empty list" Maximum ((:) wild_6989586621679443106 wild_6989586621679443108) = Apply (Apply Foldl1Sym0 MaxSym0) (Let6989586621679454005XsSym2 wild_6989586621679443106 wild_6989586621679443108) type family Minimum (a :: [a]) :: a where ... Source # Equations  Minimum '[] = Apply ErrorSym0 "Data.Singletons.List.minimum: empty list" Minimum ((:) wild_6989586621679443110 wild_6989586621679443112) = Apply (Apply Foldl1Sym0 MinSym0) (Let6989586621679454019XsSym2 wild_6989586621679443110 wild_6989586621679443112) ## Building lists ### Scans type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ... Source # Equations  Scanl f q ls = Apply (Apply (:@#@) q) (Case_6989586621679453579 f q ls ls) type family Scanl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ... Source # Equations  Scanl1 f ((:) x xs) = Apply (Apply (Apply ScanlSym0 f) x) xs Scanl1 _ '[] = '[] type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ... Source # Equations  Scanr _ q0 '[] = Apply (Apply (:@#@) q0) '[] Scanr f q0 ((:) x xs) = Case_6989586621679453556 f q0 x xs (Let6989586621679453537Scrutinee_6989586621679443010Sym4 f q0 x xs) type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ... Source # Equations  Scanr1 _ '[] = '[] Scanr1 _ '[x] = Apply (Apply (:@#@) x) '[] Scanr1 f ((:) x ((:) wild_6989586621679443022 wild_6989586621679443024)) = Case_6989586621679453512 f x wild_6989586621679443022 wild_6989586621679443024 (Let6989586621679453493Scrutinee_6989586621679443016Sym4 f x wild_6989586621679443022 wild_6989586621679443024) ### Infinite lists type family Replicate (a :: Nat) (a :: a) :: [a] where ... Source # Equations  Replicate n x = Case_6989586621679451813 n x (Let6989586621679451805Scrutinee_6989586621679443118Sym2 n x) ## Sublists type family Take (a :: Nat) (a :: [a]) :: [a] where ... Source # Equations  Take _ '[] = '[] Take n ((:) x xs) = Case_6989586621679452010 n x xs (Let6989586621679451997Scrutinee_6989586621679443102Sym3 n x xs) type family Drop (a :: Nat) (a :: [a]) :: [a] where ... Source # Equations  Drop _ '[] = '[] Drop n ((:) x xs) = Case_6989586621679451982 n x xs (Let6989586621679451969Scrutinee_6989586621679443104Sym3 n x xs) type family SplitAt (a :: Nat) (a :: [a]) :: ([a], [a]) where ... Source # 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 ... Source # Equations  TakeWhile _ '[] = '[] TakeWhile p ((:) x xs) = Case_6989586621679452344 p x xs (Let6989586621679452331Scrutinee_6989586621679443092Sym3 p x xs) type family DropWhile (a :: TyFun a Bool -> Type) (a :: [a]) :: [a] where ... Source # Equations  DropWhile _ '[] = '[] DropWhile p ((:) x xs') = Case_6989586621679452316 p x xs' (Let6989586621679452303Scrutinee_6989586621679443094Sym3 p x xs') type family Span (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ... Source # Equations  Span _ '[] = Apply (Apply Tuple2Sym0 Let6989586621679452126XsSym0) Let6989586621679452126XsSym0 Span p ((:) x xs') = Case_6989586621679452156 p x xs' (Let6989586621679452143Scrutinee_6989586621679443098Sym3 p x xs') type family Break (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ... Source # Equations  Break _ '[] = Apply (Apply Tuple2Sym0 Let6989586621679452033XsSym0) Let6989586621679452033XsSym0 Break p ((:) x xs') = Case_6989586621679452063 p x xs' (Let6989586621679452050Scrutinee_6989586621679443100Sym3 p x xs') ## Searching lists type family Elem (a :: a) (a :: [a]) :: Bool where ... infix 4 Source # Equations  Elem _ '[] = 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 ... infix 4 Source # Equations  NotElem _ '[] = 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 ... Source # Equations  Lookup _key '[] = NothingSym0 Lookup key ((:) '(x, y) xys) = Case_6989586621679451954 key x y xys (Let6989586621679451935Scrutinee_6989586621679443114Sym4 key x y xys) ## Zipping and unzipping lists type family Zip (a :: [a]) (a :: [b]) :: [(a, b)] where ... Source # Equations  Zip ((:) x xs) ((:) y ys) = Apply (Apply (:@#@) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ZipSym0 xs) ys) Zip '[] '[] = '[] Zip ((:) _ _) '[] = '[] Zip '[] ((:) _ _) = '[] type family Zip3 (a :: [a]) (a :: [b]) (a :: [c]) :: [(a, b, c)] where ... Source # Equations  Zip3 ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:@#@) (Apply (Apply (Apply Tuple3Sym0 a) b) c)) (Apply (Apply (Apply Zip3Sym0 as) bs) cs) Zip3 '[] '[] '[] = '[] Zip3 '[] '[] ((:) _ _) = '[] Zip3 '[] ((:) _ _) '[] = '[] Zip3 '[] ((:) _ _) ((:) _ _) = '[] Zip3 ((:) _ _) '[] '[] = '[] Zip3 ((:) _ _) '[] ((:) _ _) = '[] Zip3 ((:) _ _) ((:) _ _) '[] = '[] type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: [a]) (a :: [b]) :: [c] where ... Source # Equations  ZipWith f ((:) x xs) ((:) y ys) = Apply (Apply (:@#@) (Apply (Apply f x) y)) (Apply (Apply (Apply ZipWithSym0 f) xs) ys) ZipWith _ '[] '[] = '[] ZipWith _ ((:) _ _) '[] = '[] ZipWith _ '[] ((:) _ _) = '[] type family ZipWith3 (a :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (a :: [a]) (a :: [b]) (a :: [c]) :: [d] where ... Source # Equations  ZipWith3 z ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:@#@) (Apply (Apply (Apply z a) b) c)) (Apply (Apply (Apply (Apply ZipWith3Sym0 z) as) bs) cs) ZipWith3 _ '[] '[] '[] = '[] ZipWith3 _ '[] '[] ((:) _ _) = '[] ZipWith3 _ '[] ((:) _ _) '[] = '[] ZipWith3 _ '[] ((:) _ _) ((:) _ _) = '[] ZipWith3 _ ((:) _ _) '[] '[] = '[] ZipWith3 _ ((:) _ _) '[] ((:) _ _) = '[] ZipWith3 _ ((:) _ _) ((:) _ _) '[] = '[] type family Unzip (a :: [(a, b)]) :: ([a], [b]) where ... Source # Equations  Unzip xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_6989586621679452820Sym0 xs)) (Apply (Apply Tuple2Sym0 '[]) '[])) xs type family Unzip3 (a :: [(a, b, c)]) :: ([a], [b], [c]) where ... Source # Equations  Unzip3 xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_6989586621679452788Sym0 xs)) (Apply (Apply (Apply Tuple3Sym0 '[]) '[]) '[])) xs ## Functions on Symbols type family Unlines (a :: [Symbol]) :: Symbol where ... Source # Equations  Unlines '[] = "" Unlines ((:) l ls) = Apply (Apply (<>@#@) l) (Apply (Apply (<>@#@) "\n") (Apply UnlinesSym0 ls)) type family Unwords (a :: [Symbol]) :: Symbol where ... Source # Equations  Unwords '[] = "" Unwords ((:) w ws) = Apply (Apply (<>@#@) w) (Apply (Let6989586621679452613GoSym2 w ws) ws) # Defunctionalization symbols data NotSym0 (l :: TyFun Bool Bool) Source # Instances  Source # Instance detailsMethods type Apply NotSym0 (l :: Bool) Source # Instance detailstype Apply NotSym0 (l :: Bool) = Not l type NotSym1 (t :: Bool) = Not t Source # data (&&@#@) (l :: TyFun Bool (TyFun Bool Bool -> Type)) Source # Instances  Source # Instance detailsMethods type Apply (&&@#@) (l :: Bool) Source # Instance detailstype Apply (&&@#@) (l :: Bool) = (&&@#@$$) l

data (l :: Bool) &&@#@$$(l :: TyFun Bool Bool) Source # Instances  Source # Instance detailsMethods type Apply ((&&@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) Source # Instance detailstype Apply ((&&@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) = l1 && l2 type (&&@#@$$$) (t :: Bool) (t :: Bool) = (&&) t t Source # data (||@#@$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) Source #

Instances
 Source # Instance detailsMethods type Apply (||@#@$) (l :: Bool) Source # Instance detailstype Apply (||@#@$) (l :: Bool) = (||@#@$$) l data (l :: Bool) ||@#@$$ (l :: TyFun Bool Bool) Source #

Instances
 Source # Instance detailsMethods type Apply ((||@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) Source # Instance detailstype Apply ((||@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) = l1 || l2

type (||@#@$$) (t :: Bool) (t :: Bool) = (||) t t Source # data JustSym0 (l :: TyFun a3530822107858468865 (Maybe a3530822107858468865)) Source # Instances  SuppressUnusedWarnings (JustSym0 :: TyFun a3530822107858468865 (Maybe a3530822107858468865) -> *) Source # Instance detailsMethods type Apply (JustSym0 :: TyFun a (Maybe a) -> *) (l :: a) Source # Instance detailstype Apply (JustSym0 :: TyFun a (Maybe a) -> *) (l :: a) = Just l type JustSym1 (t :: a3530822107858468865) = Just t Source # data Maybe_Sym0 (l :: TyFun b6989586621679403309 (TyFun (TyFun a6989586621679403310 b6989586621679403309 -> Type) (TyFun (Maybe a6989586621679403310) b6989586621679403309 -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679403309 (TyFun (TyFun a6989586621679403310 b6989586621679403309 -> Type) (TyFun (Maybe a6989586621679403310) b6989586621679403309 -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Maybe_Sym0 :: TyFun b6989586621679403309 (TyFun (TyFun a6989586621679403310 b6989586621679403309 -> Type) (TyFun (Maybe a6989586621679403310) b6989586621679403309 -> Type) -> Type) -> *) (l :: b6989586621679403309) Source # Instance detailstype Apply (Maybe_Sym0 :: TyFun b6989586621679403309 (TyFun (TyFun a6989586621679403310 b6989586621679403309 -> Type) (TyFun (Maybe a6989586621679403310) b6989586621679403309 -> Type) -> Type) -> *) (l :: b6989586621679403309) = (Maybe_Sym1 l :: TyFun (TyFun a6989586621679403310 b6989586621679403309 -> Type) (TyFun (Maybe a6989586621679403310) b6989586621679403309 -> Type) -> *) data Maybe_Sym1 (l :: b6989586621679403309) (l :: TyFun (TyFun a6989586621679403310 b6989586621679403309 -> Type) (TyFun (Maybe a6989586621679403310) b6989586621679403309 -> Type)) Source # Instances  SuppressUnusedWarnings (Maybe_Sym1 :: b6989586621679403309 -> TyFun (TyFun a6989586621679403310 b6989586621679403309 -> Type) (TyFun (Maybe a6989586621679403310) b6989586621679403309 -> Type) -> *) Source # Instance detailsMethods type Apply (Maybe_Sym1 l1 :: TyFun (TyFun a6989586621679403310 b6989586621679403309 -> Type) (TyFun (Maybe a6989586621679403310) b6989586621679403309 -> Type) -> *) (l2 :: TyFun a6989586621679403310 b6989586621679403309 -> Type) Source # Instance detailstype Apply (Maybe_Sym1 l1 :: TyFun (TyFun a6989586621679403310 b6989586621679403309 -> Type) (TyFun (Maybe a6989586621679403310) b6989586621679403309 -> Type) -> *) (l2 :: TyFun a6989586621679403310 b6989586621679403309 -> Type) = Maybe_Sym2 l1 l2 data Maybe_Sym2 (l :: b6989586621679403309) (l :: TyFun a6989586621679403310 b6989586621679403309 -> Type) (l :: TyFun (Maybe a6989586621679403310) b6989586621679403309) Source # Instances  SuppressUnusedWarnings (Maybe_Sym2 :: b6989586621679403309 -> (TyFun a6989586621679403310 b6989586621679403309 -> Type) -> TyFun (Maybe a6989586621679403310) b6989586621679403309 -> *) Source # Instance detailsMethods type Apply (Maybe_Sym2 l1 l2 :: TyFun (Maybe a) b -> *) (l3 :: Maybe a) Source # Instance detailstype Apply (Maybe_Sym2 l1 l2 :: TyFun (Maybe a) b -> *) (l3 :: Maybe a) = Maybe_ l1 l2 l3 type Maybe_Sym3 (t :: b6989586621679403309) (t :: TyFun a6989586621679403310 b6989586621679403309 -> Type) (t :: Maybe a6989586621679403310) = Maybe_ t t t Source # data LeftSym0 (l :: TyFun a6989586621679082339 (Either a6989586621679082339 b6989586621679082340)) Source # Instances  SuppressUnusedWarnings (LeftSym0 :: TyFun a6989586621679082339 (Either a6989586621679082339 b6989586621679082340) -> *) Source # Instance detailsMethods type Apply (LeftSym0 :: TyFun a (Either a b6989586621679082340) -> *) (l :: a) Source # Instance detailstype Apply (LeftSym0 :: TyFun a (Either a b6989586621679082340) -> *) (l :: a) = (Left l :: Either a b6989586621679082340) type LeftSym1 (t :: a6989586621679082339) = Left t Source # data RightSym0 (l :: TyFun b6989586621679082340 (Either a6989586621679082339 b6989586621679082340)) Source # Instances  SuppressUnusedWarnings (RightSym0 :: TyFun b6989586621679082340 (Either a6989586621679082339 b6989586621679082340) -> *) Source # Instance detailsMethods type Apply (RightSym0 :: TyFun b (Either a6989586621679082339 b) -> *) (l :: b) Source # Instance detailstype Apply (RightSym0 :: TyFun b (Either a6989586621679082339 b) -> *) (l :: b) = (Right l :: Either a6989586621679082339 b) type RightSym1 (t :: b6989586621679082340) = Right t Source # data Either_Sym0 (l :: TyFun (TyFun a6989586621679912139 c6989586621679912140 -> Type) (TyFun (TyFun b6989586621679912141 c6989586621679912140 -> Type) (TyFun (Either a6989586621679912139 b6989586621679912141) c6989586621679912140 -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Either_Sym0 :: TyFun (TyFun a6989586621679912139 c6989586621679912140 -> Type) (TyFun (TyFun b6989586621679912141 c6989586621679912140 -> Type) (TyFun (Either a6989586621679912139 b6989586621679912141) c6989586621679912140 -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Either_Sym0 :: TyFun (TyFun a6989586621679912139 c6989586621679912140 -> Type) (TyFun (TyFun b6989586621679912141 c6989586621679912140 -> Type) (TyFun (Either a6989586621679912139 b6989586621679912141) c6989586621679912140 -> Type) -> Type) -> *) (l :: TyFun a6989586621679912139 c6989586621679912140 -> Type) Source # Instance detailstype Apply (Either_Sym0 :: TyFun (TyFun a6989586621679912139 c6989586621679912140 -> Type) (TyFun (TyFun b6989586621679912141 c6989586621679912140 -> Type) (TyFun (Either a6989586621679912139 b6989586621679912141) c6989586621679912140 -> Type) -> Type) -> *) (l :: TyFun a6989586621679912139 c6989586621679912140 -> Type) = (Either_Sym1 l :: TyFun (TyFun b6989586621679912141 c6989586621679912140 -> Type) (TyFun (Either a6989586621679912139 b6989586621679912141) c6989586621679912140 -> Type) -> *) data Either_Sym1 (l :: TyFun a6989586621679912139 c6989586621679912140 -> Type) (l :: TyFun (TyFun b6989586621679912141 c6989586621679912140 -> Type) (TyFun (Either a6989586621679912139 b6989586621679912141) c6989586621679912140 -> Type)) Source # Instances  SuppressUnusedWarnings (Either_Sym1 :: (TyFun a6989586621679912139 c6989586621679912140 -> Type) -> TyFun (TyFun b6989586621679912141 c6989586621679912140 -> Type) (TyFun (Either a6989586621679912139 b6989586621679912141) c6989586621679912140 -> Type) -> *) Source # Instance detailsMethods type Apply (Either_Sym1 l1 :: TyFun (TyFun b6989586621679912141 c6989586621679912140 -> Type) (TyFun (Either a6989586621679912139 b6989586621679912141) c6989586621679912140 -> Type) -> *) (l2 :: TyFun b6989586621679912141 c6989586621679912140 -> Type) Source # Instance detailstype Apply (Either_Sym1 l1 :: TyFun (TyFun b6989586621679912141 c6989586621679912140 -> Type) (TyFun (Either a6989586621679912139 b6989586621679912141) c6989586621679912140 -> Type) -> *) (l2 :: TyFun b6989586621679912141 c6989586621679912140 -> Type) = Either_Sym2 l1 l2 data Either_Sym2 (l :: TyFun a6989586621679912139 c6989586621679912140 -> Type) (l :: TyFun b6989586621679912141 c6989586621679912140 -> Type) (l :: TyFun (Either a6989586621679912139 b6989586621679912141) c6989586621679912140) Source # Instances  SuppressUnusedWarnings (Either_Sym2 :: (TyFun a6989586621679912139 c6989586621679912140 -> Type) -> (TyFun b6989586621679912141 c6989586621679912140 -> Type) -> TyFun (Either a6989586621679912139 b6989586621679912141) c6989586621679912140 -> *) Source # Instance detailsMethods type Apply (Either_Sym2 l1 l2 :: TyFun (Either a b) c -> *) (l3 :: Either a b) Source # Instance detailstype Apply (Either_Sym2 l1 l2 :: TyFun (Either a b) c -> *) (l3 :: Either a b) = Either_ l1 l2 l3 type Either_Sym3 (t :: TyFun a6989586621679912139 c6989586621679912140 -> Type) (t :: TyFun b6989586621679912141 c6989586621679912140 -> Type) (t :: Either a6989586621679912139 b6989586621679912141) = Either_ t t t Source # type Tuple0Sym0 = '() Source # data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (l :: a3530822107858468865) Source # Instance detailstype Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (l :: a3530822107858468865) = (Tuple2Sym1 l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866)) Source # Instances  SuppressUnusedWarnings (Tuple2Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) Source # Instance detailsMethods type Apply (Tuple2Sym1 l1 :: TyFun k1 (k2, k1) -> *) (l2 :: k1) Source # Instance detailstype Apply (Tuple2Sym1 l1 :: TyFun k1 (k2, k1) -> *) (l2 :: k1) = (,) l1 l2 type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t) Source # data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (l :: a3530822107858468865) Source # Instance detailstype Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple3Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple3Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple3Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (l2 :: b3530822107858468866) Source # Instance detailstype Apply (Tuple3Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple3Sym2 l1 l2 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867)) Source # Instances  SuppressUnusedWarnings (Tuple3Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) Source # Instance detailsMethods type Apply (Tuple3Sym2 l1 l2 :: TyFun k3 (k2, k1, k3) -> *) (l3 :: k3) Source # Instance detailstype Apply (Tuple3Sym2 l1 l2 :: TyFun k3 (k2, k1, k3) -> *) (l3 :: k3) = (,,) l1 l2 l3 type Tuple3Sym3 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) = '(t, t, t) Source # data Tuple4Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) Source # Instance detailstype Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple4Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple4Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple4Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) Source # Instance detailstype Apply (Tuple4Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple4Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (l3 :: c3530822107858468867) Source # Instance detailstype Apply (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple4Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) Source # Instances  SuppressUnusedWarnings (Tuple4Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) Source # Instance detailsMethods type Apply (Tuple4Sym3 l1 l2 l3 :: TyFun k4 (k2, k1, k3, k4) -> *) (l4 :: k4) Source # Instance detailstype Apply (Tuple4Sym3 l1 l2 l3 :: TyFun k4 (k2, k1, k3, k4) -> *) (l4 :: k4) = (,,,) l1 l2 l3 l4 type Tuple4Sym4 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) = '(t, t, t, t) Source # data Tuple5Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) Source # Instance detailstype Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple5Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple5Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple5Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) Source # Instance detailstype Apply (Tuple5Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple5Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) Source # Instance detailstype Apply (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple5Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (l4 :: d3530822107858468868) Source # Instance detailstype Apply (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple5Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) Source # Instances  SuppressUnusedWarnings (Tuple5Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) Source # Instance detailsMethods type Apply (Tuple5Sym4 l1 l2 l3 l4 :: TyFun k5 (k2, k1, k3, k4, k5) -> *) (l5 :: k5) Source # Instance detailstype Apply (Tuple5Sym4 l1 l2 l3 l4 :: TyFun k5 (k2, k1, k3, k4, k5) -> *) (l5 :: k5) = (,,,,) l1 l2 l3 l4 l5 type Tuple5Sym5 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) = '(t, t, t, t, t) Source # data Tuple6Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple6Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple6Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) Source # Instance detailstype Apply (Tuple6Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple6Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) data Tuple6Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple6Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple6Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) Source # Instance detailstype Apply (Tuple6Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) data Tuple6Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple6Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) Source # Instance detailstype Apply (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) data Tuple6Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple6Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) Source # Instance detailstype Apply (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple6Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (l5 :: e3530822107858468869) Source # Instance detailstype Apply (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (l5 :: e3530822107858468869) = (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) Source # Instances  SuppressUnusedWarnings (Tuple6Sym5 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) Source # Instance detailsMethods type Apply (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> *) (l6 :: k6) Source # Instance detailstype Apply (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> *) (l6 :: k6) = (,,,,,) l1 l2 l3 l4 l5 l6 type Tuple6Sym6 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) = '(t, t, t, t, t, t) Source # data Tuple7Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple7Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple7Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) Source # Instance detailstype Apply (Tuple7Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple7Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) data Tuple7Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple7Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple7Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) Source # Instance detailstype Apply (Tuple7Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple7Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) data Tuple7Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple7Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple7Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) Source # Instance detailstype Apply (Tuple7Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple7Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) data Tuple7Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple7Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple7Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) Source # Instance detailstype Apply (Tuple7Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) data Tuple7Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple7Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (l5 :: e3530822107858468869) Source # Instance detailstype Apply (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (l5 :: e3530822107858468869) = (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) data Tuple7Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type)) Source # Instances  SuppressUnusedWarnings (Tuple7Sym5 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) Source # Instance detailsMethods type Apply (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (l6 :: f3530822107858468870) Source # Instance detailstype Apply (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (l6 :: f3530822107858468870) = (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) data Tuple7Sym6 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: f3530822107858468870) (l :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) Source # Instances  SuppressUnusedWarnings (Tuple7Sym6 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) Source # Instance detailsMethods type Apply (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> *) (l7 :: k7) Source # Instance detailstype Apply (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> *) (l7 :: k7) = (,,,,,,) l1 l2 l3 l4 l5 l6 l7 type Tuple7Sym7 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) (t :: g3530822107858468871) = '(t, t, t, t, t, t, t) Source # data FstSym0 (l :: TyFun (a6989586621679285926, b6989586621679285927) a6989586621679285926) Source # Instances  SuppressUnusedWarnings (FstSym0 :: TyFun (a6989586621679285926, b6989586621679285927) a6989586621679285926 -> *) Source # Instance detailsMethods type Apply (FstSym0 :: TyFun (a, b) a -> *) (l :: (a, b)) Source # Instance detailstype Apply (FstSym0 :: TyFun (a, b) a -> *) (l :: (a, b)) = Fst l type FstSym1 (t :: (a6989586621679285926, b6989586621679285927)) = Fst t Source # data SndSym0 (l :: TyFun (a6989586621679285924, b6989586621679285925) b6989586621679285925) Source # Instances  SuppressUnusedWarnings (SndSym0 :: TyFun (a6989586621679285924, b6989586621679285925) b6989586621679285925 -> *) Source # Instance detailsMethods type Apply (SndSym0 :: TyFun (a, b) b -> *) (l :: (a, b)) Source # Instance detailstype Apply (SndSym0 :: TyFun (a, b) b -> *) (l :: (a, b)) = Snd l type SndSym1 (t :: (a6989586621679285924, b6989586621679285925)) = Snd t Source # data CurrySym0 (l :: TyFun (TyFun (a6989586621679285921, b6989586621679285922) c6989586621679285923 -> Type) (TyFun a6989586621679285921 (TyFun b6989586621679285922 c6989586621679285923 -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (CurrySym0 :: TyFun (TyFun (a6989586621679285921, b6989586621679285922) c6989586621679285923 -> Type) (TyFun a6989586621679285921 (TyFun b6989586621679285922 c6989586621679285923 -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (CurrySym0 :: TyFun (TyFun (a6989586621679285921, b6989586621679285922) c6989586621679285923 -> Type) (TyFun a6989586621679285921 (TyFun b6989586621679285922 c6989586621679285923 -> Type) -> Type) -> *) (l :: TyFun (a6989586621679285921, b6989586621679285922) c6989586621679285923 -> Type) Source # Instance detailstype Apply (CurrySym0 :: TyFun (TyFun (a6989586621679285921, b6989586621679285922) c6989586621679285923 -> Type) (TyFun a6989586621679285921 (TyFun b6989586621679285922 c6989586621679285923 -> Type) -> Type) -> *) (l :: TyFun (a6989586621679285921, b6989586621679285922) c6989586621679285923 -> Type) = CurrySym1 l data CurrySym1 (l :: TyFun (a6989586621679285921, b6989586621679285922) c6989586621679285923 -> Type) (l :: TyFun a6989586621679285921 (TyFun b6989586621679285922 c6989586621679285923 -> Type)) Source # Instances  SuppressUnusedWarnings (CurrySym1 :: (TyFun (a6989586621679285921, b6989586621679285922) c6989586621679285923 -> Type) -> TyFun a6989586621679285921 (TyFun b6989586621679285922 c6989586621679285923 -> Type) -> *) Source # Instance detailsMethods type Apply (CurrySym1 l1 :: TyFun a6989586621679285921 (TyFun b6989586621679285922 c6989586621679285923 -> Type) -> *) (l2 :: a6989586621679285921) Source # Instance detailstype Apply (CurrySym1 l1 :: TyFun a6989586621679285921 (TyFun b6989586621679285922 c6989586621679285923 -> Type) -> *) (l2 :: a6989586621679285921) = CurrySym2 l1 l2 data CurrySym2 (l :: TyFun (a6989586621679285921, b6989586621679285922) c6989586621679285923 -> Type) (l :: a6989586621679285921) (l :: TyFun b6989586621679285922 c6989586621679285923) Source # Instances  SuppressUnusedWarnings (CurrySym2 :: (TyFun (a6989586621679285921, b6989586621679285922) c6989586621679285923 -> Type) -> a6989586621679285921 -> TyFun b6989586621679285922 c6989586621679285923 -> *) Source # Instance detailsMethods type Apply (CurrySym2 l1 l2 :: TyFun b c -> *) (l3 :: b) Source # Instance detailstype Apply (CurrySym2 l1 l2 :: TyFun b c -> *) (l3 :: b) = Curry l1 l2 l3 type CurrySym3 (t :: TyFun (a6989586621679285921, b6989586621679285922) c6989586621679285923 -> Type) (t :: a6989586621679285921) (t :: b6989586621679285922) = Curry t t t Source # data UncurrySym0 (l :: TyFun (TyFun a6989586621679285918 (TyFun b6989586621679285919 c6989586621679285920 -> Type) -> Type) (TyFun (a6989586621679285918, b6989586621679285919) c6989586621679285920 -> Type)) Source # Instances  SuppressUnusedWarnings (UncurrySym0 :: TyFun (TyFun a6989586621679285918 (TyFun b6989586621679285919 c6989586621679285920 -> Type) -> Type) (TyFun (a6989586621679285918, b6989586621679285919) c6989586621679285920 -> Type) -> *) Source # Instance detailsMethods type Apply (UncurrySym0 :: TyFun (TyFun a6989586621679285918 (TyFun b6989586621679285919 c6989586621679285920 -> Type) -> Type) (TyFun (a6989586621679285918, b6989586621679285919) c6989586621679285920 -> Type) -> *) (l :: TyFun a6989586621679285918 (TyFun b6989586621679285919 c6989586621679285920 -> Type) -> Type) Source # Instance detailstype Apply (UncurrySym0 :: TyFun (TyFun a6989586621679285918 (TyFun b6989586621679285919 c6989586621679285920 -> Type) -> Type) (TyFun (a6989586621679285918, b6989586621679285919) c6989586621679285920 -> Type) -> *) (l :: TyFun a6989586621679285918 (TyFun b6989586621679285919 c6989586621679285920 -> Type) -> Type) = UncurrySym1 l data UncurrySym1 (l :: TyFun a6989586621679285918 (TyFun b6989586621679285919 c6989586621679285920 -> Type) -> Type) (l :: TyFun (a6989586621679285918, b6989586621679285919) c6989586621679285920) Source # Instances  SuppressUnusedWarnings (UncurrySym1 :: (TyFun a6989586621679285918 (TyFun b6989586621679285919 c6989586621679285920 -> Type) -> Type) -> TyFun (a6989586621679285918, b6989586621679285919) c6989586621679285920 -> *) Source # Instance detailsMethods type Apply (UncurrySym1 l1 :: TyFun (a, b) c -> *) (l2 :: (a, b)) Source # Instance detailstype Apply (UncurrySym1 l1 :: TyFun (a, b) c -> *) (l2 :: (a, b)) = Uncurry l1 l2 type UncurrySym2 (t :: TyFun a6989586621679285918 (TyFun b6989586621679285919 c6989586621679285920 -> Type) -> Type) (t :: (a6989586621679285918, b6989586621679285919)) = Uncurry t t Source # data ErrorSym0 (l :: TyFun k06989586621679378680 k6989586621679378681) Source # Instances  SuppressUnusedWarnings (ErrorSym0 :: TyFun k06989586621679378680 k6989586621679378681 -> *) Source # Instance detailsMethods type Apply (ErrorSym0 :: TyFun k0 k2 -> *) (l :: k0) Source # Instance detailstype Apply (ErrorSym0 :: TyFun k0 k2 -> *) (l :: k0) = (Error l :: k2) type ErrorSym1 (t :: k06989586621679378680) = Error t Source # data (^@#@) (l :: TyFun Nat (TyFun Nat Nat -> Type)) Source # Instances  Source # Instance detailsMethods type Apply (^@#@) (l :: Nat) Source # Instance detailstype Apply (^@#@) (l :: Nat) = (^@#@$$) l

data (l :: Nat) ^@#@$$(l :: TyFun Nat Nat) Source # Instances  Source # Instance detailsMethods type Apply ((^@#@$$) l1 :: TyFun Nat Nat -> *) (l2 :: Nat) Source # Instance detailstype Apply ((^@#@$$) l1 :: TyFun Nat Nat -> *) (l2 :: Nat) = l1 ^ l2 type (^@#@$$$) (t :: Nat) (t :: Nat) = (^) t t Source # data ShowsPrecSym0 (l :: TyFun Nat (TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) Source # Instance detailstype Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) = (ShowsPrecSym1 l :: TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> *) data ShowsPrecSym1 (l :: Nat) (l :: TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type)) Source # Instances  SuppressUnusedWarnings (ShowsPrecSym1 :: Nat -> TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> *) Source # Instance detailsMethods type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679672338) Source # Instance detailstype Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679672338 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679672338) = ShowsPrecSym2 l1 l2 data ShowsPrecSym2 (l :: Nat) (l :: a6989586621679672338) (l :: TyFun Symbol Symbol) Source # Instances  SuppressUnusedWarnings (ShowsPrecSym2 :: Nat -> a6989586621679672338 -> TyFun Symbol Symbol -> *) Source # Instance detailsMethods type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) Source # Instance detailstype Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowsPrec l1 l2 l3 type ShowsPrecSym3 (t :: Nat) (t :: a6989586621679672338) (t :: Symbol) = ShowsPrec t t t Source # data Show_Sym0 (l :: TyFun a6989586621679672338 Symbol) Source # Instances  SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621679672338 Symbol -> *) Source # Instance detailsMethods type Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) Source # Instance detailstype Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) = Show_ l type Show_Sym1 (t :: a6989586621679672338) = Show_ t Source # data ShowListSym0 (l :: TyFun [a6989586621679672338] (TyFun Symbol Symbol -> Type)) Source # Instances  SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621679672338] (TyFun Symbol Symbol -> Type) -> *) Source # Instance detailsMethods type Apply (ShowListSym0 :: TyFun [a6989586621679672338] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679672338]) Source # Instance detailstype Apply (ShowListSym0 :: TyFun [a6989586621679672338] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679672338]) = ShowListSym1 l data ShowListSym1 (l :: [a6989586621679672338]) (l :: TyFun Symbol Symbol) Source # Instances  SuppressUnusedWarnings (ShowListSym1 :: [a6989586621679672338] -> TyFun Symbol Symbol -> *) Source # Instance detailsMethods type Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # Instance detailstype Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowList l1 l2 type ShowListSym2 (t :: [a6989586621679672338]) (t :: Symbol) = ShowList t t Source # data (<>@#@$) l Source #

Instances
 Source # Instance detailsMethods type Apply (<>@#@$) (l :: Symbol) Source # Instance detailstype Apply (<>@#@$) (l :: Symbol) = (<>@#@$$) l data (l :: Symbol) <>@#@$$ l Source #

Instances
 Source # Instance detailsMethods type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # Instance detailstype Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = l1 <> l2

type (<>@#@$$) (t :: Symbol) (t :: Symbol) = (<>) t t Source # data ShowsSym0 (l :: TyFun a6989586621679672323 (TyFun Symbol Symbol -> Type)) Source # Instances  SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621679672323 (TyFun Symbol Symbol -> Type) -> *) Source # Instance detailsMethods type Apply (ShowsSym0 :: TyFun a6989586621679672323 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679672323) Source # Instance detailstype Apply (ShowsSym0 :: TyFun a6989586621679672323 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679672323) = ShowsSym1 l data ShowsSym1 (l :: a6989586621679672323) (l :: TyFun Symbol Symbol) Source # Instances  SuppressUnusedWarnings (ShowsSym1 :: a6989586621679672323 -> TyFun Symbol Symbol -> *) Source # Instance detailsMethods type Apply (ShowsSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # Instance detailstype Apply (ShowsSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = Shows l1 l2 type ShowsSym2 (t :: a6989586621679672323) (t :: Symbol) = Shows t t Source # data ShowCharSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type)) Source # Instances  Source # Instance detailsMethods type Apply ShowCharSym0 (l :: Symbol) Source # Instance detailstype Apply ShowCharSym0 (l :: Symbol) = ShowCharSym1 l data ShowCharSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) Source # Instances  Source # Instance detailsMethods type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # Instance detailstype Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowChar l1 l2 type ShowCharSym2 (t :: Symbol) (t :: Symbol) = ShowChar t t Source # data ShowStringSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type)) Source # Instances  Source # Instance detailsMethods type Apply ShowStringSym0 (l :: Symbol) Source # Instance detailstype Apply ShowStringSym0 (l :: Symbol) = ShowStringSym1 l data ShowStringSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) Source # Instances  Source # Instance detailsMethods type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) Source # Instance detailstype Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowString l1 l2 type ShowStringSym2 (t :: Symbol) (t :: Symbol) = ShowString t t Source # data ShowParenSym0 (l :: TyFun Bool (TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> Type)) Source # Instances  Source # Instance detailsMethods type Apply ShowParenSym0 (l :: Bool) Source # Instance detailstype Apply ShowParenSym0 (l :: Bool) = ShowParenSym1 l data ShowParenSym1 (l :: Bool) (l :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type)) Source # Instances  Source # Instance detailsMethods type Apply (ShowParenSym1 l1 :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> *) (l2 :: TyFun Symbol Symbol -> Type) Source # Instance detailstype Apply (ShowParenSym1 l1 :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> *) (l2 :: TyFun Symbol Symbol -> Type) = ShowParenSym2 l1 l2 data ShowParenSym2 (l :: Bool) (l :: TyFun Symbol Symbol -> Type) (l :: TyFun Symbol Symbol) Source # Instances  Source # Instance detailsMethods type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) Source # Instance detailstype Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowParen l1 l2 l3 data IdSym0 (l :: TyFun a6989586621679419903 a6989586621679419903) Source # Instances  SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679419903 a6989586621679419903 -> *) Source # Instance detailsMethods type Apply (IdSym0 :: TyFun a a -> *) (l :: a) Source # Instance detailstype Apply (IdSym0 :: TyFun a a -> *) (l :: a) = Id l type IdSym1 (t :: a6989586621679419903) = Id t Source # data ConstSym0 (l :: TyFun a6989586621679419901 (TyFun b6989586621679419902 a6989586621679419901 -> Type)) Source # Instances  SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679419901 (TyFun b6989586621679419902 a6989586621679419901 -> Type) -> *) Source # Instance detailsMethods type Apply (ConstSym0 :: TyFun a6989586621679419901 (TyFun b6989586621679419902 a6989586621679419901 -> Type) -> *) (l :: a6989586621679419901) Source # Instance detailstype Apply (ConstSym0 :: TyFun a6989586621679419901 (TyFun b6989586621679419902 a6989586621679419901 -> Type) -> *) (l :: a6989586621679419901) = (ConstSym1 l :: TyFun b6989586621679419902 a6989586621679419901 -> *) data ConstSym1 (l :: a6989586621679419901) (l :: TyFun b6989586621679419902 a6989586621679419901) Source # Instances  SuppressUnusedWarnings (ConstSym1 :: a6989586621679419901 -> TyFun b6989586621679419902 a6989586621679419901 -> *) Source # Instance detailsMethods type Apply (ConstSym1 l1 :: TyFun b a -> *) (l2 :: b) Source # Instance detailstype Apply (ConstSym1 l1 :: TyFun b a -> *) (l2 :: b) = Const l1 l2 type ConstSym2 (t :: a6989586621679419901) (t :: b6989586621679419902) = Const t t Source # data (.@#@) (l :: TyFun (TyFun b6989586621679419898 c6989586621679419899 -> Type) (TyFun (TyFun a6989586621679419900 b6989586621679419898 -> Type) (TyFun a6989586621679419900 c6989586621679419899 -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings ((.@#@) :: TyFun (TyFun b6989586621679419898 c6989586621679419899 -> Type) (TyFun (TyFun a6989586621679419900 b6989586621679419898 -> Type) (TyFun a6989586621679419900 c6989586621679419899 -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply ((.@#@) :: TyFun (TyFun b6989586621679419898 c6989586621679419899 -> Type) (TyFun (TyFun a6989586621679419900 b6989586621679419898 -> Type) (TyFun a6989586621679419900 c6989586621679419899 -> Type) -> Type) -> *) (l :: TyFun b6989586621679419898 c6989586621679419899 -> Type) Source # Instance detailstype Apply ((.@#@) :: TyFun (TyFun b6989586621679419898 c6989586621679419899 -> Type) (TyFun (TyFun a6989586621679419900 b6989586621679419898 -> Type) (TyFun a6989586621679419900 c6989586621679419899 -> Type) -> Type) -> *) (l :: TyFun b6989586621679419898 c6989586621679419899 -> Type) = ((.@#@$$) l :: TyFun (TyFun a6989586621679419900 b6989586621679419898 -> Type) (TyFun a6989586621679419900 c6989586621679419899 -> Type) -> *)

data (l :: TyFun b6989586621679419898 c6989586621679419899 -> Type) .@#@$$(l :: TyFun (TyFun a6989586621679419900 b6989586621679419898 -> Type) (TyFun a6989586621679419900 c6989586621679419899 -> Type)) Source # Instances  SuppressUnusedWarnings ((.@#@$$) :: (TyFun b6989586621679419898 c6989586621679419899 -> Type) -> TyFun (TyFun a6989586621679419900 b6989586621679419898 -> Type) (TyFun a6989586621679419900 c6989586621679419899 -> Type) -> *) Source # Instance detailsMethods type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679419900 b6989586621679419898 -> Type) (TyFun a6989586621679419900 c6989586621679419899 -> Type) -> *) (l2 :: TyFun a6989586621679419900 b6989586621679419898 -> Type) Source # Instance detailstype Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679419900 b6989586621679419898 -> Type) (TyFun a6989586621679419900 c6989586621679419899 -> Type) -> *) (l2 :: TyFun a6989586621679419900 b6989586621679419898 -> Type) = l1 .@#@$$l2 data ((l :: TyFun b6989586621679419898 c6989586621679419899 -> Type) .@#@$$$(l :: TyFun a6989586621679419900 b6989586621679419898 -> Type)) (l :: TyFun a6989586621679419900 c6989586621679419899) Source # Instances  SuppressUnusedWarnings ((.@#@$$) :: (TyFun b6989586621679419898 c6989586621679419899 -> Type) -> (TyFun a6989586621679419900 b6989586621679419898 -> Type) -> TyFun a6989586621679419900 c6989586621679419899 -> *) Source # Instance detailsMethods type Apply (l1 .@#@$$$ l2 :: TyFun a c -> *) (l3 :: a) Source # Instance detailstype Apply (l1 .@#@$$l2 :: TyFun a c -> *) (l3 :: a) = (l1 :. l2) l3 data (@#@) (l :: TyFun (TyFun a6989586621679419892 b6989586621679419893 -> Type) (TyFun a6989586621679419892 b6989586621679419893 -> Type)) Source # Instances  SuppressUnusedWarnings ((@#@) :: TyFun (TyFun a6989586621679419892 b6989586621679419893 -> Type) (TyFun a6989586621679419892 b6989586621679419893 -> Type) -> *) Source # Instance detailsMethods type Apply ((@#@) :: TyFun (TyFun a6989586621679419892 b6989586621679419893 -> Type) (TyFun a6989586621679419892 b6989586621679419893 -> Type) -> *) (l :: TyFun a6989586621679419892 b6989586621679419893 -> Type) Source # Instance detailstype Apply ((@#@) :: TyFun (TyFun a6989586621679419892 b6989586621679419893 -> Type) (TyFun a6989586621679419892 b6989586621679419893 -> Type) -> *) (l :: TyFun a6989586621679419892 b6989586621679419893 -> Type) = (@#@$$) l

data (l :: TyFun a6989586621679419892 b6989586621679419893 -> Type) $@#@$$(l :: TyFun a6989586621679419892 b6989586621679419893) Source # Instances  SuppressUnusedWarnings ((@#@$$) :: (TyFun a6989586621679419892 b6989586621679419893 -> Type) -> TyFun a6989586621679419892 b6989586621679419893 -> *) Source # Instance detailsMethods type Apply (($@#@$$) l1 :: TyFun a b -> *) (l2 :: a) Source # Instance detailstype Apply ((@#@$$) l1 :: TyFun a b -> *) (l2 :: a) = l1 $l2 type ($@#@$$) (t :: TyFun a6989586621679419892 b6989586621679419893 -> Type) (t :: a6989586621679419892) = () t t Source # data (!@#@) (l :: TyFun (TyFun a6989586621679419890 b6989586621679419891 -> Type) (TyFun a6989586621679419890 b6989586621679419891 -> Type)) Source # Instances  SuppressUnusedWarnings ((!@#@) :: TyFun (TyFun a6989586621679419890 b6989586621679419891 -> Type) (TyFun a6989586621679419890 b6989586621679419891 -> Type) -> *) Source # Instance detailsMethods type Apply ((!@#@) :: TyFun (TyFun a6989586621679419890 b6989586621679419891 -> Type) (TyFun a6989586621679419890 b6989586621679419891 -> Type) -> *) (l :: TyFun a6989586621679419890 b6989586621679419891 -> Type) Source # Instance detailstype Apply ((!@#@) :: TyFun (TyFun a6989586621679419890 b6989586621679419891 -> Type) (TyFun a6989586621679419890 b6989586621679419891 -> Type) -> *) (l :: TyFun a6989586621679419890 b6989586621679419891 -> Type) = (!@#@$$) l

data (l :: TyFun a6989586621679419890 b6989586621679419891 -> Type) $!@#@$$(l :: TyFun a6989586621679419890 b6989586621679419891) Source # Instances  SuppressUnusedWarnings ((!@#@$$) :: (TyFun a6989586621679419890 b6989586621679419891 -> Type) -> TyFun a6989586621679419890 b6989586621679419891 -> *) Source # Instance detailsMethods type Apply (($!@#@$$) l1 :: TyFun a b -> *) (l2 :: a) Source # Instance detailstype Apply ((!@#@$$) l1 :: TyFun a b -> *) (l2 :: a) = l1 $! l2 type ($!@#@$$) (t :: TyFun a6989586621679419890 b6989586621679419891 -> Type) (t :: a6989586621679419890) = (!) t t Source # data FlipSym0 (l :: TyFun (TyFun a6989586621679419895 (TyFun b6989586621679419896 c6989586621679419897 -> Type) -> Type) (TyFun b6989586621679419896 (TyFun a6989586621679419895 c6989586621679419897 -> Type) -> Type)) Source # Instances  SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679419895 (TyFun b6989586621679419896 c6989586621679419897 -> Type) -> Type) (TyFun b6989586621679419896 (TyFun a6989586621679419895 c6989586621679419897 -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (FlipSym0 :: TyFun (TyFun a6989586621679419895 (TyFun b6989586621679419896 c6989586621679419897 -> Type) -> Type) (TyFun b6989586621679419896 (TyFun a6989586621679419895 c6989586621679419897 -> Type) -> Type) -> *) (l :: TyFun a6989586621679419895 (TyFun b6989586621679419896 c6989586621679419897 -> Type) -> Type) Source # Instance detailstype Apply (FlipSym0 :: TyFun (TyFun a6989586621679419895 (TyFun b6989586621679419896 c6989586621679419897 -> Type) -> Type) (TyFun b6989586621679419896 (TyFun a6989586621679419895 c6989586621679419897 -> Type) -> Type) -> *) (l :: TyFun a6989586621679419895 (TyFun b6989586621679419896 c6989586621679419897 -> Type) -> Type) = FlipSym1 l data FlipSym1 (l :: TyFun a6989586621679419895 (TyFun b6989586621679419896 c6989586621679419897 -> Type) -> Type) (l :: TyFun b6989586621679419896 (TyFun a6989586621679419895 c6989586621679419897 -> Type)) Source # Instances  SuppressUnusedWarnings (FlipSym1 :: (TyFun a6989586621679419895 (TyFun b6989586621679419896 c6989586621679419897 -> Type) -> Type) -> TyFun b6989586621679419896 (TyFun a6989586621679419895 c6989586621679419897 -> Type) -> *) Source # Instance detailsMethods type Apply (FlipSym1 l1 :: TyFun b6989586621679419896 (TyFun a6989586621679419895 c6989586621679419897 -> Type) -> *) (l2 :: b6989586621679419896) Source # Instance detailstype Apply (FlipSym1 l1 :: TyFun b6989586621679419896 (TyFun a6989586621679419895 c6989586621679419897 -> Type) -> *) (l2 :: b6989586621679419896) = FlipSym2 l1 l2 data FlipSym2 (l :: TyFun a6989586621679419895 (TyFun b6989586621679419896 c6989586621679419897 -> Type) -> Type) (l :: b6989586621679419896) (l :: TyFun a6989586621679419895 c6989586621679419897) Source # Instances  SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679419895 (TyFun b6989586621679419896 c6989586621679419897 -> Type) -> Type) -> b6989586621679419896 -> TyFun a6989586621679419895 c6989586621679419897 -> *) Source # Instance detailsMethods type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) Source # Instance detailstype Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) = Flip l1 l2 l3 data AsTypeOfSym0 (l :: TyFun a6989586621679419894 (TyFun a6989586621679419894 a6989586621679419894 -> Type)) Source # Instances  SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679419894 (TyFun a6989586621679419894 a6989586621679419894 -> Type) -> *) Source # Instance detailsMethods type Apply (AsTypeOfSym0 :: TyFun a6989586621679419894 (TyFun a6989586621679419894 a6989586621679419894 -> Type) -> *) (l :: a6989586621679419894) Source # Instance detailstype Apply (AsTypeOfSym0 :: TyFun a6989586621679419894 (TyFun a6989586621679419894 a6989586621679419894 -> Type) -> *) (l :: a6989586621679419894) = AsTypeOfSym1 l data AsTypeOfSym1 (l :: a6989586621679419894) (l :: TyFun a6989586621679419894 a6989586621679419894) Source # Instances  SuppressUnusedWarnings (AsTypeOfSym1 :: a6989586621679419894 -> TyFun a6989586621679419894 a6989586621679419894 -> *) Source # Instance detailsMethods type Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) Source # Instance detailstype Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) = AsTypeOf l1 l2 type AsTypeOfSym2 (t :: a6989586621679419894) (t :: a6989586621679419894) = AsTypeOf t t Source # data SeqSym0 (l :: TyFun a6989586621679419888 (TyFun b6989586621679419889 b6989586621679419889 -> Type)) Source # Instances  SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679419888 (TyFun b6989586621679419889 b6989586621679419889 -> Type) -> *) Source # Instance detailsMethods type Apply (SeqSym0 :: TyFun a6989586621679419888 (TyFun b6989586621679419889 b6989586621679419889 -> Type) -> *) (l :: a6989586621679419888) Source # Instance detailstype Apply (SeqSym0 :: TyFun a6989586621679419888 (TyFun b6989586621679419889 b6989586621679419889 -> Type) -> *) (l :: a6989586621679419888) = (SeqSym1 l :: TyFun b6989586621679419889 b6989586621679419889 -> *) data SeqSym1 (l :: a6989586621679419888) (l :: TyFun b6989586621679419889 b6989586621679419889) Source # Instances  SuppressUnusedWarnings (SeqSym1 :: a6989586621679419888 -> TyFun b6989586621679419889 b6989586621679419889 -> *) Source # Instance detailsMethods type Apply (SeqSym1 l1 :: TyFun b b -> *) (l2 :: b) Source # Instance detailstype Apply (SeqSym1 l1 :: TyFun b b -> *) (l2 :: b) = Seq l1 l2 type SeqSym2 (t :: a6989586621679419888) (t :: b6989586621679419889) = Seq t t Source # data (:@#@) (l :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type)) Source # Instances  SuppressUnusedWarnings ((:@#@) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) Source # Instance detailsMethods type Apply ((:@#@) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) (l :: a3530822107858468865) Source # Instance detailstype Apply ((:@#@) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) (l :: a3530822107858468865) = (:@#@$$) l

data (l :: a3530822107858468865) :@#@$$(l :: TyFun [a3530822107858468865] [a3530822107858468865]) Source # Instances  SuppressUnusedWarnings ((:@#@$$) :: a3530822107858468865 -> TyFun [a3530822107858468865] [a3530822107858468865] -> *) Source # Instance detailsMethods type Apply ((:@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # Instance detailstype Apply ((:@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = l1 ': l2

type (:@#@$$) (t :: a3530822107858468865) (t :: [a3530822107858468865]) = (:) t t Source # type NilSym0 = '[] Source # data MapSym0 (l :: TyFun (TyFun a6989586621679419905 b6989586621679419906 -> Type) (TyFun [a6989586621679419905] [b6989586621679419906] -> Type)) Source # Instances  SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679419905 b6989586621679419906 -> Type) (TyFun [a6989586621679419905] [b6989586621679419906] -> Type) -> *) Source # Instance detailsMethods type Apply (MapSym0 :: TyFun (TyFun a6989586621679419905 b6989586621679419906 -> Type) (TyFun [a6989586621679419905] [b6989586621679419906] -> Type) -> *) (l :: TyFun a6989586621679419905 b6989586621679419906 -> Type) Source # Instance detailstype Apply (MapSym0 :: TyFun (TyFun a6989586621679419905 b6989586621679419906 -> Type) (TyFun [a6989586621679419905] [b6989586621679419906] -> Type) -> *) (l :: TyFun a6989586621679419905 b6989586621679419906 -> Type) = MapSym1 l data MapSym1 (l :: TyFun a6989586621679419905 b6989586621679419906 -> Type) (l :: TyFun [a6989586621679419905] [b6989586621679419906]) Source # Instances  SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679419905 b6989586621679419906 -> Type) -> TyFun [a6989586621679419905] [b6989586621679419906] -> *) Source # Instance detailsMethods type Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) Source # Instance detailstype Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) = Map l1 l2 type MapSym2 (t :: TyFun a6989586621679419905 b6989586621679419906 -> Type) (t :: [a6989586621679419905]) = Map t t Source # data ReverseSym0 (l :: TyFun [a6989586621679442536] [a6989586621679442536]) Source # Instances  SuppressUnusedWarnings (ReverseSym0 :: TyFun [a6989586621679442536] [a6989586621679442536] -> *) Source # Instance detailsMethods type Apply (ReverseSym0 :: TyFun [a] [a] -> *) (l :: [a]) Source # Instance detailstype Apply (ReverseSym0 :: TyFun [a] [a] -> *) (l :: [a]) = Reverse l type ReverseSym1 (t :: [a6989586621679442536]) = Reverse t Source # data (l :: [a6989586621679419904]) ++@#@$$ (l :: TyFun [a6989586621679419904] [a6989586621679419904]) Source #

Instances
 SuppressUnusedWarnings ((++@#@$$) :: [a6989586621679419904] -> TyFun [a6989586621679419904] [a6989586621679419904] -> *) Source # Instance detailsMethods type Apply ((++@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # Instance detailstype Apply ((++@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = l1 ++ l2 data (++@#@) (l :: TyFun [a6989586621679419904] (TyFun [a6989586621679419904] [a6989586621679419904] -> Type)) Source # Instances  SuppressUnusedWarnings ((++@#@) :: TyFun [a6989586621679419904] (TyFun [a6989586621679419904] [a6989586621679419904] -> Type) -> *) Source # Instance detailsMethods type Apply ((++@#@) :: TyFun [a6989586621679419904] (TyFun [a6989586621679419904] [a6989586621679419904] -> Type) -> *) (l :: [a6989586621679419904]) Source # Instance detailstype Apply ((++@#@) :: TyFun [a6989586621679419904] (TyFun [a6989586621679419904] [a6989586621679419904] -> Type) -> *) (l :: [a6989586621679419904]) = (++@#@$$) l

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

Instances
 SuppressUnusedWarnings (HeadSym0 :: TyFun [a6989586621679442541] a6989586621679442541 -> *) Source # Instance detailsMethods type Apply (HeadSym0 :: TyFun [a] a -> *) (l :: [a]) Source # Instance detailstype Apply (HeadSym0 :: TyFun [a] a -> *) (l :: [a]) = Head l

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

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

Instances
 SuppressUnusedWarnings (LastSym0 :: TyFun [a6989586621679442540] a6989586621679442540 -> *) Source # Instance detailsMethods type Apply (LastSym0 :: TyFun [a] a -> *) (l :: [a]) Source # Instance detailstype Apply (LastSym0 :: TyFun [a] a -> *) (l :: [a]) = Last l

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

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

Instances
 SuppressUnusedWarnings (TailSym0 :: TyFun [a6989586621679442539] [a6989586621679442539] -> *) Source # Instance detailsMethods type Apply (TailSym0 :: TyFun [a] [a] -> *) (l :: [a]) Source # Instance detailstype Apply (TailSym0 :: TyFun [a] [a] -> *) (l :: [a]) = Tail l

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

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

Instances
 SuppressUnusedWarnings (InitSym0 :: TyFun [a6989586621679442538] [a6989586621679442538] -> *) Source # Instance detailsMethods type Apply (InitSym0 :: TyFun [a] [a] -> *) (l :: [a]) Source # Instance detailstype Apply (InitSym0 :: TyFun [a] [a] -> *) (l :: [a]) = Init l

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

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

Instances
 SuppressUnusedWarnings (NullSym0 :: TyFun [a6989586621679442537] Bool -> *) Source # Instance detailsMethods type Apply (NullSym0 :: TyFun [a] Bool -> *) (l :: [a]) Source # Instance detailstype Apply (NullSym0 :: TyFun [a] Bool -> *) (l :: [a]) = Null l

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

data FoldlSym0 (l :: TyFun (TyFun b6989586621679259259 (TyFun a6989586621679259258 b6989586621679259259 -> Type) -> Type) (TyFun b6989586621679259259 (TyFun [a6989586621679259258] b6989586621679259259 -> Type) -> Type)) Source #

Instances
 SuppressUnusedWarnings (FoldlSym0 :: TyFun (TyFun b6989586621679259259 (TyFun a6989586621679259258 b6989586621679259259 -> Type) -> Type) (TyFun b6989586621679259259 (TyFun [a6989586621679259258] b6989586621679259259 -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (FoldlSym0 :: TyFun (TyFun b6989586621679259259 (TyFun a6989586621679259258 b6989586621679259259 -> Type) -> Type) (TyFun b6989586621679259259 (TyFun [a6989586621679259258] b6989586621679259259 -> Type) -> Type) -> *) (l :: TyFun b6989586621679259259 (TyFun a6989586621679259258 b6989586621679259259 -> Type) -> Type) Source # Instance detailstype Apply (FoldlSym0 :: TyFun (TyFun b6989586621679259259 (TyFun a6989586621679259258 b6989586621679259259 -> Type) -> Type) (TyFun b6989586621679259259 (TyFun [a6989586621679259258] b6989586621679259259 -> Type) -> Type) -> *) (l :: TyFun b6989586621679259259 (TyFun a6989586621679259258 b6989586621679259259 -> Type) -> Type) = FoldlSym1 l

data FoldlSym1 (l :: TyFun b6989586621679259259 (TyFun a6989586621679259258 b6989586621679259259 -> Type) -> Type) (l :: TyFun b6989586621679259259 (TyFun [a6989586621679259258] b6989586621679259259 -> Type)) Source #

Instances
 SuppressUnusedWarnings (FoldlSym1 :: (TyFun b6989586621679259259 (TyFun a6989586621679259258 b6989586621679259259 -> Type) -> Type) -> TyFun b6989586621679259259 (TyFun [a6989586621679259258] b6989586621679259259 -> Type) -> *) Source # Instance detailsMethods type Apply (FoldlSym1 l1 :: TyFun b6989586621679259259 (TyFun [a6989586621679259258] b6989586621679259259 -> Type) -> *) (l2 :: b6989586621679259259) Source # Instance detailstype Apply (FoldlSym1 l1 :: TyFun b6989586621679259259 (TyFun [a6989586621679259258] b6989586621679259259 -> Type) -> *) (l2 :: b6989586621679259259) = FoldlSym2 l1 l2

data FoldlSym2 (l :: TyFun b6989586621679259259 (TyFun a6989586621679259258 b6989586621679259259 -> Type) -> Type) (l :: b6989586621679259259) (l :: TyFun [a6989586621679259258] b6989586621679259259) Source #

Instances
 SuppressUnusedWarnings (FoldlSym2 :: (TyFun b6989586621679259259 (TyFun a6989586621679259258 b6989586621679259259 -> Type) -> Type) -> b6989586621679259259 -> TyFun [a6989586621679259258] b6989586621679259259 -> *) Source # Instance detailsMethods type Apply (FoldlSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) Source # Instance detailstype Apply (FoldlSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) = Foldl l1 l2 l3

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

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

Instances
 SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (TyFun a6989586621679442527 (TyFun a6989586621679442527 a6989586621679442527 -> Type) -> Type) (TyFun [a6989586621679442527] a6989586621679442527 -> Type) -> *) Source # Instance detailsMethods type Apply (Foldl1Sym0 :: TyFun (TyFun a6989586621679442527 (TyFun a6989586621679442527 a6989586621679442527 -> Type) -> Type) (TyFun [a6989586621679442527] a6989586621679442527 -> Type) -> *) (l :: TyFun a6989586621679442527 (TyFun a6989586621679442527 a6989586621679442527 -> Type) -> Type) Source # Instance detailstype Apply (Foldl1Sym0 :: TyFun (TyFun a6989586621679442527 (TyFun a6989586621679442527 a6989586621679442527 -> Type) -> Type) (TyFun [a6989586621679442527] a6989586621679442527 -> Type) -> *) (l :: TyFun a6989586621679442527 (TyFun a6989586621679442527 a6989586621679442527 -> Type) -> Type) = Foldl1Sym1 l

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

Instances
 SuppressUnusedWarnings (Foldl1Sym1 :: (TyFun a6989586621679442527 (TyFun a6989586621679442527 a6989586621679442527 -> Type) -> Type) -> TyFun [a6989586621679442527] a6989586621679442527 -> *) Source # Instance detailsMethods type Apply (Foldl1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) Source # Instance detailstype Apply (Foldl1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) = Foldl1 l1 l2

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

data FoldrSym0 (l :: TyFun (TyFun a6989586621679419907 (TyFun b6989586621679419908 b6989586621679419908 -> Type) -> Type) (TyFun b6989586621679419908 (TyFun [a6989586621679419907] b6989586621679419908 -> Type) -> Type)) Source #

Instances
 SuppressUnusedWarnings (FoldrSym0 :: TyFun (TyFun a6989586621679419907 (TyFun b6989586621679419908 b6989586621679419908 -> Type) -> Type) (TyFun b6989586621679419908 (TyFun [a6989586621679419907] b6989586621679419908 -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679419907 (TyFun b6989586621679419908 b6989586621679419908 -> Type) -> Type) (TyFun b6989586621679419908 (TyFun [a6989586621679419907] b6989586621679419908 -> Type) -> Type) -> *) (l :: TyFun a6989586621679419907 (TyFun b6989586621679419908 b6989586621679419908 -> Type) -> Type) Source # Instance detailstype Apply (FoldrSym0 :: TyFun (TyFun a6989586621679419907 (TyFun b6989586621679419908 b6989586621679419908 -> Type) -> Type) (TyFun b6989586621679419908 (TyFun [a6989586621679419907] b6989586621679419908 -> Type) -> Type) -> *) (l :: TyFun a6989586621679419907 (TyFun b6989586621679419908 b6989586621679419908 -> Type) -> Type) = FoldrSym1 l

data FoldrSym1 (l :: TyFun a6989586621679419907 (TyFun b6989586621679419908 b6989586621679419908 -> Type) -> Type) (l :: TyFun b6989586621679419908 (TyFun [a6989586621679419907] b6989586621679419908 -> Type)) Source #

Instances
 SuppressUnusedWarnings (FoldrSym1 :: (TyFun a6989586621679419907 (TyFun b6989586621679419908 b6989586621679419908 -> Type) -> Type) -> TyFun b6989586621679419908 (TyFun [a6989586621679419907] b6989586621679419908 -> Type) -> *) Source # Instance detailsMethods type Apply (FoldrSym1 l1 :: TyFun b6989586621679419908 (TyFun [a6989586621679419907] b6989586621679419908 -> Type) -> *) (l2 :: b6989586621679419908) Source # Instance detailstype Apply (FoldrSym1 l1 :: TyFun b6989586621679419908 (TyFun [a6989586621679419907] b6989586621679419908 -> Type) -> *) (l2 :: b6989586621679419908) = FoldrSym2 l1 l2

data FoldrSym2 (l :: TyFun a6989586621679419907 (TyFun b6989586621679419908 b6989586621679419908 -> Type) -> Type) (l :: b6989586621679419908) (l :: TyFun [a6989586621679419907] b6989586621679419908) Source #

Instances
 SuppressUnusedWarnings (FoldrSym2 :: (TyFun a6989586621679419907 (TyFun b6989586621679419908 b6989586621679419908 -> Type) -> Type) -> b6989586621679419908 -> TyFun [a6989586621679419907] b6989586621679419908 -> *) Source # Instance detailsMethods type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) Source # Instance detailstype Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) = Foldr l1 l2 l3

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

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

Instances
 SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (TyFun a6989586621679442525 (TyFun a6989586621679442525 a6989586621679442525 -> Type) -> Type) (TyFun [a6989586621679442525] a6989586621679442525 -> Type) -> *) Source # Instance detailsMethods type Apply (Foldr1Sym0 :: TyFun (TyFun a6989586621679442525 (TyFun a6989586621679442525 a6989586621679442525 -> Type) -> Type) (TyFun [a6989586621679442525] a6989586621679442525 -> Type) -> *) (l :: TyFun a6989586621679442525 (TyFun a6989586621679442525 a6989586621679442525 -> Type) -> Type) Source # Instance detailstype Apply (Foldr1Sym0 :: TyFun (TyFun a6989586621679442525 (TyFun a6989586621679442525 a6989586621679442525 -> Type) -> Type) (TyFun [a6989586621679442525] a6989586621679442525 -> Type) -> *) (l :: TyFun a6989586621679442525 (TyFun a6989586621679442525 a6989586621679442525 -> Type) -> Type) = Foldr1Sym1 l

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

Instances
 SuppressUnusedWarnings (Foldr1Sym1 :: (TyFun a6989586621679442525 (TyFun a6989586621679442525 a6989586621679442525 -> Type) -> Type) -> TyFun [a6989586621679442525] a6989586621679442525 -> *) Source # Instance detailsMethods type Apply (Foldr1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) Source # Instance detailstype Apply (Foldr1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) = Foldr1 l1 l2

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

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

Instances
 SuppressUnusedWarnings (ConcatSym0 :: TyFun [[a6989586621679442524]] [a6989586621679442524] -> *) Source # Instance detailsMethods type Apply (ConcatSym0 :: TyFun [[a]] [a] -> *) (l :: [[a]]) Source # Instance detailstype Apply (ConcatSym0 :: TyFun [[a]] [a] -> *) (l :: [[a]]) = Concat l

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

data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679442522 [b6989586621679442523] -> Type) (TyFun [a6989586621679442522] [b6989586621679442523] -> Type)) Source #

Instances
 SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (TyFun a6989586621679442522 [b6989586621679442523] -> Type) (TyFun [a6989586621679442522] [b6989586621679442523] -> Type) -> *) Source # Instance detailsMethods type Apply (ConcatMapSym0 :: TyFun (TyFun a6989586621679442522 [b6989586621679442523] -> Type) (TyFun [a6989586621679442522] [b6989586621679442523] -> Type) -> *) (l :: TyFun a6989586621679442522 [b6989586621679442523] -> Type) Source # Instance detailstype Apply (ConcatMapSym0 :: TyFun (TyFun a6989586621679442522 [b6989586621679442523] -> Type) (TyFun [a6989586621679442522] [b6989586621679442523] -> Type) -> *) (l :: TyFun a6989586621679442522 [b6989586621679442523] -> Type) = ConcatMapSym1 l

data ConcatMapSym1 (l :: TyFun a6989586621679442522 [b6989586621679442523] -> Type) (l :: TyFun [a6989586621679442522] [b6989586621679442523]) Source #

Instances
 SuppressUnusedWarnings (ConcatMapSym1 :: (TyFun a6989586621679442522 [b6989586621679442523] -> Type) -> TyFun [a6989586621679442522] [b6989586621679442523] -> *) Source # Instance detailsMethods type Apply (ConcatMapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) Source # Instance detailstype Apply (ConcatMapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) = ConcatMap l1 l2

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

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

Instances
 SuppressUnusedWarnings (MaximumBySym0 :: TyFun (TyFun a6989586621679442453 (TyFun a6989586621679442453 Ordering -> Type) -> Type) (TyFun [a6989586621679442453] a6989586621679442453 -> Type) -> *) Source # Instance detailsMethods type Apply (MaximumBySym0 :: TyFun (TyFun a6989586621679442453 (TyFun a6989586621679442453 Ordering -> Type) -> Type) (TyFun [a6989586621679442453] a6989586621679442453 -> Type) -> *) (l :: TyFun a6989586621679442453 (TyFun a6989586621679442453 Ordering -> Type) -> Type) Source # Instance detailstype Apply (MaximumBySym0 :: TyFun (TyFun a6989586621679442453 (TyFun a6989586621679442453 Ordering -> Type) -> Type) (TyFun [a6989586621679442453] a6989586621679442453 -> Type) -> *) (l :: TyFun a6989586621679442453 (TyFun a6989586621679442453 Ordering -> Type) -> Type) = MaximumBySym1 l

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

Instances
 SuppressUnusedWarnings (MaximumBySym1 :: (TyFun a6989586621679442453 (TyFun a6989586621679442453 Ordering -> Type) -> Type) -> TyFun [a6989586621679442453] a6989586621679442453 -> *) Source # Instance detailsMethods type Apply (MaximumBySym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) Source # Instance detailstype Apply (MaximumBySym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) = MaximumBy l1 l2

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

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

Instances
 SuppressUnusedWarnings (MinimumBySym0 :: TyFun (TyFun a6989586621679442452 (TyFun a6989586621679442452 Ordering -> Type) -> Type) (TyFun [a6989586621679442452] a6989586621679442452 -> Type) -> *) Source # Instance detailsMethods type Apply (MinimumBySym0 :: TyFun (TyFun a6989586621679442452 (TyFun a6989586621679442452 Ordering -> Type) -> Type) (TyFun [a6989586621679442452] a6989586621679442452 -> Type) -> *) (l :: TyFun a6989586621679442452 (TyFun a6989586621679442452 Ordering -> Type) -> Type) Source # Instance detailstype Apply (MinimumBySym0 :: TyFun (TyFun a6989586621679442452 (TyFun a6989586621679442452 Ordering -> Type) -> Type) (TyFun [a6989586621679442452] a6989586621679442452 -> Type) -> *) (l :: TyFun a6989586621679442452 (TyFun a6989586621679442452 Ordering -> Type) -> Type) = MinimumBySym1 l

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

Instances
 SuppressUnusedWarnings (MinimumBySym1 :: (TyFun a6989586621679442452 (TyFun a6989586621679442452 Ordering -> Type) -> Type) -> TyFun [a6989586621679442452] a6989586621679442452 -> *) Source # Instance detailsMethods type Apply (MinimumBySym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) Source # Instance detailstype Apply (MinimumBySym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) = MinimumBy l1 l2

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

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

Instances
 Source # Instance detailsMethods type Apply AndSym0 (l :: [Bool]) Source # Instance detailstype Apply AndSym0 (l :: [Bool]) = And l

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

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

Instances
 Source # Instance detailsMethods type Apply OrSym0 (l :: [Bool]) Source # Instance detailstype Apply OrSym0 (l :: [Bool]) = Or l

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

data AnySym0 (l :: TyFun (TyFun a6989586621679442520 Bool -> Type) (TyFun [a6989586621679442520] Bool -> Type)) Source #

Instances
 SuppressUnusedWarnings (AnySym0 :: TyFun (TyFun a6989586621679442520 Bool -> Type) (TyFun [a6989586621679442520] Bool -> Type) -> *) Source # Instance detailsMethods type Apply (AnySym0 :: TyFun (TyFun a6989586621679442520 Bool -> Type) (TyFun [a6989586621679442520] Bool -> Type) -> *) (l :: TyFun a6989586621679442520 Bool -> Type) Source # Instance detailstype Apply (AnySym0 :: TyFun (TyFun a6989586621679442520 Bool -> Type) (TyFun [a6989586621679442520] Bool -> Type) -> *) (l :: TyFun a6989586621679442520 Bool -> Type) = AnySym1 l

data AnySym1 (l :: TyFun a6989586621679442520 Bool -> Type) (l :: TyFun [a6989586621679442520] Bool) Source #

Instances
 SuppressUnusedWarnings (AnySym1 :: (TyFun a6989586621679442520 Bool -> Type) -> TyFun [a6989586621679442520] Bool -> *) Source # Instance detailsMethods type Apply (AnySym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) Source # Instance detailstype Apply (AnySym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = Any l1 l2

type AnySym2 (t :: TyFun a6989586621679442520 Bool -> Type) (t :: [a6989586621679442520]) = Any t t Source #

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

Instances
 SuppressUnusedWarnings (AllSym0 :: TyFun (TyFun a6989586621679442521 Bool -> Type) (TyFun [a6989586621679442521] Bool -> Type) -> *) Source # Instance detailsMethods type Apply (AllSym0 :: TyFun (TyFun a6989586621679442521 Bool -> Type) (TyFun [a6989586621679442521] Bool -> Type) -> *) (l :: TyFun a6989586621679442521 Bool -> Type) Source # Instance detailstype Apply (AllSym0 :: TyFun (TyFun a6989586621679442521 Bool -> Type) (TyFun [a6989586621679442521] Bool -> Type) -> *) (l :: TyFun a6989586621679442521 Bool -> Type) = AllSym1 l

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

Instances
 SuppressUnusedWarnings (AllSym1 :: (TyFun a6989586621679442521 Bool -> Type) -> TyFun [a6989586621679442521] Bool -> *) Source # Instance detailsMethods type Apply (AllSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) Source # Instance detailstype Apply (AllSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = All l1 l2

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

data ScanlSym0 (l :: TyFun (TyFun b6989586621679442518 (TyFun a6989586621679442519 b6989586621679442518 -> Type) -> Type) (TyFun b6989586621679442518 (TyFun [a6989586621679442519] [b6989586621679442518] -> Type) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679442518 (TyFun a6989586621679442519 b6989586621679442518 -> Type) -> Type) (TyFun b6989586621679442518 (TyFun [a6989586621679442519] [b6989586621679442518] -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679442518 (TyFun a6989586621679442519 b6989586621679442518 -> Type) -> Type) (TyFun b6989586621679442518 (TyFun [a6989586621679442519] [b6989586621679442518] -> Type) -> Type) -> *) (l :: TyFun b6989586621679442518 (TyFun a6989586621679442519 b6989586621679442518 -> Type) -> Type) Source # Instance detailstype Apply (ScanlSym0 :: TyFun (TyFun b6989586621679442518 (TyFun a6989586621679442519 b6989586621679442518 -> Type) -> Type) (TyFun b6989586621679442518 (TyFun [a6989586621679442519] [b6989586621679442518] -> Type) -> Type) -> *) (l :: TyFun b6989586621679442518 (TyFun a6989586621679442519 b6989586621679442518 -> Type) -> Type) = ScanlSym1 l

data ScanlSym1 (l :: TyFun b6989586621679442518 (TyFun a6989586621679442519 b6989586621679442518 -> Type) -> Type) (l :: TyFun b6989586621679442518 (TyFun [a6989586621679442519] [b6989586621679442518] -> Type)) Source #

Instances
 SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679442518 (TyFun a6989586621679442519 b6989586621679442518 -> Type) -> Type) -> TyFun b6989586621679442518 (TyFun [a6989586621679442519] [b6989586621679442518] -> Type) -> *) Source # Instance detailsMethods type Apply (ScanlSym1 l1 :: TyFun b6989586621679442518 (TyFun [a6989586621679442519] [b6989586621679442518] -> Type) -> *) (l2 :: b6989586621679442518) Source # Instance detailstype Apply (ScanlSym1 l1 :: TyFun b6989586621679442518 (TyFun [a6989586621679442519] [b6989586621679442518] -> Type) -> *) (l2 :: b6989586621679442518) = ScanlSym2 l1 l2

data ScanlSym2 (l :: TyFun b6989586621679442518 (TyFun a6989586621679442519 b6989586621679442518 -> Type) -> Type) (l :: b6989586621679442518) (l :: TyFun [a6989586621679442519] [b6989586621679442518]) Source #

Instances
 SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679442518 (TyFun a6989586621679442519 b6989586621679442518 -> Type) -> Type) -> b6989586621679442518 -> TyFun [a6989586621679442519] [b6989586621679442518] -> *) Source # Instance detailsMethods type Apply (ScanlSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) Source # Instance detailstype Apply (ScanlSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) = Scanl l1 l2 l3

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

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

Instances
 SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679442517 (TyFun a6989586621679442517 a6989586621679442517 -> Type) -> Type) (TyFun [a6989586621679442517] [a6989586621679442517] -> Type) -> *) Source # Instance detailsMethods type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679442517 (TyFun a6989586621679442517 a6989586621679442517 -> Type) -> Type) (TyFun [a6989586621679442517] [a6989586621679442517] -> Type) -> *) (l :: TyFun a6989586621679442517 (TyFun a6989586621679442517 a6989586621679442517 -> Type) -> Type) Source # Instance detailstype Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679442517 (TyFun a6989586621679442517 a6989586621679442517 -> Type) -> Type) (TyFun [a6989586621679442517] [a6989586621679442517] -> Type) -> *) (l :: TyFun a6989586621679442517 (TyFun a6989586621679442517 a6989586621679442517 -> Type) -> Type) = Scanl1Sym1 l

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

Instances
 SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679442517 (TyFun a6989586621679442517 a6989586621679442517 -> Type) -> Type) -> TyFun [a6989586621679442517] [a6989586621679442517] -> *) Source # Instance detailsMethods type Apply (Scanl1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # Instance detailstype Apply (Scanl1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = Scanl1 l1 l2

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

data ScanrSym0 (l :: TyFun (TyFun a6989586621679442515 (TyFun b6989586621679442516 b6989586621679442516 -> Type) -> Type) (TyFun b6989586621679442516 (TyFun [a6989586621679442515] [b6989586621679442516] -> Type) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679442515 (TyFun b6989586621679442516 b6989586621679442516 -> Type) -> Type) (TyFun b6989586621679442516 (TyFun [a6989586621679442515] [b6989586621679442516] -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679442515 (TyFun b6989586621679442516 b6989586621679442516 -> Type) -> Type) (TyFun b6989586621679442516 (TyFun [a6989586621679442515] [b6989586621679442516] -> Type) -> Type) -> *) (l :: TyFun a6989586621679442515 (TyFun b6989586621679442516 b6989586621679442516 -> Type) -> Type) Source # Instance detailstype Apply (ScanrSym0 :: TyFun (TyFun a6989586621679442515 (TyFun b6989586621679442516 b6989586621679442516 -> Type) -> Type) (TyFun b6989586621679442516 (TyFun [a6989586621679442515] [b6989586621679442516] -> Type) -> Type) -> *) (l :: TyFun a6989586621679442515 (TyFun b6989586621679442516 b6989586621679442516 -> Type) -> Type) = ScanrSym1 l

data ScanrSym1 (l :: TyFun a6989586621679442515 (TyFun b6989586621679442516 b6989586621679442516 -> Type) -> Type) (l :: TyFun b6989586621679442516 (TyFun [a6989586621679442515] [b6989586621679442516] -> Type)) Source #

Instances
 SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679442515 (TyFun b6989586621679442516 b6989586621679442516 -> Type) -> Type) -> TyFun b6989586621679442516 (TyFun [a6989586621679442515] [b6989586621679442516] -> Type) -> *) Source # Instance detailsMethods type Apply (ScanrSym1 l1 :: TyFun b6989586621679442516 (TyFun [a6989586621679442515] [b6989586621679442516] -> Type) -> *) (l2 :: b6989586621679442516) Source # Instance detailstype Apply (ScanrSym1 l1 :: TyFun b6989586621679442516 (TyFun [a6989586621679442515] [b6989586621679442516] -> Type) -> *) (l2 :: b6989586621679442516) = ScanrSym2 l1 l2

data ScanrSym2 (l :: TyFun a6989586621679442515 (TyFun b6989586621679442516 b6989586621679442516 -> Type) -> Type) (l :: b6989586621679442516) (l :: TyFun [a6989586621679442515] [b6989586621679442516]) Source #

Instances
 SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679442515 (TyFun b6989586621679442516 b6989586621679442516 -> Type) -> Type) -> b6989586621679442516 -> TyFun [a6989586621679442515] [b6989586621679442516] -> *) Source # Instance detailsMethods type Apply (ScanrSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) Source # Instance detailstype Apply (ScanrSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) = Scanr l1 l2 l3

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

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

Instances
 SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679442514 (TyFun a6989586621679442514 a6989586621679442514 -> Type) -> Type) (TyFun [a6989586621679442514] [a6989586621679442514] -> Type) -> *) Source # Instance detailsMethods type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679442514 (TyFun a6989586621679442514 a6989586621679442514 -> Type) -> Type) (TyFun [a6989586621679442514] [a6989586621679442514] -> Type) -> *) (l :: TyFun a6989586621679442514 (TyFun a6989586621679442514 a6989586621679442514 -> Type) -> Type) Source # Instance detailstype Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679442514 (TyFun a6989586621679442514 a6989586621679442514 -> Type) -> Type) (TyFun [a6989586621679442514] [a6989586621679442514] -> Type) -> *) (l :: TyFun a6989586621679442514 (TyFun a6989586621679442514 a6989586621679442514 -> Type) -> Type) = Scanr1Sym1 l

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

Instances
 SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679442514 (TyFun a6989586621679442514 a6989586621679442514 -> Type) -> Type) -> TyFun [a6989586621679442514] [a6989586621679442514] -> *) Source # Instance detailsMethods type Apply (Scanr1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source # Instance detailstype Apply (Scanr1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = Scanr1 l1 l2

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

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

Instances
 SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621679442500 (TyFun [a6989586621679442500] Bool -> Type) -> *) Source # Instance detailsMethods type Apply (ElemSym0 :: TyFun a6989586621679442500 (TyFun [a6989586621679442500] Bool -> Type) -> *) (l :: a6989586621679442500) Source # Instance detailstype Apply (ElemSym0 :: TyFun a6989586621679442500 (TyFun [a6989586621679442500] Bool -> Type) -> *) (l :: a6989586621679442500) = ElemSym1 l

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

Instances
 SuppressUnusedWarnings (ElemSym1 :: a6989586621679442500 -> TyFun [a6989586621679442500] Bool -> *) Source # Instance detailsMethods type Apply (ElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) Source # Instance detailstype Apply (ElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = Elem l1 l2

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

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

Instances
 SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621679442499 (TyFun [a6989586621679442499] Bool -> Type) -> *) Source # Instance detailsMethods type Apply (NotElemSym0 :: TyFun a6989586621679442499 (TyFun [a6989586621679442499] Bool -> Type) -> *) (l :: a6989586621679442499) Source # Instance detailstype Apply (NotElemSym0 :: TyFun a6989586621679442499 (TyFun [a6989586621679442499] Bool -> Type) -> *) (l :: a6989586621679442499) = NotElemSym1 l

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

Instances
 SuppressUnusedWarnings (NotElemSym1 :: a6989586621679442499 -> TyFun [a6989586621679442499] Bool -> *) Source # Instance detailsMethods type Apply (NotElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) Source # Instance detailstype Apply (NotElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) = NotElem l1 l2

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

data ZipSym0 (l :: TyFun [a6989586621679442497] (TyFun [b6989586621679442498] [(a6989586621679442497, b6989586621679442498)] -> Type)) Source #

Instances
 SuppressUnusedWarnings (ZipSym0 :: TyFun [a6989586621679442497] (TyFun [b6989586621679442498] [(a6989586621679442497, b6989586621679442498)] -> Type) -> *) Source # Instance detailsMethods type Apply (ZipSym0 :: TyFun [a6989586621679442497] (TyFun [b6989586621679442498] [(a6989586621679442497, b6989586621679442498)] -> Type) -> *) (l :: [a6989586621679442497]) Source # Instance detailstype Apply (ZipSym0 :: TyFun [a6989586621679442497] (TyFun [b6989586621679442498] [(a6989586621679442497, b6989586621679442498)] -> Type) -> *) (l :: [a6989586621679442497]) = (ZipSym1 l :: TyFun [b6989586621679442498] [(a6989586621679442497, b6989586621679442498)] -> *)

data ZipSym1 (l :: [a6989586621679442497]) (l :: TyFun [b6989586621679442498] [(a6989586621679442497, b6989586621679442498)]) Source #

Instances
 SuppressUnusedWarnings (ZipSym1 :: [a6989586621679442497] -> TyFun [b6989586621679442498] [(a6989586621679442497, b6989586621679442498)] -> *) Source # Instance detailsMethods type Apply (ZipSym1 l1 :: TyFun [b] [(a, b)] -> *) (l2 :: [b]) Source # Instance detailstype Apply (ZipSym1 l1 :: TyFun [b] [(a, b)] -> *) (l2 :: [b]) = Zip l1 l2

type ZipSym2 (t :: [a6989586621679442497]) (t :: [b6989586621679442498]) = Zip t t Source #

data Zip3Sym0 (l :: TyFun [a6989586621679442494] (TyFun [b6989586621679442495] (TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)] -> Type) -> Type)) Source #

Instances
 SuppressUnusedWarnings (Zip3Sym0 :: TyFun [a6989586621679442494] (TyFun [b6989586621679442495] (TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)] -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (Zip3Sym0 :: TyFun [a6989586621679442494] (TyFun [b6989586621679442495] (TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)] -> Type) -> Type) -> *) (l :: [a6989586621679442494]) Source # Instance detailstype Apply (Zip3Sym0 :: TyFun [a6989586621679442494] (TyFun [b6989586621679442495] (TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)] -> Type) -> Type) -> *) (l :: [a6989586621679442494]) = (Zip3Sym1 l :: TyFun [b6989586621679442495] (TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)] -> Type) -> *)

data Zip3Sym1 (l :: [a6989586621679442494]) (l :: TyFun [b6989586621679442495] (TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)] -> Type)) Source #

Instances
 SuppressUnusedWarnings (Zip3Sym1 :: [a6989586621679442494] -> TyFun [b6989586621679442495] (TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)] -> Type) -> *) Source # Instance detailsMethods type Apply (Zip3Sym1 l1 :: TyFun [b6989586621679442495] (TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)] -> Type) -> *) (l2 :: [b6989586621679442495]) Source # Instance detailstype Apply (Zip3Sym1 l1 :: TyFun [b6989586621679442495] (TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)] -> Type) -> *) (l2 :: [b6989586621679442495]) = (Zip3Sym2 l1 l2 :: TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)] -> *)

data Zip3Sym2 (l :: [a6989586621679442494]) (l :: [b6989586621679442495]) (l :: TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)]) Source #

Instances
 SuppressUnusedWarnings (Zip3Sym2 :: [a6989586621679442494] -> [b6989586621679442495] -> TyFun [c6989586621679442496] [(a6989586621679442494, b6989586621679442495, c6989586621679442496)] -> *) Source # Instance detailsMethods type Apply (Zip3Sym2 l1 l2 :: TyFun [c] [(a, b, c)] -> *) (l3 :: [c]) Source # Instance detailstype Apply (Zip3Sym2 l1 l2 :: TyFun [c] [(a, b, c)] -> *) (l3 :: [c]) = Zip3 l1 l2 l3

type Zip3Sym3 (t :: [a6989586621679442494]) (t :: [b6989586621679442495]) (t :: [c6989586621679442496]) = Zip3 t t t Source #

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679442491 (TyFun b6989586621679442492 c6989586621679442493 -> Type) -> Type) (TyFun [a6989586621679442491] (TyFun [b6989586621679442492] [c6989586621679442493] -> Type) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679442491 (TyFun b6989586621679442492 c6989586621679442493 -> Type) -> Type) (TyFun [a6989586621679442491] (TyFun [b6989586621679442492] [c6989586621679442493] -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679442491 (TyFun b6989586621679442492 c6989586621679442493 -> Type) -> Type) (TyFun [a6989586621679442491] (TyFun [b6989586621679442492] [c6989586621679442493] -> Type) -> Type) -> *) (l :: TyFun a6989586621679442491 (TyFun b6989586621679442492 c6989586621679442493 -> Type) -> Type) Source # Instance detailstype Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679442491 (TyFun b6989586621679442492 c6989586621679442493 -> Type) -> Type) (TyFun [a6989586621679442491] (TyFun [b6989586621679442492] [c6989586621679442493] -> Type) -> Type) -> *) (l :: TyFun a6989586621679442491 (TyFun b6989586621679442492 c6989586621679442493 -> Type) -> Type) = ZipWithSym1 l

data ZipWithSym1 (l :: TyFun a6989586621679442491 (TyFun b6989586621679442492 c6989586621679442493 -> Type) -> Type) (l :: TyFun [a6989586621679442491] (TyFun [b6989586621679442492] [c6989586621679442493] -> Type)) Source #

Instances
 SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679442491 (TyFun b6989586621679442492 c6989586621679442493 -> Type) -> Type) -> TyFun [a6989586621679442491] (TyFun [b6989586621679442492] [c6989586621679442493] -> Type) -> *) Source # Instance detailsMethods type Apply (ZipWithSym1 l1 :: TyFun [a6989586621679442491] (TyFun [b6989586621679442492] [c6989586621679442493] -> Type) -> *) (l2 :: [a6989586621679442491]) Source # Instance detailstype Apply (ZipWithSym1 l1 :: TyFun [a6989586621679442491] (TyFun [b6989586621679442492] [c6989586621679442493] -> Type) -> *) (l2 :: [a6989586621679442491]) = ZipWithSym2 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679442491 (TyFun b6989586621679442492 c6989586621679442493 -> Type) -> Type) (l :: [a6989586621679442491]) (l :: TyFun [b6989586621679442492] [c6989586621679442493]) Source #

Instances
 SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679442491 (TyFun b6989586621679442492 c6989586621679442493 -> Type) -> Type) -> [a6989586621679442491] -> TyFun [b6989586621679442492] [c6989586621679442493] -> *) Source # Instance detailsMethods type Apply (ZipWithSym2 l1 l2 :: TyFun [b] [c] -> *) (l3 :: [b]) Source # Instance detailstype Apply (ZipWithSym2 l1 l2 :: TyFun [b] [c] -> *) (l3 :: [b]) = ZipWith l1 l2 l3

type ZipWithSym3 (t :: TyFun a6989586621679442491 (TyFun b6989586621679442492 c6989586621679442493 -> Type) -> Type) (t :: [a6989586621679442491]) (t :: [b6989586621679442492]) = ZipWith t t t Source #

data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) (TyFun [a6989586621679442487] (TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type) -> Type) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ZipWith3Sym0 :: TyFun (TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) (TyFun [a6989586621679442487] (TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (ZipWith3Sym0 :: TyFun (TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) (TyFun [a6989586621679442487] (TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type) -> Type) -> Type) -> *) (l :: TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) Source # Instance detailstype Apply (ZipWith3Sym0 :: TyFun (TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) (TyFun [a6989586621679442487] (TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type) -> Type) -> Type) -> *) (l :: TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) = ZipWith3Sym1 l

data ZipWith3Sym1 (l :: TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679442487] (TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ZipWith3Sym1 :: (TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) -> TyFun [a6989586621679442487] (TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (ZipWith3Sym1 l1 :: TyFun [a6989586621679442487] (TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type) -> Type) -> *) (l2 :: [a6989586621679442487]) Source # Instance detailstype Apply (ZipWith3Sym1 l1 :: TyFun [a6989586621679442487] (TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type) -> Type) -> *) (l2 :: [a6989586621679442487]) = ZipWith3Sym2 l1 l2

data ZipWith3Sym2 (l :: TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) (l :: [a6989586621679442487]) (l :: TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type)) Source #

Instances
 SuppressUnusedWarnings (ZipWith3Sym2 :: (TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) -> [a6989586621679442487] -> TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type) -> *) Source # Instance detailsMethods type Apply (ZipWith3Sym2 l1 l2 :: TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type) -> *) (l3 :: [b6989586621679442488]) Source # Instance detailstype Apply (ZipWith3Sym2 l1 l2 :: TyFun [b6989586621679442488] (TyFun [c6989586621679442489] [d6989586621679442490] -> Type) -> *) (l3 :: [b6989586621679442488]) = ZipWith3Sym3 l1 l2 l3

data ZipWith3Sym3 (l :: TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) (l :: [a6989586621679442487]) (l :: [b6989586621679442488]) (l :: TyFun [c6989586621679442489] [d6989586621679442490]) Source #

Instances
 SuppressUnusedWarnings (ZipWith3Sym3 :: (TyFun a6989586621679442487 (TyFun b6989586621679442488 (TyFun c6989586621679442489 d6989586621679442490 -> Type) -> Type) -> Type) -> [a6989586621679442487] -> [b6989586621679442488] -> TyFun [c6989586621679442489] [d6989586621679442490] -> *) Source # Instance detailsMethods type Apply (ZipWith3Sym3 l1 l2 l3 :: TyFun [c] [d] -> *) (l4 :: [c]) Source # Instance detailstype Apply (ZipWith3Sym3 l1 l2 l3 :: TyFun [c] [d] -> *) (l4 :: [c]) = ZipWith3 l1 l2 l3 l4

data UnzipSym0 (l :: TyFun [(a6989586621679442485, b6989586621679442486)] ([a6989586621679442485], [b6989586621679442486])) Source #

Instances
 SuppressUnusedWarnings (UnzipSym0 :: TyFun [(a6989586621679442485, b6989586621679442486)] ([a6989586621679442485], [b6989586621679442486]) -> *) Source # Instance detailsMethods type Apply (UnzipSym0 :: TyFun [(a, b)] ([a], [b]) -> *) (l :: [(a, b)]) Source # Instance detailstype Apply (UnzipSym0 :: TyFun [(a, b)] ([a], [b]) -> *) (l :: [(a, b)]) = Unzip l

type UnzipSym1 (t :: [(a6989586621679442485, b6989586621679442486)]) = Unzip t Source #

data UnlinesSym0 (l :: TyFun [Symbol] Symbol) Source #

Instances
 Source # Instance detailsMethods type Apply UnlinesSym0 (l :: [Symbol]) Source # Instance detailstype Apply UnlinesSym0 (l :: [Symbol]) = Unlines l

type UnlinesSym1 (t :: [Symbol]) = Unlines t Source #

data UnwordsSym0 (l :: TyFun [Symbol] Symbol) Source #

Instances
 Source # Instance detailsMethods type Apply UnwordsSym0 (l :: [Symbol]) Source # Instance detailstype Apply UnwordsSym0 (l :: [Symbol]) = Unwords l

type UnwordsSym1 (t :: [Symbol]) = Unwords t Source #

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

Instances
 SuppressUnusedWarnings (UntilSym0 :: TyFun (TyFun a6989586621679958924 Bool -> Type) (TyFun (TyFun a6989586621679958924 a6989586621679958924 -> Type) (TyFun a6989586621679958924 a6989586621679958924 -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (UntilSym0 :: TyFun (TyFun a6989586621679958924 Bool -> Type) (TyFun (TyFun a6989586621679958924 a6989586621679958924 -> Type) (TyFun a6989586621679958924 a6989586621679958924 -> Type) -> Type) -> *) (l :: TyFun a6989586621679958924 Bool -> Type) Source # Instance detailstype Apply (UntilSym0 :: TyFun (TyFun a6989586621679958924 Bool -> Type) (TyFun (TyFun a6989586621679958924 a6989586621679958924 -> Type) (TyFun a6989586621679958924 a6989586621679958924 -> Type) -> Type) -> *) (l :: TyFun a6989586621679958924 Bool -> Type) = UntilSym1 l

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

Instances
 SuppressUnusedWarnings (UntilSym1 :: (TyFun a6989586621679958924 Bool -> Type) -> TyFun (TyFun a6989586621679958924 a6989586621679958924 -> Type) (TyFun a6989586621679958924 a6989586621679958924 -> Type) -> *) Source # Instance detailsMethods type Apply (UntilSym1 l1 :: TyFun (TyFun a6989586621679958924 a6989586621679958924 -> Type) (TyFun a6989586621679958924 a6989586621679958924 -> Type) -> *) (l2 :: TyFun a6989586621679958924 a6989586621679958924 -> Type) Source # Instance detailstype Apply (UntilSym1 l1 :: TyFun (TyFun a6989586621679958924 a6989586621679958924 -> Type) (TyFun a6989586621679958924 a6989586621679958924 -> Type) -> *) (l2 :: TyFun a6989586621679958924 a6989586621679958924 -> Type) = UntilSym2 l1 l2

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

Instances
 SuppressUnusedWarnings (UntilSym2 :: (TyFun a6989586621679958924 Bool -> Type) -> (TyFun a6989586621679958924 a6989586621679958924 -> Type) -> TyFun a6989586621679958924 a6989586621679958924 -> *) Source # Instance detailsMethods type Apply (UntilSym2 l1 l2 :: TyFun a a -> *) (l3 :: a) Source # Instance detailstype Apply (UntilSym2 l1 l2 :: TyFun a a -> *) (l3 :: a) = Until l1 l2 l3

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

data LengthSym0 (l :: TyFun [a6989586621679442423] Nat) Source #

Instances
 SuppressUnusedWarnings (LengthSym0 :: TyFun [a6989586621679442423] Nat -> *) Source