plutus-tx-1.30.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Applicative

Synopsis

Documentation

class Functor f ⇒ Applicative f where Source #

Plutus Tx version of Applicative.

Methods

pure ∷ a → f a Source #

Plutus Tx version of pure.

(<*>) ∷ f (a → b) → f a → f b infixl 4 Source #

Plutus Tx version of (<*>).

Instances

Instances details
Applicative Identity Source # 
Instance details

Defined in PlutusTx.Applicative

Methods

pure ∷ a → Identity a Source #

(<*>)Identity (a → b) → Identity a → Identity b Source #

Applicative Maybe Source # 
Instance details

Defined in PlutusTx.Applicative

Methods

pure ∷ a → Maybe a Source #

(<*>)Maybe (a → b) → Maybe a → Maybe b Source #

Applicative List Source # 
Instance details

Defined in PlutusTx.Applicative

Methods

pure ∷ a → [a] Source #

(<*>) ∷ [a → b] → [a] → [b] Source #

Applicative (Either a) Source # 
Instance details

Defined in PlutusTx.Applicative

Methods

pure ∷ a0 → Either a a0 Source #

(<*>)Either a (a0 → b) → Either a a0 → Either a b Source #

Monoid m ⇒ Applicative (Const m ∷ TypeType) Source # 
Instance details

Defined in PlutusTx.Applicative

Methods

pure ∷ a → Const m a Source #

(<*>)Const m (a → b) → Const m a → Const m b Source #

liftA2Applicative f ⇒ (a → b → c) → f a → f b → f c Source #

Plutus Tx version of liftA2.

(*>)Applicative f ⇒ f a → f b → f b infixl 4 Source #

Plutus Tx version of (*>).

(<*)Applicative f ⇒ f a → f b → f a infixl 4 Source #

Plutus Tx version of (<*).

unlessApplicative f ⇒ Bool → f () → f () Source #

Plutus Tx version of unless.