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

Plutus Tx version of unless.