Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleplutus-tx-1.70.0.0

PlutusTx.Traversable

1 class
6 values

Packageplutus-tx-1.70.0.0
Exports7
LicenceApache-2.0

valuefmapDefault :: Traversable t => (a -> b) -> t a -> t b

valuefoldMapDefault :: (Traversable t, Monoid m) => (a -> m) -> t a -> m

valuefor :: (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)

valuemapM :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)

valuesequence :: (Traversable t, Applicative f) => t (f a) -> f (t a)

valuesequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a)

classclass (Functor t, Foldable t) => Traversable (t :: Type -> Type) where

Methods

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

Instances7Traversable, …

Traversable IdentityDefined in plutus-tx-1.70.0.0 · PlutusTx.Traversable
Traversable MaybeDefined in plutus-tx-1.70.0.0 · PlutusTx.Traversable
Traversable []Defined in plutus-tx-1.70.0.0 · PlutusTx.Traversable
Traversable (Either c)Defined in plutus-tx-1.70.0.0 · PlutusTx.Traversable
Traversable (Tuple2 c)Defined in plutus-tx-1.70.0.0 · PlutusTx.Traversable
Traversable (Map k)Defined in plutus-tx-1.70.0.0 · PlutusTx.AssocMap
Traversable (Const c)Defined in plutus-tx-1.70.0.0 · PlutusTx.Traversable