Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. data SumType (types :: [Type])

   aeson-schemas	Data.Aeson.Schema.Utils.Sum

   Represents a sum type. Loads the first type that successfully parses the JSON value. Example:

   data Owl = Owl
   data Cat = Cat
   data Toad = Toad
   type Animal = SumType '[Owl, Cat, Toad]
   
   Here Owl                         :: Animal
   There (Here Cat)                 :: Animal
   There (There (Here Toad))        :: Animal
   
   {- Fails at compile-time
   Here True                        :: Animal
   Here Cat                         :: Animal
   There (Here Owl)                 :: Animal
   There (There (There (Here Owl))) :: Animal
   -}
   
   

2. type family SumArity (arg :: Type -> Type) :: Natural

   derive-storable	Foreign.Storable.Generic.Tools.TypeFuns

   No documentation available.

3. data SumEncoding

   elm-bridge	Elm.Derive

   Specifies how to encode constructors of a sum datatype.

4. newtype SumEncoding'

   elm-bridge	Elm.TyRep

   No documentation available.

5. SumEncoding' :: SumEncoding -> SumEncoding'

   elm-bridge	Elm.TyRep

   No documentation available.

6. data SumTypeConstructor

   elm-bridge	Elm.TyRep

   No documentation available.

7. data SumTypeFields

   elm-bridge	Elm.TyRep

   No documentation available.

8. SumRep :: [RuntimeRep] -> RuntimeRep

   ihaskell	IHaskellPrelude

   An unboxed sum of the given reps

9. SumObserverType :: InstrumentType

   opentelemetry-extra	OpenTelemetry.Common

   No documentation available.

10. SumFuse :: Text -> (Int -> Int) -> Int -> SumPattern a

    perf	Perf.Algos

    No documentation available.

Page 29 of many | Previous | Next