{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/singletons","name":"singletons","description":"singletons contains the basic types and definitions needed to support\ndependently typed programming techniques in Haskell. 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)\n\nsingletons is intended to be a small, foundational library on which other\nprojects can build. As such, singletons has a minimal dependency\nfootprint and supports GHCs dating back to GHC 8.0. For more information,\nconsult the singletons\nREADME.\n\nYou may also be interested in the following related libraries:\n\nThe singletons-th library defines Template Haskell functionality that\nallows promotion of term-level functions to type-level equivalents and\nsingling functions to dependently typed equivalents.\n\nThe singletons-base library uses singletons-th to define promoted and\nsingled functions from the base library, including the Prelude.","version":"3.0.4","softwareVersion":"3.0.4","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"},{"@type":"Person","name":"RichardEisenberg"}],"author":[{"@type":"Person","name":"ryanglscott"},{"@type":"Person","name":"RichardEisenberg"}],"copyrightHolder":[{"@type":"Person","name":"ryanglscott"},{"@type":"Person","name":"RichardEisenberg"}],"dateCreated":"2012-06-02","dateModified":"2024-12-11","datePublished":"2024-12-11","copyrightYear":2012,"downloadUrl":"https://hackage.haskell.org/package/singletons-3.0.4/singletons-3.0.4.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/singletons"],"https://www.w3.org/ns/activitystreams#likes":286,"https://forgefed.org/ns#forks":36}