Copyright | (C) 2016 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Richard Eisenberg (rae@cs.brynmawr.edu) |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Singletons.Prelude.List.NonEmpty
Description
Defines functions and datatypes relating to the singleton for NonEmpty
,
including a singletons version of all the definitions in Data.List.NonEmpty
.
Because many of these definitions are produced by Template Haskell,
it is not possible to create proper Haddock documentation. Please look
up the corresponding operation in Data.List.NonEmpty
. Also, please excuse
the apparent repeated variable names. This is due to an interaction
between Template Haskell and Haddock.
Synopsis
- data family Sing (a :: k)
- type SNonEmpty = (Sing :: NonEmpty a -> Type)
- type family Map (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty b where ...
- sMap :: forall (t :: TyFun a b -> Type) (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 (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a)
- type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: NonEmpty b where ...
- sScanl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: NonEmpty b)
- type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: NonEmpty b where ...
- sScanr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: NonEmpty b)
- type family Scanl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ...
- sScanl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a)
- type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ...
- sScanr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (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 (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a))
- type family SortBy (a :: TyFun a (TyFun a Ordering -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ...
- sSortBy :: forall (t :: TyFun a (TyFun a Ordering -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a)
- type family SortWith (a :: TyFun a o -> Type) (a :: NonEmpty a) :: NonEmpty a where ...
- sSortWith :: forall (t :: TyFun a o -> Type) (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 (t :: NonEmpty a). Sing t -> Sing (Apply LengthSym0 t :: Nat)
- type family Head (a :: NonEmpty a) :: a where ...
- sHead :: forall (t :: NonEmpty a). Sing t -> Sing (Apply HeadSym0 t :: a)
- type family Tail (a :: NonEmpty a) :: [a] where ...
- sTail :: forall (t :: NonEmpty a). Sing t -> Sing (Apply TailSym0 t :: [a])
- type family Last (a :: NonEmpty a) :: a where ...
- sLast :: forall (t :: NonEmpty a). Sing t -> Sing (Apply LastSym0 t :: a)
- type family Init (a :: NonEmpty a) :: [a] where ...
- sInit :: forall (t :: NonEmpty a). Sing t -> Sing (Apply InitSym0 t :: [a])
- type family (a :: a) <| (a :: NonEmpty a) :: NonEmpty a where ...
- (%<|) :: forall (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 (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 (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a)))
- type family Unfoldr (a :: TyFun a (b, Maybe a) -> Type) (a :: a) :: NonEmpty b where ...
- sUnfoldr :: forall (t :: TyFun a (b, Maybe a) -> Type) (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 (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a)
- type family Reverse (a :: NonEmpty a) :: NonEmpty a where ...
- sReverse :: forall (t :: NonEmpty a). Sing t -> Sing (Apply ReverseSym0 t :: NonEmpty a)
- type family Inits (a :: [a]) :: NonEmpty [a] where ...
- sInits :: forall (t :: [a]). Sing t -> Sing (Apply InitsSym0 t :: NonEmpty [a])
- type family Tails (a :: [a]) :: NonEmpty [a] where ...
- sTails :: forall (t :: [a]). Sing t -> Sing (Apply TailsSym0 t :: NonEmpty [a])
- type family Unfold (a :: TyFun a (b, Maybe a) -> Type) (a :: a) :: NonEmpty b where ...
- sUnfold :: forall (t :: TyFun a (b, Maybe a) -> Type) (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 (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 (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 (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 (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a]))
- type family TakeWhile (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ...
- sTakeWhile :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a])
- type family DropWhile (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ...
- sDropWhile :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a])
- type family Span (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ...
- sSpan :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a]))
- type family Break (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ...
- sBreak :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a]))
- type family Filter (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ...
- sFilter :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a])
- type family Partition (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ...
- sPartition :: forall (t :: TyFun a Bool -> Type) (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 (t :: [a]). SEq a => Sing t -> Sing (Apply GroupSym0 t :: [NonEmpty a])
- type family GroupBy (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: [a]) :: [NonEmpty a] where ...
- sGroupBy :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a])
- type family GroupWith (a :: TyFun a b -> Type) (a :: [a]) :: [NonEmpty a] where ...
- sGroupWith :: forall (t :: TyFun a b -> Type) (t :: [a]). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWithSym0 t) t :: [NonEmpty a])
- type family GroupAllWith (a :: TyFun a b -> Type) (a :: [a]) :: [NonEmpty a] where ...
- sGroupAllWith :: forall (t :: TyFun a b -> Type) (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 (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a))
- type family GroupBy1 (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
- sGroupBy1 :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a))
- type family GroupWith1 (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
- sGroupWith1 :: forall (t :: TyFun a b -> Type) (t :: NonEmpty a). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWith1Sym0 t) t :: NonEmpty (NonEmpty a))
- type family GroupAllWith1 (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
- sGroupAllWith1 :: forall (t :: TyFun a b -> Type) (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 (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 (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply NubSym0 t :: NonEmpty a)
- type family NubBy (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ...
- sNubBy :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (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 (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 (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b))
- type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ...
- sZipWith :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (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 (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b))
- type family FromList (a :: [a]) :: NonEmpty a where ...
- sFromList :: forall (t :: [a]). Sing t -> Sing (Apply FromListSym0 t :: NonEmpty a)
- type family ToList (a :: NonEmpty a) :: [a] where ...
- sToList :: forall (t :: NonEmpty a). Sing t -> Sing (Apply ToListSym0 t :: [a])
- type family NonEmpty_ (a :: [a]) :: Maybe (NonEmpty a) where ...
- sNonEmpty_ :: forall (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 (:|@#@$) (l :: TyFun a6989586621679066011 (TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> Type))
- data (l :: a6989586621679066011) :|@#@$$ (l :: TyFun [a6989586621679066011] (NonEmpty a6989586621679066011))
- type (:|@#@$$$) (t :: a6989586621679066011) (t :: [a6989586621679066011]) = (:|) t t
- data MapSym0 (l :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type))
- data MapSym1 (l :: TyFun a6989586621679770729 b6989586621679770730 -> Type) (l :: TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730))
- type MapSym2 (t :: TyFun a6989586621679770729 b6989586621679770730 -> Type) (t :: NonEmpty a6989586621679770729) = Map t t
- data IntersperseSym0 (l :: TyFun a6989586621679770719 (TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> Type))
- data IntersperseSym1 (l :: a6989586621679770719) (l :: TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719))
- type IntersperseSym2 (t :: a6989586621679770719) (t :: NonEmpty a6989586621679770719) = Intersperse t t
- data ScanlSym0 (l :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type))
- data ScanlSym1 (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (l :: TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type))
- data ScanlSym2 (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (l :: b6989586621679770724) (l :: TyFun [a6989586621679770725] (NonEmpty b6989586621679770724))
- type ScanlSym3 (t :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (t :: b6989586621679770724) (t :: [a6989586621679770725]) = Scanl t t t
- data ScanrSym0 (l :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type))
- data ScanrSym1 (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (l :: TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type))
- data ScanrSym2 (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (l :: b6989586621679770723) (l :: TyFun [a6989586621679770722] (NonEmpty b6989586621679770723))
- type ScanrSym3 (t :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (t :: b6989586621679770723) (t :: [a6989586621679770722]) = Scanr t t t
- data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> Type))
- data Scanl1Sym1 (l :: TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721))
- type Scanl1Sym2 (t :: TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (t :: NonEmpty a6989586621679770721) = Scanl1 t t
- data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> Type))
- data Scanr1Sym1 (l :: TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720))
- type Scanr1Sym2 (t :: TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (t :: NonEmpty a6989586621679770720) = Scanr1 t t
- data TransposeSym0 (l :: TyFun (NonEmpty (NonEmpty a6989586621679770685)) (NonEmpty (NonEmpty a6989586621679770685)))
- type TransposeSym1 (t :: NonEmpty (NonEmpty a6989586621679770685)) = Transpose t
- data SortBySym0 (l :: TyFun (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> Type))
- data SortBySym1 (l :: TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684))
- type SortBySym2 (t :: TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (t :: NonEmpty a6989586621679770684) = SortBy t t
- data SortWithSym0 (l :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type))
- data SortWithSym1 (l :: TyFun a6989586621679770683 o6989586621679770682 -> Type) (l :: TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683))
- type SortWithSym2 (t :: TyFun a6989586621679770683 o6989586621679770682 -> Type) (t :: NonEmpty a6989586621679770683) = SortWith t t
- data LengthSym0 (l :: TyFun (NonEmpty a6989586621679770748) Nat)
- type LengthSym1 (t :: NonEmpty a6989586621679770748) = Length t
- data HeadSym0 (l :: TyFun (NonEmpty a6989586621679770741) a6989586621679770741)
- type HeadSym1 (t :: NonEmpty a6989586621679770741) = Head t
- data TailSym0 (l :: TyFun (NonEmpty a6989586621679770740) [a6989586621679770740])
- type TailSym1 (t :: NonEmpty a6989586621679770740) = Tail t
- data LastSym0 (l :: TyFun (NonEmpty a6989586621679770739) a6989586621679770739)
- type LastSym1 (t :: NonEmpty a6989586621679770739) = Last t
- data InitSym0 (l :: TyFun (NonEmpty a6989586621679770738) [a6989586621679770738])
- type InitSym1 (t :: NonEmpty a6989586621679770738) = Init t
- data (<|@#@$) (l :: TyFun a6989586621679770737 (TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> Type))
- data (l :: a6989586621679770737) <|@#@$$ (l :: TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737))
- type (<|@#@$$$) (t :: a6989586621679770737) (t :: NonEmpty a6989586621679770737) = (<|) t t
- data ConsSym0 (l :: TyFun a6989586621679770736 (TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> Type))
- data ConsSym1 (l :: a6989586621679770736) (l :: TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736))
- type ConsSym2 (t :: a6989586621679770736) (t :: NonEmpty a6989586621679770736) = Cons t t
- data UnconsSym0 (l :: TyFun (NonEmpty a6989586621679770744) (a6989586621679770744, Maybe (NonEmpty a6989586621679770744)))
- type UnconsSym1 (t :: NonEmpty a6989586621679770744) = Uncons t
- data UnfoldrSym0 (l :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type))
- data UnfoldrSym1 (l :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (l :: TyFun a6989586621679770742 (NonEmpty b6989586621679770743))
- type UnfoldrSym2 (t :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (t :: a6989586621679770742) = Unfoldr t t
- data SortSym0 (l :: TyFun (NonEmpty a6989586621679770735) (NonEmpty a6989586621679770735))
- type SortSym1 (t :: NonEmpty a6989586621679770735) = Sort t
- data ReverseSym0 (l :: TyFun (NonEmpty a6989586621679770718) (NonEmpty a6989586621679770718))
- type ReverseSym1 (t :: NonEmpty a6989586621679770718) = Reverse t
- data InitsSym0 (l :: TyFun [a6989586621679770728] (NonEmpty [a6989586621679770728]))
- type InitsSym1 (t :: [a6989586621679770728]) = Inits t
- data TailsSym0 (l :: TyFun [a6989586621679770727] (NonEmpty [a6989586621679770727]))
- type TailsSym1 (t :: [a6989586621679770727]) = Tails t
- data UnfoldSym0 (l :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type))
- data UnfoldSym1 (l :: TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (l :: TyFun a6989586621679770746 (NonEmpty b6989586621679770747))
- data InsertSym0 (l :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type))
- data InsertSym1 (l :: a6989586621679770726) (l :: TyFun [a6989586621679770726] (NonEmpty a6989586621679770726))
- type InsertSym2 (t :: a6989586621679770726) (t :: [a6989586621679770726]) = Insert t t
- data TakeSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> Type))
- data TakeSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679770717) [a6989586621679770717])
- type TakeSym2 (t :: Nat) (t :: NonEmpty a6989586621679770717) = Take t t
- data DropSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> Type))
- data DropSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679770716) [a6989586621679770716])
- type DropSym2 (t :: Nat) (t :: NonEmpty a6989586621679770716) = Drop t t
- data SplitAtSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> Type))
- data SplitAtSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]))
- type SplitAtSym2 (t :: Nat) (t :: NonEmpty a6989586621679770715) = SplitAt t t
- data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679770714 Bool -> Type) (TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> Type))
- data TakeWhileSym1 (l :: TyFun a6989586621679770714 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770714) [a6989586621679770714])
- type TakeWhileSym2 (t :: TyFun a6989586621679770714 Bool -> Type) (t :: NonEmpty a6989586621679770714) = TakeWhile t t
- data DropWhileSym0 (l :: TyFun (TyFun a6989586621679770713 Bool -> Type) (TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> Type))
- data DropWhileSym1 (l :: TyFun a6989586621679770713 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770713) [a6989586621679770713])
- type DropWhileSym2 (t :: TyFun a6989586621679770713 Bool -> Type) (t :: NonEmpty a6989586621679770713) = DropWhile t t
- data SpanSym0 (l :: TyFun (TyFun a6989586621679770712 Bool -> Type) (TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> Type))
- data SpanSym1 (l :: TyFun a6989586621679770712 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]))
- type SpanSym2 (t :: TyFun a6989586621679770712 Bool -> Type) (t :: NonEmpty a6989586621679770712) = Span t t
- data BreakSym0 (l :: TyFun (TyFun a6989586621679770711 Bool -> Type) (TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> Type))
- data BreakSym1 (l :: TyFun a6989586621679770711 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]))
- type BreakSym2 (t :: TyFun a6989586621679770711 Bool -> Type) (t :: NonEmpty a6989586621679770711) = Break t t
- data FilterSym0 (l :: TyFun (TyFun a6989586621679770710 Bool -> Type) (TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> Type))
- data FilterSym1 (l :: TyFun a6989586621679770710 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770710) [a6989586621679770710])
- type FilterSym2 (t :: TyFun a6989586621679770710 Bool -> Type) (t :: NonEmpty a6989586621679770710) = Filter t t
- data PartitionSym0 (l :: TyFun (TyFun a6989586621679770709 Bool -> Type) (TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> Type))
- data PartitionSym1 (l :: TyFun a6989586621679770709 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]))
- type PartitionSym2 (t :: TyFun a6989586621679770709 Bool -> Type) (t :: NonEmpty a6989586621679770709) = Partition t t
- data GroupSym0 (l :: TyFun [a6989586621679770708] [NonEmpty a6989586621679770708])
- type GroupSym1 (t :: [a6989586621679770708]) = Group t
- data GroupBySym0 (l :: TyFun (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> Type))
- data GroupBySym1 (l :: TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (l :: TyFun [a6989586621679770707] [NonEmpty a6989586621679770707])
- type GroupBySym2 (t :: TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (t :: [a6989586621679770707]) = GroupBy t t
- data GroupWithSym0 (l :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type))
- data GroupWithSym1 (l :: TyFun a6989586621679770706 b6989586621679770705 -> Type) (l :: TyFun [a6989586621679770706] [NonEmpty a6989586621679770706])
- type GroupWithSym2 (t :: TyFun a6989586621679770706 b6989586621679770705 -> Type) (t :: [a6989586621679770706]) = GroupWith t t
- data GroupAllWithSym0 (l :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type))
- data GroupAllWithSym1 (l :: TyFun a6989586621679770704 b6989586621679770703 -> Type) (l :: TyFun [a6989586621679770704] [NonEmpty a6989586621679770704])
- type GroupAllWithSym2 (t :: TyFun a6989586621679770704 b6989586621679770703 -> Type) (t :: [a6989586621679770704]) = GroupAllWith t t
- data Group1Sym0 (l :: TyFun (NonEmpty a6989586621679770702) (NonEmpty (NonEmpty a6989586621679770702)))
- type Group1Sym1 (t :: NonEmpty a6989586621679770702) = Group1 t
- data GroupBy1Sym0 (l :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type))
- data GroupBy1Sym1 (l :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)))
- type GroupBy1Sym2 (t :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679770701) = GroupBy1 t t
- data GroupWith1Sym0 (l :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type))
- data GroupWith1Sym1 (l :: TyFun a6989586621679770700 b6989586621679770699 -> Type) (l :: TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)))
- type GroupWith1Sym2 (t :: TyFun a6989586621679770700 b6989586621679770699 -> Type) (t :: NonEmpty a6989586621679770700) = GroupWith1 t t
- data GroupAllWith1Sym0 (l :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type))
- data GroupAllWith1Sym1 (l :: TyFun a6989586621679770698 b6989586621679770697 -> Type) (l :: TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)))
- type GroupAllWith1Sym2 (t :: TyFun a6989586621679770698 b6989586621679770697 -> Type) (t :: NonEmpty a6989586621679770698) = GroupAllWith1 t t
- data IsPrefixOfSym0 (l :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type))
- data IsPrefixOfSym1 (l :: [a6989586621679770696]) (l :: TyFun (NonEmpty a6989586621679770696) Bool)
- type IsPrefixOfSym2 (t :: [a6989586621679770696]) (t :: NonEmpty a6989586621679770696) = IsPrefixOf t t
- data NubSym0 (l :: TyFun (NonEmpty a6989586621679770687) (NonEmpty a6989586621679770687))
- type NubSym1 (t :: NonEmpty a6989586621679770687) = Nub t
- data NubBySym0 (l :: TyFun (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> Type))
- data NubBySym1 (l :: TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686))
- type NubBySym2 (t :: TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679770686) = NubBy t t
- data (!!@#@$) (l :: TyFun (NonEmpty a6989586621679770695) (TyFun Nat a6989586621679770695 -> Type))
- data (l :: NonEmpty a6989586621679770695) !!@#@$$ (l :: TyFun Nat a6989586621679770695)
- type (!!@#@$$$) (t :: NonEmpty a6989586621679770695) (t :: Nat) = (!!) t t
- data ZipSym0 (l :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type))
- data ZipSym1 (l :: NonEmpty a6989586621679770693) (l :: TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)))
- type ZipSym2 (t :: NonEmpty a6989586621679770693) (t :: NonEmpty b6989586621679770694) = Zip t t
- data ZipWithSym0 (l :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type))
- data ZipWithSym1 (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type))
- data ZipWithSym2 (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (l :: NonEmpty a6989586621679770690) (l :: TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692))
- type ZipWithSym3 (t :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (t :: NonEmpty a6989586621679770690) (t :: NonEmpty b6989586621679770691) = ZipWith t t t
- data UnzipSym0 (l :: TyFun (NonEmpty (a6989586621679770688, b6989586621679770689)) (NonEmpty a6989586621679770688, NonEmpty b6989586621679770689))
- type UnzipSym1 (t :: NonEmpty (a6989586621679770688, b6989586621679770689)) = Unzip t
- data FromListSym0 (l :: TyFun [a6989586621679770734] (NonEmpty a6989586621679770734))
- type FromListSym1 (t :: [a6989586621679770734]) = FromList t
- data ToListSym0 (l :: TyFun (NonEmpty a6989586621679770733) [a6989586621679770733])
- type ToListSym1 (t :: NonEmpty a6989586621679770733) = ToList t
- data NonEmpty_Sym0 (l :: TyFun [a6989586621679770745] (Maybe (NonEmpty a6989586621679770745)))
- type NonEmpty_Sym1 (t :: [a6989586621679770745]) = NonEmpty_ t
- data XorSym0 (l :: TyFun (NonEmpty Bool) Bool)
- type XorSym1 (t :: NonEmpty Bool) = Xor t
The NonEmpty
singleton
data family Sing (a :: k) infixr 5 Source #
The singleton kind-indexed data family.
Instances
Though Haddock doesn't show it, the Sing
instance above declares
constructor
(:%|) :: Sing h -> Sing t -> Sing (h :| t)
Non-empty stream transformations
sMap :: forall (t :: TyFun a b -> Type) (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_6989586621679772559 a b bs bs) |
sIntersperse :: forall (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a) Source #
type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: NonEmpty b where ... Source #
sScanl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (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 :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: NonEmpty b where ... Source #
sScanr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (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 :: TyFun a (TyFun a a -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... Source #
sScanl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a) Source #
type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... Source #
sScanr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (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_6989586621679773051 = Apply (Apply (Apply (.@#@$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply (.@#@$) ListtransposeSym0) (Apply (Apply (.@#@$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_6989586621679773051 |
sTranspose :: forall (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a)) Source #
type family SortBy (a :: TyFun a (TyFun a Ordering -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... Source #
sSortBy :: forall (t :: TyFun a (TyFun a Ordering -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a) Source #
type family SortWith (a :: TyFun a o -> Type) (a :: NonEmpty a) :: NonEmpty a where ... Source #
Equations
SortWith a_6989586621679772736 a_6989586621679772738 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621679772736) a_6989586621679772738 |
sSortWith :: forall (t :: TyFun a o -> Type) (t :: NonEmpty a). SOrd o => Sing t -> Sing t -> Sing (Apply (Apply SortWithSym0 t) t :: NonEmpty a) Source #
(%<|) :: forall (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply (<|@#@$) t) t :: NonEmpty a) Source #
sCons :: forall (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 (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a))) Source #
type family Unfoldr (a :: TyFun a (b, Maybe a) -> Type) (a :: a) :: NonEmpty b where ... Source #
Equations
Unfoldr f a = Case_6989586621679772963 f a (Let6989586621679772955Scrutinee_6989586621679770923Sym2 f a) |
sUnfoldr :: forall (t :: TyFun a (b, Maybe a) -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldrSym0 t) t :: NonEmpty b) Source #
sSort :: forall (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a) Source #
type family Unfold (a :: TyFun a (b, Maybe a) -> Type) (a :: a) :: NonEmpty b where ... Source #
Equations
Unfold f a = Case_6989586621679772999 f a (Let6989586621679772991Scrutinee_6989586621679770913Sym2 f a) |
sUnfold :: forall (t :: TyFun a (b, Maybe a) -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldSym0 t) t :: NonEmpty b) Source #
sInsert :: forall (t :: a) (t :: [a]). SOrd a => Sing t -> Sing t -> Sing (Apply (Apply InsertSym0 t) t :: NonEmpty a) Source #
sTake :: forall (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a]) Source #
sDrop :: forall (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a]) Source #
sSplitAt :: forall (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a])) Source #
sTakeWhile :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a]) Source #
sDropWhile :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a]) Source #
sSpan :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a])) Source #
sBreak :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a])) Source #
sFilter :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a]) Source #
type family Partition (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ... Source #
sPartition :: forall (t :: TyFun a Bool -> Type) (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_6989586621679772540 = Apply (Apply GroupBySym0 (==@#@$)) a_6989586621679772540 |
type family GroupBy (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: [a]) :: [NonEmpty a] where ... Source #
sGroupBy :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a]) Source #
sGroupWith :: forall (t :: TyFun a b -> Type) (t :: [a]). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWithSym0 t) t :: [NonEmpty a]) Source #
type family GroupAllWith (a :: TyFun a b -> Type) (a :: [a]) :: [NonEmpty a] where ... Source #
Equations
GroupAllWith f a_6989586621679772453 = Apply (Apply (Apply (.@#@$) (Apply GroupWithSym0 f)) (Apply ListsortBySym0 (Apply (Apply OnSym0 CompareSym0) f))) a_6989586621679772453 |
sGroupAllWith :: forall (t :: TyFun a b -> Type) (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_6989586621679772520 = Apply (Apply GroupBy1Sym0 (==@#@$)) a_6989586621679772520 |
sGroup1 :: forall (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a)) Source #
type family GroupBy1 (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #
sGroupBy1 :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a)) Source #
type family GroupWith1 (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #
Equations
GroupWith1 f a_6989586621679772536 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621679772536 |
sGroupWith1 :: forall (t :: TyFun a b -> Type) (t :: NonEmpty a). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWith1Sym0 t) t :: NonEmpty (NonEmpty a)) Source #
type family GroupAllWith1 (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #
Equations
GroupAllWith1 f a_6989586621679772760 = Apply (Apply (Apply (.@#@$) (Apply GroupWith1Sym0 f)) (Apply SortWithSym0 f)) a_6989586621679772760 |
sGroupAllWith1 :: forall (t :: TyFun a b -> Type) (t :: NonEmpty a). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWith1Sym0 t) t :: NonEmpty (NonEmpty a)) Source #
type family IsPrefixOf (a :: [a]) (a :: NonEmpty a) :: Bool where ... Source #
sIsPrefixOf :: forall (t :: [a]) (t :: NonEmpty a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply IsPrefixOfSym0 t) t :: Bool) Source #
type family NubBy (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... Source #
sNubBy :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (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_6989586621679770935 !! arg_6989586621679770937 = Case_6989586621679772279 arg_6989586621679770935 arg_6989586621679770937 (Apply (Apply Tuple2Sym0 arg_6989586621679770935) arg_6989586621679770937) |
(%!!) :: forall (t :: NonEmpty a) (t :: Nat). Sing t -> Sing t -> Sing (Apply (Apply (!!@#@$) t) t :: a) Source #
sZip :: forall (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b)) Source #
type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ... Source #
sZipWith :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: NonEmpty c) Source #
sUnzip :: forall (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b)) Source #
sNonEmpty_ :: forall (t :: [a]). Sing t -> Sing (Apply NonEmpty_Sym0 t :: Maybe (NonEmpty a)) Source #
Defunctionalization symbols
data (:|@#@$) (l :: TyFun a6989586621679066011 (TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> Type)) Source #
Instances
SuppressUnusedWarnings ((:|@#@$) :: TyFun a6989586621679066011 (TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply ((:|@#@$) :: TyFun a6989586621679066011 (TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> Type) -> *) (l :: a6989586621679066011) Source # | |
data (l :: a6989586621679066011) :|@#@$$ (l :: TyFun [a6989586621679066011] (NonEmpty a6989586621679066011)) Source #
Instances
SuppressUnusedWarnings ((:|@#@$$) :: a6989586621679066011 -> TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> *) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply ((:|@#@$$) l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) Source # | |
type (:|@#@$$$) (t :: a6989586621679066011) (t :: [a6989586621679066011]) = (:|) t t Source #
data MapSym0 (l :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type)) Source #
Instances
SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym0 :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type) -> *) (l :: TyFun a6989586621679770729 b6989586621679770730 -> Type) Source # | |
data MapSym1 (l :: TyFun a6989586621679770729 b6989586621679770730 -> Type) (l :: TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730)) Source #
Instances
SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679770729 b6989586621679770730 -> Type) -> TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym1 l1 :: TyFun (NonEmpty a) (NonEmpty b) -> *) (l2 :: NonEmpty a) Source # | |
type MapSym2 (t :: TyFun a6989586621679770729 b6989586621679770730 -> Type) (t :: NonEmpty a6989586621679770729) = Map t t Source #
data IntersperseSym0 (l :: TyFun a6989586621679770719 (TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> Type)) Source #
Instances
SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679770719 (TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IntersperseSym0 :: TyFun a6989586621679770719 (TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> Type) -> *) (l :: a6989586621679770719) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym0 :: TyFun a6989586621679770719 (TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> Type) -> *) (l :: a6989586621679770719) = IntersperseSym1 l |
data IntersperseSym1 (l :: a6989586621679770719) (l :: TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719)) Source #
Instances
SuppressUnusedWarnings (IntersperseSym1 :: a6989586621679770719 -> TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IntersperseSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Intersperse l1 l2 |
type IntersperseSym2 (t :: a6989586621679770719) (t :: NonEmpty a6989586621679770719) = Intersperse t t Source #
data ScanlSym0 (l :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type)) Source #
Instances
SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type) -> *) (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type) -> *) (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) = ScanlSym1 l |
data ScanlSym1 (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (l :: TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type)) Source #
Instances
SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) -> TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanlSym1 l1 :: TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> *) (l2 :: b6989586621679770724) Source # | |
data ScanlSym2 (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (l :: b6989586621679770724) (l :: TyFun [a6989586621679770725] (NonEmpty b6989586621679770724)) Source #
Instances
SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) -> b6989586621679770724 -> TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanlSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) Source # | |
type ScanlSym3 (t :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (t :: b6989586621679770724) (t :: [a6989586621679770725]) = Scanl t t t Source #
data ScanrSym0 (l :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type)) Source #
Instances
SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) = ScanrSym1 l |
data ScanrSym1 (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (l :: TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type)) Source #
Instances
SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) -> TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanrSym1 l1 :: TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> *) (l2 :: b6989586621679770723) Source # | |
data ScanrSym2 (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (l :: b6989586621679770723) (l :: TyFun [a6989586621679770722] (NonEmpty b6989586621679770723)) Source #
Instances
SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) -> b6989586621679770723 -> TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ScanrSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) Source # | |
type ScanrSym3 (t :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (t :: b6989586621679770723) (t :: [a6989586621679770722]) = Scanr t t t Source #
data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> Type)) Source #
Instances
SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> Type) -> *) (l :: TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> Type) -> *) (l :: TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) = Scanl1Sym1 l |
data Scanl1Sym1 (l :: TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721)) Source #
Instances
SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanl1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type Scanl1Sym2 (t :: TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (t :: NonEmpty a6989586621679770721) = Scanl1 t t Source #
data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> Type)) Source #
Instances
SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> Type) -> *) (l :: TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> Type) -> *) (l :: TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) = Scanr1Sym1 l |
data Scanr1Sym1 (l :: TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720)) Source #
Instances
SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Scanr1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type Scanr1Sym2 (t :: TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (t :: NonEmpty a6989586621679770720) = Scanr1 t t Source #
data TransposeSym0 (l :: TyFun (NonEmpty (NonEmpty a6989586621679770685)) (NonEmpty (NonEmpty a6989586621679770685))) Source #
Instances
SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621679770685)) (NonEmpty (NonEmpty a6989586621679770685)) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty (NonEmpty a)) Source # | |
data SortBySym0 (l :: TyFun (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> Type)) Source #
Instances
SuppressUnusedWarnings (SortBySym0 :: TyFun (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortBySym0 :: TyFun (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> Type) -> *) (l :: TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortBySym0 :: TyFun (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> Type) -> *) (l :: TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) = SortBySym1 l |
data SortBySym1 (l :: TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684)) Source #
Instances
SuppressUnusedWarnings (SortBySym1 :: (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type SortBySym2 (t :: TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (t :: NonEmpty a6989586621679770684) = SortBy t t Source #
data SortWithSym0 (l :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type)) Source #
Instances
SuppressUnusedWarnings (SortWithSym0 :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type) -> *) (l :: TyFun a6989586621679770683 o6989586621679770682 -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data SortWithSym1 (l :: TyFun a6989586621679770683 o6989586621679770682 -> Type) (l :: TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683)) Source #
Instances
SuppressUnusedWarnings (SortWithSym1 :: (TyFun a6989586621679770683 o6989586621679770682 -> Type) -> TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortWithSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type SortWithSym2 (t :: TyFun a6989586621679770683 o6989586621679770682 -> Type) (t :: NonEmpty a6989586621679770683) = SortWith t t Source #
data LengthSym0 (l :: TyFun (NonEmpty a6989586621679770748) Nat) Source #
Instances
SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621679770748) Nat -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> *) (l :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type LengthSym1 (t :: NonEmpty a6989586621679770748) = Length t Source #
data HeadSym0 (l :: TyFun (NonEmpty a6989586621679770741) a6989586621679770741) Source #
data TailSym0 (l :: TyFun (NonEmpty a6989586621679770740) [a6989586621679770740]) Source #
data LastSym0 (l :: TyFun (NonEmpty a6989586621679770739) a6989586621679770739) Source #
data InitSym0 (l :: TyFun (NonEmpty a6989586621679770738) [a6989586621679770738]) Source #
data (<|@#@$) (l :: TyFun a6989586621679770737 (TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> Type)) Source #
Instances
SuppressUnusedWarnings ((<|@#@$) :: TyFun a6989586621679770737 (TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<|@#@$) :: TyFun a6989586621679770737 (TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> Type) -> *) (l :: a6989586621679770737) Source # | |
data (l :: a6989586621679770737) <|@#@$$ (l :: TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737)) Source #
Instances
SuppressUnusedWarnings ((<|@#@$$) :: a6989586621679770737 -> TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<|@#@$$) l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # | |
type (<|@#@$$$) (t :: a6989586621679770737) (t :: NonEmpty a6989586621679770737) = (<|) t t Source #
data ConsSym0 (l :: TyFun a6989586621679770736 (TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> Type)) Source #
Instances
SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621679770736 (TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConsSym0 :: TyFun a6989586621679770736 (TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> Type) -> *) (l :: a6989586621679770736) Source # | |
data ConsSym1 (l :: a6989586621679770736) (l :: TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736)) Source #
Instances
SuppressUnusedWarnings (ConsSym1 :: a6989586621679770736 -> TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConsSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # | |
data UnconsSym0 (l :: TyFun (NonEmpty a6989586621679770744) (a6989586621679770744, Maybe (NonEmpty a6989586621679770744))) Source #
Instances
SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621679770744) (a6989586621679770744, Maybe (NonEmpty a6989586621679770744)) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> *) (l :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type UnconsSym1 (t :: NonEmpty a6989586621679770744) = Uncons t Source #
data UnfoldrSym0 (l :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type)) Source #
Instances
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type) -> *) (l :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type) -> *) (l :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) = UnfoldrSym1 l |
data UnfoldrSym1 (l :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (l :: TyFun a6989586621679770742 (NonEmpty b6989586621679770743)) Source #
Instances
SuppressUnusedWarnings (UnfoldrSym1 :: (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) -> TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldrSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type UnfoldrSym2 (t :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (t :: a6989586621679770742) = Unfoldr t t Source #
data SortSym0 (l :: TyFun (NonEmpty a6989586621679770735) (NonEmpty a6989586621679770735)) Source #
Instances
SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621679770735) (NonEmpty a6989586621679770735) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # | |
data ReverseSym0 (l :: TyFun (NonEmpty a6989586621679770718) (NonEmpty a6989586621679770718)) Source #
Instances
SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621679770718) (NonEmpty a6989586621679770718) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type ReverseSym1 (t :: NonEmpty a6989586621679770718) = Reverse t Source #
data InitsSym0 (l :: TyFun [a6989586621679770728] (NonEmpty [a6989586621679770728])) Source #
data TailsSym0 (l :: TyFun [a6989586621679770727] (NonEmpty [a6989586621679770727])) Source #
data UnfoldSym0 (l :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type)) Source #
Instances
SuppressUnusedWarnings (UnfoldSym0 :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type) -> *) (l :: TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type) -> *) (l :: TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) = UnfoldSym1 l |
data UnfoldSym1 (l :: TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (l :: TyFun a6989586621679770746 (NonEmpty b6989586621679770747)) Source #
Instances
SuppressUnusedWarnings (UnfoldSym1 :: (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) -> TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnfoldSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data InsertSym0 (l :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type)) Source #
Instances
SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (InsertSym0 :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type) -> *) (l :: a6989586621679770726) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InsertSym0 :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type) -> *) (l :: a6989586621679770726) = InsertSym1 l |
data InsertSym1 (l :: a6989586621679770726) (l :: TyFun [a6989586621679770726] (NonEmpty a6989586621679770726)) Source #
Instances
SuppressUnusedWarnings (InsertSym1 :: a6989586621679770726 -> TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (InsertSym1 l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type InsertSym2 (t :: a6989586621679770726) (t :: [a6989586621679770726]) = Insert t t Source #
data TakeSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> Type)) Source #
Instances
SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> Type) -> *) (l :: Nat) Source # | |
data TakeSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679770717) [a6989586621679770717]) Source #
Instances
SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # | |
data DropSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> Type)) Source #
Instances
SuppressUnusedWarnings (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> Type) -> *) (l :: Nat) Source # | |
data DropSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679770716) [a6989586621679770716]) Source #
Instances
SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # | |
data SplitAtSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> Type)) Source #
Instances
SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> Type) -> *) (l :: Nat) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data SplitAtSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715])) Source #
Instances
SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SplitAtSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679770714 Bool -> Type) (TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> Type)) Source #
Instances
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (TyFun a6989586621679770714 Bool -> Type) (TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679770714 Bool -> Type) (TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> Type) -> *) (l :: TyFun a6989586621679770714 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data TakeWhileSym1 (l :: TyFun a6989586621679770714 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770714) [a6989586621679770714]) Source #
Instances
SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679770714 Bool -> Type) -> TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (TakeWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type TakeWhileSym2 (t :: TyFun a6989586621679770714 Bool -> Type) (t :: NonEmpty a6989586621679770714) = TakeWhile t t Source #
data DropWhileSym0 (l :: TyFun (TyFun a6989586621679770713 Bool -> Type) (TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> Type)) Source #
Instances
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (TyFun a6989586621679770713 Bool -> Type) (TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679770713 Bool -> Type) (TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> Type) -> *) (l :: TyFun a6989586621679770713 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data DropWhileSym1 (l :: TyFun a6989586621679770713 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770713) [a6989586621679770713]) Source #
Instances
SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679770713 Bool -> Type) -> TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (DropWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type DropWhileSym2 (t :: TyFun a6989586621679770713 Bool -> Type) (t :: NonEmpty a6989586621679770713) = DropWhile t t Source #
data SpanSym0 (l :: TyFun (TyFun a6989586621679770712 Bool -> Type) (TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> Type)) Source #
Instances
SuppressUnusedWarnings (SpanSym0 :: TyFun (TyFun a6989586621679770712 Bool -> Type) (TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SpanSym0 :: TyFun (TyFun a6989586621679770712 Bool -> Type) (TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> Type) -> *) (l :: TyFun a6989586621679770712 Bool -> Type) Source # | |
data SpanSym1 (l :: TyFun a6989586621679770712 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712])) Source #
Instances
SuppressUnusedWarnings (SpanSym1 :: (TyFun a6989586621679770712 Bool -> Type) -> TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (SpanSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # | |
type SpanSym2 (t :: TyFun a6989586621679770712 Bool -> Type) (t :: NonEmpty a6989586621679770712) = Span t t Source #
data BreakSym0 (l :: TyFun (TyFun a6989586621679770711 Bool -> Type) (TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> Type)) Source #
Instances
SuppressUnusedWarnings (BreakSym0 :: TyFun (TyFun a6989586621679770711 Bool -> Type) (TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (BreakSym0 :: TyFun (TyFun a6989586621679770711 Bool -> Type) (TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> Type) -> *) (l :: TyFun a6989586621679770711 Bool -> Type) Source # | |
data BreakSym1 (l :: TyFun a6989586621679770711 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711])) Source #
Instances
SuppressUnusedWarnings (BreakSym1 :: (TyFun a6989586621679770711 Bool -> Type) -> TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (BreakSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # | |
type BreakSym2 (t :: TyFun a6989586621679770711 Bool -> Type) (t :: NonEmpty a6989586621679770711) = Break t t Source #
data FilterSym0 (l :: TyFun (TyFun a6989586621679770710 Bool -> Type) (TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> Type)) Source #
Instances
SuppressUnusedWarnings (FilterSym0 :: TyFun (TyFun a6989586621679770710 Bool -> Type) (TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (FilterSym0 :: TyFun (TyFun a6989586621679770710 Bool -> Type) (TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> Type) -> *) (l :: TyFun a6989586621679770710 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data FilterSym1 (l :: TyFun a6989586621679770710 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770710) [a6989586621679770710]) Source #
Instances
SuppressUnusedWarnings (FilterSym1 :: (TyFun a6989586621679770710 Bool -> Type) -> TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (FilterSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type FilterSym2 (t :: TyFun a6989586621679770710 Bool -> Type) (t :: NonEmpty a6989586621679770710) = Filter t t Source #
data PartitionSym0 (l :: TyFun (TyFun a6989586621679770709 Bool -> Type) (TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> Type)) Source #
Instances
SuppressUnusedWarnings (PartitionSym0 :: TyFun (TyFun a6989586621679770709 Bool -> Type) (TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (PartitionSym0 :: TyFun (TyFun a6989586621679770709 Bool -> Type) (TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> Type) -> *) (l :: TyFun a6989586621679770709 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data PartitionSym1 (l :: TyFun a6989586621679770709 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709])) Source #
Instances
SuppressUnusedWarnings (PartitionSym1 :: (TyFun a6989586621679770709 Bool -> Type) -> TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (PartitionSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type PartitionSym2 (t :: TyFun a6989586621679770709 Bool -> Type) (t :: NonEmpty a6989586621679770709) = Partition t t Source #
data GroupSym0 (l :: TyFun [a6989586621679770708] [NonEmpty a6989586621679770708]) Source #
data GroupBySym0 (l :: TyFun (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> Type)) Source #
Instances
SuppressUnusedWarnings (GroupBySym0 :: TyFun (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBySym0 :: TyFun (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> Type) -> *) (l :: TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data GroupBySym1 (l :: TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (l :: TyFun [a6989586621679770707] [NonEmpty a6989586621679770707]) Source #
Instances
SuppressUnusedWarnings (GroupBySym1 :: (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) -> TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBySym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type GroupBySym2 (t :: TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (t :: [a6989586621679770707]) = GroupBy t t Source #
data GroupWithSym0 (l :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type)) Source #
Instances
SuppressUnusedWarnings (GroupWithSym0 :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWithSym0 :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type) -> *) (l :: TyFun a6989586621679770706 b6989586621679770705 -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data GroupWithSym1 (l :: TyFun a6989586621679770706 b6989586621679770705 -> Type) (l :: TyFun [a6989586621679770706] [NonEmpty a6989586621679770706]) Source #
Instances
SuppressUnusedWarnings (GroupWithSym1 :: (TyFun a6989586621679770706 b6989586621679770705 -> Type) -> TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type GroupWithSym2 (t :: TyFun a6989586621679770706 b6989586621679770705 -> Type) (t :: [a6989586621679770706]) = GroupWith t t Source #
data GroupAllWithSym0 (l :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type)) Source #
Instances
SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWithSym0 :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type) -> *) (l :: TyFun a6989586621679770704 b6989586621679770703 -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data GroupAllWithSym1 (l :: TyFun a6989586621679770704 b6989586621679770703 -> Type) (l :: TyFun [a6989586621679770704] [NonEmpty a6989586621679770704]) Source #
Instances
SuppressUnusedWarnings (GroupAllWithSym1 :: (TyFun a6989586621679770704 b6989586621679770703 -> Type) -> TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type GroupAllWithSym2 (t :: TyFun a6989586621679770704 b6989586621679770703 -> Type) (t :: [a6989586621679770704]) = GroupAllWith t t Source #
data Group1Sym0 (l :: TyFun (NonEmpty a6989586621679770702) (NonEmpty (NonEmpty a6989586621679770702))) Source #
Instances
SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621679770702) (NonEmpty (NonEmpty a6989586621679770702)) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type Group1Sym1 (t :: NonEmpty a6989586621679770702) = Group1 t Source #
data GroupBy1Sym0 (l :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type)) Source #
Instances
SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBy1Sym0 :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type) -> *) (l :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBy1Sym0 :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type) -> *) (l :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) = GroupBy1Sym1 l |
data GroupBy1Sym1 (l :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701))) Source #
Instances
SuppressUnusedWarnings (GroupBy1Sym1 :: (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupBy1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type GroupBy1Sym2 (t :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679770701) = GroupBy1 t t Source #
data GroupWith1Sym0 (l :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type)) Source #
Instances
SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type) -> *) (l :: TyFun a6989586621679770700 b6989586621679770699 -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data GroupWith1Sym1 (l :: TyFun a6989586621679770700 b6989586621679770699 -> Type) (l :: TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700))) Source #
Instances
SuppressUnusedWarnings (GroupWith1Sym1 :: (TyFun a6989586621679770700 b6989586621679770699 -> Type) -> TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupWith1 l1 l2 |
type GroupWith1Sym2 (t :: TyFun a6989586621679770700 b6989586621679770699 -> Type) (t :: NonEmpty a6989586621679770700) = GroupWith1 t t Source #
data GroupAllWith1Sym0 (l :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type)) Source #
Instances
SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type) -> *) (l :: TyFun a6989586621679770698 b6989586621679770697 -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data GroupAllWith1Sym1 (l :: TyFun a6989586621679770698 b6989586621679770697 -> Type) (l :: TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698))) Source #
Instances
SuppressUnusedWarnings (GroupAllWith1Sym1 :: (TyFun a6989586621679770698 b6989586621679770697 -> Type) -> TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (GroupAllWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupAllWith1 l1 l2 |
type GroupAllWith1Sym2 (t :: TyFun a6989586621679770698 b6989586621679770697 -> Type) (t :: NonEmpty a6989586621679770698) = GroupAllWith1 t t Source #
data IsPrefixOfSym0 (l :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type)) Source #
Instances
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type) -> *) (l :: [a6989586621679770696]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type) -> *) (l :: [a6989586621679770696]) = IsPrefixOfSym1 l |
data IsPrefixOfSym1 (l :: [a6989586621679770696]) (l :: TyFun (NonEmpty a6989586621679770696) Bool) Source #
Instances
SuppressUnusedWarnings (IsPrefixOfSym1 :: [a6989586621679770696] -> TyFun (NonEmpty a6989586621679770696) Bool -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (IsPrefixOfSym1 l1 :: TyFun (NonEmpty a) Bool -> *) (l2 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym1 l1 :: TyFun (NonEmpty a) Bool -> *) (l2 :: NonEmpty a) = IsPrefixOf l1 l2 |
type IsPrefixOfSym2 (t :: [a6989586621679770696]) (t :: NonEmpty a6989586621679770696) = IsPrefixOf t t Source #
data NubSym0 (l :: TyFun (NonEmpty a6989586621679770687) (NonEmpty a6989586621679770687)) Source #
Instances
SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621679770687) (NonEmpty a6989586621679770687) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # | |
data NubBySym0 (l :: TyFun (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> Type)) Source #
Instances
SuppressUnusedWarnings (NubBySym0 :: TyFun (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NubBySym0 :: TyFun (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> Type) -> *) (l :: TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data NubBySym1 (l :: TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686)) Source #
Instances
SuppressUnusedWarnings (NubBySym1 :: (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NubBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # | |
type NubBySym2 (t :: TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679770686) = NubBy t t Source #
data (!!@#@$) (l :: TyFun (NonEmpty a6989586621679770695) (TyFun Nat a6989586621679770695 -> Type)) Source #
Instances
SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621679770695) (TyFun Nat a6989586621679770695 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621679770695) (TyFun Nat a6989586621679770695 -> Type) -> *) (l :: NonEmpty a6989586621679770695) Source # | |
data (l :: NonEmpty a6989586621679770695) !!@#@$$ (l :: TyFun Nat a6989586621679770695) Source #
data ZipSym0 (l :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type)) Source #
Instances
SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type) -> *) (l :: NonEmpty a6989586621679770693) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type) -> *) (l :: NonEmpty a6989586621679770693) = (ZipSym1 l :: TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> *) |
data ZipSym1 (l :: NonEmpty a6989586621679770693) (l :: TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694))) Source #
Instances
SuppressUnusedWarnings (ZipSym1 :: NonEmpty a6989586621679770693 -> TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipSym1 l1 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> *) (l2 :: NonEmpty b) Source # | |
type ZipSym2 (t :: NonEmpty a6989586621679770693) (t :: NonEmpty b6989586621679770694) = Zip t t Source #
data ZipWithSym0 (l :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type)) Source #
Instances
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) = ZipWithSym1 l |
data ZipWithSym1 (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type)) Source #
Instances
SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> *) (l2 :: NonEmpty a6989586621679770690) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
data ZipWithSym2 (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (l :: NonEmpty a6989586621679770690) (l :: TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692)) Source #
Instances
SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) -> NonEmpty a6989586621679770690 -> TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithSym2 l1 l2 :: TyFun (NonEmpty b) (NonEmpty c) -> *) (l3 :: NonEmpty b) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type ZipWithSym3 (t :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (t :: NonEmpty a6989586621679770690) (t :: NonEmpty b6989586621679770691) = ZipWith t t t Source #
data UnzipSym0 (l :: TyFun (NonEmpty (a6989586621679770688, b6989586621679770689)) (NonEmpty a6989586621679770688, NonEmpty b6989586621679770689)) Source #
Instances
SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621679770688, b6989586621679770689)) (NonEmpty a6989586621679770688, NonEmpty b6989586621679770689) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> *) (l :: NonEmpty (a, b)) Source # | |
data FromListSym0 (l :: TyFun [a6989586621679770734] (NonEmpty a6989586621679770734)) Source #
Instances
SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621679770734] (NonEmpty a6989586621679770734) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> *) (l :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type FromListSym1 (t :: [a6989586621679770734]) = FromList t Source #
data ToListSym0 (l :: TyFun (NonEmpty a6989586621679770733) [a6989586621679770733]) Source #
Instances
SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621679770733) [a6989586621679770733] -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type ToListSym1 (t :: NonEmpty a6989586621679770733) = ToList t Source #
data NonEmpty_Sym0 (l :: TyFun [a6989586621679770745] (Maybe (NonEmpty a6989586621679770745))) Source #
Instances
SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621679770745] (Maybe (NonEmpty a6989586621679770745)) -> *) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source # | |
type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> *) (l :: [a]) Source # | |
Defined in Data.Singletons.Prelude.List.NonEmpty |
type NonEmpty_Sym1 (t :: [a6989586621679770745]) = NonEmpty_ t Source #