{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/typelevel-rewrite-rules","name":"typelevel-rewrite-rules","description":"A typechecker plugin which allows the user to specify a set of domain-specific rewrite rules. These get applied whenever the compiler is unable to solve a type equality constraint, in the hope that the rewritten equality constraint will be easier to solve.","version":"1.0.0.1","softwareVersion":"1.0.0.1","license":"https://spdx.org/licenses/Other","codeRepository":"https://github.com/gelisam/typelevel-rewrite-rules","issueTracker":"https://github.com/gelisam/typelevel-rewrite-rules/issues","url":"https://github.com/gelisam/typelevel-rewrite-rules#readme","keywords":["library","type-system","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"gelisam"}],"author":[{"@type":"Person","name":"gelisam"}],"copyrightHolder":[{"@type":"Person","name":"gelisam"}],"dateCreated":"2020-01-05","dateModified":"2023-03-16","datePublished":"2023-03-16","copyrightYear":2020,"downloadUrl":"https://hackage.haskell.org/package/typelevel-rewrite-rules-1.0.0.1/typelevel-rewrite-rules-1.0.0.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/typelevel-rewrite-rules"],"https://www.w3.org/ns/activitystreams#likes":62,"https://forgefed.org/ns#forks":4}