Copyright	(c) Edward Kmett 2017
License	BSD2
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Coda.Syntax.Document

Description

Documentation

Constructors

Document
Fields _languageId :: !Text _version :: !Int _contents :: !Rope _open :: !Bool _changed :: !Bool

Instances

Show Document Source #
Methods showsPrec :: Int -> Document -> ShowS # show :: Document -> String # showList :: [Document] -> ShowS #
Measured Document Source #
Associated Types type Measure Document :: * Source # Methods measure :: Document -> Measure Document Source #
HasVersion Document Int Source #
Methods version :: Lens' Document Int #
HasLanguageId Document Text Source #
Methods languageId :: Lens' Document Text #
HasContents Document Rope Source #
Methods contents :: Lens' Document Rope #
HasOpen Document Bool Source #
Methods open :: Lens' Document Bool Source #
type Measure Document Source #
type Measure Document = LineMeasure

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

Minimal complete definition

Methods

class HasLanguageId s a | s -> a where #

Minimal complete definition

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

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

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

Methods

open :: Lens' s a Source #

Instances

HasOpen Document Bool Source #
Methods open :: Lens' Document Bool 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 #