{"id":17177326,"url":"https://github.com/lexi-lambda/type-assertions","last_synced_at":"2025-03-24T21:43:19.911Z","repository":{"id":56881147,"uuid":"75109427","full_name":"lexi-lambda/type-assertions","owner":"lexi-lambda","description":"Runtime type assertions for testing","archived":false,"fork":false,"pushed_at":"2017-06-05T20:20:10.000Z","size":7,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":4,"default_branch":"master","last_synced_at":"2024-05-09T07:17:00.071Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://hackage.haskell.org/package/type-assertions","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"isc","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/lexi-lambda.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2016-11-29T18:21:18.000Z","updated_at":"2020-01-21T16:00:46.000Z","dependencies_parsed_at":"2022-08-20T23:40:06.811Z","dependency_job_id":null,"html_url":"https://github.com/lexi-lambda/type-assertions","commit_stats":null,"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lexi-lambda%2Ftype-assertions","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lexi-lambda%2Ftype-assertions/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lexi-lambda%2Ftype-assertions/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lexi-lambda%2Ftype-assertions/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lexi-lambda","download_url":"https://codeload.github.com/lexi-lambda/type-assertions/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245359253,"owners_count":20602322,"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":[],"created_at":"2024-10-15T00:03:40.991Z","updated_at":"2025-03-24T21:43:19.885Z","avatar_url":"https://github.com/lexi-lambda.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# type-assertions [![Build Status](https://travis-ci.org/lexi-lambda/type-assertions.svg?branch=master)](https://travis-ci.org/lexi-lambda/type-assertions)\n\nThis module provides a set of runtime assertions about types that propogates information back to the type system, using `Data.Typeable` and `Data.Type.Equality`. These assertions are intended to be used in a test suite (and exclusively in a test suite) to create monomorphic implementations of polymorphic functions. Specifically, this is intended to be used with a package like [test-fixture][] to stub out polymorphic typeclass methods with monomorphic implementations.\n\nFor more information, [see the documentation on Hackage][type-assertions].\n\n[test-fixture]: http://hackage.haskell.org/package/test-fixture\n[type-assertions]: http://hackage.haskell.org/package/type-assertions\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flexi-lambda%2Ftype-assertions","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flexi-lambda%2Ftype-assertions","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flexi-lambda%2Ftype-assertions/lists"}