Skip to content

Commit

Permalink
[ upstream ] Add PrettyVal for WithDefault
Browse files Browse the repository at this point in the history
  • Loading branch information
@Adowrath
Adowrath committed Oct 25, 2023
1 parent 1ee13ea commit 41c7f64
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/Text/Show/PrettyVal/Derive.idr
View file
Original file line number Diff line number Diff line change
Expand Up @@ -218,6 +218,8 @@ PrettyVal nms p =

%runElab derive "Visibility" [PrettyVal]

%runElab derive "WithDefault" [PrettyVal]

%runElab derive "BindMode" [PrettyVal]

%runElab derive "UseSide" [PrettyVal]
Expand Down

0 comments on commit 41c7f64

Please sign in to comment.