Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Extracting documentation from instructions set.
Documentation
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
ContainsDoc (Contract cp st) Source # | |
buildDocUnfinalized :: Contract cp st -> ContractDoc Source # | |
ContainsDoc (ContractCode inp out) Source # | |
buildDocUnfinalized :: ContractCode inp out -> ContractDoc Source # | |
ContainsDoc (Instr inp out) Source # | |
buildDocUnfinalized :: Instr inp out -> ContractDoc Source # | |
ContainsUpdateableDoc (Contract cp st) Source # | |
modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> Contract cp st -> Contract cp st Source # | |
ContainsUpdateableDoc (ContractCode inp out) Source # | |
modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> ContractCode inp out -> ContractCode inp out Source # | |
ContainsUpdateableDoc (Instr inp out) Source # | |
modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> Instr inp out -> Instr inp out Source # |