Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. data ASeq (f :: Type -> Type) a

   free	Control.Applicative.Free.Fast

   The free applicative is composed of a sequence of effects, and a pure function to apply that sequence to. The fast free applicative separates these from each other, so that the sequence may be built up independently, and so that fmap can run in constant time by having immediate access to the pure function.

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

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

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

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

6. modShapeRequires :: ModuleShape -> Set ModuleName

   Cabal	Distribution.Backpack.ModuleShape

   No documentation available.

7. preModShapeRequires :: PreModuleShape -> Set ModuleName

   Cabal	Distribution.Backpack.PreModuleShape

   No documentation available.

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

   Cabal	Distribution.Simple.Command

   No documentation available.

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

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

    Cabal	Distribution.Simple.Command

    (String -> a) variant of "reqArg"

Page 185 of many | Previous | Next