singletons-2.6: A framework for generating singleton types
Copyright(C) 2016 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRyan Scott
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Singletons.Prelude.List.NonEmpty

Description

Defines functions and datatypes relating to the singleton for NonEmpty, including a singletons version of all the definitions in Data.List.NonEmpty.

Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Please look up the corresponding operation in Data.List.NonEmpty. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

Synopsis
  • type family Sing :: k -> Type
  • data SNonEmpty :: forall a. NonEmpty a -> Type where
  • type family Map (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty b where ...
  • sMap :: forall a b (t :: (~>) a b) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: NonEmpty b)
  • type family Intersperse (a :: a) (a :: NonEmpty a) :: NonEmpty a where ...
  • sIntersperse :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a)
  • type family Scanl (a :: (~>) b ((~>) a b)) (a :: b) (a :: [a]) :: NonEmpty b where ...
  • sScanl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: NonEmpty b)
  • type family Scanr (a :: (~>) a ((~>) b b)) (a :: b) (a :: [a]) :: NonEmpty b where ...
  • sScanr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: NonEmpty b)
  • type family Scanl1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ...
  • sScanl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a)
  • type family Scanr1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ...
  • sScanr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: NonEmpty a)
  • type family Transpose (a :: NonEmpty (NonEmpty a)) :: NonEmpty (NonEmpty a) where ...
  • sTranspose :: forall a (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a))
  • type family SortBy (a :: (~>) a ((~>) a Ordering)) (a :: NonEmpty a) :: NonEmpty a where ...
  • sSortBy :: forall a (t :: (~>) a ((~>) a Ordering)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a)
  • type family SortWith (a :: (~>) a o) (a :: NonEmpty a) :: NonEmpty a where ...
  • sSortWith :: forall a o (t :: (~>) a o) (t :: NonEmpty a). SOrd o => Sing t -> Sing t -> Sing (Apply (Apply SortWithSym0 t) t :: NonEmpty a)
  • type family Length (a :: NonEmpty a) :: Nat where ...
  • sLength :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LengthSym0 t :: Nat)
  • type family Head (a :: NonEmpty a) :: a where ...
  • sHead :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply HeadSym0 t :: a)
  • type family Tail (a :: NonEmpty a) :: [a] where ...
  • sTail :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply TailSym0 t :: [a])
  • type family Last (a :: NonEmpty a) :: a where ...
  • sLast :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LastSym0 t :: a)
  • type family Init (a :: NonEmpty a) :: [a] where ...
  • sInit :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply InitSym0 t :: [a])
  • type family (a :: a) <| (a :: NonEmpty a) :: NonEmpty a where ...
  • (%<|) :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply (<|@#@$) t) t :: NonEmpty a)
  • type family Cons (a :: a) (a :: NonEmpty a) :: NonEmpty a where ...
  • sCons :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply ConsSym0 t) t :: NonEmpty a)
  • type family Uncons (a :: NonEmpty a) :: (a, Maybe (NonEmpty a)) where ...
  • sUncons :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a)))
  • type family Unfoldr (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ...
  • sUnfoldr :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldrSym0 t) t :: NonEmpty b)
  • type family Sort (a :: NonEmpty a) :: NonEmpty a where ...
  • sSort :: forall a (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a)
  • type family Reverse (a :: NonEmpty a) :: NonEmpty a where ...
  • sReverse :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ReverseSym0 t :: NonEmpty a)
  • type family Inits (a :: [a]) :: NonEmpty [a] where ...
  • sInits :: forall a (t :: [a]). Sing t -> Sing (Apply InitsSym0 t :: NonEmpty [a])
  • type family Tails (a :: [a]) :: NonEmpty [a] where ...
  • sTails :: forall a (t :: [a]). Sing t -> Sing (Apply TailsSym0 t :: NonEmpty [a])
  • type family Unfold (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ...
  • sUnfold :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldSym0 t) t :: NonEmpty b)
  • type family Insert (a :: a) (a :: [a]) :: NonEmpty a where ...
  • sInsert :: forall a (t :: a) (t :: [a]). SOrd a => Sing t -> Sing t -> Sing (Apply (Apply InsertSym0 t) t :: NonEmpty a)
  • type family Take (a :: Nat) (a :: NonEmpty a) :: [a] where ...
  • sTake :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a])
  • type family Drop (a :: Nat) (a :: NonEmpty a) :: [a] where ...
  • sDrop :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a])
  • type family SplitAt (a :: Nat) (a :: NonEmpty a) :: ([a], [a]) where ...
  • sSplitAt :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a]))
  • type family TakeWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
  • sTakeWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a])
  • type family DropWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
  • sDropWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a])
  • type family Span (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
  • sSpan :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a]))
  • type family Break (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
  • sBreak :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a]))
  • type family Filter (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
  • sFilter :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a])
  • type family Partition (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
  • sPartition :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply PartitionSym0 t) t :: ([a], [a]))
  • type family Group (a :: [a]) :: [NonEmpty a] where ...
  • sGroup :: forall a (t :: [a]). SEq a => Sing t -> Sing (Apply GroupSym0 t :: [NonEmpty a])
  • type family GroupBy (a :: (~>) a ((~>) a Bool)) (a :: [a]) :: [NonEmpty a] where ...
  • sGroupBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a])
  • type family GroupWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ...
  • sGroupWith :: forall a b (t :: (~>) a b) (t :: [a]). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWithSym0 t) t :: [NonEmpty a])
  • type family GroupAllWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ...
  • sGroupAllWith :: forall a b (t :: (~>) a b) (t :: [a]). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWithSym0 t) t :: [NonEmpty a])
  • type family Group1 (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
  • sGroup1 :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a))
  • type family GroupBy1 (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
  • sGroupBy1 :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a))
  • type family GroupWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
  • sGroupWith1 :: forall a b (t :: (~>) a b) (t :: NonEmpty a). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWith1Sym0 t) t :: NonEmpty (NonEmpty a))
  • type family GroupAllWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
  • sGroupAllWith1 :: forall a b (t :: (~>) a b) (t :: NonEmpty a). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWith1Sym0 t) t :: NonEmpty (NonEmpty a))
  • type family IsPrefixOf (a :: [a]) (a :: NonEmpty a) :: Bool where ...
  • sIsPrefixOf :: forall a (t :: [a]) (t :: NonEmpty a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply IsPrefixOfSym0 t) t :: Bool)
  • type family Nub (a :: NonEmpty a) :: NonEmpty a where ...
  • sNub :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply NubSym0 t :: NonEmpty a)
  • type family NubBy (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty a where ...
  • sNubBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply NubBySym0 t) t :: NonEmpty a)
  • type family (a :: NonEmpty a) !! (a :: Nat) :: a where ...
  • (%!!) :: forall a (t :: NonEmpty a) (t :: Nat). Sing t -> Sing t -> Sing (Apply (Apply (!!@#@$) t) t :: a)
  • type family Zip (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty (a, b) where ...
  • sZip :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b))
  • type family ZipWith (a :: (~>) a ((~>) b c)) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ...
  • sZipWith :: forall a b c (t :: (~>) a ((~>) b c)) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: NonEmpty c)
  • type family Unzip (a :: NonEmpty (a, b)) :: (NonEmpty a, NonEmpty b) where ...
  • sUnzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b))
  • type family FromList (a :: [a]) :: NonEmpty a where ...
  • sFromList :: forall a (t :: [a]). Sing t -> Sing (Apply FromListSym0 t :: NonEmpty a)
  • type family ToList (a :: NonEmpty a) :: [a] where ...
  • sToList :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ToListSym0 t :: [a])
  • type family NonEmpty_ (a :: [a]) :: Maybe (NonEmpty a) where ...
  • sNonEmpty_ :: forall a (t :: [a]). Sing t -> Sing (Apply NonEmpty_Sym0 t :: Maybe (NonEmpty a))
  • type family Xor (a :: NonEmpty Bool) :: Bool where ...
  • sXor :: forall (t :: NonEmpty Bool). Sing t -> Sing (Apply XorSym0 t :: Bool)
  • data (:|@#@$) :: forall (a6989586621679059398 :: Type). (~>) a6989586621679059398 ((~>) [a6989586621679059398] (NonEmpty (a6989586621679059398 :: Type)))
  • data (:|@#@$$) (t6989586621679310974 :: a6989586621679059398 :: Type) :: (~>) [a6989586621679059398] (NonEmpty (a6989586621679059398 :: Type))
  • type (:|@#@$$$) (t6989586621679310974 :: a6989586621679059398) (t6989586621679310975 :: [a6989586621679059398]) = '(:|) t6989586621679310974 t6989586621679310975
  • data MapSym0 :: forall a6989586621681159624 b6989586621681159625. (~>) ((~>) a6989586621681159624 b6989586621681159625) ((~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625))
  • data MapSym1 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) :: (~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625)
  • type MapSym2 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) (a6989586621681161239 :: NonEmpty a6989586621681159624) = Map a6989586621681161238 a6989586621681161239
  • data IntersperseSym0 :: forall a6989586621681159614. (~>) a6989586621681159614 ((~>) (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614))
  • data IntersperseSym1 (a6989586621681161174 :: a6989586621681159614) :: (~>) (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614)
  • type IntersperseSym2 (a6989586621681161174 :: a6989586621681159614) (a6989586621681161175 :: NonEmpty a6989586621681159614) = Intersperse a6989586621681161174 a6989586621681161175
  • data ScanlSym0 :: forall b6989586621681159619 a6989586621681159620. (~>) ((~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) ((~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619)))
  • data ScanlSym1 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) :: (~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619))
  • data ScanlSym2 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) :: (~>) [a6989586621681159620] (NonEmpty b6989586621681159619)
  • type ScanlSym3 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) (a6989586621681161211 :: [a6989586621681159620]) = Scanl a6989586621681161209 a6989586621681161210 a6989586621681161211
  • data ScanrSym0 :: forall a6989586621681159617 b6989586621681159618. (~>) ((~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) ((~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618)))
  • data ScanrSym1 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) :: (~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618))
  • data ScanrSym2 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) :: (~>) [a6989586621681159617] (NonEmpty b6989586621681159618)
  • type ScanrSym3 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) (a6989586621681161200 :: [a6989586621681159617]) = Scanr a6989586621681161198 a6989586621681161199 a6989586621681161200
  • data Scanl1Sym0 :: forall a6989586621681159616. (~>) ((~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) ((~>) (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616))
  • data Scanl1Sym1 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) :: (~>) (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616)
  • type Scanl1Sym2 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) (a6989586621681161192 :: NonEmpty a6989586621681159616) = Scanl1 a6989586621681161191 a6989586621681161192
  • data Scanr1Sym0 :: forall a6989586621681159615. (~>) ((~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) ((~>) (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615))
  • data Scanr1Sym1 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) :: (~>) (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615)
  • type Scanr1Sym2 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) (a6989586621681161185 :: NonEmpty a6989586621681159615) = Scanr1 a6989586621681161184 a6989586621681161185
  • data TransposeSym0 :: forall a6989586621681159580. (~>) (NonEmpty (NonEmpty a6989586621681159580)) (NonEmpty (NonEmpty a6989586621681159580))
  • type TransposeSym1 (a6989586621681160879 :: NonEmpty (NonEmpty a6989586621681159580)) = Transpose a6989586621681160879
  • data SortBySym0 :: forall a6989586621681159579. (~>) ((~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) ((~>) (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579))
  • data SortBySym1 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) :: (~>) (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579)
  • type SortBySym2 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) (a6989586621681160870 :: NonEmpty a6989586621681159579) = SortBy a6989586621681160869 a6989586621681160870
  • data SortWithSym0 :: forall a6989586621681159578 o6989586621681159577. (~>) ((~>) a6989586621681159578 o6989586621681159577) ((~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578))
  • data SortWithSym1 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) :: (~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578)
  • type SortWithSym2 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) (a6989586621681160864 :: NonEmpty a6989586621681159578) = SortWith a6989586621681160863 a6989586621681160864
  • data LengthSym0 :: forall a6989586621681159643. (~>) (NonEmpty a6989586621681159643) Nat
  • type LengthSym1 (a6989586621681161362 :: NonEmpty a6989586621681159643) = Length a6989586621681161362
  • data HeadSym0 :: forall a6989586621681159636. (~>) (NonEmpty a6989586621681159636) a6989586621681159636
  • type HeadSym1 (a6989586621681161294 :: NonEmpty a6989586621681159636) = Head a6989586621681161294
  • data TailSym0 :: forall a6989586621681159635. (~>) (NonEmpty a6989586621681159635) [a6989586621681159635]
  • type TailSym1 (a6989586621681161291 :: NonEmpty a6989586621681159635) = Tail a6989586621681161291
  • data LastSym0 :: forall a6989586621681159634. (~>) (NonEmpty a6989586621681159634) a6989586621681159634
  • type LastSym1 (a6989586621681161287 :: NonEmpty a6989586621681159634) = Last a6989586621681161287
  • data InitSym0 :: forall a6989586621681159633. (~>) (NonEmpty a6989586621681159633) [a6989586621681159633]
  • type InitSym1 (a6989586621681161283 :: NonEmpty a6989586621681159633) = Init a6989586621681161283
  • data (<|@#@$) :: forall a6989586621681159632. (~>) a6989586621681159632 ((~>) (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632))
  • data (<|@#@$$) (a6989586621681161276 :: a6989586621681159632) :: (~>) (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632)
  • type (<|@#@$$$) (a6989586621681161276 :: a6989586621681159632) (a6989586621681161277 :: NonEmpty a6989586621681159632) = (<|) a6989586621681161276 a6989586621681161277
  • data ConsSym0 :: forall a6989586621681159631. (~>) a6989586621681159631 ((~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631))
  • data ConsSym1 (a6989586621681161270 :: a6989586621681159631) :: (~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631)
  • type ConsSym2 (a6989586621681161270 :: a6989586621681159631) (a6989586621681161271 :: NonEmpty a6989586621681159631) = Cons a6989586621681161270 a6989586621681161271
  • data UnconsSym0 :: forall a6989586621681159639. (~>) (NonEmpty a6989586621681159639) (a6989586621681159639, Maybe (NonEmpty a6989586621681159639))
  • type UnconsSym1 (a6989586621681161326 :: NonEmpty a6989586621681159639) = Uncons a6989586621681161326
  • data UnfoldrSym0 :: forall a6989586621681159637 b6989586621681159638. (~>) ((~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) ((~>) a6989586621681159637 (NonEmpty b6989586621681159638))
  • data UnfoldrSym1 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) :: (~>) a6989586621681159637 (NonEmpty b6989586621681159638)
  • type UnfoldrSym2 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681161298 :: a6989586621681159637) = Unfoldr a6989586621681161297 a6989586621681161298
  • data SortSym0 :: forall a6989586621681159630. (~>) (NonEmpty a6989586621681159630) (NonEmpty a6989586621681159630)
  • type SortSym1 (a6989586621681161263 :: NonEmpty a6989586621681159630) = Sort a6989586621681161263
  • data ReverseSym0 :: forall a6989586621681159613. (~>) (NonEmpty a6989586621681159613) (NonEmpty a6989586621681159613)
  • type ReverseSym1 (a6989586621681161171 :: NonEmpty a6989586621681159613) = Reverse a6989586621681161171
  • data InitsSym0 :: forall a6989586621681159623. (~>) [a6989586621681159623] (NonEmpty [a6989586621681159623])
  • type InitsSym1 (a6989586621681161235 :: [a6989586621681159623]) = Inits a6989586621681161235
  • data TailsSym0 :: forall a6989586621681159622. (~>) [a6989586621681159622] (NonEmpty [a6989586621681159622])
  • type TailsSym1 (a6989586621681161230 :: [a6989586621681159622]) = Tails a6989586621681161230
  • data UnfoldSym0 :: forall a6989586621681159641 b6989586621681159642. (~>) ((~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) ((~>) a6989586621681159641 (NonEmpty b6989586621681159642))
  • data UnfoldSym1 (a6989586621681161334 :: (~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) :: (~>) a6989586621681159641 (NonEmpty b6989586621681159642)
  • data InsertSym0 :: forall a6989586621681159621. (~>) a6989586621681159621 ((~>) [a6989586621681159621] (NonEmpty a6989586621681159621))
  • data InsertSym1 (a6989586621681161220 :: a6989586621681159621) :: (~>) [a6989586621681159621] (NonEmpty a6989586621681159621)
  • type InsertSym2 (a6989586621681161220 :: a6989586621681159621) (a6989586621681161221 :: [a6989586621681159621]) = Insert a6989586621681161220 a6989586621681161221
  • data TakeSym0 :: forall a6989586621681159612. (~>) Nat ((~>) (NonEmpty a6989586621681159612) [a6989586621681159612])
  • data TakeSym1 (a6989586621681161161 :: Nat) :: forall a6989586621681159612. (~>) (NonEmpty a6989586621681159612) [a6989586621681159612]
  • type TakeSym2 (a6989586621681161161 :: Nat) (a6989586621681161162 :: NonEmpty a6989586621681159612) = Take a6989586621681161161 a6989586621681161162
  • data DropSym0 :: forall a6989586621681159611. (~>) Nat ((~>) (NonEmpty a6989586621681159611) [a6989586621681159611])
  • data DropSym1 (a6989586621681161153 :: Nat) :: forall a6989586621681159611. (~>) (NonEmpty a6989586621681159611) [a6989586621681159611]
  • type DropSym2 (a6989586621681161153 :: Nat) (a6989586621681161154 :: NonEmpty a6989586621681159611) = Drop a6989586621681161153 a6989586621681161154
  • data SplitAtSym0 :: forall a6989586621681159610. (~>) Nat ((~>) (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610]))
  • data SplitAtSym1 (a6989586621681161145 :: Nat) :: forall a6989586621681159610. (~>) (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610])
  • type SplitAtSym2 (a6989586621681161145 :: Nat) (a6989586621681161146 :: NonEmpty a6989586621681159610) = SplitAt a6989586621681161145 a6989586621681161146
  • data TakeWhileSym0 :: forall a6989586621681159609. (~>) ((~>) a6989586621681159609 Bool) ((~>) (NonEmpty a6989586621681159609) [a6989586621681159609])
  • data TakeWhileSym1 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) :: (~>) (NonEmpty a6989586621681159609) [a6989586621681159609]
  • type TakeWhileSym2 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) (a6989586621681161138 :: NonEmpty a6989586621681159609) = TakeWhile a6989586621681161137 a6989586621681161138
  • data DropWhileSym0 :: forall a6989586621681159608. (~>) ((~>) a6989586621681159608 Bool) ((~>) (NonEmpty a6989586621681159608) [a6989586621681159608])
  • data DropWhileSym1 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) :: (~>) (NonEmpty a6989586621681159608) [a6989586621681159608]
  • type DropWhileSym2 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) (a6989586621681161130 :: NonEmpty a6989586621681159608) = DropWhile a6989586621681161129 a6989586621681161130
  • data SpanSym0 :: forall a6989586621681159607. (~>) ((~>) a6989586621681159607 Bool) ((~>) (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607]))
  • data SpanSym1 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) :: (~>) (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607])
  • type SpanSym2 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) (a6989586621681161122 :: NonEmpty a6989586621681159607) = Span a6989586621681161121 a6989586621681161122
  • data BreakSym0 :: forall a6989586621681159606. (~>) ((~>) a6989586621681159606 Bool) ((~>) (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606]))
  • data BreakSym1 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) :: (~>) (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606])
  • type BreakSym2 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) (a6989586621681161114 :: NonEmpty a6989586621681159606) = Break a6989586621681161113 a6989586621681161114
  • data FilterSym0 :: forall a6989586621681159605. (~>) ((~>) a6989586621681159605 Bool) ((~>) (NonEmpty a6989586621681159605) [a6989586621681159605])
  • data FilterSym1 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) :: (~>) (NonEmpty a6989586621681159605) [a6989586621681159605]
  • type FilterSym2 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) (a6989586621681161106 :: NonEmpty a6989586621681159605) = Filter a6989586621681161105 a6989586621681161106
  • data PartitionSym0 :: forall a6989586621681159604. (~>) ((~>) a6989586621681159604 Bool) ((~>) (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604]))
  • data PartitionSym1 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) :: (~>) (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604])
  • type PartitionSym2 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) (a6989586621681161098 :: NonEmpty a6989586621681159604) = Partition a6989586621681161097 a6989586621681161098
  • data GroupSym0 :: forall a6989586621681159603. (~>) [a6989586621681159603] [NonEmpty a6989586621681159603]
  • type GroupSym1 (a6989586621681161094 :: [a6989586621681159603]) = Group a6989586621681161094
  • data GroupBySym0 :: forall a6989586621681159602. (~>) ((~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) ((~>) [a6989586621681159602] [NonEmpty a6989586621681159602])
  • data GroupBySym1 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) :: (~>) [a6989586621681159602] [NonEmpty a6989586621681159602]
  • type GroupBySym2 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) (a6989586621681161045 :: [a6989586621681159602]) = GroupBy a6989586621681161044 a6989586621681161045
  • data GroupWithSym0 :: forall a6989586621681159601 b6989586621681159600. (~>) ((~>) a6989586621681159601 b6989586621681159600) ((~>) [a6989586621681159601] [NonEmpty a6989586621681159601])
  • data GroupWithSym1 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) :: (~>) [a6989586621681159601] [NonEmpty a6989586621681159601]
  • type GroupWithSym2 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) (a6989586621681161037 :: [a6989586621681159601]) = GroupWith a6989586621681161036 a6989586621681161037
  • data GroupAllWithSym0 :: forall a6989586621681159599 b6989586621681159598. (~>) ((~>) a6989586621681159599 b6989586621681159598) ((~>) [a6989586621681159599] [NonEmpty a6989586621681159599])
  • data GroupAllWithSym1 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) :: (~>) [a6989586621681159599] [NonEmpty a6989586621681159599]
  • type GroupAllWithSym2 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) (a6989586621681161029 :: [a6989586621681159599]) = GroupAllWith a6989586621681161028 a6989586621681161029
  • data Group1Sym0 :: forall a6989586621681159597. (~>) (NonEmpty a6989586621681159597) (NonEmpty (NonEmpty a6989586621681159597))
  • type Group1Sym1 (a6989586621681161025 :: NonEmpty a6989586621681159597) = Group1 a6989586621681161025
  • data GroupBy1Sym0 :: forall a6989586621681159596. (~>) ((~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) ((~>) (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596)))
  • data GroupBy1Sym1 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) :: (~>) (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596))
  • type GroupBy1Sym2 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) (a6989586621681160993 :: NonEmpty a6989586621681159596) = GroupBy1 a6989586621681160992 a6989586621681160993
  • data GroupWith1Sym0 :: forall a6989586621681159595 b6989586621681159594. (~>) ((~>) a6989586621681159595 b6989586621681159594) ((~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595)))
  • data GroupWith1Sym1 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) :: (~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595))
  • type GroupWith1Sym2 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) (a6989586621681160985 :: NonEmpty a6989586621681159595) = GroupWith1 a6989586621681160984 a6989586621681160985
  • data GroupAllWith1Sym0 :: forall a6989586621681159593 b6989586621681159592. (~>) ((~>) a6989586621681159593 b6989586621681159592) ((~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593)))
  • data GroupAllWith1Sym1 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) :: (~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593))
  • type GroupAllWith1Sym2 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) (a6989586621681160977 :: NonEmpty a6989586621681159593) = GroupAllWith1 a6989586621681160976 a6989586621681160977
  • data IsPrefixOfSym0 :: forall a6989586621681159591. (~>) [a6989586621681159591] ((~>) (NonEmpty a6989586621681159591) Bool)
  • data IsPrefixOfSym1 (a6989586621681160968 :: [a6989586621681159591]) :: (~>) (NonEmpty a6989586621681159591) Bool
  • type IsPrefixOfSym2 (a6989586621681160968 :: [a6989586621681159591]) (a6989586621681160969 :: NonEmpty a6989586621681159591) = IsPrefixOf a6989586621681160968 a6989586621681160969
  • data NubSym0 :: forall a6989586621681159582. (~>) (NonEmpty a6989586621681159582) (NonEmpty a6989586621681159582)
  • type NubSym1 (a6989586621681160899 :: NonEmpty a6989586621681159582) = Nub a6989586621681160899
  • data NubBySym0 :: forall a6989586621681159581. (~>) ((~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) ((~>) (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581))
  • data NubBySym1 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) :: (~>) (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581)
  • type NubBySym2 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) (a6989586621681160883 :: NonEmpty a6989586621681159581) = NubBy a6989586621681160882 a6989586621681160883
  • data (!!@#@$) :: forall a6989586621681159590. (~>) (NonEmpty a6989586621681159590) ((~>) Nat a6989586621681159590)
  • data (!!@#@$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) :: (~>) Nat a6989586621681159590
  • type (!!@#@$$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) (a6989586621681160951 :: Nat) = (!!) a6989586621681160950 a6989586621681160951
  • data ZipSym0 :: forall a6989586621681159588 b6989586621681159589. (~>) (NonEmpty a6989586621681159588) ((~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)))
  • data ZipSym1 (a6989586621681160942 :: NonEmpty a6989586621681159588) :: forall b6989586621681159589. (~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589))
  • type ZipSym2 (a6989586621681160942 :: NonEmpty a6989586621681159588) (a6989586621681160943 :: NonEmpty b6989586621681159589) = Zip a6989586621681160942 a6989586621681160943
  • data ZipWithSym0 :: forall a6989586621681159585 b6989586621681159586 c6989586621681159587. (~>) ((~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) ((~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587)))
  • data ZipWithSym1 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) :: (~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587))
  • data ZipWithSym2 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) :: (~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587)
  • type ZipWithSym3 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) (a6989586621681160933 :: NonEmpty b6989586621681159586) = ZipWith a6989586621681160931 a6989586621681160932 a6989586621681160933
  • data UnzipSym0 :: forall a6989586621681159583 b6989586621681159584. (~>) (NonEmpty (a6989586621681159583, b6989586621681159584)) (NonEmpty a6989586621681159583, NonEmpty b6989586621681159584)
  • type UnzipSym1 (a6989586621681160902 :: NonEmpty (a6989586621681159583, b6989586621681159584)) = Unzip a6989586621681160902
  • data FromListSym0 :: forall a6989586621681159629. (~>) [a6989586621681159629] (NonEmpty a6989586621681159629)
  • type FromListSym1 (a6989586621681161257 :: [a6989586621681159629]) = FromList a6989586621681161257
  • data ToListSym0 :: forall a6989586621681159628. (~>) (NonEmpty a6989586621681159628) [a6989586621681159628]
  • type ToListSym1 (a6989586621681161253 :: NonEmpty a6989586621681159628) = ToList a6989586621681161253
  • data NonEmpty_Sym0 :: forall a6989586621681159640. (~>) [a6989586621681159640] (Maybe (NonEmpty a6989586621681159640))
  • type NonEmpty_Sym1 (a6989586621681161330 :: [a6989586621681159640]) = NonEmpty_ a6989586621681161330
  • data XorSym0 :: (~>) (NonEmpty Bool) Bool
  • type XorSym1 (a6989586621681161349 :: NonEmpty Bool) = Xor a6989586621681161349

