Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype EpName = EpNameUnsafe {}
- pattern DefEpName :: EpName
- epNameFromParamAnn :: FieldAnn -> Maybe EpName
- epNameToParamAnn :: EpName -> FieldAnn
- epNameFromRefAnn :: FieldAnn -> Either EpNameFromRefAnnError EpName
- epNameToRefAnn :: EpName -> FieldAnn
- data EpNameFromRefAnnError = InEpNameBadAnnotation FieldAnn
- buildEpName :: Text -> Either String EpName
- unsafeBuildEpName :: Text -> EpName
- mkEntrypointsMap :: Type -> Map EpName Type
Documentation
Entrypoint name.
Empty if this entrypoint is default one. Cannot be equal to "default", the reference implementation forbids that. Also, set of allowed characters should be the same as in annotations.
Instances
Eq EpName Source # | |
Ord EpName Source # | |
Show EpName Source # | |
Generic EpName Source # | |
Arbitrary FieldAnn => Arbitrary EpName Source # | |
ToJSON EpName Source # | |
Defined in Michelson.Untyped.Entrypoints | |
FromJSON EpName Source # | |
NFData EpName Source # | |
Defined in Michelson.Untyped.Entrypoints | |
Default EpName Source # | |
Defined in Michelson.Untyped.Entrypoints | |
Buildable EpName Source # | |
Defined in Michelson.Untyped.Entrypoints | |
HasCLReader EpName Source # | |
Defined in Michelson.Untyped.Entrypoints | |
type Rep EpName Source # | |
Defined in Michelson.Untyped.Entrypoints |
epNameToParamAnn :: EpName -> FieldAnn Source #
Turn entrypoint name into annotation for contract parameter declaration.
epNameFromRefAnn :: FieldAnn -> Either EpNameFromRefAnnError EpName Source #
Make up EpName
from annotation which is reference to an entrypoint
(e.g. annotation in CONTRACT
instruction).
Fails if annotation is invalid.
epNameToRefAnn :: EpName -> FieldAnn Source #
Turn entrypoint name into annotation used as reference to entrypoint.
data EpNameFromRefAnnError Source #
Instances
unsafeBuildEpName :: Text -> EpName Source #
mkEntrypointsMap :: Type -> Map EpName Type Source #
Given an untyped type, extract a map that maps entrypoint names to the their parameter types. If there are duplicate entrypoints in the given Type then the duplicate entrypoints at a deeper nesting level will get overwritten with the ones that are on top.