Language.Symantic.Lib.Foldable
Sym_Foldable
class Sym_Foldable term
Type
tyFoldable
t0
t1
t2
Term
teFoldable_foldMap
teFoldable_elem
teFoldable_toList
teFoldable_concat
teFoldable_foldr
teFoldable_foldr'
teFoldable_foldl
teFoldable_length
teFoldable_null
teFoldable_minimum
teFoldable_maximum
teFoldable_sum
teFoldable_product
teFoldable_all
teFoldable_any
teFoldable_and
teFoldable_or
teFoldable_asum