plutus-tx-1.30.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
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 

Instances

Instances details
(Typeable DefaultUni a, Typeable DefaultUni b, Lift DefaultUni a, Lift DefaultUni b) ⇒ Lift DefaultUni (These a b) Source # 
Instance details

Defined in PlutusTx.Lift.Instances

Methods

liftThese a b → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

(Eq a, Eq b) ⇒ Eq (These a b) Source # 
Instance details

Defined in PlutusTx.Eq

Methods

(==)These a b → These a b → Bool Source #

(FromData a, FromData b) ⇒ FromData (These a b) Source # 
Instance details

Defined in PlutusTx.IsData.Instances

(ToData a, ToData b) ⇒ ToData (These a b) Source # 
Instance details

Defined in PlutusTx.IsData.Instances

(UnsafeFromData a, UnsafeFromData b) ⇒ UnsafeFromData (These a b) Source # 
Instance details

Defined in PlutusTx.IsData.Instances

(Ord a, Ord b) ⇒ Ord (These a b) Source # 
Instance details

Defined in PlutusTx.Ord

Methods

compareThese a b → These a b → Ordering Source #

(<)These a b → These a b → Bool Source #

(<=)These a b → These a b → Bool Source #

(>)These a b → These a b → Bool Source #

(>=)These a b → These a b → Bool Source #

maxThese a b → These a b → These a b Source #

minThese a b → These a b → These a b Source #

(Show a, Show b) ⇒ Show (These a b) Source # 
Instance details

Defined in PlutusTx.Show

Methods

showsPrecIntegerThese a b → ShowS Source #

showThese a b → BuiltinString Source #

Typeable DefaultUni These Source # 
Instance details

Defined in PlutusTx.Lift.Instances

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.