Package idris2 - Namespaces

• Algebra
• Algebra.Preorder
• Algebra.Semiring
• Algebra.ZeroOneOmega
• Compiler.ANF
• Compiler.CaseOpts
• Compiler.Common
• Compiler.CompileExpr
• Compiler.Generated
• Compiler.Inline
• Compiler.LambdaLift
• Compiler.NoMangle
• Compiler.Opts.CSE
• Compiler.Separate
• Compiler.VMCode
• Compiler.Opts.ConstantFold
• Compiler.Opts.Identity
• Compiler.Opts.InlineHeuristics
• Compiler.ES.Ast
• Compiler.ES.Codegen
• Compiler.ES.Doc
• Compiler.ES.Javascript
• Compiler.ES.Node
• Compiler.ES.State
• Compiler.ES.TailRec
• Compiler.ES.ToAst
• Compiler.Interpreter.VMCode
• Compiler.RefC
• Compiler.RefC.CC
• Compiler.RefC.RefC
• Compiler.Scheme.Chez
• Compiler.Scheme.ChezSep
• Compiler.Scheme.Racket
• Compiler.Scheme.Gambit
• Compiler.Scheme.Common
• Core.AutoSearch
• Core.Binary
• Core.Binary.Prims
• Core.Case.CaseBuilder
• Core.Case.CaseTree
• Core.Case.CaseTree.Pretty
• Core.Case.Util
• Core.CompileExpr
• Core.CompileExpr.Pretty
• Core.Context
• Core.Context.Context
• Core.Context.Data
• Core.Context.Log
• Core.Context.Pretty
• Core.Context.TTC
• Core.Core
• Core.Coverage
• Core.Directory
• Core.Env
• Core.FC
• Core.GetType
• Core.Hash
• Core.InitPrimitives
• Core.LinearCheck
• Core.Metadata
• Core.Name
• Core.Name.Namespace
• Core.Normalise
• Core.Normalise.Convert
• Core.Normalise.Eval
• Core.Normalise.Quote
• Core.Options
• Core.Options.Log
• Core.Ord
• Core.Primitives
• Core.Reflect
• Core.SchemeEval
• Core.Termination
• Core.Transform
• Core.TT
• Core.TT.Views
• Core.TT.Traversals
• Core.TTC
• Core.Unify
• Core.UnifyState
• Core.Value
• Core.SchemeEval.Builtins
• Core.SchemeEval.Compile
• Core.SchemeEval.Evaluate
• Core.SchemeEval.Quote
• Core.SchemeEval.ToScheme
• IdrisPaths
• Idris.CommandLine
• Idris.Desugar
• Idris.Desugar.Mutual
• Idris.Env
• Idris.Doc.Annotations
• Idris.Doc.Brackets
• Idris.Doc.Display
• Idris.Doc.Keywords
• Idris.Doc.HTML
• Idris.Doc.String
• Idris.Driver
• Idris.Error
• Idris.ModTree
• Idris.Package
• Idris.Package.Init
• Idris.Package.Types
• Idris.Parser
• Idris.Parser.Let
• Idris.Pretty
• Idris.Pretty.Annotations
• Idris.Pretty.Render
• Idris.ProcessIdr
• Idris.REPL
• Idris.Resugar
• Idris.SetOptions
• Idris.Syntax
• Idris.Syntax.Builtin
• Idris.Syntax.Pragmas
• Idris.Syntax.TTC
• Idris.Syntax.Traversals
• Idris.Syntax.Views
• Idris.Version
• Idris.Elab.Implementation
• Idris.Elab.Interface
• Idris.IDEMode.CaseSplit
• Idris.IDEMode.Commands
• Idris.IDEMode.Holes
• Idris.IDEMode.MakeClause
• Idris.IDEMode.Parser
• Idris.IDEMode.Pretty
• Idris.IDEMode.REPL
• Idris.IDEMode.SyntaxHighlight
• Idris.IDEMode.TokenLine
• Idris.REPL.Common
• Idris.REPL.Opts
• Idris.REPL.FuzzySearch
• Libraries.Control.ANSI
• Libraries.Control.ANSI.CSI
• Libraries.Control.ANSI.SGR
• Libraries.Control.Delayed
• Libraries.Data.ANameMap
• Libraries.Data.DList
• Libraries.Data.Fin
• Libraries.Data.Graph
• Libraries.Data.IMaybe
• Libraries.Data.IntMap
• Libraries.Data.IOArray
• Libraries.Data.IOMatrix
• Libraries.Data.LengthMatch
• Libraries.Data.List.Extra
• Libraries.Data.List.Quantifiers.Extra
• Libraries.Data.List.Lazy
• Libraries.Data.List1
• Libraries.Data.NameMap
• Libraries.Data.NameMap.Traversable
• Libraries.Data.PosMap
• Libraries.Data.Primitives
• Libraries.Data.Span
• Libraries.Data.SortedMap
• Libraries.Data.SortedSet
• Libraries.Data.String.Extra
• Libraries.Data.String.Iterator
• Libraries.Data.StringMap
• Libraries.Data.StringTrie
• Libraries.Data.Tap
• Libraries.Data.UserNameMap
• Libraries.Data.Version
• Libraries.System.File
• Libraries.System.File.Buffer
• Libraries.System.Directory.Tree
• Libraries.Text.Bounded
• Libraries.Text.Distance.Levenshtein
• Libraries.Text.Lexer
• Libraries.Text.Lexer.Core
• Libraries.Text.Lexer.Tokenizer
• Libraries.Text.Literate
• Libraries.Text.Parser
• Libraries.Text.Parser.Core
• Libraries.Text.PrettyPrint.Prettyprinter
• Libraries.Text.PrettyPrint.Prettyprinter.Doc
• Libraries.Text.PrettyPrint.Prettyprinter.Render.HTML
• Libraries.Text.PrettyPrint.Prettyprinter.Render.String
• Libraries.Text.PrettyPrint.Prettyprinter.Render.Terminal
• Libraries.Text.PrettyPrint.Prettyprinter.SimpleDocTree
• Libraries.Text.PrettyPrint.Prettyprinter.Symbols
• Libraries.Text.PrettyPrint.Prettyprinter.Util
• Libraries.Text.Quantity
• Libraries.Text.Token
• Libraries.Utils.Binary
• Libraries.Utils.Octal
• Libraries.Utils.Path
• Libraries.Utils.Scheme
• Libraries.Utils.Shunting
• Libraries.Utils.String
• Libraries.Utils.Term
• Parser.Package
• Parser.Source
• Parser.Support
• Parser.Unlit
• Parser.Lexer.Common
• Parser.Lexer.Package
• Parser.Lexer.Source
• Parser.Rule.Package
• Parser.Rule.Source
• Protocol.IDE
• Protocol.IDE.Command
• Protocol.IDE.Decoration
• Protocol.IDE.FileContext
• Protocol.IDE.Formatting
• Protocol.IDE.Holes
• Protocol.IDE.Result
• Protocol.IDE.Highlight
• Protocol.Hex
• Protocol.SExp
• Protocol.SExp.Parser
• TTImp.BindImplicits
• TTImp.Elab
• TTImp.Impossible
• TTImp.Parser
• TTImp.PartialEval
• TTImp.ProcessBuiltin
• TTImp.ProcessData
• TTImp.ProcessDecls
• TTImp.ProcessDecls.Totality
• TTImp.ProcessDef
• TTImp.ProcessParams
• TTImp.ProcessRecord
• TTImp.ProcessRunElab
• TTImp.ProcessTransform
• TTImp.ProcessType
• TTImp.Reflect
• TTImp.TTImp
• TTImp.TTImp.Functor
• TTImp.TTImp.Traversals
• TTImp.TTImp.TTC
• TTImp.Unelab
• TTImp.Utils
• TTImp.WithClause
• TTImp.Elab.Ambiguity
• TTImp.Elab.App
• TTImp.Elab.As
• TTImp.Elab.Binders
• TTImp.Elab.Case
• TTImp.Elab.Check
• TTImp.Elab.Delayed
• TTImp.Elab.Dot
• TTImp.Elab.Hole
• TTImp.Elab.ImplicitBind
• TTImp.Elab.Lazy
• TTImp.Elab.Local
• TTImp.Elab.Prim
• TTImp.Elab.Quote
• TTImp.Elab.Record
• TTImp.Elab.Rewrite
• TTImp.Elab.RunElab
• TTImp.Elab.Term
• TTImp.Elab.Utils
• TTImp.Interactive.CaseSplit
• TTImp.Interactive.Completion
• TTImp.Interactive.ExprSearch
• TTImp.Interactive.GenerateDef
• TTImp.Interactive.Intro
• TTImp.Interactive.MakeLemma
• Yaffle.Main
• Yaffle.REPL