Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.These

Synopsis

data These a b
- = This a
- | That b
- | These a b
these ∷ (a → c) → (b → c) → (a → b → c) → These a b → c
theseWithDefault ∷ a → b → (a → b → c) → These a b → c

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 lift ∷ These 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 Methods fromBuiltinData ∷ BuiltinData → Maybe (These a b) Source #
(ToData a, ToData b) ⇒ ToData (These a b) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods toBuiltinData ∷ These a b → BuiltinData Source #
(UnsafeFromData a, UnsafeFromData b) ⇒ UnsafeFromData (These a b) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods unsafeFromBuiltinData ∷ BuiltinData → These a b Source #
(Ord a, Ord b) ⇒ Ord (These a b) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ These 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 # max ∷ These a b → These a b → These a b Source # min ∷ These 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 showsPrec ∷ Integer → These a b → ShowS Source # show ∷ These a b → BuiltinString Source #
Typeable DefaultUni These Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep ∷ Proxy These → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

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.