Safe Haskell | None |
---|---|
Language | Haskell2010 |
Extracting documentation from instructions set.
Synopsis
- buildInstrDoc :: Instr inp out -> ContractDoc
- buildInstrDocWithGitRev :: DGitRevision -> Instr inp out -> ContractDoc
- modifyInstrDoc :: (DocItem i1, DocItem i2) => (i1 -> Maybe i2) -> Instr inp out -> Instr inp out
- modifyInstrAllDoc :: (SomeDocItem -> SomeDocItem) -> Instr inp out -> Instr inp out
- cutInstrNonDoc :: (forall i o. Instr i o -> Instr i o) -> Instr inp out -> Instr s s
- docInstr :: DocItem di => di -> Instr s s
Documentation
buildInstrDoc :: Instr inp out -> ContractDoc Source #
Deprecated: Use buildDoc
instead.
Assemble contract documentation.
buildInstrDocWithGitRev :: DGitRevision -> Instr inp out -> ContractDoc Source #
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 Source #
modifyInstrAllDoc :: (SomeDocItem -> SomeDocItem) -> Instr inp out -> Instr inp out Source #
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 Source #
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.
Orphan instances
ContainsUpdateableDoc (Instr inp out) Source # | |
modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> Instr inp out -> Instr inp out Source # | |
ContainsDoc (Instr inp out) Source # | |
buildDocUnfinalized :: Instr inp out -> ContractDoc Source # |