plutarch-1.10.1
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Either

Synopsis

Types

data PEither (a :: S -> Type) (b :: S -> Type) (s :: S) Source #

SOP-encoded Either.

Since: 1.10.0

Constructors

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

Instances

Instances details
(PEq a, PEq b) => PEq (PEither a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

Methods

(#==) :: forall (s :: S). Term s (PEither a b) -> Term s (PEither a b) -> Term s PBool Source #

(PLiftable a, PLiftable b) => PLiftable (PEither a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

Associated Types

type AsHaskell (PEither a b) Source #

type PlutusRepr (PEither a b) Source #

Methods

haskToRepr :: AsHaskell (PEither a b) -> PlutusRepr (PEither a b) Source #

reprToHask :: PlutusRepr (PEither a b) -> Either LiftError (AsHaskell (PEither a b)) Source #

reprToPlut :: forall (s :: S). PlutusRepr (PEither a b) -> PLifted s (PEither a b) Source #

plutToRepr :: (forall (s :: S). PLifted s (PEither a b)) -> Either LiftError (PlutusRepr (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 #

Since: 1.10.0

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 #

Generic (PEither a b s) Source # 
Instance details

Defined in Plutarch.Either

Associated Types

type Code (PEither a b s) :: [[Type]]

Methods

from :: PEither a b s -> Rep (PEither a b s)

to :: Rep (PEither a b s) -> PEither a b s

type AsHaskell (PEither a b) Source # 
Instance details

Defined in Plutarch.Either

type AsHaskell (PEither a b) = Either (AsHaskell a) (AsHaskell b)
type PlutusRepr (PEither a b) Source # 
Instance details

Defined in Plutarch.Either

type PlutusRepr (PEither a b) = PLiftedClosed (PEither a b)
type PContravariant' (PEither a b) Source # 
Instance details

Defined in Plutarch.Either

type PContravariant' (PEither a b) = PContravariant' (DeriveAsSOPStruct (PEither a b))
type PCovariant' (PEither a b) Source # 
Instance details

Defined in Plutarch.Either

type PCovariant' (PEither a b) = PCovariant' (DeriveAsSOPStruct (PEither a b))
type PInner (PEither a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

type PInner (PEither a b) = PInner (DeriveAsSOPStruct (PEither a b))
type PVariant' (PEither a b) Source # 
Instance details

Defined in Plutarch.Either

type PVariant' (PEither a b) = PVariant' (DeriveAsSOPStruct (PEither a b))
type Rep (PEither a b s) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

type Rep (PEither a b s) = D1 ('MetaData "PEither" "Plutarch.Either" "plutarch-1.10.1-LPGZaAWjybFFuyJX8dF1yJ" '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))))
type Code (PEither a b s) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

type Code (PEither a b s) = GCode (PEither a b s)

data PEitherData (a :: S -> Type) (b :: S -> Type) (s :: S) Source #

Data-encoded Either.

Since: 1.10.0

Constructors

PDLeft (Term s (PAsData a)) 
PDRight (Term s (PAsData b)) 

Instances

Instances details
(PTryFrom PData a, PTryFrom PData b) => PTryFrom PData (PAsData (PEitherData a b)) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

Associated Types

type PTryFromExcess PData (PAsData (PEitherData a b)) :: PType Source #

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PEitherData a b)), Reduce (PTryFromExcess PData (PAsData (PEitherData a b)) s)) -> Term s r) -> Term s r Source #

(PTryFrom PData a, PTryFrom PData b) => PTryFrom PData (PEitherData a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

Associated Types

type PTryFromExcess PData (PEitherData a b) :: PType Source #

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PEitherData a b), Reduce (PTryFromExcess PData (PEitherData a b) s)) -> Term s r) -> Term s r Source #

