Safe Haskell	None
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 Maybe Source #
Instance details Defined in PlutusTx.Applicative Methods pure :: a -> Maybe a Source # (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b Source #
Applicative Identity Source #
Instance details Defined in PlutusTx.Applicative Methods pure :: a -> Identity a Source # (<*>) :: Identity (a -> b) -> Identity a -> Identity 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 .