Hoogle Search

Within LTS Haskell 24.28 (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. newtype SingletonsRegistry (todo :: [Type]) (ins :: [Type]) (out :: [Type])

   registry	Data.Registry.Rio

   Registry where all Rio values are singletons

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

   registry	Data.Registry.Rio

   No documentation available.

7. SingletonRecords :: MetaClass

   Agda	Agda.TypeChecking.Monad.MetaVars

   Meta variables of "hereditarily singleton" record type.

8. SingletonDate :: Date -> DatePattern

   Hastructure	Types

   No documentation available.

9. SingletonRange :: a -> Range a

   range	Data.Range

   Represents a single element as a range. SingletonRange a is equivalent to SpanRange (Bound a Inclusive) (Bound a Inclusive).

10. newtype SingletonProof (f :: Flavor) a r

    refined-containers	Data.HashMap.Refined

    Proof that r contains an element of type a.

Page 53 of many | Previous | Next