Render.Msg

The Render.Msg.MarkupMsg type is need for synchronization of the source and rendered text when using the Codemirror editor.

= SendMeta

{ begin : Int

, end : Int

, index : Int

, id : String

}

| SendLineNumber

{ begin : Int

, end : Int

}

| SelectId String

| HighlightId String

| GetPublicDocument Handling String

| GetPublicDocumentFromAuthor Handling String String

| GetDocumentWithSlug Handling String

| ProposeSolution SolutionState

= Unsolved

| Solved String

= MHStandard

| MHAsCheatSheet

Modules