Edit | |
1 (Type/Class) | Coda.Syntax.Change |
2 (Data Constructor) | Coda.Syntax.Change |
edit | Coda.Syntax.Change |
Editable | Coda.Syntax.Change |
Empty | Coda.FingerTree, Coda.Relative.Queue |
empty | Coda.FingerTree |
EmptyTree | Coda.FingerTree |
Error | Coda.Syntax.Change |
executeCommand | Coda.Console.Command |