Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. class Proposition (f :: k -> Type)

   equational-reasoning	Proof.Equational

   No documentation available.

2. data Proxy (t :: k)

   equational-reasoning	Proof.Equational

   Proxy is a type that holds no data, but has a phantom parameter of arbitrary type (or even kind). Its use is to provide type information, even though there is no value available of that type (or it may be too costly to create one). Historically, Proxy :: Proxy a is a safer alternative to the undefined :: a idiom.

   >>> Proxy :: Proxy (Void, Int -> Int)
   Proxy
   

   Proxy can even hold types of higher kinds,

   >>> Proxy :: Proxy Either
   Proxy
   

   >>> Proxy :: Proxy Functor
   Proxy
   

   >>> Proxy :: Proxy complicatedStructure
   Proxy
   

3. Proxy :: Proxy (t :: k)

   equational-reasoning	Proof.Equational

   No documentation available.

4. module Proof.Propositional

   Provides type synonyms for logical connectives.

5. PersistArray :: [PersistValue] -> PersistValue

   esqueleto	Database.Esqueleto

   Intended especially for PostgreSQL backend for text arrays

6. PersistBool :: Bool -> PersistValue

   esqueleto	Database.Esqueleto

   No documentation available.

7. PersistByteString :: ByteString -> PersistValue

   esqueleto	Database.Esqueleto

   No documentation available.

8. class PersistConfig c

   esqueleto	Database.Esqueleto

   Represents a value containing all the configuration options for a specific backend. This abstraction makes it easier to write code that can easily swap backends.

9. type family PersistConfigBackend c :: Type -> Type -> Type -> Type

   esqueleto	Database.Esqueleto

   No documentation available.

10. type family PersistConfigPool c

    esqueleto	Database.Esqueleto

    No documentation available.

Page 481 of many | Previous | Next