Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

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

   type-set	Data.OneOfThem

   No documentation available.

2. 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
   

3. 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
   

4. type SingletonUnlock = Singleton Unlock

   moffy	Control.Moffy.Event.Lock

   No documentation available.

5. module Codec.Scale.SingletonEnum

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

6. 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.

7. SingletonEnum :: a -> SingletonEnum a

   scale	Codec.Scale.SingletonEnum

   No documentation available.

8. newtype SingletonsRegistry (todo :: [Type]) (ins :: [Type]) (out :: [Type])

   registry	Data.Registry.Rio

   Registry where all Rio values are singletons

9. SingletonsRegistry :: Registry ins out -> SingletonsRegistry (todo :: [Type]) (ins :: [Type]) (out :: [Type])

   registry	Data.Registry.Rio

   No documentation available.

10. SingletonRecords :: MetaClass

    Agda	Agda.TypeChecking.Monad.MetaVars

    Meta variables of "hereditarily singleton" record type.

Page 53 of many | Previous | Next