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.

Exact lookup

1. singletonArray :: forall a (n :: Nullability) . IsSqlType a => Field_ n a -> Field (SqlArray_ n a)

   opaleye	Opaleye.Operators

   No documentation available.

2. singleton_sql_json_item_required :: ByteString

   postgresql-typed	Database.PostgreSQL.Typed.ErrCodes

   SINGLETON_SQL_JSON_ITEM_REQUIRED: 22038 (Error)

3. singleton' :: a -> NERAVec' 'Z BinP1 a

   ral	Data.RAVec.NonEmpty

   No documentation available.

4. singletonRange :: (Int, Int) -> RIntSet

   range-set-list	Data.RangeSet.IntMap

   O(1). Create a continuos range set.

5. singletonRange :: Ord a => (a, a) -> RSet a

   range-set-list	Data.RangeSet.List

   O(1). Create a continuos range set.

6. singletonRange :: Ord a => (a, a) -> RSet a

   range-set-list	Data.RangeSet.Map

   O(1). Create a continuos range set.

7. package singleton-nats

   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.

8. package singletons-presburger

   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

9. singletonTranslation :: TcPluginM Translation

   singletons-presburger	Data.Singletons.TypeNats.Presburger

   No documentation available.

10. singletonDisjointSet :: a -> DisjointSet a

    unbound-generics	Unbound.Generics.LocallyNameless.Alpha

    singletonDisjointSet x a DisjointSet a that contains the single element x

Page 48 of many | Previous | Next