A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
#
$
%
&
*
+
.
/
<
=
>
?
@
\
^
|
-
_
All

Index - G

gApply	Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive
gApply'	Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive
garr	Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive
gaussJordanFloydWarshallMcNaughtonYamada	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
gaussJordanFloydWarshallMcNaughtonYamadaReference	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
GeneralHelp	Mikan.Interaction.Options.Help
Generalizable	Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise
GeneralizableVar	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Generalization	Mikan.Syntax.Common
GeneralizationFailed	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GeneralizationFailed_	Mikan.Interaction.Options.Errors
GeneralizationPrepruneErrorCyclicDependencies	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GeneralizationPrepruneErrorCyclicDependencies_	Mikan.Interaction.Options.Errors
GeneralizationPrepruneErrorFailedToInstantiate	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GeneralizationPrepruneErrorFailedToInstantiate_	Mikan.Interaction.Options.Errors
GeneralizationPrepruneErrorRefinedContext	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GeneralizationPrepruneErrorRefinedContext_	Mikan.Interaction.Options.Errors
Generalize
1 (Data Constructor)	Mikan.Syntax.Concrete
2 (Data Constructor)	Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark
3 (Data Constructor)	Mikan.Syntax.Abstract
generalizeConstructorName	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GeneralizeCyclicDependency	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GeneralizeCyclicDependency_	Mikan.Interaction.Options.Errors
Generalized
1 (Data Constructor)	Mikan.Syntax.Concrete
2 (Data Constructor)	Mikan.Syntax.Abstract
generalized	Mikan.Syntax.Abstract
generalizedFieldName	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GeneralizedValue
1 (Type/Class)	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
2 (Data Constructor)	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GeneralizedVarInLetOpenedModule	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GeneralizedVarInLetOpenedModule_	Mikan.Interaction.Options.Errors
generalizedVarsMetadata	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
GeneralizeName	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
GeneralizeNotSupportedHere	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GeneralizeNotSupportedHere_	Mikan.Interaction.Options.Errors
generalizeRecordName	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GeneralizeS	Mikan.Syntax.Abstract
GeneralizeTel	Mikan.Syntax.Abstract
generalizeTel	Mikan.Syntax.Abstract
GeneralizeTelescope	Mikan.Syntax.Abstract
generalizeTelescope	Mikan.TypeChecking.Generalize
generalizeTelVars	Mikan.Syntax.Abstract
generalizeType	Mikan.TypeChecking.Generalize
generalizeType'	Mikan.TypeChecking.Generalize
generate'	Mikan.Utils.MinimalArray.Lifted
generateAndPrintSyntaxInfo	Mikan.Interaction.Highlighting.Generate
generateLaTeXIO	Mikan.Interaction.Highlighting.LaTeX.Base
generateTokenInfo	Mikan.Interaction.Highlighting.Generate
generateTokenInfoFromSource	Mikan.Interaction.Highlighting.Generate
generateTokenInfoFromString	Mikan.Interaction.Highlighting.Generate
generateVimFile	Mikan.Interaction.Highlighting.Vim
genericElemIndex	Mikan.Utils.List
GenericException	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
genericFromJSONKey	Mikan.Interaction.JSON
genericLiftParseJSON	Mikan.Interaction.JSON
genericLiftToEncoding	Mikan.Interaction.JSON
genericLiftToJSON	Mikan.Interaction.JSON
genericParseJSON	Mikan.Interaction.JSON
GenericSplitError	Mikan.TypeChecking.Coverage.Errors
GenericSplitError_	Mikan.Interaction.Options.Errors
genericToEncoding	Mikan.Interaction.JSON
genericToJSON	Mikan.Interaction.JSON
genericToJSONKey	Mikan.Interaction.JSON
genPrimForce	Mikan.TypeChecking.Primitive
genvalCheckpoint	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
genvalTerm	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
genvalType	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Get
1 (Type/Class)	Mikan.Utils.Serialize
2 (Data Constructor)	Mikan.Utils.Serialize
get
1 (Function)	Mikan.Utils.StrictState
2 (Function)	Mikan.Utils.Serialize
3 (Function)	Mikan.Utils.StrictState2
get1	Mikan.Utils.StrictState2
get2	Mikan.Utils.StrictState2
getAbsoluteIncludePaths	Mikan.Interaction.Options.Lenses
getAgdaLibFile	Mikan.Interaction.Library
getAgdaLibFiles	Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getAgdaLibFilesWithoutTopLevelModuleName	Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getAllConstraints	Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getAllInstanceDefs	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getAllPatternSyns	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getAllUnsolvedWarnings	Mikan.TypeChecking.Pretty.Warning, Mikan.TypeChecking.Errors
getAllWarnings	Mikan.TypeChecking.Pretty.Warning, Mikan.TypeChecking.Errors
getAllWarningsOfTCErr	Mikan.TypeChecking.Pretty.Warning, Mikan.TypeChecking.Errors
getAllWarningsPreserving	Mikan.TypeChecking.Pretty.Warning, Mikan.TypeChecking.Errors
getAmbiguous	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
getAnonInstanceDefs	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getAnonymousVariables	Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getAppDir	Mikan.Setup
getArgInfo	Mikan.Syntax.Common
getArgOccurrence	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getArgOccurrences	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getAwakeConstraints	Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getBackendName	Mikan.Interaction.InteractionTop
getBenchmark	Mikan.Utils.Benchmark, Mikan.TypeChecking.Monad.Benchmark
getBlocker	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
getBoundary	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getBuiltin	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getBuiltin'	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getBuiltinId	Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getBuiltinName	Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive
getBuiltinName'	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getBuiltinName_	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getBuiltinThing	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getByteArray#	Mikan.Utils.Serialize
getCachedAgdaLibFile	Mikan.Interaction.Library.Base
getCachedInterfaceFilePath	Mikan.Interaction.Library.Base
getCachedProjectConfig	Mikan.Interaction.Library.Base
getCallStack	Mikan.Utils.CallStack
getClauseZipperForIP	Mikan.Interaction.MakeCase
getClockTime	Mikan.Utils.Time
getCommandLineOptions	Mikan.Interaction.Options.Lenses
getConcreteFixity	Mikan.Syntax.Scope.Monad
getConcretePolarity	Mikan.Syntax.Scope.Monad
getConForm	Mikan.TypeChecking.Datatypes
getConHead	Mikan.TypeChecking.Datatypes
getConInfo	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getConName	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
getConst	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getConstInfo	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Reduce.Monad, Mikan.Compiler.Backend
getConstInfo'	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getConstraints	Mikan.Interaction.BasicOps
getConstraintsForProblem	Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getConstraintsMentioning	Mikan.Interaction.BasicOps
getConstructorData	Mikan.TypeChecking.Datatypes
getConstructorInfo	Mikan.TypeChecking.Datatypes
getConstructorInfo'	Mikan.TypeChecking.Datatypes
getConstructors	Mikan.TypeChecking.Datatypes
getConstructors'	Mikan.TypeChecking.Datatypes
getConstructors_	Mikan.TypeChecking.Datatypes
getContext
1 (Function)	Mikan.Syntax.Parser.Monad
2 (Function)	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getContextArgs	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getContextNames	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getContextNames'	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getContextSize	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getContextTelescope	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getContextTerms	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getContextVars	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getContextVars'	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getConType	Mikan.TypeChecking.Datatypes
getCPUTime	Mikan.Utils.Time
getCurrentModule	Mikan.Syntax.Scope.State, Mikan.Syntax.Scope.Monad
getCurrentModuleFreeVars	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getCurrentPath	Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getCurrentRange	Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getCurrentScope	Mikan.Syntax.Scope.State, Mikan.Syntax.Scope.Monad
getDataDir	Mikan.Setup
getDataFileName	Mikan.Setup
getDatatypeArgs	Mikan.TypeChecking.Datatypes
getDecodedModule	Mikan.TypeChecking.Monad.Imports, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getDecodedModules	Mikan.TypeChecking.Monad.Imports, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getDef	Mikan.TypeChecking.Functions
getDefArity	Mikan.TypeChecking.Positivity
getDefaultLibraries	Mikan.Interaction.Library
getDefFreeVars	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getDefinedNames	Mikan.Syntax.Scope.Operator
getDefListNoMetas	Mikan.Syntax.Internal.Defs
getDefModule	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
GetDefs	Mikan.Syntax.Internal.Defs
getDefs	Mikan.Syntax.Internal.Defs
getDefType	Mikan.TypeChecking.Records
getDisplayForms	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getEnv	Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getEquality	Mikan.TypeChecking.Rules.LHS.Unify.Types
getEqualityUnraised	Mikan.TypeChecking.Rules.LHS.Unify.Types
getEverythingInScope	Mikan.Mimer.Monad
GetFileId	Mikan.Utils.FileId
getFileId	Mikan.Utils.FileId
getFlag	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getForcedArgs	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getForeignCodeStack	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getFreeVariables	Mikan.Syntax.Common
getFreeVariablesArgInfo	Mikan.Syntax.Common
getFresh	Mikan.TypeChecking.Serialise.Base
getFullyAppliedConType	Mikan.TypeChecking.Datatypes
getGeneralizedFieldName	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getGeneralizedParameters	Mikan.TypeChecking.Rules.Data
getGoals	Mikan.Interaction.BasicOps
getGoals'	Mikan.Interaction.BasicOps
getHiding	Mikan.Syntax.Common
getHidingArgInfo	Mikan.Syntax.Common
GetIdFile	Mikan.Utils.FileId
getIdFile	Mikan.Utils.FileId
getIncludeDirs	Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getInput	Mikan.Syntax.Parser.LookAhead
getInstalledLibraries	Mikan.Interaction.Library
getInstanceCandidates	Mikan.TypeChecking.InstanceArguments
getInstanceDefs	Mikan.TypeChecking.InstanceArguments
getInteractionIdsAndMetas	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getInteractionMetas	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getInteractionOutputCallback	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getInteractionPoints	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getInteractionRange	Mikan.Interaction.BasicOps
getInteractionScope	Mikan.Interaction.BasicOps
getInteractor	Mikan.Main
getInterface	Mikan.Interaction.Imports
getIntervalFile	Mikan.Syntax.Position
getIPBoundary	Mikan.Interaction.BasicOps
getLeftoverPatterns	Mikan.TypeChecking.Rules.LHS.Problem
getLetBindings	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getLetVars	Mikan.Mimer.Monad
getLexInput	Mikan.Syntax.Parser.Alex
getLexState	Mikan.Syntax.Parser.Monad
getLibraryOptions	Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getLocalVars
1 (Function)	Mikan.Syntax.Scope.Monad
2 (Function)	Mikan.Mimer.Monad
getLocalVarTerms	Mikan.Mimer.Monad
getMaxNat	Mikan.Utils.Monoid
getMetaArgsType	Mikan.Interaction.BasicOps
getMetaContextArgs	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMetaEnv	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMetaInfo	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMetaInstantiation	Mikan.Mimer.Monad
getMetaListeners	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMetaNameSuggestion	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMetaPriority	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMetaRange	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMetaScope	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMetaSig	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMetaType	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMetaTypeInContext	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getModuleCheckpoint	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getModuleContents	Mikan.Interaction.BasicOps
getModuleFreeVars	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getModuleParameterSub	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMutual	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getMutual_	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getName'	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getNamedScope	Mikan.Syntax.Scope.State, Mikan.Syntax.Scope.Monad
getNameOf	Mikan.Syntax.Common
getNameOfConstrained	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getNonMainInterface	Mikan.Interaction.Imports
getNonMainModuleInfo	Mikan.Interaction.Imports
getNotation	Mikan.Syntax.Scope.Monad
getNumberOfParameters	Mikan.TypeChecking.Datatypes
getOldInteractionScope	Mikan.Interaction.InteractionTop
getOpen	Mikan.TypeChecking.Monad.Open, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getOpenComponent	Mikan.Mimer.Monad
getOpenMetas	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getOperatorScope	Mikan.Syntax.Scope.Operator
getOpt	Mikan.Utils.GetOpt
getOpt'	Mikan.Utils.GetOpt
getOptSimple	Mikan.Interaction.Options
getOrigConHead	Mikan.TypeChecking.Datatypes
getOrigin	Mikan.Syntax.Common
getOriginalConstInfo	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getOriginalProjection	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getOriginArgInfo	Mikan.Syntax.Common
getOutputTypeName	Mikan.TypeChecking.InstanceArguments
getParseFlags	Mikan.Syntax.Parser.Monad
getParseInterval	Mikan.Syntax.Parser.Monad
getPartialDefs	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getPatternSynImports	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getPatternSyns	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getPersistentVerbosity	Mikan.Interaction.Options.Lenses
getPolarity	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getPolarity'	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getPragmaOptions	Mikan.Interaction.Options
getPrettyVisitedModules	Mikan.TypeChecking.Monad.Imports, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getPrimitive	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getPrimitive'	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getPrimitiveLibDir	Mikan.Interaction.Library
getPrimitiveName'	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getPrimitiveTerm	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getPrimitiveTerm'	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getPrimName	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getProfileOptions	Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getProjLams	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getQNameFromTerm	Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive
getRange	Mikan.Syntax.Position
getRangeWithoutFile	Mikan.Syntax.Position
getRecordConstructor
1 (Function)	Mikan.Syntax.Scope.Monad
2 (Function)	Mikan.TypeChecking.Records
getRecordContents	Mikan.Interaction.BasicOps
getRecordDef	Mikan.TypeChecking.Records
getRecordFieldNames	Mikan.TypeChecking.Records
getRecordFields	Mikan.Mimer.Monad
getRecordInfo	Mikan.Mimer.Monad
getRecordOfField	Mikan.TypeChecking.Records
getRecordTypeFields	Mikan.TypeChecking.Records
getReducedEquality	Mikan.TypeChecking.Rules.LHS.Unify.Types
getReducedEqualityUnraised	Mikan.TypeChecking.Rules.LHS.Unify.Types
getRefl	Mikan.TypeChecking.Primitive
getReflArgInfo	Mikan.TypeChecking.Primitive
getReflPattern	Mikan.TypeChecking.Rules.Def
getResponseContext	Mikan.Interaction.BasicOps
getReuse	Mikan.TypeChecking.Serialise.Base
gets
1 (Function)	Mikan.Utils.StrictState
2 (Function)	Mikan.Utils.StrictState2
getSafeMode	Mikan.Interaction.Options.Lenses
getsBenchmark	Mikan.Utils.Benchmark
getScope	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getSection	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getSessionState	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getSig	Mikan.Syntax.Concrete.Definitions.Monad
getSigmaKit	Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive
getSignature	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getSimplification	Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getSolvedInteractionPoints	Mikan.Interaction.BasicOps
getSort	Mikan.Syntax.Internal.Term
getStatistics	Mikan.TypeChecking.Monad.Statistics, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getsTC	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getTacticAttr	Mikan.Syntax.Parser.Helpers
getTC	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getTCState	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Getter	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getTerm	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getTerm'	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Getting	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getting	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getTrustedExecutables	Mikan.Interaction.Library
getUnambiguous	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
getUniqueCompilerPragma	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getUniqueMetasRanges	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getUniverseCheckFromSig	Mikan.Syntax.Concrete.Definitions.Monad
getUnsolvedInteractionMetas	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getUnsolvedMetas	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getUserEra	Mikan.Utils.Trace
getUserVariableNames	Mikan.TypeChecking.Rules.LHS.Problem
getUserWarnings	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getVarInfo	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getVarsToBind	Mikan.Syntax.Scope.Monad
getVarType	Mikan.TypeChecking.Rules.LHS.Unify.Types
getVarTypeUnraised	Mikan.TypeChecking.Rules.LHS.Unify.Types
getVerbosity
1 (Function)	Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
2 (Function)	Mikan.Interaction.Options.Lenses
getVerbosityLevel	Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getVisitedModule	Mikan.TypeChecking.Monad.Imports, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getVisitedModules	Mikan.TypeChecking.Monad.Imports, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
getWarningsAndNonFatalErrors	Mikan.Interaction.BasicOps
GFromJSON	Mikan.Interaction.JSON
GFromJSONKey	Mikan.Interaction.JSON
githubIssue
1 (Function)	Mikan.Syntax.Common.Pretty
2 (Function)	Mikan.TypeChecking.Pretty
Give	Mikan.Interaction.InteractionTop
give	Mikan.Interaction.BasicOps
giveExpr	Mikan.Interaction.BasicOps
GiveRefine	Mikan.Interaction.InteractionTop
GiveResult	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
give_	Mikan.Interaction.BasicOps
give_gen	Mikan.Interaction.InteractionTop
Give_NoParen	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
Give_Paren	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
Give_String	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
glam	Mikan.TypeChecking.Names
glamN	Mikan.TypeChecking.Names
GlobalCandidate	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Goal
1 (Type/Class)	Mikan.Mimer.Types
2 (Data Constructor)	Mikan.Mimer.Types
GoalAndElaboration	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
GoalAndHave	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
GoalDisplayInfo	Mikan.Interaction.Response
GoalDisplayInfo_boot	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
goalMeta	Mikan.Mimer.Types
GoalOnly	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
Goals	Mikan.Interaction.Response
Goals_boot	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
GoalTypeAux	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
Goal_CurrentGoal	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
Goal_GoalType	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
Goal_HelperFunction	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
Goal_InferredType	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
Goal_NormalForm	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
goTickIcode	Mikan.TypeChecking.Serialise.Base
gpi	Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive
grammar
1 (Function)	Mikan.Utils.Parser.MemoisedCPS
2 (Function)	Mikan.Syntax.Concrete.Operators.Parser.Monad
Graph
1 (Type/Class)	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
2 (Data Constructor)	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
3 (Data Constructor)	Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark
graph	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
group	Mikan.Utils.List1
group1	Mikan.Utils.List1
groupAllWith	Mikan.Utils.List1
groupAllWith1	Mikan.Utils.List1
groupBy	Mikan.Utils.List1
groupBy'	Mikan.Utils.List1
groupBy1	Mikan.Utils.List1
groupByEither	Mikan.Utils.Either
groupByFst	Mikan.Utils.List1
groupByFst1	Mikan.Utils.List1
groupOn	Mikan.Utils.List1
groupOn1	Mikan.Utils.List1
groupWith	Mikan.Utils.List1
groupWith1	Mikan.Utils.List1
GToEncoding	Mikan.Interaction.JSON
GToJSON	Mikan.Interaction.JSON
GToJSON'	Mikan.Interaction.JSON
GToJSONKey	Mikan.Interaction.JSON
guard	Mikan.Utils.Monad
guardConstraint	Mikan.TypeChecking.Constraints
Guarded	Mikan.Termination.Monad
guardM	Mikan.Utils.Monad
guardPointerEquality	Mikan.TypeChecking.Conversion
GuardPos	Mikan.TypeChecking.Positivity.Occurrence
guardWithError	Mikan.Utils.Monad
guessRecordType	Mikan.TypeChecking.Rules.Term