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
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
Traversable [] Source # | |
Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> [a] -> f [b] Source # |
|
Traversable Maybe Source # | |
Defined in PlutusTx.Traversable |
|
Traversable Identity Source # | |
Defined in PlutusTx.Traversable |
|
Traversable ( Either c) Source # | |
Defined in PlutusTx.Traversable |
|
Traversable ( (,) c) Source # | |
Defined in PlutusTx.Traversable Methods traverse :: Applicative f => (a -> f b) -> (c, a) -> f (c, b) Source # |
|
Traversable ( Map k) Source # | |
Defined in PlutusTx.AssocMap |
|
Traversable ( Const c :: Type -> Type ) Source # | |
Defined in PlutusTx.Traversable |
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
.