plutus-tx-1.60.0.0: Libraries for Plutus Tx and its prelude

Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Foldable

Contents

Applicative actions
Specialized folds
Other

Synopsis

class Foldable t where
- foldr :: (a -> b -> b) -> b -> t a -> b
traverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
for_ :: (Foldable t, Applicative f) => t a -> (a -> f b) -> f ()
sequenceA_ :: (Foldable t, Applicative f) => t (f a) -> f ()
asum :: (Foldable t, Alternative f) => t (f a) -> f a
concat :: Foldable t => t [a] -> [a]
concatMap :: Foldable t => (a -> [b]) -> t a -> [b]
foldMap :: (Foldable t, Monoid m) => (a -> m) -> t a -> m
fold :: (Foldable t, Monoid m) => t m -> m
foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b
toList :: Foldable t => t a -> [a]
length :: Foldable t => t a -> Integer
sum :: (Foldable t, AdditiveMonoid a) => t a -> a
product :: (Foldable t, MultiplicativeMonoid a) => t a -> a

Documentation

class Foldable t where #

Plutus Tx version of Foldable.

Methods

foldr :: (a -> b -> b) -> b -> t a -> b #

Plutus Tx version of foldr.

Instances

Instances details

Foldable Identity #
Instance details Defined in PlutusTx.Foldable Methods foldr :: (a -> b -> b) -> b -> Identity a -> b #
Foldable Maybe #
Instance details Defined in PlutusTx.Foldable Methods foldr :: (a -> b -> b) -> b -> Maybe a -> b #
Foldable List #
Instance details Defined in PlutusTx.Foldable Methods foldr :: (a -> b -> b) -> b -> [a] -> b #
Foldable (Either c) #
Instance details Defined in PlutusTx.Foldable Methods foldr :: (a -> b -> b) -> b -> Either c a -> b #
Foldable (Map k) #
Instance details Defined in PlutusTx.AssocMap Methods foldr :: (a -> b -> b) -> b -> Map k a -> b #
Foldable ((,) c) #
Instance details Defined in PlutusTx.Foldable Methods foldr :: (a -> b -> b) -> b -> (c, a) -> b #
Foldable (Const c :: Type -> Type) #
Instance details Defined in PlutusTx.Foldable Methods foldr :: (a -> b -> b) -> b -> Const c a -> b #

Applicative actions

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

Plutus Tx version of traverse_.

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

Plutus Tx version of for_.

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

Plutus Tx version of sequenceA_.

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

Plutus Tx version of asum.

Specialized folds

concat :: Foldable t => t [a] -> [a] #

Plutus Tx version of concat.

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

Plutus Tx version of concatMap.

Other

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

Plutus Tx version of foldMap.

fold :: (Foldable t, Monoid m) => t m -> m #

Plutus Tx version of fold.

foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b #

Plutus Tx version of foldl.

toList :: Foldable t => t a -> [a] #

Plutus Tx version of toList.

length :: Foldable t => t a -> Integer #

Plutus Tx version of length.

sum :: (Foldable t, AdditiveMonoid a) => t a -> a #

Plutus Tx version of sum.

product :: (Foldable t, MultiplicativeMonoid a) => t a -> a #

Plutus Tx version of product.