The latest version of idris is 1.3.4-0.
lib:idris
Modules
- IRTS.BCImp
- IRTS.Bytecode
- IRTS.CodegenC
- IRTS.CodegenCommon
- IRTS.CodegenJavaScript
- IRTS.Compiler
- IRTS.Defunctionalise
- IRTS.DumpBC
- IRTS.Exports
- IRTS.Inliner
- IRTS.JavaScript.AST
- IRTS.Lang
- IRTS.LangOpts
- 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.Coverage
- Idris.DSL
- Idris.DataOpts
- Idris.DeepSeq
- Idris.Delaborate
- Idris.Directives
- Idris.Docs
- Idris.Docstrings
- Idris.Elab.AsPat
- Idris.Elab.Class
- Idris.Elab.Clause
- Idris.Elab.Data
- Idris.Elab.Instance
- Idris.Elab.Provider
- Idris.Elab.Record
- Idris.Elab.Term
- Idris.Elab.Transform
- Idris.Elab.Type
- Idris.Elab.Utils
- Idris.Elab.Value
- Idris.ElabDecls
- Idris.ElabQuasiquote
- Idris.Erasure
- Idris.ErrReverse
- Idris.Error
- Idris.Help
- Idris.IBC
- Idris.IdeMode
- Idris.IdrisDoc
- Idris.Imports
- Idris.Inliner
- Idris.Interactive
- Idris.Output
- Idris.ParseData
- Idris.ParseExpr
- Idris.ParseHelpers
- Idris.ParseOps
- Idris.Parser
- Idris.PartialEval
- Idris.Primitives
- Idris.ProofSearch
- Idris.Prover
- Idris.Providers
- Idris.REPL
- Idris.REPL.Browse
- Idris.REPLParser
- Idris.Reflection
- Idris.Transforms
- Idris.TypeSearch
- Idris.Unlit
- Idris.WhoCalls
- Pkg.Package
- Util.DynamicLinker
- Util.ScreenSize
- Util.System
Dependencies
- Win32 lib:Win32 <2.4
- annotated-wl-pprint lib:annotated-wl-pprint >=0.5.3 && <0.7
- ansi-terminal lib:ansi-terminal <0.7
- ansi-wl-pprint lib:ansi-wl-pprint <0.7
- base lib:base >=4 && <5
- base64-bytestring lib:base64-bytestring <1.1
- binary lib:binary >=0.7 && <0.8
- blaze-html lib:blaze-html >=0.6.1.3 && <0.8
- blaze-markup lib:blaze-markup >=0.5.2.1 && <0.6.3.0
- bytestring lib:bytestring <0.11
- cheapskate lib:cheapskate <0.2
- containers lib:containers >=0.5 && <0.6
- deepseq lib:deepseq <1.5
- directory lib:directory >=1.2.2.0 && <1.3
- filepath lib:filepath <1.5
- fingertree lib:fingertree >=0.1 && <0.2
- haskeline lib:haskeline >=0.7 && <0.8
- hscurses lib:hscurses <1.5
- lens lib:lens >=4.1.1 && <4.10
- libffi lib:libffi <0.2 && <0.2
- mtl lib:mtl >=2.1 && <2.3
- network lib:network <2.7
- optparse-applicative lib:optparse-applicative >=0.11 && <0.12
- parsers lib:parsers >=0.9 && <0.13
- pretty lib:pretty <1.2
- process lib:process <1.3
- safe lib:safe >=0
- split lib:split <0.3
- text lib:text >=1.2.1.0 && <1.3
- time lib:time >=1.4 && <1.6
- transformers lib:transformers <0.5
- transformers-compat lib:transformers-compat >=0.3
- trifecta lib:trifecta >=1.1 && <1.6
- uniplate lib:uniplate >=1.6 && <1.7
- unix lib:unix <2.8 && <2.8 && <2.8
- unordered-containers lib:unordered-containers <0.3
- utf8-string lib:utf8-string <0.4
- vector lib:vector <0.11
- vector-binary-instances lib:vector-binary-instances <0.3
- xml lib:xml <1.4
- zip-archive lib:zip-archive >0.2.3.5 && <0.2.4
- zlib lib:zlib <0.6
Reverse dependencies
Direct only. Not exhaustive.