Copyright | (C) 2016 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Singletons.Prelude.List.NonEmpty
Description
Defines functions and datatypes relating to the singleton for NonEmpty
,
including a singletons version of all the definitions in Data.List.NonEmpty
.
Because many of these definitions are produced by Template Haskell,
it is not possible to create proper Haddock documentation. Please look
up the corresponding operation in Data.List.NonEmpty
. Also, please excuse
the apparent repeated variable names. This is due to an interaction
between Template Haskell and Haddock.
Synopsis
- type family Sing :: k -> Type
- data SNonEmpty :: forall a. NonEmpty a -> Type where
- type family Map (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty b where ...
- sMap :: forall a b (t :: (~>) a b) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: NonEmpty b)
- type family Intersperse (a :: a) (a :: NonEmpty a) :: NonEmpty a where ...
- sIntersperse :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a)
- type family Scanl (a :: (~>) b ((~>) a b)) (a :: b) (a :: [a]) :: NonEmpty b where ...
- sScanl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: NonEmpty b)
- type family Scanr (a :: (~>) a ((~>) b b)) (a :: b) (a :: [a]) :: NonEmpty b where ...
- sScanr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: NonEmpty b)
- type family Scanl1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ...
- sScanl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a)
- type family Scanr1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ...
- sScanr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: NonEmpty a)
- type family Transpose (a :: NonEmpty (NonEmpty a)) :: NonEmpty (NonEmpty a) where ...
- sTranspose :: forall a (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a))
- type family SortBy (a :: (~>) a ((~>) a Ordering)) (a :: NonEmpty a) :: NonEmpty a where ...
- sSortBy :: forall a (t :: (~>) a ((~>) a Ordering)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a)
- type family SortWith (a :: (~>) a o) (a :: NonEmpty a) :: NonEmpty a where ...
- sSortWith :: forall a o (t :: (~>) a o) (t :: NonEmpty a). SOrd o => Sing t -> Sing t -> Sing (Apply (Apply SortWithSym0 t) t :: NonEmpty a)
- type family Length (a :: NonEmpty a) :: Nat where ...
- sLength :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LengthSym0 t :: Nat)
- type family Head (a :: NonEmpty a) :: a where ...
- sHead :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply HeadSym0 t :: a)
- type family Tail (a :: NonEmpty a) :: [a] where ...
- sTail :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply TailSym0 t :: [a])
- type family Last (a :: NonEmpty a) :: a where ...
- sLast :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LastSym0 t :: a)
- type family Init (a :: NonEmpty a) :: [a] where ...
- sInit :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply InitSym0 t :: [a])
- type family (a :: a) <| (a :: NonEmpty a) :: NonEmpty a where ...
- (%<|) :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply (<|@#@$) t) t :: NonEmpty a)
- type family Cons (a :: a) (a :: NonEmpty a) :: NonEmpty a where ...
- sCons :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply ConsSym0 t) t :: NonEmpty a)
- type family Uncons (a :: NonEmpty a) :: (a, Maybe (NonEmpty a)) where ...
- sUncons :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a)))
- type family Unfoldr (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ...
- sUnfoldr :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldrSym0 t) t :: NonEmpty b)
- type family Sort (a :: NonEmpty a) :: NonEmpty a where ...
- sSort :: forall a (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a)
- type family Reverse (a :: NonEmpty a) :: NonEmpty a where ...
- sReverse :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ReverseSym0 t :: NonEmpty a)
- type family Inits (a :: [a]) :: NonEmpty [a] where ...
- sInits :: forall a (t :: [a]). Sing t -> Sing (Apply InitsSym0 t :: NonEmpty [a])
- type family Tails (a :: [a]) :: NonEmpty [a] where ...
- sTails :: forall a (t :: [a]). Sing t -> Sing (Apply TailsSym0 t :: NonEmpty [a])
- type family Unfold (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ...
- sUnfold :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldSym0 t) t :: NonEmpty b)
- type family Insert (a :: a) (a :: [a]) :: NonEmpty a where ...
- sInsert :: forall a (t :: a) (t :: [a]). SOrd a => Sing t -> Sing t -> Sing (Apply (Apply InsertSym0 t) t :: NonEmpty a)
- type family Take (a :: Nat) (a :: NonEmpty a) :: [a] where ...
- sTake :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a])
- type family Drop (a :: Nat) (a :: NonEmpty a) :: [a] where ...
- sDrop :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a])
- type family SplitAt (a :: Nat) (a :: NonEmpty a) :: ([a], [a]) where ...
- sSplitAt :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a]))
- type family TakeWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
- sTakeWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a])
- type family DropWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
- sDropWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a])
- type family Span (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
- sSpan :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a]))
- type family Break (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
- sBreak :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a]))
- type family Filter (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
- sFilter :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a])
- type family Partition (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
- sPartition :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply PartitionSym0 t) t :: ([a], [a]))
- type family Group (a :: [a]) :: [NonEmpty a] where ...
- sGroup :: forall a (t :: [a]). SEq a => Sing t -> Sing (Apply GroupSym0 t :: [NonEmpty a])
- type family GroupBy (a :: (~>) a ((~>) a Bool)) (a :: [a]) :: [NonEmpty a] where ...
- sGroupBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a])
- type family GroupWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ...
- sGroupWith :: forall a b (t :: (~>) a b) (t :: [a]). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWithSym0 t) t :: [NonEmpty a])
- type family GroupAllWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ...
- sGroupAllWith :: forall a b (t :: (~>) a b) (t :: [a]). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWithSym0 t) t :: [NonEmpty a])
- type family Group1 (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
- sGroup1 :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a))
- type family GroupBy1 (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
- sGroupBy1 :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a))
- type family GroupWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
- sGroupWith1 :: forall a b (t :: (~>) a b) (t :: NonEmpty a). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWith1Sym0 t) t :: NonEmpty (NonEmpty a))
- type family GroupAllWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
- sGroupAllWith1 :: forall a b (t :: (~>) a b) (t :: NonEmpty a). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWith1Sym0 t) t :: NonEmpty (NonEmpty a))
- type family IsPrefixOf (a :: [a]) (a :: NonEmpty a) :: Bool where ...
- sIsPrefixOf :: forall a (t :: [a]) (t :: NonEmpty a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply IsPrefixOfSym0 t) t :: Bool)
- type family Nub (a :: NonEmpty a) :: NonEmpty a where ...
- sNub :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply NubSym0 t :: NonEmpty a)
- type family NubBy (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty a where ...
- sNubBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply NubBySym0 t) t :: NonEmpty a)
- type family (a :: NonEmpty a) !! (a :: Nat) :: a where ...
- (%!!) :: forall a (t :: NonEmpty a) (t :: Nat). Sing t -> Sing t -> Sing (Apply (Apply (!!@#@$) t) t :: a)
- type family Zip (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty (a, b) where ...
- sZip :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b))
- type family ZipWith (a :: (~>) a ((~>) b c)) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ...
- sZipWith :: forall a b c (t :: (~>) a ((~>) b c)) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: NonEmpty c)
- type family Unzip (a :: NonEmpty (a, b)) :: (NonEmpty a, NonEmpty b) where ...
- sUnzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b))
- type family FromList (a :: [a]) :: NonEmpty a where ...
- sFromList :: forall a (t :: [a]). Sing t -> Sing (Apply FromListSym0 t :: NonEmpty a)
- type family ToList (a :: NonEmpty a) :: [a] where ...
- sToList :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ToListSym0 t :: [a])
- type family NonEmpty_ (a :: [a]) :: Maybe (NonEmpty a) where ...
- sNonEmpty_ :: forall a (t :: [a]). Sing t -> Sing (Apply NonEmpty_Sym0 t :: Maybe (NonEmpty a))
- type family Xor (a :: NonEmpty Bool) :: Bool where ...
- sXor :: forall (t :: NonEmpty Bool). Sing t -> Sing (Apply XorSym0 t :: Bool)
- data (:|@#@$) :: forall (a6989586621679059398 :: Type). (~>) a6989586621679059398 ((~>) [a6989586621679059398] (NonEmpty (a6989586621679059398 :: Type)))
- data (:|@#@$$) (t6989586621679310974 :: a6989586621679059398 :: Type) :: (~>) [a6989586621679059398] (NonEmpty (a6989586621679059398 :: Type))
- type (:|@#@$$$) (t6989586621679310974 :: a6989586621679059398) (t6989586621679310975 :: [a6989586621679059398]) = '(:|) t6989586621679310974 t6989586621679310975
- data MapSym0 :: forall a6989586621681159624 b6989586621681159625. (~>) ((~>) a6989586621681159624 b6989586621681159625) ((~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625))
- data MapSym1 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) :: (~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625)
- type MapSym2 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) (a6989586621681161239 :: NonEmpty a6989586621681159624) = Map a6989586621681161238 a6989586621681161239
- data IntersperseSym0 :: forall a6989586621681159614. (~>) a6989586621681159614 ((~>) (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614))
- data IntersperseSym1 (a6989586621681161174 :: a6989586621681159614) :: (~>) (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614)
- type IntersperseSym2 (a6989586621681161174 :: a6989586621681159614) (a6989586621681161175 :: NonEmpty a6989586621681159614) = Intersperse a6989586621681161174 a6989586621681161175
- data ScanlSym0 :: forall b6989586621681159619 a6989586621681159620. (~>) ((~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) ((~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619)))
- data ScanlSym1 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) :: (~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619))
- data ScanlSym2 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) :: (~>) [a6989586621681159620] (NonEmpty b6989586621681159619)
- type ScanlSym3 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) (a6989586621681161211 :: [a6989586621681159620]) = Scanl a6989586621681161209 a6989586621681161210 a6989586621681161211
- data ScanrSym0 :: forall a6989586621681159617 b6989586621681159618. (~>) ((~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) ((~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618)))
- data ScanrSym1 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) :: (~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618))
- data ScanrSym2 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) :: (~>) [a6989586621681159617] (NonEmpty b6989586621681159618)
- type ScanrSym3 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) (a6989586621681161200 :: [a6989586621681159617]) = Scanr a6989586621681161198 a6989586621681161199 a6989586621681161200
- data Scanl1Sym0 :: forall a6989586621681159616. (~>) ((~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) ((~>) (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616))
- data Scanl1Sym1 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) :: (~>) (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616)
- type Scanl1Sym2 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) (a6989586621681161192 :: NonEmpty a6989586621681159616) = Scanl1 a6989586621681161191 a6989586621681161192
- data Scanr1Sym0 :: forall a6989586621681159615. (~>) ((~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) ((~>) (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615))
- data Scanr1Sym1 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) :: (~>) (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615)
- type Scanr1Sym2 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) (a6989586621681161185 :: NonEmpty a6989586621681159615) = Scanr1 a6989586621681161184 a6989586621681161185
- data TransposeSym0 :: forall a6989586621681159580. (~>) (NonEmpty (NonEmpty a6989586621681159580)) (NonEmpty (NonEmpty a6989586621681159580))
- type TransposeSym1 (a6989586621681160879 :: NonEmpty (NonEmpty a6989586621681159580)) = Transpose a6989586621681160879
- data SortBySym0 :: forall a6989586621681159579. (~>) ((~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) ((~>) (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579))
- data SortBySym1 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) :: (~>) (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579)
- type SortBySym2 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) (a6989586621681160870 :: NonEmpty a6989586621681159579) = SortBy a6989586621681160869 a6989586621681160870
- data SortWithSym0 :: forall a6989586621681159578 o6989586621681159577. (~>) ((~>) a6989586621681159578 o6989586621681159577) ((~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578))
- data SortWithSym1 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) :: (~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578)
- type SortWithSym2 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) (a6989586621681160864 :: NonEmpty a6989586621681159578) = SortWith a6989586621681160863 a6989586621681160864
- data LengthSym0 :: forall a6989586621681159643. (~>) (NonEmpty a6989586621681159643) Nat
- type LengthSym1 (a6989586621681161362 :: NonEmpty a6989586621681159643) = Length a6989586621681161362
- data HeadSym0 :: forall a6989586621681159636. (~>) (NonEmpty a6989586621681159636) a6989586621681159636
- type HeadSym1 (a6989586621681161294 :: NonEmpty a6989586621681159636) = Head a6989586621681161294
- data TailSym0 :: forall a6989586621681159635. (~>) (NonEmpty a6989586621681159635) [a6989586621681159635]
- type TailSym1 (a6989586621681161291 :: NonEmpty a6989586621681159635) = Tail a6989586621681161291
- data LastSym0 :: forall a6989586621681159634. (~>) (NonEmpty a6989586621681159634) a6989586621681159634
- type LastSym1 (a6989586621681161287 :: NonEmpty a6989586621681159634) = Last a6989586621681161287
- data InitSym0 :: forall a6989586621681159633. (~>) (NonEmpty a6989586621681159633) [a6989586621681159633]
- type InitSym1 (a6989586621681161283 :: NonEmpty a6989586621681159633) = Init a6989586621681161283
- data (<|@#@$) :: forall a6989586621681159632. (~>) a6989586621681159632 ((~>) (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632))
- data (<|@#@$$) (a6989586621681161276 :: a6989586621681159632) :: (~>) (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632)
- type (<|@#@$$$) (a6989586621681161276 :: a6989586621681159632) (a6989586621681161277 :: NonEmpty a6989586621681159632) = (<|) a6989586621681161276 a6989586621681161277
- data ConsSym0 :: forall a6989586621681159631. (~>) a6989586621681159631 ((~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631))
- data ConsSym1 (a6989586621681161270 :: a6989586621681159631) :: (~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631)
- type ConsSym2 (a6989586621681161270 :: a6989586621681159631) (a6989586621681161271 :: NonEmpty a6989586621681159631) = Cons a6989586621681161270 a6989586621681161271
- data UnconsSym0 :: forall a6989586621681159639. (~>) (NonEmpty a6989586621681159639) (a6989586621681159639, Maybe (NonEmpty a6989586621681159639))
- type UnconsSym1 (a6989586621681161326 :: NonEmpty a6989586621681159639) = Uncons a6989586621681161326
- data UnfoldrSym0 :: forall a6989586621681159637 b6989586621681159638. (~>) ((~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) ((~>) a6989586621681159637 (NonEmpty b6989586621681159638))
- data UnfoldrSym1 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) :: (~>) a6989586621681159637 (NonEmpty b6989586621681159638)
- type UnfoldrSym2 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681161298 :: a6989586621681159637) = Unfoldr a6989586621681161297 a6989586621681161298
- data SortSym0 :: forall a6989586621681159630. (~>) (NonEmpty a6989586621681159630) (NonEmpty a6989586621681159630)
- type SortSym1 (a6989586621681161263 :: NonEmpty a6989586621681159630) = Sort a6989586621681161263
- data ReverseSym0 :: forall a6989586621681159613. (~>) (NonEmpty a6989586621681159613) (NonEmpty a6989586621681159613)
- type ReverseSym1 (a6989586621681161171 :: NonEmpty a6989586621681159613) = Reverse a6989586621681161171
- data InitsSym0 :: forall a6989586621681159623. (~>) [a6989586621681159623] (NonEmpty [a6989586621681159623])
- type InitsSym1 (a6989586621681161235 :: [a6989586621681159623]) = Inits a6989586621681161235
- data TailsSym0 :: forall a6989586621681159622. (~>) [a6989586621681159622] (NonEmpty [a6989586621681159622])
- type TailsSym1 (a6989586621681161230 :: [a6989586621681159622]) = Tails a6989586621681161230
- data UnfoldSym0 :: forall a6989586621681159641 b6989586621681159642. (~>) ((~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) ((~>) a6989586621681159641 (NonEmpty b6989586621681159642))
- data UnfoldSym1 (a6989586621681161334 :: (~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) :: (~>) a6989586621681159641 (NonEmpty b6989586621681159642)
- data InsertSym0 :: forall a6989586621681159621. (~>) a6989586621681159621 ((~>) [a6989586621681159621] (NonEmpty a6989586621681159621))
- data InsertSym1 (a6989586621681161220 :: a6989586621681159621) :: (~>) [a6989586621681159621] (NonEmpty a6989586621681159621)
- type InsertSym2 (a6989586621681161220 :: a6989586621681159621) (a6989586621681161221 :: [a6989586621681159621]) = Insert a6989586621681161220 a6989586621681161221
- data TakeSym0 :: forall a6989586621681159612. (~>) Nat ((~>) (NonEmpty a6989586621681159612) [a6989586621681159612])
- data TakeSym1 (a6989586621681161161 :: Nat) :: forall a6989586621681159612. (~>) (NonEmpty a6989586621681159612) [a6989586621681159612]
- type TakeSym2 (a6989586621681161161 :: Nat) (a6989586621681161162 :: NonEmpty a6989586621681159612) = Take a6989586621681161161 a6989586621681161162
- data DropSym0 :: forall a6989586621681159611. (~>) Nat ((~>) (NonEmpty a6989586621681159611) [a6989586621681159611])
- data DropSym1 (a6989586621681161153 :: Nat) :: forall a6989586621681159611. (~>) (NonEmpty a6989586621681159611) [a6989586621681159611]
- type DropSym2 (a6989586621681161153 :: Nat) (a6989586621681161154 :: NonEmpty a6989586621681159611) = Drop a6989586621681161153 a6989586621681161154
- data SplitAtSym0 :: forall a6989586621681159610. (~>) Nat ((~>) (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610]))
- data SplitAtSym1 (a6989586621681161145 :: Nat) :: forall a6989586621681159610. (~>) (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610])
- type SplitAtSym2 (a6989586621681161145 :: Nat) (a6989586621681161146 :: NonEmpty a6989586621681159610) = SplitAt a6989586621681161145 a6989586621681161146
- data TakeWhileSym0 :: forall a6989586621681159609. (~>) ((~>) a6989586621681159609 Bool) ((~>) (NonEmpty a6989586621681159609) [a6989586621681159609])
- data TakeWhileSym1 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) :: (~>) (NonEmpty a6989586621681159609) [a6989586621681159609]
- type TakeWhileSym2 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) (a6989586621681161138 :: NonEmpty a6989586621681159609) = TakeWhile a6989586621681161137 a6989586621681161138
- data DropWhileSym0 :: forall a6989586621681159608. (~>) ((~>) a6989586621681159608 Bool) ((~>) (NonEmpty a6989586621681159608) [a6989586621681159608])
- data DropWhileSym1 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) :: (~>) (NonEmpty a6989586621681159608) [a6989586621681159608]
- type DropWhileSym2 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) (a6989586621681161130 :: NonEmpty a6989586621681159608) = DropWhile a6989586621681161129 a6989586621681161130
- data SpanSym0 :: forall a6989586621681159607. (~>) ((~>) a6989586621681159607 Bool) ((~>) (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607]))
- data SpanSym1 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) :: (~>) (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607])
- type SpanSym2 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) (a6989586621681161122 :: NonEmpty a6989586621681159607) = Span a6989586621681161121 a6989586621681161122
- data BreakSym0 :: forall a6989586621681159606. (~>) ((~>) a6989586621681159606 Bool) ((~>) (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606]))
- data BreakSym1 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) :: (~>) (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606])
- type BreakSym2 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) (a6989586621681161114 :: NonEmpty a6989586621681159606) = Break a6989586621681161113 a6989586621681161114
- data FilterSym0 :: forall a6989586621681159605. (~>) ((~>) a6989586621681159605 Bool) ((~>) (NonEmpty a6989586621681159605) [a6989586621681159605])
- data FilterSym1 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) :: (~>) (NonEmpty a6989586621681159605) [a6989586621681159605]
- type FilterSym2 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) (a6989586621681161106 :: NonEmpty a6989586621681159605) = Filter a6989586621681161105 a6989586621681161106
- data PartitionSym0 :: forall a6989586621681159604. (~>) ((~>) a6989586621681159604 Bool) ((~>) (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604]))
- data PartitionSym1 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) :: (~>) (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604])
- type PartitionSym2 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) (a6989586621681161098 :: NonEmpty a6989586621681159604) = Partition a6989586621681161097 a6989586621681161098
- data GroupSym0 :: forall a6989586621681159603. (~>) [a6989586621681159603] [NonEmpty a6989586621681159603]
- type GroupSym1 (a6989586621681161094 :: [a6989586621681159603]) = Group a6989586621681161094
- data GroupBySym0 :: forall a6989586621681159602. (~>) ((~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) ((~>) [a6989586621681159602] [NonEmpty a6989586621681159602])
- data GroupBySym1 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) :: (~>) [a6989586621681159602] [NonEmpty a6989586621681159602]
- type GroupBySym2 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) (a6989586621681161045 :: [a6989586621681159602]) = GroupBy a6989586621681161044 a6989586621681161045
- data GroupWithSym0 :: forall a6989586621681159601 b6989586621681159600. (~>) ((~>) a6989586621681159601 b6989586621681159600) ((~>) [a6989586621681159601] [NonEmpty a6989586621681159601])
- data GroupWithSym1 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) :: (~>) [a6989586621681159601] [NonEmpty a6989586621681159601]
- type GroupWithSym2 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) (a6989586621681161037 :: [a6989586621681159601]) = GroupWith a6989586621681161036 a6989586621681161037
- data GroupAllWithSym0 :: forall a6989586621681159599 b6989586621681159598. (~>) ((~>) a6989586621681159599 b6989586621681159598) ((~>) [a6989586621681159599] [NonEmpty a6989586621681159599])
- data GroupAllWithSym1 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) :: (~>) [a6989586621681159599] [NonEmpty a6989586621681159599]
- type GroupAllWithSym2 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) (a6989586621681161029 :: [a6989586621681159599]) = GroupAllWith a6989586621681161028 a6989586621681161029
- data Group1Sym0 :: forall a6989586621681159597. (~>) (NonEmpty a6989586621681159597) (NonEmpty (NonEmpty a6989586621681159597))
- type Group1Sym1 (a6989586621681161025 :: NonEmpty a6989586621681159597) = Group1 a6989586621681161025
- data GroupBy1Sym0 :: forall a6989586621681159596. (~>) ((~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) ((~>) (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596)))
- data GroupBy1Sym1 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) :: (~>) (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596))
- type GroupBy1Sym2 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) (a6989586621681160993 :: NonEmpty a6989586621681159596) = GroupBy1 a6989586621681160992 a6989586621681160993
- data GroupWith1Sym0 :: forall a6989586621681159595 b6989586621681159594. (~>) ((~>) a6989586621681159595 b6989586621681159594) ((~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595)))
- data GroupWith1Sym1 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) :: (~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595))
- type GroupWith1Sym2 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) (a6989586621681160985 :: NonEmpty a6989586621681159595) = GroupWith1 a6989586621681160984 a6989586621681160985
- data GroupAllWith1Sym0 :: forall a6989586621681159593 b6989586621681159592. (~>) ((~>) a6989586621681159593 b6989586621681159592) ((~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593)))
- data GroupAllWith1Sym1 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) :: (~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593))
- type GroupAllWith1Sym2 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) (a6989586621681160977 :: NonEmpty a6989586621681159593) = GroupAllWith1 a6989586621681160976 a6989586621681160977
- data IsPrefixOfSym0 :: forall a6989586621681159591. (~>) [a6989586621681159591] ((~>) (NonEmpty a6989586621681159591) Bool)
- data IsPrefixOfSym1 (a6989586621681160968 :: [a6989586621681159591]) :: (~>) (NonEmpty a6989586621681159591) Bool
- type IsPrefixOfSym2 (a6989586621681160968 :: [a6989586621681159591]) (a6989586621681160969 :: NonEmpty a6989586621681159591) = IsPrefixOf a6989586621681160968 a6989586621681160969
- data NubSym0 :: forall a6989586621681159582. (~>) (NonEmpty a6989586621681159582) (NonEmpty a6989586621681159582)
- type NubSym1 (a6989586621681160899 :: NonEmpty a6989586621681159582) = Nub a6989586621681160899
- data NubBySym0 :: forall a6989586621681159581. (~>) ((~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) ((~>) (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581))
- data NubBySym1 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) :: (~>) (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581)
- type NubBySym2 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) (a6989586621681160883 :: NonEmpty a6989586621681159581) = NubBy a6989586621681160882 a6989586621681160883
- data (!!@#@$) :: forall a6989586621681159590. (~>) (NonEmpty a6989586621681159590) ((~>) Nat a6989586621681159590)
- data (!!@#@$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) :: (~>) Nat a6989586621681159590
- type (!!@#@$$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) (a6989586621681160951 :: Nat) = (!!) a6989586621681160950 a6989586621681160951
- data ZipSym0 :: forall a6989586621681159588 b6989586621681159589. (~>) (NonEmpty a6989586621681159588) ((~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)))
- data ZipSym1 (a6989586621681160942 :: NonEmpty a6989586621681159588) :: forall b6989586621681159589. (~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589))
- type ZipSym2 (a6989586621681160942 :: NonEmpty a6989586621681159588) (a6989586621681160943 :: NonEmpty b6989586621681159589) = Zip a6989586621681160942 a6989586621681160943
- data ZipWithSym0 :: forall a6989586621681159585 b6989586621681159586 c6989586621681159587. (~>) ((~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) ((~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587)))
- data ZipWithSym1 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) :: (~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587))
- data ZipWithSym2 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) :: (~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587)
- type ZipWithSym3 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) (a6989586621681160933 :: NonEmpty b6989586621681159586) = ZipWith a6989586621681160931 a6989586621681160932 a6989586621681160933
- data UnzipSym0 :: forall a6989586621681159583 b6989586621681159584. (~>) (NonEmpty (a6989586621681159583, b6989586621681159584)) (NonEmpty a6989586621681159583, NonEmpty b6989586621681159584)
- type UnzipSym1 (a6989586621681160902 :: NonEmpty (a6989586621681159583, b6989586621681159584)) = Unzip a6989586621681160902
- data FromListSym0 :: forall a6989586621681159629. (~>) [a6989586621681159629] (NonEmpty a6989586621681159629)
- type FromListSym1 (a6989586621681161257 :: [a6989586621681159629]) = FromList a6989586621681161257
- data ToListSym0 :: forall a6989586621681159628. (~>) (NonEmpty a6989586621681159628) [a6989586621681159628]
- type ToListSym1 (a6989586621681161253 :: NonEmpty a6989586621681159628) = ToList a6989586621681161253
- data NonEmpty_Sym0 :: forall a6989586621681159640. (~>) [a6989586621681159640] (Maybe (NonEmpty a6989586621681159640))
- type NonEmpty_Sym1 (a6989586621681161330 :: [a6989586621681159640]) = NonEmpty_ a6989586621681161330
- data XorSym0 :: (~>) (NonEmpty Bool) Bool
- type XorSym1 (a6989586621681161349 :: NonEmpty Bool) = Xor a6989586621681161349
The NonEmpty
singleton
type family Sing :: k -> Type Source #
The singleton kind-indexed type family.
Instances
data SNonEmpty :: forall a. NonEmpty a -> Type where Source #
Constructors
(:%|) :: forall a (n :: a) (n :: [a]). (Sing (n :: a)) -> (Sing (n :: [a])) -> SNonEmpty ('(:|) n n) infixr 5 |
Instances
(SDecide a, SDecide [a]) => TestCoercion (SNonEmpty :: NonEmpty a -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b :: k). SNonEmpty a0 -> SNonEmpty b -> Maybe (Coercion a0 b) | |
(SDecide a, SDecide [a]) => TestEquality (SNonEmpty :: NonEmpty a -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b :: k). SNonEmpty a0 -> SNonEmpty b -> Maybe (a0 :~: b) | |
(ShowSing a, ShowSing [a]) => Show (SNonEmpty z) | |
Non-empty stream transformations
sMap :: forall a b (t :: (~>) a b) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: NonEmpty b) Source #
type family Intersperse (a :: a) (a :: NonEmpty a) :: NonEmpty a where ... Source #
Equations
Intersperse a ('(:|) b bs) = Apply (Apply (:|@#@$) b) (Case_6989586621681161181 a b bs bs) |
sIntersperse :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a) Source #
sScanl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: NonEmpty b) Source #
sScanr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: NonEmpty b) Source #
sScanl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a) Source #
sScanr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: NonEmpty a) Source #
type family Transpose (a :: NonEmpty (NonEmpty a)) :: NonEmpty (NonEmpty a) where ... Source #
Equations
Transpose a_6989586621681160877 = Apply (Apply (Apply (.@#@$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply (.@#@$) ListtransposeSym0) (Apply (Apply (.@#@$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_6989586621681160877 |
sTranspose :: forall a (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a)) Source #
type family SortBy (a :: (~>) a ((~>) a Ordering)) (a :: NonEmpty a) :: NonEmpty a where ... Source #
sSortBy :: forall a (t :: (~>) a ((~>) a Ordering)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a) Source #
type family SortWith (a :: (~>) a o) (a :: NonEmpty a) :: NonEmpty a where ... Source #
Equations
SortWith a_6989586621681160859 a_6989586621681160861 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621681160859) a_6989586621681160861 |
sSortWith :: forall a o (t :: (~>) a o) (t :: NonEmpty a). SOrd o => Sing t -> Sing t -> Sing (Apply (Apply SortWithSym0 t) t :: NonEmpty a) Source #
(%<|) :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply (<|@#@$) t) t :: NonEmpty a) Source #
sCons :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply ConsSym0 t) t :: NonEmpty a) Source #
type family Uncons (a :: NonEmpty a) :: (a, Maybe (NonEmpty a)) where ... Source #
Equations
Uncons ('(:|) a as) = Apply (Apply Tuple2Sym0 a) (Apply NonEmpty_Sym0 as) |
sUncons :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a))) Source #
type family Unfoldr (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ... Source #
Equations
Unfoldr f a = Case_6989586621681161321 f a (Let6989586621681161318Scrutinee_6989586621681159818Sym2 f a) |
sUnfoldr :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldrSym0 t) t :: NonEmpty b) Source #
sSort :: forall a (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a) Source #
type family Unfold (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ... Source #
Equations
Unfold f a = Case_6989586621681161343 f a (Let6989586621681161340Scrutinee_6989586621681159808Sym2 f a) |
sUnfold :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldSym0 t) t :: NonEmpty b) Source #
sInsert :: forall a (t :: a) (t :: [a]). SOrd a => Sing t -> Sing t -> Sing (Apply (Apply InsertSym0 t) t :: NonEmpty a) Source #
sTake :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a]) Source #
sDrop :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a]) Source #
sSplitAt :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a])) Source #
sTakeWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a]) Source #
sDropWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a]) Source #
sSpan :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a])) Source #
sBreak :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a])) Source #
sFilter :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a]) Source #
sPartition :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply PartitionSym0 t) t :: ([a], [a])) Source #
type family Group (a :: [a]) :: [NonEmpty a] where ... Source #
Equations
Group a_6989586621681161092 = Apply (Apply GroupBySym0 (==@#@$)) a_6989586621681161092 |
sGroupBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a]) Source #
sGroupWith :: forall a b (t :: (~>) a b) (t :: [a]). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWithSym0 t) t :: [NonEmpty a]) Source #
type family GroupAllWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ... Source #
Equations
GroupAllWith f a_6989586621681161032 = Apply (Apply (Apply (.@#@$) (Apply GroupWithSym0 f)) (Apply ListsortBySym0 (Apply (Apply OnSym0 CompareSym0) f))) a_6989586621681161032 |
sGroupAllWith :: forall a b (t :: (~>) a b) (t :: [a]). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWithSym0 t) t :: [NonEmpty a]) Source #
type family Group1 (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #
Equations
Group1 a_6989586621681161023 = Apply (Apply GroupBy1Sym0 (==@#@$)) a_6989586621681161023 |
sGroup1 :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a)) Source #
type family GroupBy1 (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #
sGroupBy1 :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a)) Source #
type family GroupWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #
Equations
GroupWith1 f a_6989586621681160988 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621681160988 |
sGroupWith1 :: forall a b (t :: (~>) a b) (t :: NonEmpty a). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWith1Sym0 t) t :: NonEmpty (NonEmpty a)) Source #
type family GroupAllWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #
Equations
GroupAllWith1 f a_6989586621681160980 = Apply (Apply (Apply (.@#@$) (Apply GroupWith1Sym0 f)) (Apply SortWithSym0 f)) a_6989586621681160980 |
sGroupAllWith1 :: forall a b (t :: (~>) a b) (t :: NonEmpty a). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWith1Sym0 t) t :: NonEmpty (NonEmpty a)) Source #
type family IsPrefixOf (a :: [a]) (a :: NonEmpty a) :: Bool where ... Source #
sIsPrefixOf :: forall a (t :: [a]) (t :: NonEmpty a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply IsPrefixOfSym0 t) t :: Bool) Source #
sNub :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply NubSym0 t :: NonEmpty a) Source #
sNubBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply NubBySym0 t) t :: NonEmpty a) Source #
type family (a :: NonEmpty a) !! (a :: Nat) :: a where ... Source #
Equations
arg_6989586621681159830 !! arg_6989586621681159832 = Case_6989586621681160956 arg_6989586621681159830 arg_6989586621681159832 (Apply (Apply Tuple2Sym0 arg_6989586621681159830) arg_6989586621681159832) |
(%!!) :: forall a (t :: NonEmpty a) (t :: Nat). Sing t -> Sing t -> Sing (Apply (Apply (!!@#@$) t) t :: a) Source #
sZip :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b)) Source #
type family ZipWith (a :: (~>) a ((~>) b c)) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ... Source #
sZipWith :: forall a b c (t :: (~>) a ((~>) b c)) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: NonEmpty c) Source #
sUnzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b)) Source #
sNonEmpty_ :: forall a (t :: [a]). Sing t -> Sing (Apply NonEmpty_Sym0 t :: Maybe (NonEmpty a)) Source #
Defunctionalization symbols
data (:|@#@$) :: forall (a6989586621679059398 :: Type). (~>) a6989586621679059398 ((~>) [a6989586621679059398] (NonEmpty (a6989586621679059398 :: Type))) infixr 5 Source #
Instances
SingI ((:|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings ((:|@#@$) :: TyFun a6989586621679059398 ([a6989586621679059398] ~> NonEmpty a6989586621679059398) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply ((:|@#@$) :: TyFun a6989586621679059398 ([a6989586621679059398] ~> NonEmpty a6989586621679059398) -> Type) (t6989586621679310974 :: a6989586621679059398) Source # | |
data (:|@#@$$) (t6989586621679310974 :: a6989586621679059398 :: Type) :: (~>) [a6989586621679059398] (NonEmpty (a6989586621679059398 :: Type)) infixr 5 Source #
Instances
SingI d => SingI ((:|@#@$$) d :: TyFun [a] (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings ((:|@#@$$) t6989586621679310974 :: TyFun [a6989586621679059398] (NonEmpty a6989586621679059398) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply ((:|@#@$$) t6989586621679310974 :: TyFun [a] (NonEmpty a) -> Type) (t6989586621679310975 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Instances |
type (:|@#@$$$) (t6989586621679310974 :: a6989586621679059398) (t6989586621679310975 :: [a6989586621679059398]) = '(:|) t6989586621679310974 t6989586621679310975 Source #
data MapSym0 :: forall a6989586621681159624 b6989586621681159625. (~>) ((~>) a6989586621681159624 b6989586621681159625) ((~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625)) Source #
Instances
SingI (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621681159624 ~> b6989586621681159625) (NonEmpty a6989586621681159624 ~> NonEmpty b6989586621681159625) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym0 :: TyFun (a6989586621681159624 ~> b6989586621681159625) (NonEmpty a6989586621681159624 ~> NonEmpty b6989586621681159625) -> Type) (a6989586621681161238 :: a6989586621681159624 ~> b6989586621681159625) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data MapSym1 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) :: (~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625) Source #
Instances
SingI d => SingI (MapSym1 d :: TyFun (NonEmpty a) (NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (MapSym1 a6989586621681161238 :: TyFun (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym1 a6989586621681161238 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681161239 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type MapSym2 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) (a6989586621681161239 :: NonEmpty a6989586621681159624) = Map a6989586621681161238 a6989586621681161239 Source #
data IntersperseSym0 :: forall a6989586621681159614. (~>) a6989586621681159614 ((~>) (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614)) Source #
Instances
SingI (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods | |
SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621681159614 (NonEmpty a6989586621681159614 ~> NonEmpty a6989586621681159614) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IntersperseSym0 :: TyFun a6989586621681159614 (NonEmpty a6989586621681159614 ~> NonEmpty a6989586621681159614) -> Type) (a6989586621681161174 :: a6989586621681159614) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym0 :: TyFun a6989586621681159614 (NonEmpty a6989586621681159614 ~> NonEmpty a6989586621681159614) -> Type) (a6989586621681161174 :: a6989586621681159614) = IntersperseSym1 a6989586621681161174 |
data IntersperseSym1 (a6989586621681161174 :: a6989586621681159614) :: (~>) (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614) Source #
Instances
SingI d => SingI (IntersperseSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (IntersperseSym1 d) Source # | |
SuppressUnusedWarnings (IntersperseSym1 a6989586621681161174 :: TyFun (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IntersperseSym1 a6989586621681161174 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161175 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym1 a6989586621681161174 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161175 :: NonEmpty a) = Intersperse a6989586621681161174 a6989586621681161175 |
type IntersperseSym2 (a6989586621681161174 :: a6989586621681159614) (a6989586621681161175 :: NonEmpty a6989586621681159614) = Intersperse a6989586621681161174 a6989586621681161175 Source #
data ScanlSym0 :: forall b6989586621681159619 a6989586621681159620. (~>) ((~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) ((~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619))) Source #
Instances
SingI (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) Source # | |
SuppressUnusedWarnings (ScanlSym0 :: TyFun (b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) (b6989586621681159619 ~> ([a6989586621681159620] ~> NonEmpty b6989586621681159619)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanlSym0 :: TyFun (b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) (b6989586621681159619 ~> ([a6989586621681159620] ~> NonEmpty b6989586621681159619)) -> Type) (a6989586621681161209 :: b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym0 :: TyFun (b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) (b6989586621681159619 ~> ([a6989586621681159620] ~> NonEmpty b6989586621681159619)) -> Type) (a6989586621681161209 :: b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) = ScanlSym1 a6989586621681161209 |
data ScanlSym1 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) :: (~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619)) Source #
Instances
SingI d => SingI (ScanlSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (ScanlSym1 a6989586621681161209 :: TyFun b6989586621681159619 ([a6989586621681159620] ~> NonEmpty b6989586621681159619) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanlSym1 a6989586621681161209 :: TyFun b6989586621681159619 ([a6989586621681159620] ~> NonEmpty b6989586621681159619) -> Type) (a6989586621681161210 :: b6989586621681159619) Source # | |
data ScanlSym2 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) :: (~>) [a6989586621681159620] (NonEmpty b6989586621681159619) Source #
Instances
(SingI d1, SingI d2) => SingI (ScanlSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (ScanlSym2 a6989586621681161210 a6989586621681161209 :: TyFun [a6989586621681159620] (NonEmpty b6989586621681159619) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanlSym2 a6989586621681161210 a6989586621681161209 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161211 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type ScanlSym3 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) (a6989586621681161211 :: [a6989586621681159620]) = Scanl a6989586621681161209 a6989586621681161210 a6989586621681161211 Source #
data ScanrSym0 :: forall a6989586621681159617 b6989586621681159618. (~>) ((~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) ((~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618))) Source #
Instances
SingI (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) Source # | |
SuppressUnusedWarnings (ScanrSym0 :: TyFun (a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) (b6989586621681159618 ~> ([a6989586621681159617] ~> NonEmpty b6989586621681159618)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanrSym0 :: TyFun (a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) (b6989586621681159618 ~> ([a6989586621681159617] ~> NonEmpty b6989586621681159618)) -> Type) (a6989586621681161198 :: a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym0 :: TyFun (a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) (b6989586621681159618 ~> ([a6989586621681159617] ~> NonEmpty b6989586621681159618)) -> Type) (a6989586621681161198 :: a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) = ScanrSym1 a6989586621681161198 |
data ScanrSym1 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) :: (~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618)) Source #
Instances
SingI d => SingI (ScanrSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (ScanrSym1 a6989586621681161198 :: TyFun b6989586621681159618 ([a6989586621681159617] ~> NonEmpty b6989586621681159618) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanrSym1 a6989586621681161198 :: TyFun b6989586621681159618 ([a6989586621681159617] ~> NonEmpty b6989586621681159618) -> Type) (a6989586621681161199 :: b6989586621681159618) Source # | |
data ScanrSym2 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) :: (~>) [a6989586621681159617] (NonEmpty b6989586621681159618) Source #
Instances
(SingI d1, SingI d2) => SingI (ScanrSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (ScanrSym2 a6989586621681161199 a6989586621681161198 :: TyFun [a6989586621681159617] (NonEmpty b6989586621681159618) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanrSym2 a6989586621681161199 a6989586621681161198 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161200 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type ScanrSym3 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) (a6989586621681161200 :: [a6989586621681159617]) = Scanr a6989586621681161198 a6989586621681161199 a6989586621681161200 Source #
data Scanl1Sym0 :: forall a6989586621681159616. (~>) ((~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) ((~>) (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616)) Source #
Instances
SingI (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing Scanl1Sym0 Source # | |
SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) (NonEmpty a6989586621681159616 ~> NonEmpty a6989586621681159616) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanl1Sym0 :: TyFun (a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) (NonEmpty a6989586621681159616 ~> NonEmpty a6989586621681159616) -> Type) (a6989586621681161191 :: a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanl1Sym0 :: TyFun (a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) (NonEmpty a6989586621681159616 ~> NonEmpty a6989586621681159616) -> Type) (a6989586621681161191 :: a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) = Scanl1Sym1 a6989586621681161191 |
data Scanl1Sym1 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) :: (~>) (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616) Source #
Instances
SingI d => SingI (Scanl1Sym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (Scanl1Sym1 d) Source # | |
SuppressUnusedWarnings (Scanl1Sym1 a6989586621681161191 :: TyFun (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanl1Sym1 a6989586621681161191 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161192 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanl1Sym1 a6989586621681161191 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161192 :: NonEmpty a) = Scanl1 a6989586621681161191 a6989586621681161192 |
type Scanl1Sym2 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) (a6989586621681161192 :: NonEmpty a6989586621681159616) = Scanl1 a6989586621681161191 a6989586621681161192 Source #
data Scanr1Sym0 :: forall a6989586621681159615. (~>) ((~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) ((~>) (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615)) Source #
Instances
SingI (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing Scanr1Sym0 Source # | |
SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) (NonEmpty a6989586621681159615 ~> NonEmpty a6989586621681159615) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanr1Sym0 :: TyFun (a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) (NonEmpty a6989586621681159615 ~> NonEmpty a6989586621681159615) -> Type) (a6989586621681161184 :: a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanr1Sym0 :: TyFun (a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) (NonEmpty a6989586621681159615 ~> NonEmpty a6989586621681159615) -> Type) (a6989586621681161184 :: a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) = Scanr1Sym1 a6989586621681161184 |
data Scanr1Sym1 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) :: (~>) (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615) Source #
Instances
SingI d => SingI (Scanr1Sym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (Scanr1Sym1 d) Source # | |
SuppressUnusedWarnings (Scanr1Sym1 a6989586621681161184 :: TyFun (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanr1Sym1 a6989586621681161184 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161185 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanr1Sym1 a6989586621681161184 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161185 :: NonEmpty a) = Scanr1 a6989586621681161184 a6989586621681161185 |
type Scanr1Sym2 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) (a6989586621681161185 :: NonEmpty a6989586621681159615) = Scanr1 a6989586621681161184 a6989586621681161185 Source #
data TransposeSym0 :: forall a6989586621681159580. (~>) (NonEmpty (NonEmpty a6989586621681159580)) (NonEmpty (NonEmpty a6989586621681159580)) Source #
Instances
SingI (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing TransposeSym0 Source # | |
SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621681159580)) (NonEmpty (NonEmpty a6989586621681159580)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160879 :: NonEmpty (NonEmpty a)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160879 :: NonEmpty (NonEmpty a)) = Transpose a6989586621681160879 |
type TransposeSym1 (a6989586621681160879 :: NonEmpty (NonEmpty a6989586621681159580)) = Transpose a6989586621681160879 Source #
data SortBySym0 :: forall a6989586621681159579. (~>) ((~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) ((~>) (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579)) Source #
Instances
SingI (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing SortBySym0 Source # | |
SuppressUnusedWarnings (SortBySym0 :: TyFun (a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) (NonEmpty a6989586621681159579 ~> NonEmpty a6989586621681159579) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortBySym0 :: TyFun (a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) (NonEmpty a6989586621681159579 ~> NonEmpty a6989586621681159579) -> Type) (a6989586621681160869 :: a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortBySym0 :: TyFun (a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) (NonEmpty a6989586621681159579 ~> NonEmpty a6989586621681159579) -> Type) (a6989586621681160869 :: a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) = SortBySym1 a6989586621681160869 |
data SortBySym1 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) :: (~>) (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579) Source #
Instances
SingI d => SingI (SortBySym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (SortBySym1 d) Source # | |
SuppressUnusedWarnings (SortBySym1 a6989586621681160869 :: TyFun (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortBySym1 a6989586621681160869 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160870 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortBySym1 a6989586621681160869 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160870 :: NonEmpty a) = SortBy a6989586621681160869 a6989586621681160870 |
type SortBySym2 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) (a6989586621681160870 :: NonEmpty a6989586621681159579) = SortBy a6989586621681160869 a6989586621681160870 Source #
data SortWithSym0 :: forall a6989586621681159578 o6989586621681159577. (~>) ((~>) a6989586621681159578 o6989586621681159577) ((~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578)) Source #
Instances
SOrd o => SingI (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing SortWithSym0 Source # | |
SuppressUnusedWarnings (SortWithSym0 :: TyFun (a6989586621681159578 ~> o6989586621681159577) (NonEmpty a6989586621681159578 ~> NonEmpty a6989586621681159578) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortWithSym0 :: TyFun (a6989586621681159578 ~> o6989586621681159577) (NonEmpty a6989586621681159578 ~> NonEmpty a6989586621681159578) -> Type) (a6989586621681160863 :: a6989586621681159578 ~> o6989586621681159577) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortWithSym0 :: TyFun (a6989586621681159578 ~> o6989586621681159577) (NonEmpty a6989586621681159578 ~> NonEmpty a6989586621681159578) -> Type) (a6989586621681160863 :: a6989586621681159578 ~> o6989586621681159577) = SortWithSym1 a6989586621681160863 |
data SortWithSym1 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) :: (~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578) Source #
Instances
(SOrd o, SingI d) => SingI (SortWithSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (SortWithSym1 d) Source # | |
SuppressUnusedWarnings (SortWithSym1 a6989586621681160863 :: TyFun (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortWithSym1 a6989586621681160863 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160864 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortWithSym1 a6989586621681160863 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160864 :: NonEmpty a) = SortWith a6989586621681160863 a6989586621681160864 |
type SortWithSym2 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) (a6989586621681160864 :: NonEmpty a6989586621681159578) = SortWith a6989586621681160863 a6989586621681160864 Source #
data LengthSym0 :: forall a6989586621681159643. (~>) (NonEmpty a6989586621681159643) Nat Source #
Instances
SingI (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing LengthSym0 Source # | |
SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621681159643) Nat -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) (a6989586621681161362 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) (a6989586621681161362 :: NonEmpty a) = Length a6989586621681161362 |
type LengthSym1 (a6989586621681161362 :: NonEmpty a6989586621681159643) = Length a6989586621681161362 Source #
data HeadSym0 :: forall a6989586621681159636. (~>) (NonEmpty a6989586621681159636) a6989586621681159636 Source #
Instances
SingI (HeadSym0 :: TyFun (NonEmpty a) a -> Type) Source # | |
SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621681159636) a6989586621681159636 -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681161294 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type HeadSym1 (a6989586621681161294 :: NonEmpty a6989586621681159636) = Head a6989586621681161294 Source #
data TailSym0 :: forall a6989586621681159635. (~>) (NonEmpty a6989586621681159635) [a6989586621681159635] Source #
Instances
SingI (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) Source # | |
SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621681159635) [a6989586621681159635] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161291 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type TailSym1 (a6989586621681161291 :: NonEmpty a6989586621681159635) = Tail a6989586621681161291 Source #
data LastSym0 :: forall a6989586621681159634. (~>) (NonEmpty a6989586621681159634) a6989586621681159634 Source #
Instances
SingI (LastSym0 :: TyFun (NonEmpty a) a -> Type) Source # | |
SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621681159634) a6989586621681159634 -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (LastSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681161287 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type LastSym1 (a6989586621681161287 :: NonEmpty a6989586621681159634) = Last a6989586621681161287 Source #
data InitSym0 :: forall a6989586621681159633. (~>) (NonEmpty a6989586621681159633) [a6989586621681159633] Source #
Instances
SingI (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) Source # | |
SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621681159633) [a6989586621681159633] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161283 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type InitSym1 (a6989586621681161283 :: NonEmpty a6989586621681159633) = Init a6989586621681161283 Source #
data (<|@#@$) :: forall a6989586621681159632. (~>) a6989586621681159632 ((~>) (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632)) Source #
Instances
SingI ((<|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings ((<|@#@$) :: TyFun a6989586621681159632 (NonEmpty a6989586621681159632 ~> NonEmpty a6989586621681159632) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<|@#@$) :: TyFun a6989586621681159632 (NonEmpty a6989586621681159632 ~> NonEmpty a6989586621681159632) -> Type) (a6989586621681161276 :: a6989586621681159632) Source # | |
data (<|@#@$$) (a6989586621681161276 :: a6989586621681159632) :: (~>) (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632) Source #
Instances
SingI d => SingI ((<|@#@$$) d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings ((<|@#@$$) a6989586621681161276 :: TyFun (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<|@#@$$) a6989586621681161276 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161277 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type (<|@#@$$$) (a6989586621681161276 :: a6989586621681159632) (a6989586621681161277 :: NonEmpty a6989586621681159632) = (<|) a6989586621681161276 a6989586621681161277 Source #
data ConsSym0 :: forall a6989586621681159631. (~>) a6989586621681159631 ((~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631)) Source #
Instances
SingI (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621681159631 (NonEmpty a6989586621681159631 ~> NonEmpty a6989586621681159631) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConsSym0 :: TyFun a6989586621681159631 (NonEmpty a6989586621681159631 ~> NonEmpty a6989586621681159631) -> Type) (a6989586621681161270 :: a6989586621681159631) Source # | |
data ConsSym1 (a6989586621681161270 :: a6989586621681159631) :: (~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631) Source #
Instances
SingI d => SingI (ConsSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (ConsSym1 a6989586621681161270 :: TyFun (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConsSym1 a6989586621681161270 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161271 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type ConsSym2 (a6989586621681161270 :: a6989586621681159631) (a6989586621681161271 :: NonEmpty a6989586621681159631) = Cons a6989586621681161270 a6989586621681161271 Source #
data UnconsSym0 :: forall a6989586621681159639. (~>) (NonEmpty a6989586621681159639) (a6989586621681159639, Maybe (NonEmpty a6989586621681159639)) Source #
Instances
SingI (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing UnconsSym0 Source # | |
SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621681159639) (a6989586621681159639, Maybe (NonEmpty a6989586621681159639)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681161326 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681161326 :: NonEmpty a) = Uncons a6989586621681161326 |
type UnconsSym1 (a6989586621681161326 :: NonEmpty a6989586621681159639) = Uncons a6989586621681161326 Source #
data UnfoldrSym0 :: forall a6989586621681159637 b6989586621681159638. (~>) ((~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) ((~>) a6989586621681159637 (NonEmpty b6989586621681159638)) Source #
Instances
SingI (UnfoldrSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing UnfoldrSym0 Source # | |
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681159637 ~> NonEmpty b6989586621681159638) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldrSym0 :: TyFun (a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681159637 ~> NonEmpty b6989586621681159638) -> Type) (a6989586621681161297 :: a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym0 :: TyFun (a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681159637 ~> NonEmpty b6989586621681159638) -> Type) (a6989586621681161297 :: a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) = UnfoldrSym1 a6989586621681161297 |
data UnfoldrSym1 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) :: (~>) a6989586621681159637 (NonEmpty b6989586621681159638) Source #
Instances
SingI d => SingI (UnfoldrSym1 d :: TyFun a (NonEmpty b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (UnfoldrSym1 d) Source # | |
SuppressUnusedWarnings (UnfoldrSym1 a6989586621681161297 :: TyFun a6989586621681159637 (NonEmpty b6989586621681159638) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldrSym1 a6989586621681161297 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161298 :: a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym1 a6989586621681161297 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161298 :: a) = Unfoldr a6989586621681161297 a6989586621681161298 |
type UnfoldrSym2 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681161298 :: a6989586621681159637) = Unfoldr a6989586621681161297 a6989586621681161298 Source #
data SortSym0 :: forall a6989586621681159630. (~>) (NonEmpty a6989586621681159630) (NonEmpty a6989586621681159630) Source #
Instances
SOrd a => SingI (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621681159630) (NonEmpty a6989586621681159630) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161263 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type SortSym1 (a6989586621681161263 :: NonEmpty a6989586621681159630) = Sort a6989586621681161263 Source #
data ReverseSym0 :: forall a6989586621681159613. (~>) (NonEmpty a6989586621681159613) (NonEmpty a6989586621681159613) Source #
Instances
SingI (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ReverseSym0 Source # | |
SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621681159613) (NonEmpty a6989586621681159613) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161171 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161171 :: NonEmpty a) = Reverse a6989586621681161171 |
type ReverseSym1 (a6989586621681161171 :: NonEmpty a6989586621681159613) = Reverse a6989586621681161171 Source #
data InitsSym0 :: forall a6989586621681159623. (~>) [a6989586621681159623] (NonEmpty [a6989586621681159623]) Source #
Instances
SingI (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) Source # | |
SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621681159623] (NonEmpty [a6989586621681159623]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681161235 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type InitsSym1 (a6989586621681161235 :: [a6989586621681159623]) = Inits a6989586621681161235 Source #
data TailsSym0 :: forall a6989586621681159622. (~>) [a6989586621681159622] (NonEmpty [a6989586621681159622]) Source #
Instances
SingI (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) Source # | |
SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621681159622] (NonEmpty [a6989586621681159622]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681161230 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type TailsSym1 (a6989586621681161230 :: [a6989586621681159622]) = Tails a6989586621681161230 Source #
data UnfoldSym0 :: forall a6989586621681159641 b6989586621681159642. (~>) ((~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) ((~>) a6989586621681159641 (NonEmpty b6989586621681159642)) Source #
Instances
SingI (UnfoldSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing UnfoldSym0 Source # | |
SuppressUnusedWarnings (UnfoldSym0 :: TyFun (a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) (a6989586621681159641 ~> NonEmpty b6989586621681159642) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldSym0 :: TyFun (a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) (a6989586621681159641 ~> NonEmpty b6989586621681159642) -> Type) (a6989586621681161334 :: a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym0 :: TyFun (a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) (a6989586621681159641 ~> NonEmpty b6989586621681159642) -> Type) (a6989586621681161334 :: a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) = UnfoldSym1 a6989586621681161334 |
data UnfoldSym1 (a6989586621681161334 :: (~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) :: (~>) a6989586621681159641 (NonEmpty b6989586621681159642) Source #
Instances
SingI d => SingI (UnfoldSym1 d :: TyFun a (NonEmpty b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (UnfoldSym1 d) Source # | |
SuppressUnusedWarnings (UnfoldSym1 a6989586621681161334 :: TyFun a6989586621681159641 (NonEmpty b6989586621681159642) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldSym1 a6989586621681161334 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161335 :: a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym1 a6989586621681161334 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161335 :: a) = Unfold a6989586621681161334 a6989586621681161335 |
data InsertSym0 :: forall a6989586621681159621. (~>) a6989586621681159621 ((~>) [a6989586621681159621] (NonEmpty a6989586621681159621)) Source #
Instances
SOrd a => SingI (InsertSym0 :: TyFun a ([a] ~> NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing InsertSym0 Source # | |
SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621681159621 ([a6989586621681159621] ~> NonEmpty a6989586621681159621) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (InsertSym0 :: TyFun a6989586621681159621 ([a6989586621681159621] ~> NonEmpty a6989586621681159621) -> Type) (a6989586621681161220 :: a6989586621681159621) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InsertSym0 :: TyFun a6989586621681159621 ([a6989586621681159621] ~> NonEmpty a6989586621681159621) -> Type) (a6989586621681161220 :: a6989586621681159621) = InsertSym1 a6989586621681161220 |
data InsertSym1 (a6989586621681161220 :: a6989586621681159621) :: (~>) [a6989586621681159621] (NonEmpty a6989586621681159621) Source #
Instances
(SOrd a, SingI d) => SingI (InsertSym1 d :: TyFun [a] (NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (InsertSym1 d) Source # | |
SuppressUnusedWarnings (InsertSym1 a6989586621681161220 :: TyFun [a6989586621681159621] (NonEmpty a6989586621681159621) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (InsertSym1 a6989586621681161220 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161221 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InsertSym1 a6989586621681161220 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161221 :: [a]) = Insert a6989586621681161220 a6989586621681161221 |
type InsertSym2 (a6989586621681161220 :: a6989586621681159621) (a6989586621681161221 :: [a6989586621681159621]) = Insert a6989586621681161220 a6989586621681161221 Source #
data TakeSym0 :: forall a6989586621681159612. (~>) Nat ((~>) (NonEmpty a6989586621681159612) [a6989586621681159612]) Source #
Instances
SingI (TakeSym0 :: TyFun Nat (NonEmpty a ~> [a]) -> Type) Source # | |
SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681159612 ~> [a6989586621681159612]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681159612 ~> [a6989586621681159612]) -> Type) (a6989586621681161161 :: Nat) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data TakeSym1 (a6989586621681161161 :: Nat) :: forall a6989586621681159612. (~>) (NonEmpty a6989586621681159612) [a6989586621681159612] Source #
Instances
SingI d => SingI (TakeSym1 d a :: TyFun (NonEmpty a) [a] -> Type) Source # | |
SuppressUnusedWarnings (TakeSym1 a6989586621681161161 a6989586621681159612 :: TyFun (NonEmpty a6989586621681159612) [a6989586621681159612] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeSym1 a6989586621681161161 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161162 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type TakeSym2 (a6989586621681161161 :: Nat) (a6989586621681161162 :: NonEmpty a6989586621681159612) = Take a6989586621681161161 a6989586621681161162 Source #
data DropSym0 :: forall a6989586621681159611. (~>) Nat ((~>) (NonEmpty a6989586621681159611) [a6989586621681159611]) Source #
Instances
SingI (DropSym0 :: TyFun Nat (NonEmpty a ~> [a]) -> Type) Source # | |
SuppressUnusedWarnings (DropSym0 :: TyFun Nat (NonEmpty a6989586621681159611 ~> [a6989586621681159611]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropSym0 :: TyFun Nat (NonEmpty a6989586621681159611 ~> [a6989586621681159611]) -> Type) (a6989586621681161153 :: Nat) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data DropSym1 (a6989586621681161153 :: Nat) :: forall a6989586621681159611. (~>) (NonEmpty a6989586621681159611) [a6989586621681159611] Source #
Instances
SingI d => SingI (DropSym1 d a :: TyFun (NonEmpty a) [a] -> Type) Source # | |
SuppressUnusedWarnings (DropSym1 a6989586621681161153 a6989586621681159611 :: TyFun (NonEmpty a6989586621681159611) [a6989586621681159611] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropSym1 a6989586621681161153 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161154 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type DropSym2 (a6989586621681161153 :: Nat) (a6989586621681161154 :: NonEmpty a6989586621681159611) = Drop a6989586621681161153 a6989586621681161154 Source #
data SplitAtSym0 :: forall a6989586621681159610. (~>) Nat ((~>) (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610])) Source #
Instances
SingI (SplitAtSym0 :: TyFun Nat (NonEmpty a ~> ([a], [a])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing SplitAtSym0 Source # | |
SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681159610 ~> ([a6989586621681159610], [a6989586621681159610])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681159610 ~> ([a6989586621681159610], [a6989586621681159610])) -> Type) (a6989586621681161145 :: Nat) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681159610 ~> ([a6989586621681159610], [a6989586621681159610])) -> Type) (a6989586621681161145 :: Nat) = SplitAtSym1 a6989586621681161145 a6989586621681159610 :: TyFun (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610]) -> Type |
data SplitAtSym1 (a6989586621681161145 :: Nat) :: forall a6989586621681159610. (~>) (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610]) Source #
Instances
SingI d => SingI (SplitAtSym1 d a :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (SplitAtSym1 d a) Source # | |
SuppressUnusedWarnings (SplitAtSym1 a6989586621681161145 a6989586621681159610 :: TyFun (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SplitAtSym1 a6989586621681161145 a :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161146 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SplitAtSym1 a6989586621681161145 a :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161146 :: NonEmpty a) = SplitAt a6989586621681161145 a6989586621681161146 |
type SplitAtSym2 (a6989586621681161145 :: Nat) (a6989586621681161146 :: NonEmpty a6989586621681159610) = SplitAt a6989586621681161145 a6989586621681161146 Source #
data TakeWhileSym0 :: forall a6989586621681159609. (~>) ((~>) a6989586621681159609 Bool) ((~>) (NonEmpty a6989586621681159609) [a6989586621681159609]) Source #
Instances
SingI (TakeWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing TakeWhileSym0 Source # | |
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621681159609 ~> Bool) (NonEmpty a6989586621681159609 ~> [a6989586621681159609]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeWhileSym0 :: TyFun (a6989586621681159609 ~> Bool) (NonEmpty a6989586621681159609 ~> [a6989586621681159609]) -> Type) (a6989586621681161137 :: a6989586621681159609 ~> Bool) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeWhileSym0 :: TyFun (a6989586621681159609 ~> Bool) (NonEmpty a6989586621681159609 ~> [a6989586621681159609]) -> Type) (a6989586621681161137 :: a6989586621681159609 ~> Bool) = TakeWhileSym1 a6989586621681161137 |
data TakeWhileSym1 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) :: (~>) (NonEmpty a6989586621681159609) [a6989586621681159609] Source #
Instances
SingI d => SingI (TakeWhileSym1 d :: TyFun (NonEmpty a) [a] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (TakeWhileSym1 d) Source # | |
SuppressUnusedWarnings (TakeWhileSym1 a6989586621681161137 :: TyFun (NonEmpty a6989586621681159609) [a6989586621681159609] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeWhileSym1 a6989586621681161137 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161138 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeWhileSym1 a6989586621681161137 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161138 :: NonEmpty a) = TakeWhile a6989586621681161137 a6989586621681161138 |
type TakeWhileSym2 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) (a6989586621681161138 :: NonEmpty a6989586621681159609) = TakeWhile a6989586621681161137 a6989586621681161138 Source #
data DropWhileSym0 :: forall a6989586621681159608. (~>) ((~>) a6989586621681159608 Bool) ((~>) (NonEmpty a6989586621681159608) [a6989586621681159608]) Source #
Instances
SingI (DropWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing DropWhileSym0 Source # | |
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621681159608 ~> Bool) (NonEmpty a6989586621681159608 ~> [a6989586621681159608]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropWhileSym0 :: TyFun (a6989586621681159608 ~> Bool) (NonEmpty a6989586621681159608 ~> [a6989586621681159608]) -> Type) (a6989586621681161129 :: a6989586621681159608 ~> Bool) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropWhileSym0 :: TyFun (a6989586621681159608 ~> Bool) (NonEmpty a6989586621681159608 ~> [a6989586621681159608]) -> Type) (a6989586621681161129 :: a6989586621681159608 ~> Bool) = DropWhileSym1 a6989586621681161129 |
data DropWhileSym1 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) :: (~>) (NonEmpty a6989586621681159608) [a6989586621681159608] Source #
Instances
SingI d => SingI (DropWhileSym1 d :: TyFun (NonEmpty a) [a] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (DropWhileSym1 d) Source # | |
SuppressUnusedWarnings (DropWhileSym1 a6989586621681161129 :: TyFun (NonEmpty a6989586621681159608) [a6989586621681159608] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropWhileSym1 a6989586621681161129 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161130 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropWhileSym1 a6989586621681161129 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161130 :: NonEmpty a) = DropWhile a6989586621681161129 a6989586621681161130 |
type DropWhileSym2 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) (a6989586621681161130 :: NonEmpty a6989586621681159608) = DropWhile a6989586621681161129 a6989586621681161130 Source #
data SpanSym0 :: forall a6989586621681159607. (~>) ((~>) a6989586621681159607 Bool) ((~>) (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607])) Source #
Instances
SingI (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) Source # | |
SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621681159607 ~> Bool) (NonEmpty a6989586621681159607 ~> ([a6989586621681159607], [a6989586621681159607])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SpanSym0 :: TyFun (a6989586621681159607 ~> Bool) (NonEmpty a6989586621681159607 ~> ([a6989586621681159607], [a6989586621681159607])) -> Type) (a6989586621681161121 :: a6989586621681159607 ~> Bool) Source # | |
data SpanSym1 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) :: (~>) (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607]) Source #
Instances
SingI d => SingI (SpanSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source # | |
SuppressUnusedWarnings (SpanSym1 a6989586621681161121 :: TyFun (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SpanSym1 a6989586621681161121 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161122 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type SpanSym2 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) (a6989586621681161122 :: NonEmpty a6989586621681159607) = Span a6989586621681161121 a6989586621681161122 Source #
data BreakSym0 :: forall a6989586621681159606. (~>) ((~>) a6989586621681159606 Bool) ((~>) (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606])) Source #
Instances
SingI (BreakSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) Source # | |
SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621681159606 ~> Bool) (NonEmpty a6989586621681159606 ~> ([a6989586621681159606], [a6989586621681159606])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (BreakSym0 :: TyFun (a6989586621681159606 ~> Bool) (NonEmpty a6989586621681159606 ~> ([a6989586621681159606], [a6989586621681159606])) -> Type) (a6989586621681161113 :: a6989586621681159606 ~> Bool) Source # | |
data BreakSym1 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) :: (~>) (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606]) Source #
Instances
SingI d => SingI (BreakSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source # | |
SuppressUnusedWarnings (BreakSym1 a6989586621681161113 :: TyFun (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (BreakSym1 a6989586621681161113 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161114 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type BreakSym2 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) (a6989586621681161114 :: NonEmpty a6989586621681159606) = Break a6989586621681161113 a6989586621681161114 Source #
data FilterSym0 :: forall a6989586621681159605. (~>) ((~>) a6989586621681159605 Bool) ((~>) (NonEmpty a6989586621681159605) [a6989586621681159605]) Source #
Instances
SingI (FilterSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing FilterSym0 Source # | |
SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621681159605 ~> Bool) (NonEmpty a6989586621681159605 ~> [a6989586621681159605]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (FilterSym0 :: TyFun (a6989586621681159605 ~> Bool) (NonEmpty a6989586621681159605 ~> [a6989586621681159605]) -> Type) (a6989586621681161105 :: a6989586621681159605 ~> Bool) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FilterSym0 :: TyFun (a6989586621681159605 ~> Bool) (NonEmpty a6989586621681159605 ~> [a6989586621681159605]) -> Type) (a6989586621681161105 :: a6989586621681159605 ~> Bool) = FilterSym1 a6989586621681161105 |
data FilterSym1 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) :: (~>) (NonEmpty a6989586621681159605) [a6989586621681159605] Source #
Instances
SingI d => SingI (FilterSym1 d :: TyFun (NonEmpty a) [a] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (FilterSym1 d) Source # | |
SuppressUnusedWarnings (FilterSym1 a6989586621681161105 :: TyFun (NonEmpty a6989586621681159605) [a6989586621681159605] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (FilterSym1 a6989586621681161105 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161106 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FilterSym1 a6989586621681161105 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161106 :: NonEmpty a) = Filter a6989586621681161105 a6989586621681161106 |
type FilterSym2 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) (a6989586621681161106 :: NonEmpty a6989586621681159605) = Filter a6989586621681161105 a6989586621681161106 Source #
data PartitionSym0 :: forall a6989586621681159604. (~>) ((~>) a6989586621681159604 Bool) ((~>) (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604])) Source #
Instances
SingI (PartitionSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing PartitionSym0 Source # | |
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621681159604 ~> Bool) (NonEmpty a6989586621681159604 ~> ([a6989586621681159604], [a6989586621681159604])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (PartitionSym0 :: TyFun (a6989586621681159604 ~> Bool) (NonEmpty a6989586621681159604 ~> ([a6989586621681159604], [a6989586621681159604])) -> Type) (a6989586621681161097 :: a6989586621681159604 ~> Bool) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (PartitionSym0 :: TyFun (a6989586621681159604 ~> Bool) (NonEmpty a6989586621681159604 ~> ([a6989586621681159604], [a6989586621681159604])) -> Type) (a6989586621681161097 :: a6989586621681159604 ~> Bool) = PartitionSym1 a6989586621681161097 |
data PartitionSym1 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) :: (~>) (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604]) Source #
Instances
SingI d => SingI (PartitionSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (PartitionSym1 d) Source # | |
SuppressUnusedWarnings (PartitionSym1 a6989586621681161097 :: TyFun (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (PartitionSym1 a6989586621681161097 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161098 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (PartitionSym1 a6989586621681161097 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161098 :: NonEmpty a) = Partition a6989586621681161097 a6989586621681161098 |
type PartitionSym2 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) (a6989586621681161098 :: NonEmpty a6989586621681159604) = Partition a6989586621681161097 a6989586621681161098 Source #
data GroupSym0 :: forall a6989586621681159603. (~>) [a6989586621681159603] [NonEmpty a6989586621681159603] Source #
Instances
SEq a => SingI (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) Source # | |
SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621681159603] [NonEmpty a6989586621681159603] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161094 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type GroupSym1 (a6989586621681161094 :: [a6989586621681159603]) = Group a6989586621681161094 Source #
data GroupBySym0 :: forall a6989586621681159602. (~>) ((~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) ((~>) [a6989586621681159602] [NonEmpty a6989586621681159602]) Source #
Instances
SingI (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing GroupBySym0 Source # | |
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) ([a6989586621681159602] ~> [NonEmpty a6989586621681159602]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBySym0 :: TyFun (a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) ([a6989586621681159602] ~> [NonEmpty a6989586621681159602]) -> Type) (a6989586621681161044 :: a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBySym0 :: TyFun (a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) ([a6989586621681159602] ~> [NonEmpty a6989586621681159602]) -> Type) (a6989586621681161044 :: a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) = GroupBySym1 a6989586621681161044 |
data GroupBySym1 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) :: (~>) [a6989586621681159602] [NonEmpty a6989586621681159602] Source #
Instances
SingI d => SingI (GroupBySym1 d :: TyFun [a] [NonEmpty a] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupBySym1 d) Source # | |
SuppressUnusedWarnings (GroupBySym1 a6989586621681161044 :: TyFun [a6989586621681159602] [NonEmpty a6989586621681159602] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBySym1 a6989586621681161044 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161045 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBySym1 a6989586621681161044 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161045 :: [a]) = GroupBy a6989586621681161044 a6989586621681161045 |
type GroupBySym2 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) (a6989586621681161045 :: [a6989586621681159602]) = GroupBy a6989586621681161044 a6989586621681161045 Source #
data GroupWithSym0 :: forall a6989586621681159601 b6989586621681159600. (~>) ((~>) a6989586621681159601 b6989586621681159600) ((~>) [a6989586621681159601] [NonEmpty a6989586621681159601]) Source #
Instances
SEq b => SingI (GroupWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing GroupWithSym0 Source # | |
SuppressUnusedWarnings (GroupWithSym0 :: TyFun (a6989586621681159601 ~> b6989586621681159600) ([a6989586621681159601] ~> [NonEmpty a6989586621681159601]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWithSym0 :: TyFun (a6989586621681159601 ~> b6989586621681159600) ([a6989586621681159601] ~> [NonEmpty a6989586621681159601]) -> Type) (a6989586621681161036 :: a6989586621681159601 ~> b6989586621681159600) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWithSym0 :: TyFun (a6989586621681159601 ~> b6989586621681159600) ([a6989586621681159601] ~> [NonEmpty a6989586621681159601]) -> Type) (a6989586621681161036 :: a6989586621681159601 ~> b6989586621681159600) = GroupWithSym1 a6989586621681161036 |
data GroupWithSym1 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) :: (~>) [a6989586621681159601] [NonEmpty a6989586621681159601] Source #
Instances
(SEq b, SingI d) => SingI (GroupWithSym1 d :: TyFun [a] [NonEmpty a] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupWithSym1 d) Source # | |
SuppressUnusedWarnings (GroupWithSym1 a6989586621681161036 :: TyFun [a6989586621681159601] [NonEmpty a6989586621681159601] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWithSym1 a6989586621681161036 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161037 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWithSym1 a6989586621681161036 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161037 :: [a]) = GroupWith a6989586621681161036 a6989586621681161037 |
type GroupWithSym2 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) (a6989586621681161037 :: [a6989586621681159601]) = GroupWith a6989586621681161036 a6989586621681161037 Source #
data GroupAllWithSym0 :: forall a6989586621681159599 b6989586621681159598. (~>) ((~>) a6989586621681159599 b6989586621681159598) ((~>) [a6989586621681159599] [NonEmpty a6989586621681159599]) Source #
Instances
SOrd b => SingI (GroupAllWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods | |
SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (a6989586621681159599 ~> b6989586621681159598) ([a6989586621681159599] ~> [NonEmpty a6989586621681159599]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWithSym0 :: TyFun (a6989586621681159599 ~> b6989586621681159598) ([a6989586621681159599] ~> [NonEmpty a6989586621681159599]) -> Type) (a6989586621681161028 :: a6989586621681159599 ~> b6989586621681159598) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWithSym0 :: TyFun (a6989586621681159599 ~> b6989586621681159598) ([a6989586621681159599] ~> [NonEmpty a6989586621681159599]) -> Type) (a6989586621681161028 :: a6989586621681159599 ~> b6989586621681159598) = GroupAllWithSym1 a6989586621681161028 |
data GroupAllWithSym1 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) :: (~>) [a6989586621681159599] [NonEmpty a6989586621681159599] Source #
Instances
(SOrd b, SingI d) => SingI (GroupAllWithSym1 d :: TyFun [a] [NonEmpty a] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupAllWithSym1 d) Source # | |
SuppressUnusedWarnings (GroupAllWithSym1 a6989586621681161028 :: TyFun [a6989586621681159599] [NonEmpty a6989586621681159599] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWithSym1 a6989586621681161028 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161029 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWithSym1 a6989586621681161028 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161029 :: [a]) = GroupAllWith a6989586621681161028 a6989586621681161029 |
type GroupAllWithSym2 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) (a6989586621681161029 :: [a6989586621681159599]) = GroupAllWith a6989586621681161028 a6989586621681161029 Source #
data Group1Sym0 :: forall a6989586621681159597. (~>) (NonEmpty a6989586621681159597) (NonEmpty (NonEmpty a6989586621681159597)) Source #
Instances
SEq a => SingI (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing Group1Sym0 Source # | |
SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621681159597) (NonEmpty (NonEmpty a6989586621681159597)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681161025 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681161025 :: NonEmpty a) = Group1 a6989586621681161025 |
type Group1Sym1 (a6989586621681161025 :: NonEmpty a6989586621681159597) = Group1 a6989586621681161025 Source #
data GroupBy1Sym0 :: forall a6989586621681159596. (~>) ((~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) ((~>) (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596))) Source #
Instances
SingI (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing GroupBy1Sym0 Source # | |
SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) (NonEmpty a6989586621681159596 ~> NonEmpty (NonEmpty a6989586621681159596)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBy1Sym0 :: TyFun (a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) (NonEmpty a6989586621681159596 ~> NonEmpty (NonEmpty a6989586621681159596)) -> Type) (a6989586621681160992 :: a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBy1Sym0 :: TyFun (a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) (NonEmpty a6989586621681159596 ~> NonEmpty (NonEmpty a6989586621681159596)) -> Type) (a6989586621681160992 :: a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) = GroupBy1Sym1 a6989586621681160992 |
data GroupBy1Sym1 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) :: (~>) (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596)) Source #
Instances
SingI d => SingI (GroupBy1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupBy1Sym1 d) Source # | |
SuppressUnusedWarnings (GroupBy1Sym1 a6989586621681160992 :: TyFun (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBy1Sym1 a6989586621681160992 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160993 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBy1Sym1 a6989586621681160992 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160993 :: NonEmpty a) = GroupBy1 a6989586621681160992 a6989586621681160993 |
type GroupBy1Sym2 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) (a6989586621681160993 :: NonEmpty a6989586621681159596) = GroupBy1 a6989586621681160992 a6989586621681160993 Source #
data GroupWith1Sym0 :: forall a6989586621681159595 b6989586621681159594. (~>) ((~>) a6989586621681159595 b6989586621681159594) ((~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595))) Source #
Instances
SEq b => SingI (GroupWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods | |
SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (a6989586621681159595 ~> b6989586621681159594) (NonEmpty a6989586621681159595 ~> NonEmpty (NonEmpty a6989586621681159595)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWith1Sym0 :: TyFun (a6989586621681159595 ~> b6989586621681159594) (NonEmpty a6989586621681159595 ~> NonEmpty (NonEmpty a6989586621681159595)) -> Type) (a6989586621681160984 :: a6989586621681159595 ~> b6989586621681159594) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWith1Sym0 :: TyFun (a6989586621681159595 ~> b6989586621681159594) (NonEmpty a6989586621681159595 ~> NonEmpty (NonEmpty a6989586621681159595)) -> Type) (a6989586621681160984 :: a6989586621681159595 ~> b6989586621681159594) = GroupWith1Sym1 a6989586621681160984 |
data GroupWith1Sym1 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) :: (~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595)) Source #
Instances
(SEq b, SingI d) => SingI (GroupWith1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupWith1Sym1 d) Source # | |
SuppressUnusedWarnings (GroupWith1Sym1 a6989586621681160984 :: TyFun (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWith1Sym1 a6989586621681160984 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160985 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWith1Sym1 a6989586621681160984 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160985 :: NonEmpty a) = GroupWith1 a6989586621681160984 a6989586621681160985 |
type GroupWith1Sym2 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) (a6989586621681160985 :: NonEmpty a6989586621681159595) = GroupWith1 a6989586621681160984 a6989586621681160985 Source #
data GroupAllWith1Sym0 :: forall a6989586621681159593 b6989586621681159592. (~>) ((~>) a6989586621681159593 b6989586621681159592) ((~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593))) Source #
Instances
SOrd b => SingI (GroupAllWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods | |
SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (a6989586621681159593 ~> b6989586621681159592) (NonEmpty a6989586621681159593 ~> NonEmpty (NonEmpty a6989586621681159593)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWith1Sym0 :: TyFun (a6989586621681159593 ~> b6989586621681159592) (NonEmpty a6989586621681159593 ~> NonEmpty (NonEmpty a6989586621681159593)) -> Type) (a6989586621681160976 :: a6989586621681159593 ~> b6989586621681159592) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWith1Sym0 :: TyFun (a6989586621681159593 ~> b6989586621681159592) (NonEmpty a6989586621681159593 ~> NonEmpty (NonEmpty a6989586621681159593)) -> Type) (a6989586621681160976 :: a6989586621681159593 ~> b6989586621681159592) = GroupAllWith1Sym1 a6989586621681160976 |
data GroupAllWith1Sym1 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) :: (~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593)) Source #
Instances
(SOrd b, SingI d) => SingI (GroupAllWith1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupAllWith1Sym1 d) Source # | |
SuppressUnusedWarnings (GroupAllWith1Sym1 a6989586621681160976 :: TyFun (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWith1Sym1 a6989586621681160976 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160977 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWith1Sym1 a6989586621681160976 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160977 :: NonEmpty a) = GroupAllWith1 a6989586621681160976 a6989586621681160977 |
type GroupAllWith1Sym2 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) (a6989586621681160977 :: NonEmpty a6989586621681159593) = GroupAllWith1 a6989586621681160976 a6989586621681160977 Source #
data IsPrefixOfSym0 :: forall a6989586621681159591. (~>) [a6989586621681159591] ((~>) (NonEmpty a6989586621681159591) Bool) Source #
Instances
SEq a => SingI (IsPrefixOfSym0 :: TyFun [a] (NonEmpty a ~> Bool) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods | |
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621681159591] (NonEmpty a6989586621681159591 ~> Bool) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IsPrefixOfSym0 :: TyFun [a6989586621681159591] (NonEmpty a6989586621681159591 ~> Bool) -> Type) (a6989586621681160968 :: [a6989586621681159591]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym0 :: TyFun [a6989586621681159591] (NonEmpty a6989586621681159591 ~> Bool) -> Type) (a6989586621681160968 :: [a6989586621681159591]) = IsPrefixOfSym1 a6989586621681160968 |
data IsPrefixOfSym1 (a6989586621681160968 :: [a6989586621681159591]) :: (~>) (NonEmpty a6989586621681159591) Bool Source #
Instances
(SEq a, SingI d) => SingI (IsPrefixOfSym1 d :: TyFun (NonEmpty a) Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (IsPrefixOfSym1 d) Source # | |
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621681160968 :: TyFun (NonEmpty a6989586621681159591) Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IsPrefixOfSym1 a6989586621681160968 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681160969 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym1 a6989586621681160968 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681160969 :: NonEmpty a) = IsPrefixOf a6989586621681160968 a6989586621681160969 |
type IsPrefixOfSym2 (a6989586621681160968 :: [a6989586621681159591]) (a6989586621681160969 :: NonEmpty a6989586621681159591) = IsPrefixOf a6989586621681160968 a6989586621681160969 Source #
data NubSym0 :: forall a6989586621681159582. (~>) (NonEmpty a6989586621681159582) (NonEmpty a6989586621681159582) Source #
Instances
SEq a => SingI (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621681159582) (NonEmpty a6989586621681159582) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160899 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type NubSym1 (a6989586621681160899 :: NonEmpty a6989586621681159582) = Nub a6989586621681160899 Source #
data NubBySym0 :: forall a6989586621681159581. (~>) ((~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) ((~>) (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581)) Source #
Instances
SingI (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) (NonEmpty a6989586621681159581 ~> NonEmpty a6989586621681159581) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NubBySym0 :: TyFun (a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) (NonEmpty a6989586621681159581 ~> NonEmpty a6989586621681159581) -> Type) (a6989586621681160882 :: a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data NubBySym1 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) :: (~>) (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581) Source #
Instances
SingI d => SingI (NubBySym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (NubBySym1 a6989586621681160882 :: TyFun (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NubBySym1 a6989586621681160882 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160883 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type NubBySym2 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) (a6989586621681160883 :: NonEmpty a6989586621681159581) = NubBy a6989586621681160882 a6989586621681160883 Source #
data (!!@#@$) :: forall a6989586621681159590. (~>) (NonEmpty a6989586621681159590) ((~>) Nat a6989586621681159590) Source #
Instances
SingI ((!!@#@$) :: TyFun (NonEmpty a) (Nat ~> a) -> Type) Source # | |
SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621681159590) (Nat ~> a6989586621681159590) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621681159590) (Nat ~> a6989586621681159590) -> Type) (a6989586621681160950 :: NonEmpty a6989586621681159590) Source # | |
data (!!@#@$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) :: (~>) Nat a6989586621681159590 Source #
Instances
SingI d => SingI ((!!@#@$$) d :: TyFun Nat a -> Type) Source # | |
SuppressUnusedWarnings ((!!@#@$$) a6989586621681160950 :: TyFun Nat a6989586621681159590 -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply ((!!@#@$$) a6989586621681160950 :: TyFun Nat a -> Type) (a6989586621681160951 :: Nat) Source # | |
type (!!@#@$$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) (a6989586621681160951 :: Nat) = (!!) a6989586621681160950 a6989586621681160951 Source #
data ZipSym0 :: forall a6989586621681159588 b6989586621681159589. (~>) (NonEmpty a6989586621681159588) ((~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589))) Source #
Instances
SingI (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type) Source # | |
SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621681159588) (NonEmpty b6989586621681159589 ~> NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681159588) (NonEmpty b6989586621681159589 ~> NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) (a6989586621681160942 :: NonEmpty a6989586621681159588) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681159588) (NonEmpty b6989586621681159589 ~> NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) (a6989586621681160942 :: NonEmpty a6989586621681159588) = ZipSym1 a6989586621681160942 b6989586621681159589 :: TyFun (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type |
data ZipSym1 (a6989586621681160942 :: NonEmpty a6989586621681159588) :: forall b6989586621681159589. (~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)) Source #
Instances
SingI d => SingI (ZipSym1 d b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) Source # | |
SuppressUnusedWarnings (ZipSym1 a6989586621681160942 b6989586621681159589 :: TyFun (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipSym1 a6989586621681160942 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681160943 :: NonEmpty b) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type ZipSym2 (a6989586621681160942 :: NonEmpty a6989586621681159588) (a6989586621681160943 :: NonEmpty b6989586621681159589) = Zip a6989586621681160942 a6989586621681160943 Source #
data ZipWithSym0 :: forall a6989586621681159585 b6989586621681159586 c6989586621681159587. (~>) ((~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) ((~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587))) Source #
Instances
SingI (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ZipWithSym0 Source # | |
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) (NonEmpty a6989586621681159585 ~> (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithSym0 :: TyFun (a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) (NonEmpty a6989586621681159585 ~> (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587)) -> Type) (a6989586621681160931 :: a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym0 :: TyFun (a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) (NonEmpty a6989586621681159585 ~> (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587)) -> Type) (a6989586621681160931 :: a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) = ZipWithSym1 a6989586621681160931 |
data ZipWithSym1 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) :: (~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587)) Source #
Instances
SingI d => SingI (ZipWithSym1 d :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipWithSym1 d) Source # | |
SuppressUnusedWarnings (ZipWithSym1 a6989586621681160931 :: TyFun (NonEmpty a6989586621681159585) (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithSym1 a6989586621681160931 :: TyFun (NonEmpty a6989586621681159585) (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587) -> Type) (a6989586621681160932 :: NonEmpty a6989586621681159585) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym1 a6989586621681160931 :: TyFun (NonEmpty a6989586621681159585) (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587) -> Type) (a6989586621681160932 :: NonEmpty a6989586621681159585) = ZipWithSym2 a6989586621681160931 a6989586621681160932 |
data ZipWithSym2 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) :: (~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587) Source #
Instances
(SingI d1, SingI d2) => SingI (ZipWithSym2 d1 d2 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipWithSym2 d1 d2) Source # | |
SuppressUnusedWarnings (ZipWithSym2 a6989586621681160932 a6989586621681160931 :: TyFun (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithSym2 a6989586621681160932 a6989586621681160931 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681160933 :: NonEmpty b) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym2 a6989586621681160932 a6989586621681160931 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681160933 :: NonEmpty b) = ZipWith a6989586621681160932 a6989586621681160931 a6989586621681160933 |
type ZipWithSym3 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) (a6989586621681160933 :: NonEmpty b6989586621681159586) = ZipWith a6989586621681160931 a6989586621681160932 a6989586621681160933 Source #
data UnzipSym0 :: forall a6989586621681159583 b6989586621681159584. (~>) (NonEmpty (a6989586621681159583, b6989586621681159584)) (NonEmpty a6989586621681159583, NonEmpty b6989586621681159584) Source #
Instances
SingI (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621681159583, b6989586621681159584)) (NonEmpty a6989586621681159583, NonEmpty b6989586621681159584) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) (a6989586621681160902 :: NonEmpty (a, b)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type UnzipSym1 (a6989586621681160902 :: NonEmpty (a6989586621681159583, b6989586621681159584)) = Unzip a6989586621681160902 Source #
data FromListSym0 :: forall a6989586621681159629. (~>) [a6989586621681159629] (NonEmpty a6989586621681159629) Source #
Instances
SingI (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing FromListSym0 Source # | |
SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621681159629] (NonEmpty a6989586621681159629) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161257 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161257 :: [a]) = FromList a6989586621681161257 |
type FromListSym1 (a6989586621681161257 :: [a6989586621681159629]) = FromList a6989586621681161257 Source #
data ToListSym0 :: forall a6989586621681159628. (~>) (NonEmpty a6989586621681159628) [a6989586621681159628] Source #
Instances
SingI (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ToListSym0 Source # | |
SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621681159628) [a6989586621681159628] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161253 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161253 :: NonEmpty a) = ToList a6989586621681161253 |
type ToListSym1 (a6989586621681161253 :: NonEmpty a6989586621681159628) = ToList a6989586621681161253 Source #
data NonEmpty_Sym0 :: forall a6989586621681159640. (~>) [a6989586621681159640] (Maybe (NonEmpty a6989586621681159640)) Source #
Instances
SingI (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing NonEmpty_Sym0 Source # | |
SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621681159640] (Maybe (NonEmpty a6989586621681159640)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) (a6989586621681161330 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) (a6989586621681161330 :: [a]) = NonEmpty_ a6989586621681161330 |
type NonEmpty_Sym1 (a6989586621681161330 :: [a6989586621681159640]) = NonEmpty_ a6989586621681161330 Source #
data XorSym0 :: (~>) (NonEmpty Bool) Bool Source #
Instances
SingI XorSym0 Source # | |
SuppressUnusedWarnings XorSym0 Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply XorSym0 (a6989586621681161349 :: NonEmpty Bool) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
Orphan instances
SMonadZip NonEmpty Source # | |
Methods sMzip :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source # sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source # sMunzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source # | |
PMonadZip NonEmpty Source # | |