{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/singletons-base","name":"singletons-base","description":"singletons-base uses singletons-th to define promoted and singled\nfunctions from the base library, including the Prelude. 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.\nWARNING: singletons-base defines orphan instances for Sing, SingKind,\netc. for common types such as Bool, [], Maybe, etc. If you define\ninstances of these types in your code, you will likely not be able to use\nthat code with singletons-base.\n.\nsingletons-base uses code that relies on bleeding-edge GHC language\nextensions. As such, singletons-base 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.\n* The singletons library is a small, foundational library that defines\n  basic singleton-related types and definitions.\n.\n* The singletons-th library defines Template Haskell functionality that\n  allows promotion of term-level functions to type-level equivalents and\n  singling functions to dependently typed equivalents.","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-base-3.5.1/singletons-base-3.5.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/singletons-base"],"https://www.w3.org/ns/activitystreams#likes":295,"https://forgefed.org/ns#forks":39}