search

Twigonometry / IsabelleDSL

IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle
0 stars 0 forks source link

Allow multiple pp functions #30

Open Twigonometry opened 2 years ago

Twigonometry commented 2 years ago

Users may have two types they wish to pretty-print, such as in the case of the RBAC (pretty-printing users and roles). Allow supplying two pp functions

Twigonometry commented 2 years ago

Allow supplying multiple function names in command line parameter/pp file. pp is default name if none supplied. User sessions could include, for instance, pp_role and pp_user. Call all of these functions when pretty-printing.

May need to have separate places to insert these in boilerplate code.

Alternative approach may be making pp a type class and a user can define an instantiation of it, but this is more complicated