Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. class GenericFromDhall (t :: k) (f :: k1 -> Type)

   dhall	Dhall.Marshal.Decode

   This is the underlying class that powers the FromDhall class's support for automatically deriving a generic implementation.

2. class GenericFromDhallUnion (t :: k) (f :: k1 -> Type)

   dhall	Dhall.Marshal.Decode

   This is the underlying class that powers the FromDhall class's support for automatically deriving a generic implementation for a union type.

3. showDhallErrors :: Show e => String -> DhallErrors e -> String

   dhall	Dhall.Marshal.Decode

   Render a given prefix and some errors to a string.

4. class GenericToDhall (f :: Type -> Type)

   dhall	Dhall.Marshal.Encode

   This is the underlying class that powers the FromDhall class's support for automatically deriving a generic implementation.

5. class ToDhall a

   dhall	Dhall.Marshal.Encode

   This class is used by FromDhall instance for functions:

   instance (ToDhall a, FromDhall b) => FromDhall (a -> b)
   

   You can convert Dhall functions with "simple" inputs (i.e. instances of this class) into Haskell functions. This works by:
   • Marshaling the input to the Haskell function into a Dhall expression (i.e. x :: Expr Src Void)
   • Applying the Dhall function (i.e. f :: Expr Src Void) to the Dhall input (i.e. App f x)
   • Normalizing the syntax tree (i.e. normalize (App f x))
   • Marshaling the resulting Dhall expression back into a Haskell value
   This class auto-generates a default implementation for types that implement Generic. This does not auto-generate an instance for recursive types. The default instance can be tweaked using genericToDhallWith/genericToDhallWithInputNormalizer and custom InterpretOptions, or using DerivingVia and Codec from Dhall.Deriving.

6. genericToDhall :: (Generic a, GenericToDhall (Rep a)) => Encoder a

   dhall	Dhall.Marshal.Encode

   Use the default options for injecting a value, whose structure is determined generically. This can be used when you want to use ToDhall on types that you don't want to define orphan instances for.

7. genericToDhallWith :: (Generic a, GenericToDhall (Rep a)) => InterpretOptions -> Encoder a

   dhall	Dhall.Marshal.Encode

   Use custom options for injecting a value, whose structure is determined generically. This can be used when you want to use ToDhall on types that you don't want to define orphan instances for.

8. genericToDhallWithInputNormalizer :: (Generic a, GenericToDhall (Rep a)) => InterpretOptions -> InputNormalizer -> Encoder a

   dhall	Dhall.Marshal.Encode

   genericToDhallWithInputNormalizer is like genericToDhallWith, but instead of using the defaultInputNormalizer it expects an custom InputNormalizer.

9. genericToDhallWithNormalizer :: GenericToDhall f => InputNormalizer -> InterpretOptions -> State Int (Encoder (f a))

   dhall	Dhall.Marshal.Encode

   No documentation available.

10. temporalLiteral :: Parser (Expr s a)

    dhall	Dhall.Parser.Expression

    Parse a Date, Time, TimeZone or any valid permutation of them as a record This corresponds to the temporal-literal rule from the official grammar

Page 674 of many | Previous | Next