Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. data Widget n

   brick	Brick.Types

   The type of widgets.

2. Widget :: Size -> Size -> RenderM n (Result n) -> Widget n

   brick	Brick.Types

   No documentation available.

3. availWidthL :: forall n f . Functor f => (Int -> f Int) -> Context n -> f (Context n)

   brick	Brick.Types

   No documentation available.

4. scrollbarWidthAllocation :: VScrollbarRenderer n -> Int

   brick	Brick.Types

   The number of columns that will be allocated to the scroll bar. This determines how much space the widgets of the scroll bar elements can take up. If they use less than this amount, padding will be applied between the scroll bar and the viewport contents.

5. windowWidthL :: forall n f . Functor f => (Int -> f Int) -> Context n -> f (Context n)

   brick	Brick.Types

   No documentation available.

6. class TextWidth a

   brick	Brick.Widgets.Core

   The class of text types that have widths measured in terminal columns. NEVER use length etc. to measure the length of a string if you need to compute how much screen space it will occupy; always use textWidth.

7. emptyWidget :: Widget n

   brick	Brick.Widgets.Core

   The empty widget.

8. overrideAttr :: AttrName -> AttrName -> Widget n -> Widget n

   brick	Brick.Widgets.Core

   Override the lookup of the attribute name targetName to return the attribute value associated with fromName when rendering the specified widget. For example:

   appAttrMap = attrMap (white on blue) [ ("highlight", fg yellow)
   , ("notice", fg red)
   ]
   
   renderA :: (String, String) -> [Widget n]
   renderA (a, b) = str a + str " is " + withAttr "highlight" (str b)
   
   render1 = withAttr "notice" $ renderA (Brick, "fun")
   render2 = overrideAttr "highlight" "notice" render1
   

   In the example above, render1 will show Brick is fun where the first two words are red on a blue background, but fun is yellow on a blue background. However, render2 will show all three words in red on a blue background.

9. scrollbarWidthAllocation :: VScrollbarRenderer n -> Int

   brick	Brick.Widgets.Core

   The number of columns that will be allocated to the scroll bar. This determines how much space the widgets of the scroll bar elements can take up. If they use less than this amount, padding will be applied between the scroll bar and the viewport contents.

10. textWidth :: TextWidth a => a -> Int

    brick	Brick.Widgets.Core

    No documentation available.

Page 950 of many | Previous | Next