hevm-0.17: Ethereum virtual machine evaluator

Safe HaskellNone
LanguageHaskell2010

EVM.TTYCenteredList

Synopsis

Documentation

renderList Source #

Arguments

:: (Ord n, Show n) 
=> (Bool -> e -> Widget n)

Rendering function, True for the selected element

-> Bool

Whether the list has focus

-> List n e

The List to be rendered

-> Widget n

rendered widget

Turn a list state value into a widget given an item drawing function.

drawListElements :: (Ord n, Show n) => Bool -> List n e -> (Bool -> e -> Widget n) -> Widget n Source #