Moduleplutus-tx-1.70.0.0

PlutusTx.Foldable

valueasum :: (Foldable t, Alternative f) => t (f a) -> f a

valueconcat :: Foldable t => t [a] -> [a]

valueconcatMap :: Foldable t => (a -> [b]) -> t a -> [b]

valuefold :: (Foldable t, Monoid m) => t m -> m

valuefoldMap :: (Foldable t, Monoid m) => (a -> m) -> t a -> m

valuefoldl :: Foldable t => (b -> a -> b) -> b -> t a -> b

valuefor_ :: (Foldable t, Applicative f) => t a -> (a -> f b) -> f ()

valuelength :: Foldable t => t a -> Integer

valueproduct :: (Foldable t, MultiplicativeMonoid a) => t a -> a

valuesequenceA_ :: (Foldable t, Applicative f) => t (f a) -> f ()

valuesum :: (Foldable t, AdditiveMonoid a) => t a -> a

valuetoList :: Foldable t => t a -> [a]

valuetraverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()

classclass Foldable (t :: Type -> Type) where

Instances7Foldable, …