Namespaces

• [builtins]
• Control.Monad.Identity
• Control.Monad.State
• Data.DList
• Data.Digit.Decimal
• Data.Digit.Decimal.Dec
• Data.Digit.Hexadecimal
• Data.Inspect
• Data.Inspect.SizedType
• Data.NEList
• Data.These
• Data.Trie
• Data.Tuple
• Decidable.Equality
• FFI
• FFI_C
• ForeignEnv
• Induction.Nat
• Language.Reflection
• Language.Reflection.Elab
• Language.Reflection.Errors
• Prelude.Algebra
• Prelude.Applicative
• Prelude.Basics
• Prelude.Bool
• Prelude.Either
• Prelude.File
• Prelude.Foldable
• Prelude.Functor
• Prelude.Interfaces
• Prelude.List
• Prelude.Maybe
• Prelude.Monad
• Prelude.Nat
• Prelude.Show
• Prelude.Stream
• Prelude.Strings
• Relation.Indexed
• Relation.Subset
• TParsec.Combinators
• TParsec.Combinators.Chars
• TParsec.Combinators.JSON
• TParsec.Combinators.Numbers
• TParsec.Lexer
• TParsec.Lexer.LexParameters
• TParsec.Position
• TParsec.Result
• TParsec.Running
• TParsec.Success
• TParsec.Success.Success
• TParsec.Types
• TParsec.Types.Parameters