Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

  1. class SetBindingSite a

    Agda Agda.Syntax.Scope.Base

    Set the nameBindingSite in an abstract name.

  2. SetRange :: Range -> Call

    Agda Agda.TypeChecking.Monad.Base

    used by setCurrentRange

  3. class SetToInfty f a

    Agda Agda.TypeChecking.SizedTypes.WarshallSolver

    No documentation available.

  4. module Agda.Utils.Set1

    Non-empty sets. Provides type Set1 of non-empty sets. Import: @ import Agda.Utils.Set1 (Set1) import qualified Agda.Utils.Set1 as Set1 @

  5. type Set1 = NESet

    Agda Agda.Utils.Set1

    No documentation available.

  6. module Blammo.Logging.Setup

    No documentation available.

  7. SettleIRSwap :: Date -> String -> ActionOnDate

    Hastructure Deal

    settle interest rate swap dates

  8. SettleIRSwap :: Date -> String -> ActionOnDate

    Hastructure Deal.DealBase

    settle interest rate swap dates

  9. SetBlinkSpeed :: BlinkSpeed -> SGR

    ansi-terminal-types System.Console.ANSI.Types

    Set or clear character blinking. Not supported natively on Windows 10

  10. SetColor :: ConsoleLayer -> ColorIntensity -> Color -> SGR

    ansi-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

Page 58 of many | Previous | Next