Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Builtin.Case

Synopsis

class AnnotateCaseBuiltin uni where
- annotateCaseBuiltin ∷ UniOf term ~ uni ⇒ SomeTypeIn uni → [term] → Either Text [(term, [Type TyName uni ann])]
class CaseBuiltin uni where
- caseBuiltin ∷ UniOf term ~ uni ⇒ Some (ValueOf uni) → Vector term → Either Text term
data CaserBuiltin uni = CaserBuiltin {
- unCaserBuiltin ∷ !(∀ term. UniOf term ~ uni ⇒ Some (ValueOf uni) → Vector term → Either Text term)
}
unavailableCaserBuiltin ∷ Int → CaserBuiltin uni

Documentation

class AnnotateCaseBuiltin uni where Source #

Methods

annotateCaseBuiltin ∷ UniOf term ~ uni ⇒ SomeTypeIn uni → [term] → Either Text [(term, [Type TyName uni ann])] Source #

Given a tag for a built-in type and a list of branches, annotate each of the branches with its expected argument types or fail if casing on values of the built-in type isn't supported.

Instances

Instances details

AnnotateCaseBuiltin DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods annotateCaseBuiltin ∷ UniOf term ~ DefaultUni ⇒ SomeTypeIn DefaultUni → [term] → Either Text [(term, [Type TyName DefaultUni ann])] Source #

class CaseBuiltin uni where Source #

Methods

caseBuiltin ∷ UniOf term ~ uni ⇒ Some (ValueOf uni) → Vector term → Either Text term Source #

Given a constant with its type tag and a vector of branches, choose the appropriate branch or fail if the constant doesn't correspond to any of the branches (or casing on constants of this type isn't supported at all).

Instances

Instances details

CaseBuiltin DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods caseBuiltin ∷ UniOf term ~ DefaultUni ⇒ Some (ValueOf DefaultUni) → Vector term → Either Text term Source #

data CaserBuiltin uni Source #

A data version of CaseBuiltin. we parameterize the evaluator by a CaserBuiltin so that the caller can choose whether to use the caseBuiltin method or the always failing caser (the latter is required for earlier protocol versions when we didn't support casing on builtins).

Constructors

CaserBuiltin
Fields unCaserBuiltin ∷ !(∀ term. UniOf term ~ uni ⇒ Some (ValueOf uni) → Vector term → Either Text term)

Instances

Instances details

CaseBuiltin uni ⇒ Default (CaserBuiltin uni) Source #
Instance details Defined in PlutusCore.Builtin.Case Methods def ∷ CaserBuiltin uni Source #
NFData (CaserBuiltin uni) Source #
Instance details Defined in PlutusCore.Builtin.Case Methods rnf ∷ CaserBuiltin uni → () Source #
NoThunks (CaserBuiltin uni) Source #
Instance details Defined in PlutusCore.Builtin.Case Methods noThunks ∷ Context → CaserBuiltin uni → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CaserBuiltin uni → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CaserBuiltin uni) → String Source #

unavailableCaserBuiltin ∷ Int → CaserBuiltin uni Source #