Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Foldable
.
- class Sym_Foldable term where
- tyFoldable :: Source src => Type src vs a -> Type src vs (Foldable a)
- t0 :: Source src => LenInj vs => KindInj (K t) => Type src (Proxy t ': vs) t
- t1 :: Source src => LenInj vs => KindInj (K t) => Type src (a ': (Proxy t ': vs)) t
- t2 :: Source src => LenInj vs => KindInj (K t) => Type src (a ': (b ': (Proxy t ': vs))) t
- teFoldable_foldMap :: TermDef Foldable '[Proxy a, Proxy t, Proxy m] ((Foldable t # Monoid m) #> ((a -> m) -> t a -> m))
- teFoldable_elem :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Eq a) #> (a -> t a -> Bool))
- teFoldable_toList :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t #> (t a -> [a]))
- teFoldable_concat :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t #> (t [a] -> [a]))
- teFoldable_foldr :: TermDef Foldable '[Proxy a, Proxy b, Proxy t] (Foldable t #> ((a -> b -> b) -> b -> t a -> b))
- teFoldable_foldr' :: TermDef Foldable '[Proxy a, Proxy b, Proxy t] (Foldable t #> ((a -> b -> b) -> b -> t a -> b))
- teFoldable_foldl :: TermDef Foldable '[Proxy a, Proxy b, Proxy t] (Foldable t #> ((b -> a -> b) -> b -> t a -> b))
- teFoldable_length :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t #> (t a -> Int))
- teFoldable_null :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t #> (t a -> Bool))
- teFoldable_minimum :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Ord a) #> (t a -> a))
- teFoldable_maximum :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Ord a) #> (t a -> a))
- teFoldable_sum :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Num a) #> (t a -> a))
- teFoldable_product :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Num a) #> (t a -> a))
- teFoldable_all :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t #> ((a -> Bool) -> t a -> Bool))
- teFoldable_any :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t #> ((a -> Bool) -> t a -> Bool))
- teFoldable_and :: TermDef Foldable '[Proxy t] (Foldable t #> (t Bool -> Bool))
- teFoldable_or :: TermDef Foldable '[Proxy t] (Foldable t #> (t Bool -> Bool))
- teFoldable_asum :: TermDef Foldable '[Proxy a, Proxy t, Proxy f] ((Foldable t # Alternative f) #> (t (f a) -> f a))
Class Sym_Foldable
class Sym_Foldable term where Source #
foldMap :: Foldable f => Monoid m => term (a -> m) -> term (f a) -> term m Source #
foldr :: Foldable f => term (a -> b -> b) -> term b -> term (f a) -> term b Source #
foldr' :: Foldable f => term (a -> b -> b) -> term b -> term (f a) -> term b Source #
foldl :: Foldable f => term (b -> a -> b) -> term b -> term (f a) -> term b Source #
foldl' :: Foldable f => term (b -> a -> b) -> term b -> term (f a) -> term b Source #
length :: Foldable f => term (f a) -> term Int Source #
null :: Foldable f => term (f a) -> term Bool Source #
minimum :: Foldable f => Ord a => term (f a) -> term a Source #
maximum :: Foldable f => Ord a => term (f a) -> term a Source #
elem :: Foldable f => Eq a => term a -> term (f a) -> term Bool infix 4 Source #
sum :: Foldable f => Num a => term (f a) -> term a Source #
product :: Foldable f => Num a => term (f a) -> term a Source #
toList :: Foldable f => term (f a) -> term [a] Source #
all :: Foldable f => term (a -> Bool) -> term (f a) -> term Bool Source #
and :: Foldable f => term (f Bool) -> term Bool Source #
any :: Foldable f => term (a -> Bool) -> term (f a) -> term Bool Source #
concat :: Foldable f => term (f [a]) -> term [a] Source #
concatMap :: Foldable f => term (a -> [b]) -> term (f a) -> term [b] Source #
find :: Foldable f => term (a -> Bool) -> term (f a) -> term (Maybe a) Source #
foldlM :: Foldable f => Monad m => term (b -> a -> m b) -> term b -> term (f a) -> term (m b) Source #
foldrM :: Foldable f => Monad m => term (a -> b -> m b) -> term b -> term (f a) -> term (m b) Source #
forM_ :: Foldable f => Monad m => term (f a) -> term (a -> m b) -> term (m ()) Source #
for_ :: Foldable f => Applicative p => term (f a) -> term (a -> p b) -> term (p ()) Source #
mapM_ :: Foldable f => Monad m => term (a -> m b) -> term (f a) -> term (m ()) Source #
maximumBy :: Foldable f => term (a -> a -> Ordering) -> term (f a) -> term a Source #
minimumBy :: Foldable f => term (a -> a -> Ordering) -> term (f a) -> term a Source #
notElem :: Foldable f => Eq a => term a -> term (f a) -> term Bool Source #
or :: Foldable f => term (f Bool) -> term Bool Source #
sequenceA_ :: Foldable f => Applicative p => term (f (p a)) -> term (p ()) Source #
sequence_ :: Foldable f => Monad m => term (f (m a)) -> term (m ()) Source #
traverse_ :: Foldable f => Applicative p => term (a -> p b) -> term (f a) -> term (p ()) Source #
asum :: Foldable f => Alternative p => term (f (p a)) -> term (p a) Source #
msum :: Foldable f => MonadPlus p => term (f (p a)) -> term (p a) Source #
foldMap :: Sym_Foldable (UnT term) => Trans term => Foldable f => Monoid m => term (a -> m) -> term (f a) -> term m Source #
foldr :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (a -> b -> b) -> term b -> term (f a) -> term b Source #
foldr' :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (a -> b -> b) -> term b -> term (f a) -> term b Source #
foldl :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (b -> a -> b) -> term b -> term (f a) -> term b Source #
foldl' :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (b -> a -> b) -> term b -> term (f a) -> term b Source #
length :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (f a) -> term Int Source #
null :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (f a) -> term Bool Source #
minimum :: Sym_Foldable (UnT term) => Trans term => Foldable f => Ord a => term (f a) -> term a Source #
maximum :: Sym_Foldable (UnT term) => Trans term => Foldable f => Ord a => term (f a) -> term a Source #
elem :: Sym_Foldable (UnT term) => Trans term => Foldable f => Eq a => term a -> term (f a) -> term Bool infix 4 Source #
sum :: Sym_Foldable (UnT term) => Trans term => Foldable f => Num a => term (f a) -> term a Source #
product :: Sym_Foldable (UnT term) => Trans term => Foldable f => Num a => term (f a) -> term a Source #
toList :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (f a) -> term [a] Source #
all :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (a -> Bool) -> term (f a) -> term Bool Source #
and :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (f Bool) -> term Bool Source #
any :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (a -> Bool) -> term (f a) -> term Bool Source #
concat :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (f [a]) -> term [a] Source #
concatMap :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (a -> [b]) -> term (f a) -> term [b] Source #
find :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (a -> Bool) -> term (f a) -> term (Maybe a) Source #
foldlM :: Sym_Foldable (UnT term) => Trans term => Foldable f => Monad m => term (b -> a -> m b) -> term b -> term (f a) -> term (m b) Source #
foldrM :: Sym_Foldable (UnT term) => Trans term => Foldable f => Monad m => term (a -> b -> m b) -> term b -> term (f a) -> term (m b) Source #
forM_ :: Sym_Foldable (UnT term) => Trans term => Foldable f => Monad m => term (f a) -> term (a -> m b) -> term (m ()) Source #
for_ :: Sym_Foldable (UnT term) => Trans term => Foldable f => Applicative p => term (f a) -> term (a -> p b) -> term (p ()) Source #
mapM_ :: Sym_Foldable (UnT term) => Trans term => Foldable f => Monad m => term (a -> m b) -> term (f a) -> term (m ()) Source #
maximumBy :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (a -> a -> Ordering) -> term (f a) -> term a Source #
minimumBy :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (a -> a -> Ordering) -> term (f a) -> term a Source #
notElem :: Sym_Foldable (UnT term) => Trans term => Foldable f => Eq a => term a -> term (f a) -> term Bool Source #
or :: Sym_Foldable (UnT term) => Trans term => Foldable f => term (f Bool) -> term Bool Source #
sequenceA_ :: Sym_Foldable (UnT term) => Trans term => Foldable f => Applicative p => term (f (p a)) -> term (p ()) Source #
sequence_ :: Sym_Foldable (UnT term) => Trans term => Foldable f => Monad m => term (f (m a)) -> term (m ()) Source #
traverse_ :: Sym_Foldable (UnT term) => Trans term => Foldable f => Applicative p => term (a -> p b) -> term (f a) -> term (p ()) Source #
asum :: Sym_Foldable (UnT term) => Trans term => Foldable f => Alternative m => term (f (m a)) -> term (m a) Source #
msum :: Sym_Foldable (UnT term) => Trans term => Foldable f => MonadPlus m => term (f (m a)) -> term (m a) Source #
Sym_Foldable Eval Source # | |
Sym_Foldable View Source # | |
(Sym_Foldable term, Sym_Lambda term) => Sym_Foldable (BetaT term) Source # | |
(Sym_Foldable r1, Sym_Foldable r2) => Sym_Foldable (Dup r1 r2) Source # | |
Type
s
Term
s
teFoldable_foldMap :: TermDef Foldable '[Proxy a, Proxy t, Proxy m] ((Foldable t # Monoid m) #> ((a -> m) -> t a -> m)) Source #
teFoldable_elem :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Eq a) #> (a -> t a -> Bool)) Source #
teFoldable_foldr :: TermDef Foldable '[Proxy a, Proxy b, Proxy t] (Foldable t #> ((a -> b -> b) -> b -> t a -> b)) Source #
teFoldable_foldr' :: TermDef Foldable '[Proxy a, Proxy b, Proxy t] (Foldable t #> ((a -> b -> b) -> b -> t a -> b)) Source #
teFoldable_foldl :: TermDef Foldable '[Proxy a, Proxy b, Proxy t] (Foldable t #> ((b -> a -> b) -> b -> t a -> b)) Source #
teFoldable_minimum :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Ord a) #> (t a -> a)) Source #
teFoldable_maximum :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Ord a) #> (t a -> a)) Source #
teFoldable_sum :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Num a) #> (t a -> a)) Source #
teFoldable_product :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Num a) #> (t a -> a)) Source #
teFoldable_all :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t #> ((a -> Bool) -> t a -> Bool)) Source #
teFoldable_any :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t #> ((a -> Bool) -> t a -> Bool)) Source #
teFoldable_asum :: TermDef Foldable '[Proxy a, Proxy t, Proxy f] ((Foldable t # Alternative f) #> (t (f a) -> f a)) Source #
Orphan instances
ClassInstancesFor ((* -> *) -> Constraint) Foldable Source # | |
TypeInstancesFor ((* -> *) -> Constraint) Foldable Source # | |
NameTyOf ((* -> *) -> Constraint) Foldable Source # | |
FixityOf ((* -> *) -> Constraint) Foldable Source # | |
(Source src, SymInj ((* -> *) -> Constraint) ss Foldable) => ModuleFor ((* -> *) -> Constraint) src ss Foldable Source # | |
Gram_Term_AtomsFor ((* -> *) -> Constraint) src ss g Foldable Source # | |