{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/singletons-th","name":"singletons-th","description":"singletons-th defines Template Haskell functionality that allows\npromotion of term-level functions to type-level equivalents and\nsingling functions to dependently typed equivalents. This library was\noriginally presented in Dependently Typed Programming with Singletons,\npublished at the Haskell Symposium, 2012.\n(https://richarde.dev/papers/2012/singletons/paper.pdf)\nSee also the paper published at Haskell Symposium, 2014, which describes\nhow promotion works in greater detail:\nhttps://richarde.dev/papers/2014/promotion/promotion.pdf.\n\nsingletons-th generates code that relies on bleeding-edge GHC language\nextensions. As such, singletons-th only supports the latest major version\nof GHC (currently GHC 9.14). For more information,\nconsult the singletons\nREADME.\n\nYou may also be interested in the following related libraries:\n\nThe singletons library is a small, foundational library that defines\nbasic singleton-related types and definitions.\n\nThe singletons-base library uses singletons-th to define promoted and\nsingled functions from the base library, including the Prelude.","version":"3.5.1","softwareVersion":"3.5.1","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/goldfirere/singletons","issueTracker":"https://github.com/goldfirere/singletons/issues","url":"http://www.github.com/goldfirere/singletons","keywords":["bsd3","dependent-types","library","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"ryanglscott"}],"author":[{"@type":"Person","name":"ryanglscott"}],"copyrightHolder":[{"@type":"Person","name":"ryanglscott"}],"dateCreated":"2021-03-12","dateModified":"2026-01-11","datePublished":"2026-01-11","copyrightYear":2021,"downloadUrl":"https://hackage.haskell.org/package/singletons-th-3.5.1/singletons-th-3.5.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/singletons-th"],"https://www.w3.org/ns/activitystreams#likes":294,"https://forgefed.org/ns#forks":38}