| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Codec.CBOR.Cuddle.CDDL.Postlude
Documentation
appendPostlude :: (IndexMappable XXType2 ParserStage i, IndexMappable XTerm ParserStage i, IndexMappable XRule ParserStage i) => CDDL i -> CDDL i Source #
| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Codec.CBOR.Cuddle.CDDL.Postlude
appendPostlude :: (IndexMappable XXType2 ParserStage i, IndexMappable XTerm ParserStage i, IndexMappable XRule ParserStage i) => CDDL i -> CDDL i Source #