Hoogle Search
Within LTS Haskell 24.22 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
singletonMapCursorValue :: k -> vc -> MapCursor kc vc k vcursor Cursor.Map No documentation available.
singletonForestCursor :: a -> ForestCursor a bcursor Cursor.Simple.Forest No documentation available.
singletonNonEmptyCursor :: a -> NonEmptyCursor a bcursor Cursor.Simple.List.NonEmpty No documentation available.
singletonMapCursorKey :: kc -> v -> MapCursor kc vc k vcursor Cursor.Simple.Map No documentation available.
singletonMapCursorValue :: k -> vc -> MapCursor kc vc k vcursor Cursor.Simple.Map No documentation available.
singletonTreeCursor :: a -> TreeCursor acursor Cursor.Simple.Tree No documentation available.
singletonTreeCursor :: a -> TreeCursor a bcursor Cursor.Tree.Base No documentation available.
-
A framework for generating singleton types singletons-th defines Template Haskell functionality that allows promotion of term-level functions to type-level equivalents and singling functions to dependently typed equivalents. This library was originally presented in Dependently Typed Programming with Singletons, published at the Haskell Symposium, 2012. (https://richarde.dev/papers/2012/singletons/paper.pdf) See also the paper published at Haskell Symposium, 2014, which describes how promotion works in greater detail: https://richarde.dev/papers/2014/promotion/promotion.pdf. singletons-th generates code that relies on bleeding-edge GHC language extensions. As such, singletons-th only supports the latest major version of GHC (currently GHC 9.10). For more information, consult the singletons README. You may also be interested in the following related libraries:
- The singletons library is a small, foundational library that defines basic singleton-related types and definitions.
- The singletons-base library uses singletons-th to define promoted and singled functions from the base library, including the Prelude.
singletons :: OptionsMonad q => q [Dec] -> q [Dec]singletons-th Data.Singletons.TH Make promoted and singled versions of all declarations given, retaining the original declarations. See the README for further explanation.
singletonsOnly :: OptionsMonad q => q [Dec] -> q [Dec]singletons-th Data.Singletons.TH Make promoted and singled versions of all declarations given, discarding the original declarations. Note that a singleton based on a datatype needs the original datatype, so this will fail if it sees any datatype declarations. Classes, instances, and functions are all fine.