IdrisDoc
Index
Namespaces
[builtins]
Builtins
Decidable.Equality
FFI
FFI_C
ForeignEnv
IO
Language.Reflection
Language.Reflection.Elab
Language.Reflection.Errors
Prelude
Prelude.Algebra
Prelude.Applicative
Prelude.Basics
Prelude.Bits
Prelude.Bool
Prelude.Cast
Prelude.Chars
Prelude.Classes
Prelude.Doubles
Prelude.Either
Prelude.File
Prelude.Foldable
Prelude.Functor
Prelude.Interactive
Prelude.Interfaces
Prelude.List
Prelude.Maybe
Prelude.Monad
Prelude.Nat
Prelude.Pairs
Prelude.Providers
Prelude.Show
Prelude.Stream
Prelude.Strings
Prelude.Traversable
Prelude.Uninhabited
Prelude.WellFounded