Morley.Michelson.Typed.Doc

Extracting documentation from instructions set.

Documentation

buildInstrDoc :: Instr inp out -> ContractDoc

Deprecated: Use buildDoc instead.

Assemble contract documentation.

buildInstrDocWithGitRev :: DGitRevision -> Instr inp out -> ContractDoc

Deprecated: Use `buildDoc . attachDocCommons gitRev` instead.

Assemble contract documentation with the revision of the contract.

modifyInstrDoc :: (DocItem i1, DocItem i2) => (i1 -> Maybe i2) -> Instr inp out -> Instr inp out

Deprecated: Use modifyDoc instead.

Recursevly traverse an instruction and modify documentation items matching given type.

If mapper returns Nothing, doc item will remain unmodified.

modifyInstrAllDoc :: (SomeDocItem -> SomeDocItem) -> Instr inp out -> Instr inp out

Deprecated: Use modifyDocEntirely instead.

Modify all documentation items recursively.

cutInstrNonDoc :: (forall i o. Instr i o -> Instr i o) -> Instr inp out -> Instr s s

Leave only instructions related to documentation.

Generated documentation for resulting instruction remains the same, but semantics of instruction itself gets lost. We have to pass optimizer here as an argument to avoid cyclic dependencies.

docInstr :: DocItem di => di -> Instr s s

Put a document item.

Orphan instances

ContainsUpdateableDoc (Instr inp out)

Methods

modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> Instr inp out -> Instr inp out

ContainsUpdateableDoc (Contract cp st)

Methods

modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> Contract cp st -> Contract cp st

ContainsDoc (Instr inp out)

Methods

buildDocUnfinalized :: Instr inp out -> ContractDoc

ContainsDoc (Contract cp st)

Methods

buildDocUnfinalized :: Contract cp st -> ContractDoc