EluciusFTW.SpectreCoff 0.48.9

SpectreCoff

Spectre Console for F# - A thin, opinionated wrapper around Spectre.Console and Dumpify to make F# development for the console more productive.

Available at Nuget: EluciusFTW.SpectreCoff.

Table of Contents

• Goals and Philosophy
• SpectreCoff Package
  • Output and Markup
  • Payloads
  • Deviations from Spectre.Console
  • Versioning
• SpectreCoff Cli
• Related Work
• License
• Feedback and Contributing

Goals and Philosophy

Before we get into the details, we'd like to outline our goals and our guiding principles for designing the SpectreCoff api surface.

1. Make Spectre.Console available for console applications in F# in an idiomatic way.

   We expose separate functionality in different modules, as functions, with typed arguments instead of generics resp. object-typing. Since many of Spectre's functions can handle multiple different kinds of content that often means wrapping your content in discriminated union type. We believe that the expression of intent as well as the resulting robustness and clarity far outweigh the 'overhead' of wrapping.

2. Provide a simple and consistent api surface.

   In SpectreCoff, we follow the structure Spectre.Console provides very closely.

   • Features of Spectre are translated into modules of the same name.
   • Whenever possible, each module exposes a function producing 'the module thing' that is of same name as the module. This will be in form of an OutputPayload.
   • The special module Output (which also defines the type OutputPayload), provides the function toConsole with which everything can be printed.

   In the example of the figlet widget of Spectre, which translates into the figlet module, it looks like this:

   "Hello World"    // figlet content
   |> figlet        // main function of the module producing the figlet instance as a Renderable case of OutputPayload 
   |> toConsole     // toConsole function of the figlet module
   

   Of course, for more complex objects, there will be more parameters needed. To achieve this simplicity, the main function uses some defaults (in this example the alignment of the figlet). These defaults can be overwritten 'globally' (as they are just static variables in the module), or passed to other functions taking in more arguments, e.g.,

   "Hello again"
   |> alignedFiglet Left 
   |> toConsole
   
   // if all your figlets should be left-aligned, you can also set that as the default and use the main figlet function
   defaultAlignment <- Left
   

3. Add a bit of sprinke on top.

   Spectre is great in providing ways to customize output. We wanted to add a bit on top to make it easier to utilize custom styles consistently throughout applications. Among other things, we decided to include three different semantic levels of output, namely: calm, pumped and edgy, which we also call convenience styles. These are supported throughout the modules, and each style can be customized individually.

4. Bake the cake and eat it, too.

   We want to feel the joy, and pain, of using our api in the fullest. That's why we have included a cli project in this repository, where we expose the full documentation as well as provide examples for each functionality, using the api itself.

   dotnet run figlet doc            // prints the documentation of the figlet module
   dotnet run figlet example        // shows examples of the module in action
   

5. Bonus: Do the same for Dumpify

   Along the way we also added a separate module wrapping the functionality of Dumpify following the same principles. While the main focus remains with Spectre.Console (hence the name of the package), we do think Dumpify's capabilities are useful and related (it uses Spectre.Console internally, after all) enough to just slap it on top of our package.

SpectreCoff Package

SpectreCoff is organized in modules which mirror the features of Spectre.Console. The source code for the nuget package can be found in the subfolder /src/spectrecoff/.

Output and Markup

Spectre offers very flexible markup by using variations of this command (see here):

AnsiConsole.Markup("[red bold]{0}[/]", Markup.Escape("Hello [World]"));

There are several ways to achieve the same in SpectreCoff. The most direct translation looks like this:

markup (Some Color.Red) (Some Bold) "Hello [World]" |> printMarkedUpInline    

However, we recommend using the dedicated OutputPayload type, together with the toConsole function, which will yield a consistent approach across all kinds of payloads. Using the suitable payload, the example above would look as follows,

MarkupCS (Color.Red, Bold, "Hello [World]") |> toConsole

Payloads

The following table lists all payloads currently available:

Convenience Styles

The table above lists three convenience styles: Calm, Pumped and Edgy. With these, we can easily provide a consistent, and semantically meaningful, styling across the modules:

Pumped "Hello world" |> toConsole

The convenience styles can be altered by mutating the corresponding variables, e.g.,

pumpedLook <- { Color = Color.Yellow; Decorations = [ Decoration.Italic ] }

Composition of Payloads

Some of the payloads listed above in turn accept payloads as arguments. Composing them in this way allows printing more complex content, as well as aggregating all output in one go before printing it. This can be seen in this example,

Many [
    MarkupC (Color.Green, "Hello friends,")           // Use any available color
    BlankLine    
    Pumped "Welcome to my party tomorrow night!"      // Use the Pumped convenience style
    BL                                                // short for BlankLine
    C "Please bring ... "                             // short for Calm
    BI [                                              // short for BulletItems
        C "some snacks,"        
        P "some games,"                               // short for Pumped
        E "and some creepy stories!"                  // short for Edgy
    ]
    C "See you "; P "later ... "; NL
    Emoji "alien_monster"
] |> toConsole

In fact, any other payload can be composed using Many (including others of type Many, they will be flattened) and will be printed once toConsole is called.

These composites are also the motivation for the short aliases of payloads, as these make it possible to focuis on the content and not be distracted too much by the types. For more examples, please see the sample command.

Note: Several features of Spectre.Console depend on UTF8 Encoding. If you experience unexpected output when handling UTF8 characters check the Spectre.Console best practices.

Deviations from Spectre

The Spectre widget Rows does not have it's own module as the Many case of OutputPayload covers the same functionality.

Versioning

We are using NerdBank.GitVersioning and follow the version scheme: <major>.<minor>.<git-depth> for out releases.

Since this package is a wrapper around Spectre.Console, we will synchronize our major and minor versions with the ones of the Spectre dependency we are wrapping.

<b>Note</b>: In particular, the third number in the version does not have the same meaning as the patches in SemVer. Increments in that number may contain breaking changes, in contrast to patch versions in SemVer.

SpectreCoff Cli

You can see each module in action by using the cli included in this repository in /src/spectrecoff-cli/. Simply run

dotnet run <command> example | doc

for any command with the subcommand example or doc, depending on if you want to see an example, or the documentation of the command. The currently supported commands are:

Related Work

In SpectreCoff we take the approach of providing types and functions wrapping the Spectre.Console api. If you prefer dsls via computation expressions, check out this awesome project (hey, even if you don't, check it out anyway!):

• fs-spectre - 👻💻 Spectre.Console with F# style.

Also, if you want to create a cli using Spectre.Console.Cli (recently the cli part was extracted into a separate package), you can use my starter template:

• fsharp-spectre-console-template - A minimal starter template for using Spectre.Console.Cli in fsharp

License

Copyright © Guy Buss, Daniel Muckelbauer

SpectreCoff is provided as-is under the MIT license. See the LICENSE.md file included in the repository.

Feedback and Contributing

All feedback welcome! All contributions are welcome!