The latest version of idris is 1.3.4-0.
lib:idris
Modules
- IRTS.BCImp
- IRTS.Bytecode
- IRTS.CodegenC
- IRTS.CodegenCommon
- IRTS.CodegenJava
- IRTS.CodegenJavaScript
- IRTS.Compiler
- IRTS.Defunctionalise
- IRTS.DumpBC
- IRTS.Inliner
- IRTS.Java.ASTBuilding
- IRTS.Java.JTypes
- IRTS.Java.Mangling
- IRTS.Java.Pom
- 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.TC
- Idris.Core.TT
- Idris.Core.Typecheck
- Idris.Core.Unify
- Idris.Coverage
- Idris.DSL
- Idris.DataOpts
- Idris.DeepSeq
- Idris.Delaborate
- Idris.Docs
- Idris.Docstrings
- Idris.Elab.Class
- Idris.Elab.Clause
- Idris.Elab.Data
- Idris.Elab.Instance
- Idris.Elab.Provider
- Idris.Elab.Record
- Idris.Elab.Type
- Idris.Elab.Utils
- Idris.Elab.Value
- Idris.ElabDecls
- Idris.ElabQuasiquote
- Idris.ElabTerm
- Idris.Erasure
- Idris.ErrReverse
- Idris.Error
- Idris.Help
- Idris.IBC
- Idris.IdeSlave
- 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.REPLParser
- Idris.Transforms
- Idris.TypeSearch
- Idris.Unlit
- Idris.WhoCalls
- Pkg.Package
- Util.DynamicLinker
- Util.ScreenSize
Dependencies
- Cabal lib:Cabal >=0
- Win32 lib:Win32 >=0
- annotated-wl-pprint lib:annotated-wl-pprint >=0.5.3
- ansi-terminal lib:ansi-terminal >=0
- ansi-wl-pprint lib:ansi-wl-pprint >=0
- base lib:base >=4 && <5
- base64-bytestring lib:base64-bytestring >=0
- binary lib:binary >=0
- blaze-html lib:blaze-html >=0.6.1.3
- blaze-markup lib:blaze-markup >=0.5.2.1 && <0.7.0.0
- bytestring lib:bytestring >=0
- cheapskate lib:cheapskate >=0
- containers lib:containers >=0.5
- deepseq lib:deepseq >=0
- directory lib:directory >=1.2 && >=0
- filepath lib:filepath >=0
- fingertree lib:fingertree >=0.1
- haskeline lib:haskeline >=0.7
- hscurses lib:hscurses >=0
- language-java lib:language-java >=0.2.6 && <0.2.7
- lens lib:lens >=4.1.1
- libffi lib:libffi >=0 && >=0
- llvm-general lib:llvm-general >=3.3.8 && <3.3.9
- llvm-general-pure lib:llvm-general-pure >=3.3.8 && <3.3.9
- mtl lib:mtl >=0
- network lib:network >=0
- optparse-applicative lib:optparse-applicative >=0.10
- parsers lib:parsers >=0.9 && <0.13
- pretty lib:pretty >=0
- process lib:process >=0
- split lib:split >=0
- text lib:text >=0
- time lib:time >=1.4
- transformers lib:transformers >=0
- trifecta lib:trifecta >=1.1
- unix lib:unix >=0 && >=0 && >=0
- unordered-containers lib:unordered-containers >=0
- utf8-string lib:utf8-string >=0
- vector lib:vector >=0
- vector-binary-instances lib:vector-binary-instances >=0
- xml lib:xml >=0
- zlib lib:zlib >=0
Reverse dependencies
Direct only. Not exhaustive.