coda-0.0.1: The coda compiler

Copyright(c) Edward Kmett 2017
LicenseBSD2
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Coda.Syntax.Document

Description

 

Documentation

type Documents = HashMap DocumentUri Document Source #

class HasDocuments t d | t -> d where Source #

Minimal complete definition

documents

Methods

documents :: Lens' t d Source #

class HasLanguageId s a | s -> a where #

Minimal complete definition

languageId

Methods

languageId :: Lens' s a #

Instances

HasLanguageId TextDocumentItem Text 

Methods

languageId :: Lens' TextDocumentItem Text #

HasLanguageId Document Text # 

Methods

languageId :: Lens' Document Text #

class HasVersion s a | s -> a where #

Minimal complete definition

version

Methods

version :: Lens' s a #

Instances

HasVersion VersionedTextDocumentIdentifier Int 

Methods

version :: Lens' VersionedTextDocumentIdentifier Int #

HasVersion TextDocumentItem Int 

Methods

version :: Lens' TextDocumentItem Int #

HasVersion Document Int # 

Methods

version :: Lens' Document Int #

class HasContents s a | s -> a where #

Minimal complete definition

contents

Methods

contents :: Lens' s a #

Instances

HasContents Document Rope # 

Methods

contents :: Lens' Document Rope #

HasContents HoverResult [MarkedString] 

Methods

contents :: Lens' HoverResult [MarkedString] #

class HasOpen s a | s -> a where Source #

Minimal complete definition

open

Methods

open :: Lens' s a Source #

Instances

didOpen :: (MonadState s m, HasDocuments s Documents) => TextDocumentItem -> m () Source #

didChange :: (MonadState s m, HasDocuments s Documents) => DidChangeTextDocumentParams -> m () Source #

didSave :: (MonadState s m, HasDocuments s Documents) => DidSaveTextDocumentParams -> m () Source #

didClose :: (MonadState s m, HasDocuments s (HashMap DocumentUri a)) => TextDocumentIdentifier -> m () Source #