Copyright	(C) 2018 Ryan Scott
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Singletons.Prelude.Foldable

Contents

Defunctionalization symbols

Description

Defines the promoted and singled versions of the Foldable type class.

Synopsis

class PFoldable (t :: Type -> Type) where
- type Fold (arg :: t m) :: m
- type FoldMap (arg :: (~>) a m) (arg :: t a) :: m
- type Foldr (arg :: (~>) a ((~>) b b)) (arg :: b) (arg :: t a) :: b
- type Foldr' (arg :: (~>) a ((~>) b b)) (arg :: b) (arg :: t a) :: b
- type Foldl (arg :: (~>) b ((~>) a b)) (arg :: b) (arg :: t a) :: b
- type Foldl' (arg :: (~>) b ((~>) a b)) (arg :: b) (arg :: t a) :: b
- type Foldr1 (arg :: (~>) a ((~>) a a)) (arg :: t a) :: a
- type Foldl1 (arg :: (~>) a ((~>) a a)) (arg :: t a) :: a
- type ToList (arg :: t a) :: [a]
- type Null (arg :: t a) :: Bool
- type Length (arg :: t a) :: Nat
- type Elem (arg :: a) (arg :: t a) :: Bool
- type Maximum (arg :: t a) :: a
- type Minimum (arg :: t a) :: a
- type Sum (arg :: t a) :: a
- type Product (arg :: t a) :: a
class SFoldable (t :: Type -> Type) where
- sFold :: forall m (t :: t m). SMonoid m => Sing t -> Sing (Apply FoldSym0 t :: m)
- sFoldMap :: forall m a (t :: (~>) a m) (t :: t a). SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t :: m)
- sFoldr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b)
- sFoldr' :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t :: b)
- sFoldl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b)
- sFoldl' :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t :: b)
- sFoldr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: t a). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a)
- sFoldl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: t a). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a)
- sToList :: forall a (t :: t a). Sing t -> Sing (Apply ToListSym0 t :: [a])
- sNull :: forall a (t :: t a). Sing t -> Sing (Apply NullSym0 t :: Bool)
- sLength :: forall a (t :: t a). Sing t -> Sing (Apply LengthSym0 t :: Nat)
- sElem :: forall a (t :: a) (t :: t a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool)
- sMaximum :: forall a (t :: t a). SOrd a => Sing t -> Sing (Apply MaximumSym0 t :: a)
- sMinimum :: forall a (t :: t a). SOrd a => Sing t -> Sing (Apply MinimumSym0 t :: a)
- sSum :: forall a (t :: t a). SNum a => Sing t -> Sing (Apply SumSym0 t :: a)
- sProduct :: forall a (t :: t a). SNum a => Sing t -> Sing (Apply ProductSym0 t :: a)
type family FoldrM (a :: (~>) a ((~>) b (m b))) (a :: b) (a :: t a) :: m b where ...
sFoldrM :: forall t m a b (t :: (~>) a ((~>) b (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrMSym0 t) t) t :: m b)
type family FoldlM (a :: (~>) b ((~>) a (m b))) (a :: b) (a :: t a) :: m b where ...
sFoldlM :: forall t m b a (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b)
type family Traverse_ (a :: (~>) a (f b)) (a :: t a) :: f () where ...
sTraverse_ :: forall t f a b (t :: (~>) a (f b)) (t :: t a). (SFoldable t, SApplicative f) => Sing t -> Sing t -> Sing (Apply (Apply Traverse_Sym0 t) t :: f ())
type family For_ (a :: t a) (a :: (~>) a (f b)) :: f () where ...
sFor_ :: forall t f a b (t :: t a) (t :: (~>) a (f b)). (SFoldable t, SApplicative f) => Sing t -> Sing t -> Sing (Apply (Apply For_Sym0 t) t :: f ())
type family SequenceA_ (a :: t (f a)) :: f () where ...
sSequenceA_ :: forall t f a (t :: t (f a)). (SFoldable t, SApplicative f) => Sing t -> Sing (Apply SequenceA_Sym0 t :: f ())
type family Asum (a :: t (f a)) :: f a where ...
sAsum :: forall t f a (t :: t (f a)). (SFoldable t, SAlternative f) => Sing t -> Sing (Apply AsumSym0 t :: f a)
type family MapM_ (a :: (~>) a (m b)) (a :: t a) :: m () where ...
sMapM_ :: forall t m a b (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ())
type family ForM_ (a :: t a) (a :: (~>) a (m b)) :: m () where ...
sForM_ :: forall t m a b (t :: t a) (t :: (~>) a (m b)). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForM_Sym0 t) t :: m ())
type family Sequence_ (a :: t (m a)) :: m () where ...
sSequence_ :: forall t m a (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ())
type family Msum (a :: t (m a)) :: m a where ...
sMsum :: forall t m a (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a)
type family Concat (a :: t [a]) :: [a] where ...
sConcat :: forall t a (t :: t [a]). SFoldable t => Sing t -> Sing (Apply ConcatSym0 t :: [a])
type family ConcatMap (a :: (~>) a [b]) (a :: t a) :: [b] where ...
sConcatMap :: forall t a b (t :: (~>) a [b]) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply ConcatMapSym0 t) t :: [b])
type family And (a :: t Bool) :: Bool where ...
sAnd :: forall t (t :: t Bool). SFoldable t => Sing t -> Sing (Apply AndSym0 t :: Bool)
type family Or (a :: t Bool) :: Bool where ...
sOr :: forall t (t :: t Bool). SFoldable t => Sing t -> Sing (Apply OrSym0 t :: Bool)
type family Any (a :: (~>) a Bool) (a :: t a) :: Bool where ...
sAny :: forall t a (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply AnySym0 t) t :: Bool)
type family All (a :: (~>) a Bool) (a :: t a) :: Bool where ...
sAll :: forall t a (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply AllSym0 t) t :: Bool)
type family MaximumBy (a :: (~>) a ((~>) a Ordering)) (a :: t a) :: a where ...
sMaximumBy :: forall t a (t :: (~>) a ((~>) a Ordering)) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply MaximumBySym0 t) t :: a)
type family MinimumBy (a :: (~>) a ((~>) a Ordering)) (a :: t a) :: a where ...
sMinimumBy :: forall t a (t :: (~>) a ((~>) a Ordering)) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply MinimumBySym0 t) t :: a)
type family NotElem (a :: a) (a :: t a) :: Bool where ...
sNotElem :: forall t a (t :: a) (t :: t a). (SFoldable t, SEq a) => Sing t -> Sing t -> Sing (Apply (Apply NotElemSym0 t) t :: Bool)
type family Find (a :: (~>) a Bool) (a :: t a) :: Maybe a where ...
sFind :: forall t a (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply FindSym0 t) t :: Maybe a)
data FoldSym0 :: forall m6989586621680486185 t6989586621680486184. (~>) (t6989586621680486184 m6989586621680486185) m6989586621680486185
type FoldSym1 (arg6989586621680486807 :: t6989586621680486184 m6989586621680486185) = Fold arg6989586621680486807
data FoldMapSym0 :: forall a6989586621680486187 m6989586621680486186 t6989586621680486184. (~>) ((~>) a6989586621680486187 m6989586621680486186) ((~>) (t6989586621680486184 a6989586621680486187) m6989586621680486186)
data FoldMapSym1 (arg6989586621680486809 :: (~>) a6989586621680486187 m6989586621680486186) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486187) m6989586621680486186
type FoldMapSym2 (arg6989586621680486809 :: (~>) a6989586621680486187 m6989586621680486186) (arg6989586621680486810 :: t6989586621680486184 a6989586621680486187) = FoldMap arg6989586621680486809 arg6989586621680486810
data FoldrSym0 :: forall a6989586621680486188 b6989586621680486189 t6989586621680486184. (~>) ((~>) a6989586621680486188 ((~>) b6989586621680486189 b6989586621680486189)) ((~>) b6989586621680486189 ((~>) (t6989586621680486184 a6989586621680486188) b6989586621680486189))
data FoldrSym1 (arg6989586621680486813 :: (~>) a6989586621680486188 ((~>) b6989586621680486189 b6989586621680486189)) :: forall t6989586621680486184. (~>) b6989586621680486189 ((~>) (t6989586621680486184 a6989586621680486188) b6989586621680486189)
data FoldrSym2 (arg6989586621680486813 :: (~>) a6989586621680486188 ((~>) b6989586621680486189 b6989586621680486189)) (arg6989586621680486814 :: b6989586621680486189) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486188) b6989586621680486189
type FoldrSym3 (arg6989586621680486813 :: (~>) a6989586621680486188 ((~>) b6989586621680486189 b6989586621680486189)) (arg6989586621680486814 :: b6989586621680486189) (arg6989586621680486815 :: t6989586621680486184 a6989586621680486188) = Foldr arg6989586621680486813 arg6989586621680486814 arg6989586621680486815
data Foldr'Sym0 :: forall a6989586621680486190 b6989586621680486191 t6989586621680486184. (~>) ((~>) a6989586621680486190 ((~>) b6989586621680486191 b6989586621680486191)) ((~>) b6989586621680486191 ((~>) (t6989586621680486184 a6989586621680486190) b6989586621680486191))
data Foldr'Sym1 (arg6989586621680486819 :: (~>) a6989586621680486190 ((~>) b6989586621680486191 b6989586621680486191)) :: forall t6989586621680486184. (~>) b6989586621680486191 ((~>) (t6989586621680486184 a6989586621680486190) b6989586621680486191)
data Foldr'Sym2 (arg6989586621680486819 :: (~>) a6989586621680486190 ((~>) b6989586621680486191 b6989586621680486191)) (arg6989586621680486820 :: b6989586621680486191) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486190) b6989586621680486191
type Foldr'Sym3 (arg6989586621680486819 :: (~>) a6989586621680486190 ((~>) b6989586621680486191 b6989586621680486191)) (arg6989586621680486820 :: b6989586621680486191) (arg6989586621680486821 :: t6989586621680486184 a6989586621680486190) = Foldr' arg6989586621680486819 arg6989586621680486820 arg6989586621680486821
data FoldlSym0 :: forall a6989586621680486193 b6989586621680486192 t6989586621680486184. (~>) ((~>) b6989586621680486192 ((~>) a6989586621680486193 b6989586621680486192)) ((~>) b6989586621680486192 ((~>) (t6989586621680486184 a6989586621680486193) b6989586621680486192))
data FoldlSym1 (arg6989586621680486825 :: (~>) b6989586621680486192 ((~>) a6989586621680486193 b6989586621680486192)) :: forall t6989586621680486184. (~>) b6989586621680486192 ((~>) (t6989586621680486184 a6989586621680486193) b6989586621680486192)
data FoldlSym2 (arg6989586621680486825 :: (~>) b6989586621680486192 ((~>) a6989586621680486193 b6989586621680486192)) (arg6989586621680486826 :: b6989586621680486192) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486193) b6989586621680486192
type FoldlSym3 (arg6989586621680486825 :: (~>) b6989586621680486192 ((~>) a6989586621680486193 b6989586621680486192)) (arg6989586621680486826 :: b6989586621680486192) (arg6989586621680486827 :: t6989586621680486184 a6989586621680486193) = Foldl arg6989586621680486825 arg6989586621680486826 arg6989586621680486827
data Foldl'Sym0 :: forall a6989586621680486195 b6989586621680486194 t6989586621680486184. (~>) ((~>) b6989586621680486194 ((~>) a6989586621680486195 b6989586621680486194)) ((~>) b6989586621680486194 ((~>) (t6989586621680486184 a6989586621680486195) b6989586621680486194))
data Foldl'Sym1 (arg6989586621680486831 :: (~>) b6989586621680486194 ((~>) a6989586621680486195 b6989586621680486194)) :: forall t6989586621680486184. (~>) b6989586621680486194 ((~>) (t6989586621680486184 a6989586621680486195) b6989586621680486194)
data Foldl'Sym2 (arg6989586621680486831 :: (~>) b6989586621680486194 ((~>) a6989586621680486195 b6989586621680486194)) (arg6989586621680486832 :: b6989586621680486194) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486195) b6989586621680486194
type Foldl'Sym3 (arg6989586621680486831 :: (~>) b6989586621680486194 ((~>) a6989586621680486195 b6989586621680486194)) (arg6989586621680486832 :: b6989586621680486194) (arg6989586621680486833 :: t6989586621680486184 a6989586621680486195) = Foldl' arg6989586621680486831 arg6989586621680486832 arg6989586621680486833
data Foldr1Sym0 :: forall a6989586621680486196 t6989586621680486184. (~>) ((~>) a6989586621680486196 ((~>) a6989586621680486196 a6989586621680486196)) ((~>) (t6989586621680486184 a6989586621680486196) a6989586621680486196)
data Foldr1Sym1 (arg6989586621680486837 :: (~>) a6989586621680486196 ((~>) a6989586621680486196 a6989586621680486196)) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486196) a6989586621680486196
type Foldr1Sym2 (arg6989586621680486837 :: (~>) a6989586621680486196 ((~>) a6989586621680486196 a6989586621680486196)) (arg6989586621680486838 :: t6989586621680486184 a6989586621680486196) = Foldr1 arg6989586621680486837 arg6989586621680486838
data Foldl1Sym0 :: forall a6989586621680486197 t6989586621680486184. (~>) ((~>) a6989586621680486197 ((~>) a6989586621680486197 a6989586621680486197)) ((~>) (t6989586621680486184 a6989586621680486197) a6989586621680486197)
data Foldl1Sym1 (arg6989586621680486841 :: (~>) a6989586621680486197 ((~>) a6989586621680486197 a6989586621680486197)) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486197) a6989586621680486197
type Foldl1Sym2 (arg6989586621680486841 :: (~>) a6989586621680486197 ((~>) a6989586621680486197 a6989586621680486197)) (arg6989586621680486842 :: t6989586621680486184 a6989586621680486197) = Foldl1 arg6989586621680486841 arg6989586621680486842
data ToListSym0 :: forall a6989586621680486198 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486198) [a6989586621680486198]
type ToListSym1 (arg6989586621680486845 :: t6989586621680486184 a6989586621680486198) = ToList arg6989586621680486845
data NullSym0 :: forall a6989586621680486199 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486199) Bool
type NullSym1 (arg6989586621680486847 :: t6989586621680486184 a6989586621680486199) = Null arg6989586621680486847
data LengthSym0 :: forall a6989586621680486200 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486200) Nat
type LengthSym1 (arg6989586621680486849 :: t6989586621680486184 a6989586621680486200) = Length arg6989586621680486849
data ElemSym0 :: forall a6989586621680486201 t6989586621680486184. (~>) a6989586621680486201 ((~>) (t6989586621680486184 a6989586621680486201) Bool)
data ElemSym1 (arg6989586621680486851 :: a6989586621680486201) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486201) Bool
type ElemSym2 (arg6989586621680486851 :: a6989586621680486201) (arg6989586621680486852 :: t6989586621680486184 a6989586621680486201) = Elem arg6989586621680486851 arg6989586621680486852
data MaximumSym0 :: forall a6989586621680486202 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486202) a6989586621680486202
type MaximumSym1 (arg6989586621680486855 :: t6989586621680486184 a6989586621680486202) = Maximum arg6989586621680486855
data MinimumSym0 :: forall a6989586621680486203 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486203) a6989586621680486203
type MinimumSym1 (arg6989586621680486857 :: t6989586621680486184 a6989586621680486203) = Minimum arg6989586621680486857
data SumSym0 :: forall a6989586621680486204 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486204) a6989586621680486204
type SumSym1 (arg6989586621680486859 :: t6989586621680486184 a6989586621680486204) = Sum arg6989586621680486859
data ProductSym0 :: forall a6989586621680486205 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486205) a6989586621680486205
type ProductSym1 (arg6989586621680486861 :: t6989586621680486184 a6989586621680486205) = Product arg6989586621680486861
data FoldrMSym0 :: forall a6989586621680486145 b6989586621680486146 m6989586621680486144 t6989586621680486143. (~>) ((~>) a6989586621680486145 ((~>) b6989586621680486146 (m6989586621680486144 b6989586621680486146))) ((~>) b6989586621680486146 ((~>) (t6989586621680486143 a6989586621680486145) (m6989586621680486144 b6989586621680486146)))
data FoldrMSym1 (a6989586621680486785 :: (~>) a6989586621680486145 ((~>) b6989586621680486146 (m6989586621680486144 b6989586621680486146))) :: forall t6989586621680486143. (~>) b6989586621680486146 ((~>) (t6989586621680486143 a6989586621680486145) (m6989586621680486144 b6989586621680486146))
data FoldrMSym2 (a6989586621680486785 :: (~>) a6989586621680486145 ((~>) b6989586621680486146 (m6989586621680486144 b6989586621680486146))) (a6989586621680486786 :: b6989586621680486146) :: forall t6989586621680486143. (~>) (t6989586621680486143 a6989586621680486145) (m6989586621680486144 b6989586621680486146)
type FoldrMSym3 (a6989586621680486785 :: (~>) a6989586621680486145 ((~>) b6989586621680486146 (m6989586621680486144 b6989586621680486146))) (a6989586621680486786 :: b6989586621680486146) (a6989586621680486787 :: t6989586621680486143 a6989586621680486145) = FoldrM a6989586621680486785 a6989586621680486786 a6989586621680486787
data FoldlMSym0 :: forall a6989586621680486142 b6989586621680486141 m6989586621680486140 t6989586621680486139. (~>) ((~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) ((~>) b6989586621680486141 ((~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141)))
data FoldlMSym1 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) :: forall t6989586621680486139. (~>) b6989586621680486141 ((~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141))
data FoldlMSym2 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) (a6989586621680486764 :: b6989586621680486141) :: forall t6989586621680486139. (~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141)
type FoldlMSym3 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) (a6989586621680486764 :: b6989586621680486141) (a6989586621680486765 :: t6989586621680486139 a6989586621680486142) = FoldlM a6989586621680486763 a6989586621680486764 a6989586621680486765
data Traverse_Sym0 :: forall a6989586621680486137 b6989586621680486138 f6989586621680486136 t6989586621680486135. (~>) ((~>) a6989586621680486137 (f6989586621680486136 b6989586621680486138)) ((~>) (t6989586621680486135 a6989586621680486137) (f6989586621680486136 ()))
data Traverse_Sym1 (a6989586621680486745 :: (~>) a6989586621680486137 (f6989586621680486136 b6989586621680486138)) :: forall t6989586621680486135. (~>) (t6989586621680486135 a6989586621680486137) (f6989586621680486136 ())
type Traverse_Sym2 (a6989586621680486745 :: (~>) a6989586621680486137 (f6989586621680486136 b6989586621680486138)) (a6989586621680486746 :: t6989586621680486135 a6989586621680486137) = Traverse_ a6989586621680486745 a6989586621680486746
data For_Sym0 :: forall a6989586621680486133 b6989586621680486134 f6989586621680486132 t6989586621680486131. (~>) (t6989586621680486131 a6989586621680486133) ((~>) ((~>) a6989586621680486133 (f6989586621680486132 b6989586621680486134)) (f6989586621680486132 ()))
data For_Sym1 (a6989586621680486757 :: t6989586621680486131 a6989586621680486133) :: forall b6989586621680486134 f6989586621680486132. (~>) ((~>) a6989586621680486133 (f6989586621680486132 b6989586621680486134)) (f6989586621680486132 ())
type For_Sym2 (a6989586621680486757 :: t6989586621680486131 a6989586621680486133) (a6989586621680486758 :: (~>) a6989586621680486133 (f6989586621680486132 b6989586621680486134)) = For_ a6989586621680486757 a6989586621680486758
data SequenceA_Sym0 :: forall a6989586621680486122 f6989586621680486121 t6989586621680486120. (~>) (t6989586621680486120 (f6989586621680486121 a6989586621680486122)) (f6989586621680486121 ())
type SequenceA_Sym1 (a6989586621680486724 :: t6989586621680486120 (f6989586621680486121 a6989586621680486122)) = SequenceA_ a6989586621680486724
data AsumSym0 :: forall a6989586621680486116 f6989586621680486115 t6989586621680486114. (~>) (t6989586621680486114 (f6989586621680486115 a6989586621680486116)) (f6989586621680486115 a6989586621680486116)
type AsumSym1 (a6989586621680486709 :: t6989586621680486114 (f6989586621680486115 a6989586621680486116)) = Asum a6989586621680486709
data MapM_Sym0 :: forall a6989586621680486129 b6989586621680486130 m6989586621680486128 t6989586621680486127. (~>) ((~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) ((~>) (t6989586621680486127 a6989586621680486129) (m6989586621680486128 ()))
data MapM_Sym1 (a6989586621680486727 :: (~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) :: forall t6989586621680486127. (~>) (t6989586621680486127 a6989586621680486129) (m6989586621680486128 ())
type MapM_Sym2 (a6989586621680486727 :: (~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) (a6989586621680486728 :: t6989586621680486127 a6989586621680486129) = MapM_ a6989586621680486727 a6989586621680486728
data ForM_Sym0 :: forall a6989586621680486125 b6989586621680486126 m6989586621680486124 t6989586621680486123. (~>) (t6989586621680486123 a6989586621680486125) ((~>) ((~>) a6989586621680486125 (m6989586621680486124 b6989586621680486126)) (m6989586621680486124 ()))
data ForM_Sym1 (a6989586621680486739 :: t6989586621680486123 a6989586621680486125) :: forall b6989586621680486126 m6989586621680486124. (~>) ((~>) a6989586621680486125 (m6989586621680486124 b6989586621680486126)) (m6989586621680486124 ())
type ForM_Sym2 (a6989586621680486739 :: t6989586621680486123 a6989586621680486125) (a6989586621680486740 :: (~>) a6989586621680486125 (m6989586621680486124 b6989586621680486126)) = ForM_ a6989586621680486739 a6989586621680486740
data Sequence_Sym0 :: forall a6989586621680486119 m6989586621680486118 t6989586621680486117. (~>) (t6989586621680486117 (m6989586621680486118 a6989586621680486119)) (m6989586621680486118 ())
type Sequence_Sym1 (a6989586621680486719 :: t6989586621680486117 (m6989586621680486118 a6989586621680486119)) = Sequence_ a6989586621680486719
data MsumSym0 :: forall a6989586621680486113 m6989586621680486112 t6989586621680486111. (~>) (t6989586621680486111 (m6989586621680486112 a6989586621680486113)) (m6989586621680486112 a6989586621680486113)
type MsumSym1 (a6989586621680486714 :: t6989586621680486111 (m6989586621680486112 a6989586621680486113)) = Msum a6989586621680486714
data ConcatSym0 :: forall a6989586621680486110 t6989586621680486109. (~>) (t6989586621680486109 [a6989586621680486110]) [a6989586621680486110]
type ConcatSym1 (a6989586621680486695 :: t6989586621680486109 [a6989586621680486110]) = Concat a6989586621680486695
data ConcatMapSym0 :: forall a6989586621680486107 b6989586621680486108 t6989586621680486106. (~>) ((~>) a6989586621680486107 [b6989586621680486108]) ((~>) (t6989586621680486106 a6989586621680486107) [b6989586621680486108])
data ConcatMapSym1 (a6989586621680486679 :: (~>) a6989586621680486107 [b6989586621680486108]) :: forall t6989586621680486106. (~>) (t6989586621680486106 a6989586621680486107) [b6989586621680486108]
type ConcatMapSym2 (a6989586621680486679 :: (~>) a6989586621680486107 [b6989586621680486108]) (a6989586621680486680 :: t6989586621680486106 a6989586621680486107) = ConcatMap a6989586621680486679 a6989586621680486680
data AndSym0 :: forall t6989586621680486105. (~>) (t6989586621680486105 Bool) Bool
type AndSym1 (a6989586621680486670 :: t6989586621680486105 Bool) = And a6989586621680486670
data OrSym0 :: forall t6989586621680486104. (~>) (t6989586621680486104 Bool) Bool
type OrSym1 (a6989586621680486661 :: t6989586621680486104 Bool) = Or a6989586621680486661
data AnySym0 :: forall a6989586621680486103 t6989586621680486102. (~>) ((~>) a6989586621680486103 Bool) ((~>) (t6989586621680486102 a6989586621680486103) Bool)
data AnySym1 (a6989586621680486648 :: (~>) a6989586621680486103 Bool) :: forall t6989586621680486102. (~>) (t6989586621680486102 a6989586621680486103) Bool
type AnySym2 (a6989586621680486648 :: (~>) a6989586621680486103 Bool) (a6989586621680486649 :: t6989586621680486102 a6989586621680486103) = Any a6989586621680486648 a6989586621680486649
data AllSym0 :: forall a6989586621680486101 t6989586621680486100. (~>) ((~>) a6989586621680486101 Bool) ((~>) (t6989586621680486100 a6989586621680486101) Bool)
data AllSym1 (a6989586621680486635 :: (~>) a6989586621680486101 Bool) :: forall t6989586621680486100. (~>) (t6989586621680486100 a6989586621680486101) Bool
type AllSym2 (a6989586621680486635 :: (~>) a6989586621680486101 Bool) (a6989586621680486636 :: t6989586621680486100 a6989586621680486101) = All a6989586621680486635 a6989586621680486636
data MaximumBySym0 :: forall a6989586621680486099 t6989586621680486098. (~>) ((~>) a6989586621680486099 ((~>) a6989586621680486099 Ordering)) ((~>) (t6989586621680486098 a6989586621680486099) a6989586621680486099)
data MaximumBySym1 (a6989586621680486610 :: (~>) a6989586621680486099 ((~>) a6989586621680486099 Ordering)) :: forall t6989586621680486098. (~>) (t6989586621680486098 a6989586621680486099) a6989586621680486099
type MaximumBySym2 (a6989586621680486610 :: (~>) a6989586621680486099 ((~>) a6989586621680486099 Ordering)) (a6989586621680486611 :: t6989586621680486098 a6989586621680486099) = MaximumBy a6989586621680486610 a6989586621680486611
data MinimumBySym0 :: forall a6989586621680486097 t6989586621680486096. (~>) ((~>) a6989586621680486097 ((~>) a6989586621680486097 Ordering)) ((~>) (t6989586621680486096 a6989586621680486097) a6989586621680486097)
data MinimumBySym1 (a6989586621680486585 :: (~>) a6989586621680486097 ((~>) a6989586621680486097 Ordering)) :: forall t6989586621680486096. (~>) (t6989586621680486096 a6989586621680486097) a6989586621680486097
type MinimumBySym2 (a6989586621680486585 :: (~>) a6989586621680486097 ((~>) a6989586621680486097 Ordering)) (a6989586621680486586 :: t6989586621680486096 a6989586621680486097) = MinimumBy a6989586621680486585 a6989586621680486586
data NotElemSym0 :: forall a6989586621680486095 t6989586621680486094. (~>) a6989586621680486095 ((~>) (t6989586621680486094 a6989586621680486095) Bool)
data NotElemSym1 (a6989586621680486577 :: a6989586621680486095) :: forall t6989586621680486094. (~>) (t6989586621680486094 a6989586621680486095) Bool
type NotElemSym2 (a6989586621680486577 :: a6989586621680486095) (a6989586621680486578 :: t6989586621680486094 a6989586621680486095) = NotElem a6989586621680486577 a6989586621680486578
data FindSym0 :: forall a6989586621680486093 t6989586621680486092. (~>) ((~>) a6989586621680486093 Bool) ((~>) (t6989586621680486092 a6989586621680486093) (Maybe a6989586621680486093))
data FindSym1 (a6989586621680486550 :: (~>) a6989586621680486093 Bool) :: forall t6989586621680486092. (~>) (t6989586621680486092 a6989586621680486093) (Maybe a6989586621680486093)
type FindSym2 (a6989586621680486550 :: (~>) a6989586621680486093 Bool) (a6989586621680486551 :: t6989586621680486092 a6989586621680486093) = Find a6989586621680486550 a6989586621680486551

Documentation

class PFoldable (t :: Type -> Type) #

Associated Types

type Fold (arg :: t m) :: m #

type FoldMap (arg :: (~>) a m) (arg :: t a) :: m #

type Foldr (arg :: (~>) a ((~>) b b)) (arg :: b) (arg :: t a) :: b #

type Foldr' (arg :: (~>) a ((~>) b b)) (arg :: b) (arg :: t a) :: b #

type Foldl (arg :: (~>) b ((~>) a b)) (arg :: b) (arg :: t a) :: b #

type Foldl' (arg :: (~>) b ((~>) a b)) (arg :: b) (arg :: t a) :: b #

type Foldr1 (arg :: (~>) a ((~>) a a)) (arg :: t a) :: a #

type Foldl1 (arg :: (~>) a ((~>) a a)) (arg :: t a) :: a #

type ToList (arg :: t a) :: [a] #

type Null (arg :: t a) :: Bool #

type Length (arg :: t a) :: Nat #

type Elem (arg :: a) (arg :: t a) :: Bool #

type Maximum (arg :: t a) :: a #

type Minimum (arg :: t a) :: a #

type Sum (arg :: t a) :: a #

type Product (arg :: t a) :: a #

Instances

PFoldable [] #
Instance details Defined in Data.Singletons.Prelude.Foldable Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable Maybe #
Instance details Defined in Data.Singletons.Prelude.Foldable Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable Min #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable Max #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable First #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable Last #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable Option #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable Identity #
Instance details Defined in Data.Singletons.Prelude.Identity Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable First #
Instance details Defined in Data.Singletons.Prelude.Foldable Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable Last #
Instance details Defined in Data.Singletons.Prelude.Foldable Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable Dual #
Instance details Defined in Data.Singletons.Prelude.Foldable Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable Sum #
Instance details Defined in Data.Singletons.Prelude.Foldable Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable Product #
Instance details Defined in Data.Singletons.Prelude.Foldable Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable NonEmpty #
Instance details Defined in Data.Singletons.Prelude.Foldable Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable (Either a) #
Instance details Defined in Data.Singletons.Prelude.Foldable Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable ((,) a) #
Instance details Defined in Data.Singletons.Prelude.Foldable Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable (Arg a) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #
PFoldable (Const m :: Type -> Type) #
Instance details Defined in Data.Singletons.Prelude.Const Associated Types type Fold arg :: m # type FoldMap arg arg :: m # type Foldr arg arg arg :: b # type Foldr' arg arg arg :: b # type Foldl arg arg arg :: b # type Foldl' arg arg arg :: b # type Foldr1 arg arg :: a # type Foldl1 arg arg :: a # type ToList arg :: [a] # type Null arg :: Bool # type Length arg :: Nat # type Elem arg arg :: Bool # type Maximum arg :: a # type Minimum arg :: a # type Sum arg :: a # type Product arg :: a #

class SFoldable (t :: Type -> Type) where #

Minimal complete definition

Nothing

Methods

sFold :: forall m (t :: t m). SMonoid m => Sing t -> Sing (Apply FoldSym0 t :: m) #

sFoldMap :: forall m a (t :: (~>) a m) (t :: t a). SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t :: m) #

sFoldr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) #

sFoldr' :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t :: b) #

sFoldl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b) #

