Hoogle Search

Within LTS Haskell 24.58 (ghc-9.10.3)

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

Exact lookup

1. sizeInPixels :: ImageSize -> (Integer, Integer)

   pandoc	Text.Pandoc.ImageSize

   No documentation available.

2. writerIdentifierPrefix :: WriterOptions -> Text

   pandoc	Text.Pandoc.Options

   Prefix for section & note ids in HTML and for footnote marks in markdown

3. Appendix :: Term

   pandoc	Text.Pandoc.Translations.Types

   No documentation available.

4. fixDisplayMath :: Block -> Block

   pandoc	Text.Pandoc.Writers.Shared

   Put display math in its own block (for ODT/DOCX).

5. module Polysemy.Fixpoint

   No documentation available.

6. newtype Fixpoint (m :: Type -> Type) a

   polysemy	Polysemy.Fixpoint

   An effect for providing mfix.

7. Fixpoint :: forall a (m :: Type -> Type) . (a -> m a) -> Fixpoint m a

   polysemy	Polysemy.Fixpoint

   No documentation available.

8. fixpointToFinal :: forall (m :: Type -> Type) (r :: EffectRow) a . (Member (Final m) r, MonadFix m) => Sem (Fixpoint ': r) a -> Sem r a

   polysemy	Polysemy.Fixpoint

   Run a Fixpoint effect in terms of a final MonadFix instance. If you need to run a Fixpoint effect purely, use this together with Final Identity. Note: This is subject to the same traps as MonadFix instances for monads with failure: this will throw an exception if you try to recursively use the result of a failed computation in an action whose effect may be observed even though the computation failed. For example, the following program will throw an exception upon evaluating the final state:

   bad :: (Int, Either () Int)
   bad =
   runIdentity
   . runFinal
   . fixpointToFinal @Identity
   . runLazyState @Int 1
   . runError
   $ mdo
   put a
   a <- throw ()
   return a
   

   fixpointToFinal also operates under the assumption that any effectful state which can't be inspected using Inspector can't contain any values. For example, the effectful state for runError is Either e a. The inspector for this effectful state only fails if the effectful state is a Left value, which therefore doesn't contain any values of a. This assumption holds true for all interpreters featured in this package, and is presumably always true for any properly implemented interpreter. fixpointToFinal may throw an exception if it is used together with an interpreter that uses weave improperly. If fixpointToFinal throws an exception for you, and it can't be due to any of the above, then open an issue over at the GitHub repository for polysemy.

9. module Polysemy.Internal.Fixpoint

   No documentation available.

10. newtype Fixpoint (m :: Type -> Type) a

    polysemy	Polysemy.Internal.Fixpoint

    An effect for providing mfix.

Page 231 of many | Previous | Next