plutus-tx-1.36.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 #

Generic (These a b) Source # 
Instance details

Defined in PlutusTx.These

Associated Types

type Rep (These a b) ∷ TypeType Source #

Methods

fromThese a b → Rep (These a b) x Source #

toRep (These a b) x → These a b Source #

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

Defined in PlutusTx.These

Methods

showsPrecIntThese a b → ShowS Source #

showThese a b → String Source #

showList ∷ [These a b] → ShowS Source #

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

Defined in PlutusTx.These

Methods

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

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

(Typeable a, Typeable b) ⇒ HasBlueprintDefinition (These a b) Source # 
Instance details

Defined in PlutusTx.These

Associated Types

type Unroll (These a b) ∷ [Type] 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 #

(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes, HasBlueprintDefinition b, HasSchemaDefinition b referencedTypes) ⇒ HasBlueprintSchema (These a b) referencedTypes Source # 
Instance details

Defined in PlutusTx.IsData.Instances

Methods

schemaSchema referencedTypes Source #

Typeable DefaultUni These Source # 
Instance details

Defined in PlutusTx.Lift.Instances

type Rep (These a b) Source # 
Instance details

Defined in PlutusTx.These

type Unroll (These a b) Source # 
Instance details

Defined in PlutusTx.These

type Unroll (These a b) = Insert (These a b) (GUnroll (IfStuckRep (RepIsStuckError (These a b) ∷ TypeType) (Rep (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.