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

class Functor f => Applicative f where #

Plutus Tx version of Applicative.

Methods

pure :: a -> f a #

Plutus Tx version of pure.

(<*>) :: f (a -> b) -> f a -> f b infixl 4 #

Plutus Tx version of (<*>).

Instances details

Applicative Identity #
Instance details Defined in PlutusTx.Applicative Methods pure :: a -> Identity a # (<*>) :: Identity (a -> b) -> Identity a -> Identity b #
Applicative Maybe #
Instance details Defined in PlutusTx.Applicative Methods pure :: a -> Maybe a # (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b #
Applicative List #
Instance details Defined in PlutusTx.Applicative Methods pure :: a -> [a] # (<*>) :: [a -> b] -> [a] -> [b] #
Applicative (Either a) #
Instance details Defined in PlutusTx.Applicative Methods pure :: a0 -> Either a a0 # (<*>) :: Either a (a0 -> b) -> Either a a0 -> Either a b #
Monoid m => Applicative (Const m :: Type -> Type) #
Instance details Defined in PlutusTx.Applicative Methods pure :: a -> Const m a # (<*>) :: Const m (a -> b) -> Const m a -> Const m b #

liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c #

Plutus Tx version of liftA2.

(*>) :: Applicative f => f a -> f b -> f b infixl 4 #

Plutus Tx version of (*>).

(<*) :: Applicative f => f a -> f b -> f a infixl 4 #

Plutus Tx version of (<*).

unless :: Applicative f => Bool -> f () -> f () #

Plutus Tx version of unless.