sFoldl' :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t :: b) #

sFoldr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: t a). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a) #

sFoldl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: t a). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a) #

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

sNull :: forall a (t :: t a). Sing t -> Sing (Apply NullSym0 t :: Bool) #

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

sElem :: forall a (t :: a) (t :: t a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool) #

sMaximum :: forall a (t :: t a). SOrd a => Sing t -> Sing (Apply MaximumSym0 t :: a) #

sMinimum :: forall a (t :: t a). SOrd a => Sing t -> Sing (Apply MinimumSym0 t :: a) #

sSum :: forall a (t :: t a). SNum a => Sing t -> Sing (Apply SumSym0 t :: a) #

sProduct :: forall a (t :: t a). SNum a => Sing t -> Sing (Apply ProductSym0 t :: a) #

sFold :: forall m (t :: t m). ((Apply FoldSym0 t :: m) ~ Apply Fold_6989586621680486869Sym0 t, SMonoid m) => Sing t -> Sing (Apply FoldSym0 t :: m) #

sFoldMap :: forall m a (t :: (~>) a m) (t :: t a). ((Apply (Apply FoldMapSym0 t) t :: m) ~ Apply (Apply FoldMap_6989586621680486882Sym0 t) t, SMonoid m) => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t :: m) #

sFoldr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). (Apply (Apply (Apply FoldrSym0 t) t) t :: b) ~ Apply (Apply (Apply Foldr_6989586621680486906Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) #

sFoldr' :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). (Apply (Apply (Apply Foldr'Sym0 t) t) t :: b) ~ Apply (Apply (Apply Foldr'_6989586621680486936Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t :: b) #

sFoldl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). (Apply (Apply (Apply FoldlSym0 t) t) t :: b) ~ Apply (Apply (Apply Foldl_6989586621680486961Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b) #

sFoldl' :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). (Apply (Apply (Apply Foldl'Sym0 t) t) t :: b) ~ Apply (Apply (Apply Foldl'_6989586621680486991Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t :: b) #

sFoldr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: t a). (Apply (Apply Foldr1Sym0 t) t :: a) ~ Apply (Apply Foldr1_6989586621680487017Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a) #

sFoldl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: t a). (Apply (Apply Foldl1Sym0 t) t :: a) ~ Apply (Apply Foldl1_6989586621680487042Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a) #

