Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

  1. hoistASeq :: (forall x . () => f x -> g x) -> ASeq f a -> ASeq g a

    free Control.Applicative.Free.Fast

    Given a natural transformation from f to g this gives a natural transformation from ASeq f to ASeq g.

  2. rebaseASeq :: forall (f :: Type -> Type) u y z v . ASeq f u -> (forall x . () => (x -> y) -> ASeq f x -> z) -> (v -> u -> y) -> ASeq f v -> z

    free Control.Applicative.Free.Fast

    It may not be obvious, but this essentially acts like ++, traversing the first sequence and creating a new one by appending the second sequence. The difference is that this also has to modify the return functions and that the return type depends on the input types. See the source of hoistAp as an example usage.

  3. reduceASeq :: Applicative f => ASeq f u -> f u

    free Control.Applicative.Free.Fast

    Interprets the sequence of effects using the semantics for pure and <*> given by the Applicative instance for f.

  4. traverseASeq :: Applicative h => (forall x . () => f x -> h (g x)) -> ASeq f a -> h (ASeq g a)

    free Control.Applicative.Free.Fast

    Traverse a sequence with resepect to its interpretation type f.

  5. modShapeRequires :: ModuleShape -> Set ModuleName

    Cabal Distribution.Backpack.ModuleShape

    No documentation available.

  6. preModShapeRequires :: PreModuleShape -> Set ModuleName

    Cabal Distribution.Backpack.PreModuleShape

    No documentation available.

  7. ReqArg :: Description -> OptFlags -> ArgPlaceHolder -> ReadE (a -> a) -> (a -> [String]) -> OptDescr a

    Cabal Distribution.Simple.Command

    No documentation available.

  8. reqArg :: Monoid b => ArgPlaceHolder -> ReadE b -> (b -> [String]) -> MkOptDescr (a -> b) (b -> a -> a) a

    Cabal Distribution.Simple.Command

    Create a string-valued command line interface. Usually called in the context of option or multiOption. Example: reqArg ad mkflag showflag

    • ad: Placeholder shown to the user, e.g. FILES if files are expected parameters.
    • mkflag: How to parse the argument into the option.
    • showflag: If parsing goes wrong, display a useful error message to the user.

  9. reqArg' :: Monoid b => ArgPlaceHolder -> (String -> b) -> (b -> [String]) -> MkOptDescr (a -> b) (b -> a -> a) a

    Cabal Distribution.Simple.Command

    (String -> a) variant of "reqArg"

  10. unifiedIPIDRequired :: Compiler -> Bool

    Cabal Distribution.Simple.Compiler

    Does this compiler have unified IPIDs (so no package keys)

Page 185 of many | Previous | Next