| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.YTxP.Control.Vendored
Description
Vendored utilities from open source libraries. See the appropriate License for details on usage.
Synopsis
- newtype DerivePConstantViaEnum (h :: Type) (p :: S -> Type) = DerivePConstantEnum h
- data PlutusTypeEnumData
Documentation
newtype DerivePConstantViaEnum (h :: Type) (p :: S -> Type) Source #
Wrapper for deriving PConstantDecl using an Integer representation via Enum.
Vendored from LPE TODO: Licensing info
Since: 1.1.0
Constructors
| DerivePConstantEnum h |
Instances
| (PLift p, Enum h, DerivePlutusType p, DPTStrat p ~ PlutusTypeEnumData) => PConstantDecl (DerivePConstantViaEnum h p) Source # | Since: 1.1.0 |
Defined in Cardano.YTxP.Control.Vendored Associated Types type PConstantRepr (DerivePConstantViaEnum h p) type PConstanted (DerivePConstantViaEnum h p) :: PType Methods pconstantToRepr :: DerivePConstantViaEnum h p -> PConstantRepr (DerivePConstantViaEnum h p) pconstantFromRepr :: PConstantRepr (DerivePConstantViaEnum h p) -> Maybe (DerivePConstantViaEnum h p) | |
| type PConstantRepr (DerivePConstantViaEnum h p) Source # | |
Defined in Cardano.YTxP.Control.Vendored | |
| type PConstanted (DerivePConstantViaEnum h p) Source # | |
Defined in Cardano.YTxP.Control.Vendored type PConstanted (DerivePConstantViaEnum h p) = p | |
data PlutusTypeEnumData Source #
PlutusTypeEnumData
Vendored from LPE TODO: Licensing info
Instances
| PlutusTypeStrat PlutusTypeEnumData Source # | |
Defined in Cardano.YTxP.Control.Vendored Associated Types type PlutusTypeStratConstraint PlutusTypeEnumData :: PType -> Constraint type DerivedPInner PlutusTypeEnumData a :: PType Methods derivedPCon :: forall a (s :: S). (DerivePlutusType a, DPTStrat a ~ PlutusTypeEnumData) => a s -> Term s (DerivedPInner PlutusTypeEnumData a) derivedPMatch :: forall a (s :: S) (b :: PType). (DerivePlutusType a, DPTStrat a ~ PlutusTypeEnumData) => Term s (DerivedPInner PlutusTypeEnumData a) -> (a s -> Term s b) -> Term s b | |
| type PlutusTypeStratConstraint PlutusTypeEnumData Source # | |
Defined in Cardano.YTxP.Control.Vendored type PlutusTypeStratConstraint PlutusTypeEnumData | |
| type DerivedPInner PlutusTypeEnumData _1 Source # | |
Defined in Cardano.YTxP.Control.Vendored type DerivedPInner PlutusTypeEnumData _1 = PInteger | |