singletons-2.1: A framework for generating singleton types

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 tru fls :: k

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

Equations

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

type family Not a :: Bool Source

Equations

 Not False = TrueSym0 Not True = FalseSym0

type family a :&& a :: Bool infixr 3 Source

Equations

 False :&& _z_1627636981 = FalseSym0 True :&& x = x

type family a :|| a :: Bool infixr 2 Source

Equations

 False :|| x = x True :|| _z_1627636969 = TrueSym0

type family Otherwise :: Bool Source

Equations

 Otherwise = TrueSym0

maybe_ :: forall b a. b -> (a -> b) -> Maybe a -> b Source

type family Maybe_ a a a :: b Source

Equations

 Maybe_ n _z_1627800793 Nothing = n Maybe_ _z_1627800796 f (Just x) = Apply f x

either_ :: forall a c b. (a -> c) -> (b -> c) -> Either a b -> c Source

type family Either_ a a a :: c Source

Equations

 Either_ f _z_1627782263 (Left x) = Apply f x Either_ _z_1627782267 g (Right y) = Apply g y

data Symbol :: *

(Kind) This is the kind of type-level symbols.

Instances

 data Sing Symbol whereSSym :: KnownSymbol n => Sing Symbol n Source type (==) Symbol a b = EqSymbol a b type (:==) Symbol a b = (==) Symbol a b Source type (:/=) Symbol x y = Not ((:==) Symbol x y) type Compare Symbol a b = CmpSymbol a b Source type (:<) Symbol arg0 arg1 type (:<=) Symbol arg0 arg1 type (:>) Symbol arg0 arg1 type (:>=) Symbol arg0 arg1 type Max Symbol arg0 arg1 type Min Symbol arg0 arg1 Source

type family Fst a :: a Source

Equations

 Fst `(x, _z_1627793819)` = x

type family Snd a :: b Source

Equations

 Snd `(_z_1627793810, y)` = y

type family Curry a a a :: c Source

Equations

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

type family Uncurry a a :: c Source

Equations

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

# Error reporting

type family Error str :: k Source

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

data ErrorSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k k -> *) (ErrorSym0 k k) Source type Apply k k1 (ErrorSym0 k1 k) l0 = ErrorSym1 k1 k l0 Source

# 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.

# Promoted numbers

## Miscellaneous functions

type family Id a :: a Source

Equations

 Id x = x

type family Const a a :: a Source

Equations

 Const x _z_1627752703 = x

type family (a :. a) a :: c infixr 9 Source

Equations

 (f :. g) a_1627752666 = Apply (Apply (Apply (Apply Lambda_1627752671Sym0 f) g) a_1627752666) a_1627752666

type family f \$ x :: b infixr 0 Source

Instances

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

type family f \$! x :: b infixr 0 Source

Instances

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

type family Flip a a a :: c Source

Equations

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

type family AsTypeOf a a :: a Source

Equations

 AsTypeOf a_1627752706 a_1627752708 = Apply (Apply ConstSym0 a_1627752706) a_1627752708

type family Until a a a :: a Source

Equations

 Until p f a_1627798453 = Apply (Let1627798458GoSym3 p f a_1627798453) a_1627798453

type family Seq a a :: b infixr 0 Source

Equations

 Seq _z_1627752629 x = x

# List operations

type family Map a a :: [b] Source

Equations

 Map _z_1627752748 `[]` = `[]` Map f ((:) x xs) = Apply (Apply (:\$) (Apply f x)) (Apply (Apply MapSym0 f) xs)

type family a :++ a :: [a] infixr 5 Source

Equations

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

type family Filter a a :: [a] Source

Equations

 Filter _p `[]` = `[]` Filter p ((:) x xs) = Case_1627906550 p x xs (Let1627906537Scrutinee_1627905740Sym3 p x xs)

type family Head a :: a Source

Equations

type family Last a :: a Source

Equations

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

type family Tail a :: [a] Source

Equations

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

type family Init a :: [a] Source

Equations

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

type family Null a :: Bool Source

Equations

 Null `[]` = TrueSym0 Null ((:) _z_1627909034 _z_1627909037) = FalseSym0

type family Length a :: Nat Source

Equations

 Length `[]` = FromInteger 0 Length ((:) _z_1627905949 xs) = Apply (Apply (:+\$) (FromInteger 1)) (Apply LengthSym0 xs)

type family a :!! a :: a Source

Equations

 `[]` :!! _z_1627905901 = Apply ErrorSym0 "Data.Singletons.List.!!: index too large" ((:) x xs) :!! n = Case_1627905920 x xs n (Let1627905907Scrutinee_1627905780Sym3 x xs n)

type family Reverse a :: [a] Source

Equations

 Reverse l = Apply (Apply (Let1627909000RevSym1 l) l) `[]`

## Reducing lists (folds)

type family Foldl a a a :: b Source

Equations

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

type family Foldl1 a a :: a Source

Equations

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

type family Foldr a a a :: b Source

Equations

 Foldr k z a_1627752769 = Apply (Let1627752774GoSym3 k z a_1627752769) a_1627752769

type family Foldr1 a a :: a Source

Equations

 Foldr1 _z_1627908202 `[x]` = x Foldr1 f ((:) x ((:) wild_1627905686 wild_1627905688)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let1627908210XsSym4 f x wild_1627905686 wild_1627905688)) Foldr1 _z_1627908229 `[]` = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list"

### Special folds

type family And a :: Bool Source

Equations

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

type family Or a :: Bool Source

Equations

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

any_ :: forall a. (a -> Bool) -> [a] -> Bool Source

type family Any_ a a :: Bool Source

Equations

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

type family All a a :: Bool Source

Equations

 All _z_1627908155 `[]` = TrueSym0 All p ((:) x xs) = Apply (Apply (:&&\$) (Apply p x)) (Apply (Apply AllSym0 p) xs)

type family Sum a :: a Source

Equations

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

type family Product a :: a Source

Equations

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

type family Concat a :: [a] Source

Equations

 Concat a_1627908186 = Apply (Apply (Apply FoldrSym0 (:++\$)) `[]`) a_1627908186

type family ConcatMap a a :: [b] Source

Equations

 ConcatMap f a_1627908182 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (:.\$) (:++\$)) f)) `[]`) a_1627908182

type family Maximum a :: a Source

Equations

 Maximum `[]` = Apply ErrorSym0 "Data.Singletons.List.maximum: empty list" Maximum ((:) wild_1627905766 wild_1627905768) = Apply (Apply Foldl1Sym0 MaxSym0) (Let1627908427XsSym2 wild_1627905766 wild_1627905768)

type family Minimum a :: a Source

Equations

 Minimum `[]` = Apply ErrorSym0 "Data.Singletons.List.minimum: empty list" Minimum ((:) wild_1627905770 wild_1627905772) = Apply (Apply Foldl1Sym0 MinSym0) (Let1627908441XsSym2 wild_1627905770 wild_1627905772)

## Building lists

### Scans

type family Scanl a a a :: [b] Source

Equations

 Scanl f q ls = Apply (Apply (:\$) q) (Case_1627908126 f q ls ls)

type family Scanl1 a a :: [a] Source

Equations

 Scanl1 f ((:) x xs) = Apply (Apply (Apply ScanlSym0 f) x) xs Scanl1 _z_1627908143 `[]` = `[]`

type family Scanr a a a :: [b] Source

Equations

 Scanr _z_1627908076 q0 `[]` = Apply (Apply (:\$) q0) `[]` Scanr f q0 ((:) x xs) = Case_1627908103 f q0 x xs (Let1627908084Scrutinee_1627905690Sym4 f q0 x xs)

