Index - J
| jComparison | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| jMetaId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| jMetaType | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| join | Mikan.Utils.Monad |
| joinHeadMaps | Mikan.TypeChecking.Injectivity |
| JointOpacity | Mikan.Syntax.Common |
| jointOpacity | Mikan.Syntax.Common |
| jsonifyHighlightingInfo | Mikan.Interaction.Highlighting.JSON |
| JSONKeyOptions | Mikan.Interaction.JSON |
| JSONPath | Mikan.Interaction.JSON |
| jsonREPL | Mikan.Interaction.JSONTop |
| Judgement | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Just | |
| 1 (Data Constructor) | Mikan.Utils.Maybe |
| 2 (Data Constructor) | Mikan.Utils.Maybe.Strict |
| Just# | Mikan.Utils.Maybe.Unboxable |
| JustNeg | Mikan.TypeChecking.Positivity.Occurrence |
| JustPos | Mikan.TypeChecking.Positivity.Occurrence |
| JustRHS | Mikan.Syntax.Parser.Helpers |
| JustSort | Mikan.Interaction.Base |
| JustType | Mikan.Interaction.Base |