Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data ParameterBlueprint (referencedTypes :: [Type]) = MkParameterBlueprint {
- parameterTitle :: Maybe Text
- parameterDescription :: Maybe Text
- parameterPurpose :: Set Purpose
- parameterSchema :: Schema referencedTypes
- oneOfASet :: ToJSON a => Set a -> Maybe Value
Documentation
data ParameterBlueprint (referencedTypes :: [Type]) Source #
Blueprint that defines validator's compile-time parameter.
The referencedTypes
phantom type parameter is used to track the types used in the contract
making sure their schemas are included in the blueprint and that they are referenced
in a type-safe way.
MkParameterBlueprint | |
|