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.

Exact lookup

1. module GHC.TypeLits.Singletons

   Defines and exports singletons useful for the Natural, Symbol, and Char kinds.

2. module Prelude.Singletons

   Mimics the Haskell Prelude, but with singleton types. Includes the basic singleton definitions. Note: This is currently very incomplete! Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

3. module Text.Show.Singletons

   Defines the SShow singleton version of the Show type class.

4. pattern SingletonFun :: (a -> b) -> OneOfThemFun (Singleton a) b

   type-set	Data.OneOfThem

   No documentation available.

5. data SingletonConstructors

   dhall	Dhall.Marshal.Decode

   This type specifies how to model a Haskell constructor with 1 field in Dhall For example, consider the following Haskell datatype definition:

   data Example = Foo { x :: Double } | Bar Double
   

   Depending on which option you pick, the corresponding Dhall type could be:

   < Foo : Double | Bar : Double >                   -- Bare
   

   < Foo : { x : Double } | Bar : { _1 : Double } >  -- Wrapped
   

   < Foo : { x : Double } | Bar : Double >           -- Smart
   

6. data SingletonConstructors

   dhall	Dhall.Marshal.Encode

   This type specifies how to model a Haskell constructor with 1 field in Dhall For example, consider the following Haskell datatype definition:

   data Example = Foo { x :: Double } | Bar Double
   

   Depending on which option you pick, the corresponding Dhall type could be:

   < Foo : Double | Bar : Double >                   -- Bare
   

   < Foo : { x : Double } | Bar : { _1 : Double } >  -- Wrapped
   

   < Foo : { x : Double } | Bar : Double >           -- Smart
   

7. type SingletonUnlock = Singleton Unlock

   moffy	Control.Moffy.Event.Lock

   No documentation available.

8. module Codec.Scale.SingletonEnum

   This type helps to encode/decode singleton Rust enums like: `enum Enum { Data { some_data: u32 } }`

9. newtype SingletonEnum a

   scale	Codec.Scale.SingletonEnum

   Haskell don't permit to make Rust-like enum type with only one element. For this reason it is impossible to make generic parser for singleton enum type. This type helps to parse Rust encoded singleton enums.

10. SingletonEnum :: a -> SingletonEnum a

    scale	Codec.Scale.SingletonEnum

    No documentation available.

Page 53 of many | Previous | Next