Hoogle Search
Within LTS Haskell 24.53 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
singletonLF :: NodeId -> LayoutTree a -> LayoutForest areflex-vty Reflex.Vty.Widget.Layout Create a LayoutForest with one element
-
Unary natural numbers relying on the singletons infrastructure. Unary natural number relying on the singletons infrastructure. More information about the general usage of singletons can be found on the singletons github page.
-
Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. The singletons-presburger plugin augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers, with integration with singletons package. . You can use by adding this package to dependencies and add the following pragma to the head of .hs files: . > OPTIONS_GHC -fplugin Data.Singletons.TypeNats.Presburger
singletonTranslation :: TcPluginM Translationsingletons-presburger Data.Singletons.TypeNats.Presburger No documentation available.
singletonDisjointSet :: a -> DisjointSet aunbound-generics Unbound.Generics.LocallyNameless.Alpha singletonDisjointSet x a DisjointSet a that contains the single element x
singletonRange :: DiscreteOrdered v => v -> Range vRanged-sets Data.Ranged.Ranges A range containing a single value
singletonSMap :: forall (s :: Symbol) d . KnownSymbol s => Proxy s -> Val d s -> SMap d '[s]bowtie Bowtie.SMap No documentation available.
singletonMap :: IsMap map => ContainerKey map -> MapValue map -> mapclassy-prelude-yesod ClassyPrelude.Yesod Create a map from a single key-value pair.
singletonSet :: IsSet set => Element set -> setclassy-prelude-yesod ClassyPrelude.Yesod Create a set from a single element.
singletonCCSLbl :: CostCentre -> G Identghc-lib GHC.StgToJS.Profiling No documentation available.