| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Plutarch.Internal.ScottEncoding
Documentation
data PlutusTypeScott Source #
Instances
| PlutusTypeStrat PlutusTypeScott Source # | |
Defined in Plutarch.Internal.ScottEncoding Associated Types type PlutusTypeStratConstraint PlutusTypeScott :: PType -> Constraint Source # type DerivedPInner PlutusTypeScott a :: PType Source # 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 :: PType). (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 r s Source #
Constructors
| PScottEncoded (Term s (ScottFn (ScottList a r) r)) |
Instances
| PlutusType (PScottEncoded a r) Source # | |
Defined in Plutarch.Internal.ScottEncoding Associated Types type PInner (PScottEncoded a r) :: PType Source # type PCovariant' (PScottEncoded a r) Source # type PContravariant' (PScottEncoded a r) Source # type PVariant' (PScottEncoded a r) Source # Methods pcon' :: forall (s :: S). PScottEncoded a r s -> Term s (PInner (PScottEncoded a r)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PScottEncoded a r)) -> (PScottEncoded a r s -> Term s b) -> Term s b Source # | |
| type PContravariant' (PScottEncoded a r) Source # | |
Defined in Plutarch.Internal.ScottEncoding | |
| type PCovariant' (PScottEncoded a r) Source # | |
Defined in Plutarch.Internal.ScottEncoding | |
| type PInner (PScottEncoded a r) Source # | |
Defined in Plutarch.Internal.ScottEncoding | |
| type PVariant' (PScottEncoded a r) Source # | |
Defined in Plutarch.Internal.ScottEncoding | |