IdrisDoc
Index
Namespaces
[builtins]
Builtins
Control.IOExcept
Data.List
Data.So
Data.VectType.Vect
Decidable.Equality
Effect.Default
Effect.Exception
Effect.File
Effect.File.FileResult
Effect.Logging.Category
Effect.Logging.Category.LogRes
Effect.Logging.Default
Effect.Logging.Default.LogRes
Effect.Logging.Level
Effect.Logging.Simple
Effect.Memory
Effect.Monad
Effect.Perf
Effect.Random
Effect.Select
Effect.State
Effect.StdIO
Effect.System
Effect.Trans
Effects
Effects.DepEff
Effects.DepUpdateEffect
Effects.EffElem
Effects.Env
Effects.NoResourceEffect
Effects.NoUpdateEffect
Effects.SimpleEff
Effects.TransEff
Effects.UpdateEffect
FFI
FFI_C
ForeignEnv
Language.Reflection
Language.Reflection.Elab
Prelude
Prelude.Algebra
Prelude.Applicative
Prelude.Basics
Prelude.Bool
Prelude.Classes
Prelude.Either
Prelude.File
Prelude.Foldable
Prelude.Functor
Prelude.Interfaces
Prelude.List
Prelude.Maybe
Prelude.Nat
Prelude.Providers
Prelude.Show
Prelude.Stream