Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Plutarch.Api.V1.Maybe
Contents
Synopsis
- data PMaybeData a (s :: S)
- = PDJust (Term s (PDataRecord '["_0" := a]))
- | PDNothing (Term s (PDataRecord '[]))
Documentation
data PMaybeData a (s :: S) Source #
Data encoded Maybe type. Used in various ledger api types.
Constructors
PDJust (Term s (PDataRecord '["_0" := a])) | |
PDNothing (Term s (PDataRecord '[])) |
Instances
Orphan instances
PConstantData a => PConstantDecl (Maybe a) Source # | |
Methods pconstantToRepr :: Maybe a -> PConstantRepr (Maybe a) Source # pconstantFromRepr :: PConstantRepr (Maybe a) -> Maybe (Maybe a) Source # |