Skip to contentModuleplutus-tx-1.70.0.0
PlutusTx.These
Synopsis
vvaluethese :: (a -> c) -> (b -> c) -> (a -> b -> c) -> These a b -> c Instances15Lift, Generic, FromData, ToData, UnsafeFromData, HasBlueprintDefinition, …
(Typeable DefaultUni a, Typeable DefaultUni b, Lift DefaultUni a, Lift DefaultUni b) => Lift DefaultUni (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These(Eq a, Eq b) => Eq (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These(Show a, Show b) => Show (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.TheseGeneric (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These(FromData a, FromData b) => FromData (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These(ToData a, ToData b) => ToData (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These(UnsafeFromData a, UnsafeFromData b) => UnsafeFromData (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These(Typeable a, Typeable b) => HasBlueprintDefinition (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These(Eq a, Eq b) => Eq (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These(Ord a, Ord b) => Ord (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These(Show a, Show b) => Show (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes, HasBlueprintDefinition b, HasSchemaDefinition b referencedTypes) => HasBlueprintSchema (These a b) referencedTypesDefined in plutus-tx-1.70.0.0 · PlutusTx.TheseTypeable DefaultUni TheseDefined in plutus-tx-1.70.0.0 · PlutusTx.Thesetype Rep (These a b) = D1 ('MetaData "These"
"PlutusTx.These"
"plutus-tx-1.70.0.0-7BkLT0pyxKQ1Mkv4aNJpuF"
'False) (C1 ('MetaCons "This"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "That"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 b)) :+: C1 ('MetaCons "These"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 b))))Defined in plutus-tx-1.70.0.0 · PlutusTx.Thesetype Unroll (These a b) = Insert (These a b) (GUnroll (IfStuckRep (RepIsStuckError (These a b)) (Rep (These a b))))Defined in plutus-tx-1.70.0.0 · PlutusTx.These