sToList :: forall a (t :: t a). (Apply ToListSym0 t :: [a]) ~ Apply ToList_6989586621680487052Sym0 t => Sing t -> Sing (Apply ToListSym0 t :: [a]) #

sNull :: forall a (t :: t a). (Apply NullSym0 t :: Bool) ~ Apply Null_6989586621680487073Sym0 t => Sing t -> Sing (Apply NullSym0 t :: Bool) #

sLength :: forall a (t :: t a). (Apply LengthSym0 t :: Nat) ~ Apply Length_6989586621680487095Sym0 t => Sing t -> Sing (Apply LengthSym0 t :: Nat) #

sElem :: forall a (t :: a) (t :: t a). ((Apply (Apply ElemSym0 t) t :: Bool) ~ Apply (Apply Elem_6989586621680487110Sym0 t) t, SEq a) => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool) #

sMaximum :: forall a (t :: t a). ((Apply MaximumSym0 t :: a) ~ Apply Maximum_6989586621680487124Sym0 t, SOrd a) => Sing t -> Sing (Apply MaximumSym0 t :: a) #

sMinimum :: forall a (t :: t a). ((Apply MinimumSym0 t :: a) ~ Apply Minimum_6989586621680487137Sym0 t, SOrd a) => Sing t -> Sing (Apply MinimumSym0 t :: a) #

sSum :: forall a (t :: t a). ((Apply SumSym0 t :: a) ~ Apply Sum_6989586621680487150Sym0 t, SNum a) => Sing t -> Sing (Apply SumSym0 t :: a) #

sProduct :: forall a (t :: t a). ((Apply ProductSym0 t :: a) ~ Apply Product_6989586621680487163Sym0 t, SNum a) => Sing t -> Sing (Apply ProductSym0 t :: a) #

Instances

SFoldable [] #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable Maybe #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable Min #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable Max #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable First #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable Last #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable Option #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable Identity #
Instance details Defined in Data.Singletons.Prelude.Identity Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable First #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable Last #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable Dual #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable Sum #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable Product #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable NonEmpty #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable (Either a) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a0 => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a0 => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a0 => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a0 => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a0 => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable ((,) a) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a0 => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a0 => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a0 => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a0 => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a0 => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable (Arg a) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a0 => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a0 => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a0 => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a0 => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a0 => Sing t -> Sing (Apply ProductSym0 t) #
SFoldable (Const m :: Type -> Type) #
Instance details Defined in Data.Singletons.Prelude.Const Methods sFold :: SMonoid m0 => Sing t -> Sing (Apply FoldSym0 t) # sFoldMap :: SMonoid m0 => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) # sToList :: Sing t -> Sing (Apply ToListSym0 t) # sNull :: Sing t -> Sing (Apply NullSym0 t) # sLength :: Sing t -> Sing (Apply LengthSym0 t) # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) #

type family FoldrM (a :: (~>) a ((~>) b (m b))) (a :: b) (a :: t a) :: m b where ... #

Equations

