Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

  1. forksForR :: forall (k :: RW) . Name Owner -> Name Repo -> FetchCount -> Request k (Vector Repo)

    github GitHub

    List forks. See https://developer.github.com/v3/repos/forks/#list-forks

  2. forkExistingRepoR :: Name Owner -> Name Repo -> Maybe (Name Owner) -> Request 'RW Repo

    github GitHub.Endpoints.Repos

    Fork an existing repository. See https://developer.github.com/v3/repos/forks/#create-a-fork TODO: The third paramater (an optional Organisation) is not used yet.

  3. forksForR :: forall (k :: RW) . Name Owner -> Name Repo -> FetchCount -> Request k (Vector Repo)

    github GitHub.Endpoints.Repos.Forks

    List forks. See https://developer.github.com/v3/repos/forks/#list-forks

  4. formatISO8601 :: UTCTime -> String

    github GitHub.Internal.Prelude

    Formats a time in ISO 8601, with up to 12 second decimals. This is the formatTime format %FT%T%Q == %%Y-%m-%dT%%H:%M:%S%Q.

  5. forkProject :: Project -> GitLab (Either (Response ByteString) (Maybe Project))

    gitlab-haskell GitLab.API.Projects

    Forks a project into the user namespace of the authenticated user or the one provided.

  6. forkRelation :: Project -> Project -> GitLab (Either (Response ByteString) (Maybe Project))

    gitlab-haskell GitLab.API.Projects

    Allows modification of the forked relationship between existing projects. Available only for project owners and administrators.

  7. forallTerm :: TypedSymbol 'ConstantKind t -> Term Bool -> Term Bool

    grisette Grisette.Internal.SymPrim.Prim.Internal.Term

    Construct and internalizing a ForallTerm.

  8. forallFresh :: (HasCallStack, ExtractSym v, MonadFresh m, GenSym spec v, TryMerge m) => spec -> (v -> FreshT Union SymBool) -> m SymBool

    grisette Grisette.Internal.SymPrim.Quantifier

    Forall quantifier over symbolic constants in a freshly generated value. Quantifier over functions is not supported. 

    >>> :{
x :: Fresh SymBool
x = forallFresh () $ \(a :: SymBool) ->
existsFresh () $ \(b :: SymBool) ->
mrgReturn $ a .== b
:}

    >>> runFresh x "x"
(forall x@0 :: Bool (exists x@1 :: Bool (= x@0 x@1)))
    Only available with sbv 10.1.0 or later.

  9. forallSet :: ConstantSymbolSet -> SymBool -> SymBool

    grisette Grisette.Internal.SymPrim.Quantifier

    Forall quantifier over a set of constant symbols. Quantifier over functions is not supported. 

    >>> let xsym = "x" :: TypedConstantSymbol Integer

>>> let ysym = "y" :: TypedConstantSymbol Integer

>>> let x = "x" :: SymInteger

>>> let y = "y" :: SymInteger

>>> forallSet (buildSymbolSet [xsym, ysym]) (x .== y)
(forall x :: Integer (forall y :: Integer (= x y)))
    Only available with SBV 10.1.0 or later.

  10. forallSym :: (HasCallStack, ExtractSym a) => a -> SymBool -> SymBool

    grisette Grisette.Internal.SymPrim.Quantifier

    Forall quantifier over all symbolic constants in a value. Quantifier over functions is not supported. 

    >>> let a = ["x", "y"] :: [SymInteger]

>>> forallSym a $ sum a .== 0
(forall x :: Integer (forall y :: Integer (= (+ x y) 0)))
    Only available with sbv 10.1.0 or later.

Page 164 of many | Previous | Next