CodeMirror

data Stream

data Extension

data Tag

data HighlightStyle

data KeyBinding

data EditorState

data EditorView

data ViewUpdate

type Line = { from :: Int, to :: Int }

type Diagnostic = { from :: Int, message :: String, severity :: String, to :: Int }

eatSpace :: Stream -> Effect Boolean

match :: Regex -> Stream -> Effect Boolean

next :: Stream -> Effect Unit

defineStreamLanguage :: forall state. { startState :: Effect state, token :: EffectFn2 Stream state (Nullable String) } -> Extension

tag :: String -> Tag

defineHighlightStyle :: Array { color :: String, tag :: Tag } -> HighlightStyle

syntaxHighlighting :: HighlightStyle -> Extension

lineNumbers :: Extension

highlightActiveLineGutter :: Extension

history :: Extension

drawSelection :: Extension

bracketMatching :: Extension

indentOnInput :: Extension

rectangularSelection :: Extension

highlightActiveLine :: Extension

defaultKeymap :: Array KeyBinding

historyKeymap :: Array KeyBinding

indentWithTab :: KeyBinding

keymap :: Array KeyBinding -> Extension

lintGutter :: Extension

oneDark :: Extension

theme :: Object (Object String) -> Extension

updateListener :: EffectFn1 ViewUpdate Unit -> Extension

docChanged :: ViewUpdate -> Boolean

updateState :: ViewUpdate -> EditorState

createState :: { doc :: String, extensions :: Array Extension } -> EditorState

createView :: { parent :: Element, state :: EditorState } -> Effect EditorView

state :: EditorView -> Effect EditorState

documentText :: EditorState -> String

documentLength :: EditorState -> Int

documentLines :: EditorState -> Int

documentLine :: Int -> EditorState -> Line

replaceRange :: EditorView -> { from :: Int, insert :: String, to :: Int } -> Effect Unit

setDiagnostics :: EditorView -> Array Diagnostic -> Effect Unit

destroy :: EditorView -> Effect Unit