Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Non-empty sets. Provides type Set1 of non-empty sets. Import: @ import Agda.Utils.Set1 (Set1) import qualified Agda.Utils.Set1 as Set1 @
-
Agda Agda.Utils.Set1 No documentation available.
-
No documentation available.
SettleIRSwap :: Date -> String -> ActionOnDateHastructure Deal settle interest rate swap dates
SettleIRSwap :: Date -> String -> ActionOnDateHastructure Deal.DealBase settle interest rate swap dates
SetBlinkSpeed :: BlinkSpeed -> SGRansi-terminal-types System.Console.ANSI.Types Set or clear character blinking. Not supported natively on Windows 10
SetColor :: ConsoleLayer -> ColorIntensity -> Color -> SGRansi-terminal-types System.Console.ANSI.Types Set a color from the standard palette of 16 colors (8 colors by 2 color intensities). Many terminals allow the palette colors to be customised
SetConsoleIntensity :: ConsoleIntensity -> SGRansi-terminal-types System.Console.ANSI.Types Set the character intensity. Partially supported natively on Windows 10
SetDefaultColor :: ConsoleLayer -> SGRansi-terminal-types System.Console.ANSI.Types Set a color to the default (implementation-defined)
-
ansi-terminal-types System.Console.ANSI.Types Set italicized. Not widely supported: sometimes treated as swapping foreground and background. Not supported natively on Windows 10