Arrow Meta Text about arrow-meta

[i-walker]

One proposal is to add a costume QuickDocumentProvider, where we can display the text. I'll link a small PR down below, on how it may look like.

This may clash with the existing KotlinQuickDocumentProvider, that does the same job you see down below for Kotlin. We would need to suppress it for special KtElements, but I haven't find API's who do that.

one example

If we solely care about the Text we would add it as a KDoc on the descriptor and facilitate the existing Kotlin implementation.
Bare with me I am adding more suggestions as I discover them.

[i-walker]

Another way to present Text using Side Panels like the one we see with Kotlin Bytcode
This is feature is a composition of AnActionand a ToolWindow.

Here Kotlin Bytecode is triggered through the Tools Panel and opens a Toolwindow on the left side.

it allows us to focus on the Content and how it is displayed rather than to create separate UI elements on top of Idea.

The advantage here is that we can move this Action to different places, e.g.: wrap it into a LineMarker and whenever a user clicks on it, it triggers the action. Toolwindows can be persistent as we see with Gradle.

Example impl for `Show Kotlin Bytecode` is [here](https://github.com/JetBrains/kotlin/blob/8203d1c3fea187257d88bc165eafcb6026a2690e/idea/idea-jvm/src/org/jetbrains/kotlin/idea/actions/ShowKotlinBytecodeAction.kt#L29)

addAnAction(
        "ExampleEmptyToolWindow",
        anAction(
          icon = ArrowIcons.PURE,
          actionPerformed = {e ->
            /**
             * creates Toolwindow with [e]
             * set's the icon
             * ContentManager adds our Content
             * This Content can be composed of [EditorTextField], which is IntelliJ's promoted editor component with syntax highlighting support, code completion, code folding and more.
             */
          }
        )
      )

[raulraja]

Can we have the above linked icons rendered on the markdown table to see what they look like?

[raulraja]

We need a table that looks like this for all plugins and involve several people to fill this in.

Plugin	Action	Icon	Description	Expanded Description
Purity	Inspection	[pic here]	This function is impure...	This function is impure..., Docs to IO, suspend, Fx etc

[i-walker]

Plugin	Feature	Icon	Description	Expanded Description
Comprehensions	LineMarker	arrow-meta-bind.svg	"Bind"	-
Nothing	LineMarker	arrow-meta-nothing.svg	"Bottom Type"	-
HigherKinds	LineMarker	arrow-meta-higher.svg	${class.name} is a Higher Kinded Type that may be used in polymorphic functions expressed over [Kind<F, A>] and with the type classes. For more info visit https://arrow-kt.io/docs/patterns/glossary/#type-constructors	-
HigherKinds	LineMarker	arrow-meta-polymorphic.svg	here is an example	-
Purity	Inspection		"Function should be suspended"	-
Optics	LineMarker	arrow-meta-optics.svg	"Optics"	-

[raulraja]

Both approaches are things we can use for different purposes. What about embedded media like gifs or videos. Is that possible or does that require some other kind of panel?

[i-walker]

Gifs should be possible, but I can not confidently confirm whether videos are possible. There might be a workaround to do that.

[i-walker]

The editor defines it's UI with an initial wrapper, which holds it's Content.

We can use 4 existing UI wrappers/ templates from the editor:

• Tool Windows proposed here #131 (comment)
• Dialogs they provide visuals to then trigger AnAction with the supplied information of the user. They can look as simple as this (UserInput) -> AnAction:

• PopUps: They're similar to Dialogs, but without explicit closing buttons and reduce to a Function (UserInput) -> AnAction
  
  example from above

• Notifications: Can be invoked everywhere and display text, with an Icon.

addAnAction(
        "ExampleNotification",
        anAction(
          icon = ArrowIcons.BIND,
          actionPerformed = { e ->
            Notifications.Bus.notify(
            Notification("GroupDisplayId", "Arrow", "COntentLepsum", 
             NotificationType.WARNING)) // this Notificitation can hold an Icon
          }
        )
      )

Or start from scratch with our own workflows. This requires us to maintain the lifecycle of the wrapper in the application in addition to the Content.

The initial four elements wrap our Content in templates, where we can focus on the Content.

Regardless of a design choice,
the UI is based on Swing Components wether for the Content or the wrapper. Interestingly enough, we could facilitate the existing wrapper, but still, have the freedom to define our own workflows in the Content element.

[raulraja]

I see on the table we are missing unions and type classes extensions. Also type proofs which even if not merged yet will be there by KC

[i-walker]

This PR provides drafts over the aforementioned UI wrappers
#214