Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Applicative

Synopsis

class Functor f ⇒ Applicative f where
- pure ∷ a → f a
- (<*>) ∷ f (a → b) → f a → f b
liftA2 ∷ Applicative f ⇒ (a → b → c) → f a → f b → f c
(*>) ∷ Applicative f ⇒ f a → f b → f b
(<*) ∷ Applicative f ⇒ f a → f b → f a
unless ∷ Applicative f ⇒ Bool → f () → f ()

Documentation

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 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 ∷ Type → Type) 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 #

liftA2 ∷ Applicative 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 (<*).

unless ∷ Applicative f ⇒ Bool → f () → f () Source #

Plutus Tx version of unless.