Skip to content

Commit 29b8db5

Browse files
committed
Add IndexMappable inst: HuddleStage->PrettyStage
1 parent 0bc8b36 commit 29b8db5

File tree

2 files changed

+17
-1
lines changed

2 files changed

+17
-1
lines changed

CHANGELOG.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,9 @@
22

33
## 1.1.0.0
44

5-
* Implement `IndexMappable` instance for `HuddleStage` to `CTreePhase`
5+
* Implement `IndexMappable` instance for
6+
- `HuddleStage` to `CTreePhase`
7+
- `HuddleStage` to `PrettyStage`
68
* Change the order of fields in `GroupEntry`; the extension field is now the last field
79
* Add `IndexMappable` to help with traversing `CDDL` trees
810
* Add an index type parameter to all `CDDL` terms

src/Codec/CBOR/Cuddle/IndexMappable.hs

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -228,6 +228,20 @@ instance IndexMappable XXType2 HuddleStage CTreePhase where
228228
instance IndexMappable XTerm HuddleStage CTreePhase where
229229
mapIndex (HuddleXTerm c) = CTreeXTerm c
230230

231+
-- HuddleStage -> PrettyStage
232+
233+
instance IndexMappable XCddl HuddleStage PrettyStage where
234+
mapIndex (HuddleXCddl c) = PrettyXCddl c
235+
236+
instance IndexMappable XXTopLevel HuddleStage PrettyStage where
237+
mapIndex (HuddleXXTopLevel c) = PrettyXXTopLevel c
238+
239+
instance IndexMappable XXType2 HuddleStage PrettyStage where
240+
mapIndex (HuddleXXType2 c) = absurd c
241+
242+
instance IndexMappable XTerm HuddleStage PrettyStage where
243+
mapIndex (HuddleXTerm c) = PrettyXTerm c
244+
231245
-- ParserStage -> ParserStage
232246

233247
instance IndexMappable XCddl ParserStage ParserStage

0 commit comments

Comments
 (0)