coda-0.0.1: The coda compiler

Index - D

delCoda.Syntax.Change
deleteRangeCoda.Syntax.Rope
Delta 
1 (Type/Class)Coda.Relative.Delta.Type, Coda.Relative.Delta
2 (Data Constructor)Coda.Relative.Delta.Type, Coda.Relative.Delta
deltaCoda.Relative.Delta
deltaToPositionCoda.Syntax.Rope
descCoda.Console.Command
didChangeCoda.Syntax.Document
didCloseCoda.Syntax.Document
didOpenCoda.Syntax.Document
didSaveCoda.Syntax.Document
Document 
1 (Type/Class)Coda.Syntax.Document
2 (Data Constructor)Coda.Syntax.Document
DocumentsCoda.Syntax.Document
documentsCoda.Syntax.Document
dropDeltaCoda.Syntax.Change
dropUntilCoda.FingerTree
Dyck 
1 (Type/Class)Coda.Syntax.Dyck
2 (Data Constructor)Coda.Syntax.Dyck