plutus-tx-0.1.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellNone
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 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 (<*).

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

Plutus Tx version of unless.