Index
A
-
Add
-
Add.
mk -
Alternative
-
Alternative.
mk -
Append
-
Append.
mk -
Applicative
-
Applicative.
mk -
Array
-
Array.
all -
Array.
allDiff -
Array.
allM -
Array.
any -
Array.
anyM -
Array.
append -
Array.
appendList -
Array.
attach -
Array.
attachWith -
Array.
back -
Array.
back! -
Array.
back? -
Array.
binInsert -
Array.
binInsertM -
Array.
binSearch -
Array.
binSearchContains -
Array.
concatMap -
Array.
concatMapM -
Array.
contains -
Array.
elem -
Array.
empty -
Array.
erase -
Array.
eraseIdx -
Array.
eraseReps -
Array.
extract -
Array.
filter -
Array.
filterM -
Array.
filterMap -
Array.
filterMapM -
Array.
filterPairsM -
Array.
filterSepElems -
Array.
filterSepElemsM -
Array.
find? -
Array.
findIdx? -
Array.
findIdxM? -
Array.
findM? -
Array.
findRev? -
Array.
findRevM? -
Array.
findSome! -
Array.
findSome? -
Array.
findSomeM? -
Array.
findSomeRev? -
Array.
findSomeRevM? -
Array.
flatMap -
Array.
flatMapM -
Array.
flatten -
Array.
foldl -
Array.
foldlM -
Array.
foldr -
Array.
foldrM -
Array.
forIn' -
Array.
forM -
Array.
forRevM -
Array.
get -
Array.
get! -
Array.
get? -
Array.
getD -
Array.
getEvenElems -
Array.
getIdx? -
Array.
getMax? -
Array.
groupByKey -
Array.
indexOf? -
Array.
insertAt -
Array.
insertAt! -
Array.
insertionSort -
Array.
isEmpty -
Array.
isEqv -
Array.
isPrefixOf -
Array.
map -
Array.
mapFinIdx -
Array.
mapFinIdxM -
Array.
mapIdx -
Array.
mapIdxM -
Array.
mapIndexed -
Array.
mapIndexedM -
Array.
mapM -
Array.
mapM' -
Array.
mapMono -
Array.
mapMonoM -
Array.
mk -
Array.
mkArray -
Array.
modify -
Array.
modifyM -
Array.
modifyOp -
Array.
ofFn -
Array.
ofSubarray -
Array.
partition -
Array.
pop -
Array.
popWhile -
Array.
push -
Array.
qsort -
Array.
qsortOrd -
Array.
range -
Array.
reduceGetElem -
Array.
reduceGetElem! -
Array.
reduceGetElem? -
Array.
reduceOption -
Array.
reverse -
Array.
sequenceMap -
Array.
set -
Array.
set! -
Array.
setD -
Array.
singleton -
Array.
size -
Array.
split -
Array.
swap -
Array.
swap! -
Array.
swapAt -
Array.
swapAt! -
Array.
take -
Array.
takeWhile -
Array.
toList -
Array.
toListAppend -
Array.
toListRev -
Array.
toPArray' -
Array.
toSubarray -
Array.
uget -
Array.
unattach -
Array.
unzip -
Array.
uset -
Array.
usize -
Array.
zip -
Array.
zipWith -
Array.
zipWithIndex -
ac_rfl
-
accessed
-
adapt
-
adaptExcept
-
adaptExpander
-
add
-
addExtension
-
addHeartbeats
-
addMacroScope
-
admit
-
all
-
allDiff
-
allM
-
allTR
-
all_goals
(0) (1) -
and
-
andM
-
and_intros
-
any
-
anyM
-
anyTR
-
any_goals
(0) (1) -
appDir
-
appPath
-
append
-
appendGoals
-
appendList
-
apply
(0) (1) -
apply?
-
applyEqLemma
-
applySimprocConst
-
apply_assumption
-
apply_ext_theorem
-
apply_mod_cast
-
apply_rfl
-
apply_rules
-
arg [@]i
-
args
-
arith
-
array
-
array_get_dec
-
asTask
-
assumption
-
assumption_mod_cast
-
atEnd
-
atLeastTwo
-
attach
-
attachWith
-
autoLift
-
autoParam
-
autoPromoteIndices
-
autoUnfold
B
-
BEq
-
BEq.
mk -
Backtrackable
-
BaseIO
-
BaseIO.
asTask -
BaseIO.
bindTask -
BaseIO.
mapTask -
BaseIO.
mapTasks -
BaseIO.
toEIO -
BaseIO.
toIO -
Bind
-
Bind.
bindLeft -
Bind.
kleisliLeft -
Bind.
kleisliRight -
Bind.
mk -
Bool
-
Bool.
and -
Bool.
atLeastTwo -
Bool.
decEq -
Bool.
false -
Bool.
not -
Bool.
or -
Bool.
toISize -
Bool.
toInt16 -
Bool.
toInt32 -
Bool.
toInt64 -
Bool.
toInt8 -
Bool.
toNat -
Bool.
toUInt16 -
Bool.
toUInt32 -
Bool.
toUInt64 -
Bool.
toUInt8 -
Bool.
toUSize -
Bool.
true -
Bool.
xor -
Buffer
-
back
-
back!
-
back?
-
backward.
synthInstance. canonInstances -
below
-
beq
-
beta
-
binInsert
-
binInsertM
-
binSearch
-
binSearchContains
-
bind
-
bindCont
-
bindLeft
-
bindTask
-
bind_assoc
-
bind_map
-
bind_pure_comp
-
bitwise
-
ble
-
blt
-
bootstrap.
inductiveCheckResultingUniverse -
bv_check
-
bv_decide
-
bv_decide?
-
bv_normalize
-
bv_omega
-
byCases
-
by_cases
-
byteIdx
-
byteSize
C
-
Char
-
Char.
isAlpha -
Char.
isAlphanum -
Char.
isDigit -
Char.
isLower -
Char.
isUpper -
Char.
isWhitespace -
Char.
mk -
CharLit
-
Child
-
Command
-
Config
-
calc
-
cancel
-
canonInstances
-
capitalize
-
case
-
case ...
=> ... -
case'
-
case' ...
=> ... -
caseStrongInductionOn
-
cases
-
casesOn
-
cast
-
catchExceptions
-
change
(0) (1) -
change ...
with ... -
charLitKind
-
checkCanceled
-
checkpoint
-
choiceKind
-
clear
-
closeMainGoal
-
closeMainGoalUsing
-
cmd
-
codepointPosToUtf16Pos
-
codepointPosToUtf16PosFrom
-
codepointPosToUtf8PosFrom
-
colEq
-
colGe
-
colGt
- comment
-
comp_map
-
compare
-
components
-
concatMap
-
concatMapM
-
cond
- configuration
-
congr
(0) (1) - constructor (0) (1)
-
contains
-
contextual
-
contradiction
-
control
-
controlAt
-
conv
-
conv => ...
-
conv'
(0) (1) -
createDir
-
createDirAll
-
createTempFile
-
crlfToLf
-
csize
- cumulativity
-
curr
-
currentDir
-
customEliminators
-
cwd
D
-
Decidable
-
Decidable.
byCases -
Decidable.
decide -
Decidable.
isFalse -
Decidable.
isTrue -
DecidableEq
-
DecidableRel
-
DirEntry
-
Div
-
Div.
mk -
Dvd
-
Dvd.
mk -
Dynamic
-
Dynamic.
get? -
Dynamic.
mk -
data
-
dbg_cache
-
dbg_trace
-
decEq
-
decLe
-
decLt
-
decapitalize
- decidable
-
decide
-
decreasing_tactic
-
decreasing_trivial
-
decreasing_with
-
dedicated
-
deepTerms
-
default
-
delta
(0) (1) -
digitChar
-
discard
-
discharge
-
div
-
div2Induction
-
done
(0) (1) -
down
-
drop
-
dropRight
-
dropRightWhile
-
dropWhile
-
dsimp
(0) (1) -
dsimp!
-
dsimp?
-
dsimp?!
-
dsimpLocation'
-
dvd
E
-
EIO
-
EIO.
asTask -
EIO.
bindTask -
EIO.
catchExceptions -
EIO.
mapTask -
EIO.
mapTasks -
EIO.
toBaseIO -
EIO.
toIO -
EIO.
toIO' -
EST
-
EStateM
-
EStateM.
Backtrackable -
EStateM.
Backtrackable. mk -
EStateM.
Result -
EStateM.
Result. error -
EStateM.
Result. ok -
EStateM.
adaptExcept -
EStateM.
bind -
EStateM.
fromStateM -
EStateM.
get -
EStateM.
map -
EStateM.
modifyGet -
EStateM.
nonBacktrackable -
EStateM.
orElse -
EStateM.
orElse' -
EStateM.
pure -
EStateM.
run -
EStateM.
run' -
EStateM.
seqRight -
EStateM.
set -
EStateM.
throw -
EStateM.
tryCatch -
Empty
-
Error
-
Even
-
Even.
plusTwo -
Even.
zero -
Except
-
Except.
bind -
Except.
error -
Except.
isOk -
Except.
map -
Except.
mapError -
Except.
ok -
Except.
orElseLazy -
Except.
pure -
Except.
toBool -
Except.
toOption -
Except.
tryCatch -
ExceptCpsT
-
ExceptCpsT.
lift -
ExceptCpsT.
run -
ExceptCpsT.
runCatch -
ExceptCpsT.
runK -
ExceptT
-
ExceptT.
adapt -
ExceptT.
bind -
ExceptT.
bindCont -
ExceptT.
lift -
ExceptT.
map -
ExceptT.
mk -
ExceptT.
pure -
ExceptT.
run -
ExceptT.
tryCatch -
elabCasesTargets
-
elabDSimpConfigCore
-
elabSimpArgs
-
elabSimpConfig
-
elabSimpConfigCtxCore
-
elabTerm
-
elabTermEnsuringType
-
elabTermWithHoles
-
elem
-
elemsAndSeps
-
elimOffset
-
empty
-
endPos
-
endsWith
-
ensureHasNoMVars
-
enter
-
env
-
eprint
-
eprintln
-
eq_of_beq
-
eq_refl
-
erase
-
eraseIdx
-
eraseReps
-
erw
(0) (1) -
eta
-
etaStruct
-
exact
-
exact?
-
exact_mod_cast
-
exeExtension
-
exfalso
-
exists
-
exit
-
exitCode
-
expandMacro?
-
ext
(0) (1) -
ext1
-
extSeparator
-
extension
- extensionality
-
extract
F
-
FilePath
-
FileRight
-
Fin
-
Fin.
mk -
ForIn
-
ForIn'
-
ForIn'.
mk -
ForIn.
mk -
ForInStep
-
ForInStep.
done -
ForInStep.
yield -
ForM
-
ForM.
forIn -
ForM.
mk -
Functor
-
Functor.
discard -
Functor.
mapRev -
Functor.
mk -
fail
-
failIfUnchanged
-
fail_if_success
(0) (1) -
failure
-
false_or_by_contra
-
fieldIdxKind
-
fieldNotation
-
fileName
-
fileStem
-
filter
-
filterM
-
filterMap
-
filterMapM
-
filterPairsM
-
filterSepElems
-
filterSepElemsM
-
find
-
find?
-
findIdx?
-
findIdxM?
-
findLineStart
-
findM?
-
findRev?
-
findRevM?
-
findSome!
-
findSome?
-
findSomeM?
-
findSomeRev?
-
findSomeRevM?
-
first
(0) (1) -
firstDiffPos
-
flags
-
flatMap
-
flatMapM
-
flatten
-
flush
-
focus
(0) (1) -
fold
-
foldM
-
foldRev
-
foldRevM
-
foldTR
-
foldl
-
foldlM
-
foldr
-
foldrM
-
fopenErrorToString
-
forIn
-
forIn'
-
forM
-
forRevM
-
forward
-
fromExpr?
-
fromStateM
-
fromUTF8
-
fromUTF8!
-
fromUTF8?
-
front
-
fst
-
fun
-
funext
(0) (1)
G
-
GetElem
-
GetElem.
mk -
GetElem?
-
GetElem?.
mk -
gcd
-
generalize
-
get
-
get!
-
get'
-
get?
-
getChar
-
getCurrMacroScope
-
getCurrNamespace
-
getCurrentDir
-
getD
-
getElem
-
getElem!
-
getElem!_def
-
getElem?
-
getElem?_def
-
getEnv
-
getEvenElems
-
getFVarId
-
getFVarIds
-
getGoals
-
getHygieneInfo
-
getId
-
getIdx?
-
getKind
-
getLine
-
getMainGoal
-
getMainModule
-
getMainTag
-
getMax?
-
getModify
-
getName
-
getNat
-
getNumHeartbeats
-
getPID
-
getRandomBytes
-
getScientific
-
getStderr
-
getStdin
-
getStdout
-
getString
-
getTaskState
-
getThe
-
getUnsolvedGoals
-
getUtf8Byte
-
get_elem_tactic
-
get_elem_tactic_trivial
- goal
-
ground
-
group
-
groupByKey
-
groupKind
-
guard
-
guard_expr
-
guard_hyp
-
guard_target
H
-
HAdd
-
HAdd.
mk -
HAnd
-
HAnd.
mk -
HAppend
-
HAppend.
mk -
HDiv
-
HDiv.
mk -
HMod
-
HMod.
mk -
HMul
-
HMul.
mk -
HOr
-
HOr.
mk -
HPow
-
HPow.
mk -
HShiftLeft
-
HShiftLeft.
mk -
HShiftRight
-
HShiftRight.
mk -
HSub
-
HSub.
mk -
HXor
-
HXor.
mk -
Handle
-
Hashable
-
Hashable.
mk -
HomogeneousPow
-
HomogeneousPow.
mk -
HygieneInfo
-
h
-
hAdd
-
hAnd
-
hAppend
-
hDiv
-
hMod
-
hMul
-
hOr
-
hPow
-
hShiftLeft
-
hShiftRight
-
hSub
-
hXor
-
hasBind
-
hasDecl
-
hasFinished
-
hasNext
-
hasPrev
-
hash
-
have
-
have'
-
haveI
- hygiene
-
hygieneInfoKind
-
hygienic
I
-
IO
-
IO.
Error -
IO.
Error. alreadyExists -
IO.
Error. fopenErrorToString -
IO.
Error. hardwareFault -
IO.
Error. illegalOperation -
IO.
Error. inappropriateType -
IO.
Error. interrupted -
IO.
Error. invalidArgument -
IO.
Error. mkAlreadyExists -
IO.
Error. mkAlreadyExistsFile -
IO.
Error. mkEofError -
IO.
Error. mkHardwareFault -
IO.
Error. mkIllegalOperation -
IO.
Error. mkInappropriateType -
IO.
Error. mkInappropriateTypeFile -
IO.
Error. mkInterrupted -
IO.
Error. mkInvalidArgument -
IO.
Error. mkInvalidArgumentFile -
IO.
Error. mkNoFileOrDirectory -
IO.
Error. mkNoSuchThing -
IO.
Error. mkNoSuchThingFile -
IO.
Error. mkOtherError -
IO.
Error. mkPermissionDenied -
IO.
Error. mkPermissionDeniedFile -
IO.
Error. mkProtocolError -
IO.
Error. mkResourceBusy -
IO.
Error. mkResourceExhausted -
IO.
Error. mkResourceExhaustedFile -
IO.
Error. mkResourceVanished -
IO.
Error. mkTimeExpired -
IO.
Error. mkUnsatisfiedConstraints -
IO.
Error. mkUnsupportedOperation -
IO.
Error. noFileOrDirectory -
IO.
Error. noSuchThing -
IO.
Error. otherError -
IO.
Error. otherErrorToString -
IO.
Error. permissionDenied -
IO.
Error. protocolError -
IO.
Error. resourceBusy -
IO.
Error. resourceExhausted -
IO.
Error. resourceVanished -
IO.
Error. timeExpired -
IO.
Error. toString -
IO.
Error. unexpectedEof -
IO.
Error. unsatisfiedConstraints -
IO.
Error. unsupportedOperation -
IO.
Error. userError -
IO.
FS. DirEntry -
IO.
FS. DirEntry. mk -
IO.
FS. DirEntry. path -
IO.
FS. Handle -
IO.
FS. Handle. flush -
IO.
FS. Handle. getLine -
IO.
FS. Handle. isTty -
IO.
FS. Handle. lock -
IO.
FS. Handle. mk -
IO.
FS. Handle. putStr -
IO.
FS. Handle. putStrLn -
IO.
FS. Handle. read -
IO.
FS. Handle. readBinToEnd -
IO.
FS. Handle. readBinToEndInto -
IO.
FS. Handle. readToEnd -
IO.
FS. Handle. rewind -
IO.
FS. Handle. truncate -
IO.
FS. Handle. tryLock -
IO.
FS. Handle. unlock -
IO.
FS. Handle. write -
IO.
FS. Metadata -
IO.
FS. Metadata. mk -
IO.
FS. Mode -
IO.
FS. Mode. append -
IO.
FS. Mode. read -
IO.
FS. Mode. readWrite -
IO.
FS. Mode. write -
IO.
FS. Mode. writeNew -
IO.
FS. Stream -
IO.
FS. Stream. Buffer -
IO.
FS. Stream. Buffer. data -
IO.
FS. Stream. Buffer. mk -
IO.
FS. Stream. Buffer. pos -
IO.
FS. Stream. mk -
IO.
FS. Stream. ofBuffer -
IO.
FS. Stream. ofHandle -
IO.
FS. Stream. putStrLn -
IO.
FS. createDir -
IO.
FS. createDirAll -
IO.
FS. createTempFile -
IO.
FS. lines -
IO.
FS. readBinFile -
IO.
FS. readFile -
IO.
FS. realPath -
IO.
FS. removeDir -
IO.
FS. removeDirAll -
IO.
FS. removeFile -
IO.
FS. rename -
IO.
FS. withFile -
IO.
(0) (1)FS. withIsolatedStreams -
IO.
FS. withTempFile -
IO.
FS. writeBinFile -
IO.
FS. writeFile -
IO.
FileRight -
IO.
FileRight. flags -
IO.
FileRight. mk -
IO.
Process. Child -
IO.
Process. Child. kill -
IO.
Process. Child. mk -
IO.
Process. Child. takeStdin -
IO.
Process. Child. tryWait -
IO.
Process. Child. wait -
IO.
Process. Output -
IO.
Process. Output. mk -
IO.
Process. SpawnArgs -
IO.
Process. SpawnArgs. mk -
IO.
Process. Stdio -
IO.
Process. Stdio. inherit -
IO.
Process. Stdio. null -
IO.
Process. Stdio. piped -
IO.
Process. Stdio. toHandleType -
IO.
Process. StdioConfig -
IO.
Process. StdioConfig. mk -
IO.
Process. exit -
IO.
Process. getCurrentDir -
IO.
Process. getPID -
IO.
Process. output -
IO.
Process. run -
IO.
Process. setCurrentDir -
IO.
Process. spawn -
IO.
Ref -
IO.
addHeartbeats -
IO.
appDir -
IO.
appPath -
IO.
asTask -
IO.
bindTask -
IO.
cancel -
IO.
checkCanceled -
IO.
currentDir -
IO.
eprint -
IO.
eprintln -
IO.
getEnv -
IO.
getNumHeartbeats -
IO.
getRandomBytes -
IO.
getStderr -
IO.
getStdin -
IO.
getStdout -
IO.
getTaskState -
IO.
hasFinished -
IO.
iterate -
IO.
lazyPure -
IO.
mapTask -
IO.
mapTasks -
IO.
mkRef -
IO.
monoMsNow -
IO.
monoNanosNow -
IO.
ofExcept -
IO.
print -
IO.
println -
IO.
rand -
IO.
setAccessRights -
IO.
setRandSeed -
IO.
setStderr -
IO.
setStdin -
IO.
setStdout -
IO.
sleep -
IO.
toEIO -
IO.
userError -
IO.
wait -
IO.
waitAny -
IO.
withStderr -
IO.
withStdin -
IO.
withStdout -
Id
-
Id.
hasBind -
Id.
run -
Ident
-
Inhabited
-
Inhabited.
mk -
Int
-
Int.
negSucc -
Int.
ofNat -
Int16
-
Int16.
mk -
Int32
-
Int32.
mk -
Int64
-
Int64.
mk -
Int8
-
Int8.
mk -
Iterator
-
i
-
ibelow
-
id_map
-
identKind
- identifier
-
if ...
then ... else ... -
if h : ...
then ... else ... -
imax
-
implicitDefEqProofs
- impredicative
- inaccessible
-
index
-
indexOf?
- indexed family
-
induction
-
inductionOn
-
inductive.
autoPromoteIndices -
inductiveCheckResultingUniverse
-
inferInstance
-
inferInstanceAs
-
infer_instance
-
injection
-
injections
-
insertAt
-
insertAt!
-
insertionSort
- instance synthesis
-
intercalate
-
interpolatedStrKind
-
interpolatedStrLitKind
-
intro
(0) (1) -
intro | ...
=> ... | ... => ... -
intros
-
iota
-
isAbsolute
-
isAlpha
-
isAlphanum
-
isDigit
-
isDir
-
isEmpty
-
isEqv
-
isInt
-
isLower
-
isLt
-
isNat
-
isOfKind
-
isOk
-
isPowerOfTwo
-
isPrefixOf
-
isRelative
-
isTty
-
isUpper
-
isValid
-
isValidChar
-
isValue
-
isWhitespace
-
iter
-
iterate
J
K
-
kill
-
kleisliLeft
-
kleisliRight
L
-
LE
-
LE.
mk -
LT
-
LT.
mk -
LawfulApplicative
-
LawfulApplicative.
mk -
LawfulBEq
-
LawfulBEq.
mk -
LawfulFunctor
-
LawfulFunctor.
mk -
LawfulGetElem
-
LawfulGetElem.
mk -
LawfulMonad
-
LawfulMonad.
mk -
LawfulMonad.
mk' -
LeadingIdentBehavior
-
Lean.
Elab. Tactic. Tactic -
Lean.
Elab. Tactic. TacticM -
Lean.
Elab. Tactic. adaptExpander -
Lean.
Elab. Tactic. appendGoals -
Lean.
Elab. Tactic. closeMainGoal -
Lean.
Elab. Tactic. closeMainGoalUsing -
Lean.
Elab. Tactic. dsimpLocation' -
Lean.
Elab. Tactic. elabCasesTargets -
Lean.
Elab. Tactic. elabDSimpConfigCore -
Lean.
Elab. Tactic. elabSimpArgs -
Lean.
Elab. Tactic. elabSimpConfig -
Lean.
Elab. Tactic. elabSimpConfigCtxCore -
Lean.
Elab. Tactic. elabTerm -
Lean.
Elab. Tactic. elabTermEnsuringType -
Lean.
Elab. Tactic. elabTermWithHoles -
Lean.
Elab. Tactic. ensureHasNoMVars -
Lean.
Elab. Tactic. focus -
Lean.
Elab. Tactic. getCurrMacroScope -
Lean.
Elab. Tactic. getFVarId -
Lean.
Elab. Tactic. getFVarIds -
Lean.
Elab. Tactic. getGoals -
Lean.
Elab. Tactic. getMainGoal -
Lean.
Elab. Tactic. getMainModule -
Lean.
Elab. Tactic. getMainTag -
Lean.
Elab. Tactic. getUnsolvedGoals -
Lean.
Elab. Tactic. liftMetaMAtMain -
Lean.
Elab. Tactic. mkTacticAttribute -
Lean.
Elab. Tactic. orElse -
Lean.
Elab. Tactic. pruneSolvedGoals -
Lean.
Elab. Tactic. run -
Lean.
Elab. Tactic. runTermElab -
Lean.
Elab. Tactic. setGoals -
Lean.
Elab. Tactic. sortMVarIdArrayByIndex -
Lean.
Elab. Tactic. sortMVarIdsByIndex -
Lean.
Elab. Tactic. tacticElabAttribute -
Lean.
Elab. Tactic. tagUntaggedGoals -
Lean.
Elab. Tactic. tryCatch -
Lean.
Elab. Tactic. tryTactic -
Lean.
Elab. Tactic. tryTactic? -
Lean.
Elab. Tactic. withLocation -
Lean.
Elab. registerDerivingHandler -
Lean.
Macro. Exception. unsupportedSyntax -
Lean.
Macro. addMacroScope -
Lean.
Macro. expandMacro? -
Lean.
Macro. getCurrNamespace -
Lean.
Macro. hasDecl -
Lean.
Macro. resolveGlobalName -
Lean.
Macro. resolveNamespace -
Lean.
Macro. throwError -
Lean.
Macro. throwErrorAt -
Lean.
Macro. throwUnsupported -
Lean.
Macro. trace -
Lean.
Macro. withFreshMacroScope -
Lean.
MacroM -
Lean.
Meta. DSimp. Config -
Lean.
Meta. DSimp. Config. mk -
Lean.
Meta. Occurrences -
Lean.
Meta. Occurrences. all -
Lean.
Meta. Occurrences. neg -
Lean.
Meta. Occurrences. pos -
Lean.
Meta. Rewrite. Config -
Lean.
Meta. Rewrite. Config. mk -
Lean.
Meta. Rewrite. NewGoals -
Lean.
Meta. Simp. Config -
Lean.
Meta. Simp. Config. mk -
Lean.
Meta. Simp. neutralConfig -
Lean.
Meta. SimpExtension -
Lean.
Meta. TransparencyMode -
Lean.
Meta. TransparencyMode. all -
Lean.
Meta. TransparencyMode. default -
Lean.
Meta. TransparencyMode. instances -
Lean.
Meta. TransparencyMode. reducible -
Lean.
Meta. registerSimpAttr -
Lean.
Parser. LeadingIdentBehavior -
Lean.
Parser. LeadingIdentBehavior. both -
Lean.
Parser. LeadingIdentBehavior. default -
Lean.
Parser. LeadingIdentBehavior. symbol -
Lean.
SourceInfo -
Lean.
SourceInfo. none -
Lean.
SourceInfo. original -
Lean.
SourceInfo. synthetic -
Lean.
Syntax -
Lean.
Syntax. CharLit -
Lean.
Syntax. Command -
Lean.
Syntax. HygieneInfo -
Lean.
Syntax. Ident -
Lean.
Syntax. Level -
Lean.
Syntax. NameLit -
Lean.
Syntax. NumLit -
Lean.
Syntax. Prec -
Lean.
Syntax. Preresolved -
Lean.
Syntax. Preresolved. decl -
Lean.
Syntax. Preresolved. namespace -
Lean.
Syntax. Prio -
Lean.
Syntax. ScientificLit -
Lean.
Syntax. StrLit -
Lean.
Syntax. TSepArray -
Lean.
Syntax. TSepArray. mk -
Lean.
Syntax. Tactic -
Lean.
Syntax. Term -
Lean.
Syntax. atom -
Lean.
Syntax. getKind -
Lean.
Syntax. ident -
Lean.
Syntax. isOfKind -
Lean.
Syntax. missing -
Lean.
Syntax. node -
Lean.
Syntax. setKind -
Lean.
SyntaxNodeKind -
Lean.
TSyntax -
Lean.
TSyntax. getChar -
Lean.
TSyntax. getHygieneInfo -
Lean.
TSyntax. getId -
Lean.
TSyntax. getName -
Lean.
TSyntax. getNat -
Lean.
TSyntax. getScientific -
Lean.
TSyntax. getString -
Lean.
TSyntax. mk -
Lean.
TSyntaxArray -
Lean.
charLitKind -
Lean.
choiceKind -
Lean.
fieldIdxKind -
Lean.
groupKind -
Lean.
hygieneInfoKind -
Lean.
identKind -
Lean.
interpolatedStrKind -
Lean.
interpolatedStrLitKind -
Lean.
nameLitKind -
Lean.
nullKind -
Lean.
numLitKind -
Lean.
scientificLitKind -
Lean.
strLitKind -
Level
-
List
-
List.
cons -
List.
nil -
land
-
lazyPure
-
lcm
-
le
-
lean_is_array
-
lean_is_string
-
lean_string_object
(0) (1) -
lean_to_array
-
lean_to_string
-
left
(0) (1) -
length
-
let
-
let rec
-
let'
-
letI
- level
-
lhs
-
lift
-
liftMetaMAtMain
-
liftWith
-
lineEq
-
lines
-
linter.
unnecessarySimpa - literal
-
lock
-
log2
-
lor
-
lt
-
lt_wfRel
M
-
MProd
-
MProd.
mk -
MacroM
-
Metadata
-
Mod
-
Mod.
mk -
Mode
-
Monad
-
Monad.
mk -
MonadControl
-
MonadControl.
mk -
MonadControlT
-
MonadControlT.
mk -
MonadExcept
-
MonadExcept.
mk -
MonadExcept.
ofExcept -
MonadExcept.
orElse -
MonadExcept.
orelse' -
MonadExceptOf
-
MonadExceptOf.
mk -
MonadFinally
-
MonadFinally.
mk -
MonadFunctor
-
MonadFunctor.
mk -
MonadFunctorT
-
MonadFunctorT.
mk -
MonadLift
-
MonadLift.
mk -
MonadLiftT
-
MonadLiftT.
mk -
MonadReader
-
MonadReader.
mk -
MonadReaderOf
-
MonadReaderOf.
mk -
MonadState
-
MonadState.
get -
MonadState.
mk -
MonadState.
modifyGet -
MonadStateOf
-
MonadStateOf.
mk -
MonadWithReader
-
MonadWithReader.
mk -
MonadWithReaderOf
-
MonadWithReaderOf.
mk -
Mul
-
Mul.
mk - main goal
-
map
-
mapConst
-
mapError
-
mapFinIdx
-
mapFinIdxM
-
mapIdx
-
mapIdxM
-
mapIndexed
-
mapIndexedM
-
mapM
-
mapM'
-
mapMono
-
mapMonoM
-
mapRev
-
mapTask
-
mapTasks
-
map_const
-
map_pure
-
match
-
max
-
maxDischargeDepth
-
maxHeartbeats
-
maxSize
-
maxSteps
-
memoize
-
metadata
-
min
-
mk
-
mk'
-
mkAlreadyExists
-
mkAlreadyExistsFile
-
mkArray
-
mkEofError
-
mkFilePath
-
mkHardwareFault
-
mkIllegalOperation
-
mkInappropriateType
-
mkInappropriateTypeFile
-
mkInterrupted
-
mkInvalidArgument
-
mkInvalidArgumentFile
-
mkIterator
-
mkNoFileOrDirectory
-
mkNoSuchThing
-
mkNoSuchThingFile
-
mkOtherError
-
mkPermissionDenied
-
mkPermissionDeniedFile
-
mkProtocolError
-
mkRef
-
mkResourceBusy
-
mkResourceExhausted
-
mkResourceExhaustedFile
-
mkResourceVanished
-
mkStdGen
-
mkTacticAttribute
-
mkTimeExpired
-
mkUnsatisfiedConstraints
-
mkUnsupportedOperation
-
mod
-
modCore
-
modified
-
modify
-
modifyGet
-
modifyGetThe
-
modifyM
-
modifyOp
-
modifyThe
-
monadLift
-
monadMap
-
monoMsNow
-
monoNanosNow
-
mul
-
mvars
N
-
NameLit
-
Nat
-
Nat.
add -
Nat.
all -
Nat.
allM -
Nat.
allTR -
Nat.
any -
Nat.
anyM -
Nat.
anyTR -
Nat.
applyEqLemma -
Nat.
applySimprocConst -
Nat.
below -
Nat.
beq -
Nat.
bitwise -
Nat.
ble -
Nat.
blt -
Nat.
caseStrongInductionOn -
Nat.
casesOn -
Nat.
cast -
Nat.
decEq -
Nat.
decLe -
Nat.
decLt -
Nat.
digitChar -
Nat.
div -
Nat.
div. inductionOn -
Nat.
div2Induction -
Nat.
elimOffset -
Nat.
fold -
Nat.
foldM -
Nat.
foldRev -
Nat.
foldRevM -
Nat.
foldTR -
Nat.
forM -
Nat.
forRevM -
Nat.
fromExpr? -
Nat.
gcd -
Nat.
ibelow -
Nat.
imax -
Nat.
isPowerOfTwo -
Nat.
isValidChar -
Nat.
isValue -
Nat.
land -
Nat.
lcm -
Nat.
le -
Nat.
le. refl -
Nat.
le. step -
Nat.
log2 -
Nat.
lor -
Nat.
lt -
Nat.
lt_wfRel -
Nat.
max -
Nat.
min -
Nat.
mod -
Nat.
mod. inductionOn -
Nat.
modCore -
Nat.
mul -
Nat.
nextPowerOfTwo -
Nat.
noConfusion -
Nat.
noConfusionType -
Nat.
pow -
Nat.
pred -
Nat.
rec -
Nat.
recOn -
Nat.
reduceAdd -
Nat.
reduceBEq -
Nat.
reduceBNe -
Nat.
reduceBeqDiff -
Nat.
reduceBin -
Nat.
reduceBinPred -
Nat.
reduceBneDiff -
Nat.
reduceBoolPred -
Nat.
reduceDiv -
Nat.
reduceEqDiff -
Nat.
reduceGT -
Nat.
reduceGcd -
Nat.
reduceLT -
Nat.
reduceLTLE -
Nat.
reduceLeDiff -
Nat.
reduceMod -
Nat.
reduceMul -
Nat.
reduceNatEqExpr -
Nat.
reducePow -
Nat.
reduceSub -
Nat.
reduceSubDiff -
Nat.
reduceSucc -
Nat.
reduceUnary -
Nat.
repeat -
Nat.
repeatTR -
Nat.
repr -
Nat.
shiftLeft -
Nat.
shiftRight -
Nat.
strongInductionOn -
Nat.
sub -
Nat.
subDigitChar -
Nat.
succ -
Nat.
superDigitChar -
Nat.
testBit -
Nat.
toDigits -
Nat.
toDigitsCore -
Nat.
toFloat -
Nat.
toLevel -
Nat.
toSubDigits -
Nat.
toSubscriptString -
Nat.
toSuperDigits -
Nat.
toSuperscriptString -
Nat.
toUInt16 -
Nat.
toUInt32 -
Nat.
toUInt64 -
Nat.
toUInt8 -
Nat.
toUSize -
Nat.
xor -
Nat.
zero -
NatCast
-
NatCast.
mk -
NatPow
-
NatPow.
mk -
NeZero
-
NeZero.
mk -
Neg
-
Neg.
mk -
NewGoals
-
Nonempty
-
Nonempty.
intro -
NumLit
-
nameLitKind
- namespace
-
natCast
-
native_decide
-
neg
-
neutralConfig
-
newGoals
-
next
-
next ...
=> ... -
next'
-
nextPowerOfTwo
-
nextUntil
-
nextWhile
-
nextn
-
noConfusion
-
noConfusionType
-
nofun
-
nomatch
-
nonBacktrackable
-
norm_cast
(0) (1) -
normalize
-
not
-
notM
-
nullKind
-
numLitKind
O
-
Occurrences
-
OfNat
-
OfNat.
mk -
OfScientific
-
OfScientific.
mk -
Option
-
Option.
none -
Option.
some -
OptionT
-
OptionT.
bind -
OptionT.
fail -
OptionT.
lift -
OptionT.
mk -
OptionT.
orElse -
OptionT.
pure -
OptionT.
run -
OptionT.
tryCatch -
Ord
-
Ord.
mk -
Output
-
obtain
-
occs
-
ofBuffer
-
ofExcept
-
ofFn
-
ofHandle
-
ofNat
-
ofScientific
-
ofSubarray
-
offsetCnstrs
-
offsetOfPos
-
omega
-
open
-
optParam
-
optional
-
or
-
orElse
-
orElse'
-
orElseLazy
-
orM
-
orelse'
-
other
-
otherErrorToString
-
out
-
outParam
-
output
P
-
PEmpty
-
PLift
-
PLift.
up -
PProd
-
PProd.
mk -
PSigma
-
PSigma.
mk -
PSum
-
PSum.
inl -
PSum.
inr -
PUnit
-
PUnit.
unit -
Pos
-
Pow
-
Pow.
mk -
Prec
-
Preresolved
-
Prio
-
Priority
-
Prod
-
Prod.
mk -
Prop
-
Pure
-
Pure.
mk - parameter
-
parent
- parser
-
partition
-
path
-
pathExists
-
pathSeparator
-
pathSeparators
-
pattern
- placeholder term
- polymorphism
-
pop
-
popFront
-
popWhile
-
pos
-
posOf
-
pow
-
pp.
deepTerms -
pp.
deepTerms. threshold -
pp.
fieldNotation -
pp.
match -
pp.
maxSteps -
pp.
mvars -
pp.
proofs -
pp.
proofs. threshold -
pred
- predicative
-
prev
-
prevn
-
print
-
println
-
proj
- proof state
-
proofs
-
property
-
propext
- proposition
-
pruneSolvedGoals
-
ptrEq
-
pure
-
pure_bind
-
pure_seq
-
push
-
push_cast
-
pushn
-
putStr
-
putStrLn
Q
-
qsort
-
qsortOrd
- quantification
-
quote
R
-
RandomGen
-
RandomGen.
mk -
ReaderM
-
ReaderT
-
ReaderT.
adapt -
ReaderT.
bind -
ReaderT.
failure -
ReaderT.
orElse -
ReaderT.
pure -
ReaderT.
read -
ReaderT.
run -
Ref
-
Repr
-
Repr.
mk -
Result
-
rand
-
randBool
-
randNat
-
range
-
raw
-
rcases
-
read
-
readBinFile
-
readBinToEnd
-
readBinToEndInto
-
readDir
-
readFile
-
readThe
-
readToEnd
-
realPath
-
rec
-
recOn
- recursor
-
reduce
-
reduceAdd
-
reduceAppend
-
reduceBEq
-
reduceBNe
-
reduceBeqDiff
-
reduceBin
-
reduceBinPred
-
reduceBneDiff
-
reduceBoolPred
-
reduceDiv
-
reduceEq
-
reduceEqDiff
-
reduceGE
-
reduceGT
-
reduceGcd
-
reduceGetElem
-
reduceGetElem!
-
reduceGetElem?
-
reduceLE
-
reduceLT
-
reduceLTLE
-
reduceLeDiff
-
reduceMk
-
reduceMod
-
reduceMul
-
reduceNatEqExpr
-
reduceNe
-
reduceOption
-
reducePow
-
reduceSub
-
reduceSubDiff
-
reduceSucc
-
reduceUnary
- reduction
-
ref
-
refine
-
refine'
-
registerDerivingHandler
-
registerSimpAttr
-
remainingBytes
-
remainingToString
-
removeDir
-
removeDirAll
-
removeFile
-
removeLeadingSpaces
-
rename
-
rename_i
-
repeat
(0) (1) -
repeat'
-
repeat1'
-
repeatTR
-
replace
-
repr
-
reprPrec
-
resolveGlobalName
-
resolveNamespace
-
restore
-
restoreM
-
revFind
-
revPosOf
-
reverse
-
revert
-
rewind
-
rewrite
(0) (1) -
rfl
(0) (1) -
rfl'
-
rhs
-
right
(0) (1) -
rintro
-
root
-
rotate_left
-
rotate_right
-
run
-
run'
-
runCatch
-
runEST
-
runK
-
runST
-
runTermElab
-
run_tac
-
rw
(0) (1) -
rw?
-
rw_mod_cast
-
rwa
S
-
ST
-
ST.
Ref -
ST.
Ref. get -
ST.
Ref. mk -
ST.
Ref. modify -
ST.
Ref. modifyGet -
ST.
Ref. ptrEq -
ST.
Ref. set -
ST.
Ref. swap -
ST.
Ref. take -
ST.
Ref. toMonadStateOf -
ST.
mkRef -
STWorld
-
STWorld.
mk -
ScientificLit
-
Seq
-
Seq.
mk -
SeqLeft
-
SeqLeft.
mk -
SeqRight
-
SeqRight.
mk -
ShiftLeft
-
ShiftLeft.
mk -
ShiftRight
-
ShiftRight.
mk -
Sigma
-
Sigma.
mk -
SimpExtension
-
SizeOf
-
SizeOf.
mk -
Sort
-
SourceInfo
-
SpawnArgs
-
StateCpsT
-
StateCpsT.
lift -
StateCpsT.
run -
StateCpsT.
run' -
StateCpsT.
runK -
StateM
-
StateRefT'
-
StateRefT'.
get -
StateRefT'.
lift -
StateRefT'.
modifyGet -
StateRefT'.
run -
StateRefT'.
run' -
StateRefT'.
set -
StateT
-
StateT.
bind -
StateT.
failure -
StateT.
get -
StateT.
lift -
StateT.
map -
StateT.
modifyGet -
StateT.
orElse -
StateT.
pure -
StateT.
run -
StateT.
run' -
StateT.
set -
StdGen
-
StdGen.
mk -
Stdio
-
StdioConfig
-
StrLit
-
Stream
-
String
-
String.
Iterator -
String.
Iterator. atEnd -
String.
Iterator. curr -
String.
Iterator. extract -
String.
Iterator. forward -
String.
Iterator. hasNext -
String.
Iterator. hasPrev -
String.
Iterator. mk -
String.
Iterator. next -
String.
Iterator. nextn -
String.
Iterator. pos -
String.
Iterator. prev -
String.
Iterator. prevn -
String.
Iterator. remainingBytes -
String.
Iterator. remainingToString -
String.
Iterator. setCurr -
String.
Iterator. toEnd -
String.
Pos -
String.
Pos. isValid -
String.
Pos. min -
String.
Pos. mk -
String.
all -
String.
any -
String.
append -
String.
atEnd -
String.
back -
String.
capitalize -
String.
codepointPosToUtf16Pos -
String.
codepointPosToUtf16PosFrom -
String.
codepointPosToUtf8PosFrom -
String.
contains -
String.
crlfToLf -
String.
csize -
String.
decEq -
String.
decapitalize -
String.
drop -
String.
dropRight -
String.
dropRightWhile -
String.
dropWhile -
String.
endPos -
String.
endsWith -
String.
extract -
String.
find -
String.
findLineStart -
String.
firstDiffPos -
String.
foldl -
String.
foldr -
String.
fromExpr? -
String.
fromUTF8 -
String.
fromUTF8! -
String.
fromUTF8? -
String.
front -
String.
get -
String.
get! -
String.
get' -
String.
get? -
String.
getUtf8Byte -
String.
hash -
String.
intercalate -
String.
isEmpty -
String.
isInt -
String.
isNat -
String.
isPrefixOf -
String.
iter -
String.
join -
String.
le -
String.
length -
String.
map -
String.
mk -
String.
mkIterator -
String.
modify -
String.
next -
String.
next' -
String.
nextUntil -
String.
nextWhile -
String.
offsetOfPos -
String.
posOf -
String.
prev -
String.
push -
String.
pushn -
String.
quote -
String.
reduceAppend -
String.
reduceBEq -
String.
reduceBNe -
String.
reduceBinPred -
String.
reduceBoolPred -
String.
reduceEq -
String.
reduceGE -
String.
reduceGT -
String.
reduceLE -
String.
reduceLT -
String.
reduceMk -
String.
reduceNe -
String.
removeLeadingSpaces -
String.
replace -
String.
revFind -
String.
revPosOf -
String.
set -
String.
singleton -
String.
split -
String.
splitOn -
String.
startsWith -
String.
substrEq -
String.
take -
String.
takeRight -
String.
takeRightWhile -
String.
takeWhile -
String.
toFileMap -
String.
toFormat -
String.
toInt! -
String.
toInt? -
String.
toList -
String.
toLower -
String.
toName -
String.
toNat! -
String.
toNat? -
String.
toSubstring -
String.
toSubstring' -
String.
toUTF8 -
String.
toUpper -
String.
trim -
String.
trimLeft -
String.
trimRight -
String.
utf16Length -
String.
utf16PosToCodepointPos -
String.
utf16PosToCodepointPosFrom -
String.
utf8ByteSize -
String.
utf8DecodeChar? -
String.
utf8EncodeChar -
String.
validateUTF8 -
Sub
-
Sub.
mk -
Subarray
-
Subarray.
all -
Subarray.
allM -
Subarray.
any -
Subarray.
anyM -
Subarray.
drop -
Subarray.
empty -
Subarray.
findRev? -
Subarray.
findRevM? -
Subarray.
findSomeRevM? -
Subarray.
foldl -
Subarray.
foldlM -
Subarray.
foldr -
Subarray.
foldrM -
Subarray.
forIn -
Subarray.
forM -
Subarray.
forRevM -
Subarray.
get -
Subarray.
get! -
Subarray.
getD -
Subarray.
mk -
Subarray.
popFront -
Subarray.
size -
Subarray.
split -
Subarray.
take -
Subarray.
toArray -
Subtype
-
Subtype.
mk -
Sum
-
Sum.
inl -
Sum.
inr -
Syntax
-
SyntaxNodeKind
-
System.
FilePath -
System.
FilePath. addExtension -
System.
FilePath. components -
System.
FilePath. exeExtension -
System.
FilePath. extSeparator -
System.
FilePath. extension -
System.
FilePath. fileName -
System.
FilePath. fileStem -
System.
FilePath. isAbsolute -
System.
FilePath. isDir -
System.
FilePath. isRelative -
System.
FilePath. join -
System.
FilePath. metadata -
System.
FilePath. mk -
System.
FilePath. normalize -
System.
FilePath. parent -
System.
FilePath. pathExists -
System.
FilePath. pathSeparator -
System.
FilePath. pathSeparators -
System.
FilePath. readDir -
System.
FilePath. walkDir -
System.
FilePath. withExtension -
System.
FilePath. withFileName -
System.
mkFilePath -
s
-
s1
-
s2
-
save
-
scientificLitKind
-
semiOutParam
-
seq
-
seqLeft
-
seqLeft_eq
-
seqRight
-
seqRight_eq
-
seq_assoc
-
seq_pure
-
sequenceMap
-
set
-
set!
-
setAccessRights
-
setCurr
-
setCurrentDir
-
setD
-
setGoals
-
setKind
-
setRandSeed
-
setStderr
-
setStdin
-
setStdout
-
set_option
-
setsid
-
shiftLeft
-
shiftRight
-
show
-
show_term
-
simp
(0) (1) -
simp!
-
simp?
-
simp?!
-
simp_all
-
simp_all!
-
simp_all?
-
simp_all?!
-
simp_all_arith
-
simp_all_arith!
-
simp_arith
-
simp_arith!
-
simp_match
-
simp_wf
-
simpa
-
simpa!
-
simpa?
-
simpa?!
-
simprocs
-
singlePass
-
singleton
-
size
-
sizeOf
-
skip
(0) (1) -
skipAssignedInstances
-
sleep
-
snd
-
solve
-
solve_by_elim
-
sorry
-
sortMVarIdArrayByIndex
-
sortMVarIdsByIndex
-
spawn
-
specialize
-
split
-
splitOn
-
stM
-
start
-
start_le_stop
-
startsWith
-
stdNext
-
stdRange
-
stdSplit
-
stderr
-
stdin
-
stdout
-
stop
-
stop_le_array_size
-
strLitKind
-
strongInductionOn
-
sub
-
subDigitChar
-
subst
-
subst_eqs
-
subst_vars
-
substrEq
-
suffices
-
superDigitChar
-
swap
-
swap!
-
swapAt
-
swapAt!
-
symm
-
symm_saturate
-
synthInstance.
maxHeartbeats -
synthInstance.
maxSize - synthesis
T
-
TSepArray
-
TSyntax
-
TSyntaxArray
-
Tactic
-
TacticM
-
Task
-
Task.
Priority -
Task.
Priority. dedicated -
Task.
Priority. default -
Task.
Priority. max -
Task.
get -
Task.
pure -
Task.
spawn -
Term
-
ToString
-
ToString.
mk -
TransparencyMode
-
Type
-
TypeName
-
tactic
-
tactic'
-
tactic.
customEliminators -
tactic.
dbg_cache -
tactic.
hygienic -
tactic.
(0) (1)simp. trace -
tactic.
skipAssignedInstances -
tacticElabAttribute
-
tagUntaggedGoals
-
take
-
takeRight
-
takeRightWhile
-
takeStdin
-
takeWhile
- term
-
testBit
-
threshold
-
throw
-
throwError
-
throwErrorAt
-
throwThe
-
throwUnsupported
-
toApplicative
-
toArray
-
toBaseIO
-
toBind
-
toBitVec
-
toBool
-
toDigits
-
toDigitsCore
-
toEIO
-
toEnd
-
toFileMap
-
toFloat
-
toFormat
-
toFunctor
-
toGetElem
-
toHandleType
-
toIO
-
toIO'
-
toISize
-
toInt!
-
toInt16
-
toInt32
-
toInt64
-
toInt8
-
toInt?
-
toLawfulApplicative
-
toLawfulFunctor
-
toLevel
-
toList
-
toListAppend
-
toListRev
-
toLower
-
toMonadStateOf
-
toName
-
toNat
-
toNat!
-
toNat?
-
toOption
-
toPArray'
-
toPure
-
toSeq
-
toSeqLeft
-
toSeqRight
-
toStdioConfig
-
toString
-
toSubDigits
-
toSubarray
-
toSubscriptString
-
toSubstring
-
toSubstring'
-
toSuperDigits
-
toSuperscriptString
-
toUInt16
-
toUInt32
-
toUInt64
-
toUInt8
-
toUSize
-
toUTF8
-
toUpper
-
trace
-
Lean.
Macro. trace -
tactic.
(0) (1)simp. trace
-
-
trace.
Meta. Tactic. simp. discharge -
trace.
Meta. Tactic. simp. rewrite -
trace_state
(0) (1) -
transparency
-
trim
-
trimLeft
-
trimRight
-
trivial
-
truncate
-
try
(0) (1) -
tryCatch
-
tryCatchThe
-
tryFinally'
-
tryLock
-
tryTactic
-
tryTactic?
-
tryWait
-
type
- type constructor
U
-
UInt16
-
UInt16.
mk -
UInt32
-
UInt32.
mk -
UInt64
-
UInt64.
mk -
UInt8
-
UInt8.
mk -
ULift
-
ULift.
up -
USize
-
USize.
mk -
Unit
-
Unit.
unit -
uget
-
unattach
-
unfold
(0) (1) -
unfoldPartialApp
-
unhygienic
-
unit
- universe
- universe polymorphism
-
unlock
-
unnecessarySimpa
-
unsupportedSyntax
-
unzip
-
user
-
userError
-
uset
-
usize
-
utf16Length
-
utf16PosToCodepointPos
-
utf16PosToCodepointPosFrom
-
utf8ByteSize
-
utf8DecodeChar?
-
utf8EncodeChar
V
W
-
wait
-
waitAny
-
walkDir
-
whnf
-
withExtension
-
withFile
-
withFileName
-
withFreshMacroScope
-
withIsolatedStreams
-
withLocation
-
withPosition
-
withPositionAfterLinebreak
-
withReader
-
withStderr
-
withStdin
-
withStdout
-
withTempFile
-
withTheReader
-
with_reducible
-
with_reducible_and_instances
-
with_unfolding_all
-
withoutPosition
-
write
-
writeBinFile
-
writeFile