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
Contents
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
- data family Sing :: k -> Type
- type SNonEmpty = (Sing :: NonEmpty a -> Type)
- 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 o a (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 b a (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 b a (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 b a (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 b a (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 (a6989586621679068602 :: Type). (~>) a6989586621679068602 ((~>) [a6989586621679068602] (NonEmpty (a6989586621679068602 :: Type)))
- data (:|@#@$$) (t6989586621679301645 :: (a6989586621679068602 :: Type)) :: (~>) [a6989586621679068602] (NonEmpty (a6989586621679068602 :: Type))
- type (:|@#@$$$) (t6989586621679301645 :: a6989586621679068602) (t6989586621679301646 :: [a6989586621679068602]) = (:|) t6989586621679301645 t6989586621679301646
- data MapSym0 :: forall a6989586621681099377 b6989586621681099378. (~>) ((~>) a6989586621681099377 b6989586621681099378) ((~>) (NonEmpty a6989586621681099377) (NonEmpty b6989586621681099378))
- data MapSym1 (a6989586621681100998 :: (~>) a6989586621681099377 b6989586621681099378) :: (~>) (NonEmpty a6989586621681099377) (NonEmpty b6989586621681099378)
- type MapSym2 (a6989586621681100998 :: (~>) a6989586621681099377 b6989586621681099378) (a6989586621681100999 :: NonEmpty a6989586621681099377) = Map a6989586621681100998 a6989586621681100999
- data IntersperseSym0 :: forall a6989586621681099367. (~>) a6989586621681099367 ((~>) (NonEmpty a6989586621681099367) (NonEmpty a6989586621681099367))
- data IntersperseSym1 (a6989586621681100988 :: a6989586621681099367) :: (~>) (NonEmpty a6989586621681099367) (NonEmpty a6989586621681099367)
- type IntersperseSym2 (a6989586621681100988 :: a6989586621681099367) (a6989586621681100989 :: NonEmpty a6989586621681099367) = Intersperse a6989586621681100988 a6989586621681100989
- data ScanlSym0 :: forall a6989586621681099373 b6989586621681099372. (~>) ((~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) ((~>) b6989586621681099372 ((~>) [a6989586621681099373] (NonEmpty b6989586621681099372)))
- data ScanlSym1 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) :: (~>) b6989586621681099372 ((~>) [a6989586621681099373] (NonEmpty b6989586621681099372))
- data ScanlSym2 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) (a6989586621681101143 :: b6989586621681099372) :: (~>) [a6989586621681099373] (NonEmpty b6989586621681099372)
- type ScanlSym3 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) (a6989586621681101143 :: b6989586621681099372) (a6989586621681101144 :: [a6989586621681099373]) = Scanl a6989586621681101142 a6989586621681101143 a6989586621681101144
- data ScanrSym0 :: forall a6989586621681099370 b6989586621681099371. (~>) ((~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) ((~>) b6989586621681099371 ((~>) [a6989586621681099370] (NonEmpty b6989586621681099371)))
- data ScanrSym1 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) :: (~>) b6989586621681099371 ((~>) [a6989586621681099370] (NonEmpty b6989586621681099371))
- data ScanrSym2 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) (a6989586621681101154 :: b6989586621681099371) :: (~>) [a6989586621681099370] (NonEmpty b6989586621681099371)
- type ScanrSym3 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) (a6989586621681101154 :: b6989586621681099371) (a6989586621681101155 :: [a6989586621681099370]) = Scanr a6989586621681101153 a6989586621681101154 a6989586621681101155
- data Scanl1Sym0 :: forall a6989586621681099369. (~>) ((~>) a6989586621681099369 ((~>) a6989586621681099369 a6989586621681099369)) ((~>) (NonEmpty a6989586621681099369) (NonEmpty a6989586621681099369))
- data Scanl1Sym1 (a6989586621681101164 :: (~>) a6989586621681099369 ((~>) a6989586621681099369 a6989586621681099369)) :: (~>) (NonEmpty a6989586621681099369) (NonEmpty a6989586621681099369)
- type Scanl1Sym2 (a6989586621681101164 :: (~>) a6989586621681099369 ((~>) a6989586621681099369 a6989586621681099369)) (a6989586621681101165 :: NonEmpty a6989586621681099369) = Scanl1 a6989586621681101164 a6989586621681101165
- data Scanr1Sym0 :: forall a6989586621681099368. (~>) ((~>) a6989586621681099368 ((~>) a6989586621681099368 a6989586621681099368)) ((~>) (NonEmpty a6989586621681099368) (NonEmpty a6989586621681099368))
- data Scanr1Sym1 (a6989586621681101171 :: (~>) a6989586621681099368 ((~>) a6989586621681099368 a6989586621681099368)) :: (~>) (NonEmpty a6989586621681099368) (NonEmpty a6989586621681099368)
- type Scanr1Sym2 (a6989586621681101171 :: (~>) a6989586621681099368 ((~>) a6989586621681099368 a6989586621681099368)) (a6989586621681101172 :: NonEmpty a6989586621681099368) = Scanr1 a6989586621681101171 a6989586621681101172
- data TransposeSym0 :: forall a6989586621681099333. (~>) (NonEmpty (NonEmpty a6989586621681099333)) (NonEmpty (NonEmpty a6989586621681099333))
- type TransposeSym1 (a6989586621681101291 :: NonEmpty (NonEmpty a6989586621681099333)) = Transpose a6989586621681101291
- data SortBySym0 :: forall a6989586621681099332. (~>) ((~>) a6989586621681099332 ((~>) a6989586621681099332 Ordering)) ((~>) (NonEmpty a6989586621681099332) (NonEmpty a6989586621681099332))
- data SortBySym1 (a6989586621681101098 :: (~>) a6989586621681099332 ((~>) a6989586621681099332 Ordering)) :: (~>) (NonEmpty a6989586621681099332) (NonEmpty a6989586621681099332)
- type SortBySym2 (a6989586621681101098 :: (~>) a6989586621681099332 ((~>) a6989586621681099332 Ordering)) (a6989586621681101099 :: NonEmpty a6989586621681099332) = SortBy a6989586621681101098 a6989586621681101099
- data SortWithSym0 :: forall a6989586621681099331 o6989586621681099330. (~>) ((~>) a6989586621681099331 o6989586621681099330) ((~>) (NonEmpty a6989586621681099331) (NonEmpty a6989586621681099331))
- data SortWithSym1 (a6989586621681101110 :: (~>) a6989586621681099331 o6989586621681099330) :: (~>) (NonEmpty a6989586621681099331) (NonEmpty a6989586621681099331)
- type SortWithSym2 (a6989586621681101110 :: (~>) a6989586621681099331 o6989586621681099330) (a6989586621681101111 :: NonEmpty a6989586621681099331) = SortWith a6989586621681101110 a6989586621681101111
- data LengthSym0 :: forall a6989586621681099396. (~>) (NonEmpty a6989586621681099396) Nat
- type LengthSym1 (a6989586621681101279 :: NonEmpty a6989586621681099396) = Length a6989586621681101279
- data HeadSym0 :: forall a6989586621681099389. (~>) (NonEmpty a6989586621681099389) a6989586621681099389
- type HeadSym1 (a6989586621681101211 :: NonEmpty a6989586621681099389) = Head a6989586621681101211
- data TailSym0 :: forall a6989586621681099388. (~>) (NonEmpty a6989586621681099388) [a6989586621681099388]
- type TailSym1 (a6989586621681101208 :: NonEmpty a6989586621681099388) = Tail a6989586621681101208
- data LastSym0 :: forall a6989586621681099387. (~>) (NonEmpty a6989586621681099387) a6989586621681099387
- type LastSym1 (a6989586621681101204 :: NonEmpty a6989586621681099387) = Last a6989586621681101204
- data InitSym0 :: forall a6989586621681099386. (~>) (NonEmpty a6989586621681099386) [a6989586621681099386]
- type InitSym1 (a6989586621681101200 :: NonEmpty a6989586621681099386) = Init a6989586621681101200
- data (<|@#@$) :: forall a6989586621681099385. (~>) a6989586621681099385 ((~>) (NonEmpty a6989586621681099385) (NonEmpty a6989586621681099385))
- data (<|@#@$$) (a6989586621681101183 :: a6989586621681099385) :: (~>) (NonEmpty a6989586621681099385) (NonEmpty a6989586621681099385)
- type (<|@#@$$$) (a6989586621681101183 :: a6989586621681099385) (a6989586621681101184 :: NonEmpty a6989586621681099385) = (<|) a6989586621681101183 a6989586621681101184
- data ConsSym0 :: forall a6989586621681099384. (~>) a6989586621681099384 ((~>) (NonEmpty a6989586621681099384) (NonEmpty a6989586621681099384))
- data ConsSym1 (a6989586621681101194 :: a6989586621681099384) :: (~>) (NonEmpty a6989586621681099384) (NonEmpty a6989586621681099384)
- type ConsSym2 (a6989586621681101194 :: a6989586621681099384) (a6989586621681101195 :: NonEmpty a6989586621681099384) = Cons a6989586621681101194 a6989586621681101195
- data UnconsSym0 :: forall a6989586621681099392. (~>) (NonEmpty a6989586621681099392) (a6989586621681099392, Maybe (NonEmpty a6989586621681099392))
- type UnconsSym1 (a6989586621681101247 :: NonEmpty a6989586621681099392) = Uncons a6989586621681101247
- data UnfoldrSym0 :: forall a6989586621681099390 b6989586621681099391. (~>) ((~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) ((~>) a6989586621681099390 (NonEmpty b6989586621681099391))
- data UnfoldrSym1 (a6989586621681101214 :: (~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) :: (~>) a6989586621681099390 (NonEmpty b6989586621681099391)
- type UnfoldrSym2 (a6989586621681101214 :: (~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) (a6989586621681101215 :: a6989586621681099390) = Unfoldr a6989586621681101214 a6989586621681101215
- data SortSym0 :: forall a6989586621681099383. (~>) (NonEmpty a6989586621681099383) (NonEmpty a6989586621681099383)
- type SortSym1 (a6989586621681101180 :: NonEmpty a6989586621681099383) = Sort a6989586621681101180
- data ReverseSym0 :: forall a6989586621681099366. (~>) (NonEmpty a6989586621681099366) (NonEmpty a6989586621681099366)
- type ReverseSym1 (a6989586621681101095 :: NonEmpty a6989586621681099366) = Reverse a6989586621681101095
- data InitsSym0 :: forall a6989586621681099376. (~>) [a6989586621681099376] (NonEmpty [a6989586621681099376])
- type InitsSym1 (a6989586621681101126 :: [a6989586621681099376]) = Inits a6989586621681101126
- data TailsSym0 :: forall a6989586621681099375. (~>) [a6989586621681099375] (NonEmpty [a6989586621681099375])
- type TailsSym1 (a6989586621681101131 :: [a6989586621681099375]) = Tails a6989586621681101131
- data UnfoldSym0 :: forall a6989586621681099394 b6989586621681099395. (~>) ((~>) a6989586621681099394 (b6989586621681099395, Maybe a6989586621681099394)) ((~>) a6989586621681099394 (NonEmpty b6989586621681099395))
- data UnfoldSym1 (a6989586621681101251 :: (~>) a6989586621681099394 (b6989586621681099395, Maybe a6989586621681099394)) :: (~>) a6989586621681099394 (NonEmpty b6989586621681099395)
- data InsertSym0 :: forall a6989586621681099374. (~>) a6989586621681099374 ((~>) [a6989586621681099374] (NonEmpty a6989586621681099374))
- data InsertSym1 (a6989586621681101134 :: a6989586621681099374) :: (~>) [a6989586621681099374] (NonEmpty a6989586621681099374)
- type InsertSym2 (a6989586621681101134 :: a6989586621681099374) (a6989586621681101135 :: [a6989586621681099374]) = Insert a6989586621681101134 a6989586621681101135
- data TakeSym0 :: forall a6989586621681099365. (~>) Nat ((~>) (NonEmpty a6989586621681099365) [a6989586621681099365])
- data TakeSym1 (a6989586621681101009 :: Nat) :: forall a6989586621681099365. (~>) (NonEmpty a6989586621681099365) [a6989586621681099365]
- type TakeSym2 (a6989586621681101009 :: Nat) (a6989586621681101010 :: NonEmpty a6989586621681099365) = Take a6989586621681101009 a6989586621681101010
- data DropSym0 :: forall a6989586621681099364. (~>) Nat ((~>) (NonEmpty a6989586621681099364) [a6989586621681099364])
- data DropSym1 (a6989586621681101017 :: Nat) :: forall a6989586621681099364. (~>) (NonEmpty a6989586621681099364) [a6989586621681099364]
- type DropSym2 (a6989586621681101017 :: Nat) (a6989586621681101018 :: NonEmpty a6989586621681099364) = Drop a6989586621681101017 a6989586621681101018
- data SplitAtSym0 :: forall a6989586621681099363. (~>) Nat ((~>) (NonEmpty a6989586621681099363) ([a6989586621681099363], [a6989586621681099363]))
- data SplitAtSym1 (a6989586621681101025 :: Nat) :: forall a6989586621681099363. (~>) (NonEmpty a6989586621681099363) ([a6989586621681099363], [a6989586621681099363])
- type SplitAtSym2 (a6989586621681101025 :: Nat) (a6989586621681101026 :: NonEmpty a6989586621681099363) = SplitAt a6989586621681101025 a6989586621681101026
- data TakeWhileSym0 :: forall a6989586621681099362. (~>) ((~>) a6989586621681099362 Bool) ((~>) (NonEmpty a6989586621681099362) [a6989586621681099362])
- data TakeWhileSym1 (a6989586621681101033 :: (~>) a6989586621681099362 Bool) :: (~>) (NonEmpty a6989586621681099362) [a6989586621681099362]
- type TakeWhileSym2 (a6989586621681101033 :: (~>) a6989586621681099362 Bool) (a6989586621681101034 :: NonEmpty a6989586621681099362) = TakeWhile a6989586621681101033 a6989586621681101034
- data DropWhileSym0 :: forall a6989586621681099361. (~>) ((~>) a6989586621681099361 Bool) ((~>) (NonEmpty a6989586621681099361) [a6989586621681099361])
- data DropWhileSym1 (a6989586621681101041 :: (~>) a6989586621681099361 Bool) :: (~>) (NonEmpty a6989586621681099361) [a6989586621681099361]
- type DropWhileSym2 (a6989586621681101041 :: (~>) a6989586621681099361 Bool) (a6989586621681101042 :: NonEmpty a6989586621681099361) = DropWhile a6989586621681101041 a6989586621681101042
- data SpanSym0 :: forall a6989586621681099360. (~>) ((~>) a6989586621681099360 Bool) ((~>) (NonEmpty a6989586621681099360) ([a6989586621681099360], [a6989586621681099360]))
- data SpanSym1 (a6989586621681101049 :: (~>) a6989586621681099360 Bool) :: (~>) (NonEmpty a6989586621681099360) ([a6989586621681099360], [a6989586621681099360])
- type SpanSym2 (a6989586621681101049 :: (~>) a6989586621681099360 Bool) (a6989586621681101050 :: NonEmpty a6989586621681099360) = Span a6989586621681101049 a6989586621681101050
- data BreakSym0 :: forall a6989586621681099359. (~>) ((~>) a6989586621681099359 Bool) ((~>) (NonEmpty a6989586621681099359) ([a6989586621681099359], [a6989586621681099359]))
- data BreakSym1 (a6989586621681101057 :: (~>) a6989586621681099359 Bool) :: (~>) (NonEmpty a6989586621681099359) ([a6989586621681099359], [a6989586621681099359])
- type BreakSym2 (a6989586621681101057 :: (~>) a6989586621681099359 Bool) (a6989586621681101058 :: NonEmpty a6989586621681099359) = Break a6989586621681101057 a6989586621681101058
- data FilterSym0 :: forall a6989586621681099358. (~>) ((~>) a6989586621681099358 Bool) ((~>) (NonEmpty a6989586621681099358) [a6989586621681099358])
- data FilterSym1 (a6989586621681101065 :: (~>) a6989586621681099358 Bool) :: (~>) (NonEmpty a6989586621681099358) [a6989586621681099358]
- type FilterSym2 (a6989586621681101065 :: (~>) a6989586621681099358 Bool) (a6989586621681101066 :: NonEmpty a6989586621681099358) = Filter a6989586621681101065 a6989586621681101066
- data PartitionSym0 :: forall a6989586621681099357. (~>) ((~>) a6989586621681099357 Bool) ((~>) (NonEmpty a6989586621681099357) ([a6989586621681099357], [a6989586621681099357]))
- data PartitionSym1 (a6989586621681101073 :: (~>) a6989586621681099357 Bool) :: (~>) (NonEmpty a6989586621681099357) ([a6989586621681099357], [a6989586621681099357])
- type PartitionSym2 (a6989586621681101073 :: (~>) a6989586621681099357 Bool) (a6989586621681101074 :: NonEmpty a6989586621681099357) = Partition a6989586621681101073 a6989586621681101074
- data GroupSym0 :: forall a6989586621681099356. (~>) [a6989586621681099356] [NonEmpty a6989586621681099356]
- type GroupSym1 (a6989586621681100985 :: [a6989586621681099356]) = Group a6989586621681100985
- data GroupBySym0 :: forall a6989586621681099355. (~>) ((~>) a6989586621681099355 ((~>) a6989586621681099355 Bool)) ((~>) [a6989586621681099355] [NonEmpty a6989586621681099355])
- data GroupBySym1 (a6989586621681100875 :: (~>) a6989586621681099355 ((~>) a6989586621681099355 Bool)) :: (~>) [a6989586621681099355] [NonEmpty a6989586621681099355]
- type GroupBySym2 (a6989586621681100875 :: (~>) a6989586621681099355 ((~>) a6989586621681099355 Bool)) (a6989586621681100876 :: [a6989586621681099355]) = GroupBy a6989586621681100875 a6989586621681100876
- data GroupWithSym0 :: forall a6989586621681099354 b6989586621681099353. (~>) ((~>) a6989586621681099354 b6989586621681099353) ((~>) [a6989586621681099354] [NonEmpty a6989586621681099354])
- data GroupWithSym1 (a6989586621681100923 :: (~>) a6989586621681099354 b6989586621681099353) :: (~>) [a6989586621681099354] [NonEmpty a6989586621681099354]
- type GroupWithSym2 (a6989586621681100923 :: (~>) a6989586621681099354 b6989586621681099353) (a6989586621681100924 :: [a6989586621681099354]) = GroupWith a6989586621681100923 a6989586621681100924
- data GroupAllWithSym0 :: forall a6989586621681099352 b6989586621681099351. (~>) ((~>) a6989586621681099352 b6989586621681099351) ((~>) [a6989586621681099352] [NonEmpty a6989586621681099352])
- data GroupAllWithSym1 (a6989586621681100931 :: (~>) a6989586621681099352 b6989586621681099351) :: (~>) [a6989586621681099352] [NonEmpty a6989586621681099352]
- type GroupAllWithSym2 (a6989586621681100931 :: (~>) a6989586621681099352 b6989586621681099351) (a6989586621681100932 :: [a6989586621681099352]) = GroupAllWith a6989586621681100931 a6989586621681100932
- data Group1Sym0 :: forall a6989586621681099350. (~>) (NonEmpty a6989586621681099350) (NonEmpty (NonEmpty a6989586621681099350))
- type Group1Sym1 (a6989586621681100972 :: NonEmpty a6989586621681099350) = Group1 a6989586621681100972
- data GroupBy1Sym0 :: forall a6989586621681099349. (~>) ((~>) a6989586621681099349 ((~>) a6989586621681099349 Bool)) ((~>) (NonEmpty a6989586621681099349) (NonEmpty (NonEmpty a6989586621681099349)))
- data GroupBy1Sym1 (a6989586621681100939 :: (~>) a6989586621681099349 ((~>) a6989586621681099349 Bool)) :: (~>) (NonEmpty a6989586621681099349) (NonEmpty (NonEmpty a6989586621681099349))
- type GroupBy1Sym2 (a6989586621681100939 :: (~>) a6989586621681099349 ((~>) a6989586621681099349 Bool)) (a6989586621681100940 :: NonEmpty a6989586621681099349) = GroupBy1 a6989586621681100939 a6989586621681100940
- data GroupWith1Sym0 :: forall a6989586621681099348 b6989586621681099347. (~>) ((~>) a6989586621681099348 b6989586621681099347) ((~>) (NonEmpty a6989586621681099348) (NonEmpty (NonEmpty a6989586621681099348)))
- data GroupWith1Sym1 (a6989586621681100975 :: (~>) a6989586621681099348 b6989586621681099347) :: (~>) (NonEmpty a6989586621681099348) (NonEmpty (NonEmpty a6989586621681099348))
- type GroupWith1Sym2 (a6989586621681100975 :: (~>) a6989586621681099348 b6989586621681099347) (a6989586621681100976 :: NonEmpty a6989586621681099348) = GroupWith1 a6989586621681100975 a6989586621681100976
- data GroupAllWith1Sym0 :: forall a6989586621681099346 b6989586621681099345. (~>) ((~>) a6989586621681099346 b6989586621681099345) ((~>) (NonEmpty a6989586621681099346) (NonEmpty (NonEmpty a6989586621681099346)))
- data GroupAllWith1Sym1 (a6989586621681101116 :: (~>) a6989586621681099346 b6989586621681099345) :: (~>) (NonEmpty a6989586621681099346) (NonEmpty (NonEmpty a6989586621681099346))
- type GroupAllWith1Sym2 (a6989586621681101116 :: (~>) a6989586621681099346 b6989586621681099345) (a6989586621681101117 :: NonEmpty a6989586621681099346) = GroupAllWith1 a6989586621681101116 a6989586621681101117
- data IsPrefixOfSym0 :: forall a6989586621681099344. (~>) [a6989586621681099344] ((~>) (NonEmpty a6989586621681099344) Bool)
- data IsPrefixOfSym1 (a6989586621681100867 :: [a6989586621681099344]) :: (~>) (NonEmpty a6989586621681099344) Bool
- type IsPrefixOfSym2 (a6989586621681100867 :: [a6989586621681099344]) (a6989586621681100868 :: NonEmpty a6989586621681099344) = IsPrefixOf a6989586621681100867 a6989586621681100868
- data NubSym0 :: forall a6989586621681099335. (~>) (NonEmpty a6989586621681099335) (NonEmpty a6989586621681099335)
- type NubSym1 (a6989586621681100798 :: NonEmpty a6989586621681099335) = Nub a6989586621681100798
- data NubBySym0 :: forall a6989586621681099334. (~>) ((~>) a6989586621681099334 ((~>) a6989586621681099334 Bool)) ((~>) (NonEmpty a6989586621681099334) (NonEmpty a6989586621681099334))
- data NubBySym1 (a6989586621681100781 :: (~>) a6989586621681099334 ((~>) a6989586621681099334 Bool)) :: (~>) (NonEmpty a6989586621681099334) (NonEmpty a6989586621681099334)
- type NubBySym2 (a6989586621681100781 :: (~>) a6989586621681099334 ((~>) a6989586621681099334 Bool)) (a6989586621681100782 :: NonEmpty a6989586621681099334) = NubBy a6989586621681100781 a6989586621681100782
- data (!!@#@$) :: forall a6989586621681099343. (~>) (NonEmpty a6989586621681099343) ((~>) Nat a6989586621681099343)
- data (!!@#@$$) (a6989586621681100849 :: NonEmpty a6989586621681099343) :: (~>) Nat a6989586621681099343
- type (!!@#@$$$) (a6989586621681100849 :: NonEmpty a6989586621681099343) (a6989586621681100850 :: Nat) = (!!) a6989586621681100849 a6989586621681100850
- data ZipSym0 :: forall a6989586621681099341 b6989586621681099342. (~>) (NonEmpty a6989586621681099341) ((~>) (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342)))
- data ZipSym1 (a6989586621681100841 :: NonEmpty a6989586621681099341) :: forall b6989586621681099342. (~>) (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342))
- type ZipSym2 (a6989586621681100841 :: NonEmpty a6989586621681099341) (a6989586621681100842 :: NonEmpty b6989586621681099342) = Zip a6989586621681100841 a6989586621681100842
- data ZipWithSym0 :: forall a6989586621681099338 b6989586621681099339 c6989586621681099340. (~>) ((~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) ((~>) (NonEmpty a6989586621681099338) ((~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340)))
- data ZipWithSym1 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) :: (~>) (NonEmpty a6989586621681099338) ((~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340))
- data ZipWithSym2 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) (a6989586621681100831 :: NonEmpty a6989586621681099338) :: (~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340)
- type ZipWithSym3 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) (a6989586621681100831 :: NonEmpty a6989586621681099338) (a6989586621681100832 :: NonEmpty b6989586621681099339) = ZipWith a6989586621681100830 a6989586621681100831 a6989586621681100832
- data UnzipSym0 :: forall a6989586621681099336 b6989586621681099337. (~>) (NonEmpty (a6989586621681099336, b6989586621681099337)) (NonEmpty a6989586621681099336, NonEmpty b6989586621681099337)
- type UnzipSym1 (a6989586621681100801 :: NonEmpty (a6989586621681099336, b6989586621681099337)) = Unzip a6989586621681100801
- data FromListSym0 :: forall a6989586621681099382. (~>) [a6989586621681099382] (NonEmpty a6989586621681099382)
- type FromListSym1 (a6989586621681101081 :: [a6989586621681099382]) = FromList a6989586621681101081
- data ToListSym0 :: forall a6989586621681099381. (~>) (NonEmpty a6989586621681099381) [a6989586621681099381]
- type ToListSym1 (a6989586621681101005 :: NonEmpty a6989586621681099381) = ToList a6989586621681101005
- data NonEmpty_Sym0 :: forall a6989586621681099393. (~>) [a6989586621681099393] (Maybe (NonEmpty a6989586621681099393))
- type NonEmpty_Sym1 (a6989586621681101243 :: [a6989586621681099393]) = NonEmpty_ a6989586621681101243
- data XorSym0 :: (~>) (NonEmpty Bool) Bool
- type XorSym1 (a6989586621681101266 :: NonEmpty Bool) = Xor a6989586621681101266
The NonEmpty
singleton
data family Sing :: k -> Type infixr 5 Source #
The singleton kind-indexed data family.
Instances
SDecide k => TestCoercion (Sing :: k -> Type) Source # | |
Defined in Data.Singletons.Decide | |
SDecide k => TestEquality (Sing :: k -> Type) Source # | |
Defined in Data.Singletons.Decide | |
Show (SSymbol s) Source # | |
Show (SNat n) Source # | |
Eq (Sing a) Source # | |
Ord (Sing a) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
Show (Sing a) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) Source # | |
Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing m => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing Bool => Show (Sing z) Source # | |
ShowSing Bool => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # | |
data Sing (a :: Bool) Source # | |
data Sing (a :: Ordering) Source # | |
data Sing (n :: Nat) Source # | |
data Sing (n :: Symbol) Source # | |
Defined in Data.Singletons.TypeLits.Internal | |
data Sing (a :: ()) Source # | |
Defined in Data.Singletons.Prelude.Instances | |
data Sing (a :: Void) Source # | |
Defined in Data.Singletons.Prelude.Instances | |
data Sing (a :: All) Source # | |
data Sing (a :: Any) Source # | |
data Sing (a :: PErrorMessage) Source # | |
Defined in Data.Singletons.TypeError data Sing (a :: PErrorMessage) where
| |
data Sing (b :: [a]) Source # | |
data Sing (b :: Maybe a) Source # | |
newtype Sing (a :: TYPE rep) Source # | A choice of singleton for the kind Conceivably, one could generalize this instance to `Sing :: k -> Type` for
any kind We cannot produce explicit singleton values for everything in |
Defined in Data.Singletons.TypeRepTYPE | |
data Sing (b :: Min a) Source # | |
data Sing (b :: Max a) Source # | |
data Sing (b :: First a) Source # | |
data Sing (b :: Last a) Source # | |
data Sing (a :: WrappedMonoid m) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: WrappedMonoid m) where
| |
data Sing (b :: Option a) Source # | |
data Sing (b :: Identity a) Source # | |
data Sing (b :: First a) Source # | |
data Sing (b :: Last a) Source # | |
data Sing (b :: Dual a) Source # | |
data Sing (b :: Sum a) Source # | |
data Sing (b :: Product a) Source # | |
data Sing (b :: Down a) Source # | |
data Sing (b :: NonEmpty a) Source # | |
data Sing (c :: Either a b) Source # | |
data Sing (c :: (a, b)) Source # | |
data Sing (c :: Arg a b) Source # | |
newtype Sing (f :: k1 ~> k2) Source # | |
data Sing (d :: (a, b, c)) Source # | |
data Sing (c :: Const a b) Source # | |
data Sing (e :: (a, b, c, d)) Source # | |
data Sing (f :: (a, b, c, d, e)) Source # | |
data Sing (g :: (a, b, c, d, e, f)) Source # | |
data Sing (h :: (a, b, c, d, e, f, g)) Source # | |
Defined in Data.Singletons.Prelude.Instances |
Though Haddock doesn't show it, the Sing
instance above declares
constructor
(:%|) :: Sing h -> Sing t -> Sing (h :| t)
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_6989586621681100995 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_6989586621681101289 = Apply (Apply (Apply (.@#@$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply (.@#@$) ListtransposeSym0) (Apply (Apply (.@#@$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_6989586621681101289 |
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_6989586621681101106 a_6989586621681101108 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621681101106) a_6989586621681101108 |
sSortWith :: forall o a (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_6989586621681101238 f a (Let6989586621681101235Scrutinee_6989586621681099571Sym2 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_6989586621681101260 f a (Let6989586621681101257Scrutinee_6989586621681099561Sym2 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_6989586621681100983 = Apply (Apply GroupBySym0 (==@#@$)) a_6989586621681100983 |
sGroupBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a]) Source #
sGroupWith :: forall b a (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_6989586621681100935 = Apply (Apply (Apply (.@#@$) (Apply GroupWithSym0 f)) (Apply ListsortBySym0 (Apply (Apply OnSym0 CompareSym0) f))) a_6989586621681100935 |
sGroupAllWith :: forall b a (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_6989586621681100970 = Apply (Apply GroupBy1Sym0 (==@#@$)) a_6989586621681100970 |
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_6989586621681100979 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621681100979 |
sGroupWith1 :: forall b a (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_6989586621681101120 = Apply (Apply (Apply (.@#@$) (Apply GroupWith1Sym0 f)) (Apply SortWithSym0 f)) a_6989586621681101120 |
sGroupAllWith1 :: forall b a (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_6989586621681099583 !! arg_6989586621681099585 = Case_6989586621681100855 arg_6989586621681099583 arg_6989586621681099585 (Apply (Apply Tuple2Sym0 arg_6989586621681099583) arg_6989586621681099585) |
(%!!) :: 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 (a6989586621679068602 :: Type). (~>) a6989586621679068602 ((~>) [a6989586621679068602] (NonEmpty (a6989586621679068602 :: Type))) infixr 5 Source #
Instances
SingI ((:|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings ((:|@#@$) :: TyFun a6989586621679068602 ([a6989586621679068602] ~> NonEmpty a6989586621679068602) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply ((:|@#@$) :: TyFun a6989586621679068602 ([a6989586621679068602] ~> NonEmpty a6989586621679068602) -> Type) (t6989586621679301645 :: a6989586621679068602) Source # | |
data (:|@#@$$) (t6989586621679301645 :: (a6989586621679068602 :: Type)) :: (~>) [a6989586621679068602] (NonEmpty (a6989586621679068602 :: Type)) infixr 5 Source #
Instances
SingI d => SingI ((:|@#@$$) d :: TyFun [a] (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings ((:|@#@$$) t6989586621679301645 :: TyFun [a6989586621679068602] (NonEmpty a6989586621679068602) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply ((:|@#@$$) t6989586621679301645 :: TyFun [a] (NonEmpty a) -> Type) (t6989586621679301646 :: [a]) Source # | |
type (:|@#@$$$) (t6989586621679301645 :: a6989586621679068602) (t6989586621679301646 :: [a6989586621679068602]) = (:|) t6989586621679301645 t6989586621679301646 Source #
data MapSym0 :: forall a6989586621681099377 b6989586621681099378. (~>) ((~>) a6989586621681099377 b6989586621681099378) ((~>) (NonEmpty a6989586621681099377) (NonEmpty b6989586621681099378)) Source #
Instances
SingI (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621681099377 ~> b6989586621681099378) (NonEmpty a6989586621681099377 ~> NonEmpty b6989586621681099378) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym0 :: TyFun (a6989586621681099377 ~> b6989586621681099378) (NonEmpty a6989586621681099377 ~> NonEmpty b6989586621681099378) -> Type) (a6989586621681100998 :: a6989586621681099377 ~> b6989586621681099378) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data MapSym1 (a6989586621681100998 :: (~>) a6989586621681099377 b6989586621681099378) :: (~>) (NonEmpty a6989586621681099377) (NonEmpty b6989586621681099378) Source #
Instances
SingI d => SingI (MapSym1 d :: TyFun (NonEmpty a) (NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (MapSym1 a6989586621681100998 :: TyFun (NonEmpty a6989586621681099377) (NonEmpty b6989586621681099378) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym1 a6989586621681100998 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681100999 :: NonEmpty a) Source # | |
type MapSym2 (a6989586621681100998 :: (~>) a6989586621681099377 b6989586621681099378) (a6989586621681100999 :: NonEmpty a6989586621681099377) = Map a6989586621681100998 a6989586621681100999 Source #
data IntersperseSym0 :: forall a6989586621681099367. (~>) a6989586621681099367 ((~>) (NonEmpty a6989586621681099367) (NonEmpty a6989586621681099367)) Source #
Instances
SingI (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods | |
SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621681099367 (NonEmpty a6989586621681099367 ~> NonEmpty a6989586621681099367) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IntersperseSym0 :: TyFun a6989586621681099367 (NonEmpty a6989586621681099367 ~> NonEmpty a6989586621681099367) -> Type) (a6989586621681100988 :: a6989586621681099367) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym0 :: TyFun a6989586621681099367 (NonEmpty a6989586621681099367 ~> NonEmpty a6989586621681099367) -> Type) (a6989586621681100988 :: a6989586621681099367) = IntersperseSym1 a6989586621681100988 |
data IntersperseSym1 (a6989586621681100988 :: a6989586621681099367) :: (~>) (NonEmpty a6989586621681099367) (NonEmpty a6989586621681099367) 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 a6989586621681100988 :: TyFun (NonEmpty a6989586621681099367) (NonEmpty a6989586621681099367) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IntersperseSym1 a6989586621681100988 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681100989 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym1 a6989586621681100988 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681100989 :: NonEmpty a) = Intersperse a6989586621681100988 a6989586621681100989 |
type IntersperseSym2 (a6989586621681100988 :: a6989586621681099367) (a6989586621681100989 :: NonEmpty a6989586621681099367) = Intersperse a6989586621681100988 a6989586621681100989 Source #
data ScanlSym0 :: forall a6989586621681099373 b6989586621681099372. (~>) ((~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) ((~>) b6989586621681099372 ((~>) [a6989586621681099373] (NonEmpty b6989586621681099372))) Source #
Instances
SingI (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) Source # | |
SuppressUnusedWarnings (ScanlSym0 :: TyFun (b6989586621681099372 ~> (a6989586621681099373 ~> b6989586621681099372)) (b6989586621681099372 ~> ([a6989586621681099373] ~> NonEmpty b6989586621681099372)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanlSym0 :: TyFun (b6989586621681099372 ~> (a6989586621681099373 ~> b6989586621681099372)) (b6989586621681099372 ~> ([a6989586621681099373] ~> NonEmpty b6989586621681099372)) -> Type) (a6989586621681101142 :: b6989586621681099372 ~> (a6989586621681099373 ~> b6989586621681099372)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym0 :: TyFun (b6989586621681099372 ~> (a6989586621681099373 ~> b6989586621681099372)) (b6989586621681099372 ~> ([a6989586621681099373] ~> NonEmpty b6989586621681099372)) -> Type) (a6989586621681101142 :: b6989586621681099372 ~> (a6989586621681099373 ~> b6989586621681099372)) = ScanlSym1 a6989586621681101142 |
data ScanlSym1 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) :: (~>) b6989586621681099372 ((~>) [a6989586621681099373] (NonEmpty b6989586621681099372)) Source #
Instances
SingI d => SingI (ScanlSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (ScanlSym1 a6989586621681101142 :: TyFun b6989586621681099372 ([a6989586621681099373] ~> NonEmpty b6989586621681099372) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanlSym1 a6989586621681101142 :: TyFun b6989586621681099372 ([a6989586621681099373] ~> NonEmpty b6989586621681099372) -> Type) (a6989586621681101143 :: b6989586621681099372) Source # | |
data ScanlSym2 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) (a6989586621681101143 :: b6989586621681099372) :: (~>) [a6989586621681099373] (NonEmpty b6989586621681099372) Source #
Instances
(SingI d1, SingI d2) => SingI (ScanlSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (ScanlSym2 a6989586621681101143 a6989586621681101142 :: TyFun [a6989586621681099373] (NonEmpty b6989586621681099372) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanlSym2 a6989586621681101143 a6989586621681101142 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681101144 :: [a]) Source # | |
type ScanlSym3 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) (a6989586621681101143 :: b6989586621681099372) (a6989586621681101144 :: [a6989586621681099373]) = Scanl a6989586621681101142 a6989586621681101143 a6989586621681101144 Source #
data ScanrSym0 :: forall a6989586621681099370 b6989586621681099371. (~>) ((~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) ((~>) b6989586621681099371 ((~>) [a6989586621681099370] (NonEmpty b6989586621681099371))) Source #
Instances
SingI (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) Source # | |
SuppressUnusedWarnings (ScanrSym0 :: TyFun (a6989586621681099370 ~> (b6989586621681099371 ~> b6989586621681099371)) (b6989586621681099371 ~> ([a6989586621681099370] ~> NonEmpty b6989586621681099371)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanrSym0 :: TyFun (a6989586621681099370 ~> (b6989586621681099371 ~> b6989586621681099371)) (b6989586621681099371 ~> ([a6989586621681099370] ~> NonEmpty b6989586621681099371)) -> Type) (a6989586621681101153 :: a6989586621681099370 ~> (b6989586621681099371 ~> b6989586621681099371)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym0 :: TyFun (a6989586621681099370 ~> (b6989586621681099371 ~> b6989586621681099371)) (b6989586621681099371 ~> ([a6989586621681099370] ~> NonEmpty b6989586621681099371)) -> Type) (a6989586621681101153 :: a6989586621681099370 ~> (b6989586621681099371 ~> b6989586621681099371)) = ScanrSym1 a6989586621681101153 |
data ScanrSym1 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) :: (~>) b6989586621681099371 ((~>) [a6989586621681099370] (NonEmpty b6989586621681099371)) Source #
Instances
SingI d => SingI (ScanrSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (ScanrSym1 a6989586621681101153 :: TyFun b6989586621681099371 ([a6989586621681099370] ~> NonEmpty b6989586621681099371) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanrSym1 a6989586621681101153 :: TyFun b6989586621681099371 ([a6989586621681099370] ~> NonEmpty b6989586621681099371) -> Type) (a6989586621681101154 :: b6989586621681099371) Source # | |
data ScanrSym2 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) (a6989586621681101154 :: b6989586621681099371) :: (~>) [a6989586621681099370] (NonEmpty b6989586621681099371) Source #
Instances
(SingI d1, SingI d2) => SingI (ScanrSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (ScanrSym2 a6989586621681101154 a6989586621681101153 :: TyFun [a6989586621681099370] (NonEmpty b6989586621681099371) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanrSym2 a6989586621681101154 a6989586621681101153 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681101155 :: [a]) Source # | |
type ScanrSym3 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) (a6989586621681101154 :: b6989586621681099371) (a6989586621681101155 :: [a6989586621681099370]) = Scanr a6989586621681101153 a6989586621681101154 a6989586621681101155 Source #
data Scanl1Sym0 :: forall a6989586621681099369. (~>) ((~>) a6989586621681099369 ((~>) a6989586621681099369 a6989586621681099369)) ((~>) (NonEmpty a6989586621681099369) (NonEmpty a6989586621681099369)) 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 (a6989586621681099369 ~> (a6989586621681099369 ~> a6989586621681099369)) (NonEmpty a6989586621681099369 ~> NonEmpty a6989586621681099369) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanl1Sym0 :: TyFun (a6989586621681099369 ~> (a6989586621681099369 ~> a6989586621681099369)) (NonEmpty a6989586621681099369 ~> NonEmpty a6989586621681099369) -> Type) (a6989586621681101164 :: a6989586621681099369 ~> (a6989586621681099369 ~> a6989586621681099369)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanl1Sym0 :: TyFun (a6989586621681099369 ~> (a6989586621681099369 ~> a6989586621681099369)) (NonEmpty a6989586621681099369 ~> NonEmpty a6989586621681099369) -> Type) (a6989586621681101164 :: a6989586621681099369 ~> (a6989586621681099369 ~> a6989586621681099369)) = Scanl1Sym1 a6989586621681101164 |
data Scanl1Sym1 (a6989586621681101164 :: (~>) a6989586621681099369 ((~>) a6989586621681099369 a6989586621681099369)) :: (~>) (NonEmpty a6989586621681099369) (NonEmpty a6989586621681099369) 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 a6989586621681101164 :: TyFun (NonEmpty a6989586621681099369) (NonEmpty a6989586621681099369) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanl1Sym1 a6989586621681101164 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681101165 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type Scanl1Sym2 (a6989586621681101164 :: (~>) a6989586621681099369 ((~>) a6989586621681099369 a6989586621681099369)) (a6989586621681101165 :: NonEmpty a6989586621681099369) = Scanl1 a6989586621681101164 a6989586621681101165 Source #
data Scanr1Sym0 :: forall a6989586621681099368. (~>) ((~>) a6989586621681099368 ((~>) a6989586621681099368 a6989586621681099368)) ((~>) (NonEmpty a6989586621681099368) (NonEmpty a6989586621681099368)) 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 (a6989586621681099368 ~> (a6989586621681099368 ~> a6989586621681099368)) (NonEmpty a6989586621681099368 ~> NonEmpty a6989586621681099368) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanr1Sym0 :: TyFun (a6989586621681099368 ~> (a6989586621681099368 ~> a6989586621681099368)) (NonEmpty a6989586621681099368 ~> NonEmpty a6989586621681099368) -> Type) (a6989586621681101171 :: a6989586621681099368 ~> (a6989586621681099368 ~> a6989586621681099368)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanr1Sym0 :: TyFun (a6989586621681099368 ~> (a6989586621681099368 ~> a6989586621681099368)) (NonEmpty a6989586621681099368 ~> NonEmpty a6989586621681099368) -> Type) (a6989586621681101171 :: a6989586621681099368 ~> (a6989586621681099368 ~> a6989586621681099368)) = Scanr1Sym1 a6989586621681101171 |
data Scanr1Sym1 (a6989586621681101171 :: (~>) a6989586621681099368 ((~>) a6989586621681099368 a6989586621681099368)) :: (~>) (NonEmpty a6989586621681099368) (NonEmpty a6989586621681099368) 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 a6989586621681101171 :: TyFun (NonEmpty a6989586621681099368) (NonEmpty a6989586621681099368) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanr1Sym1 a6989586621681101171 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681101172 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type Scanr1Sym2 (a6989586621681101171 :: (~>) a6989586621681099368 ((~>) a6989586621681099368 a6989586621681099368)) (a6989586621681101172 :: NonEmpty a6989586621681099368) = Scanr1 a6989586621681101171 a6989586621681101172 Source #
data TransposeSym0 :: forall a6989586621681099333. (~>) (NonEmpty (NonEmpty a6989586621681099333)) (NonEmpty (NonEmpty a6989586621681099333)) 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 a6989586621681099333)) (NonEmpty (NonEmpty a6989586621681099333)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681101291 :: NonEmpty (NonEmpty a)) Source # | |
type TransposeSym1 (a6989586621681101291 :: NonEmpty (NonEmpty a6989586621681099333)) = Transpose a6989586621681101291 Source #
data SortBySym0 :: forall a6989586621681099332. (~>) ((~>) a6989586621681099332 ((~>) a6989586621681099332 Ordering)) ((~>) (NonEmpty a6989586621681099332) (NonEmpty a6989586621681099332)) 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 (a6989586621681099332 ~> (a6989586621681099332 ~> Ordering)) (NonEmpty a6989586621681099332 ~> NonEmpty a6989586621681099332) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortBySym0 :: TyFun (a6989586621681099332 ~> (a6989586621681099332 ~> Ordering)) (NonEmpty a6989586621681099332 ~> NonEmpty a6989586621681099332) -> Type) (a6989586621681101098 :: a6989586621681099332 ~> (a6989586621681099332 ~> Ordering)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data SortBySym1 (a6989586621681101098 :: (~>) a6989586621681099332 ((~>) a6989586621681099332 Ordering)) :: (~>) (NonEmpty a6989586621681099332) (NonEmpty a6989586621681099332) 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 a6989586621681101098 :: TyFun (NonEmpty a6989586621681099332) (NonEmpty a6989586621681099332) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortBySym1 a6989586621681101098 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681101099 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type SortBySym2 (a6989586621681101098 :: (~>) a6989586621681099332 ((~>) a6989586621681099332 Ordering)) (a6989586621681101099 :: NonEmpty a6989586621681099332) = SortBy a6989586621681101098 a6989586621681101099 Source #
data SortWithSym0 :: forall a6989586621681099331 o6989586621681099330. (~>) ((~>) a6989586621681099331 o6989586621681099330) ((~>) (NonEmpty a6989586621681099331) (NonEmpty a6989586621681099331)) 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 (a6989586621681099331 ~> o6989586621681099330) (NonEmpty a6989586621681099331 ~> NonEmpty a6989586621681099331) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortWithSym0 :: TyFun (a6989586621681099331 ~> o6989586621681099330) (NonEmpty a6989586621681099331 ~> NonEmpty a6989586621681099331) -> Type) (a6989586621681101110 :: a6989586621681099331 ~> o6989586621681099330) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortWithSym0 :: TyFun (a6989586621681099331 ~> o6989586621681099330) (NonEmpty a6989586621681099331 ~> NonEmpty a6989586621681099331) -> Type) (a6989586621681101110 :: a6989586621681099331 ~> o6989586621681099330) = SortWithSym1 a6989586621681101110 |
data SortWithSym1 (a6989586621681101110 :: (~>) a6989586621681099331 o6989586621681099330) :: (~>) (NonEmpty a6989586621681099331) (NonEmpty a6989586621681099331) 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 a6989586621681101110 :: TyFun (NonEmpty a6989586621681099331) (NonEmpty a6989586621681099331) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortWithSym1 a6989586621681101110 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681101111 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type SortWithSym2 (a6989586621681101110 :: (~>) a6989586621681099331 o6989586621681099330) (a6989586621681101111 :: NonEmpty a6989586621681099331) = SortWith a6989586621681101110 a6989586621681101111 Source #
data LengthSym0 :: forall a6989586621681099396. (~>) (NonEmpty a6989586621681099396) 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 a6989586621681099396) Nat -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) (a6989586621681101279 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type LengthSym1 (a6989586621681101279 :: NonEmpty a6989586621681099396) = Length a6989586621681101279 Source #
data HeadSym0 :: forall a6989586621681099389. (~>) (NonEmpty a6989586621681099389) a6989586621681099389 Source #
Instances
SingI (HeadSym0 :: TyFun (NonEmpty a) a -> Type) Source # | |
SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621681099389) a6989586621681099389 -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681101211 :: NonEmpty a) Source # | |
type HeadSym1 (a6989586621681101211 :: NonEmpty a6989586621681099389) = Head a6989586621681101211 Source #
data TailSym0 :: forall a6989586621681099388. (~>) (NonEmpty a6989586621681099388) [a6989586621681099388] Source #
Instances
SingI (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) Source # | |
SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621681099388) [a6989586621681099388] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681101208 :: NonEmpty a) Source # | |
type TailSym1 (a6989586621681101208 :: NonEmpty a6989586621681099388) = Tail a6989586621681101208 Source #
data LastSym0 :: forall a6989586621681099387. (~>) (NonEmpty a6989586621681099387) a6989586621681099387 Source #
Instances
SingI (LastSym0 :: TyFun (NonEmpty a) a -> Type) Source # | |
SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621681099387) a6989586621681099387 -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (LastSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681101204 :: NonEmpty a) Source # | |
type LastSym1 (a6989586621681101204 :: NonEmpty a6989586621681099387) = Last a6989586621681101204 Source #
data InitSym0 :: forall a6989586621681099386. (~>) (NonEmpty a6989586621681099386) [a6989586621681099386] Source #
Instances
SingI (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) Source # | |
SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621681099386) [a6989586621681099386] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681101200 :: NonEmpty a) Source # | |
type InitSym1 (a6989586621681101200 :: NonEmpty a6989586621681099386) = Init a6989586621681101200 Source #
data (<|@#@$) :: forall a6989586621681099385. (~>) a6989586621681099385 ((~>) (NonEmpty a6989586621681099385) (NonEmpty a6989586621681099385)) Source #
Instances
SingI ((<|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings ((<|@#@$) :: TyFun a6989586621681099385 (NonEmpty a6989586621681099385 ~> NonEmpty a6989586621681099385) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<|@#@$) :: TyFun a6989586621681099385 (NonEmpty a6989586621681099385 ~> NonEmpty a6989586621681099385) -> Type) (a6989586621681101183 :: a6989586621681099385) Source # | |
data (<|@#@$$) (a6989586621681101183 :: a6989586621681099385) :: (~>) (NonEmpty a6989586621681099385) (NonEmpty a6989586621681099385) Source #
Instances
SingI d => SingI ((<|@#@$$) d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings ((<|@#@$$) a6989586621681101183 :: TyFun (NonEmpty a6989586621681099385) (NonEmpty a6989586621681099385) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<|@#@$$) a6989586621681101183 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681101184 :: NonEmpty a) Source # | |
type (<|@#@$$$) (a6989586621681101183 :: a6989586621681099385) (a6989586621681101184 :: NonEmpty a6989586621681099385) = (<|) a6989586621681101183 a6989586621681101184 Source #
data ConsSym0 :: forall a6989586621681099384. (~>) a6989586621681099384 ((~>) (NonEmpty a6989586621681099384) (NonEmpty a6989586621681099384)) Source #
Instances
SingI (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621681099384 (NonEmpty a6989586621681099384 ~> NonEmpty a6989586621681099384) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConsSym0 :: TyFun a6989586621681099384 (NonEmpty a6989586621681099384 ~> NonEmpty a6989586621681099384) -> Type) (a6989586621681101194 :: a6989586621681099384) Source # | |
data ConsSym1 (a6989586621681101194 :: a6989586621681099384) :: (~>) (NonEmpty a6989586621681099384) (NonEmpty a6989586621681099384) Source #
Instances
SingI d => SingI (ConsSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (ConsSym1 a6989586621681101194 :: TyFun (NonEmpty a6989586621681099384) (NonEmpty a6989586621681099384) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConsSym1 a6989586621681101194 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681101195 :: NonEmpty a) Source # | |
type ConsSym2 (a6989586621681101194 :: a6989586621681099384) (a6989586621681101195 :: NonEmpty a6989586621681099384) = Cons a6989586621681101194 a6989586621681101195 Source #
data UnconsSym0 :: forall a6989586621681099392. (~>) (NonEmpty a6989586621681099392) (a6989586621681099392, Maybe (NonEmpty a6989586621681099392)) 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 a6989586621681099392) (a6989586621681099392, Maybe (NonEmpty a6989586621681099392)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681101247 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type UnconsSym1 (a6989586621681101247 :: NonEmpty a6989586621681099392) = Uncons a6989586621681101247 Source #
data UnfoldrSym0 :: forall a6989586621681099390 b6989586621681099391. (~>) ((~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) ((~>) a6989586621681099390 (NonEmpty b6989586621681099391)) 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 (a6989586621681099390 ~> (b6989586621681099391, Maybe a6989586621681099390)) (a6989586621681099390 ~> NonEmpty b6989586621681099391) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldrSym0 :: TyFun (a6989586621681099390 ~> (b6989586621681099391, Maybe a6989586621681099390)) (a6989586621681099390 ~> NonEmpty b6989586621681099391) -> Type) (a6989586621681101214 :: a6989586621681099390 ~> (b6989586621681099391, Maybe a6989586621681099390)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym0 :: TyFun (a6989586621681099390 ~> (b6989586621681099391, Maybe a6989586621681099390)) (a6989586621681099390 ~> NonEmpty b6989586621681099391) -> Type) (a6989586621681101214 :: a6989586621681099390 ~> (b6989586621681099391, Maybe a6989586621681099390)) = UnfoldrSym1 a6989586621681101214 |
data UnfoldrSym1 (a6989586621681101214 :: (~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) :: (~>) a6989586621681099390 (NonEmpty b6989586621681099391) 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 a6989586621681101214 :: TyFun a6989586621681099390 (NonEmpty b6989586621681099391) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldrSym1 a6989586621681101214 :: TyFun a (NonEmpty b) -> Type) (a6989586621681101215 :: a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type UnfoldrSym2 (a6989586621681101214 :: (~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) (a6989586621681101215 :: a6989586621681099390) = Unfoldr a6989586621681101214 a6989586621681101215 Source #
data SortSym0 :: forall a6989586621681099383. (~>) (NonEmpty a6989586621681099383) (NonEmpty a6989586621681099383) Source #
Instances
SOrd a => SingI (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621681099383) (NonEmpty a6989586621681099383) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681101180 :: NonEmpty a) Source # | |
type SortSym1 (a6989586621681101180 :: NonEmpty a6989586621681099383) = Sort a6989586621681101180 Source #
data ReverseSym0 :: forall a6989586621681099366. (~>) (NonEmpty a6989586621681099366) (NonEmpty a6989586621681099366) 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 a6989586621681099366) (NonEmpty a6989586621681099366) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681101095 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type ReverseSym1 (a6989586621681101095 :: NonEmpty a6989586621681099366) = Reverse a6989586621681101095 Source #
data InitsSym0 :: forall a6989586621681099376. (~>) [a6989586621681099376] (NonEmpty [a6989586621681099376]) Source #
Instances
SingI (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) Source # | |
SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621681099376] (NonEmpty [a6989586621681099376]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681101126 :: [a]) Source # | |
type InitsSym1 (a6989586621681101126 :: [a6989586621681099376]) = Inits a6989586621681101126 Source #
data TailsSym0 :: forall a6989586621681099375. (~>) [a6989586621681099375] (NonEmpty [a6989586621681099375]) Source #
Instances
SingI (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) Source # | |
SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621681099375] (NonEmpty [a6989586621681099375]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681101131 :: [a]) Source # | |
type TailsSym1 (a6989586621681101131 :: [a6989586621681099375]) = Tails a6989586621681101131 Source #
data UnfoldSym0 :: forall a6989586621681099394 b6989586621681099395. (~>) ((~>) a6989586621681099394 (b6989586621681099395, Maybe a6989586621681099394)) ((~>) a6989586621681099394 (NonEmpty b6989586621681099395)) 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 (a6989586621681099394 ~> (b6989586621681099395, Maybe a6989586621681099394)) (a6989586621681099394 ~> NonEmpty b6989586621681099395) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldSym0 :: TyFun (a6989586621681099394 ~> (b6989586621681099395, Maybe a6989586621681099394)) (a6989586621681099394 ~> NonEmpty b6989586621681099395) -> Type) (a6989586621681101251 :: a6989586621681099394 ~> (b6989586621681099395, Maybe a6989586621681099394)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym0 :: TyFun (a6989586621681099394 ~> (b6989586621681099395, Maybe a6989586621681099394)) (a6989586621681099394 ~> NonEmpty b6989586621681099395) -> Type) (a6989586621681101251 :: a6989586621681099394 ~> (b6989586621681099395, Maybe a6989586621681099394)) = UnfoldSym1 a6989586621681101251 |
data UnfoldSym1 (a6989586621681101251 :: (~>) a6989586621681099394 (b6989586621681099395, Maybe a6989586621681099394)) :: (~>) a6989586621681099394 (NonEmpty b6989586621681099395) 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 a6989586621681101251 :: TyFun a6989586621681099394 (NonEmpty b6989586621681099395) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldSym1 a6989586621681101251 :: TyFun a (NonEmpty b) -> Type) (a6989586621681101252 :: a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data InsertSym0 :: forall a6989586621681099374. (~>) a6989586621681099374 ((~>) [a6989586621681099374] (NonEmpty a6989586621681099374)) 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 a6989586621681099374 ([a6989586621681099374] ~> NonEmpty a6989586621681099374) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (InsertSym0 :: TyFun a6989586621681099374 ([a6989586621681099374] ~> NonEmpty a6989586621681099374) -> Type) (a6989586621681101134 :: a6989586621681099374) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InsertSym0 :: TyFun a6989586621681099374 ([a6989586621681099374] ~> NonEmpty a6989586621681099374) -> Type) (a6989586621681101134 :: a6989586621681099374) = InsertSym1 a6989586621681101134 |
data InsertSym1 (a6989586621681101134 :: a6989586621681099374) :: (~>) [a6989586621681099374] (NonEmpty a6989586621681099374) 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 a6989586621681101134 :: TyFun [a6989586621681099374] (NonEmpty a6989586621681099374) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (InsertSym1 a6989586621681101134 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681101135 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type InsertSym2 (a6989586621681101134 :: a6989586621681099374) (a6989586621681101135 :: [a6989586621681099374]) = Insert a6989586621681101134 a6989586621681101135 Source #
data TakeSym0 :: forall a6989586621681099365. (~>) Nat ((~>) (NonEmpty a6989586621681099365) [a6989586621681099365]) Source #
Instances
SingI (TakeSym0 :: TyFun Nat (NonEmpty a ~> [a]) -> Type) Source # | |
SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681099365 ~> [a6989586621681099365]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681099365 ~> [a6989586621681099365]) -> Type) (a6989586621681101009 :: Nat) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data TakeSym1 (a6989586621681101009 :: Nat) :: forall a6989586621681099365. (~>) (NonEmpty a6989586621681099365) [a6989586621681099365] Source #
Instances
SingI d => SingI (TakeSym1 d a :: TyFun (NonEmpty a) [a] -> Type) Source # | |
SuppressUnusedWarnings (TakeSym1 a6989586621681101009 a6989586621681099365 :: TyFun (NonEmpty a6989586621681099365) [a6989586621681099365] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeSym1 a6989586621681101009 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681101010 :: NonEmpty a) Source # | |
type TakeSym2 (a6989586621681101009 :: Nat) (a6989586621681101010 :: NonEmpty a6989586621681099365) = Take a6989586621681101009 a6989586621681101010 Source #
data DropSym0 :: forall a6989586621681099364. (~>) Nat ((~>) (NonEmpty a6989586621681099364) [a6989586621681099364]) Source #
Instances
SingI (DropSym0 :: TyFun Nat (NonEmpty a ~> [a]) -> Type) Source # | |
SuppressUnusedWarnings (DropSym0 :: TyFun Nat (NonEmpty a6989586621681099364 ~> [a6989586621681099364]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropSym0 :: TyFun Nat (NonEmpty a6989586621681099364 ~> [a6989586621681099364]) -> Type) (a6989586621681101017 :: Nat) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data DropSym1 (a6989586621681101017 :: Nat) :: forall a6989586621681099364. (~>) (NonEmpty a6989586621681099364) [a6989586621681099364] Source #
Instances
SingI d => SingI (DropSym1 d a :: TyFun (NonEmpty a) [a] -> Type) Source # | |
SuppressUnusedWarnings (DropSym1 a6989586621681101017 a6989586621681099364 :: TyFun (NonEmpty a6989586621681099364) [a6989586621681099364] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropSym1 a6989586621681101017 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681101018 :: NonEmpty a) Source # | |
type DropSym2 (a6989586621681101017 :: Nat) (a6989586621681101018 :: NonEmpty a6989586621681099364) = Drop a6989586621681101017 a6989586621681101018 Source #
data SplitAtSym0 :: forall a6989586621681099363. (~>) Nat ((~>) (NonEmpty a6989586621681099363) ([a6989586621681099363], [a6989586621681099363])) 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 a6989586621681099363 ~> ([a6989586621681099363], [a6989586621681099363])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681099363 ~> ([a6989586621681099363], [a6989586621681099363])) -> Type) (a6989586621681101025 :: Nat) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681099363 ~> ([a6989586621681099363], [a6989586621681099363])) -> Type) (a6989586621681101025 :: Nat) = (SplitAtSym1 a6989586621681101025 a6989586621681099363 :: TyFun (NonEmpty a6989586621681099363) ([a6989586621681099363], [a6989586621681099363]) -> Type) |
data SplitAtSym1 (a6989586621681101025 :: Nat) :: forall a6989586621681099363. (~>) (NonEmpty a6989586621681099363) ([a6989586621681099363], [a6989586621681099363]) 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 a6989586621681101025 a6989586621681099363 :: TyFun (NonEmpty a6989586621681099363) ([a6989586621681099363], [a6989586621681099363]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SplitAtSym1 a6989586621681101025 a :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681101026 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type SplitAtSym2 (a6989586621681101025 :: Nat) (a6989586621681101026 :: NonEmpty a6989586621681099363) = SplitAt a6989586621681101025 a6989586621681101026 Source #
data TakeWhileSym0 :: forall a6989586621681099362. (~>) ((~>) a6989586621681099362 Bool) ((~>) (NonEmpty a6989586621681099362) [a6989586621681099362]) 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 (a6989586621681099362 ~> Bool) (NonEmpty a6989586621681099362 ~> [a6989586621681099362]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeWhileSym0 :: TyFun (a6989586621681099362 ~> Bool) (NonEmpty a6989586621681099362 ~> [a6989586621681099362]) -> Type) (a6989586621681101033 :: a6989586621681099362 ~> Bool) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data TakeWhileSym1 (a6989586621681101033 :: (~>) a6989586621681099362 Bool) :: (~>) (NonEmpty a6989586621681099362) [a6989586621681099362] 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 a6989586621681101033 :: TyFun (NonEmpty a6989586621681099362) [a6989586621681099362] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeWhileSym1 a6989586621681101033 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681101034 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type TakeWhileSym2 (a6989586621681101033 :: (~>) a6989586621681099362 Bool) (a6989586621681101034 :: NonEmpty a6989586621681099362) = TakeWhile a6989586621681101033 a6989586621681101034 Source #
data DropWhileSym0 :: forall a6989586621681099361. (~>) ((~>) a6989586621681099361 Bool) ((~>) (NonEmpty a6989586621681099361) [a6989586621681099361]) 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 (a6989586621681099361 ~> Bool) (NonEmpty a6989586621681099361 ~> [a6989586621681099361]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropWhileSym0 :: TyFun (a6989586621681099361 ~> Bool) (NonEmpty a6989586621681099361 ~> [a6989586621681099361]) -> Type) (a6989586621681101041 :: a6989586621681099361 ~> Bool) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data DropWhileSym1 (a6989586621681101041 :: (~>) a6989586621681099361 Bool) :: (~>) (NonEmpty a6989586621681099361) [a6989586621681099361] 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 a6989586621681101041 :: TyFun (NonEmpty a6989586621681099361) [a6989586621681099361] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropWhileSym1 a6989586621681101041 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681101042 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type DropWhileSym2 (a6989586621681101041 :: (~>) a6989586621681099361 Bool) (a6989586621681101042 :: NonEmpty a6989586621681099361) = DropWhile a6989586621681101041 a6989586621681101042 Source #
data SpanSym0 :: forall a6989586621681099360. (~>) ((~>) a6989586621681099360 Bool) ((~>) (NonEmpty a6989586621681099360) ([a6989586621681099360], [a6989586621681099360])) Source #
Instances
SingI (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) Source # | |
SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621681099360 ~> Bool) (NonEmpty a6989586621681099360 ~> ([a6989586621681099360], [a6989586621681099360])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SpanSym0 :: TyFun (a6989586621681099360 ~> Bool) (NonEmpty a6989586621681099360 ~> ([a6989586621681099360], [a6989586621681099360])) -> Type) (a6989586621681101049 :: a6989586621681099360 ~> Bool) Source # | |
data SpanSym1 (a6989586621681101049 :: (~>) a6989586621681099360 Bool) :: (~>) (NonEmpty a6989586621681099360) ([a6989586621681099360], [a6989586621681099360]) Source #
Instances
SingI d => SingI (SpanSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source # | |
SuppressUnusedWarnings (SpanSym1 a6989586621681101049 :: TyFun (NonEmpty a6989586621681099360) ([a6989586621681099360], [a6989586621681099360]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SpanSym1 a6989586621681101049 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681101050 :: NonEmpty a) Source # | |
type SpanSym2 (a6989586621681101049 :: (~>) a6989586621681099360 Bool) (a6989586621681101050 :: NonEmpty a6989586621681099360) = Span a6989586621681101049 a6989586621681101050 Source #
data BreakSym0 :: forall a6989586621681099359. (~>) ((~>) a6989586621681099359 Bool) ((~>) (NonEmpty a6989586621681099359) ([a6989586621681099359], [a6989586621681099359])) Source #
Instances
SingI (BreakSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) Source # | |
SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621681099359 ~> Bool) (NonEmpty a6989586621681099359 ~> ([a6989586621681099359], [a6989586621681099359])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (BreakSym0 :: TyFun (a6989586621681099359 ~> Bool) (NonEmpty a6989586621681099359 ~> ([a6989586621681099359], [a6989586621681099359])) -> Type) (a6989586621681101057 :: a6989586621681099359 ~> Bool) Source # | |
data BreakSym1 (a6989586621681101057 :: (~>) a6989586621681099359 Bool) :: (~>) (NonEmpty a6989586621681099359) ([a6989586621681099359], [a6989586621681099359]) Source #
Instances
SingI d => SingI (BreakSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source # | |
SuppressUnusedWarnings (BreakSym1 a6989586621681101057 :: TyFun (NonEmpty a6989586621681099359) ([a6989586621681099359], [a6989586621681099359]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (BreakSym1 a6989586621681101057 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681101058 :: NonEmpty a) Source # | |
type BreakSym2 (a6989586621681101057 :: (~>) a6989586621681099359 Bool) (a6989586621681101058 :: NonEmpty a6989586621681099359) = Break a6989586621681101057 a6989586621681101058 Source #
data FilterSym0 :: forall a6989586621681099358. (~>) ((~>) a6989586621681099358 Bool) ((~>) (NonEmpty a6989586621681099358) [a6989586621681099358]) 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 (a6989586621681099358 ~> Bool) (NonEmpty a6989586621681099358 ~> [a6989586621681099358]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (FilterSym0 :: TyFun (a6989586621681099358 ~> Bool) (NonEmpty a6989586621681099358 ~> [a6989586621681099358]) -> Type) (a6989586621681101065 :: a6989586621681099358 ~> Bool) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data FilterSym1 (a6989586621681101065 :: (~>) a6989586621681099358 Bool) :: (~>) (NonEmpty a6989586621681099358) [a6989586621681099358] 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 a6989586621681101065 :: TyFun (NonEmpty a6989586621681099358) [a6989586621681099358] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (FilterSym1 a6989586621681101065 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681101066 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type FilterSym2 (a6989586621681101065 :: (~>) a6989586621681099358 Bool) (a6989586621681101066 :: NonEmpty a6989586621681099358) = Filter a6989586621681101065 a6989586621681101066 Source #
data PartitionSym0 :: forall a6989586621681099357. (~>) ((~>) a6989586621681099357 Bool) ((~>) (NonEmpty a6989586621681099357) ([a6989586621681099357], [a6989586621681099357])) 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 (a6989586621681099357 ~> Bool) (NonEmpty a6989586621681099357 ~> ([a6989586621681099357], [a6989586621681099357])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (PartitionSym0 :: TyFun (a6989586621681099357 ~> Bool) (NonEmpty a6989586621681099357 ~> ([a6989586621681099357], [a6989586621681099357])) -> Type) (a6989586621681101073 :: a6989586621681099357 ~> Bool) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data PartitionSym1 (a6989586621681101073 :: (~>) a6989586621681099357 Bool) :: (~>) (NonEmpty a6989586621681099357) ([a6989586621681099357], [a6989586621681099357]) 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 a6989586621681101073 :: TyFun (NonEmpty a6989586621681099357) ([a6989586621681099357], [a6989586621681099357]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (PartitionSym1 a6989586621681101073 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681101074 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type PartitionSym2 (a6989586621681101073 :: (~>) a6989586621681099357 Bool) (a6989586621681101074 :: NonEmpty a6989586621681099357) = Partition a6989586621681101073 a6989586621681101074 Source #
data GroupSym0 :: forall a6989586621681099356. (~>) [a6989586621681099356] [NonEmpty a6989586621681099356] Source #
Instances
SEq a => SingI (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) Source # | |
SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621681099356] [NonEmpty a6989586621681099356] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681100985 :: [a]) Source # | |
type GroupSym1 (a6989586621681100985 :: [a6989586621681099356]) = Group a6989586621681100985 Source #
data GroupBySym0 :: forall a6989586621681099355. (~>) ((~>) a6989586621681099355 ((~>) a6989586621681099355 Bool)) ((~>) [a6989586621681099355] [NonEmpty a6989586621681099355]) 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 (a6989586621681099355 ~> (a6989586621681099355 ~> Bool)) ([a6989586621681099355] ~> [NonEmpty a6989586621681099355]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBySym0 :: TyFun (a6989586621681099355 ~> (a6989586621681099355 ~> Bool)) ([a6989586621681099355] ~> [NonEmpty a6989586621681099355]) -> Type) (a6989586621681100875 :: a6989586621681099355 ~> (a6989586621681099355 ~> Bool)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data GroupBySym1 (a6989586621681100875 :: (~>) a6989586621681099355 ((~>) a6989586621681099355 Bool)) :: (~>) [a6989586621681099355] [NonEmpty a6989586621681099355] 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 a6989586621681100875 :: TyFun [a6989586621681099355] [NonEmpty a6989586621681099355] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBySym1 a6989586621681100875 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681100876 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type GroupBySym2 (a6989586621681100875 :: (~>) a6989586621681099355 ((~>) a6989586621681099355 Bool)) (a6989586621681100876 :: [a6989586621681099355]) = GroupBy a6989586621681100875 a6989586621681100876 Source #
data GroupWithSym0 :: forall a6989586621681099354 b6989586621681099353. (~>) ((~>) a6989586621681099354 b6989586621681099353) ((~>) [a6989586621681099354] [NonEmpty a6989586621681099354]) 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 (a6989586621681099354 ~> b6989586621681099353) ([a6989586621681099354] ~> [NonEmpty a6989586621681099354]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWithSym0 :: TyFun (a6989586621681099354 ~> b6989586621681099353) ([a6989586621681099354] ~> [NonEmpty a6989586621681099354]) -> Type) (a6989586621681100923 :: a6989586621681099354 ~> b6989586621681099353) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWithSym0 :: TyFun (a6989586621681099354 ~> b6989586621681099353) ([a6989586621681099354] ~> [NonEmpty a6989586621681099354]) -> Type) (a6989586621681100923 :: a6989586621681099354 ~> b6989586621681099353) = GroupWithSym1 a6989586621681100923 |
data GroupWithSym1 (a6989586621681100923 :: (~>) a6989586621681099354 b6989586621681099353) :: (~>) [a6989586621681099354] [NonEmpty a6989586621681099354] 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 a6989586621681100923 :: TyFun [a6989586621681099354] [NonEmpty a6989586621681099354] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWithSym1 a6989586621681100923 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681100924 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type GroupWithSym2 (a6989586621681100923 :: (~>) a6989586621681099354 b6989586621681099353) (a6989586621681100924 :: [a6989586621681099354]) = GroupWith a6989586621681100923 a6989586621681100924 Source #
data GroupAllWithSym0 :: forall a6989586621681099352 b6989586621681099351. (~>) ((~>) a6989586621681099352 b6989586621681099351) ((~>) [a6989586621681099352] [NonEmpty a6989586621681099352]) 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 (a6989586621681099352 ~> b6989586621681099351) ([a6989586621681099352] ~> [NonEmpty a6989586621681099352]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWithSym0 :: TyFun (a6989586621681099352 ~> b6989586621681099351) ([a6989586621681099352] ~> [NonEmpty a6989586621681099352]) -> Type) (a6989586621681100931 :: a6989586621681099352 ~> b6989586621681099351) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWithSym0 :: TyFun (a6989586621681099352 ~> b6989586621681099351) ([a6989586621681099352] ~> [NonEmpty a6989586621681099352]) -> Type) (a6989586621681100931 :: a6989586621681099352 ~> b6989586621681099351) = GroupAllWithSym1 a6989586621681100931 |
data GroupAllWithSym1 (a6989586621681100931 :: (~>) a6989586621681099352 b6989586621681099351) :: (~>) [a6989586621681099352] [NonEmpty a6989586621681099352] 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 a6989586621681100931 :: TyFun [a6989586621681099352] [NonEmpty a6989586621681099352] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWithSym1 a6989586621681100931 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681100932 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWithSym1 a6989586621681100931 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681100932 :: [a]) = GroupAllWith a6989586621681100931 a6989586621681100932 |
type GroupAllWithSym2 (a6989586621681100931 :: (~>) a6989586621681099352 b6989586621681099351) (a6989586621681100932 :: [a6989586621681099352]) = GroupAllWith a6989586621681100931 a6989586621681100932 Source #
data Group1Sym0 :: forall a6989586621681099350. (~>) (NonEmpty a6989586621681099350) (NonEmpty (NonEmpty a6989586621681099350)) 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 a6989586621681099350) (NonEmpty (NonEmpty a6989586621681099350)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681100972 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type Group1Sym1 (a6989586621681100972 :: NonEmpty a6989586621681099350) = Group1 a6989586621681100972 Source #
data GroupBy1Sym0 :: forall a6989586621681099349. (~>) ((~>) a6989586621681099349 ((~>) a6989586621681099349 Bool)) ((~>) (NonEmpty a6989586621681099349) (NonEmpty (NonEmpty a6989586621681099349))) 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 (a6989586621681099349 ~> (a6989586621681099349 ~> Bool)) (NonEmpty a6989586621681099349 ~> NonEmpty (NonEmpty a6989586621681099349)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBy1Sym0 :: TyFun (a6989586621681099349 ~> (a6989586621681099349 ~> Bool)) (NonEmpty a6989586621681099349 ~> NonEmpty (NonEmpty a6989586621681099349)) -> Type) (a6989586621681100939 :: a6989586621681099349 ~> (a6989586621681099349 ~> Bool)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data GroupBy1Sym1 (a6989586621681100939 :: (~>) a6989586621681099349 ((~>) a6989586621681099349 Bool)) :: (~>) (NonEmpty a6989586621681099349) (NonEmpty (NonEmpty a6989586621681099349)) 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 a6989586621681100939 :: TyFun (NonEmpty a6989586621681099349) (NonEmpty (NonEmpty a6989586621681099349)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBy1Sym1 a6989586621681100939 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681100940 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type GroupBy1Sym2 (a6989586621681100939 :: (~>) a6989586621681099349 ((~>) a6989586621681099349 Bool)) (a6989586621681100940 :: NonEmpty a6989586621681099349) = GroupBy1 a6989586621681100939 a6989586621681100940 Source #
data GroupWith1Sym0 :: forall a6989586621681099348 b6989586621681099347. (~>) ((~>) a6989586621681099348 b6989586621681099347) ((~>) (NonEmpty a6989586621681099348) (NonEmpty (NonEmpty a6989586621681099348))) 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 (a6989586621681099348 ~> b6989586621681099347) (NonEmpty a6989586621681099348 ~> NonEmpty (NonEmpty a6989586621681099348)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWith1Sym0 :: TyFun (a6989586621681099348 ~> b6989586621681099347) (NonEmpty a6989586621681099348 ~> NonEmpty (NonEmpty a6989586621681099348)) -> Type) (a6989586621681100975 :: a6989586621681099348 ~> b6989586621681099347) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data GroupWith1Sym1 (a6989586621681100975 :: (~>) a6989586621681099348 b6989586621681099347) :: (~>) (NonEmpty a6989586621681099348) (NonEmpty (NonEmpty a6989586621681099348)) 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 a6989586621681100975 :: TyFun (NonEmpty a6989586621681099348) (NonEmpty (NonEmpty a6989586621681099348)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWith1Sym1 a6989586621681100975 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681100976 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWith1Sym1 a6989586621681100975 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681100976 :: NonEmpty a) = GroupWith1 a6989586621681100975 a6989586621681100976 |
type GroupWith1Sym2 (a6989586621681100975 :: (~>) a6989586621681099348 b6989586621681099347) (a6989586621681100976 :: NonEmpty a6989586621681099348) = GroupWith1 a6989586621681100975 a6989586621681100976 Source #
data GroupAllWith1Sym0 :: forall a6989586621681099346 b6989586621681099345. (~>) ((~>) a6989586621681099346 b6989586621681099345) ((~>) (NonEmpty a6989586621681099346) (NonEmpty (NonEmpty a6989586621681099346))) 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 (a6989586621681099346 ~> b6989586621681099345) (NonEmpty a6989586621681099346 ~> NonEmpty (NonEmpty a6989586621681099346)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWith1Sym0 :: TyFun (a6989586621681099346 ~> b6989586621681099345) (NonEmpty a6989586621681099346 ~> NonEmpty (NonEmpty a6989586621681099346)) -> Type) (a6989586621681101116 :: a6989586621681099346 ~> b6989586621681099345) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data GroupAllWith1Sym1 (a6989586621681101116 :: (~>) a6989586621681099346 b6989586621681099345) :: (~>) (NonEmpty a6989586621681099346) (NonEmpty (NonEmpty a6989586621681099346)) 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 a6989586621681101116 :: TyFun (NonEmpty a6989586621681099346) (NonEmpty (NonEmpty a6989586621681099346)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWith1Sym1 a6989586621681101116 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681101117 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWith1Sym1 a6989586621681101116 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681101117 :: NonEmpty a) = GroupAllWith1 a6989586621681101116 a6989586621681101117 |
type GroupAllWith1Sym2 (a6989586621681101116 :: (~>) a6989586621681099346 b6989586621681099345) (a6989586621681101117 :: NonEmpty a6989586621681099346) = GroupAllWith1 a6989586621681101116 a6989586621681101117 Source #
data IsPrefixOfSym0 :: forall a6989586621681099344. (~>) [a6989586621681099344] ((~>) (NonEmpty a6989586621681099344) 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 [a6989586621681099344] (NonEmpty a6989586621681099344 ~> Bool) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IsPrefixOfSym0 :: TyFun [a6989586621681099344] (NonEmpty a6989586621681099344 ~> Bool) -> Type) (a6989586621681100867 :: [a6989586621681099344]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym0 :: TyFun [a6989586621681099344] (NonEmpty a6989586621681099344 ~> Bool) -> Type) (a6989586621681100867 :: [a6989586621681099344]) = IsPrefixOfSym1 a6989586621681100867 |
data IsPrefixOfSym1 (a6989586621681100867 :: [a6989586621681099344]) :: (~>) (NonEmpty a6989586621681099344) 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 a6989586621681100867 :: TyFun (NonEmpty a6989586621681099344) Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IsPrefixOfSym1 a6989586621681100867 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681100868 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym1 a6989586621681100867 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681100868 :: NonEmpty a) = IsPrefixOf a6989586621681100867 a6989586621681100868 |
type IsPrefixOfSym2 (a6989586621681100867 :: [a6989586621681099344]) (a6989586621681100868 :: NonEmpty a6989586621681099344) = IsPrefixOf a6989586621681100867 a6989586621681100868 Source #
data NubSym0 :: forall a6989586621681099335. (~>) (NonEmpty a6989586621681099335) (NonEmpty a6989586621681099335) Source #
Instances
SEq a => SingI (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621681099335) (NonEmpty a6989586621681099335) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681100798 :: NonEmpty a) Source # | |
type NubSym1 (a6989586621681100798 :: NonEmpty a6989586621681099335) = Nub a6989586621681100798 Source #
data NubBySym0 :: forall a6989586621681099334. (~>) ((~>) a6989586621681099334 ((~>) a6989586621681099334 Bool)) ((~>) (NonEmpty a6989586621681099334) (NonEmpty a6989586621681099334)) Source #
Instances
SingI (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621681099334 ~> (a6989586621681099334 ~> Bool)) (NonEmpty a6989586621681099334 ~> NonEmpty a6989586621681099334) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NubBySym0 :: TyFun (a6989586621681099334 ~> (a6989586621681099334 ~> Bool)) (NonEmpty a6989586621681099334 ~> NonEmpty a6989586621681099334) -> Type) (a6989586621681100781 :: a6989586621681099334 ~> (a6989586621681099334 ~> Bool)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data NubBySym1 (a6989586621681100781 :: (~>) a6989586621681099334 ((~>) a6989586621681099334 Bool)) :: (~>) (NonEmpty a6989586621681099334) (NonEmpty a6989586621681099334) Source #
Instances
SingI d => SingI (NubBySym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # | |
SuppressUnusedWarnings (NubBySym1 a6989586621681100781 :: TyFun (NonEmpty a6989586621681099334) (NonEmpty a6989586621681099334) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NubBySym1 a6989586621681100781 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681100782 :: NonEmpty a) Source # | |
type NubBySym2 (a6989586621681100781 :: (~>) a6989586621681099334 ((~>) a6989586621681099334 Bool)) (a6989586621681100782 :: NonEmpty a6989586621681099334) = NubBy a6989586621681100781 a6989586621681100782 Source #
data (!!@#@$) :: forall a6989586621681099343. (~>) (NonEmpty a6989586621681099343) ((~>) Nat a6989586621681099343) Source #
Instances
SingI ((!!@#@$) :: TyFun (NonEmpty a) (Nat ~> a) -> Type) Source # | |
SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621681099343) (Nat ~> a6989586621681099343) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621681099343) (Nat ~> a6989586621681099343) -> Type) (a6989586621681100849 :: NonEmpty a6989586621681099343) Source # | |
data (!!@#@$$) (a6989586621681100849 :: NonEmpty a6989586621681099343) :: (~>) Nat a6989586621681099343 Source #
Instances
SingI d => SingI ((!!@#@$$) d :: TyFun Nat a -> Type) Source # | |
SuppressUnusedWarnings ((!!@#@$$) a6989586621681100849 :: TyFun Nat a6989586621681099343 -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply ((!!@#@$$) a6989586621681100849 :: TyFun Nat a -> Type) (a6989586621681100850 :: Nat) Source # | |
type (!!@#@$$$) (a6989586621681100849 :: NonEmpty a6989586621681099343) (a6989586621681100850 :: Nat) = (!!) a6989586621681100849 a6989586621681100850 Source #
data ZipSym0 :: forall a6989586621681099341 b6989586621681099342. (~>) (NonEmpty a6989586621681099341) ((~>) (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342))) Source #
Instances
SingI (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type) Source # | |
SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621681099341) (NonEmpty b6989586621681099342 ~> NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681099341) (NonEmpty b6989586621681099342 ~> NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type) (a6989586621681100841 :: NonEmpty a6989586621681099341) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681099341) (NonEmpty b6989586621681099342 ~> NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type) (a6989586621681100841 :: NonEmpty a6989586621681099341) = (ZipSym1 a6989586621681100841 b6989586621681099342 :: TyFun (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type) |
data ZipSym1 (a6989586621681100841 :: NonEmpty a6989586621681099341) :: forall b6989586621681099342. (~>) (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342)) Source #
Instances
SingI d => SingI (ZipSym1 d b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) Source # | |
SuppressUnusedWarnings (ZipSym1 a6989586621681100841 b6989586621681099342 :: TyFun (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipSym1 a6989586621681100841 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681100842 :: NonEmpty b) Source # | |
type ZipSym2 (a6989586621681100841 :: NonEmpty a6989586621681099341) (a6989586621681100842 :: NonEmpty b6989586621681099342) = Zip a6989586621681100841 a6989586621681100842 Source #
data ZipWithSym0 :: forall a6989586621681099338 b6989586621681099339 c6989586621681099340. (~>) ((~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) ((~>) (NonEmpty a6989586621681099338) ((~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340))) 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 (a6989586621681099338 ~> (b6989586621681099339 ~> c6989586621681099340)) (NonEmpty a6989586621681099338 ~> (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithSym0 :: TyFun (a6989586621681099338 ~> (b6989586621681099339 ~> c6989586621681099340)) (NonEmpty a6989586621681099338 ~> (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340)) -> Type) (a6989586621681100830 :: a6989586621681099338 ~> (b6989586621681099339 ~> c6989586621681099340)) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym0 :: TyFun (a6989586621681099338 ~> (b6989586621681099339 ~> c6989586621681099340)) (NonEmpty a6989586621681099338 ~> (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340)) -> Type) (a6989586621681100830 :: a6989586621681099338 ~> (b6989586621681099339 ~> c6989586621681099340)) = ZipWithSym1 a6989586621681100830 |
data ZipWithSym1 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) :: (~>) (NonEmpty a6989586621681099338) ((~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340)) 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 a6989586621681100830 :: TyFun (NonEmpty a6989586621681099338) (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithSym1 a6989586621681100830 :: TyFun (NonEmpty a6989586621681099338) (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340) -> Type) (a6989586621681100831 :: NonEmpty a6989586621681099338) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym1 a6989586621681100830 :: TyFun (NonEmpty a6989586621681099338) (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340) -> Type) (a6989586621681100831 :: NonEmpty a6989586621681099338) = ZipWithSym2 a6989586621681100830 a6989586621681100831 |
data ZipWithSym2 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) (a6989586621681100831 :: NonEmpty a6989586621681099338) :: (~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340) 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 a6989586621681100831 a6989586621681100830 :: TyFun (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithSym2 a6989586621681100831 a6989586621681100830 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681100832 :: NonEmpty b) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type ZipWithSym3 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) (a6989586621681100831 :: NonEmpty a6989586621681099338) (a6989586621681100832 :: NonEmpty b6989586621681099339) = ZipWith a6989586621681100830 a6989586621681100831 a6989586621681100832 Source #
data UnzipSym0 :: forall a6989586621681099336 b6989586621681099337. (~>) (NonEmpty (a6989586621681099336, b6989586621681099337)) (NonEmpty a6989586621681099336, NonEmpty b6989586621681099337) Source #
Instances
SingI (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) Source # | |
SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621681099336, b6989586621681099337)) (NonEmpty a6989586621681099336, NonEmpty b6989586621681099337) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) (a6989586621681100801 :: NonEmpty (a, b)) Source # | |
type UnzipSym1 (a6989586621681100801 :: NonEmpty (a6989586621681099336, b6989586621681099337)) = Unzip a6989586621681100801 Source #
data FromListSym0 :: forall a6989586621681099382. (~>) [a6989586621681099382] (NonEmpty a6989586621681099382) 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 [a6989586621681099382] (NonEmpty a6989586621681099382) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681101081 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type FromListSym1 (a6989586621681101081 :: [a6989586621681099382]) = FromList a6989586621681101081 Source #
data ToListSym0 :: forall a6989586621681099381. (~>) (NonEmpty a6989586621681099381) [a6989586621681099381] 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 a6989586621681099381) [a6989586621681099381] -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681101005 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type ToListSym1 (a6989586621681101005 :: NonEmpty a6989586621681099381) = ToList a6989586621681101005 Source #
data NonEmpty_Sym0 :: forall a6989586621681099393. (~>) [a6989586621681099393] (Maybe (NonEmpty a6989586621681099393)) 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 [a6989586621681099393] (Maybe (NonEmpty a6989586621681099393)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) (a6989586621681101243 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type NonEmpty_Sym1 (a6989586621681101243 :: [a6989586621681099393]) = NonEmpty_ a6989586621681101243 Source #