type family Scanr1 a a :: [a] Source

Equations

 Scanr1 _z_1627908007 `[]` = `[]` Scanr1 _z_1627908010 `[x]` = Apply (Apply (:\$) x) `[]` Scanr1 f ((:) x ((:) wild_1627905694 wild_1627905696)) = Case_1627908056 f x wild_1627905694 wild_1627905696 (Let1627908037Scrutinee_1627905692Sym4 f x wild_1627905694 wild_1627905696)

### Infinite lists

type family Replicate a a :: [a] Source

Equations

 Replicate n x = Case_1627905942 n x (Let1627905934Scrutinee_1627905778Sym2 n x)

## Sublists

type family Take a a :: [a] Source

Equations

 Take _z_1627906129 `[]` = `[]` Take n ((:) x xs) = Case_1627906148 n x xs (Let1627906135Scrutinee_1627905762Sym3 n x xs)

type family Drop a a :: [a] Source

Equations

 Drop _z_1627906098 `[]` = `[]` Drop n ((:) x xs) = Case_1627906117 n x xs (Let1627906104Scrutinee_1627905764Sym3 n x xs)

type family SplitAt a a :: ([a], [a]) Source

Equations

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

type family TakeWhile a a :: [a] Source

Equations

 TakeWhile _z_1627906502 `[]` = `[]` TakeWhile p ((:) x xs) = Case_1627906521 p x xs (Let1627906508Scrutinee_1627905752Sym3 p x xs)

type family DropWhile a a :: [a] Source

Equations

 DropWhile _z_1627906458 `[]` = `[]` DropWhile p ((:) x xs') = Case_1627906490 p x xs' (Let1627906477Scrutinee_1627905754Sym3 p x xs')

type family Span a a :: ([a], [a]) Source

Equations

 Span _z_1627906276 `[]` = Apply (Apply Tuple2Sym0 (Let1627906279XsSym1 _z_1627906276)) (Let1627906279XsSym1 _z_1627906276) Span p ((:) x xs') = Case_1627906312 p x xs' (Let1627906299Scrutinee_1627905758Sym3 p x xs')

type family Break a a :: ([a], [a]) Source

Equations

 Break _z_1627906171 `[]` = Apply (Apply Tuple2Sym0 (Let1627906174XsSym1 _z_1627906171)) (Let1627906174XsSym1 _z_1627906171) Break p ((:) x xs') = Case_1627906207 p x xs' (Let1627906194Scrutinee_1627905760Sym3 p x xs')

## Searching lists

type family Elem a a :: Bool Source

Equations

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

type family NotElem a a :: Bool Source

Equations

 NotElem _z_1627907503 `[]` = TrueSym0 NotElem x ((:) y ys) = Apply (Apply (:&&\$) (Apply (Apply (:/=\$) x) y)) (Apply (Apply NotElemSym0 x) ys)

type family Lookup a a :: Maybe b Source

Equations

 Lookup _key `[]` = NothingSym0 Lookup key ((:) `(x, y)` xys) = Case_1627906086 key x y xys (Let1627906067Scrutinee_1627905774Sym4 key x y xys)

## Zipping and unzipping lists

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

Equations

 Zip ((:) x xs) ((:) y ys) = Apply (Apply (:\$) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ZipSym0 xs) ys) Zip `[]` `[]` = `[]` Zip ((:) _z_1627907380 _z_1627907383) `[]` = `[]` Zip `[]` ((:) _z_1627907386 _z_1627907389) = `[]`

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

Equations

 Zip3 ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:\$) (Apply (Apply (Apply Tuple3Sym0 a) b) c)) (Apply (Apply (Apply Zip3Sym0 as) bs) cs) Zip3 `[]` `[]` `[]` = `[]` Zip3 `[]` `[]` ((:) _z_1627907313 _z_1627907316) = `[]` Zip3 `[]` ((:) _z_1627907319 _z_1627907322) `[]` = `[]` Zip3 `[]` ((:) _z_1627907325 _z_1627907328) ((:) _z_1627907331 _z_1627907334) = `[]` Zip3 ((:) _z_1627907337 _z_1627907340) `[]` `[]` = `[]` Zip3 ((:) _z_1627907343 _z_1627907346) `[]` ((:) _z_1627907349 _z_1627907352) = `[]` Zip3 ((:) _z_1627907355 _z_1627907358) ((:) _z_1627907361 _z_1627907364) `[]` = `[]`

type family ZipWith a a a :: [c] Source

Equations

 ZipWith f ((:) x xs) ((:) y ys) = Apply (Apply (:\$) (Apply (Apply f x) y)) (Apply (Apply (Apply ZipWithSym0 f) xs) ys) ZipWith _z_1627907271 `[]` `[]` = `[]` ZipWith _z_1627907274 ((:) _z_1627907277 _z_1627907280) `[]` = `[]` ZipWith _z_1627907283 `[]` ((:) _z_1627907286 _z_1627907289) = `[]`

type family ZipWith3 a a a a :: [d] Source

Equations

 ZipWith3 z ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:\$) (Apply (Apply (Apply z a) b) c)) (Apply (Apply (Apply (Apply ZipWith3Sym0 z) as) bs) cs) ZipWith3 _z_1627907176 `[]` `[]` `[]` = `[]` ZipWith3 _z_1627907179 `[]` `[]` ((:) _z_1627907182 _z_1627907185) = `[]` ZipWith3 _z_1627907188 `[]` ((:) _z_1627907191 _z_1627907194) `[]` = `[]` ZipWith3 _z_1627907197 `[]` ((:) _z_1627907200 _z_1627907203) ((:) _z_1627907206 _z_1627907209) = `[]` ZipWith3 _z_1627907212 ((:) _z_1627907215 _z_1627907218) `[]` `[]` = `[]` ZipWith3 _z_1627907221 ((:) _z_1627907224 _z_1627907227) `[]` ((:) _z_1627907230 _z_1627907233) = `[]` ZipWith3 _z_1627907236 ((:) _z_1627907239 _z_1627907242) ((:) _z_1627907245 _z_1627907248) `[]` = `[]`

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

Equations

 Unzip xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_1627907122Sym0 xs)) (Apply (Apply Tuple2Sym0 `[]`) `[]`)) xs

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

Equations

 Unzip3 xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_1627907090Sym0 xs)) (Apply (Apply (Apply Tuple3Sym0 `[]`) `[]`) `[]`)) xs

# Other datatypes

data Proxy t :: k -> *

A concrete, poly-kinded proxy type

Constructors

 Proxy

Instances

 Monad (Proxy *) Functor (Proxy *) Bounded (Proxy k s) Enum (Proxy k s) Eq (Proxy k s) Data t => Data (Proxy * t) Ord (Proxy k s) Read (Proxy k s) Show (Proxy k s) Ix (Proxy k s) Generic (Proxy * t) Monoid (Proxy k s) type Rep (Proxy k t) = D1 D1Proxy (C1 C1_0Proxy U1)

data KProxy t :: * -> *

A concrete, promotable proxy type, for use at the kind level There are no instances for this because it is intended at the kind level only

Constructors

 KProxy

# Defunctionalization symbols

data NotSym0 l Source

Instances

 Source type Apply Bool Bool NotSym0 l0 = NotSym1 l0 Source

type NotSym1 t = Not t Source

data (:&&\$) l Source

Instances

 SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> *) -> *) (:&&\$) Source type Apply (TyFun Bool Bool -> *) Bool (:&&\$) l0 = (:&&\$\$) l0 Source

