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 - U

U	Mikan.Mimer.Options
UE	Mikan.TypeChecking.Coverage.SplitClause
uglyShowName	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
ULarge	Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term
unAbs	Mikan.Syntax.Internal.Dom
unAbsN	Mikan.TypeChecking.Names
unambigName	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
unambiguous	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
unambiguousLookups	Mikan.Syntax.Scope.Base
unAmbQ	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
UnambWrongProj	Mikan.TypeChecking.Coverage.Errors
unAppView
1 (Function)	Mikan.Syntax.Concrete
2 (Function)	Mikan.Syntax.Abstract.Views
unArg	Mikan.Syntax.Common
unArgKeepHiding	Mikan.Syntax.Common
unBind	Mikan.Syntax.Abstract
unbindVariable	Mikan.Syntax.Scope.Monad
UnBlock	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unblockDef	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockedTester	Mikan.TypeChecking.MetaVars
unblockMeta	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
UnblockOnAll	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockOnAll	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockOnAllMetas	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockOnAllMetasIn	Mikan.Syntax.Internal.MetaVars
UnblockOnAny	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockOnAny	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockOnAnyMeta	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockOnAnyMetaIn	Mikan.Syntax.Internal.MetaVars
unblockOnBoth	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
UnblockOnDef	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockOnDef	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockOnEither	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
UnblockOnMeta	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockOnMeta	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
UnblockOnProblem	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockOnProblem	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unblockProblem	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
unBlockT	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnboundName	Mikan.TypeChecking.Unquote.Errors
UnboundParameters
1 (Type/Class)	Mikan.TypeChecking.Rules.Data
2 (Data Constructor)	Mikan.TypeChecking.Rules.Data
UnboundVariablesInPatternSynonym	Mikan.Syntax.Scope.Errors
UnboundVariablesInPatternSynonym_	Mikan.Interaction.Options.Errors
unBrave	Mikan.Syntax.Internal.Term
unBruijn	Mikan.TypeChecking.CompiledClause.Compile
unBuiltinAccess	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
uncacheVar	Mikan.TypeChecking.Serialise.Base
unCallSite	Mikan.Utils.CallStack
uncheckedBitWord#	Mikan.Utils.Word
uncheckedClearBitWord#	Mikan.Utils.Word
uncheckedSetBitWord#	Mikan.Utils.Word
uncheckedTestBitWord#	Mikan.Utils.Word
uncheckedWordOnes#	Mikan.Utils.Word
uncompress	Mikan.Utils.CompressedTrie
UnconfirmedReductions	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
uncons
1 (Function)	Mikan.Utils.List
2 (Function)	Mikan.Utils.List1
unConstV	Mikan.TypeChecking.Level
uncurried	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
uncurry	Mikan.Utils.Tuple.Strict
uncurry3	Mikan.Utils.Tuple
uncurry4	Mikan.Utils.Tuple
uncurrys	Mikan.Utils.TypeLevel
under	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
underAbsReduceM	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
underAbsReduceM_	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
underAbstraction	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
underAbstraction'	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
underAbstractionAbs	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
underAbstractionAbs'	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
underAbstraction_	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Underapplied	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
underBinder	Mikan.TypeChecking.Free.Generic
underBinders	Mikan.TypeChecking.Free.Generic
underBinders'	Mikan.TypeChecking.Free.Generic
underConstructor	Mikan.TypeChecking.Free.Generic
underConstructor'	Mikan.TypeChecking.Free.Generic
underFlexRig	Mikan.TypeChecking.Free.Generic
underFlexRig'	Mikan.TypeChecking.Free.Generic
underlyingRange	Mikan.TypeChecking.Serialise.Instances.Common
underOpaqueId	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Underscore
1 (Type/Class)	Mikan.Syntax.Common
2 (Data Constructor)	Mikan.Syntax.Concrete
3 (Data Constructor)	Mikan.Syntax.Abstract
underscore	Mikan.Syntax.Common
unDom	Mikan.Syntax.Internal.Dom
unDontExpand	Mikan.Utils.ExpandCase
unDrop	Mikan.Utils.Permutation
unEl	Mikan.Syntax.Internal.Term
UnequalTerms_	Mikan.Interaction.Options.Errors
UnequalTypes_	Mikan.Interaction.Options.Errors
UnexpectedParameter	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnexpectedParameter_	Mikan.Interaction.Options.Errors
UnexpectedTypeSignatureForParameter	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnexpectedTypeSignatureForParameter_	Mikan.Interaction.Options.Errors
UnexpectedWhere	Mikan.Interaction.Errors
UnexpectedWithPatterns	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnexpectedWithPatterns_	Mikan.Interaction.Options.Errors
unExprView	Mikan.Syntax.Concrete.Operators.Parser
unflattenTel	Mikan.TypeChecking.Telescope
unflattenTel'	Mikan.TypeChecking.Telescope
unfold	Mikan.Utils.List1
unfoldCorecursion	Mikan.TypeChecking.Reduce
unfoldCorecursionE	Mikan.TypeChecking.Reduce
unfoldDefinitionE	Mikan.TypeChecking.Reduce
unfoldDefinitionStep	Mikan.TypeChecking.Reduce
Unfolding	Mikan.Syntax.Concrete
UnfoldingDecl	Mikan.Syntax.Abstract
UnfoldingDeclS	Mikan.Syntax.Abstract
UnfoldingOutsideOpaque	Mikan.Syntax.Concrete.Definitions.Errors
UnfoldingWrongName	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnfoldingWrongName_	Mikan.Interaction.Options.Warnings
unfoldInlined	Mikan.TypeChecking.Reduce
unfoldr	Mikan.Utils.List1
UnfoldTransparentName	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnfoldTransparentName_	Mikan.Interaction.Options.Warnings
UnFreezeMeta	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unfreezeMeta	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unfreezeMetas	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unfreeze_	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
ungatherRecordDirectives	Mikan.Syntax.Concrete
unGet	Mikan.Utils.Serialize
Unguarded	Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free
unguardedRecord	Mikan.TypeChecking.Records
unguardedVars	Mikan.TypeChecking.Free
UnicodeOk	Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty, Mikan.Interaction.Options
UnicodeOrAscii	Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty, Mikan.Interaction.Options
UnicodeSubscript	Mikan.Syntax.Concrete.Name, Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Concrete, Mikan.Syntax.Abstract
UnificationFailure	Mikan.TypeChecking.Coverage.Errors
UnificationMeta	Mikan.Syntax.Info
UnificationResult	Mikan.TypeChecking.Rules.LHS.Unify
UnificationResult'	Mikan.TypeChecking.Rules.LHS.Unify
UnificationStep	Mikan.TypeChecking.Rules.LHS.Unify.Types
UnificationStuck	Mikan.TypeChecking.Coverage.Errors
UnificationStuck_	Mikan.Interaction.Options.Errors
Unifies	Mikan.TypeChecking.Rules.LHS.Unify
UnifyBlocked	Mikan.TypeChecking.Rules.LHS.Unify
UnifyConflict	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnifyConflict_	Mikan.Interaction.Options.Errors
UnifyCycle	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnifyCycle_	Mikan.Interaction.Options.Errors
unifyElims	Mikan.TypeChecking.IApplyConfluence
unifyElimsMeta	Mikan.TypeChecking.IApplyConfluence
UnifyEquiv	Mikan.TypeChecking.Coverage.SplitClause
UnifyIndices	Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark
unifyIndices	Mikan.TypeChecking.Rules.LHS.Unify
unifyIndices'	Mikan.TypeChecking.Rules.LHS.Unify
UnifyIndicesNotVars	Mikan.TypeChecking.Coverage.Errors
UnifyLog	Mikan.TypeChecking.Rules.LHS.Unify.Types
UnifyLog'	Mikan.TypeChecking.Rules.LHS.Unify.Types
UnifyLogEntry	Mikan.TypeChecking.Rules.LHS.Unify.Types
UnifyLogT	Mikan.TypeChecking.Rules.LHS.Unify.Types
UnifyOutput
1 (Type/Class)	Mikan.TypeChecking.Rules.LHS.Unify.Types
2 (Data Constructor)	Mikan.TypeChecking.Rules.LHS.Unify.Types
unifyProof	Mikan.TypeChecking.Rules.LHS.Unify.Types
UnifyRecursiveEq	Mikan.TypeChecking.Coverage.Errors
UnifyReflexiveEq	Mikan.TypeChecking.Coverage.Errors
unifySolutionPerm	Mikan.TypeChecking.Rules.LHS.Unify.Types
UnifyState	Mikan.TypeChecking.Rules.LHS.Unify.Types
UnifyStep	Mikan.TypeChecking.Rules.LHS.Unify.Types
UnifyStepT	Mikan.TypeChecking.Rules.LHS.Unify.Types
UnifyStuck	Mikan.TypeChecking.Rules.LHS.Unify
unifySubst	Mikan.TypeChecking.Rules.LHS.Unify.Types
union
1 (Function)	Mikan.Utils.Set
2 (Function)	Mikan.Utils.Map1
3 (Function)	Mikan.Utils.Set1
4 (Function)	Mikan.Utils.BoolSet
5 (Function)	Mikan.Utils.VarSet
6 (Function)	Mikan.Utils.SmallSet
7 (Function)	Mikan.Utils.Trie
8 (Function)	Mikan.Utils.List1
9 (Function)	Mikan.Utils.Favorites
10 (Function)	Mikan.Utils.BiMap
11 (Function)	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
12 (Function)	Mikan.Termination.CallMatrix
13 (Function)	Mikan.Termination.CallGraph
unionCompared	Mikan.Utils.Favorites
unionMaybeWith
1 (Function)	Mikan.Utils.Maybe.Strict
2 (Function)	Mikan.Utils.Maybe
unionPrecondition	Mikan.Utils.BiMap
unions
1 (Function)	Mikan.Utils.Set
2 (Function)	Mikan.Utils.Map1
3 (Function)	Mikan.Utils.Set1
4 (Function)	Mikan.Utils.VarSet
5 (Function)	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
unionsMaybeWith	Mikan.Utils.Maybe
unionsWith
1 (Function)	Mikan.Utils.Map1
2 (Function)	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
unionWith
1 (Function)	Mikan.Utils.Map1
2 (Function)	Mikan.Utils.Trie
3 (Function)	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
unionWithKey	Mikan.Utils.Map1
uniqOn	Mikan.Utils.List
uniqueInt	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
UniqueOpaque	Mikan.Syntax.Common
united	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Univ
1 (Type/Class)	Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term
2 (Data Constructor)	Mikan.Syntax.Internal.Term
univChecks	Mikan.TypeChecking.Rules.Application
UniverseCheck	Mikan.Syntax.Common
universeCheck	Mikan.Syntax.Concrete.Definitions.Types
universeCheckPragma	Mikan.Syntax.Concrete.Definitions.Monad
univFibrancy	Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term
UnivSize	Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term
UnivSort	Mikan.Syntax.Internal.Term
univSort	Mikan.TypeChecking.Substitute
univSort'	Mikan.TypeChecking.Substitute
univUniv	Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term
unKleisli	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Unknown
1 (Data Constructor)	Mikan.Interaction.Options.Warnings
2 (Data Constructor)	Mikan.Termination.Order
3 (Data Constructor)	Mikan.Syntax.Reflected
unknown	Mikan.Termination.Order
UnknownAttribute	Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser
UnknownAttribute_	Mikan.Interaction.Options.Warnings
UnknownBackend	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnknownBackend_	Mikan.Interaction.Options.Errors
UnknownError	Mikan.Interaction.ExitCode
UnknownField	Mikan.Interaction.Library.Base
UnknownFixityInMixfixDecl	Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions
UnknownFixityInMixfixDecl_	Mikan.Interaction.Options.Warnings
unknownFreeVariables	Mikan.Syntax.Common
UnknownFVs	Mikan.Syntax.Common
UnknownHead	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnknownName	Mikan.Syntax.Scope.Base
UnknownNamesInFixityDecl	Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions
UnknownNamesInFixityDecl_	Mikan.Interaction.Options.Warnings
UnknownNamesInPolarityPragmas	Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions
UnknownNamesInPolarityPragmas_	Mikan.Interaction.Options.Warnings
UnknownPolarity	Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser
UnknownPolarity_	Mikan.Interaction.Options.Warnings
UnknownS	Mikan.Syntax.Reflected
unlamView	Mikan.TypeChecking.Substitute
unless	Mikan.Utils.Monad
unlessDebugPrinting	Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unlessM	Mikan.Utils.Monad
unlessNull
1 (Function)	Mikan.Utils.Map1
2 (Function)	Mikan.Utils.Set1
3 (Function)	Mikan.Utils.Null
4 (Function)	Mikan.Utils.List1
unlessNullM
1 (Function)	Mikan.Utils.Map1
2 (Function)	Mikan.Utils.Set1
3 (Function)	Mikan.Utils.Null
4 (Function)	Mikan.Utils.List1
unLevel	Mikan.TypeChecking.Level
unlevelWithKit	Mikan.TypeChecking.Level
unlistenToMeta	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unLvl	Mikan.TypeChecking.Primitive
unM	Mikan.Termination.SparseMatrix
unmapListT	Mikan.Utils.ListT
unName	Mikan.TypeChecking.Names
unnamed	Mikan.Syntax.Common
unNamedArg	Mikan.Syntax.Concrete
unnamedArg	Mikan.Syntax.Common
unNat	Mikan.TypeChecking.Primitive
unNice	Mikan.Syntax.Concrete.Definitions.Monad
unNoSubst	Mikan.Syntax.Internal.Term
unpackIWF	Mikan.Syntax.Position
unpackTeletype	Mikan.Syntax.Internal.Telescope
unpackUnquoteM	Mikan.TypeChecking.Unquote
unPiView	Mikan.Syntax.Abstract.Views
unPlusV	Mikan.TypeChecking.Level
unPM	Mikan.Syntax.Parser
unProjView	Mikan.TypeChecking.ProjectionLike
unPut	Mikan.Utils.Serialize
Unqualified	Mikan.Mimer.Options
unqualify	Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete
unqualifyToken	Mikan.Syntax.Parser.Helpers
unquotableName	Mikan.TypeChecking.Errors.Names
Unquote
1 (Data Constructor)	Mikan.Syntax.Concrete
2 (Data Constructor)	Mikan.Syntax.Abstract
3 (Type/Class)	Mikan.TypeChecking.Unquote
unquote	Mikan.TypeChecking.Unquote
UnquoteData
1 (Data Constructor)	Mikan.Syntax.Concrete
2 (Data Constructor)	Mikan.Syntax.Abstract
UnquoteDataS	Mikan.Syntax.Abstract
UnquoteDecl
1 (Data Constructor)	Mikan.Syntax.Concrete
2 (Data Constructor)	Mikan.Syntax.Abstract
UnquoteDeclS	Mikan.Syntax.Abstract
UnquoteDef
1 (Data Constructor)	Mikan.Syntax.Concrete
2 (Data Constructor)	Mikan.Syntax.Abstract
UnquoteDefRequiresSignature	Mikan.Syntax.Concrete.Definitions.Errors
UnquoteDefS	Mikan.Syntax.Abstract
UnquoteError	Mikan.TypeChecking.Unquote.Errors
UnquoteFlags
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
UnquoteM	Mikan.TypeChecking.Unquote
unquoteM	Mikan.TypeChecking.Rules.Term
unquoteN	Mikan.TypeChecking.Unquote
unquoteNormalise	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unquoteNString	Mikan.TypeChecking.Unquote
UnquoteRes	Mikan.TypeChecking.Unquote
UnquoteState	Mikan.TypeChecking.Unquote
unquoteString	Mikan.TypeChecking.Unquote
UnquoteTactic	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unquoteTactic	Mikan.TypeChecking.Rules.Term
unquoteTCM	Mikan.TypeChecking.Unquote
unquoteTop	Mikan.TypeChecking.Rules.Decl
unranged	Mikan.Syntax.Common
Unreachable	Mikan.Utils.Impossible
UnreachableClauses	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnreachableClauses_	Mikan.Interaction.Options.Warnings
unReduceM	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Unrelated	Mikan.Syntax.Common
unsafeComparePointers	Mikan.Utils.Unsafe
unsafeCreate	Mikan.Utils.ShortText
unsafeDeclarationWarning	Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions
unsafeDeclarationWarning'	Mikan.Syntax.Concrete.Definitions.Errors
unsafeEscapeContext	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unsafeFreeze
1 (Function)	Mikan.Utils.MinimalArray.MutablePrim
2 (Function)	Mikan.Utils.MinimalArray.MutableLifted
unsafeFromByteArray	Mikan.Utils.ShortText
unsafeFromMap	Mikan.Utils.Map1
unsafeFromSet	Mikan.Utils.Set1
unsafeIndex
1 (Function)	Mikan.Utils.MinimalArray.Prim
2 (Function)	Mikan.Utils.MinimalArray.Lifted
unsafeInTopContext	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unsafeModifyContext	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unsafePartsOf	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unsafePartsOf'	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unsafePragma	Mikan.Syntax.Concrete.Definitions.Errors
unsafePragmaOptions	Mikan.Interaction.Options
unsafeRead
1 (Function)	Mikan.Utils.MinimalArray.MutablePrim
2 (Function)	Mikan.Utils.MinimalArray.MutableLifted
unsafeSetUnicodeOrAscii	Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty
unsafeSingular	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unsafeTopLevelModuleName	Mikan.Syntax.TopLevelModuleName
unsafeWrite
1 (Function)	Mikan.Utils.MinimalArray.MutablePrim
2 (Function)	Mikan.Utils.MinimalArray.MutableLifted
unScope	Mikan.Syntax.Abstract.Views
unsharedVar	Mikan.Syntax.Internal.Term
unSingleLevel	Mikan.TypeChecking.Level
unSingleLevels	Mikan.TypeChecking.Level
UnsolvedConstraint	Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise
UnsolvedConstraints	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnsolvedConstraints_	Mikan.Interaction.Options.Warnings
UnsolvedInteractionMetas	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnsolvedInteractionMetas_	Mikan.Interaction.Options.Warnings
UnsolvedMeta	Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise
UnsolvedMetaVariables	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnsolvedMetaVariables_	Mikan.Interaction.Options.Warnings
UnsolvedWarning	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unsolvedWarnings	Mikan.Interaction.Options.Warnings
unSpine	Mikan.Syntax.Internal.Term
UnsupportedAttribute	Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser
UnsupportedAttribute_	Mikan.Interaction.Options.Warnings
UnsupportedCxt	Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse, Mikan.TypeChecking.Rules.LHS.Unify
UnsupportedIndexedMatch	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnsupportedIndexedMatch_	Mikan.Interaction.Options.Warnings
UnsupportedYet	Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse, Mikan.TypeChecking.Rules.LHS.Unify
UntaggedValue	Mikan.Interaction.JSON
unTCM	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unTCM#	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Unused	Mikan.TypeChecking.Positivity.Occurrence
UnusedImports	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnusedImportsAll_	Mikan.Interaction.Options.Warnings
UnusedImportsState
1 (Type/Class)	Mikan.Syntax.Scope.Base
2 (Data Constructor)	Mikan.Syntax.Scope.Base
unusedImportsWarnings	Mikan.Interaction.Options.Warnings
UnusedImports_	Mikan.Interaction.Options.Warnings
unusedVar	Mikan.Termination.Monad
UnusedVariableInPatternSynonym	Mikan.Syntax.Scope.Errors
UnusedVariableInPatternSynonym_	Mikan.Interaction.Options.Errors
UnusedVariablesInDisplayForm	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UnusedVariablesInDisplayForm_	Mikan.Interaction.Options.Warnings
unviewProjectedVar	Mikan.TypeChecking.MetaVars
unwindModuleCheckpointsOnto	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
unwords
1 (Function)	Mikan.Utils.ShortText
2 (Function)	Mikan.Utils.List1
unwords1	Mikan.Utils.String
unwrap
1 (Function)	Mikan.Utils.MinimalArray.Prim
2 (Function)	Mikan.Utils.MinimalArray.MutablePrim
3 (Function)	Mikan.Utils.MinimalArray.Lifted
4 (Function)	Mikan.Utils.MinimalArray.MutableLifted
unwrapUnaryRecords	Mikan.Interaction.JSON
unWriter	Mikan.Utils.StrictWriter
unWriterT	Mikan.Utils.StrictWriter
unzip
1 (Function)	Mikan.Utils.List1
2 (Function)	Mikan.Utils.Tuple.Strict
3 (Function)	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
unzipMaybe
1 (Function)	Mikan.Utils.Maybe.Strict
2 (Function)	Mikan.Utils.Maybe
unzipWith
1 (Function)	Mikan.Utils.List
2 (Function)	Mikan.Utils.List1
upDataOrRecord	Mikan.TypeChecking.Rules.Data
update
1 (Function)	Mikan.Utils.Map1
2 (Function)	Mikan.Utils.AssocList
3 (Function)	Mikan.Utils.BiMap
updateAllowedReductions	Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateAt
1 (Function)	Mikan.Utils.Map1
2 (Function)	Mikan.Utils.ListInf
3 (Function)	Mikan.Utils.AssocList
updateBenchmarkingStatus	Mikan.TypeChecking.Monad.Benchmark
updateBlocker	Mikan.TypeChecking.Constraints
updateBranch	Mikan.Mimer.Monad
updateBranch'	Mikan.Mimer.Monad
updateBranchCost	Mikan.Mimer.Monad
updateCompiledClauses	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateContext	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateCovering	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateDefArgOccurrences	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateDefBlocked	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateDefCompiledRep	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateDefCopatternLHS	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateDefPolarity	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateDefType	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateEtaForRecord	Mikan.TypeChecking.Records
updateFunClauses	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateHeads	Mikan.TypeChecking.Injectivity
updateInstanceDefs	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateInteractionPointsAfter	Mikan.Interaction.InteractionTop
updateLookupWithKey	Mikan.Utils.Map1
updateMax	Mikan.Utils.Map1
updateMaxWithKey	Mikan.Utils.Map1
updateMetaVar	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateMetaVarRange	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateMetaVarTCM	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updateMin	Mikan.Utils.Map1
updateMinWithKey	Mikan.Utils.Map1
updateNamedArg	Mikan.Syntax.Common
updateNamedArgA	Mikan.Syntax.Common
updatePersistentState	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
updatePrecondition	Mikan.Utils.BiMap
updateProblemRest	Mikan.TypeChecking.Rules.LHS.ProblemRest
Updater	Mikan.Utils.Update
UpdaterT	Mikan.Utils.Update
updateScopeLocals	Mikan.Syntax.Scope.Base
updateScopeNameSpaces	Mikan.Syntax.Scope.Base
updateScopeNameSpacesM	Mikan.Syntax.Scope.Base
updateStat	Mikan.Mimer.Monad
updateVarsToBind	Mikan.Syntax.Scope.Base
updateWithKey	Mikan.Utils.Map1
upFrom	Mikan.Utils.ListInf
UProp	Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term
upUnbound	Mikan.TypeChecking.Rules.Data
URL	Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise
url
1 (Function)	Mikan.Syntax.Common.Pretty
2 (Function)	Mikan.TypeChecking.Pretty
usageInfo	Mikan.Utils.GetOpt
usageWarning	Mikan.Interaction.Options.Warnings
use	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
useConcreteNames	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
useDefaultFixity	Mikan.Syntax.Notation
UseEverything	Mikan.Syntax.Common
UseForce	Mikan.Interaction.Base
useInjectivity	Mikan.TypeChecking.Injectivity
UselessAbstract	Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions
UselessAbstract_	Mikan.Interaction.Options.Warnings
UselessHiding	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessHiding_	Mikan.Interaction.Options.Warnings
UselessImport	Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions
UselessImport_	Mikan.Interaction.Options.Warnings
UselessInline	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessInline_	Mikan.Interaction.Options.Warnings
UselessInstance	Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions
UselessInstance_	Mikan.Interaction.Options.Warnings
UselessMacro	Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions
UselessMacro_	Mikan.Interaction.Options.Warnings
UselessOpaque	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessOpaque_	Mikan.Interaction.Options.Warnings
UselessPatternDeclarationForRecord	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessPatternDeclarationForRecord_	Mikan.Interaction.Options.Warnings
UselessPragma	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessPragma_	Mikan.Interaction.Options.Warnings
UselessPrivate	Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions
UselessPrivate_	Mikan.Interaction.Options.Warnings
UselessPublic	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessPublicAnonymousModule	Mikan.TypeChecking.Monad.Base.Warning, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessPublicLet	Mikan.TypeChecking.Monad.Base.Warning, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessPublicNoOpen	Mikan.TypeChecking.Monad.Base.Warning, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessPublicPreamble	Mikan.TypeChecking.Monad.Base.Warning, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessPublicReason	Mikan.TypeChecking.Monad.Base.Warning, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessPublic_	Mikan.Interaction.Options.Warnings
UselessTactic	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UselessTactic_	Mikan.Interaction.Options.Warnings
useNamesFromPattern	Mikan.TypeChecking.Rules.LHS.ProblemRest
useNamesFromProblemEqs	Mikan.TypeChecking.Rules.LHS.ProblemRest
useOriginFrom	Mikan.TypeChecking.Rules.LHS.ProblemRest
usePatOrigin	Mikan.TypeChecking.Substitute
usePatternInfo	Mikan.TypeChecking.Substitute
useR	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UserBinderName	Mikan.Syntax.Common
UserError	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UserError_	Mikan.Interaction.Options.Errors
userNamed	Mikan.Syntax.Common
UserWarning	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UserWarningInfo
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
UserWarnings	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UserWarning_	Mikan.Interaction.Options.Warnings
UserWritten	Mikan.Syntax.Common
uses	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
usesCopatterns	Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
useScope	Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
useSession	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
UseShowInstance	Mikan.Interaction.Base
useTC	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
useTerPragma	Mikan.TypeChecking.Rules.Def
Using
1 (Data Constructor)	Mikan.Syntax.Common
2 (Type/Class)	Mikan.Syntax.Concrete
using	Mikan.Syntax.Common
Using'	Mikan.Syntax.Common
UsingOnly	Mikan.Syntax.Scope.Base
UsingOrHiding	Mikan.Syntax.Scope.Base
usingOrHiding	Mikan.Syntax.Scope.Base
USmall	Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term
USSet	Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term
UState	Mikan.TypeChecking.Rules.LHS.Unify.Types
usualWarnings	Mikan.Interaction.Options.Warnings
UType	Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term