IdrisDoc
Index
Namespaces
[builtins]
Builtins
CFFI.Memory
CFFI.Types
Control.Algebra
Control.Algebra.Lattice
Control.Algebra.NumericImplementations
Control.Algebra.VectorSpace
Control.Delayed
Control.IOExcept
Control.Isomorphism.Primitives
Control.Monad.Syntax
Control.Partial
Control.Pipeline
Control.ST
Control.ST.Env
Control.ST.Exception
Control.ST.File
Control.ST.ImplicitCall
Control.ST.Loop
Control.ST.Random
Control.ST.Resources
Control.ST.Stable
Control.ST.VarList
Data.Bool.Extra
Data.BoundedList
Data.Chain
Data.CoList
Data.Combinators
Data.Combinators.Applicative
Data.Fin
Data.Fin.Extra
Data.Fuel
Data.Fun
Data.Hash
Data.IOArray
Data.List.Extra
Data.List.Zipper
Data.Matrix
Data.Matrix.Algebraic
Data.Matrix.Numeric
Data.Nat.DivMod
Data.Nat.DivMod.IteratedSubtraction
Data.Nat.Parity
Data.Pairs.Implicit
Data.PosNat
Data.Rel
Data.SortedBag
Data.SortedSet
Data.Storable
Data.Stream.Extra
Data.String.Extra
Data.Vect
Decidable.Decidable
Decidable.Equality
Decidable.Order
FFI
FFI_C
ForeignEnv
Interfaces.Correlative
Interfaces.Verified
Language.JSON
Language.JSON.Data
Language.Reflection
Language.Reflection.Elab
Language.Reflection.Errors
Network.Cgi
Network.Socket
Network.Socket.Data
Prelude
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.Pairs
Prelude.Pairs.Exists
Prelude.Show
Prelude.Stream
Prelude.WellFounded
System.Concurrency.Process
Test.Unit.Assertions
Test.Unit.Display
Test.Unit.Generic
Text.Lexer.Core
Text.Literate
Text.Quantity
Text.Token