git.iko.soy/Idris-dev
on fbb201c help sign in
Idris-dev/idris.cabal
1017 lines 39 kB history raw
1Name: idris
2Version: 0.9.18.1
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/Language/*.idr
95 libs/prelude/Language/Reflection/*.idr
96 libs/prelude/Makefile
97 libs/prelude/*.idr
99 libs/base/base.ipkg
100 libs/base/*.idr
101 libs/base/Control/*.idr
102 libs/base/Control/Monad/*.idr
103 libs/base/Data/*.idr
104 libs/base/Data/Vect/*.idr
105 libs/base/Debug/*.idr
106 libs/base/Language/Reflection/*.idr
107 libs/base/Makefile
108 libs/base/System/*.idr
109 libs/base/System/Concurrency/*.idr
110 libs/base/Syntax/*.idr
112 libs/contrib/contrib.ipkg
113 libs/contrib/Makefile
114 libs/contrib/Classes/*.idr
115 libs/contrib/Control/*.idr
116 libs/contrib/Control/Isomorphism/*.idr
117 libs/contrib/Control/Algebra/*.idr
118 libs/contrib/Data/*.idr
119 libs/contrib/Data/Nat/*.idr
120 libs/contrib/Data/Nat/DivMod/*.idr
121 libs/contrib/Data/Matrix/*.idr
122 libs/contrib/Decidable/*.idr
123 libs/contrib/Network/*.idr
124 libs/contrib/System/Concurrency/*.idr
126 libs/effects/Makefile
127 libs/effects/effects.ipkg
128 libs/effects/Effect/*.idr
129 libs/effects/Effect/Logging/*.idr
130 libs/effects/*.idr
132 test/Makefile
133 test/runtest.pl
134 test/reg001/run
135 test/reg001/*.idr
136 test/reg001/expected
137 test/reg002/run
138 test/reg002/*.idr
139 test/reg002/expected
140 test/reg003/run
141 test/reg003/*.idr
142 test/reg003/expected
143 test/reg004/run
144 test/reg004/*.idr
145 test/reg004/expected
146 test/reg005/run
147 test/reg005/*.idr
148 test/reg005/expected
149 test/reg006/run
150 test/reg006/*.idr
151 test/reg006/expected
152 test/reg007/run
153 test/reg007/*.lidr
154 test/reg007/expected
155 test/reg009/run
156 test/reg009/*.lidr
157 test/reg009/expected
158 test/reg010/run
159 test/reg010/*.idr
160 test/reg010/expected
161 test/reg011/run
162 test/reg011/*.idr
163 test/reg011/expected
164 test/reg012/run
165 test/reg012/*.lidr
166 test/reg012/expected
167 test/reg013/run
168 test/reg013/*.idr
169 test/reg013/expected
170 test/reg014/run
171 test/reg014/*.idr
172 test/reg014/expected
173 test/reg015/run
174 test/reg015/*.idr
175 test/reg015/expected
176 test/reg016/run
177 test/reg016/*.idr
178 test/reg016/expected
179 test/reg017/run
180 test/reg017/*.idr
181 test/reg017/expected
182 test/reg018/run
183 test/reg018/*.idr
184 test/reg018/expected
185 test/reg019/run
186 test/reg019/*.idr
187 test/reg019/expected
188 test/reg020/run
189 test/reg020/*.idr
190 test/reg020/expected
191 test/reg021/run
192 test/reg021/*.idr
193 test/reg021/expected
194 test/reg022/run
195 test/reg022/*.idr
196 test/reg022/expected
197 test/reg023/run
198 test/reg023/*.idr
199 test/reg023/expected
200 test/reg024/run
201 test/reg024/*.idr
202 test/reg024/expected
203 test/reg025/run
204 test/reg025/*.idr
205 test/reg025/expected
206 test/reg026/run
207 test/reg026/*.idr
208 test/reg026/expected
209 test/reg027/run
210 test/reg027/*.idr
211 test/reg027/expected
212 test/reg028/run
213 test/reg028/*.idr
214 test/reg028/expected
215 test/reg029/run
216 test/reg029/*.idr
217 test/reg029/expected
218 test/reg030/run
219 test/reg030/*.idr
220 test/reg030/expected
221 test/reg031/run
222 test/reg031/*.idr
223 test/reg031/expected
224 test/reg032/run
225 test/reg032/*.idr
226 test/reg032/expected
227 test/reg033/run
228 test/reg033/*.idr
229 test/reg033/expected
230 test/reg034/run
231 test/reg034/*.idr
232 test/reg034/expected
233 test/reg035/run
234 test/reg035/*.idr
235 test/reg035/*.lidr
236 test/reg035/expected
237 test/reg036/run
238 test/reg036/*.idr
239 test/reg036/expected
240 test/reg037/run
241 test/reg037/*.idr
242 test/reg037/expected
243 test/reg038/run
244 test/reg038/*.idr
245 test/reg038/expected
246 test/reg039/run
247 test/reg039/*.idr
248 test/reg039/expected
249 test/reg040/run
250 test/reg040/*.idr
251 test/reg040/expected
252 test/reg041/run
253 test/reg041/*.idr
254 test/reg041/expected
255 test/reg042/run
256 test/reg042/*.idr
257 test/reg042/expected
258 test/reg044/run
259 test/reg044/*.idr
260 test/reg044/expected
261 test/reg045/run
262 test/reg045/*.idr
263 test/reg045/expected
264 test/reg046/run
265 test/reg046/*.idr
266 test/reg046/expected
267 test/reg047/run
268 test/reg047/*.idr
269 test/reg047/expected
270 test/reg048/run
271 test/reg048/*.idr
272 test/reg048/expected
273 test/reg049/run
274 test/reg049/*.idr
275 test/reg049/expected
276 test/reg050/run
277 test/reg050/*.idr
278 test/reg050/expected
279 test/reg051-disabled/run
280 test/reg051-disabled/*.idr
281 test/reg051-disabled/expected
282 test/reg052/run
283 test/reg052/*.idr
284 test/reg052/expected
285 test/reg053/run
286 test/reg053/*.idr
287 test/reg053/expected
288 test/reg054/run
289 test/reg054/*.idr
290 test/reg054/expected
291 test/reg055/run
292 test/reg055/*.idr
293 test/reg055/expected
294 test/reg056/run
295 test/reg056/*.idr
296 test/reg056/expected
297 test/reg057/run
298 test/reg057/*.idr
299 test/reg057/expected
300 test/reg058/run
301 test/reg058/*.idr
302 test/reg058/expected
303 test/reg059/run
304 test/reg059/*.idr
305 test/reg059/expected
306 test/reg060/run
307 test/reg060/*.idr
308 test/reg060/expected
309 test/reg061/run
310 test/reg061/*.idr
311 test/reg061/expected
312 test/reg062/run
313 test/reg062/*.idr
314 test/reg062/expected
315 test/reg063/run
316 test/reg063/*.idr
317 test/reg063/expected
318 test/reg064/run
319 test/reg064/*.idr
320 test/reg064/expected
321 test/reg065/run
322 test/reg065/*.idr
323 test/reg065/expected
324 test/reg066/run
325 test/reg066/*.idr
326 test/reg066/expected
328 test/basic001/run
329 test/basic001/*.idr
330 test/basic001/expected
331 test/basic002/run
332 test/basic002/*.idr
333 test/basic002/expected
334 test/basic003/run
335 test/basic003/*.idr
336 test/basic003/expected
337 test/basic004/run
338 test/basic004/*.idr
339 test/basic004/expected
340 test/basic005/run
341 test/basic005/*.lidr
342 test/basic005/expected
343 test/basic006/run
344 test/basic006/*.idr
345 test/basic006/expected
346 test/basic007/run
347 test/basic007/*.idr
348 test/basic007/expected
349 test/basic008/run
350 test/basic008/*.idr
351 test/basic008/expected
352 test/basic009/run
353 test/basic009/*.idr
354 test/basic009/expected
355 test/basic009/B/*.idr
356 test/basic010/run
357 test/basic010/*.idr
358 test/basic010/expected
359 test/basic011/run
360 test/basic011/*.idr
361 test/basic011/expected
362 test/basic012/run
363 test/basic012/*.idr
364 test/basic012/expected
365 test/basic013/run
366 test/basic013/*.idr
367 test/basic013/expected
369 test/bignum001/run
370 test/bignum001/*.idr
371 test/bignum001/expected
372 test/bignum002/run
373 test/bignum002/*.idr
374 test/bignum002/expected
376 test/classes001/*.idr
377 test/classes001/run
378 test/classes001/expected
379 test/classes001/input
381 test/corecords001/*.idr
382 test/corecords001/run
383 test/corecords001/expected
384 test/corecords002/*.idr
385 test/corecords002/run
386 test/corecords002/expected
388 test/delab001/*.idr
389 test/delab001/run
390 test/delab001/expected
391 test/delab001/input
393 test/disambig002/run
394 test/disambig002/*.idr
395 test/disambig002/expected
397 test/dsl001/run
398 test/dsl001/*.idr
399 test/dsl001/expected
400 test/dsl002/run
401 test/dsl002/test
402 test/dsl002/*.idr
403 test/dsl002/expected
404 test/dsl003/run
405 test/dsl003/*.idr
406 test/dsl003/expected
407 test/dsl004/run
408 test/dsl004/*.idr
409 test/dsl004/expected
411 test/effects001/run
412 test/effects001/*.idr
413 test/effects001/expected
414 test/effects001/testFile
415 test/effects002/run
416 test/effects002/*.idr
417 test/effects002/expected
418 test/effects003/run
419 test/effects003/*.idr
420 test/effects003/expected
421 test/effects003/input
422 test/effects004/run
423 test/effects004/*.idr
424 test/effects004/expected
425 test/effects004/input
426 test/effects005/run
427 test/effects005/*.idr
428 test/effects005/expected
431 test/error001/run
432 test/error001/*.idr
433 test/error001/expected
434 test/error002/run
435 test/error002/*.idr
436 test/error002/expected
437 test/error003/run
438 test/error003/*.idr
439 test/error003/expected
440 test/error004/run
441 test/error004/*.idr
442 test/error004/expected
443 test/error005/run
444 test/error005/*.idr
445 test/error005/expected
447 test/ffi001/run
448 test/ffi001/*.idr
449 test/ffi001/expected
450 test/ffi002/run
451 test/ffi002/*.idr
452 test/ffi002/expected
453 test/ffi003/run
454 test/ffi003/*.idr
455 test/ffi003/expected
456 test/ffi003/input
457 test/ffi004/run
458 test/ffi004/*.idr
459 test/ffi004/theType
460 test/ffi004/theOtherType
461 test/ffi004/expected
462 test/ffi005/*.idr
463 test/ffi005/run
464 test/ffi005/expected
465 test/ffi006/*.idr
466 test/ffi006/*.c
467 test/ffi006/run
468 test/ffi006/expected
470 test/folding001/*.idr
471 test/folding001/run
472 test/folding001/expected
474 test/idrisdoc001/run
475 test/idrisdoc001/expected
476 test/idrisdoc001/*.idr
477 test/idrisdoc001/*.ipkg
478 test/idrisdoc002/run
479 test/idrisdoc002/expected
480 test/idrisdoc002/*.idr
481 test/idrisdoc002/*.ipkg
482 test/idrisdoc003/run
483 test/idrisdoc003/expected
484 test/idrisdoc003/*.idr
485 test/idrisdoc003/*.ipkg
486 test/idrisdoc004/run
487 test/idrisdoc004/expected
488 test/idrisdoc004/*.idr
489 test/idrisdoc004/*.ipkg
490 test/idrisdoc005/run
491 test/idrisdoc005/expected
492 test/idrisdoc005/*.idr
493 test/idrisdoc005/*.ipkg
494 test/idrisdoc006/run
495 test/idrisdoc006/expected
496 test/idrisdoc006/A/fully/Qualified/NAME.idr
497 test/idrisdoc006/*.idr
498 test/idrisdoc006/*.ipkg
499 test/idrisdoc007/run
500 test/idrisdoc007/expected
501 test/idrisdoc007/*.idr
502 test/idrisdoc007/*.ipkg
503 test/idrisdoc008/run
504 test/idrisdoc008/expected
505 test/idrisdoc008/*.idr
506 test/idrisdoc008/*.ipkg
507 test/idrisdoc009/run
508 test/idrisdoc009/expected
509 test/idrisdoc009/input
510 test/idrisdoc009/*.idr
513 test/interactive001/run
514 test/interactive001/input
515 test/interactive001/*.idr
516 test/interactive001/expected
517 test/interactive002/run
518 test/interactive002/input
519 test/interactive002/*.idr
520 test/interactive002/expected
521 test/interactive003/run
522 test/interactive003/input
523 test/interactive003/*.idr
524 test/interactive003/expected
525 test/interactive004/run
526 test/interactive004/input
527 test/interactive004/*.idr
528 test/interactive004/expected
529 test/interactive005/run
530 test/interactive005/input
531 test/interactive005/*.idr
532 test/interactive005/expected
533 test/interactive006/run
534 test/interactive006/input
535 test/interactive006/*.idr
536 test/interactive006/expected
537 test/interactive007/run
538 test/interactive007/input
539 test/interactive007/expected
540 test/interactive008/run
541 test/interactive008/input
542 test/interactive008/expected
544 test/io001/run
545 test/io001/*.idr
546 test/io001/expected
547 test/io002/run
548 test/io002/*.idr
549 test/io002/expected
550 test/io003/run
551 test/io003/*.idr
552 test/io003/expected
554 test/literate001/run
555 test/literate001/*.lidr
556 test/literate001/expected
558 test/meta001/run
559 test/meta001/*.idr
560 test/meta001/expected
561 test/meta002/run
562 test/meta002/*.idr
563 test/meta002/expected
565 test/primitives001/run
566 test/primitives001/*.idr
567 test/primitives001/expected
568 test/primitives002/run
569 test/primitives002/expected
570 test/primitives003/run
571 test/primitives003/*.idr
572 test/primitives003/expected
574 test/proof001/run
575 test/proof001/*.idr
576 test/proof001/expected
577 test/proof002/run
578 test/proof002/*.idr
579 test/proof002/expected
580 test/proof003/run
581 test/proof003/*.idr
582 test/proof003/expected
583 test/proof004/run
584 test/proof004/*.idr
585 test/proof004/expected
586 test/proof005/run
587 test/proof005/*.idr
588 test/proof005/expected
589 test/proof006/run
590 test/proof006/*.idr
591 test/proof006/expected
592 test/proof007/run
593 test/proof007/*.idr
594 test/proof007/expected
595 test/proof008/run
596 test/proof008/*.idr
597 test/proof008/expected
598 test/proof009/run
599 test/proof009/*.idr
600 test/proof009/expected
601 test/proof009/input
602 test/proof010/run
603 test/proof010/*.idr
604 test/proof010/expected
606 test/quasiquote001/run
607 test/quasiquote001/*.idr
608 test/quasiquote001/expected
609 test/quasiquote002/run
610 test/quasiquote002/*.idr
611 test/quasiquote002/expected
612 test/quasiquote003/run
613 test/quasiquote003/*.idr
614 test/quasiquote003/expected
615 test/quasiquote004/run
616 test/quasiquote004/*.idr
617 test/quasiquote004/expected
618 test/quasiquote005/run
619 test/quasiquote005/*.idr
620 test/quasiquote005/expected
621 test/quasiquote006/run
622 test/quasiquote006/*.idr
623 test/quasiquote006/expected
625 test/records001/run
626 test/records001/*.idr
627 test/records001/expected
628 test/records002/run
629 test/records002/*.idr
630 test/records002/expected
631 test/records003/run
632 test/records003/*.idr
633 test/records003/expected
635 test/sourceLocation001/run
636 test/sourceLocation001/*.idr
637 test/sourceLocation001/expected
639 test/sugar001/run
640 test/sugar001/*.idr
641 test/sugar001/expected
642 test/sugar002/run
643 test/sugar002/*.idr
644 test/sugar002/expected
645 test/sugar003/run
646 test/sugar003/*.idr
647 test/sugar003/expected
648 test/sugar004/run
649 test/sugar004/*.idr
650 test/sugar004/expected
651 test/sugar005/run
652 test/sugar005/*.idr
653 test/sugar005/expected
655 test/syntax001/run
656 test/syntax001/*.idr
657 test/syntax001/expected
659 test/tactics001/run
660 test/tactics001/*.idr
661 test/tactics001/expected
663 test/totality001/run
664 test/totality001/*.idr
665 test/totality001/expected
666 test/totality002/run
667 test/totality002/*.idr
668 test/totality002/expected
669 test/totality003/run
670 test/totality003/*.idr
671 test/totality003/expected
672 test/totality004/run
673 test/totality004/*.idr
674 test/totality004/expected
675 test/totality005/run
676 test/totality005/*.idr
677 test/totality005/expected
678 test/totality006/run
679 test/totality006/*.idr
680 test/totality006/expected
681 test/totality007/run
682 test/totality007/*.ipkg
683 test/totality007/src/*.idr
684 test/totality007/expected
685 test/totality008/run
686 test/totality008/*.idr
687 test/totality008/expected
688 test/totality009/run
689 test/totality009/*.idr
690 test/totality009/expected
692 test/tutorial001/run
693 test/tutorial001/*.idr
694 test/tutorial001/expected
695 test/tutorial002/run
696 test/tutorial002/*.idr
697 test/tutorial002/expected
698 test/tutorial003/run
699 test/tutorial003/*.idr
700 test/tutorial003/expected
701 test/tutorial004/run
702 test/tutorial004/*.idr
703 test/tutorial004/expected
704 test/tutorial005/run
705 test/tutorial005/*.idr
706 test/tutorial005/expected
707 test/tutorial006/run
708 test/tutorial006/*.idr
709 test/tutorial006/expected
711 test/unique001/run
712 test/unique001/*.idr
713 test/unique001/expected
714 test/unique002/run
715 test/unique002/*.idr
716 test/unique002/expected
717 test/unique003/run
718 test/unique003/*.idr
719 test/unique003/expected
721 test/docs001/run
722 test/docs001/input
723 test/docs001/*.idr
724 test/docs001/expected
725 test/docs002/run
726 test/docs002/input
727 test/docs002/*.idr
728 test/docs002/expected
729 test/docs003/run
730 test/docs003/input
731 test/docs003/*.idr
732 test/docs003/expected
735source-repository head
736 type: git
737 location: git://github.com/idris-lang/Idris-dev.git
739Flag FFI
740 Description: Build support for libffi
741 Default: False
742 manual: True
744Flag GMP
745 Description: Use GMP for Integers
746 Default: False
747 manual: True
749Flag curses
750 Description: Use Curses to get the screen width
751 Default: False
752 manual: True
754-- This flag determines whether to show Git hashes in version strings
755-- Defaults to True because Hackage is a source release
756Flag release
757 Description: This is an official release
758 Default: False
759 manual: True
761Flag freestanding
762 Description: Build an Idris that doesn't use cabal
763 Default: False
764 manual: True
766Flag CI
767 Description: Built everything using "-Werror", meant for CI-builds only
768 Default: False
769 manual: True
771Flag execonly
772 Description: Build executables only, skip the libraries and RTS
773 Default: False
774 manual: True
776Library
777 hs-source-dirs: src
778 Exposed-modules:
779 Idris.Core.Binary
780 , Idris.Core.CaseTree
781 , Idris.Core.Constraints
782 , Idris.Core.DeepSeq
783 , Idris.Core.Elaborate
784 , Idris.Core.Evaluate
785 , Idris.Core.Execute
786 , Idris.Core.ProofState
787 , Idris.Core.ProofTerm
788 , Idris.Core.TT
789 , Idris.Core.Typecheck
790 , Idris.Core.Unify
791 , Idris.Core.WHNF
793 , Idris.Elab.Utils
794 , Idris.Elab.Type
795 , Idris.Elab.AsPat
796 , Idris.Elab.Clause
797 , Idris.Elab.Data
798 , Idris.Elab.Record
799 , Idris.Elab.Class
800 , Idris.Elab.Instance
801 , Idris.Elab.Provider
802 , Idris.Elab.Transform
803 , Idris.Elab.Value
804 , Idris.Elab.Term
806 , Idris.REPL.Browse
808 , Idris.AbsSyntax
809 , Idris.AbsSyntaxTree
810 , Idris.Apropos
811 , Idris.ASTUtils
812 , Idris.CaseSplit
813 , Idris.Chaser
814 , Idris.Colours
815 , Idris.Completion
816 , Idris.Coverage
817 , Idris.DSL
818 , Idris.DataOpts
819 , Idris.DeepSeq
820 , Idris.Delaborate
821 , Idris.Directives
822 , Idris.Docs
823 , Idris.Docstrings
824 , Idris.ElabDecls
825 , Idris.ElabQuasiquote
826 , Idris.Erasure
827 , Idris.Error
828 , Idris.ErrReverse
829 , Idris.Help
830 , Idris.IBC
831 , Idris.IdeMode
832 , Idris.IdrisDoc
833 , Idris.Imports
834 , Idris.Inliner
835 , Idris.Interactive
836 , Idris.Output
837 , Idris.Parser
838 , Idris.ParseHelpers
839 , Idris.ParseOps
840 , Idris.ParseExpr
841 , Idris.ParseData
842 , Idris.PartialEval
843 , Idris.Primitives
844 , Idris.ProofSearch
845 , Idris.Prover
846 , Idris.Providers
847 , Idris.Reflection
848 , Idris.REPL
849 , Idris.REPLParser
850 , Idris.Transforms
851 , Idris.TypeSearch
852 , Idris.Unlit
853 , Idris.WhoCalls
854 , Idris.CmdOptions
856 , IRTS.BCImp
857 , IRTS.Bytecode
858 , IRTS.CodegenC
859 , IRTS.CodegenCommon
860 , IRTS.CodegenJavaScript
861 , IRTS.Exports
862 , IRTS.JavaScript.AST
863 , IRTS.Compiler
864 , IRTS.Defunctionalise
865 , IRTS.DumpBC
866 , IRTS.Inliner
867 , IRTS.Lang
868 , IRTS.LangOpts
869 , IRTS.Simplified
870 , IRTS.System
872 , Pkg.Package
873 , Util.DynamicLinker
874 , Util.ScreenSize
875 , Util.System
877 Other-modules:
878 Util.Pretty
879 , Util.Net
881 , Pkg.PParser
883 -- Auto Generated
884 , Paths_idris
885 , Version_idris
886 , Tools_idris
888 Build-depends: base >=4 && <5
889 , annotated-wl-pprint >= 0.5.3 && < 0.7
890 , ansi-terminal < 0.7
891 , ansi-wl-pprint < 0.7
892 , base64-bytestring < 1.1
893 , binary >= 0.7 && < 0.8
894 , blaze-html >= 0.6.1.3 && < 0.9
895 , blaze-markup >= 0.5.2.1 && < 0.8
896 , bytestring < 0.11
897 , cheapskate < 0.2
898 , containers >= 0.5 && < 0.6
899 , deepseq < 1.5
900 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
901 , filepath < 1.5
902 , fingertree >= 0.1 && < 0.2
903 , haskeline >= 0.7 && < 0.8
904 , lens >= 4.1.1 && < 4.12
905 , mtl >= 2.1 && < 2.3
906 , network < 2.7
907 , optparse-applicative >= 0.11 && < 0.12
908 , parsers >= 0.9 && < 0.13
909 , pretty < 1.2
910 , process < 1.3
911 , split < 0.3
912 , text >=1.2.1.0 && < 1.3
913 , time >= 1.4 && < 1.6
914 , transformers < 0.5
915 , transformers-compat >= 0.3
916 , trifecta >= 1.1 && < 1.6
917 , uniplate >=1.6 && < 1.7
918 , unordered-containers < 0.3
919 , utf8-string <= 1
920 , vector < 0.11
921 , vector-binary-instances < 0.3
922 , zip-archive > 0.2.3.5 && < 0.2.4
923 , zlib < 0.6
924 , safe
925 Extensions: MultiParamTypeClasses
926 , DeriveFoldable
927 , DeriveTraversable
928 , FunctionalDependencies
929 , FlexibleContexts
930 , FlexibleInstances
931 , TemplateHaskell
933 ghc-prof-options: -auto-all -caf-all
934 ghc-options: -threaded -rtsopts
936 if os(linux)
937 cpp-options: -DLINUX
938 build-depends: unix < 2.8
939 if os(freebsd)
940 cpp-options: -DFREEBSD
941 build-depends: unix < 2.8
942 if os(dragonfly)
943 cpp-options: -DDRAGONFLY
944 build-depends: unix < 2.8
945 if os(darwin)
946 cpp-options: -DMACOSX
947 build-depends: unix < 2.8
948 if os(windows)
949 cpp-options: -DWINDOWS
950 build-depends: Win32 < 2.4
951 if flag(FFI)
952 build-depends: libffi < 0.2
953 cpp-options: -DIDRIS_FFI
954 if flag(GMP)
955 build-depends: libffi < 0.2
956 cpp-options: -DIDRIS_GMP
957 if flag(curses)
958 build-depends: hscurses < 1.5
959 cpp-options: -DCURSES
960 if flag(freestanding)
961 other-modules: Target_idris
962 cpp-options: -DFREESTANDING
963 if flag(CI)
964 ghc-options: -Werror
966Executable idris
967 Main-is: Main.hs
968 hs-source-dirs: main
970 Build-depends: idris
971 , base
972 , filepath
973 , directory
974 , haskeline >= 0.7
975 , transformers
977 ghc-prof-options: -auto-all -caf-all
978 ghc-options: -threaded -rtsopts -funbox-strict-fields
980Executable idris-c
981 Main-is: Main.hs
982 hs-source-dirs: codegen/idris-c
984 Build-depends: idris
985 , base
986 , filepath
987 , haskeline >= 0.7
988 , transformers
990 ghc-prof-options: -auto-all -caf-all
991 ghc-options: -threaded -rtsopts -funbox-strict-fields
993Executable idris-javascript
994 Main-is: Main.hs
995 hs-source-dirs: codegen/idris-javascript
997 Build-depends: idris
998 , base
999 , filepath
1000 , haskeline >= 0.7
1001 , transformers
1003 ghc-prof-options: -auto-all -caf-all
1004 ghc-options: -threaded -rtsopts -funbox-strict-fields
1006Executable idris-node
1007 Main-is: Main.hs
1008 hs-source-dirs: codegen/idris-node
1010 Build-depends: idris
1011 , base
1012 , filepath
1013 , haskeline >= 0.7
1014 , transformers
1016 ghc-prof-options: -auto-all -caf-all
1017 ghc-options: -threaded -rtsopts -funbox-strict-fields