data l :&&\$\$ l Source

Instances

 Source type Apply Bool Bool ((:&&\$\$) l1) l0 = (:&&\$\$\$) l1 l0 Source

type (:&&\$\$\$) t t = (:&&) t t Source

data (:||\$) l Source

Instances

 SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> *) -> *) (:||\$) Source type Apply (TyFun Bool Bool -> *) Bool (:||\$) l0 = (:||\$\$) l0 Source

data l :||\$\$ l Source

Instances

 Source type Apply Bool Bool ((:||\$\$) l1) l0 = (:||\$\$\$) l1 l0 Source

type (:||\$\$\$) t t = (:||) t t Source

data JustSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (Maybe k) -> *) (JustSym0 k) Source type Apply (Maybe k) k (JustSym0 k) l0 = JustSym1 k l0 Source

type JustSym1 t = Just t Source

data Maybe_Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun (TyFun k k -> *) (TyFun (Maybe k) k -> *) -> *) -> *) (Maybe_Sym0 k k) Source type Apply (TyFun (TyFun k1 k -> *) (TyFun (Maybe k1) k -> *) -> *) k (Maybe_Sym0 k k1) l0 = Maybe_Sym1 k k1 l0 Source

data Maybe_Sym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun (TyFun k k -> *) (TyFun (Maybe k) k -> *) -> *) (Maybe_Sym1 k k) Source type Apply (TyFun (Maybe k) k1 -> *) (TyFun k k1 -> *) (Maybe_Sym1 k1 k l1) l0 = Maybe_Sym2 k1 k l1 l0 Source

data Maybe_Sym2 l l l Source

Instances

 SuppressUnusedWarnings (k -> (TyFun k k -> *) -> TyFun (Maybe k) k -> *) (Maybe_Sym2 k k) Source type Apply k (Maybe k1) (Maybe_Sym2 k k1 l1 l2) l0 = Maybe_Sym3 k k1 l1 l2 l0 Source

type Maybe_Sym3 t t t = Maybe_ t t t Source

data LeftSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (Either k k) -> *) (LeftSym0 k k) Source type Apply (Either k k1) k (LeftSym0 k k1) l0 = LeftSym1 k k1 l0 Source

type LeftSym1 t = Left t Source

data RightSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (Either k k) -> *) (RightSym0 k k) Source type Apply (Either k1 k) k (RightSym0 k k1) l0 = RightSym1 k k1 l0 Source

data Either_Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k k -> *) (TyFun (TyFun k k -> *) (TyFun (Either k k) k -> *) -> *) -> *) (Either_Sym0 k k k) Source type Apply (TyFun (TyFun k2 k1 -> *) (TyFun (Either k k2) k1 -> *) -> *) (TyFun k k1 -> *) (Either_Sym0 k k1 k2) l0 = Either_Sym1 k k1 k2 l0 Source

data Either_Sym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k k -> *) -> TyFun (TyFun k k -> *) (TyFun (Either k k) k -> *) -> *) (Either_Sym1 k k k) Source type Apply (TyFun (Either k1 k) k2 -> *) (TyFun k k2 -> *) (Either_Sym1 k1 k2 k l1) l0 = Either_Sym2 k1 k2 k l1 l0 Source

data Either_Sym2 l l l Source

Instances

 SuppressUnusedWarnings ((TyFun k k -> *) -> (TyFun k k -> *) -> TyFun (Either k k) k -> *) (Either_Sym2 k k k) Source type Apply k1 (Either k k2) (Either_Sym2 k k1 k2 l1 l2) l0 = Either_Sym3 k k1 k2 l1 l2 l0 Source

type Either_Sym3 t t t = Either_ t t t Source

type Tuple0Sym0 = `()` Source

data Tuple2Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun k ((,) k k) -> *) -> *) (Tuple2Sym0 k k) Source type Apply (TyFun k1 ((,) k k1) -> *) k (Tuple2Sym0 k k1) l0 = Tuple2Sym1 k k1 l0 Source

data Tuple2Sym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun k ((,) k k) -> *) (Tuple2Sym1 k k) Source type Apply ((,) k1 k) k (Tuple2Sym1 k1 k l1) l0 = Tuple2Sym2 k1 k l1 l0 Source

type Tuple2Sym2 t t = `(t, t)` Source

data Tuple3Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k ((,,) k k k) -> *) -> *) -> *) (Tuple3Sym0 k k k) Source type Apply (TyFun k1 (TyFun k2 ((,,) k k1 k2) -> *) -> *) k (Tuple3Sym0 k k1 k2) l0 = Tuple3Sym1 k k1 k2 l0 Source

data Tuple3Sym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun k (TyFun k ((,,) k k k) -> *) -> *) (Tuple3Sym1 k k k) Source type Apply (TyFun k1 ((,,) k2 k k1) -> *) k (Tuple3Sym1 k2 k k1 l1) l0 = Tuple3Sym2 k2 k k1 l1 l0 Source

data Tuple3Sym2 l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> TyFun k ((,,) k k k) -> *) (Tuple3Sym2 k k k) Source type Apply ((,,) k1 k2 k) k (Tuple3Sym2 k1 k2 k l1 l2) l0 = Tuple3Sym3 k1 k2 k l1 l2 l0 Source

type Tuple3Sym3 t t t = `(t, t, t)` Source

data Tuple4Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k ((,,,) k k k k) -> *) -> *) -> *) -> *) (Tuple4Sym0 k k k k) Source type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,) k k1 k2 k3) -> *) -> *) -> *) k (Tuple4Sym0 k k1 k2 k3) l0 = Tuple4Sym1 k k1 k2 k3 l0 Source

data Tuple4Sym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k ((,,,) k k k k) -> *) -> *) -> *) (Tuple4Sym1 k k k k) Source type Apply (TyFun k1 (TyFun k2 ((,,,) k3 k k1 k2) -> *) -> *) k (Tuple4Sym1 k3 k k1 k2 l1) l0 = Tuple4Sym2 k3 k k1 k2 l1 l0 Source

data Tuple4Sym2 l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k ((,,,) k k k k) -> *) -> *) (Tuple4Sym2 k k k k) Source type Apply (TyFun k1 ((,,,) k2 k3 k k1) -> *) k (Tuple4Sym2 k2 k3 k k1 l1 l2) l0 = Tuple4Sym3 k2 k3 k k1 l1 l2 l0 Source

data Tuple4Sym3 l l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> k -> TyFun k ((,,,) k k k k) -> *) (Tuple4Sym3 k k k k) Source type Apply ((,,,) k1 k2 k3 k) k (Tuple4Sym3 k1 k2 k3 k l1 l2 l3) l0 = Tuple4Sym4 k1 k2 k3 k l1 l2 l3 l0 Source

type Tuple4Sym4 t t t t = `(t, t, t, t)` Source

data Tuple5Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> *) -> *) -> *) -> *) -> *) (Tuple5Sym0 k k k k k) Source type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,) k k1 k2 k3 k4) -> *) -> *) -> *) -> *) k (Tuple5Sym0 k k1 k2 k3 k4) l0 = Tuple5Sym1 k k1 k2 k3 k4 l0 Source

data Tuple5Sym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> *) -> *) -> *) -> *) (Tuple5Sym1 k k k k k) Source type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,) k4 k k1 k2 k3) -> *) -> *) -> *) k (Tuple5Sym1 k4 k k1 k2 k3 l1) l0 = Tuple5Sym2 k4 k k1 k2 k3 l1 l0 Source

