{"id":19026401,"url":"https://github.com/kcsongor/purescript-record-format","last_synced_at":"2026-03-01T05:07:33.511Z","repository":{"id":47146654,"uuid":"101549578","full_name":"kcsongor/purescript-record-format","owner":"kcsongor","description":"Experimental record formatting from type-level format strings","archived":false,"fork":false,"pushed_at":"2023-07-23T22:00:11.000Z","size":17,"stargazers_count":24,"open_issues_count":1,"forks_count":5,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-02-02T03:02:50.541Z","etag":null,"topics":["purescript"],"latest_commit_sha":null,"homepage":null,"language":"PureScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/kcsongor.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":"2017-08-27T12:04:18.000Z","updated_at":"2021-12-15T13:08:46.000Z","dependencies_parsed_at":"2024-11-08T20:49:06.748Z","dependency_job_id":"bc85fce6-4e50-48e3-b100-e192359de524","html_url":"https://github.com/kcsongor/purescript-record-format","commit_stats":{"total_commits":24,"total_committers":3,"mean_commits":8.0,"dds":0.375,"last_synced_commit":"5351a2515a7892c1b4e136ddb92f642682de3f3e"},"previous_names":[],"tags_count":5,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kcsongor%2Fpurescript-record-format","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kcsongor%2Fpurescript-record-format/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kcsongor%2Fpurescript-record-format/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kcsongor%2Fpurescript-record-format/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/kcsongor","download_url":"https://codeload.github.com/kcsongor/purescript-record-format/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240072111,"owners_count":19743528,"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":["purescript"],"created_at":"2024-11-08T20:48:59.258Z","updated_at":"2026-03-01T05:07:28.456Z","avatar_url":"https://github.com/kcsongor.png","language":"PureScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# purescript-record-format\n\nRecord formatting from type-level format strings, based on [Justin Woo](https://github.com/justinwoo)'s idea.\n\nThis library uses the 0.12 version of the compiler.\n\n## Example\n\n```purescript\nformat\n  (SProxy :: SProxy \"Hi {name}! Your favourite number is {number}\")\n  {name : \"Bill\", number : 16}\n```\n\nproduces the string\n\n```\n\"Hi Bill! Your favourite number is 16\"\n```\n\nA missing field results in a type-error:\n\n```purescript\nformat\n  (SProxy \"Hi {name}! Your favourite number is {number}\")\n  {name : \"Bill\"}\n```\n\n```\n  Could not match type\n\n    ( number :: t2\n    | t3\n    )\n\n  with type\n\n    ( name :: String\n    )\n```\n\nThe only requirement is that all the types in the record have `Show`\ninstances.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkcsongor%2Fpurescript-record-format","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fkcsongor%2Fpurescript-record-format","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkcsongor%2Fpurescript-record-format/lists"}