Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

  1. showPpr :: PrettyPrec p => p -> String

    clash-lib Clash.Core.Pretty

    Print a PrettyPrec thing to a String

  2. showPpr' :: PrettyPrec p => PrettyOptions -> p -> String

    clash-lib Clash.Core.Pretty

    No documentation available.

  3. showType :: TermLiteral a => Proxy a -> String

    clash-lib Clash.Core.TermLiteral

    Pretty print type a

  4. showsTypePrec :: TermLiteral a => Int -> Proxy a -> ShowS

    clash-lib Clash.Core.TermLiteral

    Pretty print the type of a term (for error messages). Its default implementation uses Typeable to print the type. Note that this method is there to allow an instance for SNat to exist (and other GADTs imposing KnownNat). Without it, GHC would ask for a KnownNat constraint on the instance, which would defeat the purpose of it.

  5. showDoc :: Doc ann -> String

    clash-lib Clash.Pretty

    No documentation available.

  6. showSeverity :: Severity -> Text

    co-log Colog.Message

    Formats severity in different colours with alignment.

  7. showSourceLoc :: CallStack -> Text

    co-log Colog.Message

    Shows source code locations in the following format:

    [Main.example#35]
    

  8. showThreadId :: ThreadId -> Text

    co-log Colog.Message

    Shows a thread id in the following format: >> showThreadId $ Control.Concurrent.myThreadId "[ThreadId 4898] "

  9. showTime :: UTCTime -> Text

    co-log Colog.Message

    Shows time in the following format:

    >>> showTime $ C.UTCTime (C.fromGregorian 2019 12 29) (C.secondsToDiffTime 3600 * 22)
    "[29 Dec 2019 22:00:00.000 +00:00] "
    

  10. showTimeOffset :: ZonedTime -> Text

    co-log Colog.Message

    Shows time in the following format:

    >>> showTimeOffset $ C.utcToZonedTime (C.hoursToTimeZone (-2)) (C.UTCTime (C.fromGregorian 2019 12 29) (C.secondsToDiffTime 3600 * 22))
    "[29 Dec 2019 20:00:00.000 -02:00] "
    

Page 137 of many | Previous | Next