Skip to content

Commit

Permalink
rename to type-depict
Browse files Browse the repository at this point in the history
  • Loading branch information
smillida committed Mar 16, 2022
1 parent 9d8033e commit 204bba6
Show file tree
Hide file tree
Showing 9 changed files with 22 additions and 22 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/nix.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,14 +24,14 @@ jobs:
- name: Tag docker to Heroku
env:
HEROKU_API_KEY: ${{ secrets.HEROKU_API_KEY }}
run: docker tag signature-visualizer:latest registry.heroku.com/signature-visualizer/web
run: docker tag type-depict:latest registry.heroku.com/type-depict/web
- name: Inspect tagged
run: docker inspect -s registry.heroku.com/signature-visualizer/web
run: docker inspect -s registry.heroku.com/type-depict/web
- name: Push docker to Heroku
env:
HEROKU_API_KEY: ${{ secrets.HEROKU_API_KEY }}
run: docker push registry.heroku.com/signature-visualizer/web
run: docker push registry.heroku.com/type-depict/web
- name: Heroku container release
env:
HEROKU_API_KEY: ${{ secrets.HEROKU_API_KEY }}
run: heroku container:release web -a signature-visualizer
run: heroku container:release web -a type-depict
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ The core idea is representing any Haskell type level signature as a combination
Connections represents the function arrow `->`, Embellishment any sort of type with kind `(* -> *)` or higher, and Dots being any type with a kind `*`. Groups
represents precedence of a sub-expression that should be visualized first.

![visualizations](https://github.com/mariatsji/signature-visualizer/blob/main/doc/Visual.png?raw=true)
![visualizations](https://github.com/mariatsji/type-depict/blob/main/doc/Visual.png?raw=true)

## Known limitations:
Cant parse PolyKinds or FunDeps signatures
2 changes: 1 addition & 1 deletion default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,4 @@ let

in nixpkgs.haskell.lib.justStaticExecutables
(nixpkgs.haskell.lib.disableLibraryProfiling (nixpkgs.haskell.lib.dontHaddock
(nixpkgs.haskellPackages.callCabal2nix "signature-visualizer" ./. { })))
(nixpkgs.haskellPackages.callCabal2nix "type-depict" ./. { })))
8 changes: 4 additions & 4 deletions hie.yaml
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
cradle:
cabal:
- path: "src"
component: "lib:signature-visualizer"
component: "lib:type-depict"

- path: "app/Main.hs"
component: "signature-visualizer:exe:signature-visualizer"
component: "type-depict:exe:type-depict"

- path: "webserver/Main.hs"
component: "signature-visualizer:exe:signature-visualizer-webserver"
component: "type-depict:exe:type-depict-ws"

- path: "test"
component: "signature-visualizer:test:signature-visualizer-test"
component: "type-depict:test:type-depict-test"
4 changes: 2 additions & 2 deletions nix/docker.nix
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

let
nixpkgs = import ./nixpkgs.nix;
artifactName = "signature-visualizer";
artifactName = "type-depict";
extraFiles = ../assets;

# builds a base image to extend with a stack-built binary
Expand Down Expand Up @@ -33,6 +33,6 @@ in with nixpkgs; dockerTools.buildLayeredImage {
"TZ=Europe/Oslo"
"PATH=${bash}/bin:${busybox}/bin:${curl}/bin"
];
Cmd = [ "${artifact}/bin/signature-visualizer-webserver" ];
Cmd = [ "${artifact}/bin/type-depict-webserver" ];
};
}
2 changes: 1 addition & 1 deletion release.nix
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
let pkgs = import ./nix/nixpkgs.nix;
in pkgs.haskellPackages.callCabal2nix "signature-visualizer" ./. {}
in pkgs.haskellPackages.callCabal2nix "type-depict" ./. {}
2 changes: 1 addition & 1 deletion svg.sh
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
rm index.html
cabal run signature-visualizer
cabal run type-depict
open index.html
14 changes: 7 additions & 7 deletions signature-visualizer.cabal → type-depict.cabal
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
cabal-version: 2.4
name: signature-visualizer
name: type-depict
version: 0.1.0.0

-- A short (one-line) description of the package.
Expand Down Expand Up @@ -52,12 +52,12 @@ library
QuasiQuotes
TypeApplications

executable signature-visualizer
executable type-depict
main-is: Main.hs
ghc-options: -threaded -rtsopts -with-rtsopts=-N1
build-depends:
base ^>=4.14.3.0,
signature-visualizer,
type-depict,
svg-builder,
text,
transformers
Expand All @@ -70,7 +70,7 @@ executable signature-visualizer
RankNTypes
RecordWildCards

executable signature-visualizer-webserver
executable type-depict-ws
main-is: Main.hs
ghc-options: -threaded -rtsopts -with-rtsopts=-N1
build-depends:
Expand All @@ -82,7 +82,7 @@ executable signature-visualizer-webserver
http-types,
neat-interpolation,
scotty,
signature-visualizer,
type-depict,
svg-builder,
text,
transformers
Expand All @@ -98,13 +98,13 @@ executable signature-visualizer-webserver
QuasiQuotes
TypeApplications

Test-Suite signature-visualizer-test
Test-Suite type-depict-test
type: exitcode-stdio-1.0
main-is: Spec.hs
ghc-options: -O2 -fwarn-incomplete-patterns -fwarn-redundant-constraints -fwarn-unused-imports -fwarn-unused-packages
hs-source-dirs: test
build-depends:
signature-visualizer,
type-depict,
base ^>=4.14.3.0,
hspec
other-modules:
Expand Down
2 changes: 1 addition & 1 deletion webserver/Main.hs
Original file line number Diff line number Diff line change
Expand Up @@ -133,7 +133,7 @@ credits :: Html
credits =
fromStrict
[NI.text|
<p class="credits">Created by <a href="https://twitter.com/SjurMillidahl">Sjur Millidahl</a>, published at <a href="https://github.com/mariatsji/signature-visualizer">GitHub</a></p>
<p class="credits">Created by <a href="https://twitter.com/SjurMillidahl">Sjur Millidahl</a>, published at <a href="https://github.com/mariatsji/type-depict">GitHub</a></p>
|]

shareLinkJs :: Html
Expand Down

0 comments on commit 204bba6

Please sign in to comment.