data Tuple5Sym2 l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> *) -> *) -> *) (Tuple5Sym2 k k k k k) Source type Apply (TyFun k1 (TyFun k2 ((,,,,) k3 k4 k k1 k2) -> *) -> *) k (Tuple5Sym2 k3 k4 k k1 k2 l1 l2) l0 = Tuple5Sym3 k3 k4 k k1 k2 l1 l2 l0 Source

data Tuple5Sym3 l l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k ((,,,,) k k k k k) -> *) -> *) (Tuple5Sym3 k k k k k) Source type Apply (TyFun k1 ((,,,,) k2 k3 k4 k k1) -> *) k (Tuple5Sym3 k2 k3 k4 k k1 l1 l2 l3) l0 = Tuple5Sym4 k2 k3 k4 k k1 l1 l2 l3 l0 Source

data Tuple5Sym4 l l l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k ((,,,,) k k k k k) -> *) (Tuple5Sym4 k k k k k) Source type Apply ((,,,,) k1 k2 k3 k4 k) k (Tuple5Sym4 k1 k2 k3 k4 k l1 l2 l3 l4) l0 = Tuple5Sym5 k1 k2 k3 k4 k l1 l2 l3 l4 l0 Source

type Tuple5Sym5 t t t t t = `(t, t, t, t, t)` Source

data Tuple6Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> *) -> *) -> *) -> *) -> *) -> *) (Tuple6Sym0 k k k k k k) Source type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 ((,,,,,) k k1 k2 k3 k4 k5) -> *) -> *) -> *) -> *) -> *) k (Tuple6Sym0 k k1 k2 k3 k4 k5) l0 = Tuple6Sym1 k k1 k2 k3 k4 k5 l0 Source

data Tuple6Sym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> *) -> *) -> *) -> *) -> *) (Tuple6Sym1 k k k k k k) Source type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,,) k5 k k1 k2 k3 k4) -> *) -> *) -> *) -> *) k (Tuple6Sym1 k5 k k1 k2 k3 k4 l1) l0 = Tuple6Sym2 k5 k k1 k2 k3 k4 l1 l0 Source

data Tuple6Sym2 l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> *) -> *) -> *) -> *) (Tuple6Sym2 k k k k k k) Source type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,,) k4 k5 k k1 k2 k3) -> *) -> *) -> *) k (Tuple6Sym2 k4 k5 k k1 k2 k3 l1 l2) l0 = Tuple6Sym3 k4 k5 k k1 k2 k3 l1 l2 l0 Source

data Tuple6Sym3 l l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> *) -> *) -> *) (Tuple6Sym3 k k k k k k) Source type Apply (TyFun k1 (TyFun k2 ((,,,,,) k3 k4 k5 k k1 k2) -> *) -> *) k (Tuple6Sym3 k3 k4 k5 k k1 k2 l1 l2 l3) l0 = Tuple6Sym4 k3 k4 k5 k k1 k2 l1 l2 l3 l0 Source

data Tuple6Sym4 l l l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k (TyFun k ((,,,,,) k k k k k k) -> *) -> *) (Tuple6Sym4 k k k k k k) Source type Apply (TyFun k1 ((,,,,,) k2 k3 k4 k5 k k1) -> *) k (Tuple6Sym4 k2 k3 k4 k5 k k1 l1 l2 l3 l4) l0 = Tuple6Sym5 k2 k3 k4 k5 k k1 l1 l2 l3 l4 l0 Source

data Tuple6Sym5 l l l l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> k -> k -> k -> TyFun k ((,,,,,) k k k k k k) -> *) (Tuple6Sym5 k k k k k k) Source type Apply ((,,,,,) k1 k2 k3 k4 k5 k) k (Tuple6Sym5 k1 k2 k3 k4 k5 k l1 l2 l3 l4 l5) l0 = Tuple6Sym6 k1 k2 k3 k4 k5 k l1 l2 l3 l4 l5 l0 Source

type Tuple6Sym6 t t t t t t = `(t, t, t, t, t, t)` Source

data Tuple7Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> *) -> *) -> *) -> *) -> *) -> *) -> *) (Tuple7Sym0 k k k k k k k) Source type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 (TyFun k6 ((,,,,,,) k k1 k2 k3 k4 k5 k6) -> *) -> *) -> *) -> *) -> *) -> *) k (Tuple7Sym0 k k1 k2 k3 k4 k5 k6) l0 = Tuple7Sym1 k k1 k2 k3 k4 k5 k6 l0 Source

data Tuple7Sym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> *) -> *) -> *) -> *) -> *) -> *) (Tuple7Sym1 k k k k k k k) Source type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 ((,,,,,,) k6 k k1 k2 k3 k4 k5) -> *) -> *) -> *) -> *) -> *) k (Tuple7Sym1 k6 k k1 k2 k3 k4 k5 l1) l0 = Tuple7Sym2 k6 k k1 k2 k3 k4 k5 l1 l0 Source

data Tuple7Sym2 l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> *) -> *) -> *) -> *) -> *) (Tuple7Sym2 k k k k k k k) Source type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,,,) k5 k6 k k1 k2 k3 k4) -> *) -> *) -> *) -> *) k (Tuple7Sym2 k5 k6 k k1 k2 k3 k4 l1 l2) l0 = Tuple7Sym3 k5 k6 k k1 k2 k3 k4 l1 l2 l0 Source

data Tuple7Sym3 l l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> *) -> *) -> *) -> *) (Tuple7Sym3 k k k k k k k) Source type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,,,) k4 k5 k6 k k1 k2 k3) -> *) -> *) -> *) k (Tuple7Sym3 k4 k5 k6 k k1 k2 k3 l1 l2 l3) l0 = Tuple7Sym4 k4 k5 k6 k k1 k2 k3 l1 l2 l3 l0 Source

data Tuple7Sym4 l l l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> *) -> *) -> *) (Tuple7Sym4 k k k k k k k) Source type Apply (TyFun k1 (TyFun k2 ((,,,,,,) k3 k4 k5 k6 k k1 k2) -> *) -> *) k (Tuple7Sym4 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4) l0 = Tuple7Sym5 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4 l0 Source

data Tuple7Sym5 l l l l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> k -> k -> k -> TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> *) -> *) (Tuple7Sym5 k k k k k k k) Source type Apply (TyFun k1 ((,,,,,,) k2 k3 k4 k5 k6 k k1) -> *) k (Tuple7Sym5 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5) l0 = Tuple7Sym6 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5 l0 Source

data Tuple7Sym6 l l l l l l l Source

Instances

 SuppressUnusedWarnings (k -> k -> k -> k -> k -> k -> TyFun k ((,,,,,,) k k k k k k k) -> *) (Tuple7Sym6 k k k k k k k) Source type Apply ((,,,,,,) k1 k2 k3 k4 k5 k6 k) k (Tuple7Sym6 k1 k2 k3 k4 k5 k6 k l1 l2 l3 l4 l5 l6) l0 = Tuple7Sym7 k1 k2 k3 k4 k5 k6 k l1 l2 l3 l4 l5 l6 l0 Source

type Tuple7Sym7 t t t t t t t = `(t, t, t, t, t, t, t)` Source

data FstSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun ((,) k k) k -> *) (FstSym0 k k) Source type Apply k ((,) k k1) (FstSym0 k k1) l0 = FstSym1 k k1 l0 Source

type FstSym1 t = Fst t Source

data SndSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun ((,) k k) k -> *) (SndSym0 k k) Source type Apply k ((,) k1 k) (SndSym0 k1 k) l0 = SndSym1 k1 k l0 Source

