idris-1.3.4: idris.cabal
Cabal-Version: 2.4
Name: idris
Version: 1.3.4
License: BSD-3-Clause
License-file: LICENSE
Author: Edwin Brady
Maintainer: Niklas Larsson <niklas@mm.st>
Homepage: https://www.idris-lang.org/
Bug-reports: https://github.com/idris-lang/Idris-dev/issues
Stability: Beta
Category: Compilers/Interpreters, Dependent Types
Synopsis: Functional Programming Language with Dependent Types
Description: Idris is a general purpose language with full dependent types.
It is compiled, with eager evaluation.
Dependent types allow types to be predicated on values,
meaning that some aspects of a program's behaviour can be
specified precisely in the type. The language is closely
related to Epigram and Agda. There is a tutorial at
<https://www.idris-lang.org/documentation>.
Features include:
.
* Full, first class, dependent types with dependent pattern matching
.
* where clauses, with rule, case expressions,
pattern matching let and lambda bindings
.
* Interfaces (similar to type classes), monad comprehensions
.
* do notation, idiom brackets, syntactic conveniences for lists,
tuples, dependent pairs
.
* Totality checking
.
* Coinductive types
.
* Indentation significant syntax, extensible syntax
.
* Cumulative universes
.
* Simple foreign function interface (to C)
.
* Hugs style interactive environment
Build-type: Custom
Tested-With: GHC == 8.6.5, GHC == 8.8.4
-- NOTE: due to https://github.com/haskell/cabal/issues/6125 the use of ** is
-- heavily discouraged.
Data-files: idrisdoc/styles.css
jsrts/jsbn/*.js
jsrts/*.js
jsrts/jsbn/LICENSE
rts/Makefile
rts/*.c
rts/seL4/*.c
rts/arduino/*.c
rts/windows/*.c
rts/windows/*.h
rts/*.h
rts/seL4/CMakeLists.txt
rts/seL4/README.md
Extra-doc-files:
CHANGELOG.md
CITATION.md
CONTRIBUTING.md
CONTRIBUTORS
README.md
RELEASE-CHECKS.md
idris-tutorial.pdf
man/idris.1
samples/effects/*.idr
samples/misc/*.idr
samples/tutorial/*.idr
samples/ST/*.idr
samples/ST/Graphics/*.idr
samples/ST/Net/*.idr
samples/misc/*.lidr
-- extra-source-files is generated by Setup.hs using `git --ls-files`.
Extra-source-files:
Makefile
config.mk
custom.mk-alldeps
mkpkg.sh
stack-shell.nix
stack.yaml
stylize.sh
win-release.sh
benchmarks/*.pl
benchmarks/fasta/*.idr
benchmarks/fasta/*.ipkg
benchmarks/pidigits/*.idr
benchmarks/pidigits/*.ipkg
benchmarks/quasigroups/*.idr
benchmarks/quasigroups/*.ipkg
benchmarks/trivial/*.idr
benchmarks/trivial/*.ipkg
benchmarks/quasigroups/board
icons/*.png
icons/*.ico
icons/*.rc
icons/*.svg
icons/*.xml
libs/**/*.idr
libs/**/*.ipkg
libs/**/*.txt
libs/Makefile
libs/base/Makefile
libs/contrib/Makefile
libs/effects/Makefile
libs/prelude/Makefile
libs/pruviloj/Makefile
scripts/generate-multi-ghc-travis-template
scripts/runidris
scripts/runidris-node
src/.ghci
test/*.md
test/*.hs
test/**/*.idr
test/**/*.lidr
test/**/*.ipkg
test/**/*.out
test/**/*.sh
test/**/*.c
test/**/*.h
test/**/*.in
test/**/*.txt
test/**/*.js
test/base001/Makefile
test/ffi004/theOtherType
test/ffi004/theType
test/scripts/timeout
source-repository head
type: git
location: git://github.com/idris-lang/Idris-dev.git
custom-setup
setup-depends:
Cabal >= 2.4 && <= 3.4,
base >= 4 && <5,
directory,
filepath,
process
Flag FFI
Description: Build support for libffi
Default: False
manual: True
Flag GMP
Description: Use GMP for Integers
Default: False
manual: True
-- This flag determines whether to show Git hashes in version strings
-- Defaults to True because Hackage is a source release
Flag release
Description: This is an official release
Default: False
manual: True
Flag freestanding
Description: Build an Idris that doesn't use cabal
Default: False
manual: True
Flag CI
Description: Built everything using "-Werror", meant for CI-builds only
Default: False
manual: True
Flag execonly
Description: Build executables only, skip the libraries and RTS
Default: False
manual: True
Library
hs-source-dirs: src
Exposed-modules:
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.Elab.Utils
, Idris.Elab.Type
, Idris.Elab.AsPat
, Idris.Elab.Clause
, Idris.Elab.Data
, Idris.Elab.Record
, Idris.Elab.Interface
, Idris.Elab.Implementation
, Idris.Elab.Provider
, Idris.Elab.RunElab
, Idris.Elab.Transform
, Idris.Elab.Value
, Idris.Elab.Term
, Idris.Elab.Quasiquote
, Idris.Elab.Rewrite
, Idris.REPL.Browse
, Idris.AbsSyntax
, Idris.AbsSyntaxTree
, Idris.Apropos
, Idris.ASTUtils
, Idris.CaseSplit
, Idris.Chaser
, Idris.Colours
, Idris.Completion
, Idris.Coverage
, Idris.DSL
, Idris.DataOpts
, Idris.DeepSeq
, Idris.Delaborate
, Idris.Directives
, Idris.Docs
, Idris.Docstrings
, Idris.ElabDecls
, Idris.Erasure
, Idris.Error
, Idris.ErrReverse
, Idris.Help
, Idris.IBC
, Idris.IdeMode
, Idris.IdrisDoc
, Idris.Imports
, Idris.Info
, Idris.Info.Show
, Idris.Inliner
, Idris.Interactive
, Idris.Output
, Idris.Main
, Idris.ModeCommon
, Idris.Options
, 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.Reflection
, Idris.REPL
, Idris.REPL.Parser
, Idris.REPL.Commands
, Idris.Termination
, Idris.Transforms
, Idris.TypeSearch
, Idris.Unlit
, Idris.WhoCalls
, Idris.CmdOptions
, IRTS.Bytecode
, IRTS.CodegenC
, IRTS.CodegenCommon
, IRTS.CodegenJavaScript
, IRTS.Exports
, IRTS.JavaScript.AST
, IRTS.JavaScript.Name
, IRTS.JavaScript.Codegen
, IRTS.JavaScript.LangTransforms
, IRTS.JavaScript.Specialize
, IRTS.JavaScript.PrimOp
, IRTS.Compiler
, IRTS.Defunctionalise
, IRTS.DumpBC
, IRTS.Inliner
, IRTS.Lang
, IRTS.LangOpts
, IRTS.Portable
, IRTS.Simplified
, IRTS.System
, Idris.Package
, Idris.Package.Common
, Idris.Package.Parser
, Util.DynamicLinker
, Util.ScreenSize
, Util.System
Other-modules:
Util.Pretty
, Util.Net
, Paths_idris
, Version_idris
, Tools_idris
, BuildFlags_idris
-- Auto Generated
Autogen-modules: Paths_idris
, Version_idris
, Tools_idris
, BuildFlags_idris
Build-depends: base >=4 && <5
, aeson >= 0.6 && < 1.6
, annotated-wl-pprint >= 0.7 && < 0.8
, ansi-terminal < 0.12
, ansi-wl-pprint < 0.7
, array >= 0.4.0.1 && < 0.6
, base64-bytestring < 1.3
, binary >= 0.8.4.1 && < 0.9
, blaze-html >= 0.6.1.3 && < 0.10
, blaze-markup >= 0.5.2.1 && < 0.10
, bytestring < 0.11
, cheapskate >= 0.1.1.2 && < 0.2
, code-page >= 0.1 && < 0.3
, containers >= 0.5 && < 0.7
, deepseq < 1.5
, directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
, filepath < 1.5
, fingertree >= 0.1.4.1 && < 0.2
, haskeline >= 0.8 && < 0.9
, ieee754 >= 0.7 && < 0.9
, megaparsec >= 7.0.4 && < 10
, mtl >= 2.1 && < 2.3
, network >= 2.7 && < 3.1.2
, optparse-applicative >= 0.13 && < 0.17
, parser-combinators >= 1.0.0
, pretty < 1.2
, process < 1.7
, regex-tdfa >= 1.2
, safe >= 0.3.9
, split < 0.3
, terminal-size < 0.4
, text >=1.2.1.0 && < 1.4
, time >= 1.4 && < 2.0
, transformers >= 0.5 && < 0.6
, uniplate >=1.6 && < 1.7
, unordered-containers < 0.3
, utf8-string < 1.1
, vector < 0.13
, vector-binary-instances < 0.3
, zip-archive > 0.2.3.5 && < 0.5
, fsnotify >= 0.2 && < 0.4
, async < 2.3
if !impl(ghc >= 8.0)
Build-Depends: semigroups == 0.18.*
, fail == 4.9.0.*
Default-Language: Haskell2010
ghc-prof-options: -auto-all -caf-all
if os(windows)
build-depends: mintty >= 0.1 && < 0.2
, Win32 < 2.7
else
build-depends: unix < 2.8
if flag(FFI)
build-depends: libffi < 0.2
cpp-options: -DIDRIS_FFI
if flag(GMP)
build-depends: libffi < 0.2
extra-libraries: gmp
cpp-options: -DIDRIS_GMP
if flag(freestanding)
other-modules: Target_idris
autogen-modules: Target_idris
cpp-options: -DFREESTANDING
if flag(CI)
ghc-options: -Werror
Executable idris
Main-is: Main.hs
hs-source-dirs: main
Build-depends: idris
, base
, filepath
, directory
, haskeline >= 0.7
, transformers
Default-Language: Haskell2010
ghc-prof-options: -auto-all -caf-all
ghc-options: -threaded -rtsopts -funbox-strict-fields -with-rtsopts=-I0
Test-suite regression-and-feature-tests
Type: exitcode-stdio-1.0
Main-is: TestRun.hs
Other-modules: TestData
hs-source-dirs: test
Build-depends: idris
, base
, containers
, process
, time
, filepath
, directory
, haskeline >= 0.7
, optparse-applicative >= 0.13 && < 0.17
, tagged
, tasty >= 0.8
, tasty-golden >= 2.0
, tasty-rerun >= 1.0.0
, bytestring
, transformers
Default-Language: Haskell2010
ghc-prof-options: -auto-all -caf-all
ghc-options: -threaded -rtsopts -with-rtsopts=-N -funbox-strict-fields
Executable idris-codegen-c
Main-is: Main.hs
autogen-modules: Paths_idris
other-modules: Paths_idris
hs-source-dirs: codegen/idris-codegen-c
Build-depends: idris
, base
, filepath
, haskeline >= 0.7
, transformers
Default-Language: Haskell2010
ghc-prof-options: -auto-all -caf-all
ghc-options: -threaded -rtsopts -funbox-strict-fields
Executable idris-codegen-javascript
Main-is: Main.hs
autogen-modules: Paths_idris
other-modules: Paths_idris
hs-source-dirs: codegen/idris-codegen-javascript
Build-depends: idris
, base
, filepath
, haskeline >= 0.7
, transformers
Default-Language: Haskell2010
ghc-prof-options: -auto-all -caf-all
ghc-options: -threaded -rtsopts -funbox-strict-fields
Executable idris-codegen-node
Main-is: Main.hs
autogen-modules: Paths_idris
other-modules: Paths_idris
hs-source-dirs: codegen/idris-codegen-node
Build-depends: idris
, base
, filepath
, haskeline >= 0.7
, transformers
Default-Language: Haskell2010
ghc-prof-options: -auto-all -caf-all
ghc-options: -threaded -rtsopts -funbox-strict-fields