git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/idris.cabal
814 lines 30 kB history raw
1Name: idris
2Version: 0.9.15
3License: BSD3
4License-file: LICENSE
5Author: Edwin Brady
6Maintainer: Edwin Brady <eb@cs.st-andrews.ac.uk>
7Homepage: http://www.idris-lang.org/
9Stability: Beta
10Category: Compilers/Interpreters, Dependent Types
11Synopsis: Functional Programming Language with Dependent Types
12Description: Idris is a general purpose language with full dependent types.
13 It is compiled, with eager evaluation.
14 Dependent types allow types to be predicated on values,
15 meaning that some aspects of a program's behaviour can be
16 specified precisely in the type. The language is closely
17 related to Epigram and Agda. There is a tutorial at
18 <http://www.idris-lang.org/documentation>.
19 Features include:
20 .
21 * Full dependent types with dependent pattern matching
22 .
23 * where clauses, with rule, simple case expressions,
24 pattern matching let and lambda bindings
25 .
26 * Type classes, monad comprehensions
27 .
28 * do notation, idiom brackets, syntactic conveniences for lists,
29 tuples, dependent pairs
30 .
31 * Totality checking
32 .
33 * Coinductive types
34 .
35 * Indentation significant syntax, extensible syntax
36 .
37 * Tactic based theorem proving (influenced by Coq)
38 .
39 * Cumulative universes
40 .
41 * Simple foreign function interface (to C)
42 .
43 * Hugs style interactive environment
45Cabal-Version: >= 1.8
47Build-type: Custom
49Data-files: idrisdoc/styles.css
50 jsrts/Runtime-browser.js
51 jsrts/Runtime-common.js
52 jsrts/Runtime-node.js
53 jsrts/jsbn/jsbn.js
54 jsrts/jsbn/LICENSE
55 rts/arduino/idris_main.c
56 rts/idris_bitstring.c
57 rts/idris_bitstring.h
58 rts/idris_gc.c
59 rts/idris_gc.h
60 rts/idris_gmp.c
61 rts/idris_gmp.h
62 rts/idris_heap.c
63 rts/idris_heap.h
64 rts/idris_main.c
65 rts/idris_net.c
66 rts/idris_net.h
67 rts/idris_opts.c
68 rts/idris_opts.h
69 rts/idris_rts.c
70 rts/idris_rts.h
71 rts/idris_stats.c
72 rts/idris_stats.h
73 rts/idris_stdfgn.c
74 rts/idris_stdfgn.h
75 rts/mini-gmp.c
76 rts/mini-gmp.h
77 rts/libtest.c
79Extra-source-files:
80 Makefile
81 config.mk
83 rts/*.c
84 rts/*.h
85 rts/arduino/*.c
86 rts/windows/*.c
87 rts/Makefile
89 libs/Makefile
91 libs/prelude/prelude.ipkg
92 libs/prelude/Prelude/*.idr
93 libs/prelude/Decidable/*.idr
94 libs/prelude/Makefile
95 libs/prelude/*.idr
97 libs/base/base.ipkg
98 libs/base/*.idr
99 libs/base/Control/*.idr
100 libs/base/Control/Isomorphism/*.idr
101 libs/base/Control/Monad/*.idr
102 libs/base/Data/*.idr
103 libs/base/Data/Vect/*.idr
104 libs/base/Debug/*.idr
105 libs/base/Decidable/*.idr
106 libs/base/Language/*.idr
107 libs/base/Language/Reflection/*.idr
108 libs/base/Makefile
109 libs/base/Network/*.idr
110 libs/base/System/*.idr
111 libs/base/System/Concurrency/*.idr
112 libs/base/Syntax/*.idr
115 libs/effects/Makefile
116 libs/effects/effects.ipkg
117 libs/effects/Effect/*.idr
118 libs/effects/*.idr
120 test/Makefile
121 test/runtest.pl
122 test/reg001/run
123 test/reg001/*.idr
124 test/reg001/expected
125 test/reg002/run
126 test/reg002/*.idr
127 test/reg002/expected
128 test/reg003/run
129 test/reg003/*.idr
130 test/reg003/expected
131 test/reg004/run
132 test/reg004/*.idr
133 test/reg004/expected
134 test/reg005/run
135 test/reg005/*.idr
136 test/reg005/expected
137 test/reg006/run
138 test/reg006/*.idr
139 test/reg006/expected
140 test/reg007/run
141 test/reg007/*.lidr
142 test/reg007/expected
143 test/reg009/run
144 test/reg009/*.lidr
145 test/reg009/expected
146 test/reg010/run
147 test/reg010/*.idr
148 test/reg010/expected
149 test/reg011/run
150 test/reg011/*.idr
151 test/reg011/expected
152 test/reg012/run
153 test/reg012/*.lidr
154 test/reg012/expected
155 test/reg013/run
156 test/reg013/*.idr
157 test/reg013/expected
158 test/reg014/run
159 test/reg014/*.idr
160 test/reg014/expected
161 test/reg015/run
162 test/reg015/*.idr
163 test/reg015/expected
164 test/reg016/run
165 test/reg016/*.idr
166 test/reg016/expected
167 test/reg017/run
168 test/reg017/*.idr
169 test/reg017/expected
170 test/reg018/run
171 test/reg018/*.idr
172 test/reg018/expected
173 test/reg019/run
174 test/reg019/*.idr
175 test/reg019/expected
176 test/reg020/run
177 test/reg020/*.idr
178 test/reg020/expected
179 test/reg021/run
180 test/reg021/*.idr
181 test/reg021/expected
182 test/reg022/run
183 test/reg022/*.idr
184 test/reg022/expected
185 test/reg023/run
186 test/reg023/*.idr
187 test/reg023/expected
188 test/reg024/run
189 test/reg024/*.idr
190 test/reg024/expected
191 test/reg025/run
192 test/reg025/*.idr
193 test/reg025/expected
194 test/reg026/run
195 test/reg026/*.idr
196 test/reg026/expected
197 test/reg027/run
198 test/reg027/*.idr
199 test/reg027/expected
200 test/reg028/run
201 test/reg028/*.idr
202 test/reg028/expected
203 test/reg029/run
204 test/reg029/*.idr
205 test/reg029/expected
206 test/reg030/run
207 test/reg030/*.idr
208 test/reg030/expected
209 test/reg031/run
210 test/reg031/*.idr
211 test/reg031/expected
212 test/reg032/run
213 test/reg032/*.idr
214 test/reg032/expected
215 test/reg033/run
216 test/reg033/*.idr
217 test/reg033/expected
218 test/reg034/run
219 test/reg034/*.idr
220 test/reg034/expected
221 test/reg035/run
222 test/reg035/*.idr
223 test/reg035/*.lidr
224 test/reg035/expected
225 test/reg036/run
226 test/reg036/*.idr
227 test/reg036/expected
228 test/reg037/run
229 test/reg037/*.idr
230 test/reg037/expected
231 test/reg038/run
232 test/reg038/*.idr
233 test/reg038/expected
234 test/reg039/run
235 test/reg039/*.idr
236 test/reg039/expected
237 test/reg040/run
238 test/reg040/*.idr
239 test/reg040/expected
240 test/reg041/run
241 test/reg041/*.idr
242 test/reg041/expected
243 test/reg042/run
244 test/reg042/*.idr
245 test/reg042/expected
246 test/reg044/run
247 test/reg044/*.idr
248 test/reg044/expected
249 test/reg045/run
250 test/reg045/*.idr
251 test/reg045/expected
252 test/reg046/run
253 test/reg046/*.idr
254 test/reg046/expected
255 test/reg047/run
256 test/reg047/*.idr
257 test/reg047/expected
258 test/reg048/run
259 test/reg048/*.idr
260 test/reg048/expected
261 test/reg049/run
262 test/reg049/*.idr
263 test/reg049/expected
264 test/reg050/run
265 test/reg050/*.idr
266 test/reg050/expected
267 test/reg051/run
268 test/reg051/*.idr
269 test/reg051/expected
270 test/reg052/run
271 test/reg052/*.idr
272 test/reg052/expected
274 test/basic001/run
275 test/basic001/*.idr
276 test/basic001/expected
277 test/basic002/run
278 test/basic002/*.idr
279 test/basic002/expected
280 test/basic003/run
281 test/basic003/*.idr
282 test/basic003/expected
283 test/basic004/run
284 test/basic004/*.idr
285 test/basic004/expected
286 test/basic005/run
287 test/basic005/*.lidr
288 test/basic005/expected
289 test/basic006/run
290 test/basic006/*.idr
291 test/basic006/expected
292 test/basic007/run
293 test/basic007/*.idr
294 test/basic007/expected
295 test/basic008/run
296 test/basic008/*.idr
297 test/basic008/expected
298 test/basic009/run
299 test/basic009/*.idr
300 test/basic009/expected
301 test/basic009/B/*.idr
302 test/basic010/run
303 test/basic010/*.idr
304 test/basic010/expected
305 test/basic011/run
306 test/basic011/*.idr
307 test/basic011/expected
309 test/buffer001-disabled/*.idr
310 test/buffer001-disabled/run
311 test/buffer001-disabled/expected
313 test/dsl001/run
314 test/dsl001/*.idr
315 test/dsl001/expected
316 test/dsl002/run
317 test/dsl002/test
318 test/dsl002/*.idr
319 test/dsl002/expected
320 test/dsl003/run
321 test/dsl003/*.idr
322 test/dsl003/expected
324 test/effects001/run
325 test/effects001/*.idr
326 test/effects001/expected
327 test/effects001/testFile
328 test/effects002/run
329 test/effects002/*.idr
330 test/effects002/expected
332 test/error001/run
333 test/error001/*.idr
334 test/error001/expected
335 test/error002/run
336 test/error002/*.idr
337 test/error002/expected
338 test/error003/run
339 test/error003/*.idr
340 test/error003/expected
341 test/error004/run
342 test/error004/*.idr
343 test/error004/expected
345 test/ffi001/run
346 test/ffi001/*.idr
347 test/ffi001/expected
348 test/ffi002/run
349 test/ffi002/*.idr
350 test/ffi002/expected
351 test/ffi003/run
352 test/ffi003/*.idr
353 test/ffi003/expected
354 test/ffi003/input
355 test/ffi004/run
356 test/ffi004/*.idr
357 test/ffi004/theType
358 test/ffi004/theOtherType
359 test/ffi004/expected
360 test/ffi005/*.idr
361 test/ffi005/run
362 test/ffi005/expected
364 test/idrisdoc001/run
365 test/idrisdoc001/expected
366 test/idrisdoc001/*.idr
367 test/idrisdoc001/*.ipkg
368 test/idrisdoc002/run
369 test/idrisdoc002/expected
370 test/idrisdoc002/*.idr
371 test/idrisdoc002/*.ipkg
372 test/idrisdoc003/run
373 test/idrisdoc003/expected
374 test/idrisdoc003/*.idr
375 test/idrisdoc003/*.ipkg
376 test/idrisdoc004/run
377 test/idrisdoc004/expected
378 test/idrisdoc004/*.idr
379 test/idrisdoc004/*.ipkg
380 test/idrisdoc005/run
381 test/idrisdoc005/expected
382 test/idrisdoc005/*.idr
383 test/idrisdoc005/*.ipkg
384 test/idrisdoc006/run
385 test/idrisdoc006/expected
386 test/idrisdoc006/A/fully/Qualified/NAME.idr
387 test/idrisdoc006/*.idr
388 test/idrisdoc006/*.ipkg
389 test/idrisdoc007/run
390 test/idrisdoc007/expected
391 test/idrisdoc007/*.idr
392 test/idrisdoc007/*.ipkg
393 test/idrisdoc008/run
394 test/idrisdoc008/expected
395 test/idrisdoc008/*.idr
396 test/idrisdoc008/*.ipkg
398 test/interactive001/run
399 test/interactive001/input
400 test/interactive001/*.idr
401 test/interactive001/expected
402 test/interactive002/run
403 test/interactive002/input
404 test/interactive002/*.idr
405 test/interactive002/expected
406 test/interactive003/run
407 test/interactive003/input
408 test/interactive003/*.idr
409 test/interactive003/expected
410 test/interactive004/run
411 test/interactive004/input
412 test/interactive004/*.idr
413 test/interactive004/expected
414 test/interactive005/run
415 test/interactive005/input
416 test/interactive005/*.idr
417 test/interactive005/expected
418 test/interactive006/run
419 test/interactive006/input
420 test/interactive006/*.idr
421 test/interactive006/expected
423 test/io001/run
424 test/io001/*.idr
425 test/io001/expected
426 test/io002/run
427 test/io002/*.idr
428 test/io002/expected
429 test/io003/run
430 test/io003/*.idr
431 test/io003/expected
433 test/literate001/run
434 test/literate001/*.lidr
435 test/literate001/expected
437 test/primitives001/run
438 test/primitives001/*.idr
439 test/primitives001/expected
440 test/primitives002/run
441 test/primitives002/expected
442 test/primitives003/run
443 test/primitives003/*.idr
444 test/primitives003/expected
446 test/proof001/run
447 test/proof001/*.idr
448 test/proof001/expected
449 test/proof002/run
450 test/proof002/*.idr
451 test/proof002/expected
452 test/proof003/run
453 test/proof003/*.idr
454 test/proof003/expected
455 test/proof004/run
456 test/proof004/*.idr
457 test/proof004/expected
459 test/quasiquote001/run
460 test/quasiquote001/*.idr
461 test/quasiquote001/expected
462 test/quasiquote002/run
463 test/quasiquote002/*.idr
464 test/quasiquote002/expected
465 test/quasiquote003/run
466 test/quasiquote003/*.idr
467 test/quasiquote003/expected
468 test/quasiquote004/run
469 test/quasiquote004/*.idr
470 test/quasiquote004/expected
473 test/records001/run
474 test/records001/*.idr
475 test/records001/expected
476 test/records002/run
477 test/records002/*.idr
478 test/records002/expected
479 test/records003/run
480 test/records003/*.idr
481 test/records003/expected
483 test/sugar001/run
484 test/sugar001/*.idr
485 test/sugar001/expected
486 test/sugar002/run
487 test/sugar002/*.idr
488 test/sugar002/expected
489 test/sugar003/run
490 test/sugar003/*.idr
491 test/sugar003/expected
493 test/totality001/run
494 test/totality001/*.idr
495 test/totality001/expected
496 test/totality002/run
497 test/totality002/*.idr
498 test/totality002/expected
499 test/totality003/run
500 test/totality003/*.idr
501 test/totality003/expected
502 test/totality004/run
503 test/totality004/*.idr
504 test/totality004/expected
505 test/totality005/run
506 test/totality005/*.idr
507 test/totality005/expected
508 test/totality006/run
509 test/totality006/*.idr
510 test/totality006/expected
511 test/totality007/run
512 test/totality007/*.ipkg
513 test/totality007/src/*.idr
514 test/totality007/expected
515 test/totality008/run
516 test/totality008/*.idr
517 test/totality008/expected
519 test/tutorial001/run
520 test/tutorial001/*.idr
521 test/tutorial001/expected
522 test/tutorial002/run
523 test/tutorial002/*.idr
524 test/tutorial002/expected
525 test/tutorial003/run
526 test/tutorial003/*.idr
527 test/tutorial003/expected
528 test/tutorial004/run
529 test/tutorial004/*.idr
530 test/tutorial004/expected
531 test/tutorial005/run
532 test/tutorial005/*.idr
533 test/tutorial005/expected
534 test/tutorial006/run
535 test/tutorial006/*.idr
536 test/tutorial006/expected
538 test/unique001/run
539 test/unique001/*.idr
540 test/unique001/expected
541 test/unique002/run
542 test/unique002/*.idr
543 test/unique002/expected
544 test/unique003/run
545 test/unique003/*.idr
546 test/unique003/expected
548source-repository head
549 type: git
550 location: git://github.com/idris-lang/Idris-dev.git
552Flag FFI
553 Description: Build support for libffi
554 Default: False
555 manual: True
557Flag GMP
558 Description: Use GMP for Integers
559 Default: False
560 manual: True
562Flag curses
563 Description: Use Curses to get the screen width
564 Default: False
565 manual: True
567-- This flag determines whether to show Git hashes in version strings
568-- Defaults to True because Hackage is a source release
569Flag release
570 Description: This is an official release
571 Default: False
572 manual: True
574Flag freestanding
575 Description: Build an Idris that doesn't use cabal
576 Default: False
577 manual: True
579Library
580 hs-source-dirs: src
581 Exposed-modules:
582 Idris.Core.Binary
583 , Idris.Core.CaseTree
584 , Idris.Core.Constraints
585 , Idris.Core.DeepSeq
586 , Idris.Core.Elaborate
587 , Idris.Core.Evaluate
588 , Idris.Core.Execute
589 , Idris.Core.ProofState
590 , Idris.Core.ProofTerm
591 , Idris.Core.TC
592 , Idris.Core.TT
593 , Idris.Core.Typecheck
594 , Idris.Core.Unify
596 , Idris.Elab.Utils
597 , Idris.Elab.Type
598 , Idris.Elab.Clause
599 , Idris.Elab.Data
600 , Idris.Elab.Record
601 , Idris.Elab.Class
602 , Idris.Elab.Instance
603 , Idris.Elab.Provider
604 , Idris.Elab.Transform
605 , Idris.Elab.Value
607 , Idris.AbsSyntax
608 , Idris.AbsSyntaxTree
609 , Idris.Apropos
610 , Idris.ASTUtils
611 , Idris.CaseSplit
612 , Idris.Chaser
613 , Idris.Colours
614 , Idris.Completion
615 , Idris.Coverage
616 , Idris.DSL
617 , Idris.DataOpts
618 , Idris.DeepSeq
619 , Idris.Delaborate
620 , Idris.Docs
621 , Idris.Docstrings
622 , Idris.ElabDecls
623 , Idris.ElabQuasiquote
624 , Idris.ElabTerm
625 , Idris.Erasure
626 , Idris.Error
627 , Idris.ErrReverse
628 , Idris.Help
629 , Idris.IBC
630 , Idris.IdeSlave
631 , Idris.IdrisDoc
632 , Idris.Imports
633 , Idris.Inliner
634 , Idris.Interactive
635 , Idris.Output
636 , Idris.Parser
637 , Idris.ParseHelpers
638 , Idris.ParseOps
639 , Idris.ParseExpr
640 , Idris.ParseData
641 , Idris.PartialEval
642 , Idris.Primitives
643 , Idris.ProofSearch
644 , Idris.Prover
645 , Idris.Providers
646 , Idris.REPL
647 , Idris.REPLParser
648 , Idris.Transforms
649 , Idris.TypeSearch
650 , Idris.Unlit
651 , Idris.WhoCalls
652 , Idris.CmdOptions
654 , IRTS.BCImp
655 , IRTS.Bytecode
656 , IRTS.CodegenC
657 , IRTS.CodegenCommon
658 , IRTS.CodegenJava
659 , IRTS.CodegenJavaScript
660 , IRTS.JavaScript.AST
661 , IRTS.Compiler
662 , IRTS.Defunctionalise
663 , IRTS.DumpBC
664 , IRTS.Inliner
665 , IRTS.Java.ASTBuilding
666 , IRTS.Java.JTypes
667 , IRTS.Java.Mangling
668 , IRTS.Java.Pom
669 , IRTS.Lang
670 , IRTS.LangOpts
671 , IRTS.Simplified
672 , IRTS.System
674 , Pkg.Package
675 , Util.DynamicLinker
676 , Util.ScreenSize
678 Other-modules:
679 Util.Pretty
680 , Util.System
681 , Util.Net
682 , Util.Zlib
684 , Pkg.PParser
686 -- Auto Generated
687 , Paths_idris
688 , Version_idris
690 Build-depends: base >=4 && <5
691 , annotated-wl-pprint >= 0.5.3 && < 0.6
692 , ansi-terminal < 0.7
693 , ansi-wl-pprint < 0.7
694 , base64-bytestring < 1.1
695 , binary < 0.8
696 , blaze-html >= 0.6.1.3 && < 0.8
697 , blaze-markup >= 0.5.2.1 && < 0.7.0.0
698 , bytestring < 0.11
699 , cheapskate < 0.2
700 , containers >= 0.5 && < 0.6
701 , deepseq < 1.4
702 , directory >= 1.2 && < 1.3
703 , filepath < 1.4
704 , fingertree >= 0.1 && < 0.2
705 , haskeline >= 0.7 && < 0.8
706 , language-java >= 0.2.7 && < 0.3
707 , lens >= 4.1.1 && < 4.5
708 , mtl < 2.3
709 , network < 2.7
710 , optparse-applicative >= 0.11 && < 0.12
711 , parsers >= 0.9 && < 0.13
712 , pretty < 1.2
713 , process < 1.3
714 , split < 0.3
715 , text < 1.3
716 , time >= 1.4 && < 1.6
717 , transformers < 0.5
718 , trifecta >= 1.1 && < 1.6
719 , unordered-containers < 0.3
720 , utf8-string < 0.4
721 , vector < 0.11
722 , vector-binary-instances < 0.3
723 , xml < 1.4
724 , zlib < 0.6
725 Extensions: MultiParamTypeClasses
726 , DeriveFoldable
727 , DeriveTraversable
728 , FunctionalDependencies
729 , FlexibleContexts
730 , FlexibleInstances
731 , TemplateHaskell
733 ghc-prof-options: -auto-all -caf-all
734 ghc-options: -threaded -rtsopts
736 if os(linux)
737 cpp-options: -DLINUX
738 build-depends: unix < 2.8
739 if os(freebsd)
740 cpp-options: -DFREEBSD
741 build-depends: unix < 2.8
742 if os(dragonfly)
743 cpp-options: -DDRAGONFLY
744 build-depends: unix < 2.8
745 if os(darwin)
746 cpp-options: -DMACOSX
747 build-depends: unix < 2.8
748 if os(windows)
749 cpp-options: -DWINDOWS
750 build-depends: Win32 < 2.4
751 if flag(FFI)
752 build-depends: libffi < 0.2
753 cpp-options: -DIDRIS_FFI
754 if flag(GMP)
755 build-depends: libffi < 0.2
756 cpp-options: -DIDRIS_GMP
757 if flag(curses)
758 build-depends: hscurses < 1.5
759 cpp-options: -DCURSES
760 if flag(freestanding)
761 other-modules: Target_idris
762 cpp-options: -DFREESTANDING
764Executable idris
765 Main-is: Main.hs
766 hs-source-dirs: main
768 Build-depends: idris
769 , base
770 , filepath
771 , haskeline >= 0.7
772 , transformers
774 ghc-prof-options: -auto-all -caf-all
775 ghc-options: -threaded -rtsopts -funbox-strict-fields
777Executable idris-c
778 Main-is: Main.hs
779 hs-source-dirs: codegen/idris-c
781 Build-depends: idris
782 , base
783 , filepath
784 , haskeline >= 0.7
785 , transformers
787 ghc-prof-options: -auto-all -caf-all
788 ghc-options: -threaded -rtsopts -funbox-strict-fields
790Executable idris-javascript
791 Main-is: Main.hs
792 hs-source-dirs: codegen/idris-javascript
794 Build-depends: idris
795 , base
796 , filepath
797 , haskeline >= 0.7
798 , transformers
800 ghc-prof-options: -auto-all -caf-all
801 ghc-options: -threaded -rtsopts -funbox-strict-fields
803Executable idris-node
804 Main-is: Main.hs
805 hs-source-dirs: codegen/idris-node
807 Build-depends: idris
808 , base
809 , filepath
810 , haskeline >= 0.7
811 , transformers
813 ghc-prof-options: -auto-all -caf-all
814 ghc-options: -threaded -rtsopts -funbox-strict-fields