{"id":19094589,"url":"https://github.com/risto-stevcev/purescript-docker","last_synced_at":"2025-04-18T15:32:33.442Z","repository":{"id":66361978,"uuid":"62016264","full_name":"Risto-Stevcev/purescript-docker","owner":"Risto-Stevcev","description":"Purescript build for Docker :anchor:","archived":true,"fork":false,"pushed_at":"2018-11-16T16:20:00.000Z","size":22,"stargazers_count":3,"open_issues_count":2,"forks_count":9,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-03-23T03:18:44.065Z","etag":null,"topics":["docker","purescript"],"latest_commit_sha":null,"homepage":"http://hub.docker.com/r/gyeh/purescript/","language":"Dockerfile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Risto-Stevcev.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2016-06-27T01:16:08.000Z","updated_at":"2023-07-21T07:55:09.000Z","dependencies_parsed_at":"2023-02-23T02:45:25.186Z","dependency_job_id":null,"html_url":"https://github.com/Risto-Stevcev/purescript-docker","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Risto-Stevcev%2Fpurescript-docker","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Risto-Stevcev%2Fpurescript-docker/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Risto-Stevcev%2Fpurescript-docker/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Risto-Stevcev%2Fpurescript-docker/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Risto-Stevcev","download_url":"https://codeload.github.com/Risto-Stevcev/purescript-docker/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":249514230,"owners_count":21284493,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["docker","purescript"],"created_at":"2024-11-09T03:30:19.058Z","updated_at":"2025-04-18T15:32:33.435Z","avatar_url":"https://github.com/Risto-Stevcev.png","language":"Dockerfile","funding_links":[],"categories":[],"sub_categories":[],"readme":"# purescript-docker\n\n[![Docker Stars](https://img.shields.io/docker/stars/gyeh/purescript.svg?maxAge=2592000)](https://hub.docker.com/r/gyeh/purescript/)\n[![Docker Pulls](https://img.shields.io/docker/pulls/gyeh/purescript.svg?maxAge=2592000)](https://hub.docker.com/r/gyeh/purescript/)\n\nPurescript build for docker\n\n![Purescript](https://raw.githubusercontent.com/Risto-Stevcev/purescript-docker/master/logo.png)\n\n# Build Locally\n\nYou can build the image locally by cloning the repo and running `docker build .` in the project root.\n\n# Usage\n\nNote: You may need to run docker comands as a superuser (sudo) depending on how it's configured on your system.\n\nPull the version you want to use:\n\n```\n$ docker pull gyeh/purescript:0.11.0\n```\n\nCheck to see that your image was created:\n\n```\n$ docker images\nREPOSITORY          TAG                 IMAGE ID            CREATED             SIZE\ngyeh/purescript     0.11.0              2537373befbf        0 minutes ago       831.9 MB\n```\n\nTry the Purescript REPL (you need to run it in interactive mode with a pseudo-teletype):\n\n```\n$ docker run --rm -it gyeh/purescript:0.11.0\n ____                 ____            _       _   \n|  _ \\ _   _ _ __ ___/ ___|  ___ _ __(_)_ __ | |_\n| |_) | | | | '__/ _ \\___ \\ / __| '__| | '_ \\| __|\n|  __/| |_| | | |  __/___) | (__| |  | | |_) | |_\n|_|    \\__,_|_|  \\___|____/ \\___|_|  |_| .__/ \\__|\n                                       |_|        \n\n:? shows help\n\u003e import Prelude\n\u003e 2 + 2\n4\n\n\u003e :t \"Foo\"\nString\n\n\u003e\nSee ya!\n```\n\nTo start doing real work with it, you need to mount a volume to your docker container when you run it.\nClone the [Purescript By Example](https://leanpub.com/purescript/read) code as an initial example:\n\n```\n$ git clone https://github.com/paf31/purescript-book\nCloning into 'purescript-book'...\nChecking connectivity... done.\n```\n\nThen mount the volume using the absolute path of the cloned repo to the `/home/pureuser/src` folder in the container:\n\n```\n$ docker run --rm -itv ~/git/purescript/tmp/purescript-book/:/home/pureuser/src gyeh/purescript:0.11.0 bash\npureuser@1ddb0b0ed568:~$ ls\nsrc  tmp\npureuser@1ddb0b0ed568:~$ cd src/\npureuser@1ddb0b0ed568:~/src$ ls\nCONTRIBUTING.md  README.md  chapter11  chapter13  chapter2  chapter4  chapter6  chapter8\nLICENSE.md       chapter10  chapter12  chapter14  chapter3  chapter5  chapter7  chapter9\npureuser@1ddb0b0ed568:~/src$ cd chapter3/\npureuser@1ddb0b0ed568:~/src/chapter3$ bower install\npureuser@1ddb0b0ed568:~/src/chapter3$ pulp build\n```\n\nIt should have built successfully. You can also run the tests:\n\n```\npureuser@1ddb0b0ed568:~/src/chapter3$ pulp test\n* Build successful.\n* Running tests...\nNothing\nJust (\"Smith, John: 123 Fake St., Faketown, CA\")\n* Tests OK.\n```\n\nSince you mounted the volume, you can actually edit the code outside of the running docker instance and it will update inside the container!\n\nOpen up `chapter3/test/Main.purs` using your favorite editor, and update `example.address.street` in the `example` record to `\"123 Foobar St.\"`. Now rerun the tests, and you'll see that it updated!\n\n```\npureuser@1ddb0b0ed568:~/src/chapter3$ pulp test\n* Build successful.\n* Running tests...\nNothing\nJust (\"Smith, John: 123 Foobar St., Faketown, CA\")\n* Tests OK.\n```\n\nThis docker image creates a user called `pureuser` that it logs in as so that `bower` and `pulp` don't yell at you. If you want to add more stuff as you go along, switch to the superuser (`su`), or add pureuser to sudoers.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fristo-stevcev%2Fpurescript-docker","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fristo-stevcev%2Fpurescript-docker","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fristo-stevcev%2Fpurescript-docker/lists"}