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. module Documentation.SBV.Examples.Misc.SetAlgebra

   Proves various algebraic properties of sets using SBV. The properties we prove all come from http://en.wikipedia.org/wiki/Algebra_of_sets.

2. data SetCookie

   servant-auth-server	Servant.Auth.Server

   Data type representing the key-value pair to use for a cookie, as well as configuration options for it.

   Creating a SetCookie

   SetCookie does not export a constructor; instead, use defaultSetCookie and override values (see http://www.yesodweb.com/book/settings-types for details):

   import Web.Cookie
   :set -XOverloadedStrings
   let cookie = defaultSetCookie { setCookieName = "cookieName", setCookieValue = "cookieValue" }
   

   Cookie Configuration

   Cookies have several configuration options; a brief summary of each option is given below. For more information, see RFC 6265 or Wikipedia.

3. SetCookieCons :: forall (n1 :: Nat) . Maybe SetCookie -> SetCookieList n1 -> SetCookieList ('S n1)

   servant-auth-server	Servant.Auth.Server.Internal.AddSetCookie

   No documentation available.

4. data SetCookieList (n :: Nat)

   servant-auth-server	Servant.Auth.Server.Internal.AddSetCookie

   No documentation available.

5. SetCookieNil :: SetCookieList 'Z

   servant-auth-server	Servant.Auth.Server.Internal.AddSetCookie

   No documentation available.

6. module Servant.Auth.Server.SetCookieOrphan

   Deprecated: instance exists in http-api-data-0.3.9. This module will be removed in next major release.

7. data SetId

   set-cover	Math.SetCover.Exact.Priority

   No documentation available.

8. newtype SetId

   set-cover	Math.SetCover.Queue

   No documentation available.

9. SetId :: Int -> SetId

   set-cover	Math.SetCover.Queue

   No documentation available.

10. module System.Locale.SetLocale

    No documentation available.

Page 55 of many | Previous | Next