Safe Haskell	None
Language	Haskell2010

PlutusTx.Traversable

Synopsis

class ( Functor t, Foldable t) => Traversable t where
- traverse :: Applicative f => (a -> f b) -> t a -> f (t b)
sequenceA :: ( Traversable t, Applicative f) => t (f a) -> f (t a)
mapM :: ( Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
sequence :: ( Traversable t, Applicative f) => t (f a) -> f (t a)
for :: ( Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)
fmapDefault :: forall t a b. Traversable t => (a -> b) -> t a -> t b
foldMapDefault :: forall t m a. ( Traversable t, Monoid m) => (a -> m) -> t a -> m

Documentation

Plutus Tx version of Traversable .

Methods

traverse :: Applicative f => (a -> f b) -> t a -> f (t b) Source #

Plutus Tx version of traverse .

Instances details

Traversable [] Source #
Instance details Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> [a] -> f [b] Source #
Traversable Maybe Source #
Instance details Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> Maybe a -> f ( Maybe b) Source #
Traversable Identity Source #
Instance details Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> Identity a -> f ( Identity b) Source #
Traversable ( Either c) Source #
Instance details Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> Either c a -> f ( Either c b) Source #
Traversable ( (,) c) Source #
Instance details Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> (c, a) -> f (c, b) Source #
Traversable ( Map k) Source #
Instance details Defined in PlutusTx.AssocMap Methods traverse :: Applicative f => (a -> f b) -> Map k a -> f ( Map k b) Source #
Traversable ( Const c :: Type -> Type ) Source #
Instance details Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> Const c a -> f ( Const c b) Source #

Plutus Tx version of sequenceA .

mapM :: ( Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) Source #

Plutus Tx version of mapM .

Plutus Tx version of sequence .

for :: ( Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b) Source #

Plutus Tx version of for .

fmapDefault :: forall t a b. Traversable t => (a -> b) -> t a -> t b Source #

Plutus Tx version of fmapDefault .

foldMapDefault :: forall t m a. ( Traversable t, Monoid m) => (a -> m) -> t a -> m Source #

Plutus Tx version of foldMapDefault .