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.These Methods lift ∷ These 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) ∷ Type → Type Source # Methods from ∷ These a b → Rep (These a b) x Source # to ∷ Rep (These a b) x → These a b Source #
(Show a, Show b) ⇒ Show (These a b) Source #
Instance details Defined in PlutusTx.These Methods showsPrec ∷ Int → These a b → ShowS Source # show ∷ These 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 # Methods definitionId ∷ DefinitionId 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 #
(FromData a, FromData b) ⇒ FromData (These a b) Source #
Instance details Defined in PlutusTx.These Methods fromBuiltinData ∷ BuiltinData → Maybe (These a b) Source #
(ToData a, ToData b) ⇒ ToData (These a b) Source #
Instance details Defined in PlutusTx.These Methods toBuiltinData ∷ These a b → BuiltinData Source #
(UnsafeFromData a, UnsafeFromData b) ⇒ UnsafeFromData (These a b) Source #
Instance details Defined in PlutusTx.These Methods unsafeFromBuiltinData ∷ BuiltinData → These a b Source #
(Ord a, Ord b) ⇒ Ord (These a b) Source #
Instance details Defined in PlutusTx.These 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.These Methods showsPrec ∷ Integer → These a b → ShowS Source # show ∷ These 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.These Methods schema ∷ Schema referencedTypes Source #
Typeable DefaultUni These Source #
Instance details Defined in PlutusTx.These Methods typeRep ∷ Proxy These → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep (These a b) Source #
Instance details Defined in PlutusTx.These type Rep (These a b) = D1 ('MetaData "These" "PlutusTx.These" "plutus-tx-1.69.0.0-inplace" 'False) (C1 ('MetaCons "This" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "That" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 b)) :+: C1 ('MetaCons "These" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 b))))
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) ∷ Type → Type) (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.