cornelis-0.2.0.0

Index

.+Cornelis.Offsets
.-.Cornelis.Offsets
AbsolutePath 
1 (Type/Class)Cornelis.Types.Agda
2 (Data Constructor)Cornelis.Types.Agda
addColCornelis.Offsets
addHighlightCornelis.Highlighting
Agda 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
AgdaIndexCornelis.Offsets
AgdaIntervalCornelis.Offsets
AgdaOffsetCornelis.Offsets
AgdaPos 
1 (Type/Class)Cornelis.Offsets
2 (Data Constructor)Cornelis.Types
AgdaPos'Cornelis.Types
AgdaResp 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
allGoalsPlugin
AllGoalsWarningsCornelis.Types
applyOverCornelis.Subscripts
ar_bufferCornelis.Types
ar_messageCornelis.Types
AsIsCornelis.Types.Agda
atomicSwapIORefPlugin
atomToHlGroupCornelis.Pretty
autoOnePlugin
a_bufferCornelis.Types
a_hdlCornelis.Types
a_readyCornelis.Types
a_reqCornelis.Types
BackwardCornelis.Vim
bs_agda_procCornelis.Types
bs_code_mapCornelis.Types
bs_goalsCornelis.Types
bs_goto_sitesCornelis.Types
bs_info_winCornelis.Types
bs_ipsCornelis.Types
bs_ip_extsCornelis.Types
BufferCornelis.Types
BufferNumCornelis.Types
BufferStuff 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
buildInfoBufferCornelis.InfoWin
buildIOTCMCornelis.Agda
ByteCornelis.Offsets
caseSplitPlugin
cc_max_heightCornelis.Types
cc_max_widthCornelis.Types
cc_split_locationCornelis.Types
ce_configCornelis.Types
ce_namespaceCornelis.Types
ce_stateCornelis.Types
ce_streamCornelis.Types
charToBytesCornelis.Offsets
ClearHighlightingCornelis.Types
ClearRunningInfoCornelis.Types
closeInfoWindowsCornelis.InfoWin
Cmd_abortCornelis.Types.Agda
Cmd_autoAllCornelis.Types.Agda
Cmd_autoOneCornelis.Types.Agda
Cmd_computeCornelis.Types.Agda
Cmd_compute_toplevelCornelis.Types.Agda
Cmd_constraintsCornelis.Types.Agda
Cmd_contextCornelis.Types.Agda
Cmd_elaborate_giveCornelis.Types.Agda
Cmd_exitCornelis.Types.Agda
Cmd_giveCornelis.Types.Agda
Cmd_goal_typeCornelis.Types.Agda
Cmd_goal_type_contextCornelis.Types.Agda
Cmd_goal_type_context_checkCornelis.Types.Agda
Cmd_goal_type_context_inferCornelis.Types.Agda
Cmd_helper_functionCornelis.Types.Agda
Cmd_highlightCornelis.Types.Agda
Cmd_inferCornelis.Types.Agda
Cmd_infer_toplevelCornelis.Types.Agda
Cmd_introCornelis.Types.Agda
Cmd_loadCornelis.Types.Agda
Cmd_load_highlighting_infoCornelis.Types.Agda
Cmd_make_caseCornelis.Types.Agda
Cmd_metasCornelis.Types.Agda
Cmd_refineCornelis.Types.Agda
Cmd_refine_or_introCornelis.Types.Agda
Cmd_search_about_toplevelCornelis.Types.Agda
Cmd_show_module_contentsCornelis.Types.Agda
Cmd_show_module_contents_toplevelCornelis.Types.Agda
Cmd_show_versionCornelis.Types.Agda
Cmd_solveAllCornelis.Types.Agda
Cmd_solveOneCornelis.Types.Agda
Cmd_tokenHighlightingCornelis.Types.Agda
Cmd_why_in_scopeCornelis.Types.Agda
Cmd_why_in_scope_toplevelCornelis.Types.Agda
CodePointCornelis.Offsets
Colline 
1 (Type/Class)Cornelis.Diff
2 (Data Constructor)Cornelis.Diff
Command 
1 (Data Constructor)Cornelis.Types.Agda
2 (Type/Class)Cornelis.Types.Agda
Command'Cornelis.Types.Agda
ComputeModeCornelis.Types.Agda
computeModePlugin
computeModeCompletionPlugin
containsPointCornelis.Offsets
cornelisLib
CornelisArgumentCornelis.Pretty
CornelisBoundCornelis.Pretty
CornelisCatchAllClauseCornelis.Pretty
CornelisCoinductiveConstructorCornelis.Pretty
CornelisCommentCornelis.Pretty
CornelisConfig 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
CornelisEnv 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
CornelisErrorCornelis.Pretty
CornelisErrorWarningCornelis.Pretty
CornelisFieldCornelis.Pretty
CornelisFunctionCornelis.Pretty
CornelisGeneralizableCornelis.Pretty
CornelisHoleCornelis.Pretty
CornelisInductiveConstructorCornelis.Pretty
cornelisInitLib
CornelisKeywordCornelis.Pretty
CornelisMacroCornelis.Pretty
CornelisModuleCornelis.Pretty
CornelisNameCornelis.Pretty
CornelisNumberCornelis.Pretty
CornelisOperatorCornelis.Pretty
CornelisPostulateCornelis.Pretty
CornelisPragmaCornelis.Pretty
CornelisPrimitiveCornelis.Pretty
CornelisPrimitiveTypeCornelis.Pretty
CornelisRecordCornelis.Pretty
CornelisState 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
CornelisStringCornelis.Pretty
CornelisSymbolCornelis.Pretty
CornelisTitleCornelis.Pretty
CornelisTypeCornelis.Pretty
CornelisTypeChecksCornelis.Pretty
CornelisUnsolvedConstraintCornelis.Pretty
CornelisUnsolvedMetaCornelis.Pretty
CornelisWarnCornelis.Pretty
criticalFailureCornelis.Utils
cs_buffersCornelis.Types
cs_diffCornelis.Types
debugCornelis.Debug
DebugCommandCornelis.Types
debugCommandCompletionPlugin
debugJsonCornelis.Agda
decNextDigitSeqCornelis.Subscripts
DefaultComputeCornelis.Types.Agda
DefinitionSite 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
Diff0Cornelis.Types
DigitsCornelis.Subscripts
digitsCornelis.Subscripts
digitToIntCornelis.Subscripts
DirectCornelis.Types.Agda
DisplayErrorCornelis.Types
DisplayInfo 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
di_all_invisibleCornelis.Types
di_all_visibleCornelis.Types
di_boundaryCornelis.Types
di_errorsCornelis.Types
di_in_scopeCornelis.Types
di_ipsCornelis.Types
di_output_formsCornelis.Types
di_typeCornelis.Types
di_type_auxCornelis.Types
di_warningsCornelis.Types
doAbortPlugin
doAllGoalsPlugin
doCaseSplitPlugin
doCloseInfoWindowsPlugin
doDebugPlugin
doDecNextDigitSeqLib
doElaboratePlugin
doGivePlugin
doGotoDefinitionPlugin
doHelperFuncPlugin
doIncNextDigitSeqLib
doLoadPlugin
doMakeCaseLib
DoneCornelis.Types.Agda
doNextGoalLib
doNormalizePlugin
doPrevGoalLib
doQuestionToMetaPlugin
doRefinePlugin
doRestartPlugin
doTypeInferPlugin
doWhyInScopePlugin
DPosCornelis.Types
dropPrefixCornelis.Agda
ds_filepathCornelis.Types
ds_positionCornelis.Types
DumpIPsCornelis.Types
elaboratePlugin
ErrorCornelis.Types.Agda
es_hlgroupCornelis.Types
es_intervalCornelis.Types
es_markCornelis.Types
ExtendedLambdaCornelis.Types
Extmark 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
ExtmarkStuff 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
extractCornelis.Subscripts
findGoalCornelis.Goals
FlavorCornelis.Subscripts
ForwardCornelis.Vim
fromBytesCornelis.Offsets
fromOneIndexedCornelis.Offsets
fromZeroIndexedCornelis.Offsets
FunctionCornelis.Types
getAgdaCornelis.Agda
getBufferIntervalCornelis.Vim
getBufferLineCornelis.Vim
getConfigCornelis.Config
getDefinitionSitesPlugin
getExtmarkIntervalByIdCornelis.Vim
getExtmarksCornelis.Highlighting
getGoalAtCursorCornelis.Goals
getGoalAtPosCornelis.Goals
getGoalContentsCornelis.Goals
getGoalContentsMaybeCornelis.Goals
getIndentCornelis.Vim
getInteractionPointLib
getIpIntervalCornelis.Goals
getLambdaClauseCornelis.Vim
getLineIntervalsCornelis.Highlighting
getMessageCornelis.Types
getposCornelis.Vim
getSurroundingMotionCornelis.Vim
getVarCornelis.Config
getVarWithAlternativesCornelis.Config
getWindowCursorCornelis.Vim
givePlugin
GiveActionCornelis.Types
gi_ipCornelis.Types
gi_typeCornelis.Types
GoalInfo 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
GoalSpecificCornelis.Types
goalWindowPlugin
gotoDefinitionPlugin
groupScopeSetCornelis.Pretty
HasCallStackCornelis.Types
HeadComputeCornelis.Types.Agda
HeadNormalCornelis.Types.Agda
helperFuncPlugin
HelperFunctionCornelis.Types
Highlight 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
highlightBufferCornelis.Highlighting
HighlightGroupCornelis.Pretty
HighlightingInfoCornelis.Types
HighlightingLevelCornelis.Types.Agda
HighlightingMethodCornelis.Types.Agda
highlightIntervalCornelis.Highlighting
hl_atomsCornelis.Types
hl_definitionSiteCornelis.Types
hl_endCornelis.Types
hl_startCornelis.Types
HorizontalCornelis.Types
iEndCornelis.Offsets
IgnoreAbstractCornelis.Types.Agda
ihl_endCornelis.Pretty
ihl_groupCornelis.Pretty
ihl_startCornelis.Pretty
incIndexCornelis.Offsets
incNextDigitSeqCornelis.Subscripts
indentLib
IndexCornelis.Offsets
IndexingCornelis.Offsets
IndirectCornelis.Types.Agda
InferredTypeCornelis.Types
inferTypePlugin
InfoBuffer 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
InfoHighlight 
1 (Type/Class)Cornelis.Pretty
2 (Data Constructor)Cornelis.Pretty
InScope 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
InstantiatedCornelis.Types.Agda
InteractionCornelis.Types.Agda
Interaction'Cornelis.Types.Agda
InteractionId 
1 (Type/Class)Cornelis.Types.Agda, Cornelis.Types
2 (Data Constructor)Cornelis.Types.Agda
interactionIdCornelis.Types.Agda
InteractionPoint 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
InteractionPointsCornelis.Types
InteractiveCornelis.Types.Agda
Interval 
1 (Type/Class)Cornelis.Offsets
2 (Data Constructor)Cornelis.Offsets
intervalsToRangeCornelis.Types.Agda
intervalToRangeCornelis.Types.Agda
IntervalWithoutFileCornelis.Types.Agda
IOTCM 
1 (Data Constructor)Cornelis.Types.Agda
2 (Type/Class)Cornelis.Types.Agda
IOTCM'Cornelis.Types.Agda
ip_idCornelis.Types
ip_interval'Cornelis.Types
ip_intervalMCornelis.Types
isEmptyCornelis.Pretty
iStartCornelis.Offsets
is_in_scopeCornelis.Types
is_original_nameCornelis.Types
is_refied_nameCornelis.Types
is_typeCornelis.Types
iw_bufferCornelis.Types
JumpToErrorCornelis.Types
KeepCornelis.Types.Agda
LineCornelis.Offsets
LineIntervals 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
lineIntervalsForBufferCornelis.Highlighting
LineNumberCornelis.Offsets
li_intervalMapCornelis.Types
loadPlugin
lookupPointCornelis.Highlighting
mainLib
MakeCase 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
MakeCaseVariantCornelis.Types
Message 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
mkAbsPathRnageCornelis.Types.Agda
mkReplacementCornelis.Subscripts
modifyBufferStuffCornelis.Utils
NamedPoint 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
neovimAsyncCornelis.Utils
nextGoalCornelis.Goals
NoneCornelis.Types.Agda
NonInteractiveCornelis.Types.Agda
NoRangeCornelis.Types.Agda
noRangeCornelis.Types.Agda
NormalFormCornelis.Types
NormalisedCornelis.Types.Agda
normalizationModePlugin
notifyEditPlugin
np_intervalCornelis.Types
np_nameCornelis.Types
objectToIntCornelis.Utils
objectToTextCornelis.Utils
Offset 
1 (Type/Class)Cornelis.Offsets
2 (Data Constructor)Cornelis.Offsets
offsetPlusCornelis.Offsets
OnBottomCornelis.Types
oneIndexCornelis.Offsets
OneIndexedCornelis.Offsets
OnLeftCornelis.Types
OnRightCornelis.Types
OnTopCornelis.Types
overNextDigitSeqCornelis.Subscripts
parseDigitsCornelis.Subscripts
parseExtmarkCornelis.Highlighting
parseFlavorCornelis.Subscripts
parseLineCornelis.Subscripts
parseNumCornelis.Subscripts
ParserCornelis.Subscripts
Pos 
1 (Type/Class)Cornelis.Offsets
2 (Data Constructor)Cornelis.Offsets
prettyErrorCornelis.Pretty
prettyGoalCornelis.Pretty
prettyGoalsCornelis.Pretty
prettyInScopeCornelis.Pretty
prettyInScopeSetCornelis.Pretty
prettyIntervalCornelis.Pretty
prettyManyGoalsCornelis.Pretty
prettyNameCornelis.Pretty
prettyPointCornelis.Pretty
prettyTypeCornelis.Pretty
prettyVisibleNameCornelis.Pretty
prevGoalCornelis.Goals
priorityCornelis.Pretty
p_colCornelis.Offsets
p_lineCornelis.Offsets
questionToMetaPlugin
Range 
1 (Type/Class)Cornelis.Types.Agda
2 (Data Constructor)Cornelis.Types.Agda
Range'Cornelis.Types.Agda
readSplitLocationCornelis.Types
recordUpdateCornelis.Diff
refinePlugin
RegularCaseCornelis.Types
Remove 
1 (Type/Class)Cornelis.Types.Agda
2 (Data Constructor)Cornelis.Types.Agda
renderWithHlGroupsCornelis.Pretty
Replace 
1 (Type/Class)Cornelis.Diff
2 (Data Constructor)Cornelis.Diff
replaceCornelis.Subscripts
replaceIntervalCornelis.Vim
replaceQuestionCornelis.Goals
reportErrorCornelis.Vim
reportExceptionsCornelis.Debug
reportInfoCornelis.Vim
resetDiffCornelis.Diff
respondLib
respondToHelperFunctionLib
ResponseCornelis.Types
RewriteCornelis.Types.Agda
rewriteModeCompletionPlugin
runInteractionPlugin
runIOTCMCornelis.Agda
RunningInfoCornelis.Types
savingCurrentPositionCornelis.Utils
savingCurrentWindowCornelis.Utils
SearchModeCornelis.Vim
searchposCornelis.Vim
sectionCornelis.Pretty
sequenceInteractionPointCornelis.Types
setHighlightCornelis.Highlighting
setHighlight'Cornelis.Highlighting
setregCornelis.Vim
setWindowCursorCornelis.Vim
ShowImplicitArgsCornelis.Types.Agda
showInfoWindowCornelis.InfoWin
ShowIrrelevantArgsCornelis.Types.Agda
SimplifiedCornelis.Types.Agda
Solution 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
SolveAllCornelis.Types
solveOnePlugin
spanInfoHighlightsCornelis.Pretty
spawnAgdaCornelis.Agda
SplitLocationCornelis.Types
SrcFileCornelis.Types.Agda
StatusCornelis.Types
status_checkedCornelis.Types
status_showImplicitsCornelis.Types
status_showIrrelevantCornelis.Types
SubscriptCornelis.Subscripts
subscriptsCornelis.Subscripts
SuperscriptCornelis.Subscripts
superscriptsCornelis.Subscripts
s_expressionCornelis.Types
s_ipCornelis.Types
ta_exprCornelis.Types
TextCornelis.Types
textPathCornelis.Types.Agda
textToBytesCornelis.Offsets
toBytesCornelis.Offsets
ToggleImplicitArgsCornelis.Types.Agda
ToggleIrrelevantArgsCornelis.Types.Agda
toOneIndexedCornelis.Offsets
toZeroIndexedCornelis.Offsets
traceMXCornelis.Debug, Cornelis.Types
translateIntervalCornelis.Diff
Type 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
TypeAux 
1 (Type/Class)Cornelis.Types
2 (Data Constructor)Cornelis.Types
typeContextPlugin
typeContextInferPlugin
UnitCornelis.Offsets
UnknownCornelis.Types
UnknownDisplayInfoCornelis.Types
unparseCornelis.Subscripts
unparseWithCornelis.Subscripts
unvimifyCornelis.Vim
updateLineIntervalsCornelis.Highlighting
UseForceCornelis.Types.Agda
UseShowInstanceCornelis.Types.Agda
Vallee 
1 (Type/Class)Cornelis.Diff
2 (Data Constructor)Cornelis.Diff
VerticalCornelis.Types
vimFirstLineCornelis.Vim
vimifyCornelis.Vim
VimIndexCornelis.Offsets
VimIntervalCornelis.Offsets
vimLastLineCornelis.Vim
VimOffsetCornelis.Offsets
VimPosCornelis.Offsets
visibleBuffersCornelis.Utils
WhyInScopeCornelis.Types
whyInScopePlugin
WindowCornelis.Types
windowsForBufferCornelis.Utils
withAgdaCornelis.Agda
withBufferStuffCornelis.Utils
withComputeModePlugin
withCurrentBufferCornelis.Agda
WithForceCornelis.Types.Agda
withGoalAtCursorCornelis.Goals
withGoalContentsOrPromptCornelis.Goals
withLocalEnvCornelis.Utils
withNormalizationModePlugin
WithoutForceCornelis.Types.Agda
zeroIndexCornelis.Offsets
ZeroIndexedCornelis.Offsets