FoldrM f z0 xs = Apply (Apply (Apply (Apply FoldlSym0 (Let6989586621680486794F'Sym3 f z0 xs)) ReturnSym0) xs) z0

sFoldrM :: forall t m a b (t :: (~>) a ((~>) b (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrMSym0 t) t) t :: m b) #

type family FoldlM (a :: (~>) b ((~>) a (m b))) (a :: b) (a :: t a) :: m b where ... #

Equations

FoldlM f z0 xs = Apply (Apply (Apply (Apply FoldrSym0 (Let6989586621680486772F'Sym3 f z0 xs)) ReturnSym0) xs) z0

sFoldlM :: forall t m b a (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b) #

type family Traverse_ (a :: (~>) a (f b)) (a :: t a) :: f () where ... #

Equations

Traverse_ f a_6989586621680486749 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (.@#@$) (*>@#@$)) f)) (Apply PureSym0 Tuple0Sym0)) a_6989586621680486749

sTraverse_ :: forall t f a b (t :: (~>) a (f b)) (t :: t a). (SFoldable t, SApplicative f) => Sing t -> Sing t -> Sing (Apply (Apply Traverse_Sym0 t) t :: f ()) #

type family For_ (a :: t a) (a :: (~>) a (f b)) :: f () where ... #

Equations

For_ a_6989586621680486753 a_6989586621680486755 = Apply (Apply (Apply FlipSym0 Traverse_Sym0) a_6989586621680486753) a_6989586621680486755

sFor_ :: forall t f a b (t :: t a) (t :: (~>) a (f b)). (SFoldable t, SApplicative f) => Sing t -> Sing t -> Sing (Apply (Apply For_Sym0 t) t :: f ()) #

type family SequenceA_ (a :: t (f a)) :: f () where ... #

Equations

SequenceA_ a_6989586621680486722 = Apply (Apply (Apply FoldrSym0 (*>@#@$)) (Apply PureSym0 Tuple0Sym0)) a_6989586621680486722

sSequenceA_ :: forall t f a (t :: t (f a)). (SFoldable t, SApplicative f) => Sing t -> Sing (Apply SequenceA_Sym0 t :: f ()) #

type family Asum (a :: t (f a)) :: f a where ... #

Equations

Asum a_6989586621680486707 = Apply (Apply (Apply FoldrSym0 (<|>@#@$)) EmptySym0) a_6989586621680486707

sAsum :: forall t f a (t :: t (f a)). (SFoldable t, SAlternative f) => Sing t -> Sing (Apply AsumSym0 t :: f a) #

type family MapM_ (a :: (~>) a (m b)) (a :: t a) :: m () where ... #

Equations

MapM_ f a_6989586621680486731 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (.@#@$) (>>@#@$)) f)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680486731

sMapM_ :: forall t m a b (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ()) #

type family ForM_ (a :: t a) (a :: (~>) a (m b)) :: m () where ... #

Equations

ForM_ a_6989586621680486735 a_6989586621680486737 = Apply (Apply (Apply FlipSym0 MapM_Sym0) a_6989586621680486735) a_6989586621680486737

sForM_ :: forall t m a b (t :: t a) (t :: (~>) a (m b)). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForM_Sym0 t) t :: m ()) #

type family Sequence_ (a :: t (m a)) :: m () where ... #

Equations

Sequence_ a_6989586621680486717 = Apply (Apply (Apply FoldrSym0 (>>@#@$)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680486717

sSequence_ :: forall t m a (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ()) #

type family Msum (a :: t (m a)) :: m a where ... #

Equations

Msum a_6989586621680486712 = Apply AsumSym0 a_6989586621680486712

sMsum :: forall t m a (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a) #

type family Concat (a :: t [a]) :: [a] where ... #

Equations

Concat xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_6989586621680486698Sym0 xs)) '[]) xs

sConcat :: forall t a (t :: t [a]). SFoldable t => Sing t -> Sing (Apply ConcatSym0 t :: [a]) #

type family ConcatMap (a :: (~>) a [b]) (a :: t a) :: [b] where ... #

Equations

ConcatMap f xs = Apply (Apply (Apply FoldrSym0 (Apply (Apply Lambda_6989586621680486685Sym0 f) xs)) '[]) xs

sConcatMap :: forall t a b (t :: (~>) a [b]) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply ConcatMapSym0 t) t :: [b]) #

type family And (a :: t Bool) :: Bool where ... #

Equations

And x = Case_6989586621680486675 x (Let6989586621680486673Scrutinee_6989586621680486431Sym1 x)

sAnd :: forall t (t :: t Bool). SFoldable t => Sing t -> Sing (Apply AndSym0 t :: Bool) #

type family Or (a :: t Bool) :: Bool where ... #

Equations

Or x = Case_6989586621680486666 x (Let6989586621680486664Scrutinee_6989586621680486433Sym1 x)

sOr :: forall t (t :: t Bool). SFoldable t => Sing t -> Sing (Apply OrSym0 t :: Bool) #

type family Any (a :: (~>) a Bool) (a :: t a) :: Bool where ... #

Equations

Any p x = Case_6989586621680486657 p x (Let6989586621680486654Scrutinee_6989586621680486435Sym2 p x)

sAny :: forall t a (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply AnySym0 t) t :: Bool) #

type family All (a :: (~>) a Bool) (a :: t a) :: Bool where ... #

Equations

All p x = Case_6989586621680486644 p x (Let6989586621680486641Scrutinee_6989586621680486437Sym2 p x)

sAll :: forall t a (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply AllSym0 t) t :: Bool) #

type family MaximumBy (a :: (~>) a ((~>) a Ordering)) (a :: t a) :: a where ... #

Equations

MaximumBy cmp a_6989586621680486614 = Apply (Apply Foldl1Sym0 (Let6989586621680486618Max'Sym2 cmp a_6989586621680486614)) a_6989586621680486614

sMaximumBy :: forall t a (t :: (~>) a ((~>) a Ordering)) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply MaximumBySym0 t) t :: a) #

type family MinimumBy (a :: (~>) a ((~>) a Ordering)) (a :: t a) :: a where ... #

Equations

MinimumBy cmp a_6989586621680486589 = Apply (Apply Foldl1Sym0 (Let6989586621680486593Min'Sym2 cmp a_6989586621680486589)) a_6989586621680486589

sMinimumBy :: forall t a (t :: (~>) a ((~>) a Ordering)) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply MinimumBySym0 t) t :: a) #

type family NotElem (a :: a) (a :: t a) :: Bool where ... #

Equations

NotElem x a_6989586621680486581 = Apply (Apply (Apply (.@#@$) NotSym0) (Apply ElemSym0 x)) a_6989586621680486581

sNotElem :: forall t a (t :: a) (t :: t a). (SFoldable t, SEq a) => Sing t -> Sing t -> Sing (Apply (Apply NotElemSym0 t) t :: Bool) #

type family Find (a :: (~>) a Bool) (a :: t a) :: Maybe a where ... #

Equations

Find p y = Case_6989586621680486573 p y (Let6989586621680486556Scrutinee_6989586621680486443Sym2 p y)

sFind :: forall t a (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply FindSym0 t) t :: Maybe a) #

Defunctionalization symbols

data FoldSym0 :: forall m6989586621680486185 t6989586621680486184. (~>) (t6989586621680486184 m6989586621680486185) m6989586621680486185 #

Instances

(SFoldable t, SMonoid m) => SingI (FoldSym0 :: TyFun (t m) m -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing FoldSym0 #
SuppressUnusedWarnings (FoldSym0 :: TyFun (t6989586621680486184 m6989586621680486185) m6989586621680486185 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldSym0 :: TyFun (t m) m -> Type) (arg6989586621680486807 :: t m) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldSym0 :: TyFun (t m) m -> Type) (arg6989586621680486807 :: t m) = Fold arg6989586621680486807

type FoldSym1 (arg6989586621680486807 :: t6989586621680486184 m6989586621680486185) = Fold arg6989586621680486807 #

data FoldMapSym0 :: forall a6989586621680486187 m6989586621680486186 t6989586621680486184. (~>) ((~>) a6989586621680486187 m6989586621680486186) ((~>) (t6989586621680486184 a6989586621680486187) m6989586621680486186) #

Instances

(SFoldable t, SMonoid m) => SingI (FoldMapSym0 :: TyFun (a ~> m) (t a ~> m) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing FoldMapSym0 #
SuppressUnusedWarnings (FoldMapSym0 :: TyFun (a6989586621680486187 ~> m6989586621680486186) (t6989586621680486184 a6989586621680486187 ~> m6989586621680486186) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldMapSym0 :: TyFun (a6989586621680486187 ~> m6989586621680486186) (t6989586621680486184 a6989586621680486187 ~> m6989586621680486186) -> Type) (arg6989586621680486809 :: a6989586621680486187 ~> m6989586621680486186) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldMapSym0 :: TyFun (a6989586621680486187 ~> m6989586621680486186) (t6989586621680486184 a6989586621680486187 ~> m6989586621680486186) -> Type) (arg6989586621680486809 :: a6989586621680486187 ~> m6989586621680486186) = (FoldMapSym1 arg6989586621680486809 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486187) m6989586621680486186 -> Type)

data FoldMapSym1 (arg6989586621680486809 :: (~>) a6989586621680486187 m6989586621680486186) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486187) m6989586621680486186 #

Instances

(SFoldable t, SMonoid m, SingI d) => SingI (FoldMapSym1 d t :: TyFun (t a) m -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldMapSym1 d t) #
SuppressUnusedWarnings (FoldMapSym1 arg6989586621680486809 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486187) m6989586621680486186 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldMapSym1 arg6989586621680486809 t :: TyFun (t a) m -> Type) (arg6989586621680486810 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldMapSym1 arg6989586621680486809 t :: TyFun (t a) m -> Type) (arg6989586621680486810 :: t a) = FoldMap arg6989586621680486809 arg6989586621680486810

type FoldMapSym2 (arg6989586621680486809 :: (~>) a6989586621680486187 m6989586621680486186) (arg6989586621680486810 :: t6989586621680486184 a6989586621680486187) = FoldMap arg6989586621680486809 arg6989586621680486810 #

data FoldrSym0 :: forall a6989586621680486188 b6989586621680486189 t6989586621680486184. (~>) ((~>) a6989586621680486188 ((~>) b6989586621680486189 b6989586621680486189)) ((~>) b6989586621680486189 ((~>) (t6989586621680486184 a6989586621680486188) b6989586621680486189)) #

Instances

SFoldable t => SingI (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing FoldrSym0 #
SuppressUnusedWarnings (FoldrSym0 :: TyFun (a6989586621680486188 ~> (b6989586621680486189 ~> b6989586621680486189)) (b6989586621680486189 ~> (t6989586621680486184 a6989586621680486188 ~> b6989586621680486189)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldrSym0 :: TyFun (a6989586621680486188 ~> (b6989586621680486189 ~> b6989586621680486189)) (b6989586621680486189 ~> (t6989586621680486184 a6989586621680486188 ~> b6989586621680486189)) -> Type) (arg6989586621680486813 :: a6989586621680486188 ~> (b6989586621680486189 ~> b6989586621680486189)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldrSym0 :: TyFun (a6989586621680486188 ~> (b6989586621680486189 ~> b6989586621680486189)) (b6989586621680486189 ~> (t6989586621680486184 a6989586621680486188 ~> b6989586621680486189)) -> Type) (arg6989586621680486813 :: a6989586621680486188 ~> (b6989586621680486189 ~> b6989586621680486189)) = (FoldrSym1 arg6989586621680486813 t6989586621680486184 :: TyFun b6989586621680486189 (t6989586621680486184 a6989586621680486188 ~> b6989586621680486189) -> Type)

data FoldrSym1 (arg6989586621680486813 :: (~>) a6989586621680486188 ((~>) b6989586621680486189 b6989586621680486189)) :: forall t6989586621680486184. (~>) b6989586621680486189 ((~>) (t6989586621680486184 a6989586621680486188) b6989586621680486189) #

Instances

(SFoldable t, SingI d) => SingI (FoldrSym1 d t :: TyFun b (t a ~> b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldrSym1 d t) #
SuppressUnusedWarnings (FoldrSym1 arg6989586621680486813 t6989586621680486184 :: TyFun b6989586621680486189 (t6989586621680486184 a6989586621680486188 ~> b6989586621680486189) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldrSym1 arg6989586621680486813 t6989586621680486184 :: TyFun b6989586621680486189 (t6989586621680486184 a6989586621680486188 ~> b6989586621680486189) -> Type) (arg6989586621680486814 :: b6989586621680486189) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldrSym1 arg6989586621680486813 t6989586621680486184 :: TyFun b6989586621680486189 (t6989586621680486184 a6989586621680486188 ~> b6989586621680486189) -> Type) (arg6989586621680486814 :: b6989586621680486189) = (FoldrSym2 arg6989586621680486813 arg6989586621680486814 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486188) b6989586621680486189 -> Type)

data FoldrSym2 (arg6989586621680486813 :: (~>) a6989586621680486188 ((~>) b6989586621680486189 b6989586621680486189)) (arg6989586621680486814 :: b6989586621680486189) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486188) b6989586621680486189 #

Instances

(SFoldable t, SingI d1, SingI d2) => SingI (FoldrSym2 d1 d2 t :: TyFun (t a) b -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldrSym2 d1 d2 t) #
SuppressUnusedWarnings (FoldrSym2 arg6989586621680486814 arg6989586621680486813 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486188) b6989586621680486189 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldrSym2 arg6989586621680486814 arg6989586621680486813 t :: TyFun (t a) b -> Type) (arg6989586621680486815 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldrSym2 arg6989586621680486814 arg6989586621680486813 t :: TyFun (t a) b -> Type) (arg6989586621680486815 :: t a) = Foldr arg6989586621680486814 arg6989586621680486813 arg6989586621680486815

type FoldrSym3 (arg6989586621680486813 :: (~>) a6989586621680486188 ((~>) b6989586621680486189 b6989586621680486189)) (arg6989586621680486814 :: b6989586621680486189) (arg6989586621680486815 :: t6989586621680486184 a6989586621680486188) = Foldr arg6989586621680486813 arg6989586621680486814 arg6989586621680486815 #

data Foldr'Sym0 :: forall a6989586621680486190 b6989586621680486191 t6989586621680486184. (~>) ((~>) a6989586621680486190 ((~>) b6989586621680486191 b6989586621680486191)) ((~>) b6989586621680486191 ((~>) (t6989586621680486184 a6989586621680486190) b6989586621680486191)) #

Instances

SFoldable t => SingI (Foldr'Sym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing Foldr'Sym0 #
SuppressUnusedWarnings (Foldr'Sym0 :: TyFun (a6989586621680486190 ~> (b6989586621680486191 ~> b6989586621680486191)) (b6989586621680486191 ~> (t6989586621680486184 a6989586621680486190 ~> b6989586621680486191)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Foldr'Sym0 :: TyFun (a6989586621680486190 ~> (b6989586621680486191 ~> b6989586621680486191)) (b6989586621680486191 ~> (t6989586621680486184 a6989586621680486190 ~> b6989586621680486191)) -> Type) (arg6989586621680486819 :: a6989586621680486190 ~> (b6989586621680486191 ~> b6989586621680486191)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Foldr'Sym0 :: TyFun (a6989586621680486190 ~> (b6989586621680486191 ~> b6989586621680486191)) (b6989586621680486191 ~> (t6989586621680486184 a6989586621680486190 ~> b6989586621680486191)) -> Type) (arg6989586621680486819 :: a6989586621680486190 ~> (b6989586621680486191 ~> b6989586621680486191)) = (Foldr'Sym1 arg6989586621680486819 t6989586621680486184 :: TyFun b6989586621680486191 (t6989586621680486184 a6989586621680486190 ~> b6989586621680486191) -> Type)

data Foldr'Sym1 (arg6989586621680486819 :: (~>) a6989586621680486190 ((~>) b6989586621680486191 b6989586621680486191)) :: forall t6989586621680486184. (~>) b6989586621680486191 ((~>) (t6989586621680486184 a6989586621680486190) b6989586621680486191) #

Instances

(SFoldable t, SingI d) => SingI (Foldr'Sym1 d t :: TyFun b (t a ~> b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (Foldr'Sym1 d t) #
SuppressUnusedWarnings (Foldr'Sym1 arg6989586621680486819 t6989586621680486184 :: TyFun b6989586621680486191 (t6989586621680486184 a6989586621680486190 ~> b6989586621680486191) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Foldr'Sym1 arg6989586621680486819 t6989586621680486184 :: TyFun b6989586621680486191 (t6989586621680486184 a6989586621680486190 ~> b6989586621680486191) -> Type) (arg6989586621680486820 :: b6989586621680486191) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Foldr'Sym1 arg6989586621680486819 t6989586621680486184 :: TyFun b6989586621680486191 (t6989586621680486184 a6989586621680486190 ~> b6989586621680486191) -> Type) (arg6989586621680486820 :: b6989586621680486191) = (Foldr'Sym2 arg6989586621680486819 arg6989586621680486820 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486190) b6989586621680486191 -> Type)

data Foldr'Sym2 (arg6989586621680486819 :: (~>) a6989586621680486190 ((~>) b6989586621680486191 b6989586621680486191)) (arg6989586621680486820 :: b6989586621680486191) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486190) b6989586621680486191 #

Instances

(SFoldable t, SingI d1, SingI d2) => SingI (Foldr'Sym2 d1 d2 t :: TyFun (t a) b -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (Foldr'Sym2 d1 d2 t) #
SuppressUnusedWarnings (Foldr'Sym2 arg6989586621680486820 arg6989586621680486819 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486190) b6989586621680486191 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Foldr'Sym2 arg6989586621680486820 arg6989586621680486819 t :: TyFun (t a) b -> Type) (arg6989586621680486821 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Foldr'Sym2 arg6989586621680486820 arg6989586621680486819 t :: TyFun (t a) b -> Type) (arg6989586621680486821 :: t a) = Foldr' arg6989586621680486820 arg6989586621680486819 arg6989586621680486821

type Foldr'Sym3 (arg6989586621680486819 :: (~>) a6989586621680486190 ((~>) b6989586621680486191 b6989586621680486191)) (arg6989586621680486820 :: b6989586621680486191) (arg6989586621680486821 :: t6989586621680486184 a6989586621680486190) = Foldr' arg6989586621680486819 arg6989586621680486820 arg6989586621680486821 #

data FoldlSym0 :: forall a6989586621680486193 b6989586621680486192 t6989586621680486184. (~>) ((~>) b6989586621680486192 ((~>) a6989586621680486193 b6989586621680486192)) ((~>) b6989586621680486192 ((~>) (t6989586621680486184 a6989586621680486193) b6989586621680486192)) #

Instances

SFoldable t => SingI (FoldlSym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing FoldlSym0 #
SuppressUnusedWarnings (FoldlSym0 :: TyFun (b6989586621680486192 ~> (a6989586621680486193 ~> b6989586621680486192)) (b6989586621680486192 ~> (t6989586621680486184 a6989586621680486193 ~> b6989586621680486192)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldlSym0 :: TyFun (b6989586621680486192 ~> (a6989586621680486193 ~> b6989586621680486192)) (b6989586621680486192 ~> (t6989586621680486184 a6989586621680486193 ~> b6989586621680486192)) -> Type) (arg6989586621680486825 :: b6989586621680486192 ~> (a6989586621680486193 ~> b6989586621680486192)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlSym0 :: TyFun (b6989586621680486192 ~> (a6989586621680486193 ~> b6989586621680486192)) (b6989586621680486192 ~> (t6989586621680486184 a6989586621680486193 ~> b6989586621680486192)) -> Type) (arg6989586621680486825 :: b6989586621680486192 ~> (a6989586621680486193 ~> b6989586621680486192)) = (FoldlSym1 arg6989586621680486825 t6989586621680486184 :: TyFun b6989586621680486192 (t6989586621680486184 a6989586621680486193 ~> b6989586621680486192) -> Type)

data FoldlSym1 (arg6989586621680486825 :: (~>) b6989586621680486192 ((~>) a6989586621680486193 b6989586621680486192)) :: forall t6989586621680486184. (~>) b6989586621680486192 ((~>) (t6989586621680486184 a6989586621680486193) b6989586621680486192) #

Instances

(SFoldable t, SingI d) => SingI (FoldlSym1 d t :: TyFun b (t a ~> b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldlSym1 d t) #
SuppressUnusedWarnings (FoldlSym1 arg6989586621680486825 t6989586621680486184 :: TyFun b6989586621680486192 (t6989586621680486184 a6989586621680486193 ~> b6989586621680486192) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldlSym1 arg6989586621680486825 t6989586621680486184 :: TyFun b6989586621680486192 (t6989586621680486184 a6989586621680486193 ~> b6989586621680486192) -> Type) (arg6989586621680486826 :: b6989586621680486192) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlSym1 arg6989586621680486825 t6989586621680486184 :: TyFun b6989586621680486192 (t6989586621680486184 a6989586621680486193 ~> b6989586621680486192) -> Type) (arg6989586621680486826 :: b6989586621680486192) = (FoldlSym2 arg6989586621680486825 arg6989586621680486826 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486193) b6989586621680486192 -> Type)

data FoldlSym2 (arg6989586621680486825 :: (~>) b6989586621680486192 ((~>) a6989586621680486193 b6989586621680486192)) (arg6989586621680486826 :: b6989586621680486192) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486193) b6989586621680486192 #

Instances

(SFoldable t, SingI d1, SingI d2) => SingI (FoldlSym2 d1 d2 t :: TyFun (t a) b -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldlSym2 d1 d2 t) #
SuppressUnusedWarnings (FoldlSym2 arg6989586621680486826 arg6989586621680486825 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486193) b6989586621680486192 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldlSym2 arg6989586621680486826 arg6989586621680486825 t :: TyFun (t a) b -> Type) (arg6989586621680486827 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlSym2 arg6989586621680486826 arg6989586621680486825 t :: TyFun (t a) b -> Type) (arg6989586621680486827 :: t a) = Foldl arg6989586621680486826 arg6989586621680486825 arg6989586621680486827

type FoldlSym3 (arg6989586621680486825 :: (~>) b6989586621680486192 ((~>) a6989586621680486193 b6989586621680486192)) (arg6989586621680486826 :: b6989586621680486192) (arg6989586621680486827 :: t6989586621680486184 a6989586621680486193) = Foldl arg6989586621680486825 arg6989586621680486826 arg6989586621680486827 #

data Foldl'Sym0 :: forall a6989586621680486195 b6989586621680486194 t6989586621680486184. (~>) ((~>) b6989586621680486194 ((~>) a6989586621680486195 b6989586621680486194)) ((~>) b6989586621680486194 ((~>) (t6989586621680486184 a6989586621680486195) b6989586621680486194)) #

Instances

SFoldable t => SingI (Foldl'Sym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing Foldl'Sym0 #
SuppressUnusedWarnings (Foldl'Sym0 :: TyFun (b6989586621680486194 ~> (a6989586621680486195 ~> b6989586621680486194)) (b6989586621680486194 ~> (t6989586621680486184 a6989586621680486195 ~> b6989586621680486194)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Foldl'Sym0 :: TyFun (b6989586621680486194 ~> (a6989586621680486195 ~> b6989586621680486194)) (b6989586621680486194 ~> (t6989586621680486184 a6989586621680486195 ~> b6989586621680486194)) -> Type) (arg6989586621680486831 :: b6989586621680486194 ~> (a6989586621680486195 ~> b6989586621680486194)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Foldl'Sym0 :: TyFun (b6989586621680486194 ~> (a6989586621680486195 ~> b6989586621680486194)) (b6989586621680486194 ~> (t6989586621680486184 a6989586621680486195 ~> b6989586621680486194)) -> Type) (arg6989586621680486831 :: b6989586621680486194 ~> (a6989586621680486195 ~> b6989586621680486194)) = (Foldl'Sym1 arg6989586621680486831 t6989586621680486184 :: TyFun b6989586621680486194 (t6989586621680486184 a6989586621680486195 ~> b6989586621680486194) -> Type)

data Foldl'Sym1 (arg6989586621680486831 :: (~>) b6989586621680486194 ((~>) a6989586621680486195 b6989586621680486194)) :: forall t6989586621680486184. (~>) b6989586621680486194 ((~>) (t6989586621680486184 a6989586621680486195) b6989586621680486194) #

Instances

(SFoldable t, SingI d) => SingI (Foldl'Sym1 d t :: TyFun b (t a ~> b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (Foldl'Sym1 d t) #
SuppressUnusedWarnings (Foldl'Sym1 arg6989586621680486831 t6989586621680486184 :: TyFun b6989586621680486194 (t6989586621680486184 a6989586621680486195 ~> b6989586621680486194) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Foldl'Sym1 arg6989586621680486831 t6989586621680486184 :: TyFun b6989586621680486194 (t6989586621680486184 a6989586621680486195 ~> b6989586621680486194) -> Type) (arg6989586621680486832 :: b6989586621680486194) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Foldl'Sym1 arg6989586621680486831 t6989586621680486184 :: TyFun b6989586621680486194 (t6989586621680486184 a6989586621680486195 ~> b6989586621680486194) -> Type) (arg6989586621680486832 :: b6989586621680486194) = (Foldl'Sym2 arg6989586621680486831 arg6989586621680486832 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486195) b6989586621680486194 -> Type)

data Foldl'Sym2 (arg6989586621680486831 :: (~>) b6989586621680486194 ((~>) a6989586621680486195 b6989586621680486194)) (arg6989586621680486832 :: b6989586621680486194) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486195) b6989586621680486194 #

Instances

(SFoldable t, SingI d1, SingI d2) => SingI (Foldl'Sym2 d1 d2 t :: TyFun (t a) b -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (Foldl'Sym2 d1 d2 t) #
SuppressUnusedWarnings (Foldl'Sym2 arg6989586621680486832 arg6989586621680486831 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486195) b6989586621680486194 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Foldl'Sym2 arg6989586621680486832 arg6989586621680486831 t :: TyFun (t a) b -> Type) (arg6989586621680486833 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Foldl'Sym2 arg6989586621680486832 arg6989586621680486831 t :: TyFun (t a) b -> Type) (arg6989586621680486833 :: t a) = Foldl' arg6989586621680486832 arg6989586621680486831 arg6989586621680486833

type Foldl'Sym3 (arg6989586621680486831 :: (~>) b6989586621680486194 ((~>) a6989586621680486195 b6989586621680486194)) (arg6989586621680486832 :: b6989586621680486194) (arg6989586621680486833 :: t6989586621680486184 a6989586621680486195) = Foldl' arg6989586621680486831 arg6989586621680486832 arg6989586621680486833 #

data Foldr1Sym0 :: forall a6989586621680486196 t6989586621680486184. (~>) ((~>) a6989586621680486196 ((~>) a6989586621680486196 a6989586621680486196)) ((~>) (t6989586621680486184 a6989586621680486196) a6989586621680486196) #

Instances

SFoldable t => SingI (Foldr1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing Foldr1Sym0 #
SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (a6989586621680486196 ~> (a6989586621680486196 ~> a6989586621680486196)) (t6989586621680486184 a6989586621680486196 ~> a6989586621680486196) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Foldr1Sym0 :: TyFun (a6989586621680486196 ~> (a6989586621680486196 ~> a6989586621680486196)) (t6989586621680486184 a6989586621680486196 ~> a6989586621680486196) -> Type) (arg6989586621680486837 :: a6989586621680486196 ~> (a6989586621680486196 ~> a6989586621680486196)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Foldr1Sym0 :: TyFun (a6989586621680486196 ~> (a6989586621680486196 ~> a6989586621680486196)) (t6989586621680486184 a6989586621680486196 ~> a6989586621680486196) -> Type) (arg6989586621680486837 :: a6989586621680486196 ~> (a6989586621680486196 ~> a6989586621680486196)) = (Foldr1Sym1 arg6989586621680486837 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486196) a6989586621680486196 -> Type)

data Foldr1Sym1 (arg6989586621680486837 :: (~>) a6989586621680486196 ((~>) a6989586621680486196 a6989586621680486196)) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486196) a6989586621680486196 #

Instances

(SFoldable t, SingI d) => SingI (Foldr1Sym1 d t :: TyFun (t a) a -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (Foldr1Sym1 d t) #
SuppressUnusedWarnings (Foldr1Sym1 arg6989586621680486837 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486196) a6989586621680486196 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Foldr1Sym1 arg6989586621680486837 t :: TyFun (t a) a -> Type) (arg6989586621680486838 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Foldr1Sym1 arg6989586621680486837 t :: TyFun (t a) a -> Type) (arg6989586621680486838 :: t a) = Foldr1 arg6989586621680486837 arg6989586621680486838

type Foldr1Sym2 (arg6989586621680486837 :: (~>) a6989586621680486196 ((~>) a6989586621680486196 a6989586621680486196)) (arg6989586621680486838 :: t6989586621680486184 a6989586621680486196) = Foldr1 arg6989586621680486837 arg6989586621680486838 #

data Foldl1Sym0 :: forall a6989586621680486197 t6989586621680486184. (~>) ((~>) a6989586621680486197 ((~>) a6989586621680486197 a6989586621680486197)) ((~>) (t6989586621680486184 a6989586621680486197) a6989586621680486197) #

Instances

SFoldable t => SingI (Foldl1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing Foldl1Sym0 #
SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (a6989586621680486197 ~> (a6989586621680486197 ~> a6989586621680486197)) (t6989586621680486184 a6989586621680486197 ~> a6989586621680486197) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Foldl1Sym0 :: TyFun (a6989586621680486197 ~> (a6989586621680486197 ~> a6989586621680486197)) (t6989586621680486184 a6989586621680486197 ~> a6989586621680486197) -> Type) (arg6989586621680486841 :: a6989586621680486197 ~> (a6989586621680486197 ~> a6989586621680486197)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Foldl1Sym0 :: TyFun (a6989586621680486197 ~> (a6989586621680486197 ~> a6989586621680486197)) (t6989586621680486184 a6989586621680486197 ~> a6989586621680486197) -> Type) (arg6989586621680486841 :: a6989586621680486197 ~> (a6989586621680486197 ~> a6989586621680486197)) = (Foldl1Sym1 arg6989586621680486841 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486197) a6989586621680486197 -> Type)

data Foldl1Sym1 (arg6989586621680486841 :: (~>) a6989586621680486197 ((~>) a6989586621680486197 a6989586621680486197)) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486197) a6989586621680486197 #

Instances

(SFoldable t, SingI d) => SingI (Foldl1Sym1 d t :: TyFun (t a) a -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (Foldl1Sym1 d t) #
SuppressUnusedWarnings (Foldl1Sym1 arg6989586621680486841 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486197) a6989586621680486197 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Foldl1Sym1 arg6989586621680486841 t :: TyFun (t a) a -> Type) (arg6989586621680486842 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Foldl1Sym1 arg6989586621680486841 t :: TyFun (t a) a -> Type) (arg6989586621680486842 :: t a) = Foldl1 arg6989586621680486841 arg6989586621680486842

type Foldl1Sym2 (arg6989586621680486841 :: (~>) a6989586621680486197 ((~>) a6989586621680486197 a6989586621680486197)) (arg6989586621680486842 :: t6989586621680486184 a6989586621680486197) = Foldl1 arg6989586621680486841 arg6989586621680486842 #

data ToListSym0 :: forall a6989586621680486198 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486198) [a6989586621680486198] #

Instances

SFoldable t => SingI (ToListSym0 :: TyFun (t a) [a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing ToListSym0 #
SuppressUnusedWarnings (ToListSym0 :: TyFun (t6989586621680486184 a6989586621680486198) [a6989586621680486198] -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (ToListSym0 :: TyFun (t a) [a] -> Type) (arg6989586621680486845 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (ToListSym0 :: TyFun (t a) [a] -> Type) (arg6989586621680486845 :: t a) = ToList arg6989586621680486845

type ToListSym1 (arg6989586621680486845 :: t6989586621680486184 a6989586621680486198) = ToList arg6989586621680486845 #

data NullSym0 :: forall a6989586621680486199 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486199) Bool #

Instances

SFoldable t => SingI (NullSym0 :: TyFun (t a) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing NullSym0 #
SuppressUnusedWarnings (NullSym0 :: TyFun (t6989586621680486184 a6989586621680486199) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (NullSym0 :: TyFun (t a) Bool -> Type) (arg6989586621680486847 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (NullSym0 :: TyFun (t a) Bool -> Type) (arg6989586621680486847 :: t a) = Null arg6989586621680486847

type NullSym1 (arg6989586621680486847 :: t6989586621680486184 a6989586621680486199) = Null arg6989586621680486847 #

data LengthSym0 :: forall a6989586621680486200 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486200) Nat #

Instances

SFoldable t => SingI (LengthSym0 :: TyFun (t a) Nat -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing LengthSym0 #
SuppressUnusedWarnings (LengthSym0 :: TyFun (t6989586621680486184 a6989586621680486200) Nat -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (LengthSym0 :: TyFun (t a) Nat -> Type) (arg6989586621680486849 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (LengthSym0 :: TyFun (t a) Nat -> Type) (arg6989586621680486849 :: t a) = Length arg6989586621680486849

type LengthSym1 (arg6989586621680486849 :: t6989586621680486184 a6989586621680486200) = Length arg6989586621680486849 #

data ElemSym0 :: forall a6989586621680486201 t6989586621680486184. (~>) a6989586621680486201 ((~>) (t6989586621680486184 a6989586621680486201) Bool) #

Instances

(SFoldable t, SEq a) => SingI (ElemSym0 :: TyFun a (t a ~> Bool) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing ElemSym0 #
SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621680486201 (t6989586621680486184 a6989586621680486201 ~> Bool) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (ElemSym0 :: TyFun a6989586621680486201 (t6989586621680486184 a6989586621680486201 ~> Bool) -> Type) (arg6989586621680486851 :: a6989586621680486201) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (ElemSym0 :: TyFun a6989586621680486201 (t6989586621680486184 a6989586621680486201 ~> Bool) -> Type) (arg6989586621680486851 :: a6989586621680486201) = (ElemSym1 arg6989586621680486851 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486201) Bool -> Type)

data ElemSym1 (arg6989586621680486851 :: a6989586621680486201) :: forall t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486201) Bool #

Instances

(SFoldable t, SEq a, SingI d) => SingI (ElemSym1 d t :: TyFun (t a) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (ElemSym1 d t) #
SuppressUnusedWarnings (ElemSym1 arg6989586621680486851 t6989586621680486184 :: TyFun (t6989586621680486184 a6989586621680486201) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (ElemSym1 arg6989586621680486851 t :: TyFun (t a) Bool -> Type) (arg6989586621680486852 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (ElemSym1 arg6989586621680486851 t :: TyFun (t a) Bool -> Type) (arg6989586621680486852 :: t a) = Elem arg6989586621680486851 arg6989586621680486852

type ElemSym2 (arg6989586621680486851 :: a6989586621680486201) (arg6989586621680486852 :: t6989586621680486184 a6989586621680486201) = Elem arg6989586621680486851 arg6989586621680486852 #

data MaximumSym0 :: forall a6989586621680486202 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486202) a6989586621680486202 #

Instances

(SFoldable t, SOrd a) => SingI (MaximumSym0 :: TyFun (t a) a -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing MaximumSym0 #
SuppressUnusedWarnings (MaximumSym0 :: TyFun (t6989586621680486184 a6989586621680486202) a6989586621680486202 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (MaximumSym0 :: TyFun (t a) a -> Type) (arg6989586621680486855 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MaximumSym0 :: TyFun (t a) a -> Type) (arg6989586621680486855 :: t a) = Maximum arg6989586621680486855

type MaximumSym1 (arg6989586621680486855 :: t6989586621680486184 a6989586621680486202) = Maximum arg6989586621680486855 #

data MinimumSym0 :: forall a6989586621680486203 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486203) a6989586621680486203 #

Instances

(SFoldable t, SOrd a) => SingI (MinimumSym0 :: TyFun (t a) a -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing MinimumSym0 #
SuppressUnusedWarnings (MinimumSym0 :: TyFun (t6989586621680486184 a6989586621680486203) a6989586621680486203 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (MinimumSym0 :: TyFun (t a) a -> Type) (arg6989586621680486857 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MinimumSym0 :: TyFun (t a) a -> Type) (arg6989586621680486857 :: t a) = Minimum arg6989586621680486857

type MinimumSym1 (arg6989586621680486857 :: t6989586621680486184 a6989586621680486203) = Minimum arg6989586621680486857 #

data SumSym0 :: forall a6989586621680486204 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486204) a6989586621680486204 #

Instances

(SFoldable t, SNum a) => SingI (SumSym0 :: TyFun (t a) a -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing SumSym0 #
SuppressUnusedWarnings (SumSym0 :: TyFun (t6989586621680486184 a6989586621680486204) a6989586621680486204 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (SumSym0 :: TyFun (t a) a -> Type) (arg6989586621680486859 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (SumSym0 :: TyFun (t a) a -> Type) (arg6989586621680486859 :: t a) = Sum arg6989586621680486859

type SumSym1 (arg6989586621680486859 :: t6989586621680486184 a6989586621680486204) = Sum arg6989586621680486859 #

data ProductSym0 :: forall a6989586621680486205 t6989586621680486184. (~>) (t6989586621680486184 a6989586621680486205) a6989586621680486205 #

Instances

(SFoldable t, SNum a) => SingI (ProductSym0 :: TyFun (t a) a -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing ProductSym0 #
SuppressUnusedWarnings (ProductSym0 :: TyFun (t6989586621680486184 a6989586621680486205) a6989586621680486205 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (ProductSym0 :: TyFun (t a) a -> Type) (arg6989586621680486861 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (ProductSym0 :: TyFun (t a) a -> Type) (arg6989586621680486861 :: t a) = Product arg6989586621680486861

type ProductSym1 (arg6989586621680486861 :: t6989586621680486184 a6989586621680486205) = Product arg6989586621680486861 #

data FoldrMSym0 :: forall a6989586621680486145 b6989586621680486146 m6989586621680486144 t6989586621680486143. (~>) ((~>) a6989586621680486145 ((~>) b6989586621680486146 (m6989586621680486144 b6989586621680486146))) ((~>) b6989586621680486146 ((~>) (t6989586621680486143 a6989586621680486145) (m6989586621680486144 b6989586621680486146))) #

Instances

(SFoldable t, SMonad m) => SingI (FoldrMSym0 :: TyFun (a ~> (b ~> m b)) (b ~> (t a ~> m b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing FoldrMSym0 #
SuppressUnusedWarnings (FoldrMSym0 :: TyFun (a6989586621680486145 ~> (b6989586621680486146 ~> m6989586621680486144 b6989586621680486146)) (b6989586621680486146 ~> (t6989586621680486143 a6989586621680486145 ~> m6989586621680486144 b6989586621680486146)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldrMSym0 :: TyFun (a6989586621680486145 ~> (b6989586621680486146 ~> m6989586621680486144 b6989586621680486146)) (b6989586621680486146 ~> (t6989586621680486143 a6989586621680486145 ~> m6989586621680486144 b6989586621680486146)) -> Type) (a6989586621680486785 :: a6989586621680486145 ~> (b6989586621680486146 ~> m6989586621680486144 b6989586621680486146)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldrMSym0 :: TyFun (a6989586621680486145 ~> (b6989586621680486146 ~> m6989586621680486144 b6989586621680486146)) (b6989586621680486146 ~> (t6989586621680486143 a6989586621680486145 ~> m6989586621680486144 b6989586621680486146)) -> Type) (a6989586621680486785 :: a6989586621680486145 ~> (b6989586621680486146 ~> m6989586621680486144 b6989586621680486146)) = (FoldrMSym1 a6989586621680486785 t6989586621680486143 :: TyFun b6989586621680486146 (t6989586621680486143 a6989586621680486145 ~> m6989586621680486144 b6989586621680486146) -> Type)

data FoldrMSym1 (a6989586621680486785 :: (~>) a6989586621680486145 ((~>) b6989586621680486146 (m6989586621680486144 b6989586621680486146))) :: forall t6989586621680486143. (~>) b6989586621680486146 ((~>) (t6989586621680486143 a6989586621680486145) (m6989586621680486144 b6989586621680486146)) #

Instances

(SFoldable t, SMonad m, SingI d) => SingI (FoldrMSym1 d t :: TyFun b (t a ~> m b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldrMSym1 d t) #
SuppressUnusedWarnings (FoldrMSym1 a6989586621680486785 t6989586621680486143 :: TyFun b6989586621680486146 (t6989586621680486143 a6989586621680486145 ~> m6989586621680486144 b6989586621680486146) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldrMSym1 a6989586621680486785 t6989586621680486143 :: TyFun b6989586621680486146 (t6989586621680486143 a6989586621680486145 ~> m6989586621680486144 b6989586621680486146) -> Type) (a6989586621680486786 :: b6989586621680486146) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldrMSym1 a6989586621680486785 t6989586621680486143 :: TyFun b6989586621680486146 (t6989586621680486143 a6989586621680486145 ~> m6989586621680486144 b6989586621680486146) -> Type) (a6989586621680486786 :: b6989586621680486146) = (FoldrMSym2 a6989586621680486785 a6989586621680486786 t6989586621680486143 :: TyFun (t6989586621680486143 a6989586621680486145) (m6989586621680486144 b6989586621680486146) -> Type)

data FoldrMSym2 (a6989586621680486785 :: (~>) a6989586621680486145 ((~>) b6989586621680486146 (m6989586621680486144 b6989586621680486146))) (a6989586621680486786 :: b6989586621680486146) :: forall t6989586621680486143. (~>) (t6989586621680486143 a6989586621680486145) (m6989586621680486144 b6989586621680486146) #

Instances

(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldrMSym2 d1 d2 t :: TyFun (t a) (m b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldrMSym2 d1 d2 t) #
SuppressUnusedWarnings (FoldrMSym2 a6989586621680486786 a6989586621680486785 t6989586621680486143 :: TyFun (t6989586621680486143 a6989586621680486145) (m6989586621680486144 b6989586621680486146) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldrMSym2 a6989586621680486786 a6989586621680486785 t :: TyFun (t a) (m b) -> Type) (a6989586621680486787 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldrMSym2 a6989586621680486786 a6989586621680486785 t :: TyFun (t a) (m b) -> Type) (a6989586621680486787 :: t a) = FoldrM a6989586621680486786 a6989586621680486785 a6989586621680486787

type FoldrMSym3 (a6989586621680486785 :: (~>) a6989586621680486145 ((~>) b6989586621680486146 (m6989586621680486144 b6989586621680486146))) (a6989586621680486786 :: b6989586621680486146) (a6989586621680486787 :: t6989586621680486143 a6989586621680486145) = FoldrM a6989586621680486785 a6989586621680486786 a6989586621680486787 #

data FoldlMSym0 :: forall a6989586621680486142 b6989586621680486141 m6989586621680486140 t6989586621680486139. (~>) ((~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) ((~>) b6989586621680486141 ((~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141))) #

Instances

(SFoldable t, SMonad m) => SingI (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing FoldlMSym0 #
SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b6989586621680486141 ~> (a6989586621680486142 ~> m6989586621680486140 b6989586621680486141)) (b6989586621680486141 ~> (t6989586621680486139 a6989586621680486142 ~> m6989586621680486140 b6989586621680486141)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldlMSym0 :: TyFun (b6989586621680486141 ~> (a6989586621680486142 ~> m6989586621680486140 b6989586621680486141)) (b6989586621680486141 ~> (t6989586621680486139 a6989586621680486142 ~> m6989586621680486140 b6989586621680486141)) -> Type) (a6989586621680486763 :: b6989586621680486141 ~> (a6989586621680486142 ~> m6989586621680486140 b6989586621680486141)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym0 :: TyFun (b6989586621680486141 ~> (a6989586621680486142 ~> m6989586621680486140 b6989586621680486141)) (b6989586621680486141 ~> (t6989586621680486139 a6989586621680486142 ~> m6989586621680486140 b6989586621680486141)) -> Type) (a6989586621680486763 :: b6989586621680486141 ~> (a6989586621680486142 ~> m6989586621680486140 b6989586621680486141)) = (FoldlMSym1 a6989586621680486763 t6989586621680486139 :: TyFun b6989586621680486141 (t6989586621680486139 a6989586621680486142 ~> m6989586621680486140 b6989586621680486141) -> Type)

data FoldlMSym1 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) :: forall t6989586621680486139. (~>) b6989586621680486141 ((~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141)) #

Instances

(SFoldable t, SMonad m, SingI d) => SingI (FoldlMSym1 d t :: TyFun b (t a ~> m b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldlMSym1 d t) #
SuppressUnusedWarnings (FoldlMSym1 a6989586621680486763 t6989586621680486139 :: TyFun b6989586621680486141 (t6989586621680486139 a6989586621680486142 ~> m6989586621680486140 b6989586621680486141) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldlMSym1 a6989586621680486763 t6989586621680486139 :: TyFun b6989586621680486141 (t6989586621680486139 a6989586621680486142 ~> m6989586621680486140 b6989586621680486141) -> Type) (a6989586621680486764 :: b6989586621680486141) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym1 a6989586621680486763 t6989586621680486139 :: TyFun b6989586621680486141 (t6989586621680486139 a6989586621680486142 ~> m6989586621680486140 b6989586621680486141) -> Type) (a6989586621680486764 :: b6989586621680486141) = (FoldlMSym2 a6989586621680486763 a6989586621680486764 t6989586621680486139 :: TyFun (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141) -> Type)

data FoldlMSym2 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) (a6989586621680486764 :: b6989586621680486141) :: forall t6989586621680486139. (~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141) #

Instances

(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 t :: TyFun (t a) (m b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldlMSym2 d1 d2 t) #
SuppressUnusedWarnings (FoldlMSym2 a6989586621680486764 a6989586621680486763 t6989586621680486139 :: TyFun (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldlMSym2 a6989586621680486764 a6989586621680486763 t :: TyFun (t a) (m b) -> Type) (a6989586621680486765 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym2 a6989586621680486764 a6989586621680486763 t :: TyFun (t a) (m b) -> Type) (a6989586621680486765 :: t a) = FoldlM a6989586621680486764 a6989586621680486763 a6989586621680486765

type FoldlMSym3 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) (a6989586621680486764 :: b6989586621680486141) (a6989586621680486765 :: t6989586621680486139 a6989586621680486142) = FoldlM a6989586621680486763 a6989586621680486764 a6989586621680486765 #

data Traverse_Sym0 :: forall a6989586621680486137 b6989586621680486138 f6989586621680486136 t6989586621680486135. (~>) ((~>) a6989586621680486137 (f6989586621680486136 b6989586621680486138)) ((~>) (t6989586621680486135 a6989586621680486137) (f6989586621680486136 ())) #

Instances

(SFoldable t, SApplicative f) => SingI (Traverse_Sym0 :: TyFun (a ~> f b) (t a ~> f ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing Traverse_Sym0 #
SuppressUnusedWarnings (Traverse_Sym0 :: TyFun (a6989586621680486137 ~> f6989586621680486136 b6989586621680486138) (t6989586621680486135 a6989586621680486137 ~> f6989586621680486136 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Traverse_Sym0 :: TyFun (a6989586621680486137 ~> f6989586621680486136 b6989586621680486138) (t6989586621680486135 a6989586621680486137 ~> f6989586621680486136 ()) -> Type) (a6989586621680486745 :: a6989586621680486137 ~> f6989586621680486136 b6989586621680486138) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Traverse_Sym0 :: TyFun (a6989586621680486137 ~> f6989586621680486136 b6989586621680486138) (t6989586621680486135 a6989586621680486137 ~> f6989586621680486136 ()) -> Type) (a6989586621680486745 :: a6989586621680486137 ~> f6989586621680486136 b6989586621680486138) = (Traverse_Sym1 a6989586621680486745 t6989586621680486135 :: TyFun (t6989586621680486135 a6989586621680486137) (f6989586621680486136 ()) -> Type)

data Traverse_Sym1 (a6989586621680486745 :: (~>) a6989586621680486137 (f6989586621680486136 b6989586621680486138)) :: forall t6989586621680486135. (~>) (t6989586621680486135 a6989586621680486137) (f6989586621680486136 ()) #

Instances

(SFoldable t, SApplicative f, SingI d) => SingI (Traverse_Sym1 d t :: TyFun (t a) (f ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (Traverse_Sym1 d t) #
SuppressUnusedWarnings (Traverse_Sym1 a6989586621680486745 t6989586621680486135 :: TyFun (t6989586621680486135 a6989586621680486137) (f6989586621680486136 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Traverse_Sym1 a6989586621680486745 t :: TyFun (t a) (f ()) -> Type) (a6989586621680486746 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Traverse_Sym1 a6989586621680486745 t :: TyFun (t a) (f ()) -> Type) (a6989586621680486746 :: t a) = Traverse_ a6989586621680486745 a6989586621680486746

type Traverse_Sym2 (a6989586621680486745 :: (~>) a6989586621680486137 (f6989586621680486136 b6989586621680486138)) (a6989586621680486746 :: t6989586621680486135 a6989586621680486137) = Traverse_ a6989586621680486745 a6989586621680486746 #

data For_Sym0 :: forall a6989586621680486133 b6989586621680486134 f6989586621680486132 t6989586621680486131. (~>) (t6989586621680486131 a6989586621680486133) ((~>) ((~>) a6989586621680486133 (f6989586621680486132 b6989586621680486134)) (f6989586621680486132 ())) #

Instances

(SFoldable t, SApplicative f) => SingI (For_Sym0 :: TyFun (t a) ((a ~> f b) ~> f ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing For_Sym0 #
SuppressUnusedWarnings (For_Sym0 :: TyFun (t6989586621680486131 a6989586621680486133) ((a6989586621680486133 ~> f6989586621680486132 b6989586621680486134) ~> f6989586621680486132 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (For_Sym0 :: TyFun (t6989586621680486131 a6989586621680486133) ((a6989586621680486133 ~> f6989586621680486132 b6989586621680486134) ~> f6989586621680486132 ()) -> Type) (a6989586621680486757 :: t6989586621680486131 a6989586621680486133) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (For_Sym0 :: TyFun (t6989586621680486131 a6989586621680486133) ((a6989586621680486133 ~> f6989586621680486132 b6989586621680486134) ~> f6989586621680486132 ()) -> Type) (a6989586621680486757 :: t6989586621680486131 a6989586621680486133) = (For_Sym1 a6989586621680486757 b6989586621680486134 f6989586621680486132 :: TyFun (a6989586621680486133 ~> f6989586621680486132 b6989586621680486134) (f6989586621680486132 ()) -> Type)

data For_Sym1 (a6989586621680486757 :: t6989586621680486131 a6989586621680486133) :: forall b6989586621680486134 f6989586621680486132. (~>) ((~>) a6989586621680486133 (f6989586621680486132 b6989586621680486134)) (f6989586621680486132 ()) #

Instances

(SFoldable t, SApplicative f, SingI d) => SingI (For_Sym1 d b f :: TyFun (a ~> f b) (f ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (For_Sym1 d b f) #
SuppressUnusedWarnings (For_Sym1 a6989586621680486757 b6989586621680486134 f6989586621680486132 :: TyFun (a6989586621680486133 ~> f6989586621680486132 b6989586621680486134) (f6989586621680486132 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (For_Sym1 a6989586621680486757 b f :: TyFun (a ~> f b) (f ()) -> Type) (a6989586621680486758 :: a ~> f b) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (For_Sym1 a6989586621680486757 b f :: TyFun (a ~> f b) (f ()) -> Type) (a6989586621680486758 :: a ~> f b) = For_ a6989586621680486757 a6989586621680486758

type For_Sym2 (a6989586621680486757 :: t6989586621680486131 a6989586621680486133) (a6989586621680486758 :: (~>) a6989586621680486133 (f6989586621680486132 b6989586621680486134)) = For_ a6989586621680486757 a6989586621680486758 #

data SequenceA_Sym0 :: forall a6989586621680486122 f6989586621680486121 t6989586621680486120. (~>) (t6989586621680486120 (f6989586621680486121 a6989586621680486122)) (f6989586621680486121 ()) #

Instances

(SFoldable t, SApplicative f) => SingI (SequenceA_Sym0 :: TyFun (t (f a)) (f ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing SequenceA_Sym0 #
SuppressUnusedWarnings (SequenceA_Sym0 :: TyFun (t6989586621680486120 (f6989586621680486121 a6989586621680486122)) (f6989586621680486121 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (SequenceA_Sym0 :: TyFun (t (f a)) (f ()) -> Type) (a6989586621680486724 :: t (f a)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (SequenceA_Sym0 :: TyFun (t (f a)) (f ()) -> Type) (a6989586621680486724 :: t (f a)) = SequenceA_ a6989586621680486724

type SequenceA_Sym1 (a6989586621680486724 :: t6989586621680486120 (f6989586621680486121 a6989586621680486122)) = SequenceA_ a6989586621680486724 #

data AsumSym0 :: forall a6989586621680486116 f6989586621680486115 t6989586621680486114. (~>) (t6989586621680486114 (f6989586621680486115 a6989586621680486116)) (f6989586621680486115 a6989586621680486116) #

Instances

(SFoldable t, SAlternative f) => SingI (AsumSym0 :: TyFun (t (f a)) (f a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing AsumSym0 #
SuppressUnusedWarnings (AsumSym0 :: TyFun (t6989586621680486114 (f6989586621680486115 a6989586621680486116)) (f6989586621680486115 a6989586621680486116) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (AsumSym0 :: TyFun (t (f a)) (f a) -> Type) (a6989586621680486709 :: t (f a)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (AsumSym0 :: TyFun (t (f a)) (f a) -> Type) (a6989586621680486709 :: t (f a)) = Asum a6989586621680486709

type AsumSym1 (a6989586621680486709 :: t6989586621680486114 (f6989586621680486115 a6989586621680486116)) = Asum a6989586621680486709 #

data MapM_Sym0 :: forall a6989586621680486129 b6989586621680486130 m6989586621680486128 t6989586621680486127. (~>) ((~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) ((~>) (t6989586621680486127 a6989586621680486129) (m6989586621680486128 ())) #

Instances

(SFoldable t, SMonad m) => SingI (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing MapM_Sym0 #
SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a6989586621680486129 ~> m6989586621680486128 b6989586621680486130) (t6989586621680486127 a6989586621680486129 ~> m6989586621680486128 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (MapM_Sym0 :: TyFun (a6989586621680486129 ~> m6989586621680486128 b6989586621680486130) (t6989586621680486127 a6989586621680486129 ~> m6989586621680486128 ()) -> Type) (a6989586621680486727 :: a6989586621680486129 ~> m6989586621680486128 b6989586621680486130) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MapM_Sym0 :: TyFun (a6989586621680486129 ~> m6989586621680486128 b6989586621680486130) (t6989586621680486127 a6989586621680486129 ~> m6989586621680486128 ()) -> Type) (a6989586621680486727 :: a6989586621680486129 ~> m6989586621680486128 b6989586621680486130) = (MapM_Sym1 a6989586621680486727 t6989586621680486127 :: TyFun (t6989586621680486127 a6989586621680486129) (m6989586621680486128 ()) -> Type)

data MapM_Sym1 (a6989586621680486727 :: (~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) :: forall t6989586621680486127. (~>) (t6989586621680486127 a6989586621680486129) (m6989586621680486128 ()) #

Instances

(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d t :: TyFun (t a) (m ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (MapM_Sym1 d t) #
SuppressUnusedWarnings (MapM_Sym1 a6989586621680486727 t6989586621680486127 :: TyFun (t6989586621680486127 a6989586621680486129) (m6989586621680486128 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (MapM_Sym1 a6989586621680486727 t :: TyFun (t a) (m ()) -> Type) (a6989586621680486728 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MapM_Sym1 a6989586621680486727 t :: TyFun (t a) (m ()) -> Type) (a6989586621680486728 :: t a) = MapM_ a6989586621680486727 a6989586621680486728

type MapM_Sym2 (a6989586621680486727 :: (~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) (a6989586621680486728 :: t6989586621680486127 a6989586621680486129) = MapM_ a6989586621680486727 a6989586621680486728 #

data ForM_Sym0 :: forall a6989586621680486125 b6989586621680486126 m6989586621680486124 t6989586621680486123. (~>) (t6989586621680486123 a6989586621680486125) ((~>) ((~>) a6989586621680486125 (m6989586621680486124 b6989586621680486126)) (m6989586621680486124 ())) #

Instances

(SFoldable t, SMonad m) => SingI (ForM_Sym0 :: TyFun (t a) ((a ~> m b) ~> m ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing ForM_Sym0 #
SuppressUnusedWarnings (ForM_Sym0 :: TyFun (t6989586621680486123 a6989586621680486125) ((a6989586621680486125 ~> m6989586621680486124 b6989586621680486126) ~> m6989586621680486124 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (ForM_Sym0 :: TyFun (t6989586621680486123 a6989586621680486125) ((a6989586621680486125 ~> m6989586621680486124 b6989586621680486126) ~> m6989586621680486124 ()) -> Type) (a6989586621680486739 :: t6989586621680486123 a6989586621680486125) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (ForM_Sym0 :: TyFun (t6989586621680486123 a6989586621680486125) ((a6989586621680486125 ~> m6989586621680486124 b6989586621680486126) ~> m6989586621680486124 ()) -> Type) (a6989586621680486739 :: t6989586621680486123 a6989586621680486125) = (ForM_Sym1 a6989586621680486739 b6989586621680486126 m6989586621680486124 :: TyFun (a6989586621680486125 ~> m6989586621680486124 b6989586621680486126) (m6989586621680486124 ()) -> Type)

data ForM_Sym1 (a6989586621680486739 :: t6989586621680486123 a6989586621680486125) :: forall b6989586621680486126 m6989586621680486124. (~>) ((~>) a6989586621680486125 (m6989586621680486124 b6989586621680486126)) (m6989586621680486124 ()) #

Instances

(SFoldable t, SMonad m, SingI d) => SingI (ForM_Sym1 d b m :: TyFun (a ~> m b) (m ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (ForM_Sym1 d b m) #
SuppressUnusedWarnings (ForM_Sym1 a6989586621680486739 b6989586621680486126 m6989586621680486124 :: TyFun (a6989586621680486125 ~> m6989586621680486124 b6989586621680486126) (m6989586621680486124 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (ForM_Sym1 a6989586621680486739 b m :: TyFun (a ~> m b) (m ()) -> Type) (a6989586621680486740 :: a ~> m b) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (ForM_Sym1 a6989586621680486739 b m :: TyFun (a ~> m b) (m ()) -> Type) (a6989586621680486740 :: a ~> m b) = ForM_ a6989586621680486739 a6989586621680486740

type ForM_Sym2 (a6989586621680486739 :: t6989586621680486123 a6989586621680486125) (a6989586621680486740 :: (~>) a6989586621680486125 (m6989586621680486124 b6989586621680486126)) = ForM_ a6989586621680486739 a6989586621680486740 #

data Sequence_Sym0 :: forall a6989586621680486119 m6989586621680486118 t6989586621680486117. (~>) (t6989586621680486117 (m6989586621680486118 a6989586621680486119)) (m6989586621680486118 ()) #

Instances

(SFoldable t, SMonad m) => SingI (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing Sequence_Sym0 #
SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t6989586621680486117 (m6989586621680486118 a6989586621680486119)) (m6989586621680486118 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680486719 :: t (m a)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680486719 :: t (m a)) = Sequence_ a6989586621680486719

type Sequence_Sym1 (a6989586621680486719 :: t6989586621680486117 (m6989586621680486118 a6989586621680486119)) = Sequence_ a6989586621680486719 #

data MsumSym0 :: forall a6989586621680486113 m6989586621680486112 t6989586621680486111. (~>) (t6989586621680486111 (m6989586621680486112 a6989586621680486113)) (m6989586621680486112 a6989586621680486113) #

Instances

(SFoldable t, SMonadPlus m) => SingI (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing MsumSym0 #
SuppressUnusedWarnings (MsumSym0 :: TyFun (t6989586621680486111 (m6989586621680486112 a6989586621680486113)) (m6989586621680486112 a6989586621680486113) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680486714 :: t (m a)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680486714 :: t (m a)) = Msum a6989586621680486714

type MsumSym1 (a6989586621680486714 :: t6989586621680486111 (m6989586621680486112 a6989586621680486113)) = Msum a6989586621680486714 #

data ConcatSym0 :: forall a6989586621680486110 t6989586621680486109. (~>) (t6989586621680486109 [a6989586621680486110]) [a6989586621680486110] #

Instances

SFoldable t => SingI (ConcatSym0 :: TyFun (t [a]) [a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing ConcatSym0 #
SuppressUnusedWarnings (ConcatSym0 :: TyFun (t6989586621680486109 [a6989586621680486110]) [a6989586621680486110] -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (ConcatSym0 :: TyFun (t [a]) [a] -> Type) (a6989586621680486695 :: t [a]) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (ConcatSym0 :: TyFun (t [a]) [a] -> Type) (a6989586621680486695 :: t [a]) = Concat a6989586621680486695

type ConcatSym1 (a6989586621680486695 :: t6989586621680486109 [a6989586621680486110]) = Concat a6989586621680486695 #

data ConcatMapSym0 :: forall a6989586621680486107 b6989586621680486108 t6989586621680486106. (~>) ((~>) a6989586621680486107 [b6989586621680486108]) ((~>) (t6989586621680486106 a6989586621680486107) [b6989586621680486108]) #

Instances

SFoldable t => SingI (ConcatMapSym0 :: TyFun (a ~> [b]) (t a ~> [b]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing ConcatMapSym0 #
SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (a6989586621680486107 ~> [b6989586621680486108]) (t6989586621680486106 a6989586621680486107 ~> [b6989586621680486108]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (ConcatMapSym0 :: TyFun (a6989586621680486107 ~> [b6989586621680486108]) (t6989586621680486106 a6989586621680486107 ~> [b6989586621680486108]) -> Type) (a6989586621680486679 :: a6989586621680486107 ~> [b6989586621680486108]) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (ConcatMapSym0 :: TyFun (a6989586621680486107 ~> [b6989586621680486108]) (t6989586621680486106 a6989586621680486107 ~> [b6989586621680486108]) -> Type) (a6989586621680486679 :: a6989586621680486107 ~> [b6989586621680486108]) = (ConcatMapSym1 a6989586621680486679 t6989586621680486106 :: TyFun (t6989586621680486106 a6989586621680486107) [b6989586621680486108] -> Type)

data ConcatMapSym1 (a6989586621680486679 :: (~>) a6989586621680486107 [b6989586621680486108]) :: forall t6989586621680486106. (~>) (t6989586621680486106 a6989586621680486107) [b6989586621680486108] #

Instances

(SFoldable t, SingI d) => SingI (ConcatMapSym1 d t :: TyFun (t a) [b] -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (ConcatMapSym1 d t) #
SuppressUnusedWarnings (ConcatMapSym1 a6989586621680486679 t6989586621680486106 :: TyFun (t6989586621680486106 a6989586621680486107) [b6989586621680486108] -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (ConcatMapSym1 a6989586621680486679 t :: TyFun (t a) [b] -> Type) (a6989586621680486680 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (ConcatMapSym1 a6989586621680486679 t :: TyFun (t a) [b] -> Type) (a6989586621680486680 :: t a) = ConcatMap a6989586621680486679 a6989586621680486680

type ConcatMapSym2 (a6989586621680486679 :: (~>) a6989586621680486107 [b6989586621680486108]) (a6989586621680486680 :: t6989586621680486106 a6989586621680486107) = ConcatMap a6989586621680486679 a6989586621680486680 #

data AndSym0 :: forall t6989586621680486105. (~>) (t6989586621680486105 Bool) Bool #

Instances

SFoldable t => SingI (AndSym0 :: TyFun (t Bool) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing AndSym0 #
SuppressUnusedWarnings (AndSym0 :: TyFun (t6989586621680486105 Bool) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (AndSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680486670 :: t Bool) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (AndSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680486670 :: t Bool) = And a6989586621680486670

type AndSym1 (a6989586621680486670 :: t6989586621680486105 Bool) = And a6989586621680486670 #

data OrSym0 :: forall t6989586621680486104. (~>) (t6989586621680486104 Bool) Bool #

Instances

SFoldable t => SingI (OrSym0 :: TyFun (t Bool) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing OrSym0 #
SuppressUnusedWarnings (OrSym0 :: TyFun (t6989586621680486104 Bool) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (OrSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680486661 :: t Bool) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (OrSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680486661 :: t Bool) = Or a6989586621680486661

type OrSym1 (a6989586621680486661 :: t6989586621680486104 Bool) = Or a6989586621680486661 #

data AnySym0 :: forall a6989586621680486103 t6989586621680486102. (~>) ((~>) a6989586621680486103 Bool) ((~>) (t6989586621680486102 a6989586621680486103) Bool) #

Instances

SFoldable t => SingI (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing AnySym0 #
SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621680486103 ~> Bool) (t6989586621680486102 a6989586621680486103 ~> Bool) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (AnySym0 :: TyFun (a6989586621680486103 ~> Bool) (t6989586621680486102 a6989586621680486103 ~> Bool) -> Type) (a6989586621680486648 :: a6989586621680486103 ~> Bool) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (AnySym0 :: TyFun (a6989586621680486103 ~> Bool) (t6989586621680486102 a6989586621680486103 ~> Bool) -> Type) (a6989586621680486648 :: a6989586621680486103 ~> Bool) = (AnySym1 a6989586621680486648 t6989586621680486102 :: TyFun (t6989586621680486102 a6989586621680486103) Bool -> Type)

data AnySym1 (a6989586621680486648 :: (~>) a6989586621680486103 Bool) :: forall t6989586621680486102. (~>) (t6989586621680486102 a6989586621680486103) Bool #

Instances

(SFoldable t, SingI d) => SingI (AnySym1 d t :: TyFun (t a) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (AnySym1 d t) #
SuppressUnusedWarnings (AnySym1 a6989586621680486648 t6989586621680486102 :: TyFun (t6989586621680486102 a6989586621680486103) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (AnySym1 a6989586621680486648 t :: TyFun (t a) Bool -> Type) (a6989586621680486649 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (AnySym1 a6989586621680486648 t :: TyFun (t a) Bool -> Type) (a6989586621680486649 :: t a) = Any a6989586621680486648 a6989586621680486649

type AnySym2 (a6989586621680486648 :: (~>) a6989586621680486103 Bool) (a6989586621680486649 :: t6989586621680486102 a6989586621680486103) = Any a6989586621680486648 a6989586621680486649 #

data AllSym0 :: forall a6989586621680486101 t6989586621680486100. (~>) ((~>) a6989586621680486101 Bool) ((~>) (t6989586621680486100 a6989586621680486101) Bool) #

Instances

SFoldable t => SingI (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing AllSym0 #
SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621680486101 ~> Bool) (t6989586621680486100 a6989586621680486101 ~> Bool) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (AllSym0 :: TyFun (a6989586621680486101 ~> Bool) (t6989586621680486100 a6989586621680486101 ~> Bool) -> Type) (a6989586621680486635 :: a6989586621680486101 ~> Bool) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (AllSym0 :: TyFun (a6989586621680486101 ~> Bool) (t6989586621680486100 a6989586621680486101 ~> Bool) -> Type) (a6989586621680486635 :: a6989586621680486101 ~> Bool) = (AllSym1 a6989586621680486635 t6989586621680486100 :: TyFun (t6989586621680486100 a6989586621680486101) Bool -> Type)

data AllSym1 (a6989586621680486635 :: (~>) a6989586621680486101 Bool) :: forall t6989586621680486100. (~>) (t6989586621680486100 a6989586621680486101) Bool #

Instances

(SFoldable t, SingI d) => SingI (AllSym1 d t :: TyFun (t a) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (AllSym1 d t) #
SuppressUnusedWarnings (AllSym1 a6989586621680486635 t6989586621680486100 :: TyFun (t6989586621680486100 a6989586621680486101) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (AllSym1 a6989586621680486635 t :: TyFun (t a) Bool -> Type) (a6989586621680486636 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (AllSym1 a6989586621680486635 t :: TyFun (t a) Bool -> Type) (a6989586621680486636 :: t a) = All a6989586621680486635 a6989586621680486636

type AllSym2 (a6989586621680486635 :: (~>) a6989586621680486101 Bool) (a6989586621680486636 :: t6989586621680486100 a6989586621680486101) = All a6989586621680486635 a6989586621680486636 #

data MaximumBySym0 :: forall a6989586621680486099 t6989586621680486098. (~>) ((~>) a6989586621680486099 ((~>) a6989586621680486099 Ordering)) ((~>) (t6989586621680486098 a6989586621680486099) a6989586621680486099) #

Instances

SFoldable t => SingI (MaximumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing MaximumBySym0 #
SuppressUnusedWarnings (MaximumBySym0 :: TyFun (a6989586621680486099 ~> (a6989586621680486099 ~> Ordering)) (t6989586621680486098 a6989586621680486099 ~> a6989586621680486099) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (MaximumBySym0 :: TyFun (a6989586621680486099 ~> (a6989586621680486099 ~> Ordering)) (t6989586621680486098 a6989586621680486099 ~> a6989586621680486099) -> Type) (a6989586621680486610 :: a6989586621680486099 ~> (a6989586621680486099 ~> Ordering)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MaximumBySym0 :: TyFun (a6989586621680486099 ~> (a6989586621680486099 ~> Ordering)) (t6989586621680486098 a6989586621680486099 ~> a6989586621680486099) -> Type) (a6989586621680486610 :: a6989586621680486099 ~> (a6989586621680486099 ~> Ordering)) = (MaximumBySym1 a6989586621680486610 t6989586621680486098 :: TyFun (t6989586621680486098 a6989586621680486099) a6989586621680486099 -> Type)

data MaximumBySym1 (a6989586621680486610 :: (~>) a6989586621680486099 ((~>) a6989586621680486099 Ordering)) :: forall t6989586621680486098. (~>) (t6989586621680486098 a6989586621680486099) a6989586621680486099 #

Instances

(SFoldable t, SingI d) => SingI (MaximumBySym1 d t :: TyFun (t a) a -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (MaximumBySym1 d t) #
SuppressUnusedWarnings (MaximumBySym1 a6989586621680486610 t6989586621680486098 :: TyFun (t6989586621680486098 a6989586621680486099) a6989586621680486099 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (MaximumBySym1 a6989586621680486610 t :: TyFun (t a) a -> Type) (a6989586621680486611 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MaximumBySym1 a6989586621680486610 t :: TyFun (t a) a -> Type) (a6989586621680486611 :: t a) = MaximumBy a6989586621680486610 a6989586621680486611

type MaximumBySym2 (a6989586621680486610 :: (~>) a6989586621680486099 ((~>) a6989586621680486099 Ordering)) (a6989586621680486611 :: t6989586621680486098 a6989586621680486099) = MaximumBy a6989586621680486610 a6989586621680486611 #

data MinimumBySym0 :: forall a6989586621680486097 t6989586621680486096. (~>) ((~>) a6989586621680486097 ((~>) a6989586621680486097 Ordering)) ((~>) (t6989586621680486096 a6989586621680486097) a6989586621680486097) #

Instances

SFoldable t => SingI (MinimumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing MinimumBySym0 #
SuppressUnusedWarnings (MinimumBySym0 :: TyFun (a6989586621680486097 ~> (a6989586621680486097 ~> Ordering)) (t6989586621680486096 a6989586621680486097 ~> a6989586621680486097) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (MinimumBySym0 :: TyFun (a6989586621680486097 ~> (a6989586621680486097 ~> Ordering)) (t6989586621680486096 a6989586621680486097 ~> a6989586621680486097) -> Type) (a6989586621680486585 :: a6989586621680486097 ~> (a6989586621680486097 ~> Ordering)) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MinimumBySym0 :: TyFun (a6989586621680486097 ~> (a6989586621680486097 ~> Ordering)) (t6989586621680486096 a6989586621680486097 ~> a6989586621680486097) -> Type) (a6989586621680486585 :: a6989586621680486097 ~> (a6989586621680486097 ~> Ordering)) = (MinimumBySym1 a6989586621680486585 t6989586621680486096 :: TyFun (t6989586621680486096 a6989586621680486097) a6989586621680486097 -> Type)

data MinimumBySym1 (a6989586621680486585 :: (~>) a6989586621680486097 ((~>) a6989586621680486097 Ordering)) :: forall t6989586621680486096. (~>) (t6989586621680486096 a6989586621680486097) a6989586621680486097 #

Instances

(SFoldable t, SingI d) => SingI (MinimumBySym1 d t :: TyFun (t a) a -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (MinimumBySym1 d t) #
SuppressUnusedWarnings (MinimumBySym1 a6989586621680486585 t6989586621680486096 :: TyFun (t6989586621680486096 a6989586621680486097) a6989586621680486097 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (MinimumBySym1 a6989586621680486585 t :: TyFun (t a) a -> Type) (a6989586621680486586 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MinimumBySym1 a6989586621680486585 t :: TyFun (t a) a -> Type) (a6989586621680486586 :: t a) = MinimumBy a6989586621680486585 a6989586621680486586

type MinimumBySym2 (a6989586621680486585 :: (~>) a6989586621680486097 ((~>) a6989586621680486097 Ordering)) (a6989586621680486586 :: t6989586621680486096 a6989586621680486097) = MinimumBy a6989586621680486585 a6989586621680486586 #

data NotElemSym0 :: forall a6989586621680486095 t6989586621680486094. (~>) a6989586621680486095 ((~>) (t6989586621680486094 a6989586621680486095) Bool) #

Instances

(SFoldable t, SEq a) => SingI (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing NotElemSym0 #
SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621680486095 (t6989586621680486094 a6989586621680486095 ~> Bool) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (NotElemSym0 :: TyFun a6989586621680486095 (t6989586621680486094 a6989586621680486095 ~> Bool) -> Type) (a6989586621680486577 :: a6989586621680486095) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (NotElemSym0 :: TyFun a6989586621680486095 (t6989586621680486094 a6989586621680486095 ~> Bool) -> Type) (a6989586621680486577 :: a6989586621680486095) = (NotElemSym1 a6989586621680486577 t6989586621680486094 :: TyFun (t6989586621680486094 a6989586621680486095) Bool -> Type)

data NotElemSym1 (a6989586621680486577 :: a6989586621680486095) :: forall t6989586621680486094. (~>) (t6989586621680486094 a6989586621680486095) Bool #

Instances

(SFoldable t, SEq a, SingI d) => SingI (NotElemSym1 d t :: TyFun (t a) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (NotElemSym1 d t) #
SuppressUnusedWarnings (NotElemSym1 a6989586621680486577 t6989586621680486094 :: TyFun (t6989586621680486094 a6989586621680486095) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (NotElemSym1 a6989586621680486577 t :: TyFun (t a) Bool -> Type) (a6989586621680486578 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (NotElemSym1 a6989586621680486577 t :: TyFun (t a) Bool -> Type) (a6989586621680486578 :: t a) = NotElem a6989586621680486577 a6989586621680486578

type NotElemSym2 (a6989586621680486577 :: a6989586621680486095) (a6989586621680486578 :: t6989586621680486094 a6989586621680486095) = NotElem a6989586621680486577 a6989586621680486578 #

data FindSym0 :: forall a6989586621680486093 t6989586621680486092. (~>) ((~>) a6989586621680486093 Bool) ((~>) (t6989586621680486092 a6989586621680486093) (Maybe a6989586621680486093)) #

Instances

SFoldable t => SingI (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing FindSym0 #
SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680486093 ~> Bool) (t6989586621680486092 a6989586621680486093 ~> Maybe a6989586621680486093) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FindSym0 :: TyFun (a6989586621680486093 ~> Bool) (t6989586621680486092 a6989586621680486093 ~> Maybe a6989586621680486093) -> Type) (a6989586621680486550 :: a6989586621680486093 ~> Bool) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FindSym0 :: TyFun (a6989586621680486093 ~> Bool) (t6989586621680486092 a6989586621680486093 ~> Maybe a6989586621680486093) -> Type) (a6989586621680486550 :: a6989586621680486093 ~> Bool) = (FindSym1 a6989586621680486550 t6989586621680486092 :: TyFun (t6989586621680486092 a6989586621680486093) (Maybe a6989586621680486093) -> Type)

data FindSym1 (a6989586621680486550 :: (~>) a6989586621680486093 Bool) :: forall t6989586621680486092. (~>) (t6989586621680486092 a6989586621680486093) (Maybe a6989586621680486093) #

Instances

(SFoldable t, SingI d) => SingI (FindSym1 d t :: TyFun (t a) (Maybe a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FindSym1 d t) #
SuppressUnusedWarnings (FindSym1 a6989586621680486550 t6989586621680486092 :: TyFun (t6989586621680486092 a6989586621680486093) (Maybe a6989586621680486093) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FindSym1 a6989586621680486550 t :: TyFun (t a) (Maybe a) -> Type) (a6989586621680486551 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FindSym1 a6989586621680486550 t :: TyFun (t a) (Maybe a) -> Type) (a6989586621680486551 :: t a) = Find a6989586621680486550 a6989586621680486551

type FindSym2 (a6989586621680486550 :: (~>) a6989586621680486093 Bool) (a6989586621680486551 :: t6989586621680486092 a6989586621680486093) = Find a6989586621680486550 a6989586621680486551 #