The NonEmpty singleton

type family Sing :: k -> Type Source #

The singleton kind-indexed type family.

Instances

Instances details
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = SBool
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Sing = SNat
type Sing Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

type Sing = SSymbol
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple0
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = SVoid
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SAll
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SAny
type Sing Source # 
Instance details

Defined in Data.Singletons.TypeError

type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = SList :: [a] -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = SMaybe :: Maybe a -> Type
type Sing Source #

A choice of singleton for the kind TYPE rep (for some RuntimeRep rep), an instantiation of which is the famous kind Type.

Conceivably, one could generalize this instance to `Sing @k` for any kind k, and remove all other Sing instances. We don't adopt this design, however, since it is far more convenient in practice to work with explicit singleton values than TypeReps (for instance, TypeReps are more difficult to pattern match on, and require extra runtime checks).

We cannot produce explicit singleton values for everything in TYPE rep, however, since it is an open kind, so we reach for TypeRep in this one particular case.

Instance details

Defined in Data.Singletons.TypeRepTYPE

type Sing = TypeRep :: TYPE rep -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = SNonEmpty :: NonEmpty a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

type Sing = SDown :: Down a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = SIdentity :: Identity a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SFirst :: First a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SLast :: Last a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SMax :: Max a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SMin :: Min a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SOption :: Option a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SWrappedMonoid :: WrappedMonoid m -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SDual :: Dual a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SProduct :: Product a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SSum :: Sum a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

