Moduleplutus-tx-1.70.0.0

PlutusTx.Applicative

Synopsis

value(*>) :: Applicative f => f a -> f b -> f b

value(<*) :: Applicative f => f a -> f b -> f a

valueliftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c

valueunless :: Applicative f => Bool -> f () -> f ()

classclass Functor f => Applicative (f :: Type -> Type) where

Instances5Applicative

Applicative IdentityDefined in plutus-tx-1.70.0.0 · PlutusTx.Applicative
Applicative MaybeDefined in plutus-tx-1.70.0.0 · PlutusTx.Applicative
Applicative []Defined in plutus-tx-1.70.0.0 · PlutusTx.Applicative
Applicative (Either a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Applicative
Monoid m => Applicative (Const m)Defined in plutus-tx-1.70.0.0 · PlutusTx.Applicative