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. foreground :: MonadColorPrinter m => Color m -> Attribute m

    terminal System.Terminal

    This attribute sets the foreground color (the text color).

  2. formatTime :: FormatTime t => TimeLocale -> String -> t -> String

    thyme Data.Thyme.Format

    Format a FormatTime instance value according to a template string. These formatting template codes are intended to be compatible with glibc strftime() function, following Data.Time.Format, which follows formatCalendarTime from the old-time package. Codes which differ from strftime() are marked as EXTENSION.

    Show/Parse template string spec

    For all types

    • %% literal "%"

    For TimeZone (and ZonedTime and UTCTime):

    • %z RFC 822/ISO 8601:1988 style numeric time zone (e.g., "-0600" or "+0100")
    • %N ISO 8601 style numeric time zone (e.g., "-06:00" or "+01:00") EXTENSION
    • %Z timezone name

    For LocalTime (and ZonedTime and UTCTime and UniversalTime)

    • %c The preferred calendar time representation for the current locale. As dateTimeFmt locale (e.g. %a %b %e %H:%M:%S %Z %Y)

    For TimeOfDay (and LocalTime and ZonedTime and UTCTime and UniversalTime)

    • %R same as %H:%M
    • %T same as %H:%M:%S
    • %X The preferred time of day representation for the current locale. As timeFmt locale (e.g. %H:%M:%S)
    • %r The complete calendar time using the AM/PM format of the current locale. As time12Fmt locale (e.g. %I:%M:%S %p)
    • %P day-half of day from (amPm locale), converted to lowercase, "am", "pm"
    • %p day-half of day from (amPm locale), "AM", "PM"
    • %H hour of day (24-hour), 0-padded to two chars, "00""23"
    • %k hour of day (24-hour), space-padded to two chars, " 0""23"
    • %I hour of day-half (12-hour), 0-padded to two chars, "01""12"
    • %l hour of day-half (12-hour), space-padded to two chars, " 1""12"
    • %M minute of hour, 0-padded to two chars, "00""59"
    • %S second of minute (without decimal part), 0-padded to two chars, "00""60"
    • %q picosecond of second, 0-padded to twelve chars, "000000000000""999999999999". EXTENSION
    • %v microsecond of second, 0-padded to six chars, "000000""999999". EXTENSION
    • %Q decimal point and fraction of second, up to 6 second decimals, without trailing zeros. For a whole number of seconds, %Q produces the empty string. EXTENSION

    For UTCTime

    • %s number of whole seconds since the Unix epoch. For times before the Unix epoch, this is a negative number. Note that in %s.%q and %s%Q the decimals are positive, not negative. For example, 0.9 seconds before the Unix epoch is formatted as "-1.1" with %s%Q.

    For Day (and LocalTime and ZonedTime and UTCTime and UniversalTime)

    • %D same as %m/%d/%y
    • %F same as %Y-%m-%d
    • %x as dateFmt locale (e.g. %m/%d/%y)
    • %Y year, no padding.
    • %y year of century, 0-padded to two chars, "00""99"
    • %C century, no padding.
    • %B month name, long form (fst from months locale), "January""December"
    • %b, %h month name, short form (snd from months locale), "Jan""Dec"
    • %m month of year, 0-padded to two chars, "01""12"
    • %d day of month, 0-padded to two chars, "01""31"
    • %e day of month, space-padded to two chars, " 1""31"
    • %j day of year, 0-padded to three chars, "001""366"
    • %G year for Week Date format, no padding.
    • %g year of century for Week Date format, 0-padded to two chars, "00""99"
    • %f century for Week Date format, no padding. EXTENSION
    • %V week of year for Week Date format, 0-padded to two chars, "01""53"
    • %u day of week for Week Date format, "1""7"
    • %a day of week, short form (snd from wDays locale), "Sun""Sat"
    • %A day of week, long form (fst from wDays locale), "Sunday""Saturday"
    • %U week of year where weeks start on Sunday (as sundayStartWeek), 0-padded to two chars, "00""53"
    • %w day of week number, "0" (= Sunday) – "6" (= Saturday)
    • %W week of year where weeks start on Monday (as mondayStartWeek), 0-padded to two chars, "00""53"

    Examples

    ISO 8601

    > formatTime defaultTimeLocale "%Y-%m-%dT%H:%M:%S%N" $ mkUTCTime 2015 1 15  12 34 56.78
    "2015-01-15T12:34:56+00:00"
    

    RFC822

    > formatTime defaultTimeLocale "%a, %_d %b %Y %H:%M:%S %Z" $ mkUTCTime 2015 1 15  12 34 56.78
    "Thu, 15 Jan 2015 12:34:56 UTC"
    

    YYYY-MM-DD hh:mm:ss.000000

    > formatTime defaultTimeLocale "%Y-%m-%d %H:%M:%S.%v" $ mkUTCTime 2015 1 15  12 34 56.78
    "2015-01-15 12:34:56.780000"
    

  3. form :: Html -> Html

    xhtml Text.XHtml.Frameset

    No documentation available.

  4. form :: Html -> Html

    xhtml Text.XHtml.Strict

    No documentation available.

  5. form :: Html -> Html

    xhtml Text.XHtml.Transitional

    No documentation available.

  6. formatAlignment :: Lens' Format (Maybe Alignment)

    xlsx Codec.Xlsx.Formatted

    No documentation available.

  7. formatBorder :: Lens' Format (Maybe Border)

    xlsx Codec.Xlsx.Formatted

    No documentation available.

  8. formatFill :: Lens' Format (Maybe Fill)

    xlsx Codec.Xlsx.Formatted

    No documentation available.

  9. formatFont :: Lens' Format (Maybe Font)

    xlsx Codec.Xlsx.Formatted

    No documentation available.

  10. formatNumberFormat :: Lens' Format (Maybe NumberFormat)

    xlsx Codec.Xlsx.Formatted

    No documentation available.

Page 127 of many | Previous | Next