type SndSym1 t = Snd t Source

data CurrySym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun ((,) k k) k -> *) (TyFun k (TyFun k k -> *) -> *) -> *) (CurrySym0 k k k) Source type Apply (TyFun k (TyFun k1 k2 -> *) -> *) (TyFun ((,) k k1) k2 -> *) (CurrySym0 k k1 k2) l0 = CurrySym1 k k1 k2 l0 Source

data CurrySym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun ((,) k k) k -> *) -> TyFun k (TyFun k k -> *) -> *) (CurrySym1 k k k) Source type Apply (TyFun k1 k2 -> *) k (CurrySym1 k k1 k2 l1) l0 = CurrySym2 k k1 k2 l1 l0 Source

data CurrySym2 l l l Source

Instances

 SuppressUnusedWarnings ((TyFun ((,) k k) k -> *) -> k -> TyFun k k -> *) (CurrySym2 k k k) Source type Apply k2 k (CurrySym2 k1 k k2 l1 l2) l0 = CurrySym3 k1 k k2 l1 l2 l0 Source

type CurrySym3 t t t = Curry t t t Source

data UncurrySym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun ((,) k k) k -> *) -> *) (UncurrySym0 k k k) Source type Apply (TyFun ((,) k k1) k2 -> *) (TyFun k (TyFun k1 k2 -> *) -> *) (UncurrySym0 k k1 k2) l0 = UncurrySym1 k k1 k2 l0 Source

data UncurrySym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun ((,) k k) k -> *) (UncurrySym1 k k k) Source type Apply k2 ((,) k k1) (UncurrySym1 k k1 k2 l1) l0 = UncurrySym2 k k1 k2 l1 l0 Source

type UncurrySym2 t t = Uncurry t t Source

data (:^\$) l Source

Instances

 SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> *) -> *) (:^\$) Source type Apply (TyFun Nat Nat -> *) Nat (:^\$) l0 = (:^\$\$) l0 Source

data l :^\$\$ l Source

Instances

 Source type Apply Nat Nat ((:^\$\$) l1) l0 = (:^\$\$\$) l1 l0 Source

data IdSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k k -> *) (IdSym0 k) Source type Apply k k (IdSym0 k) l0 = IdSym1 k l0 Source

type IdSym1 t = Id t Source

data ConstSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun k k -> *) -> *) (ConstSym0 k k) Source type Apply (TyFun k1 k -> *) k (ConstSym0 k k1) l0 = ConstSym1 k k1 l0 Source

data ConstSym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun k k -> *) (ConstSym1 k k) Source type Apply k1 k (ConstSym1 k1 k l1) l0 = ConstSym2 k1 k l1 l0 Source

type ConstSym2 t t = Const t t Source

data (:.\$) l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k k -> *) (TyFun (TyFun k k -> *) (TyFun k k -> *) -> *) -> *) ((:.\$) k k k) Source type Apply (TyFun (TyFun k2 k -> *) (TyFun k2 k1 -> *) -> *) (TyFun k k1 -> *) ((:.\$) k k1 k2) l0 = (:.\$\$) k k1 k2 l0 Source

data l :.\$\$ l Source

Instances

 SuppressUnusedWarnings ((TyFun k k -> *) -> TyFun (TyFun k k -> *) (TyFun k k -> *) -> *) ((:.\$\$) k k k) Source type Apply (TyFun k k2 -> *) (TyFun k k1 -> *) ((:.\$\$) k1 k2 k l1) l0 = (:.\$\$\$) k1 k2 k l1 l0 Source

data (l :.\$\$\$ l) l Source

Instances

 SuppressUnusedWarnings ((TyFun k k -> *) -> (TyFun k k -> *) -> TyFun k k -> *) ((:.\$\$\$) k k k) Source type Apply k2 k ((:.\$\$\$) k1 k2 k l1 l2) l0 = (:.\$\$\$\$) k1 k2 k l1 l2 l0 Source

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

Instances

 type Apply (TyFun k k1 -> *) (TyFun k k1 -> *) ((\$\$) k k1) arg = (\$\$\$) k k1 arg Source

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

Instances

 type Apply k1 k ((\$\$\$) k k1 f) arg = (\$\$\$\$) k1 k f arg Source

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

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

Instances

 type Apply (TyFun k k1 -> *) (TyFun k k1 -> *) ((\$!\$) k k1) arg = (\$!\$\$) k k1 arg Source

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

Instances

 type Apply k1 k ((\$!\$\$) k k1 f) arg = (\$!\$\$\$) k1 k f arg Source

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

data FlipSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun k (TyFun k k -> *) -> *) -> *) (FlipSym0 k k k) Source type Apply (TyFun k1 (TyFun k k2 -> *) -> *) (TyFun k (TyFun k1 k2 -> *) -> *) (FlipSym0 k k1 k2) l0 = FlipSym1 k k1 k2 l0 Source

data FlipSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun k (TyFun k k -> *) -> *) (FlipSym1 k k k) Source type Apply (TyFun k1 k2 -> *) k (FlipSym1 k1 k k2 l1) l0 = FlipSym2 k1 k k2 l1 l0 Source

data FlipSym2 l l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> k -> TyFun k k -> *) (FlipSym2 k k k) Source type Apply k2 k (FlipSym2 k k1 k2 l1 l2) l0 = FlipSym3 k k1 k2 l1 l2 l0 Source

data AsTypeOfSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun k k -> *) -> *) (AsTypeOfSym0 k) Source type Apply (TyFun k k -> *) k (AsTypeOfSym0 k) l0 = AsTypeOfSym1 k l0 Source

data AsTypeOfSym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun k k -> *) (AsTypeOfSym1 k) Source type Apply k k (AsTypeOfSym1 k l1) l0 = AsTypeOfSym2 k l1 l0 Source

data SeqSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun k k -> *) -> *) (SeqSym0 k k) Source type Apply (TyFun k1 k1 -> *) k (SeqSym0 k k1) l0 = SeqSym1 k k1 l0 Source

data SeqSym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun k k -> *) (SeqSym1 k k) Source type Apply k k (SeqSym1 k1 k l1) l0 = SeqSym2 k1 k l1 l0 Source

type SeqSym2 t t = Seq t t Source

data (:\$) l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> *) -> *) ((:\$) k) Source type Apply (TyFun [k] [k] -> *) k ((:\$) k) l0 = (:\$\$) k l0 Source

data l :\$\$ l Source

Instances

 SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) ((:\$\$) k) Source type Apply [k] [k] ((:\$\$) k l1) l0 = (:\$\$\$) k l1 l0 Source

type (:\$\$\$) t t = (:) t t Source

type NilSym0 = `[]` Source

data MapSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k k -> *) (TyFun [k] [k] -> *) -> *) (MapSym0 k k) Source type Apply (TyFun [k] [k1] -> *) (TyFun k k1 -> *) (MapSym0 k k1) l0 = MapSym1 k k1 l0 Source

data MapSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k k -> *) -> TyFun [k] [k] -> *) (MapSym1 k k) Source type Apply [k1] [k] (MapSym1 k k1 l1) l0 = MapSym2 k k1 l1 l0 Source

type MapSym2 t t = Map t t Source

data ReverseSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [k] [k] -> *) (ReverseSym0 k) Source type Apply [k] [k] (ReverseSym0 k) l0 = ReverseSym1 k l0 Source

data l :++\$\$ l Source

Instances

 SuppressUnusedWarnings ([k] -> TyFun [k] [k] -> *) ((:++\$\$) k) Source type Apply [k] [k] ((:++\$\$) k l1) l0 = (:++\$\$\$) k l1 l0 Source

