plutus-tx-0.1.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellNone
LanguageHaskell2010

PlutusTx.Traversable

Synopsis

Documentation

class (Functor t, Foldable t) => Traversable t where Source #

Plutus Tx version of Traversable.

Methods

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

Plutus Tx version of traverse.

Instances

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 #

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 :: 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.