plutus-tx-1.0.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellNone
LanguageHaskell2010

PlutusTx.These

Synopsis

Documentation

data These a b Source #

A These a b is either an a, or a b or an a and a b. Plutus version of These.

Constructors

This a 
That b 
These a b 

these :: (a -> c) -> (b -> c) -> (a -> b -> c) -> These a b -> c Source #

theseWithDefault :: a -> b -> (a -> b -> c) -> These a b -> c Source #

Consume a 'These a b' value.