Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. module Brick.Keybindings.Pretty

   This module provides functions for pretty-printing key bindings and for generating Markdown, plain text, and Brick displays of event handler key binding configurations.

2. Pad :: Int -> Padding

   brick	Brick.Widgets.Core

   Pad by the specified number of rows or columns.

3. data Padding

   brick	Brick.Widgets.Core

   The type of padding.

4. module Brick.Widgets.ProgressBar

   This module provides a progress bar widget.

5. data PropagationStrategy

   context	Context.Internal

   The PropagationStrategy controls the behavior used by Context.Concurrent when propagating context from a "parent" thread to a new thread.

6. data PropagationStrategy

   context	Context.Storage

   The PropagationStrategy controls the behavior used by Context.Concurrent when propagating context from a "parent" thread to a new thread.

7. type PtrDest = Ptr Word8

   crypto-cipher-types	Crypto.Cipher.Types.Unsafe

   pointer to the destination data

8. type PtrIV = Ptr Word8

   crypto-cipher-types	Crypto.Cipher.Types.Unsafe

   pointer to the IV data

9. type PtrSource = Ptr Word8

   crypto-cipher-types	Crypto.Cipher.Types.Unsafe

   pointer to the source data

10. class Preorder (eq :: k -> k -> Type)

    equational-reasoning	Proof.Equational

    No documentation available.

Page 480 of many | Previous | Next