| 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 :: 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
class (Functor t, Foldable t) => Traversable t where #
Plutus Tx version of Traversable.
Instances
| Traversable Identity # | |
Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> Identity a -> f (Identity b) # | |
| Traversable Maybe # | |
Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> Maybe a -> f (Maybe b) # | |
| Traversable List # | |
Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> [a] -> f [b] # | |
| Traversable (Either c) # | |
Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> Either c a -> f (Either c b) # | |
| Traversable (Map k) # | |
Defined in PlutusTx.AssocMap Methods traverse :: Applicative f => (a -> f b) -> Map k a -> f (Map k b) # | |
| Traversable ((,) c) # | |
Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> (c, a) -> f (c, b) # | |
| Traversable (Const c :: Type -> Type) # | |
Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> Const c a -> f (Const c b) # | |
sequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a) #
Plutus Tx version of sequenceA.
mapM :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) #
Plutus Tx version of mapM.
sequence :: (Traversable t, Applicative f) => t (f a) -> f (t a) #
Plutus Tx version of sequence.
for :: (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b) #
Plutus Tx version of for.
fmapDefault :: forall t a b. Traversable t => (a -> b) -> t a -> t b #
Plutus Tx version of fmapDefault.
foldMapDefault :: forall t m a. (Traversable t, Monoid m) => (a -> m) -> t a -> m #
Plutus Tx version of foldMapDefault.