Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Either

Documentation

data PEither (a :: PType) (b :: PType) (s :: S) Source #

Constructors

PLeft (Term s a)
PRight (Term s b)

Instances

Instances details

(PEq a, PEq b) => PEq (PEither a b) Source #
Instance details Defined in Plutarch.Either Methods (#==) :: forall (s :: S). Term s (PEither a b) -> Term s (PEither a b) -> Term s PBool Source #
DerivePlutusType (PEither a b) Source #
Instance details Defined in Plutarch.Either Associated Types type DPTStrat (PEither a b) Source #
PlutusType (PEither a b) Source #
Instance details Defined in Plutarch.Either Associated Types type PInner (PEither a b) :: PType Source # type PCovariant' (PEither a b) Source # type PContravariant' (PEither a b) Source # type PVariant' (PEither a b) Source # Methods pcon' :: forall (s :: S). PEither a b s -> Term s (PInner (PEither a b)) Source # pmatch' :: forall (s :: S) (b0 :: PType). Term s (PInner (PEither a b)) -> (PEither a b s -> Term s b0) -> Term s b0 Source #
(PShow a, PShow b) => PShow (PEither a b) Source #
Instance details Defined in Plutarch.Either Methods pshow' :: forall (s :: S). Bool -> Term s (PEither a b) -> Term s PString Source #
Generic (PEither a b s) Source #
Instance details Defined in Plutarch.Either Associated Types type Rep (PEither a b s) :: Type -> Type Source # Methods from :: PEither a b s -> Rep (PEither a b s) x Source # to :: Rep (PEither a b s) x -> PEither a b s Source #
type DPTStrat (PEither a b) Source #
Instance details Defined in Plutarch.Either type DPTStrat (PEither a b) = PlutusTypeScott
type PContravariant' (PEither a b) Source #
Instance details Defined in Plutarch.Either type PContravariant' (PEither a b)
type PCovariant' (PEither a b) Source #
Instance details Defined in Plutarch.Either type PCovariant' (PEither a b)
type PInner (PEither a b) Source #
Instance details Defined in Plutarch.Either type PInner (PEither a b) = DerivedPInner (DPTStrat (PEither a b)) (PEither a b)
type PVariant' (PEither a b) Source #
Instance details Defined in Plutarch.Either type PVariant' (PEither a b)
type Rep (PEither a b s) Source #
Instance details Defined in Plutarch.Either type Rep (PEither a b s) = D1 ('MetaData "PEither" "Plutarch.Either" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'False) (C1 ('MetaCons "PLeft" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s a))) :+: C1 ('MetaCons "PRight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s b))))