Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

  1. Identifier :: Text -> SExpr -> Identifier

    grisette Grisette.Core

    No documentation available.

  2. data Identifier

    grisette Grisette.Internal.Core.Data.Symbol

    Identifier type used for GenSym The constructor is hidden intentionally. You can construct an identifier by:

    • a raw identifier
    The following two expressions will refer to the same identifier (the solver won't distinguish them and would assign the same value to them). The user may need to use unique names to avoid unintentional identifier collision. 
    >>> identifier "a"
a

    >>> "a" :: Identifier -- available when OverloadedStrings is enabled
a
    • bundle the identifier with some user provided metadata
    Identifiers created with different name or different additional information will not be the same. 
    >>> withMetadata "a" (NumberAtom 1)
a:1
    • bundle the calling file location with the identifier to ensure global uniqueness
    Identifiers created at different locations will not be the same. The identifiers created at the same location will be the same. 
    >>> $$(withLocation "a") -- a sample result could be "a:[grisette-file-location <interactive> 18 (4 18)]"
a:[grisette-file-location <interactive>...]

  3. Identifier :: Text -> SExpr -> Identifier

    grisette Grisette.Internal.Core.Data.Symbol

    No documentation available.

  4. IdentifierDependency :: Identifier -> DependencySelector

    hakyll Hakyll.Core.Dependencies

    No documentation available.

  5. module Hakyll.Core.Identifier

    An identifier is a type used to uniquely name an item. An identifier is similar to a file path, but can contain additional details (e.g. item's version). Examples of identifiers are: 

    • posts/foo.markdown
    • index
    • error/404
    See Identifier for details.

  6. data Identifier

    hakyll Hakyll.Core.Identifier

    A key data type to identify a compiled Item in the Store. Conceptually, it's a combination of a file path and a version name. The version is used only when a file is compiled within a rule using the version wrapper function (the same source file can be compiled into several items in the store, so the version exists to distinguish them). Use functions like fromFilePath, setVersion, getMatches to build an Identifier.

    Usage Examples

    Normally, compiled items are saved to the store by Rules with an automatic, implicit identifier and loaded from the store by the user in another rule with a manual, explicit identifier. Identifiers when using match. Using match builds an implicit identifier that corresponds to the expanded, relative path of the source file on disk (relative to the project directory configured with providerDirectory): 
    -- e.g. file on disk: 'posts/hakyll.md'
match "posts/*" $ do                                          -- saved with implicit identifier 'posts/hakyll.md'
compile pandocCompiler

match "about/*" $ do
compile $ do
compiledPost <- load (fromFilePath "posts/hakyll.md") -- load with explicit identifier
...
    Normally, the identifier is only explicitly created to pass to one of the load functions. Identifiers when using create. Using create (thereby inventing a file path with no underlying file on disk) builds an implicit identifier that corresponds to the invented file path: 
    create ["index.html"] $ do                                -- saved with implicit identifier 'index.html'
compile $ makeItem ("Hello world" :: String)

match "about/*" $ do
compile $ do
compiledIndex <- load (fromFilePath "index.html") -- load with an explicit identifier
...
    Identifiers when using versions. With version the same file can be compiled into several items in the store. A version name is needed to distinguish them: 
    -- e.g. file on disk: 'posts/hakyll.md'
match "posts/*" $ do                              -- saved with implicit identifier ('posts/hakyll.md', no-version)
compile pandocCompiler

match "posts/*" $ version "raw" $ do              -- saved with implicit identifier ('posts/hakyll.md', version raw)
compile getResourceBody

match "about/*" $ do
compile $ do
compiledPost <- load (fromFilePath "posts/hakyll.md")                      -- load no-version version
rawPost <- load . setVersion (Just "raw") $ fromFilePath "posts/hakyll.md" -- load version raw
...
    Use setVersion to set (or replace) the version of an identifier like fromFilePath "posts/hakyll.md".

  7. Ident :: TemplateKey -> TemplateExpr

    hakyll Hakyll.Web.Template.Internal.Element

    No documentation available.

  8. data Identity

    hal AWS.Lambda.Events.ApiGateway.ProxyRequest

    No documentation available.

  9. Identity :: Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Identity

    hal AWS.Lambda.Events.ApiGateway.ProxyRequest

    No documentation available.

  10. pattern IdSplice :: String -> Splice

    haskell-src-exts-simple Language.Haskell.Exts.Simple.Syntax

    No documentation available.

Page 215 of many | Previous | Next