plutus-tx-0.1.0.0: Libraries for Plutus Tx and its prelude

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.