The latest version of idris is 1.3.4-0.
lib:idris
Modules
- IRTS.Bytecode
- IRTS.CodegenC
- IRTS.CodegenCommon
- IRTS.CodegenJavaScript
- IRTS.Compiler
- IRTS.Defunctionalise
- IRTS.DumpBC
- IRTS.Exports
- IRTS.Inliner
- IRTS.JavaScript.AST
- IRTS.JavaScript.Codegen
- IRTS.JavaScript.LangTransforms
- IRTS.JavaScript.Name
- IRTS.JavaScript.PrimOp
- IRTS.JavaScript.Specialize
- IRTS.Lang
- IRTS.LangOpts
- IRTS.Portable
- IRTS.Simplified
- IRTS.System
- Idris.ASTUtils
- Idris.AbsSyntax
- Idris.AbsSyntaxTree
- Idris.Apropos
- Idris.CaseSplit
- Idris.Chaser
- Idris.CmdOptions
- Idris.Colours
- Idris.Completion
- Idris.Core.Binary
- Idris.Core.CaseTree
- Idris.Core.Constraints
- Idris.Core.DeepSeq
- Idris.Core.Elaborate
- Idris.Core.Evaluate
- Idris.Core.Execute
- Idris.Core.ProofState
- Idris.Core.ProofTerm
- Idris.Core.TT
- Idris.Core.Typecheck
- Idris.Core.Unify
- Idris.Core.WHNF
- Idris.Coverage
- Idris.DSL
- Idris.DataOpts
- Idris.DeepSeq
- Idris.Delaborate
- Idris.Directives
- Idris.Docs
- Idris.Docstrings
- Idris.Elab.AsPat
- Idris.Elab.Clause
- Idris.Elab.Data
- Idris.Elab.Implementation
- Idris.Elab.Interface
- Idris.Elab.Provider
- Idris.Elab.Quasiquote
- Idris.Elab.Record
- Idris.Elab.Rewrite
- Idris.Elab.RunElab
- Idris.Elab.Term
- Idris.Elab.Transform
- Idris.Elab.Type
- Idris.Elab.Utils
- Idris.Elab.Value
- Idris.ElabDecls
- Idris.Erasure
- Idris.ErrReverse
- Idris.Error
- Idris.Help
- Idris.IBC
- Idris.IdeMode
- Idris.IdrisDoc
- Idris.Imports
- Idris.Info
- Idris.Info.Show
- Idris.Inliner
- Idris.Interactive
- Idris.Main
- Idris.ModeCommon
- Idris.Options
- Idris.Output
- Idris.Package
- Idris.Package.Common
- Idris.Package.Parser
- Idris.Parser
- Idris.Parser.Data
- Idris.Parser.Expr
- Idris.Parser.Helpers
- Idris.Parser.Ops
- Idris.Parser.Stack
- Idris.PartialEval
- Idris.Primitives
- Idris.ProofSearch
- Idris.Prover
- Idris.Providers
- Idris.REPL
- Idris.REPL.Browse
- Idris.REPL.Commands
- Idris.REPL.Parser
- Idris.Reflection
- Idris.Termination
- Idris.Transforms
- Idris.TypeSearch
- Idris.Unlit
- Idris.WhoCalls
- Util.DynamicLinker
- Util.ScreenSize
- Util.System
Dependencies
- Win32 lib:Win32 <2.7
- aeson lib:aeson >=0.6 && <1.5
- annotated-wl-pprint lib:annotated-wl-pprint >=0.7 && <0.8
- ansi-terminal lib:ansi-terminal <0.11
- ansi-wl-pprint lib:ansi-wl-pprint <0.7
- array lib:array >=0.4.0.1 && <0.6
- async lib:async <2.3
- base lib:base >=4 && <5
- base64-bytestring lib:base64-bytestring <1.2
- binary lib:binary >=0.8.4.1 && <0.9
- blaze-html lib:blaze-html >=0.6.1.3 && <0.10
- blaze-markup lib:blaze-markup >=0.5.2.1 && <0.10
- bytestring lib:bytestring <0.11
- cheapskate lib:cheapskate >=0.1.1.2 && <0.2
- code-page lib:code-page >=0.1 && <0.3
- containers lib:containers >=0.5 && <0.7
- deepseq lib:deepseq <1.5
- directory lib:directory >=1.2.2.0 && <1.2.3.0 || >1.2.3.0
- fail lib:fail >=4.9.0 && <4.9.1
- filepath lib:filepath <1.5
- fingertree lib:fingertree >=0.1.4.1 && <0.2
- fsnotify lib:fsnotify >=0.2 && <0.4
- haskeline lib:haskeline >=0.7 && <0.8
- ieee754 lib:ieee754 >=0.7 && <0.9
- libffi lib:libffi <0.2 && <0.2
- megaparsec lib:megaparsec >=7.0.4 && <9
- mintty lib:mintty >=0.1 && <0.2
- mtl lib:mtl >=2.1 && <2.3
- network lib:network >=2.7 && <3.1.2
- optparse-applicative lib:optparse-applicative >=0.13 && <0.16
- parser-combinators lib:parser-combinators >=1.0.0
- pretty lib:pretty <1.2
- process lib:process <1.7
- regex-tdfa lib:regex-tdfa >=1.2
- safe lib:safe >=0.3.9
- semigroups lib:semigroups >=0.18 && <0.19
- split lib:split <0.3
- terminal-size lib:terminal-size <0.4
- text lib:text >=1.2.1.0 && <1.4
- time lib:time >=1.4 && <2.0
- transformers lib:transformers >=0.5 && <0.6
- uniplate lib:uniplate >=1.6 && <1.7
- unix lib:unix <2.8
- unordered-containers lib:unordered-containers <0.3
- utf8-string lib:utf8-string <1.1
- vector lib:vector <0.13
- vector-binary-instances lib:vector-binary-instances <0.3
- zip-archive lib:zip-archive >0.2.3.5 && <0.5
Reverse dependencies
Direct only. Not exhaustive.