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 #
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.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 #
(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes, HasBlueprintDefinition b, HasSchemaDefinition b referencedTypes) => HasBlueprintSchema (These a b) referencedTypes Source #
Instance details Defined in PlutusTx.IsData.Instances Methods schema :: Schema referencedTypes Source #
Typeable DefaultUni These Source #
Instance details Defined in PlutusTx.Lift.Instances 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.36.0.0-8y1X6QaF1WM5mIhDTsyzym" '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.