getAgda | Cornelis.Agda |
getBufferInterval | Cornelis.Vim |
getBufferLine | Cornelis.Vim |
getConfig | Cornelis.Config |
getDefinitionSites | Plugin |
getExtmarkIntervalById | Cornelis.Vim |
getExtmarks | Cornelis.Highlighting |
getGoalAtCursor | Cornelis.Goals |
getGoalAtPos | Cornelis.Goals |
getGoalContents | Cornelis.Goals |
getGoalContentsMaybe | Cornelis.Goals |
getIndent | Cornelis.Vim |
getInteractionPoint | Lib |
getIpInterval | Cornelis.Goals |
getLambdaClause | Cornelis.Vim |
getLineIntervals | Cornelis.Highlighting |
getMessage | Cornelis.Types |
getpos | Cornelis.Vim |
getSurroundingMotion | Cornelis.Vim |
getVar | Cornelis.Config |
getVarWithAlternatives | Cornelis.Config |
getWindowCursor | Cornelis.Vim |
give | Plugin |
GiveAction | Cornelis.Types |
gi_ip | Cornelis.Types |
gi_type | Cornelis.Types |
GoalInfo | |
1 (Type/Class) | Cornelis.Types |
2 (Data Constructor) | Cornelis.Types |
GoalSpecific | Cornelis.Types |
goalWindow | Plugin |
gotoDefinition | Plugin |
groupScopeSet | Cornelis.Pretty |