data (:++\$) l Source

Instances

 SuppressUnusedWarnings (TyFun [k] (TyFun [k] [k] -> *) -> *) ((:++\$) k) Source type Apply (TyFun [k] [k] -> *) [k] ((:++\$) k) l0 = (:++\$\$) k l0 Source

Instances

 SuppressUnusedWarnings (TyFun [k] k -> *) (HeadSym0 k) Source type Apply k [k] (HeadSym0 k) l0 = HeadSym1 k l0 Source

data LastSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [k] k -> *) (LastSym0 k) Source type Apply k [k] (LastSym0 k) l0 = LastSym1 k l0 Source

type LastSym1 t = Last t Source

data TailSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [k] [k] -> *) (TailSym0 k) Source type Apply [k] [k] (TailSym0 k) l0 = TailSym1 k l0 Source

type TailSym1 t = Tail t Source

data InitSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [k] [k] -> *) (InitSym0 k) Source type Apply [k] [k] (InitSym0 k) l0 = InitSym1 k l0 Source

type InitSym1 t = Init t Source

data NullSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [k] Bool -> *) (NullSym0 k) Source type Apply Bool [k] (NullSym0 k) l0 = NullSym1 k l0 Source

type NullSym1 t = Null t Source

data FoldlSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun k (TyFun [k] k -> *) -> *) -> *) (FoldlSym0 k k) Source type Apply (TyFun k (TyFun [k1] k -> *) -> *) (TyFun k (TyFun k1 k -> *) -> *) (FoldlSym0 k k1) l0 = FoldlSym1 k k1 l0 Source

data FoldlSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun k (TyFun [k] k -> *) -> *) (FoldlSym1 k k) Source type Apply (TyFun [k1] k -> *) k (FoldlSym1 k k1 l1) l0 = FoldlSym2 k k1 l1 l0 Source

data FoldlSym2 l l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> k -> TyFun [k] k -> *) (FoldlSym2 k k) Source type Apply k [k1] (FoldlSym2 k k1 l1 l2) l0 = FoldlSym3 k k1 l1 l2 l0 Source

type FoldlSym3 t t t = Foldl t t t Source

data Foldl1Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun [k] k -> *) -> *) (Foldl1Sym0 k) Source type Apply (TyFun [k] k -> *) (TyFun k (TyFun k k -> *) -> *) (Foldl1Sym0 k) l0 = Foldl1Sym1 k l0 Source

data Foldl1Sym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun [k] k -> *) (Foldl1Sym1 k) Source type Apply k [k] (Foldl1Sym1 k l1) l0 = Foldl1Sym2 k l1 l0 Source

type Foldl1Sym2 t t = Foldl1 t t Source

data FoldrSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun k (TyFun [k] k -> *) -> *) -> *) (FoldrSym0 k k) Source type Apply (TyFun k1 (TyFun [k] k1 -> *) -> *) (TyFun k (TyFun k1 k1 -> *) -> *) (FoldrSym0 k k1) l0 = FoldrSym1 k k1 l0 Source

data FoldrSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun k (TyFun [k] k -> *) -> *) (FoldrSym1 k k) Source type Apply (TyFun [k1] k -> *) k (FoldrSym1 k1 k l1) l0 = FoldrSym2 k1 k l1 l0 Source

data FoldrSym2 l l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> k -> TyFun [k] k -> *) (FoldrSym2 k k) Source type Apply k1 [k] (FoldrSym2 k k1 l1 l2) l0 = FoldrSym3 k k1 l1 l2 l0 Source

type FoldrSym3 t t t = Foldr t t t Source

data Foldr1Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun [k] k -> *) -> *) (Foldr1Sym0 k) Source type Apply (TyFun [k] k -> *) (TyFun k (TyFun k k -> *) -> *) (Foldr1Sym0 k) l0 = Foldr1Sym1 k l0 Source

data Foldr1Sym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun [k] k -> *) (Foldr1Sym1 k) Source type Apply k [k] (Foldr1Sym1 k l1) l0 = Foldr1Sym2 k l1 l0 Source

type Foldr1Sym2 t t = Foldr1 t t Source

data ConcatSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [[k]] [k] -> *) (ConcatSym0 k) Source type Apply [k] [[k]] (ConcatSym0 k) l0 = ConcatSym1 k l0 Source

data ConcatMapSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k [k] -> *) (TyFun [k] [k] -> *) -> *) (ConcatMapSym0 k k) Source type Apply (TyFun [k] [k1] -> *) (TyFun k [k1] -> *) (ConcatMapSym0 k k1) l0 = ConcatMapSym1 k k1 l0 Source

data ConcatMapSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k [k] -> *) -> TyFun [k] [k] -> *) (ConcatMapSym1 k k) Source type Apply [k1] [k] (ConcatMapSym1 k k1 l1) l0 = ConcatMapSym2 k k1 l1 l0 Source

data MaximumBySym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> *) -> *) (TyFun [k] k -> *) -> *) (MaximumBySym0 k) Source type Apply (TyFun [k] k -> *) (TyFun k (TyFun k Ordering -> *) -> *) (MaximumBySym0 k) l0 = MaximumBySym1 k l0 Source

data MaximumBySym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> *) -> *) -> TyFun [k] k -> *) (MaximumBySym1 k) Source type Apply k [k] (MaximumBySym1 k l1) l0 = MaximumBySym2 k l1 l0 Source

data MinimumBySym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> *) -> *) (TyFun [k] k -> *) -> *) (MinimumBySym0 k) Source type Apply (TyFun [k] k -> *) (TyFun k (TyFun k Ordering -> *) -> *) (MinimumBySym0 k) l0 = MinimumBySym1 k l0 Source

data MinimumBySym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> *) -> *) -> TyFun [k] k -> *) (MinimumBySym1 k) Source type Apply k [k] (MinimumBySym1 k l1) l0 = MinimumBySym2 k l1 l0 Source

data AndSym0 l Source

Instances

 Source type Apply Bool [Bool] AndSym0 l0 = AndSym1 l0 Source

type AndSym1 t = And t Source

data OrSym0 l Source

Instances

 Source type Apply Bool [Bool] OrSym0 l0 = OrSym1 l0 Source

type OrSym1 t = Or t Source

data Any_Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] Bool -> *) -> *) (Any_Sym0 k) Source type Apply (TyFun [k] Bool -> *) (TyFun k Bool -> *) (Any_Sym0 k) l0 = Any_Sym1 k l0 Source

data Any_Sym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] Bool -> *) (Any_Sym1 k) Source type Apply Bool [k] (Any_Sym1 k l1) l0 = Any_Sym2 k l1 l0 Source

type Any_Sym2 t t = Any_ t t Source

data AllSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] Bool -> *) -> *) (AllSym0 k) Source type Apply (TyFun [k] Bool -> *) (TyFun k Bool -> *) (AllSym0 k) l0 = AllSym1 k l0 Source

data AllSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] Bool -> *) (AllSym1 k) Source type Apply Bool [k] (AllSym1 k l1) l0 = AllSym2 k l1 l0 Source

type AllSym2 t t = All t t Source

data ScanlSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun k (TyFun [k] [k] -> *) -> *) -> *) (ScanlSym0 k k) Source type Apply (TyFun k (TyFun [k1] [k] -> *) -> *) (TyFun k (TyFun k1 k -> *) -> *) (ScanlSym0 k k1) l0 = ScanlSym1 k k1 l0 Source

data ScanlSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun k (TyFun [k] [k] -> *) -> *) (ScanlSym1 k k) Source type Apply (TyFun [k1] [k] -> *) k (ScanlSym1 k k1 l1) l0 = ScanlSym2 k k1 l1 l0 Source

data ScanlSym2 l l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> k -> TyFun [k] [k] -> *) (ScanlSym2 k k) Source type Apply [k] [k1] (ScanlSym2 k k1 l1 l2) l0 = ScanlSym3 k k1 l1 l2 l0 Source

type ScanlSym3 t t t = Scanl t t t Source

data Scanl1Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun [k] [k] -> *) -> *) (Scanl1Sym0 k) Source type Apply (TyFun [k] [k] -> *) (TyFun k (TyFun k k -> *) -> *) (Scanl1Sym0 k) l0 = Scanl1Sym1 k l0 Source

data Scanl1Sym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun [k] [k] -> *) (Scanl1Sym1 k) Source type Apply [k] [k] (Scanl1Sym1 k l1) l0 = Scanl1Sym2 k l1 l0 Source

type Scanl1Sym2 t t = Scanl1 t t Source

data ScanrSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun k (TyFun [k] [k] -> *) -> *) -> *) (ScanrSym0 k k) Source type Apply (TyFun k1 (TyFun [k] [k1] -> *) -> *) (TyFun k (TyFun k1 k1 -> *) -> *) (ScanrSym0 k k1) l0 = ScanrSym1 k k1 l0 Source

data ScanrSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun k (TyFun [k] [k] -> *) -> *) (ScanrSym1 k k) Source type Apply (TyFun [k1] [k] -> *) k (ScanrSym1 k1 k l1) l0 = ScanrSym2 k1 k l1 l0 Source

data ScanrSym2 l l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> k -> TyFun [k] [k] -> *) (ScanrSym2 k k) Source type Apply [k1] [k] (ScanrSym2 k k1 l1 l2) l0 = ScanrSym3 k k1 l1 l2 l0 Source

type ScanrSym3 t t t = Scanr t t t Source

data Scanr1Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun [k] [k] -> *) -> *) (Scanr1Sym0 k) Source type Apply (TyFun [k] [k] -> *) (TyFun k (TyFun k k -> *) -> *) (Scanr1Sym0 k) l0 = Scanr1Sym1 k l0 Source

data Scanr1Sym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun [k] [k] -> *) (Scanr1Sym1 k) Source type Apply [k] [k] (Scanr1Sym1 k l1) l0 = Scanr1Sym2 k l1 l0 Source

type Scanr1Sym2 t t = Scanr1 t t Source

data ElemSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun [k] Bool -> *) -> *) (ElemSym0 k) Source type Apply (TyFun [k] Bool -> *) k (ElemSym0 k) l0 = ElemSym1 k l0 Source

data ElemSym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun [k] Bool -> *) (ElemSym1 k) Source type Apply Bool [k] (ElemSym1 k l1) l0 = ElemSym2 k l1 l0 Source

type ElemSym2 t t = Elem t t Source

data NotElemSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun [k] Bool -> *) -> *) (NotElemSym0 k) Source type Apply (TyFun [k] Bool -> *) k (NotElemSym0 k) l0 = NotElemSym1 k l0 Source

data NotElemSym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun [k] Bool -> *) (NotElemSym1 k) Source type Apply Bool [k] (NotElemSym1 k l1) l0 = NotElemSym2 k l1 l0 Source

type NotElemSym2 t t = NotElem t t Source

data ZipSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [k] (TyFun [k] [(,) k k] -> *) -> *) (ZipSym0 k k) Source type Apply (TyFun [k1] [(,) k k1] -> *) [k] (ZipSym0 k k1) l0 = ZipSym1 k k1 l0 Source

data ZipSym1 l l Source

Instances

 SuppressUnusedWarnings ([k] -> TyFun [k] [(,) k k] -> *) (ZipSym1 k k) Source type Apply [(,) k1 k] [k] (ZipSym1 k1 k l1) l0 = ZipSym2 k1 k l1 l0 Source

type ZipSym2 t t = Zip t t Source

data Zip3Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] [(,,) k k k] -> *) -> *) -> *) (Zip3Sym0 k k k) Source type Apply (TyFun [k1] (TyFun [k2] [(,,) k k1 k2] -> *) -> *) [k] (Zip3Sym0 k k1 k2) l0 = Zip3Sym1 k k1 k2 l0 Source

data Zip3Sym1 l l Source

Instances

 SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] [(,,) k k k] -> *) -> *) (Zip3Sym1 k k k) Source type Apply (TyFun [k1] [(,,) k2 k k1] -> *) [k] (Zip3Sym1 k2 k k1 l1) l0 = Zip3Sym2 k2 k k1 l1 l0 Source

data Zip3Sym2 l l l Source

Instances

 SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] [(,,) k k k] -> *) (Zip3Sym2 k k k) Source type Apply [(,,) k1 k2 k] [k] (Zip3Sym2 k1 k2 k l1 l2) l0 = Zip3Sym3 k1 k2 k l1 l2 l0 Source

type Zip3Sym3 t t t = Zip3 t t t Source

data ZipWithSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) (ZipWithSym0 k k k) Source type Apply (TyFun [k] (TyFun [k1] [k2] -> *) -> *) (TyFun k (TyFun k1 k2 -> *) -> *) (ZipWithSym0 k k1 k2) l0 = ZipWithSym1 k k1 k2 l0 Source

data ZipWithSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun [k] (TyFun [k] [k] -> *) -> *) (ZipWithSym1 k k k) Source type Apply (TyFun [k1] [k2] -> *) [k] (ZipWithSym1 k k1 k2 l1) l0 = ZipWithSym2 k k1 k2 l1 l0 Source

data ZipWithSym2 l l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> [k] -> TyFun [k] [k] -> *) (ZipWithSym2 k k k) Source type Apply [k2] [k1] (ZipWithSym2 k k1 k2 l1 l2) l0 = ZipWithSym3 k k1 k2 l1 l2 l0 Source

type ZipWithSym3 t t t = ZipWith t t t Source

data ZipWith3Sym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) (ZipWith3Sym0 k k k k) Source type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] [k3] -> *) -> *) -> *) (TyFun k (TyFun k1 (TyFun k2 k3 -> *) -> *) -> *) (ZipWith3Sym0 k k1 k2 k3) l0 = ZipWith3Sym1 k k1 k2 k3 l0 Source

data ZipWith3Sym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) (ZipWith3Sym1 k k k k) Source type Apply (TyFun [k1] (TyFun [k2] [k3] -> *) -> *) [k] (ZipWith3Sym1 k k1 k2 k3 l1) l0 = ZipWith3Sym2 k k1 k2 k3 l1 l0 Source

data ZipWith3Sym2 l l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> [k] -> TyFun [k] (TyFun [k] [k] -> *) -> *) (ZipWith3Sym2 k k k k) Source type Apply (TyFun [k2] [k3] -> *) [k1] (ZipWith3Sym2 k k1 k2 k3 l1 l2) l0 = ZipWith3Sym3 k k1 k2 k3 l1 l2 l0 Source

data ZipWith3Sym3 l l l l Source

Instances

 SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> [k] -> [k] -> TyFun [k] [k] -> *) (ZipWith3Sym3 k k k k) Source type Apply [k3] [k2] (ZipWith3Sym3 k k1 k2 k3 l1 l2 l3) l0 = ZipWith3Sym4 k k1 k2 k3 l1 l2 l3 l0 Source

data UnzipSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [(,) k k] ((,) [k] [k]) -> *) (UnzipSym0 k k) Source type Apply ((,) [k] [k1]) [(,) k k1] (UnzipSym0 k k1) l0 = UnzipSym1 k k1 l0 Source

data UntilSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun (TyFun k k -> *) (TyFun k k -> *) -> *) -> *) (UntilSym0 k) Source type Apply (TyFun (TyFun k k -> *) (TyFun k k -> *) -> *) (TyFun k Bool -> *) (UntilSym0 k) l0 = UntilSym1 k l0 Source

data UntilSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun (TyFun k k -> *) (TyFun k k -> *) -> *) (UntilSym1 k) Source type Apply (TyFun k k -> *) (TyFun k k -> *) (UntilSym1 k l1) l0 = UntilSym2 k l1 l0 Source

data UntilSym2 l l l Source

Instances

 SuppressUnusedWarnings ((TyFun k Bool -> *) -> (TyFun k k -> *) -> TyFun k k -> *) (UntilSym2 k) Source type Apply k k (UntilSym2 k l1 l2) l0 = UntilSym3 k l1 l2 l0 Source

type UntilSym3 t t t = Until t t t Source

data LengthSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [k] Nat -> *) (LengthSym0 k) Source type Apply Nat [k] (LengthSym0 k) l0 = LengthSym1 k l0 Source

data SumSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [k] k -> *) (SumSym0 k) Source type Apply k [k] (SumSym0 k) l0 = SumSym1 k l0 Source

type SumSym1 t = Sum t Source

data ProductSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun [k] k -> *) (ProductSym0 k) Source type Apply k [k] (ProductSym0 k) l0 = ProductSym1 k l0 Source

data ReplicateSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun Nat (TyFun k [k] -> *) -> *) (ReplicateSym0 k) Source type Apply (TyFun k [k] -> *) Nat (ReplicateSym0 k) l0 = ReplicateSym1 k l0 Source

data ReplicateSym1 l l Source

Instances

 SuppressUnusedWarnings (Nat -> TyFun k [k] -> *) (ReplicateSym1 k) Source type Apply [k] k (ReplicateSym1 k l1) l0 = ReplicateSym2 k l1 l0 Source

data TakeSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun Nat (TyFun [k] [k] -> *) -> *) (TakeSym0 k) Source type Apply (TyFun [k] [k] -> *) Nat (TakeSym0 k) l0 = TakeSym1 k l0 Source

data TakeSym1 l l Source

Instances

 SuppressUnusedWarnings (Nat -> TyFun [k] [k] -> *) (TakeSym1 k) Source type Apply [k] [k] (TakeSym1 k l1) l0 = TakeSym2 k l1 l0 Source

type TakeSym2 t t = Take t t Source

data DropSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun Nat (TyFun [k] [k] -> *) -> *) (DropSym0 k) Source type Apply (TyFun [k] [k] -> *) Nat (DropSym0 k) l0 = DropSym1 k l0 Source

data DropSym1 l l Source

Instances

 SuppressUnusedWarnings (Nat -> TyFun [k] [k] -> *) (DropSym1 k) Source type Apply [k] [k] (DropSym1 k l1) l0 = DropSym2 k l1 l0 Source

type DropSym2 t t = Drop t t Source

data SplitAtSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun Nat (TyFun [k] ((,) [k] [k]) -> *) -> *) (SplitAtSym0 k) Source type Apply (TyFun [k] ((,) [k] [k]) -> *) Nat (SplitAtSym0 k) l0 = SplitAtSym1 k l0 Source

data SplitAtSym1 l l Source

Instances

 SuppressUnusedWarnings (Nat -> TyFun [k] ((,) [k] [k]) -> *) (SplitAtSym1 k) Source type Apply ((,) [k] [k]) [k] (SplitAtSym1 k l1) l0 = SplitAtSym2 k l1 l0 Source

type SplitAtSym2 t t = SplitAt t t Source

data TakeWhileSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] [k] -> *) -> *) (TakeWhileSym0 k) Source type Apply (TyFun [k] [k] -> *) (TyFun k Bool -> *) (TakeWhileSym0 k) l0 = TakeWhileSym1 k l0 Source

data TakeWhileSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] [k] -> *) (TakeWhileSym1 k) Source type Apply [k] [k] (TakeWhileSym1 k l1) l0 = TakeWhileSym2 k l1 l0 Source

data DropWhileSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] [k] -> *) -> *) (DropWhileSym0 k) Source type Apply (TyFun [k] [k] -> *) (TyFun k Bool -> *) (DropWhileSym0 k) l0 = DropWhileSym1 k l0 Source

data DropWhileSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] [k] -> *) (DropWhileSym1 k) Source type Apply [k] [k] (DropWhileSym1 k l1) l0 = DropWhileSym2 k l1 l0 Source

data SpanSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] ((,) [k] [k]) -> *) -> *) (SpanSym0 k) Source type Apply (TyFun [k] ((,) [k] [k]) -> *) (TyFun k Bool -> *) (SpanSym0 k) l0 = SpanSym1 k l0 Source

data SpanSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] ((,) [k] [k]) -> *) (SpanSym1 k) Source type Apply ((,) [k] [k]) [k] (SpanSym1 k l1) l0 = SpanSym2 k l1 l0 Source

type SpanSym2 t t = Span t t Source

data BreakSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] ((,) [k] [k]) -> *) -> *) (BreakSym0 k) Source type Apply (TyFun [k] ((,) [k] [k]) -> *) (TyFun k Bool -> *) (BreakSym0 k) l0 = BreakSym1 k l0 Source

data BreakSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] ((,) [k] [k]) -> *) (BreakSym1 k) Source type Apply ((,) [k] [k]) [k] (BreakSym1 k l1) l0 = BreakSym2 k l1 l0 Source

type BreakSym2 t t = Break t t Source

data LookupSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun k (TyFun [(,) k k] (Maybe k) -> *) -> *) (LookupSym0 k k) Source type Apply (TyFun [(,) k k1] (Maybe k1) -> *) k (LookupSym0 k k1) l0 = LookupSym1 k k1 l0 Source

data LookupSym1 l l Source

Instances

 SuppressUnusedWarnings (k -> TyFun [(,) k k] (Maybe k) -> *) (LookupSym1 k k) Source type Apply (Maybe k) [(,) k1 k] (LookupSym1 k1 k l1) l0 = LookupSym2 k1 k l1 l0 Source

type LookupSym2 t t = Lookup t t Source

data FilterSym0 l Source

Instances

 SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] [k] -> *) -> *) (FilterSym0 k) Source type Apply (TyFun [k] [k] -> *) (TyFun k Bool -> *) (FilterSym0 k) l0 = FilterSym1 k l0 Source

data FilterSym1 l l Source

Instances

 SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] [k] -> *) (FilterSym1 k) Source type Apply [k] [k] (FilterSym1 k l1) l0 = FilterSym2 k l1 l0 Source

type FilterSym2 t t = Filter t t Source

data (:!!\$) l Source

Instances

 SuppressUnusedWarnings (TyFun [k] (TyFun Nat k -> *) -> *) ((:!!\$) k) Source type Apply (TyFun Nat k -> *) [k] ((:!!\$) k) l0 = (:!!\$\$) k l0 Source

data l :!!\$\$ l Source

Instances

 SuppressUnusedWarnings ([k] -> TyFun Nat k -> *) ((:!!\$\$) k) Source type Apply k Nat ((:!!\$\$) k l1) l0 = (:!!\$\$\$) k l1 l0 Source

type (:!!\$\$\$) t t = (:!!) t t Source