Skip to content

PureScript API code generation #146

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
jonathanlking wants to merge 20 commits into
base: master
Choose a base branch
from
Draft

PureScript API code generation #146

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
cdc4a04
Inital seam
jonathanlking Apr 29, 2018
afa858f
Add demo files
jonathanlking Apr 29, 2018
f565d48
Create code file
jonathanlking Apr 29, 2018
4ccf2b3
Start work on efsms
jonathanlking Apr 30, 2018
9a0db4d
Naive code gen without support for data types
jonathanlking May 1, 2018
52ed96a
Output data types, but there is a bug
jonathanlking May 1, 2018
6224733
Before major refactor
jonathanlking May 2, 2018
a66ee58
Mid refactor
jonathanlking May 2, 2018
5f1b93c
Fix some bugs + tidy code
jonathanlking May 2, 2018
14784e8
Derive JSON encoding/decoding
jonathanlking May 2, 2018
a2f9715
Generate ProtocolName, ProtocolRoleNames and RoleName instances
jonathanlking May 8, 2018
60bfcdf
Fix bugs in codegen
jonathanlking May 10, 2018
2c9f8b9
Import tuple
jonathanlking Jun 1, 2018
bb3097a
Generate code for explicit connections
jonathanlking Nov 5, 2018
fa5305d
Fix codegen + improve command line usage
jonathanlking Jan 12, 2019
d9a713b
Include both roles in Branch
jonathanlking Jan 13, 2019
d95014c
Update PSEndpointApiGenerator.java
jonathanlking Dec 15, 2019
8e72bfd
Use new json encoding
jonathanlking Dec 30, 2019
d08cca6
Generate row instead of rowlist
jonathanlking Dec 30, 2019
0fafea1
Fix Dockerfile
jonathanlking Apr 12, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Use new json encoding
  • Loading branch information
@jonathanlking
jonathanlking committed Dec 30, 2019
commit 8e72bfde6193c8c8a78cc888e2befc05ee70117d
4 changes: 2 additions & 2 deletions scribble-codegen/src/main/java/org/scribble/codegen/purescript/DataType.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -58,9 +58,9 @@ public String generateDataType() {
if (kind.equals(KIND_TYPE)) {
sb.append("derive instance generic" + name + " :: Generic " + name + " _\n");
sb.append("instance encodeJson" + name + " :: EncodeJson " + name + " where\n");
sb.append(" encodeJson = genericEncodeJson\n");
sb.append(" encodeJson = genericEncodeJsonWith jsonEncoding\n");
sb.append("instance decodeJson" + name + " :: DecodeJson " + name + " where\n");
sb.append(" decodeJson = genericDecodeJson\n");
sb.append(" decodeJson = genericDecodeJsonWith jsonEncoding\n");
}
return sb.toString();
}
Expand Down
21 changes: 19 additions & 2 deletions scribble-codegen/src/main/java/org/scribble/codegen/purescript/PSEndpointApiGenerator.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -255,6 +255,9 @@ public Map<String, String> generateApi(GProtocolName fullname) throws ScribbleEx
// Foreign imports
sections.add(ForeignType.generateImports(new HashSet<>(foreignImports.values())));

// TODO: Maybe this should be refactored out?
sections.add(jsonEncoding());

// Message data types
StringBuilder dt = new StringBuilder();
for (String type : datatypes.keySet()) {
Expand Down Expand Up @@ -328,8 +331,22 @@ private static String jsonImports() {
sb.append("import Data.Argonaut.Core (Json) -- From purescript-argonaut-core\n");
sb.append("import Data.Generic.Rep (class Generic) -- From purescript-generics-rep\n");
sb.append("-- From purescript-argonaut-generic\n");
sb.append("import Data.Argonaut.Decode.Generic.Rep (genericDecodeJson)\n");
sb.append("import Data.Argonaut.Encode.Generic.Rep (genericEncodeJson)\n");
sb.append("import Data.Argonaut.Decode.Generic.Rep (genericDecodeJsonWith)\n");
sb.append("import Data.Argonaut.Encode.Generic.Rep (genericEncodeJsonWith)\n");
sb.append("import Data.Argonaut.Types.Generic.Rep (Encoding)\n");

return sb.toString();
}

private static String jsonEncoding() {
StringBuilder sb = new StringBuilder();
sb.append("jsonEncoding :: Encoding\n");
sb.append("jsonEncoding =\n");
sb.append(" { tagKey: \"tag\"\n");
sb.append(" , valuesKey: \"values\"\n");
sb.append(" , unwrapSingleArguments: true\n");
sb.append(" }\n");

return sb.toString();
}

Expand Down