| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Plutarch.Internal.ScottEncoding
Description
Deprecated: Use the new mechanism instead
Documentation
data PlutusTypeScott Source #
Instances
| PlutusTypeStrat PlutusTypeScott Source # | |||||||||
Defined in Plutarch.Internal.ScottEncoding Associated Types
Methods derivedPCon :: forall a (s :: S). (DerivePlutusType a, DPTStrat a ~ PlutusTypeScott) => a s -> Term s (DerivedPInner PlutusTypeScott a) Source # derivedPMatch :: forall a (s :: S) (b :: S -> Type). (DerivePlutusType a, DPTStrat a ~ PlutusTypeScott) => Term s (DerivedPInner PlutusTypeScott a) -> (a s -> Term s b) -> Term s b Source # | |||||||||
| type PlutusTypeStratConstraint PlutusTypeScott Source # | |||||||||
Defined in Plutarch.Internal.ScottEncoding | |||||||||
| type DerivedPInner PlutusTypeScott a Source # | |||||||||
Defined in Plutarch.Internal.ScottEncoding | |||||||||
newtype PScottEncoded (a :: [[S -> Type]]) (r :: S -> Type) (s :: S) Source #
Constructors
| PScottEncoded (Term s (ScottFn (ScottList a r) r)) |
Instances
| PlutusType (PScottEncoded a r) Source # | |||||
Defined in Plutarch.Internal.ScottEncoding Associated Types
Methods pcon' :: forall (s :: S). PScottEncoded a r s -> Term s (PInner (PScottEncoded a r)) Source # pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner (PScottEncoded a r)) -> (PScottEncoded a r s -> Term s b) -> Term s b Source # | |||||
| type PInner (PScottEncoded a r) Source # | |||||
Defined in Plutarch.Internal.ScottEncoding | |||||