Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. SetInfo :: String -> [String] -> SMTOption

   sbv	Data.SBV.Trans.Control

   No documentation available.

2. SetLogic :: Logic -> SMTOption

   sbv	Data.SBV.Trans.Control

   No documentation available.

3. SetTimeOut :: Integer -> SMTOption

   sbv	Data.SBV.Trans.Control

   No documentation available.

4. 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.

5. 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.

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

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

   No documentation available.

7. data SetCookieList (n :: Nat)

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

   No documentation available.

8. SetCookieNil :: SetCookieList 'Z

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

   No documentation available.

9. module Servant.Auth.Server.SetCookieOrphan

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

10. data SetId

    set-cover	Math.SetCover.Exact.Priority

    No documentation available.

Page 55 of many | Previous | Next