Namespaces

• [builtins]
• Control.Arrow
• Control.Catchable
• Control.IOExcept
• Control.Isomorphism
• Control.Monad.Identity
• Control.Monad.RWS
• Control.Monad.Reader
• Control.Monad.State
• Control.Monad.Writer
• Data.Bits
• Data.Complex
• Data.Erased
• Data.Fin
• Data.HVect
• Data.List
• Data.List.Quantifiers
• Data.List.Views
• Data.Mod2
• Data.Morphisms
• Data.So
• Data.String
• Data.String.Views
• Data.Vect
• Data.Vect.Quantifiers
• Data.Vect.Views
• Debug.Error
• Debug.Trace
• Decidable.Equality
• FFI
• FFI_C
• ForeignEnv
• Language.Reflection
• Language.Reflection.Elab
• Language.Reflection.Errors
• Language.Reflection.Utils
• 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
• System
• System.Concurrency.Channels
• System.Concurrency.Raw
• System.Info