PEq (PEitherData a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

Methods

(#==) :: forall (s :: S). Term s (PEitherData a b) -> Term s (PEitherData a b) -> Term s PBool Source #

PIsData (PEitherData a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PEitherData a b)) -> Term s (PEitherData a b) Source #

pdataImpl :: forall (s :: S). Term s (PEitherData a b) -> Term s PData Source #

(ToData (AsHaskell a), FromData (AsHaskell a), ToData (AsHaskell b), FromData (AsHaskell b)) => PLiftable (PEitherData a b) Source # 
Instance details

Defined in Plutarch.Either

Associated Types

type AsHaskell (PEitherData a b) Source #

type PlutusRepr (PEitherData a b) Source #

Methods

haskToRepr :: AsHaskell (PEitherData a b) -> PlutusRepr (PEitherData a b) Source #

reprToHask :: PlutusRepr (PEitherData a b) -> Either LiftError (AsHaskell (PEitherData a b)) Source #

reprToPlut :: forall (s :: S). PlutusRepr (PEitherData a b) -> PLifted s (PEitherData a b) Source #

plutToRepr :: (forall (s :: S). PLifted s (PEitherData a b)) -> Either LiftError (PlutusRepr (PEitherData a b)) Source #

(POrd a, POrd b, PIsData a, PIsData b) => POrd (PEitherData a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

Methods

(#<=) :: forall (s :: S). Term s (PEitherData a b) -> Term s (PEitherData a b) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PEitherData a b) -> Term s (PEitherData a b) -> Term s PBool Source #

pmax :: forall (s :: S). Term s (PEitherData a b) -> Term s (PEitherData a b) -> Term s (PEitherData a b) Source #

pmin :: forall (s :: S). Term s (PEitherData a b) -> Term s (PEitherData a b) -> Term s (PEitherData a b) Source #

PlutusType (PEitherData a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

Associated Types

type PInner (PEitherData a b) :: PType Source #

type PCovariant' (PEitherData a b) Source #

type PContravariant' (PEitherData a b) Source #

type PVariant' (PEitherData a b) Source #

Methods

pcon' :: forall (s :: S). PEitherData a b s -> Term s (PInner (PEitherData a b)) Source #

pmatch' :: forall (s :: S) (b0 :: PType). Term s (PInner (PEitherData a b)) -> (PEitherData a b s -> Term s b0) -> Term s b0 Source #

(PIsData a, PIsData b, PShow a, PShow b) => PShow (PEitherData a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

Methods

pshow' :: forall (s :: S). Bool -> Term s (PEitherData a b) -> Term s PString Source #

Generic (PEitherData a b s) Source # 
Instance details

Defined in Plutarch.Either

Associated Types

type Rep (PEitherData a b s) :: Type -> Type Source #

Methods

from :: PEitherData a b s -> Rep (PEitherData a b s) x Source #

to :: Rep (PEitherData a b s) x -> PEitherData a b s Source #

type PTryFromExcess PData (PAsData (PEitherData a b)) Source # 
Instance details

Defined in Plutarch.Either

type PTryFromExcess PData (PAsData (PEitherData a b)) = PTryFromExcess PData (PInner (PAsData (PEitherData a b)))
type PTryFromExcess PData (PEitherData a b) Source # 
Instance details

Defined in Plutarch.Either

type PTryFromExcess PData (PEitherData a b) = PTryFromExcess PData (PInner (PEitherData a b))
type AsHaskell (PEitherData a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

type AsHaskell (PEitherData a b) = AsHaskell (DeriveDataPLiftable (PEitherData a b) (Either (AsHaskell a) (AsHaskell b)))
type PlutusRepr (PEitherData a b) Source # 
Instance details

Defined in Plutarch.Either

type PlutusRepr (PEitherData a b) = PlutusRepr (DeriveDataPLiftable (PEitherData a b) (Either (AsHaskell a) (AsHaskell b)))
type PContravariant' (PEitherData a b) Source # 
Instance details

Defined in Plutarch.Either

type PContravariant' (PEitherData a b) = All2 PContravariant'' (PCode (PEitherData a b))
type PCovariant' (PEitherData a b) Source # 
Instance details

Defined in Plutarch.Either

type PCovariant' (PEitherData a b) = All2 PCovariant'' (PCode (PEitherData a b))
type PInner (PEitherData a b) Source # 
Instance details

Defined in Plutarch.Either

type PInner (PEitherData a b) = PData
type PVariant' (PEitherData a b) Source # 
Instance details

Defined in Plutarch.Either

type PVariant' (PEitherData a b) = All2 PVariant'' (PCode (PEitherData a b))
type Rep (PEitherData a b s) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

type Rep (PEitherData a b s) = D1 ('MetaData "PEitherData" "Plutarch.Either" "plutarch-1.10.1-LPGZaAWjybFFuyJX8dF1yJ" 'False) (C1 ('MetaCons "PDLeft" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData a)))) :+: C1 ('MetaCons "PDRight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData b)))))

Functions

PEither

Elimination

pisLeft :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). Term s (PEither a b :--> PBool) Source #

Since: 1.10.0

pfromLeft :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). Term s (PEither a b :--> a) Source #

Since: 1.10.0

pfromRight :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). Term s (PEither a b :--> b) Source #

Since: 1.10.0

PEitherData

Construction

pdleft :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData a => Term s (a :--> PEitherData a b) Source #

Make a Data-encoded Left.

Since: 1.10.0

pdright :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData b => Term s (b :--> PEitherData a b) Source #

Make a Data-encoded Right.

Since: 1.10.0

Elimination

peitherData :: forall (a :: S -> Type) (b :: S -> Type) (r :: S -> Type) (s :: S). (PIsData a, PIsData b) => Term s ((a :--> r) :--> ((b :--> r) :--> (PEitherData a b :--> r))) Source #

Eliminator for PEitherData.

Since: 1.10.0

pdisLeft :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). Term s (PEitherData a b :--> PBool) Source #

Verifies if a PEitherData is a PDLeft. Less code than using peitherData, as it doesn't need to inspect the contents.

Since: 1.10.0

pdisRight :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). Term s (PEitherData a b :--> PBool) Source #

As pdisLeft, except verifies whether we have a PDRight.

Since: 1.10.0

pdfromLeft :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData a => Term s (PEitherData a b :--> a) Source #

Return the value inside a PDEither if it's a PDLeft, error otherwise.

Since: 1.10.0

pdfromRight :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData b => Term s (PEitherData a b :--> b) Source #

As pdfromLeft, but yields a value if given a PDRight instead.

Since: 1.10.0