type Sing = SFirst :: First a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

type Sing = SLast :: Last a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = SEither :: Either a b -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple2 :: (a, b) -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Internal

type Sing = SLambda :: (k1 ~> k2) -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Internal

type Sing = SWrappedSing :: WrappedSing a -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type Sing = SArg :: Arg a b -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Sigma

type Sing = SSigma :: Sigma s t -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple3 :: (a, b, c) -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Sing = SConst :: Const a b -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple4 :: (a, b, c, d) -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple5 :: (a, b, c, d, e) -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple6 :: (a, b, c, d, e, f) -> Type
type Sing Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple7 :: (a, b, c, d, e, f, g) -> Type

data SNonEmpty :: forall a. NonEmpty a -> Type where Source #

Constructors

(:%|) :: forall a (n :: a) (n :: [a]). (Sing (n :: a)) -> (Sing (n :: [a])) -> SNonEmpty ('(:|) n n) infixr 5 

Instances

Instances details
(SDecide a, SDecide [a]) => TestCoercion (SNonEmpty :: NonEmpty a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

testCoercion :: forall (a0 :: k) (b :: k). SNonEmpty a0 -> SNonEmpty b -> Maybe (Coercion a0 b)

(SDecide a, SDecide [a]) => TestEquality (SNonEmpty :: NonEmpty a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

testEquality :: forall (a0 :: k) (b :: k). SNonEmpty a0 -> SNonEmpty b -> Maybe (a0 :~: b)

(ShowSing a, ShowSing [a]) => Show (SNonEmpty z) 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SNonEmpty z -> ShowS

show :: SNonEmpty z -> String

showList :: [SNonEmpty z] -> ShowS

Non-empty stream transformations

type family Map (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty b where ... Source #

Equations

Map f ('(:|) a as) = Apply (Apply (:|@#@$) (Apply f a)) (Apply (Apply ListmapSym0 f) as) 

sMap :: forall a b (t :: (~>) a b) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: NonEmpty b) Source #

type family Intersperse (a :: a) (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

Intersperse a ('(:|) b bs) = Apply (Apply (:|@#@$) b) (Case_6989586621681161181 a b bs bs) 

sIntersperse :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a) Source #

type family Scanl (a :: (~>) b ((~>) a b)) (a :: b) (a :: [a]) :: NonEmpty b where ... Source #

Equations

Scanl f z a_6989586621681161215 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanlSym0 f) z)) a_6989586621681161215 

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 #

type family Scanr (a :: (~>) a ((~>) b b)) (a :: b) (a :: [a]) :: NonEmpty b where ... Source #

Equations

Scanr f z a_6989586621681161204 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanrSym0 f) z)) a_6989586621681161204 

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 #

type family Scanl1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

Scanl1 f ('(:|) a as) = Apply FromListSym0 (Apply (Apply (Apply ListscanlSym0 f) a) as) 

sScanl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a) Source #

type family Scanr1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

Scanr1 f ('(:|) a as) = Apply FromListSym0 (Apply (Apply Listscanr1Sym0 f) (Apply (Apply (:@#@$) a) as)) 

sScanr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: NonEmpty a) Source #

type family Transpose (a :: NonEmpty (NonEmpty a)) :: NonEmpty (NonEmpty a) where ... Source #

Equations

