plutus-tx-1.0.0.0: Libraries for Plutus Tx and its prelude
Safe Haskell None
Language Haskell2010

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.