Safe Haskell	Safe-Inferred
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 ∷ ∀ t a b. Traversable t ⇒ (a → b) → t a → t b
foldMapDefault ∷ ∀ 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 Identity Source #
Instance details Defined in PlutusTx.Traversable Methods traverse ∷ Applicative f ⇒ (a → f b) → Identity a → f (Identity 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 List Source #
Instance details Defined in PlutusTx.Traversable Methods traverse ∷ Applicative f ⇒ (a → f b) → [a] → f [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 (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 ((,) c) Source #
Instance details Defined in PlutusTx.Traversable Methods traverse ∷ Applicative f ⇒ (a → f b) → (c, a) → f (c, 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 #

sequenceA ∷ (Traversable t, Applicative f) ⇒ t (f a) → f (t a) 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.

sequence ∷ (Traversable t, Applicative f) ⇒ t (f a) → f (t a) Source #

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 ∷ ∀ t a b. Traversable t ⇒ (a → b) → t a → t b Source #

Plutus Tx version of fmapDefault.

foldMapDefault ∷ ∀ t m a. (Traversable t, Monoid m) ⇒ (a → m) → t a → m Source #

Plutus Tx version of foldMapDefault.