Transpose a_6989586621681160877 = Apply (Apply (Apply (.@#@$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply (.@#@$) ListtransposeSym0) (Apply (Apply (.@#@$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_6989586621681160877 

sTranspose :: forall a (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a)) Source #

type family SortBy (a :: (~>) a ((~>) a Ordering)) (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

SortBy f a_6989586621681160873 = Apply (Apply LiftSym0 (Apply ListsortBySym0 f)) a_6989586621681160873 

sSortBy :: forall a (t :: (~>) a ((~>) a Ordering)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a) Source #

type family SortWith (a :: (~>) a o) (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

SortWith a_6989586621681160859 a_6989586621681160861 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621681160859) a_6989586621681160861 

sSortWith :: forall a o (t :: (~>) a o) (t :: NonEmpty a). SOrd o => Sing t -> Sing t -> Sing (Apply (Apply SortWithSym0 t) t :: NonEmpty a) Source #

type family Length (a :: NonEmpty a) :: Nat where ... Source #

Equations

Length ('(:|) _ xs) = Apply (Apply (+@#@$) (FromInteger 1)) (Apply ListlengthSym0 xs) 

sLength :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LengthSym0 t :: Nat) Source #

type family Head (a :: NonEmpty a) :: a where ... Source #

Equations

Head ('(:|) a _) = a 

sHead :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply HeadSym0 t :: a) Source #

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

Equations

Tail ('(:|) _ as) = as 

sTail :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply TailSym0 t :: [a]) Source #

type family Last (a :: NonEmpty a) :: a where ... Source #

Equations

Last ('(:|) a as) = Apply ListlastSym0 (Apply (Apply (:@#@$) a) as) 

sLast :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LastSym0 t :: a) Source #

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

Equations

Init ('(:|) a as) = Apply ListinitSym0 (Apply (Apply (:@#@$) a) as) 

sInit :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply InitSym0 t :: [a]) Source #

type family (a :: a) <| (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

a <| ('(:|) b bs) = Apply (Apply (:|@#@$) a) (Apply (Apply (:@#@$) b) bs) 

(%<|) :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply (<|@#@$) t) t :: NonEmpty a) Source #

type family Cons (a :: a) (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

Cons a_6989586621681161266 a_6989586621681161268 = Apply (Apply (<|@#@$) a_6989586621681161266) a_6989586621681161268 

sCons :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply ConsSym0 t) t :: NonEmpty a) Source #

type family Uncons (a :: NonEmpty a) :: (a, Maybe (NonEmpty a)) where ... Source #

Equations

Uncons ('(:|) a as) = Apply (Apply Tuple2Sym0 a) (Apply NonEmpty_Sym0 as) 

sUncons :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a))) Source #

type family Unfoldr (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ... Source #

Equations

Unfoldr f a = Case_6989586621681161321 f a (Let6989586621681161318Scrutinee_6989586621681159818Sym2 f a) 

sUnfoldr :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldrSym0 t) t :: NonEmpty b) Source #

type family Sort (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

Sort a_6989586621681161261 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621681161261 

sSort :: forall a (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a) Source #

type family Reverse (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

Reverse a_6989586621681161169 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621681161169 

sReverse :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ReverseSym0 t :: NonEmpty a) Source #

type family Inits (a :: [a]) :: NonEmpty [a] where ... Source #

Equations

Inits a_6989586621681161233 = Apply (Apply (Apply (.@#@$) FromListSym0) ListinitsSym0) a_6989586621681161233 

sInits :: forall a (t :: [a]). Sing t -> Sing (Apply InitsSym0 t :: NonEmpty [a]) Source #

type family Tails (a :: [a]) :: NonEmpty [a] where ... Source #

Equations

Tails a_6989586621681161228 = Apply (Apply (Apply (.@#@$) FromListSym0) ListtailsSym0) a_6989586621681161228 

sTails :: forall a (t :: [a]). Sing t -> Sing (Apply TailsSym0 t :: NonEmpty [a]) Source #

type family Unfold (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ... Source #

Equations

Unfold f a = Case_6989586621681161343 f a (Let6989586621681161340Scrutinee_6989586621681159808Sym2 f a) 

sUnfold :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldSym0 t) t :: NonEmpty b) Source #

type family Insert (a :: a) (a :: [a]) :: NonEmpty a where ... Source #

Equations

Insert a a_6989586621681161224 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply ListinsertSym0 a)) a_6989586621681161224 

sInsert :: forall a (t :: a) (t :: [a]). SOrd a => Sing t -> Sing t -> Sing (Apply (Apply InsertSym0 t) t :: NonEmpty a) Source #

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

Equations

Take n a_6989586621681161165 = Apply (Apply (Apply (.@#@$) (Apply ListtakeSym0 n)) ToListSym0) a_6989586621681161165 

sTake :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a]) Source #

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

Equations

Drop n a_6989586621681161157 = Apply (Apply (Apply (.@#@$) (Apply ListdropSym0 n)) ToListSym0) a_6989586621681161157 

sDrop :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a]) Source #

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

Equations

SplitAt n a_6989586621681161149 = Apply (Apply (Apply (.@#@$) (Apply ListsplitAtSym0 n)) ToListSym0) a_6989586621681161149 

sSplitAt :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a])) Source #

type family TakeWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ... Source #

Equations

TakeWhile p a_6989586621681161141 = Apply (Apply (Apply (.@#@$) (Apply ListtakeWhileSym0 p)) ToListSym0) a_6989586621681161141 

sTakeWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a]) Source #

type family DropWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ... Source #

Equations

DropWhile p a_6989586621681161133 = Apply (Apply (Apply (.@#@$) (Apply ListdropWhileSym0 p)) ToListSym0) a_6989586621681161133 

sDropWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a]) Source #

type family Span (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

Span p a_6989586621681161125 = Apply (Apply (Apply (.@#@$) (Apply ListspanSym0 p)) ToListSym0) a_6989586621681161125 

sSpan :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a])) Source #

type family Break (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

Break p a_6989586621681161117 = Apply (Apply SpanSym0 (Apply (Apply (.@#@$) NotSym0) p)) a_6989586621681161117 

sBreak :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a])) Source #

type family Filter (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ... Source #

Equations

Filter p a_6989586621681161109 = Apply (Apply (Apply (.@#@$) (Apply ListfilterSym0 p)) ToListSym0) a_6989586621681161109 

sFilter :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a]) Source #

type family Partition (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

Partition p a_6989586621681161101 = Apply (Apply (Apply (.@#@$) (Apply ListpartitionSym0 p)) ToListSym0) a_6989586621681161101 

sPartition :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply PartitionSym0 t) t :: ([a], [a])) Source #

type family Group (a :: [a]) :: [NonEmpty a] where ... Source #

Equations

Group a_6989586621681161092 = Apply (Apply GroupBySym0 (==@#@$)) a_6989586621681161092 

sGroup :: forall a (t :: [a]). SEq a => Sing t -> Sing (Apply GroupSym0 t :: [NonEmpty a]) Source #

type family GroupBy (a :: (~>) a ((~>) a Bool)) (a :: [a]) :: [NonEmpty a] where ... Source #

Equations

GroupBy eq0 a_6989586621681161048 = Apply (Apply (Let6989586621681161052GoSym2 eq0 a_6989586621681161048) eq0) a_6989586621681161048 

sGroupBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a]) Source #

type family GroupWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ... Source #

Equations

GroupWith f a_6989586621681161040 = Apply (Apply GroupBySym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621681161040 

sGroupWith :: forall a b (t :: (~>) a b) (t :: [a]). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWithSym0 t) t :: [NonEmpty a]) Source #

type family GroupAllWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ... Source #

Equations

GroupAllWith f a_6989586621681161032 = Apply (Apply (Apply (.@#@$) (Apply GroupWithSym0 f)) (Apply ListsortBySym0 (Apply (Apply OnSym0 CompareSym0) f))) a_6989586621681161032 

sGroupAllWith :: forall a b (t :: (~>) a b) (t :: [a]). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWithSym0 t) t :: [NonEmpty a]) Source #

type family Group1 (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

Group1 a_6989586621681161023 = Apply (Apply GroupBy1Sym0 (==@#@$)) a_6989586621681161023 

sGroup1 :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a)) Source #

type family GroupBy1 (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

GroupBy1 eq ('(:|) x xs) = Apply (Apply (:|@#@$) (Apply (Apply (:|@#@$) x) (Let6989586621681160999YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621681160999ZsSym3 eq x xs)) 

sGroupBy1 :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a)) Source #

type family GroupWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

GroupWith1 f a_6989586621681160988 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621681160988 

sGroupWith1 :: forall a b (t :: (~>) a b) (t :: NonEmpty a). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWith1Sym0 t) t :: NonEmpty (NonEmpty a)) Source #

type family GroupAllWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

GroupAllWith1 f a_6989586621681160980 = Apply (Apply (Apply (.@#@$) (Apply GroupWith1Sym0 f)) (Apply SortWithSym0 f)) a_6989586621681160980 

sGroupAllWith1 :: forall a b (t :: (~>) a b) (t :: NonEmpty a). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWith1Sym0 t) t :: NonEmpty (NonEmpty a)) Source #

type family IsPrefixOf (a :: [a]) (a :: NonEmpty a) :: Bool where ... Source #

Equations

IsPrefixOf '[] _ = TrueSym0 
IsPrefixOf ('(:) y ys) ('(:|) x xs) = Apply (Apply (&&@#@$) (Apply (Apply (==@#@$) y) x)) (Apply (Apply ListisPrefixOfSym0 ys) xs) 

sIsPrefixOf :: forall a (t :: [a]) (t :: NonEmpty a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply IsPrefixOfSym0 t) t :: Bool) Source #

type family Nub (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

Nub a_6989586621681160897 = Apply (Apply NubBySym0 (==@#@$)) a_6989586621681160897 

sNub :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply NubSym0 t :: NonEmpty a) Source #

type family NubBy (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

NubBy eq ('(:|) a as) = Apply (Apply (:|@#@$) a) (Apply (Apply ListnubBySym0 eq) (Apply (Apply ListfilterSym0 (Apply (Apply (Apply Lambda_6989586621681160889Sym0 eq) a) as)) as)) 

sNubBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply NubBySym0 t) t :: NonEmpty a) Source #

type family (a :: NonEmpty a) !! (a :: Nat) :: a where ... Source #

Equations

arg_6989586621681159830 !! arg_6989586621681159832 = Case_6989586621681160956 arg_6989586621681159830 arg_6989586621681159832 (Apply (Apply Tuple2Sym0 arg_6989586621681159830) arg_6989586621681159832) 

(%!!) :: forall a (t :: NonEmpty a) (t :: Nat). Sing t -> Sing t -> Sing (Apply (Apply (!!@#@$) t) t :: a) Source #

type family Zip (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty (a, b) where ... Source #

Equations

Zip ('(:|) x xs) ('(:|) y ys) = Apply (Apply (:|@#@$) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ListzipSym0 xs) ys) 

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 #

Equations

ZipWith f ('(:|) x xs) ('(:|) y ys) = Apply (Apply (:|@#@$) (Apply (Apply f x) y)) (Apply (Apply (Apply ListzipWithSym0 f) xs) ys) 

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 #

type family Unzip (a :: NonEmpty (a, b)) :: (NonEmpty a, NonEmpty b) where ... Source #

Equations

Unzip ('(:|) '(a, b) asbs) = Apply (Apply Tuple2Sym0 (Apply (Apply (:|@#@$) a) (Let6989586621681160907AsSym3 a b asbs))) (Apply (Apply (:|@#@$) b) (Let6989586621681160907BsSym3 a b asbs)) 

sUnzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b)) Source #

type family FromList (a :: [a]) :: NonEmpty a where ... Source #

Equations

FromList ('(:) a as) = Apply (Apply (:|@#@$) a) as 
FromList '[] = Apply ErrorSym0 "NonEmpty.fromList: empty list" 

sFromList :: forall a (t :: [a]). Sing t -> Sing (Apply FromListSym0 t :: NonEmpty a) Source #

type family ToList (a :: NonEmpty a) :: [a] where ... Source #

Equations

ToList ('(:|) a as) = Apply (Apply (:@#@$) a) as 

sToList :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ToListSym0 t :: [a]) Source #

type family NonEmpty_ (a :: [a]) :: Maybe (NonEmpty a) where ... Source #

Equations

NonEmpty_ '[] = NothingSym0 
NonEmpty_ ('(:) a as) = Apply JustSym0 (Apply (Apply (:|@#@$) a) as) 

sNonEmpty_ :: forall a (t :: [a]). Sing t -> Sing (Apply NonEmpty_Sym0 t :: Maybe (NonEmpty a)) Source #

type family Xor (a :: NonEmpty Bool) :: Bool where ... Source #

Equations

Xor ('(:|) x xs) = Apply (Apply (Apply FoldrSym0 (Let6989586621681161353Xor'Sym2 x xs)) x) xs 

sXor :: forall (t :: NonEmpty Bool). Sing t -> Sing (Apply XorSym0 t :: Bool) Source #

Defunctionalization symbols

data (:|@#@$) :: forall (a6989586621679059398 :: Type). (~>) a6989586621679059398 ((~>) [a6989586621679059398] (NonEmpty (a6989586621679059398 :: Type))) infixr 5 Source #

Instances

Instances details
SingI ((:|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

SuppressUnusedWarnings ((:|@#@$) :: TyFun a6989586621679059398 ([a6989586621679059398] ~> NonEmpty a6989586621679059398) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$) :: TyFun a6989586621679059398 ([a6989586621679059398] ~> NonEmpty a6989586621679059398) -> Type) (t6989586621679310974 :: a6989586621679059398) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$) :: TyFun a6989586621679059398 ([a6989586621679059398] ~> NonEmpty a6989586621679059398) -> Type) (t6989586621679310974 :: a6989586621679059398) = (:|@#@$$) t6989586621679310974

data (:|@#@$$) (t6989586621679310974 :: a6989586621679059398 :: Type) :: (~>) [a6989586621679059398] (NonEmpty (a6989586621679059398 :: Type)) infixr 5 Source #

Instances

Instances details
SingI d => SingI ((:|@#@$$) d :: TyFun [a] (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

Methods

sing :: Sing ((:|@#@$$) d) Source #

SuppressUnusedWarnings ((:|@#@$$) t6989586621679310974 :: TyFun [a6989586621679059398] (NonEmpty a6989586621679059398) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$$) t6989586621679310974 :: TyFun [a] (NonEmpty a) -> Type) (t6989586621679310975 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$$) t6989586621679310974 :: TyFun [a] (NonEmpty a) -> Type) (t6989586621679310975 :: [a]) = t6989586621679310974 :| t6989586621679310975

type (:|@#@$$$) (t6989586621679310974 :: a6989586621679059398) (t6989586621679310975 :: [a6989586621679059398]) = '(:|) t6989586621679310974 t6989586621679310975 Source #

data MapSym0 :: forall a6989586621681159624 b6989586621681159625. (~>) ((~>) a6989586621681159624 b6989586621681159625) ((~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625)) Source #

Instances

Instances details
SingI (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621681159624 ~> b6989586621681159625) (NonEmpty a6989586621681159624 ~> NonEmpty b6989586621681159625) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym0 :: TyFun (a6989586621681159624 ~> b6989586621681159625) (NonEmpty a6989586621681159624 ~> NonEmpty b6989586621681159625) -> Type) (a6989586621681161238 :: a6989586621681159624 ~> b6989586621681159625) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym0 :: TyFun (a6989586621681159624 ~> b6989586621681159625) (NonEmpty a6989586621681159624 ~> NonEmpty b6989586621681159625) -> Type) (a6989586621681161238 :: a6989586621681159624 ~> b6989586621681159625) = MapSym1 a6989586621681161238

data MapSym1 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) :: (~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625) Source #

Instances

Instances details
SingI d => SingI (MapSym1 d :: TyFun (NonEmpty a) (NonEmpty b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (MapSym1 d) Source #

SuppressUnusedWarnings (MapSym1 a6989586621681161238 :: TyFun (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym1 a6989586621681161238 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681161239 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym1 a6989586621681161238 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681161239 :: NonEmpty a) = Map a6989586621681161238 a6989586621681161239

type MapSym2 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) (a6989586621681161239 :: NonEmpty a6989586621681159624) = Map a6989586621681161238 a6989586621681161239 Source #

data IntersperseSym0 :: forall a6989586621681159614. (~>) a6989586621681159614 ((~>) (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614)) Source #

Instances

Instances details
SingI (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621681159614 (NonEmpty a6989586621681159614 ~> NonEmpty a6989586621681159614) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym0 :: TyFun a6989586621681159614 (NonEmpty a6989586621681159614 ~> NonEmpty a6989586621681159614) -> Type) (a6989586621681161174 :: a6989586621681159614) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym0 :: TyFun a6989586621681159614 (NonEmpty a6989586621681159614 ~> NonEmpty a6989586621681159614) -> Type) (a6989586621681161174 :: a6989586621681159614) = IntersperseSym1 a6989586621681161174

data IntersperseSym1 (a6989586621681161174 :: a6989586621681159614) :: (~>) (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614) Source #

Instances

Instances details
SingI d => SingI (IntersperseSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (IntersperseSym1 a6989586621681161174 :: TyFun (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym1 a6989586621681161174 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161175 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym1 a6989586621681161174 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161175 :: NonEmpty a) = Intersperse a6989586621681161174 a6989586621681161175

type IntersperseSym2 (a6989586621681161174 :: a6989586621681159614) (a6989586621681161175 :: NonEmpty a6989586621681159614) = Intersperse a6989586621681161174 a6989586621681161175 Source #

data ScanlSym0 :: forall b6989586621681159619 a6989586621681159620. (~>) ((~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) ((~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619))) Source #

Instances

Instances details
SingI (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanlSym0 :: TyFun (b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) (b6989586621681159619 ~> ([a6989586621681159620] ~> NonEmpty b6989586621681159619)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym0 :: TyFun (b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) (b6989586621681159619 ~> ([a6989586621681159620] ~> NonEmpty b6989586621681159619)) -> Type) (a6989586621681161209 :: b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym0 :: TyFun (b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) (b6989586621681159619 ~> ([a6989586621681159620] ~> NonEmpty b6989586621681159619)) -> Type) (a6989586621681161209 :: b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) = ScanlSym1 a6989586621681161209

data ScanlSym1 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) :: (~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619)) Source #

Instances

Instances details
SingI d => SingI (ScanlSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (ScanlSym1 d) Source #

SuppressUnusedWarnings (ScanlSym1 a6989586621681161209 :: TyFun b6989586621681159619 ([a6989586621681159620] ~> NonEmpty b6989586621681159619) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym1 a6989586621681161209 :: TyFun b6989586621681159619 ([a6989586621681159620] ~> NonEmpty b6989586621681159619) -> Type) (a6989586621681161210 :: b6989586621681159619) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym1 a6989586621681161209 :: TyFun b6989586621681159619 ([a6989586621681159620] ~> NonEmpty b6989586621681159619) -> Type) (a6989586621681161210 :: b6989586621681159619) = ScanlSym2 a6989586621681161209 a6989586621681161210

data ScanlSym2 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) :: (~>) [a6989586621681159620] (NonEmpty b6989586621681159619) Source #

Instances

Instances details
(SingI d1, SingI d2) => SingI (ScanlSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (ScanlSym2 d1 d2) Source #

SuppressUnusedWarnings (ScanlSym2 a6989586621681161210 a6989586621681161209 :: TyFun [a6989586621681159620] (NonEmpty b6989586621681159619) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym2 a6989586621681161210 a6989586621681161209 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161211 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym2 a6989586621681161210 a6989586621681161209 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161211 :: [a]) = Scanl a6989586621681161210 a6989586621681161209 a6989586621681161211

type ScanlSym3 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) (a6989586621681161211 :: [a6989586621681159620]) = Scanl a6989586621681161209 a6989586621681161210 a6989586621681161211 Source #

data ScanrSym0 :: forall a6989586621681159617 b6989586621681159618. (~>) ((~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) ((~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618))) Source #

Instances

Instances details
SingI (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ScanrSym0 :: TyFun (a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) (b6989586621681159618 ~> ([a6989586621681159617] ~> NonEmpty b6989586621681159618)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym0 :: TyFun (a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) (b6989586621681159618 ~> ([a6989586621681159617] ~> NonEmpty b6989586621681159618)) -> Type) (a6989586621681161198 :: a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym0 :: TyFun (a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) (b6989586621681159618 ~> ([a6989586621681159617] ~> NonEmpty b6989586621681159618)) -> Type) (a6989586621681161198 :: a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) = ScanrSym1 a6989586621681161198

data ScanrSym1 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) :: (~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618)) Source #

Instances

Instances details
SingI d => SingI (ScanrSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (ScanrSym1 d) Source #

SuppressUnusedWarnings (ScanrSym1 a6989586621681161198 :: TyFun b6989586621681159618 ([a6989586621681159617] ~> NonEmpty b6989586621681159618) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym1 a6989586621681161198 :: TyFun b6989586621681159618 ([a6989586621681159617] ~> NonEmpty b6989586621681159618) -> Type) (a6989586621681161199 :: b6989586621681159618) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym1 a6989586621681161198 :: TyFun b6989586621681159618 ([a6989586621681159617] ~> NonEmpty b6989586621681159618) -> Type) (a6989586621681161199 :: b6989586621681159618) = ScanrSym2 a6989586621681161198 a6989586621681161199

data ScanrSym2 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) :: (~>) [a6989586621681159617] (NonEmpty b6989586621681159618) Source #

Instances

Instances details
(SingI d1, SingI d2) => SingI (ScanrSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (ScanrSym2 d1 d2) Source #

SuppressUnusedWarnings (ScanrSym2 a6989586621681161199 a6989586621681161198 :: TyFun [a6989586621681159617] (NonEmpty b6989586621681159618) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym2 a6989586621681161199 a6989586621681161198 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161200 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym2 a6989586621681161199 a6989586621681161198 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161200 :: [a]) = Scanr a6989586621681161199 a6989586621681161198 a6989586621681161200

type ScanrSym3 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) (a6989586621681161200 :: [a6989586621681159617]) = Scanr a6989586621681161198 a6989586621681161199 a6989586621681161200 Source #

data Scanl1Sym0 :: forall a6989586621681159616. (~>) ((~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) ((~>) (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616)) Source #

Instances

Instances details
SingI (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) (NonEmpty a6989586621681159616 ~> NonEmpty a6989586621681159616) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym0 :: TyFun (a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) (NonEmpty a6989586621681159616 ~> NonEmpty a6989586621681159616) -> Type) (a6989586621681161191 :: a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym0 :: TyFun (a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) (NonEmpty a6989586621681159616 ~> NonEmpty a6989586621681159616) -> Type) (a6989586621681161191 :: a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) = Scanl1Sym1 a6989586621681161191

data Scanl1Sym1 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) :: (~>) (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616) Source #

Instances

Instances details
SingI d => SingI (Scanl1Sym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (Scanl1Sym1 d) Source #

SuppressUnusedWarnings (Scanl1Sym1 a6989586621681161191 :: TyFun (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym1 a6989586621681161191 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161192 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym1 a6989586621681161191 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161192 :: NonEmpty a) = Scanl1 a6989586621681161191 a6989586621681161192

type Scanl1Sym2 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) (a6989586621681161192 :: NonEmpty a6989586621681159616) = Scanl1 a6989586621681161191 a6989586621681161192 Source #

data Scanr1Sym0 :: forall a6989586621681159615. (~>) ((~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) ((~>) (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615)) Source #

Instances

Instances details
SingI (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) (NonEmpty a6989586621681159615 ~> NonEmpty a6989586621681159615) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym0 :: TyFun (a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) (NonEmpty a6989586621681159615 ~> NonEmpty a6989586621681159615) -> Type) (a6989586621681161184 :: a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym0 :: TyFun (a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) (NonEmpty a6989586621681159615 ~> NonEmpty a6989586621681159615) -> Type) (a6989586621681161184 :: a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) = Scanr1Sym1 a6989586621681161184

data Scanr1Sym1 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) :: (~>) (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615) Source #

Instances

Instances details
SingI d => SingI (Scanr1Sym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (Scanr1Sym1 d) Source #

SuppressUnusedWarnings (Scanr1Sym1 a6989586621681161184 :: TyFun (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym1 a6989586621681161184 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161185 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym1 a6989586621681161184 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161185 :: NonEmpty a) = Scanr1 a6989586621681161184 a6989586621681161185

type Scanr1Sym2 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) (a6989586621681161185 :: NonEmpty a6989586621681159615) = Scanr1 a6989586621681161184 a6989586621681161185 Source #

data TransposeSym0 :: forall a6989586621681159580. (~>) (NonEmpty (NonEmpty a6989586621681159580)) (NonEmpty (NonEmpty a6989586621681159580)) Source #

Instances

Instances details
SingI (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621681159580)) (NonEmpty (NonEmpty a6989586621681159580)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160879 :: NonEmpty (NonEmpty a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160879 :: NonEmpty (NonEmpty a)) = Transpose a6989586621681160879

type TransposeSym1 (a6989586621681160879 :: NonEmpty (NonEmpty a6989586621681159580)) = Transpose a6989586621681160879 Source #

data SortBySym0 :: forall a6989586621681159579. (~>) ((~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) ((~>) (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579)) Source #

Instances

Instances details
SingI (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortBySym0 :: TyFun (a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) (NonEmpty a6989586621681159579 ~> NonEmpty a6989586621681159579) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym0 :: TyFun (a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) (NonEmpty a6989586621681159579 ~> NonEmpty a6989586621681159579) -> Type) (a6989586621681160869 :: a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym0 :: TyFun (a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) (NonEmpty a6989586621681159579 ~> NonEmpty a6989586621681159579) -> Type) (a6989586621681160869 :: a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) = SortBySym1 a6989586621681160869

data SortBySym1 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) :: (~>) (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579) Source #

Instances

Instances details
SingI d => SingI (SortBySym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (SortBySym1 d) Source #

SuppressUnusedWarnings (SortBySym1 a6989586621681160869 :: TyFun (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym1 a6989586621681160869 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160870 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym1 a6989586621681160869 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160870 :: NonEmpty a) = SortBy a6989586621681160869 a6989586621681160870

type SortBySym2 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) (a6989586621681160870 :: NonEmpty a6989586621681159579) = SortBy a6989586621681160869 a6989586621681160870 Source #

data SortWithSym0 :: forall a6989586621681159578 o6989586621681159577. (~>) ((~>) a6989586621681159578 o6989586621681159577) ((~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578)) Source #

Instances

Instances details
SOrd o => SingI (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortWithSym0 :: TyFun (a6989586621681159578 ~> o6989586621681159577) (NonEmpty a6989586621681159578 ~> NonEmpty a6989586621681159578) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym0 :: TyFun (a6989586621681159578 ~> o6989586621681159577) (NonEmpty a6989586621681159578 ~> NonEmpty a6989586621681159578) -> Type) (a6989586621681160863 :: a6989586621681159578 ~> o6989586621681159577) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym0 :: TyFun (a6989586621681159578 ~> o6989586621681159577) (NonEmpty a6989586621681159578 ~> NonEmpty a6989586621681159578) -> Type) (a6989586621681160863 :: a6989586621681159578 ~> o6989586621681159577) = SortWithSym1 a6989586621681160863

data SortWithSym1 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) :: (~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578) Source #

Instances

Instances details
(SOrd o, SingI d) => SingI (SortWithSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (SortWithSym1 d) Source #

SuppressUnusedWarnings (SortWithSym1 a6989586621681160863 :: TyFun (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym1 a6989586621681160863 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160864 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym1 a6989586621681160863 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160864 :: NonEmpty a) = SortWith a6989586621681160863 a6989586621681160864

type SortWithSym2 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) (a6989586621681160864 :: NonEmpty a6989586621681159578) = SortWith a6989586621681160863 a6989586621681160864 Source #

data LengthSym0 :: forall a6989586621681159643. (~>) (NonEmpty a6989586621681159643) Nat Source #

Instances

Instances details
SingI (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621681159643) Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) (a6989586621681161362 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) (a6989586621681161362 :: NonEmpty a) = Length a6989586621681161362

type LengthSym1 (a6989586621681161362 :: NonEmpty a6989586621681159643) = Length a6989586621681161362 Source #

data HeadSym0 :: forall a6989586621681159636. (~>) (NonEmpty a6989586621681159636) a6989586621681159636 Source #

Instances

Instances details
SingI (HeadSym0 :: TyFun (NonEmpty a) a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621681159636) a6989586621681159636 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681161294 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681161294 :: NonEmpty a) = Head a6989586621681161294

type HeadSym1 (a6989586621681161294 :: NonEmpty a6989586621681159636) = Head a6989586621681161294 Source #

data TailSym0 :: forall a6989586621681159635. (~>) (NonEmpty a6989586621681159635) [a6989586621681159635] Source #

Instances

Instances details
SingI (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621681159635) [a6989586621681159635] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161291 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161291 :: NonEmpty a) = Tail a6989586621681161291

type TailSym1 (a6989586621681161291 :: NonEmpty a6989586621681159635) = Tail a6989586621681161291 Source #

data LastSym0 :: forall a6989586621681159634. (~>) (NonEmpty a6989586621681159634) a6989586621681159634 Source #

Instances

Instances details
SingI (LastSym0 :: TyFun (NonEmpty a) a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621681159634) a6989586621681159634 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LastSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681161287 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LastSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681161287 :: NonEmpty a) = Last a6989586621681161287

type LastSym1 (a6989586621681161287 :: NonEmpty a6989586621681159634) = Last a6989586621681161287 Source #

data InitSym0 :: forall a6989586621681159633. (~>) (NonEmpty a6989586621681159633) [a6989586621681159633] Source #

Instances

Instances details
SingI (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621681159633) [a6989586621681159633] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161283 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161283 :: NonEmpty a) = Init a6989586621681161283

type InitSym1 (a6989586621681161283 :: NonEmpty a6989586621681159633) = Init a6989586621681161283 Source #

data (<|@#@$) :: forall a6989586621681159632. (~>) a6989586621681159632 ((~>) (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632)) Source #

Instances

Instances details
SingI ((<|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings ((<|@#@$) :: TyFun a6989586621681159632 (NonEmpty a6989586621681159632 ~> NonEmpty a6989586621681159632) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$) :: TyFun a6989586621681159632 (NonEmpty a6989586621681159632 ~> NonEmpty a6989586621681159632) -> Type) (a6989586621681161276 :: a6989586621681159632) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$) :: TyFun a6989586621681159632 (NonEmpty a6989586621681159632 ~> NonEmpty a6989586621681159632) -> Type) (a6989586621681161276 :: a6989586621681159632) = (<|@#@$$) a6989586621681161276

data (<|@#@$$) (a6989586621681161276 :: a6989586621681159632) :: (~>) (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632) Source #

Instances

Instances details
SingI d => SingI ((<|@#@$$) d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing ((<|@#@$$) d) Source #

SuppressUnusedWarnings ((<|@#@$$) a6989586621681161276 :: TyFun (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$$) a6989586621681161276 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161277 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$$) a6989586621681161276 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161277 :: NonEmpty a) = a6989586621681161276 <| a6989586621681161277

type (<|@#@$$$) (a6989586621681161276 :: a6989586621681159632) (a6989586621681161277 :: NonEmpty a6989586621681159632) = (<|) a6989586621681161276 a6989586621681161277 Source #

data ConsSym0 :: forall a6989586621681159631. (~>) a6989586621681159631 ((~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631)) Source #

Instances

Instances details
SingI (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621681159631 (NonEmpty a6989586621681159631 ~> NonEmpty a6989586621681159631) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym0 :: TyFun a6989586621681159631 (NonEmpty a6989586621681159631 ~> NonEmpty a6989586621681159631) -> Type) (a6989586621681161270 :: a6989586621681159631) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym0 :: TyFun a6989586621681159631 (NonEmpty a6989586621681159631 ~> NonEmpty a6989586621681159631) -> Type) (a6989586621681161270 :: a6989586621681159631) = ConsSym1 a6989586621681161270

data ConsSym1 (a6989586621681161270 :: a6989586621681159631) :: (~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631) Source #

Instances

Instances details
SingI d => SingI (ConsSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (ConsSym1 d) Source #

SuppressUnusedWarnings (ConsSym1 a6989586621681161270 :: TyFun (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym1 a6989586621681161270 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161271 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym1 a6989586621681161270 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161271 :: NonEmpty a) = Cons a6989586621681161270 a6989586621681161271

type ConsSym2 (a6989586621681161270 :: a6989586621681159631) (a6989586621681161271 :: NonEmpty a6989586621681159631) = Cons a6989586621681161270 a6989586621681161271 Source #

data UnconsSym0 :: forall a6989586621681159639. (~>) (NonEmpty a6989586621681159639) (a6989586621681159639, Maybe (NonEmpty a6989586621681159639)) Source #

Instances

Instances details
SingI (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621681159639) (a6989586621681159639, Maybe (NonEmpty a6989586621681159639)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681161326 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681161326 :: NonEmpty a) = Uncons a6989586621681161326

type UnconsSym1 (a6989586621681161326 :: NonEmpty a6989586621681159639) = Uncons a6989586621681161326 Source #

data UnfoldrSym0 :: forall a6989586621681159637 b6989586621681159638. (~>) ((~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) ((~>) a6989586621681159637 (NonEmpty b6989586621681159638)) Source #

Instances

Instances details
SingI (UnfoldrSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681159637 ~> NonEmpty b6989586621681159638) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym0 :: TyFun (a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681159637 ~> NonEmpty b6989586621681159638) -> Type) (a6989586621681161297 :: a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym0 :: TyFun (a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681159637 ~> NonEmpty b6989586621681159638) -> Type) (a6989586621681161297 :: a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) = UnfoldrSym1 a6989586621681161297

data UnfoldrSym1 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) :: (~>) a6989586621681159637 (NonEmpty b6989586621681159638) Source #

Instances

Instances details
SingI d => SingI (UnfoldrSym1 d :: TyFun a (NonEmpty b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (UnfoldrSym1 d) Source #

SuppressUnusedWarnings (UnfoldrSym1 a6989586621681161297 :: TyFun a6989586621681159637 (NonEmpty b6989586621681159638) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym1 a6989586621681161297 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161298 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym1 a6989586621681161297 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161298 :: a) = Unfoldr a6989586621681161297 a6989586621681161298

type UnfoldrSym2 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681161298 :: a6989586621681159637) = Unfoldr a6989586621681161297 a6989586621681161298 Source #

data SortSym0 :: forall a6989586621681159630. (~>) (NonEmpty a6989586621681159630) (NonEmpty a6989586621681159630) Source #

Instances

Instances details
SOrd a => SingI (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621681159630) (NonEmpty a6989586621681159630) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161263 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161263 :: NonEmpty a) = Sort a6989586621681161263

type SortSym1 (a6989586621681161263 :: NonEmpty a6989586621681159630) = Sort a6989586621681161263 Source #

data ReverseSym0 :: forall a6989586621681159613. (~>) (NonEmpty a6989586621681159613) (NonEmpty a6989586621681159613) Source #

Instances

Instances details
SingI (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621681159613) (NonEmpty a6989586621681159613) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161171 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161171 :: NonEmpty a) = Reverse a6989586621681161171

type ReverseSym1 (a6989586621681161171 :: NonEmpty a6989586621681159613) = Reverse a6989586621681161171 Source #

data InitsSym0 :: forall a6989586621681159623. (~>) [a6989586621681159623] (NonEmpty [a6989586621681159623]) Source #

Instances

Instances details
SingI (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621681159623] (NonEmpty [a6989586621681159623]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681161235 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681161235 :: [a]) = Inits a6989586621681161235

type InitsSym1 (a6989586621681161235 :: [a6989586621681159623]) = Inits a6989586621681161235 Source #

data TailsSym0 :: forall a6989586621681159622. (~>) [a6989586621681159622] (NonEmpty [a6989586621681159622]) Source #

Instances

Instances details
SingI (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621681159622] (NonEmpty [a6989586621681159622]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681161230 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681161230 :: [a]) = Tails a6989586621681161230

type TailsSym1 (a6989586621681161230 :: [a6989586621681159622]) = Tails a6989586621681161230 Source #

data UnfoldSym0 :: forall a6989586621681159641 b6989586621681159642. (~>) ((~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) ((~>) a6989586621681159641 (NonEmpty b6989586621681159642)) Source #

Instances

Instances details
SingI (UnfoldSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnfoldSym0 :: TyFun (a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) (a6989586621681159641 ~> NonEmpty b6989586621681159642) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym0 :: TyFun (a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) (a6989586621681159641 ~> NonEmpty b6989586621681159642) -> Type) (a6989586621681161334 :: a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym0 :: TyFun (a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) (a6989586621681159641 ~> NonEmpty b6989586621681159642) -> Type) (a6989586621681161334 :: a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) = UnfoldSym1 a6989586621681161334

data UnfoldSym1 (a6989586621681161334 :: (~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) :: (~>) a6989586621681159641 (NonEmpty b6989586621681159642) Source #

Instances

Instances details
SingI d => SingI (UnfoldSym1 d :: TyFun a (NonEmpty b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (UnfoldSym1 d) Source #

SuppressUnusedWarnings (UnfoldSym1 a6989586621681161334 :: TyFun a6989586621681159641 (NonEmpty b6989586621681159642) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym1 a6989586621681161334 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161335 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym1 a6989586621681161334 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161335 :: a) = Unfold a6989586621681161334 a6989586621681161335

data InsertSym0 :: forall a6989586621681159621. (~>) a6989586621681159621 ((~>) [a6989586621681159621] (NonEmpty a6989586621681159621)) Source #

Instances

Instances details
SOrd a => SingI (InsertSym0 :: TyFun a ([a] ~> NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621681159621 ([a6989586621681159621] ~> NonEmpty a6989586621681159621) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym0 :: TyFun a6989586621681159621 ([a6989586621681159621] ~> NonEmpty a6989586621681159621) -> Type) (a6989586621681161220 :: a6989586621681159621) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym0 :: TyFun a6989586621681159621 ([a6989586621681159621] ~> NonEmpty a6989586621681159621) -> Type) (a6989586621681161220 :: a6989586621681159621) = InsertSym1 a6989586621681161220

data InsertSym1 (a6989586621681161220 :: a6989586621681159621) :: (~>) [a6989586621681159621] (NonEmpty a6989586621681159621) Source #

Instances

Instances details
(SOrd a, SingI d) => SingI (InsertSym1 d :: TyFun [a] (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (InsertSym1 d) Source #

SuppressUnusedWarnings (InsertSym1 a6989586621681161220 :: TyFun [a6989586621681159621] (NonEmpty a6989586621681159621) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym1 a6989586621681161220 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161221 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym1 a6989586621681161220 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161221 :: [a]) = Insert a6989586621681161220 a6989586621681161221

type InsertSym2 (a6989586621681161220 :: a6989586621681159621) (a6989586621681161221 :: [a6989586621681159621]) = Insert a6989586621681161220 a6989586621681161221 Source #

data TakeSym0 :: forall a6989586621681159612. (~>) Nat ((~>) (NonEmpty a6989586621681159612) [a6989586621681159612]) Source #

Instances

Instances details
SingI (TakeSym0 :: TyFun Nat (NonEmpty a ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681159612 ~> [a6989586621681159612]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681159612 ~> [a6989586621681159612]) -> Type) (a6989586621681161161 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681159612 ~> [a6989586621681159612]) -> Type) (a6989586621681161161 :: Nat) = TakeSym1 a6989586621681161161 a6989586621681159612 :: TyFun (NonEmpty a6989586621681159612) [a6989586621681159612] -> Type

data TakeSym1 (a6989586621681161161 :: Nat) :: forall a6989586621681159612. (~>) (NonEmpty a6989586621681159612) [a6989586621681159612] Source #

Instances

Instances details
SingI d => SingI (TakeSym1 d a :: TyFun (NonEmpty a) [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (TakeSym1 d a) Source #

SuppressUnusedWarnings (TakeSym1 a6989586621681161161 a6989586621681159612 :: TyFun (NonEmpty a6989586621681159612) [a6989586621681159612] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym1 a6989586621681161161 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161162 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym1 a6989586621681161161 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161162 :: NonEmpty a) = Take a6989586621681161161 a6989586621681161162

type TakeSym2 (a6989586621681161161 :: Nat) (a6989586621681161162 :: NonEmpty a6989586621681159612) = Take a6989586621681161161 a6989586621681161162 Source #

data DropSym0 :: forall a6989586621681159611. (~>) Nat ((~>) (NonEmpty a6989586621681159611) [a6989586621681159611]) Source #

Instances

Instances details
SingI (DropSym0 :: TyFun Nat (NonEmpty a ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (DropSym0 :: TyFun Nat (NonEmpty a6989586621681159611 ~> [a6989586621681159611]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym0 :: TyFun Nat (NonEmpty a6989586621681159611 ~> [a6989586621681159611]) -> Type) (a6989586621681161153 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym0 :: TyFun Nat (NonEmpty a6989586621681159611 ~> [a6989586621681159611]) -> Type) (a6989586621681161153 :: Nat) = DropSym1 a6989586621681161153 a6989586621681159611 :: TyFun (NonEmpty a6989586621681159611) [a6989586621681159611] -> Type

data DropSym1 (a6989586621681161153 :: Nat) :: forall a6989586621681159611. (~>) (NonEmpty a6989586621681159611) [a6989586621681159611] Source #

Instances

Instances details
SingI d => SingI (DropSym1 d a :: TyFun (NonEmpty a) [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (DropSym1 d a) Source #

SuppressUnusedWarnings (DropSym1 a6989586621681161153 a6989586621681159611 :: TyFun (NonEmpty a6989586621681159611) [a6989586621681159611] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym1 a6989586621681161153 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161154 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym1 a6989586621681161153 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161154 :: NonEmpty a) = Drop a6989586621681161153 a6989586621681161154

type DropSym2 (a6989586621681161153 :: Nat) (a6989586621681161154 :: NonEmpty a6989586621681159611) = Drop a6989586621681161153 a6989586621681161154 Source #

data SplitAtSym0 :: forall a6989586621681159610. (~>) Nat ((~>) (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610])) Source #

Instances

Instances details
SingI (SplitAtSym0 :: TyFun Nat (NonEmpty a ~> ([a], [a])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681159610 ~> ([a6989586621681159610], [a6989586621681159610])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681159610 ~> ([a6989586621681159610], [a6989586621681159610])) -> Type) (a6989586621681161145 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681159610 ~> ([a6989586621681159610], [a6989586621681159610])) -> Type) (a6989586621681161145 :: Nat) = SplitAtSym1 a6989586621681161145 a6989586621681159610 :: TyFun (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610]) -> Type

data SplitAtSym1 (a6989586621681161145 :: Nat) :: forall a6989586621681159610. (~>) (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610]) Source #

Instances

Instances details
SingI d => SingI (SplitAtSym1 d a :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (SplitAtSym1 d a) Source #

SuppressUnusedWarnings (SplitAtSym1 a6989586621681161145 a6989586621681159610 :: TyFun (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym1 a6989586621681161145 a :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161146 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym1 a6989586621681161145 a :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161146 :: NonEmpty a) = SplitAt a6989586621681161145 a6989586621681161146

type SplitAtSym2 (a6989586621681161145 :: Nat) (a6989586621681161146 :: NonEmpty a6989586621681159610) = SplitAt a6989586621681161145 a6989586621681161146 Source #

data TakeWhileSym0 :: forall a6989586621681159609. (~>) ((~>) a6989586621681159609 Bool) ((~>) (NonEmpty a6989586621681159609) [a6989586621681159609]) Source #

Instances

Instances details
SingI (TakeWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621681159609 ~> Bool) (NonEmpty a6989586621681159609 ~> [a6989586621681159609]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym0 :: TyFun (a6989586621681159609 ~> Bool) (NonEmpty a6989586621681159609 ~> [a6989586621681159609]) -> Type) (a6989586621681161137 :: a6989586621681159609 ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym0 :: TyFun (a6989586621681159609 ~> Bool) (NonEmpty a6989586621681159609 ~> [a6989586621681159609]) -> Type) (a6989586621681161137 :: a6989586621681159609 ~> Bool) = TakeWhileSym1 a6989586621681161137

data TakeWhileSym1 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) :: (~>) (NonEmpty a6989586621681159609) [a6989586621681159609] Source #

Instances

Instances details
SingI d => SingI (TakeWhileSym1 d :: TyFun (NonEmpty a) [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (TakeWhileSym1 a6989586621681161137 :: TyFun (NonEmpty a6989586621681159609) [a6989586621681159609] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym1 a6989586621681161137 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161138 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym1 a6989586621681161137 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161138 :: NonEmpty a) = TakeWhile a6989586621681161137 a6989586621681161138

type TakeWhileSym2 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) (a6989586621681161138 :: NonEmpty a6989586621681159609) = TakeWhile a6989586621681161137 a6989586621681161138 Source #

data DropWhileSym0 :: forall a6989586621681159608. (~>) ((~>) a6989586621681159608 Bool) ((~>) (NonEmpty a6989586621681159608) [a6989586621681159608]) Source #

Instances

Instances details
SingI (DropWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621681159608 ~> Bool) (NonEmpty a6989586621681159608 ~> [a6989586621681159608]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym0 :: TyFun (a6989586621681159608 ~> Bool) (NonEmpty a6989586621681159608 ~> [a6989586621681159608]) -> Type) (a6989586621681161129 :: a6989586621681159608 ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym0 :: TyFun (a6989586621681159608 ~> Bool) (NonEmpty a6989586621681159608 ~> [a6989586621681159608]) -> Type) (a6989586621681161129 :: a6989586621681159608 ~> Bool) = DropWhileSym1 a6989586621681161129

data DropWhileSym1 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) :: (~>) (NonEmpty a6989586621681159608) [a6989586621681159608] Source #

Instances

Instances details
SingI d => SingI (DropWhileSym1 d :: TyFun (NonEmpty a) [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (DropWhileSym1 a6989586621681161129 :: TyFun (NonEmpty a6989586621681159608) [a6989586621681159608] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym1 a6989586621681161129 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161130 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym1 a6989586621681161129 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161130 :: NonEmpty a) = DropWhile a6989586621681161129 a6989586621681161130

type DropWhileSym2 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) (a6989586621681161130 :: NonEmpty a6989586621681159608) = DropWhile a6989586621681161129 a6989586621681161130 Source #

data SpanSym0 :: forall a6989586621681159607. (~>) ((~>) a6989586621681159607 Bool) ((~>) (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607])) Source #

Instances

Instances details
SingI (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621681159607 ~> Bool) (NonEmpty a6989586621681159607 ~> ([a6989586621681159607], [a6989586621681159607])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym0 :: TyFun (a6989586621681159607 ~> Bool) (NonEmpty a6989586621681159607 ~> ([a6989586621681159607], [a6989586621681159607])) -> Type) (a6989586621681161121 :: a6989586621681159607 ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym0 :: TyFun (a6989586621681159607 ~> Bool) (NonEmpty a6989586621681159607 ~> ([a6989586621681159607], [a6989586621681159607])) -> Type) (a6989586621681161121 :: a6989586621681159607 ~> Bool) = SpanSym1 a6989586621681161121

data SpanSym1 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) :: (~>) (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607]) Source #

Instances

Instances details
SingI d => SingI (SpanSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (SpanSym1 d) Source #

SuppressUnusedWarnings (SpanSym1 a6989586621681161121 :: TyFun (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym1 a6989586621681161121 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161122 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym1 a6989586621681161121 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161122 :: NonEmpty a) = Span a6989586621681161121 a6989586621681161122

type SpanSym2 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) (a6989586621681161122 :: NonEmpty a6989586621681159607) = Span a6989586621681161121 a6989586621681161122 Source #

data BreakSym0 :: forall a6989586621681159606. (~>) ((~>) a6989586621681159606 Bool) ((~>) (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606])) Source #

Instances

Instances details
SingI (BreakSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621681159606 ~> Bool) (NonEmpty a6989586621681159606 ~> ([a6989586621681159606], [a6989586621681159606])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym0 :: TyFun (a6989586621681159606 ~> Bool) (NonEmpty a6989586621681159606 ~> ([a6989586621681159606], [a6989586621681159606])) -> Type) (a6989586621681161113 :: a6989586621681159606 ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym0 :: TyFun (a6989586621681159606 ~> Bool) (NonEmpty a6989586621681159606 ~> ([a6989586621681159606], [a6989586621681159606])) -> Type) (a6989586621681161113 :: a6989586621681159606 ~> Bool) = BreakSym1 a6989586621681161113

data BreakSym1 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) :: (~>) (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606]) Source #

Instances

Instances details
SingI d => SingI (BreakSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (BreakSym1 d) Source #

SuppressUnusedWarnings (BreakSym1 a6989586621681161113 :: TyFun (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym1 a6989586621681161113 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161114 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym1 a6989586621681161113 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161114 :: NonEmpty a) = Break a6989586621681161113 a6989586621681161114

type BreakSym2 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) (a6989586621681161114 :: NonEmpty a6989586621681159606) = Break a6989586621681161113 a6989586621681161114 Source #

data FilterSym0 :: forall a6989586621681159605. (~>) ((~>) a6989586621681159605 Bool) ((~>) (NonEmpty a6989586621681159605) [a6989586621681159605]) Source #

Instances

Instances details
SingI (FilterSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621681159605 ~> Bool) (NonEmpty a6989586621681159605 ~> [a6989586621681159605]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym0 :: TyFun (a6989586621681159605 ~> Bool) (NonEmpty a6989586621681159605 ~> [a6989586621681159605]) -> Type) (a6989586621681161105 :: a6989586621681159605 ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym0 :: TyFun (a6989586621681159605 ~> Bool) (NonEmpty a6989586621681159605 ~> [a6989586621681159605]) -> Type) (a6989586621681161105 :: a6989586621681159605 ~> Bool) = FilterSym1 a6989586621681161105

data FilterSym1 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) :: (~>) (NonEmpty a6989586621681159605) [a6989586621681159605] Source #

Instances

Instances details
SingI d => SingI (FilterSym1 d :: TyFun (NonEmpty a) [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (FilterSym1 d) Source #

SuppressUnusedWarnings (FilterSym1 a6989586621681161105 :: TyFun (NonEmpty a6989586621681159605) [a6989586621681159605] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym1 a6989586621681161105 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161106 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym1 a6989586621681161105 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161106 :: NonEmpty a) = Filter a6989586621681161105 a6989586621681161106

type FilterSym2 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) (a6989586621681161106 :: NonEmpty a6989586621681159605) = Filter a6989586621681161105 a6989586621681161106 Source #

data PartitionSym0 :: forall a6989586621681159604. (~>) ((~>) a6989586621681159604 Bool) ((~>) (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604])) Source #

Instances

Instances details
SingI (PartitionSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621681159604 ~> Bool) (NonEmpty a6989586621681159604 ~> ([a6989586621681159604], [a6989586621681159604])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym0 :: TyFun (a6989586621681159604 ~> Bool) (NonEmpty a6989586621681159604 ~> ([a6989586621681159604], [a6989586621681159604])) -> Type) (a6989586621681161097 :: a6989586621681159604 ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym0 :: TyFun (a6989586621681159604 ~> Bool) (NonEmpty a6989586621681159604 ~> ([a6989586621681159604], [a6989586621681159604])) -> Type) (a6989586621681161097 :: a6989586621681159604 ~> Bool) = PartitionSym1 a6989586621681161097

data PartitionSym1 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) :: (~>) (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604]) Source #

Instances

Instances details
SingI d => SingI (PartitionSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (PartitionSym1 a6989586621681161097 :: TyFun (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym1 a6989586621681161097 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161098 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym1 a6989586621681161097 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161098 :: NonEmpty a) = Partition a6989586621681161097 a6989586621681161098

type PartitionSym2 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) (a6989586621681161098 :: NonEmpty a6989586621681159604) = Partition a6989586621681161097 a6989586621681161098 Source #

data GroupSym0 :: forall a6989586621681159603. (~>) [a6989586621681159603] [NonEmpty a6989586621681159603] Source #

Instances

Instances details
SEq a => SingI (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621681159603] [NonEmpty a6989586621681159603] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161094 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161094 :: [a]) = Group a6989586621681161094

type GroupSym1 (a6989586621681161094 :: [a6989586621681159603]) = Group a6989586621681161094 Source #

data GroupBySym0 :: forall a6989586621681159602. (~>) ((~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) ((~>) [a6989586621681159602] [NonEmpty a6989586621681159602]) Source #

Instances

Instances details
SingI (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) ([a6989586621681159602] ~> [NonEmpty a6989586621681159602]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym0 :: TyFun (a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) ([a6989586621681159602] ~> [NonEmpty a6989586621681159602]) -> Type) (a6989586621681161044 :: a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym0 :: TyFun (a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) ([a6989586621681159602] ~> [NonEmpty a6989586621681159602]) -> Type) (a6989586621681161044 :: a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) = GroupBySym1 a6989586621681161044

data GroupBySym1 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) :: (~>) [a6989586621681159602] [NonEmpty a6989586621681159602] Source #

Instances

Instances details
SingI d => SingI (GroupBySym1 d :: TyFun [a] [NonEmpty a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (GroupBySym1 d) Source #

SuppressUnusedWarnings (GroupBySym1 a6989586621681161044 :: TyFun [a6989586621681159602] [NonEmpty a6989586621681159602] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym1 a6989586621681161044 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161045 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym1 a6989586621681161044 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161045 :: [a]) = GroupBy a6989586621681161044 a6989586621681161045

type GroupBySym2 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) (a6989586621681161045 :: [a6989586621681159602]) = GroupBy a6989586621681161044 a6989586621681161045 Source #

data GroupWithSym0 :: forall a6989586621681159601 b6989586621681159600. (~>) ((~>) a6989586621681159601 b6989586621681159600) ((~>) [a6989586621681159601] [NonEmpty a6989586621681159601]) Source #

Instances

Instances details
SEq b => SingI (GroupWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupWithSym0 :: TyFun (a6989586621681159601 ~> b6989586621681159600) ([a6989586621681159601] ~> [NonEmpty a6989586621681159601]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym0 :: TyFun (a6989586621681159601 ~> b6989586621681159600) ([a6989586621681159601] ~> [NonEmpty a6989586621681159601]) -> Type) (a6989586621681161036 :: a6989586621681159601 ~> b6989586621681159600) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym0 :: TyFun (a6989586621681159601 ~> b6989586621681159600) ([a6989586621681159601] ~> [NonEmpty a6989586621681159601]) -> Type) (a6989586621681161036 :: a6989586621681159601 ~> b6989586621681159600) = GroupWithSym1 a6989586621681161036

data GroupWithSym1 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) :: (~>) [a6989586621681159601] [NonEmpty a6989586621681159601] Source #

Instances

Instances details
(SEq b, SingI d) => SingI (GroupWithSym1 d :: TyFun [a] [NonEmpty a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupWithSym1 a6989586621681161036 :: TyFun [a6989586621681159601] [NonEmpty a6989586621681159601] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym1 a6989586621681161036 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161037 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym1 a6989586621681161036 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161037 :: [a]) = GroupWith a6989586621681161036 a6989586621681161037

type GroupWithSym2 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) (a6989586621681161037 :: [a6989586621681159601]) = GroupWith a6989586621681161036 a6989586621681161037 Source #

data GroupAllWithSym0 :: forall a6989586621681159599 b6989586621681159598. (~>) ((~>) a6989586621681159599 b6989586621681159598) ((~>) [a6989586621681159599] [NonEmpty a6989586621681159599]) Source #

Instances

Instances details
SOrd b => SingI (GroupAllWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (a6989586621681159599 ~> b6989586621681159598) ([a6989586621681159599] ~> [NonEmpty a6989586621681159599]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym0 :: TyFun (a6989586621681159599 ~> b6989586621681159598) ([a6989586621681159599] ~> [NonEmpty a6989586621681159599]) -> Type) (a6989586621681161028 :: a6989586621681159599 ~> b6989586621681159598) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym0 :: TyFun (a6989586621681159599 ~> b6989586621681159598) ([a6989586621681159599] ~> [NonEmpty a6989586621681159599]) -> Type) (a6989586621681161028 :: a6989586621681159599 ~> b6989586621681159598) = GroupAllWithSym1 a6989586621681161028

data GroupAllWithSym1 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) :: (~>) [a6989586621681159599] [NonEmpty a6989586621681159599] Source #

Instances

Instances details
(SOrd b, SingI d) => SingI (GroupAllWithSym1 d :: TyFun [a] [NonEmpty a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWithSym1 a6989586621681161028 :: TyFun [a6989586621681159599] [NonEmpty a6989586621681159599] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym1 a6989586621681161028 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161029 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym1 a6989586621681161028 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161029 :: [a]) = GroupAllWith a6989586621681161028 a6989586621681161029

type GroupAllWithSym2 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) (a6989586621681161029 :: [a6989586621681159599]) = GroupAllWith a6989586621681161028 a6989586621681161029 Source #

data Group1Sym0 :: forall a6989586621681159597. (~>) (NonEmpty a6989586621681159597) (NonEmpty (NonEmpty a6989586621681159597)) Source #

Instances

Instances details
SEq a => SingI (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621681159597) (NonEmpty (NonEmpty a6989586621681159597)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681161025 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681161025 :: NonEmpty a) = Group1 a6989586621681161025

type Group1Sym1 (a6989586621681161025 :: NonEmpty a6989586621681159597) = Group1 a6989586621681161025 Source #

data GroupBy1Sym0 :: forall a6989586621681159596. (~>) ((~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) ((~>) (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596))) Source #

Instances

Instances details
SingI (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) (NonEmpty a6989586621681159596 ~> NonEmpty (NonEmpty a6989586621681159596)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym0 :: TyFun (a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) (NonEmpty a6989586621681159596 ~> NonEmpty (NonEmpty a6989586621681159596)) -> Type) (a6989586621681160992 :: a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym0 :: TyFun (a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) (NonEmpty a6989586621681159596 ~> NonEmpty (NonEmpty a6989586621681159596)) -> Type) (a6989586621681160992 :: a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) = GroupBy1Sym1 a6989586621681160992

data GroupBy1Sym1 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) :: (~>) (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596)) Source #

Instances

Instances details
SingI d => SingI (GroupBy1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (GroupBy1Sym1 d) Source #

SuppressUnusedWarnings (GroupBy1Sym1 a6989586621681160992 :: TyFun (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym1 a6989586621681160992 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160993 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym1 a6989586621681160992 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160993 :: NonEmpty a) = GroupBy1 a6989586621681160992 a6989586621681160993

type GroupBy1Sym2 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) (a6989586621681160993 :: NonEmpty a6989586621681159596) = GroupBy1 a6989586621681160992 a6989586621681160993 Source #

data GroupWith1Sym0 :: forall a6989586621681159595 b6989586621681159594. (~>) ((~>) a6989586621681159595 b6989586621681159594) ((~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595))) Source #

Instances

Instances details
SEq b => SingI (GroupWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (a6989586621681159595 ~> b6989586621681159594) (NonEmpty a6989586621681159595 ~> NonEmpty (NonEmpty a6989586621681159595)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym0 :: TyFun (a6989586621681159595 ~> b6989586621681159594) (NonEmpty a6989586621681159595 ~> NonEmpty (NonEmpty a6989586621681159595)) -> Type) (a6989586621681160984 :: a6989586621681159595 ~> b6989586621681159594) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym0 :: TyFun (a6989586621681159595 ~> b6989586621681159594) (NonEmpty a6989586621681159595 ~> NonEmpty (NonEmpty a6989586621681159595)) -> Type) (a6989586621681160984 :: a6989586621681159595 ~> b6989586621681159594) = GroupWith1Sym1 a6989586621681160984

data GroupWith1Sym1 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) :: (~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595)) Source #

Instances

Instances details
(SEq b, SingI d) => SingI (GroupWith1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupWith1Sym1 a6989586621681160984 :: TyFun (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym1 a6989586621681160984 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160985 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym1 a6989586621681160984 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160985 :: NonEmpty a) = GroupWith1 a6989586621681160984 a6989586621681160985

type GroupWith1Sym2 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) (a6989586621681160985 :: NonEmpty a6989586621681159595) = GroupWith1 a6989586621681160984 a6989586621681160985 Source #

data GroupAllWith1Sym0 :: forall a6989586621681159593 b6989586621681159592. (~>) ((~>) a6989586621681159593 b6989586621681159592) ((~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593))) Source #

Instances

Instances details
SOrd b => SingI (GroupAllWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (a6989586621681159593 ~> b6989586621681159592) (NonEmpty a6989586621681159593 ~> NonEmpty (NonEmpty a6989586621681159593)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym0 :: TyFun (a6989586621681159593 ~> b6989586621681159592) (NonEmpty a6989586621681159593 ~> NonEmpty (NonEmpty a6989586621681159593)) -> Type) (a6989586621681160976 :: a6989586621681159593 ~> b6989586621681159592) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym0 :: TyFun (a6989586621681159593 ~> b6989586621681159592) (NonEmpty a6989586621681159593 ~> NonEmpty (NonEmpty a6989586621681159593)) -> Type) (a6989586621681160976 :: a6989586621681159593 ~> b6989586621681159592) = GroupAllWith1Sym1 a6989586621681160976

data GroupAllWith1Sym1 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) :: (~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593)) Source #

Instances

Instances details
(SOrd b, SingI d) => SingI (GroupAllWith1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (GroupAllWith1Sym1 a6989586621681160976 :: TyFun (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym1 a6989586621681160976 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160977 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym1 a6989586621681160976 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160977 :: NonEmpty a) = GroupAllWith1 a6989586621681160976 a6989586621681160977

type GroupAllWith1Sym2 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) (a6989586621681160977 :: NonEmpty a6989586621681159593) = GroupAllWith1 a6989586621681160976 a6989586621681160977 Source #

data IsPrefixOfSym0 :: forall a6989586621681159591. (~>) [a6989586621681159591] ((~>) (NonEmpty a6989586621681159591) Bool) Source #

Instances

Instances details
SEq a => SingI (IsPrefixOfSym0 :: TyFun [a] (NonEmpty a ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621681159591] (NonEmpty a6989586621681159591 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym0 :: TyFun [a6989586621681159591] (NonEmpty a6989586621681159591 ~> Bool) -> Type) (a6989586621681160968 :: [a6989586621681159591]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym0 :: TyFun [a6989586621681159591] (NonEmpty a6989586621681159591 ~> Bool) -> Type) (a6989586621681160968 :: [a6989586621681159591]) = IsPrefixOfSym1 a6989586621681160968

data IsPrefixOfSym1 (a6989586621681160968 :: [a6989586621681159591]) :: (~>) (NonEmpty a6989586621681159591) Bool Source #

Instances

Instances details
(SEq a, SingI d) => SingI (IsPrefixOfSym1 d :: TyFun (NonEmpty a) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621681160968 :: TyFun (NonEmpty a6989586621681159591) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym1 a6989586621681160968 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681160969 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym1 a6989586621681160968 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681160969 :: NonEmpty a) = IsPrefixOf a6989586621681160968 a6989586621681160969

type IsPrefixOfSym2 (a6989586621681160968 :: [a6989586621681159591]) (a6989586621681160969 :: NonEmpty a6989586621681159591) = IsPrefixOf a6989586621681160968 a6989586621681160969 Source #

data NubSym0 :: forall a6989586621681159582. (~>) (NonEmpty a6989586621681159582) (NonEmpty a6989586621681159582) Source #

Instances

Instances details
SEq a => SingI (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621681159582) (NonEmpty a6989586621681159582) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160899 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160899 :: NonEmpty a) = Nub a6989586621681160899

type NubSym1 (a6989586621681160899 :: NonEmpty a6989586621681159582) = Nub a6989586621681160899 Source #

data NubBySym0 :: forall a6989586621681159581. (~>) ((~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) ((~>) (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581)) Source #

Instances

Instances details
SingI (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) (NonEmpty a6989586621681159581 ~> NonEmpty a6989586621681159581) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym0 :: TyFun (a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) (NonEmpty a6989586621681159581 ~> NonEmpty a6989586621681159581) -> Type) (a6989586621681160882 :: a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym0 :: TyFun (a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) (NonEmpty a6989586621681159581 ~> NonEmpty a6989586621681159581) -> Type) (a6989586621681160882 :: a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) = NubBySym1 a6989586621681160882

data NubBySym1 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) :: (~>) (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581) Source #

Instances

Instances details
SingI d => SingI (NubBySym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (NubBySym1 d) Source #

SuppressUnusedWarnings (NubBySym1 a6989586621681160882 :: TyFun (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym1 a6989586621681160882 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160883 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym1 a6989586621681160882 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160883 :: NonEmpty a) = NubBy a6989586621681160882 a6989586621681160883

type NubBySym2 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) (a6989586621681160883 :: NonEmpty a6989586621681159581) = NubBy a6989586621681160882 a6989586621681160883 Source #

data (!!@#@$) :: forall a6989586621681159590. (~>) (NonEmpty a6989586621681159590) ((~>) Nat a6989586621681159590) Source #

Instances

Instances details
SingI ((!!@#@$) :: TyFun (NonEmpty a) (Nat ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621681159590) (Nat ~> a6989586621681159590) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621681159590) (Nat ~> a6989586621681159590) -> Type) (a6989586621681160950 :: NonEmpty a6989586621681159590) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621681159590) (Nat ~> a6989586621681159590) -> Type) (a6989586621681160950 :: NonEmpty a6989586621681159590) = (!!@#@$$) a6989586621681160950

data (!!@#@$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) :: (~>) Nat a6989586621681159590 Source #

Instances

Instances details
SingI d => SingI ((!!@#@$$) d :: TyFun Nat a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing ((!!@#@$$) d) Source #

SuppressUnusedWarnings ((!!@#@$$) a6989586621681160950 :: TyFun Nat a6989586621681159590 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$$) a6989586621681160950 :: TyFun Nat a -> Type) (a6989586621681160951 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$$) a6989586621681160950 :: TyFun Nat a -> Type) (a6989586621681160951 :: Nat) = a6989586621681160950 !! a6989586621681160951

type (!!@#@$$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) (a6989586621681160951 :: Nat) = (!!) a6989586621681160950 a6989586621681160951 Source #

data ZipSym0 :: forall a6989586621681159588 b6989586621681159589. (~>) (NonEmpty a6989586621681159588) ((~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589))) Source #

Instances

Instances details
SingI (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621681159588) (NonEmpty b6989586621681159589 ~> NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681159588) (NonEmpty b6989586621681159589 ~> NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) (a6989586621681160942 :: NonEmpty a6989586621681159588) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681159588) (NonEmpty b6989586621681159589 ~> NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) (a6989586621681160942 :: NonEmpty a6989586621681159588) = ZipSym1 a6989586621681160942 b6989586621681159589 :: TyFun (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type

data ZipSym1 (a6989586621681160942 :: NonEmpty a6989586621681159588) :: forall b6989586621681159589. (~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)) Source #

Instances

Instances details
SingI d => SingI (ZipSym1 d b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (ZipSym1 d b) Source #

SuppressUnusedWarnings (ZipSym1 a6989586621681160942 b6989586621681159589 :: TyFun (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym1 a6989586621681160942 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681160943 :: NonEmpty b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym1 a6989586621681160942 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681160943 :: NonEmpty b) = Zip a6989586621681160942 a6989586621681160943

type ZipSym2 (a6989586621681160942 :: NonEmpty a6989586621681159588) (a6989586621681160943 :: NonEmpty b6989586621681159589) = Zip a6989586621681160942 a6989586621681160943 Source #

data ZipWithSym0 :: forall a6989586621681159585 b6989586621681159586 c6989586621681159587. (~>) ((~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) ((~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587))) Source #

Instances

Instances details
SingI (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) (NonEmpty a6989586621681159585 ~> (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym0 :: TyFun (a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) (NonEmpty a6989586621681159585 ~> (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587)) -> Type) (a6989586621681160931 :: a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym0 :: TyFun (a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) (NonEmpty a6989586621681159585 ~> (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587)) -> Type) (a6989586621681160931 :: a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) = ZipWithSym1 a6989586621681160931

data ZipWithSym1 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) :: (~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587)) Source #

Instances

Instances details
SingI d => SingI (ZipWithSym1 d :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (ZipWithSym1 d) Source #

SuppressUnusedWarnings (ZipWithSym1 a6989586621681160931 :: TyFun (NonEmpty a6989586621681159585) (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym1 a6989586621681160931 :: TyFun (NonEmpty a6989586621681159585) (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587) -> Type) (a6989586621681160932 :: NonEmpty a6989586621681159585) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym1 a6989586621681160931 :: TyFun (NonEmpty a6989586621681159585) (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587) -> Type) (a6989586621681160932 :: NonEmpty a6989586621681159585) = ZipWithSym2 a6989586621681160931 a6989586621681160932

data ZipWithSym2 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) :: (~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587) Source #

Instances

Instances details
(SingI d1, SingI d2) => SingI (ZipWithSym2 d1 d2 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

sing :: Sing (ZipWithSym2 d1 d2) Source #

SuppressUnusedWarnings (ZipWithSym2 a6989586621681160932 a6989586621681160931 :: TyFun (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym2 a6989586621681160932 a6989586621681160931 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681160933 :: NonEmpty b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym2 a6989586621681160932 a6989586621681160931 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681160933 :: NonEmpty b) = ZipWith a6989586621681160932 a6989586621681160931 a6989586621681160933

type ZipWithSym3 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) (a6989586621681160933 :: NonEmpty b6989586621681159586) = ZipWith a6989586621681160931 a6989586621681160932 a6989586621681160933 Source #

data UnzipSym0 :: forall a6989586621681159583 b6989586621681159584. (~>) (NonEmpty (a6989586621681159583, b6989586621681159584)) (NonEmpty a6989586621681159583, NonEmpty b6989586621681159584) Source #

Instances

Instances details
SingI (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621681159583, b6989586621681159584)) (NonEmpty a6989586621681159583, NonEmpty b6989586621681159584) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) (a6989586621681160902 :: NonEmpty (a, b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) (a6989586621681160902 :: NonEmpty (a, b)) = Unzip a6989586621681160902

type UnzipSym1 (a6989586621681160902 :: NonEmpty (a6989586621681159583, b6989586621681159584)) = Unzip a6989586621681160902 Source #

data FromListSym0 :: forall a6989586621681159629. (~>) [a6989586621681159629] (NonEmpty a6989586621681159629) Source #

Instances

Instances details
SingI (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621681159629] (NonEmpty a6989586621681159629) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161257 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161257 :: [a]) = FromList a6989586621681161257

type FromListSym1 (a6989586621681161257 :: [a6989586621681159629]) = FromList a6989586621681161257 Source #

data ToListSym0 :: forall a6989586621681159628. (~>) (NonEmpty a6989586621681159628) [a6989586621681159628] Source #

Instances

Instances details
SingI (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621681159628) [a6989586621681159628] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161253 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161253 :: NonEmpty a) = ToList a6989586621681161253

type ToListSym1 (a6989586621681161253 :: NonEmpty a6989586621681159628) = ToList a6989586621681161253 Source #

data NonEmpty_Sym0 :: forall a6989586621681159640. (~>) [a6989586621681159640] (Maybe (NonEmpty a6989586621681159640)) Source #

Instances

Instances details
SingI (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621681159640] (Maybe (NonEmpty a6989586621681159640)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) (a6989586621681161330 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) (a6989586621681161330 :: [a]) = NonEmpty_ a6989586621681161330

type NonEmpty_Sym1 (a6989586621681161330 :: [a6989586621681159640]) = NonEmpty_ a6989586621681161330 Source #

data XorSym0 :: (~>) (NonEmpty Bool) Bool Source #

Instances

Instances details
SingI XorSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

SuppressUnusedWarnings XorSym0 Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply XorSym0 (a6989586621681161349 :: NonEmpty Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply XorSym0 (a6989586621681161349 :: NonEmpty Bool) = Xor a6989586621681161349

type XorSym1 (a6989586621681161349 :: NonEmpty Bool) = Xor a6989586621681161349 Source #

Orphan instances

SMonadZip NonEmpty Source # 
Instance details

Methods

sMzip :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source #

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source #

sMunzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source #

PMonadZip NonEmpty Source # 
Instance details

Associated Types

type Mzip arg arg :: m (a, b) Source #

type MzipWith arg arg arg :: m c Source #

type Munzip arg :: (m a, m b) Source #