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.
showPpr :: PrettyPrec p => p -> Stringclash-lib Clash.Core.Pretty Print a PrettyPrec thing to a String
showPpr' :: PrettyPrec p => PrettyOptions -> p -> Stringclash-lib Clash.Core.Pretty No documentation available.
showType :: TermLiteral a => Proxy a -> Stringclash-lib Clash.Core.TermLiteral Pretty print type a
showsTypePrec :: TermLiteral a => Int -> Proxy a -> ShowSclash-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.
-
clash-lib Clash.Pretty No documentation available.
showSeverity :: Severity -> Textco-log Colog.Message Formats severity in different colours with alignment.
showSourceLoc :: CallStack -> Textco-log Colog.Message Shows source code locations in the following format:
[Main.example#35]
showThreadId :: ThreadId -> Textco-log Colog.Message Shows a thread id in the following format: >> showThreadId $ Control.Concurrent.myThreadId "[ThreadId 4898] "
-
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] "
showTimeOffset :: ZonedTime -> Textco-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] "