git.iko.soy/Idris-dev
on 2ffd9e4 help sign in
Idris-dev/idris.cabal
692 lines 25 kB history raw
1Name: idris
2Version: 0.9.12
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/idris_gc.h
56 rts/idris_gmp.h
57 rts/idris_main.c
58 rts/idris_rts.h
59 rts/idris_net.h
60 rts/idris_stdfgn.h
61 rts/libtest.c
63Extra-source-files:
64 Makefile
65 config.mk
67 rts/*.c
68 rts/*.h
69 rts/windows/*.c
70 rts/Makefile
72 libs/Makefile
74 libs/prelude/prelude.ipkg
75 libs/prelude/Prelude/*.idr
76 libs/prelude/Decidable/*.idr
77 libs/prelude/Makefile
78 libs/prelude/*.idr
80 libs/base/base.ipkg
81 libs/base/*.idr
82 libs/base/Control/*.idr
83 libs/base/Control/Isomorphism/*.idr
84 libs/base/Control/Monad/*.idr
85 libs/base/Data/*.idr
86 libs/base/Data/Vect/*.idr
87 libs/base/Debug/*.idr
88 libs/base/Decidable/*.idr
89 libs/base/Language/*.idr
90 libs/base/Language/Reflection/*.idr
91 libs/base/Makefile
92 libs/base/Network/*.idr
93 libs/base/System/Concurrency/*.idr
94 libs/base/Syntax/*.idr
97 libs/effects/Makefile
98 libs/effects/effects.ipkg
99 libs/effects/Effect/*.idr
100 libs/effects/*.idr
102 libs/oldeffects/Makefile
103 libs/oldeffects/oldeffects.ipkg
104 libs/oldeffects/Effect/*.idr
105 libs/oldeffects/*.idr
107 llvm/*.c
108 llvm/Makefile
110 test/Makefile
111 test/runtest.pl
112 test/reg001/run
113 test/reg001/*.idr
114 test/reg001/expected
115 test/reg002/run
116 test/reg002/*.idr
117 test/reg002/expected
118 test/reg003/run
119 test/reg003/*.idr
120 test/reg003/expected
121 test/reg004/run
122 test/reg004/*.idr
123 test/reg004/expected
124 test/reg005/run
125 test/reg005/*.idr
126 test/reg005/expected
127 test/reg006/run
128 test/reg006/*.idr
129 test/reg006/expected
130 test/reg007/run
131 test/reg007/*.lidr
132 test/reg007/expected
133 test/reg008/run
134 test/reg008/*.idr
135 test/reg008/expected
136 test/reg009/run
137 test/reg009/*.lidr
138 test/reg009/expected
139 test/reg010/run
140 test/reg010/*.idr
141 test/reg010/expected
142 test/reg011/run
143 test/reg011/*.idr
144 test/reg011/expected
145 test/reg012/run
146 test/reg012/*.lidr
147 test/reg012/expected
148 test/reg013/run
149 test/reg013/*.idr
150 test/reg013/expected
151 test/reg014/run
152 test/reg014/*.idr
153 test/reg014/expected
154 test/reg015/run
155 test/reg015/*.idr
156 test/reg015/expected
157 test/reg016/run
158 test/reg016/*.idr
159 test/reg016/expected
160 test/reg017/run
161 test/reg017/*.idr
162 test/reg017/expected
163 test/reg018/run
164 test/reg018/*.idr
165 test/reg018/expected
166 test/reg019/run
167 test/reg019/*.idr
168 test/reg019/expected
169 test/reg020/run
170 test/reg020/*.idr
171 test/reg020/expected
172 test/reg021/run
173 test/reg021/*.idr
174 test/reg021/expected
175 test/reg022/run
176 test/reg022/*.idr
177 test/reg022/expected
178 test/reg023/run
179 test/reg023/*.idr
180 test/reg023/expected
181 test/reg024/run
182 test/reg024/*.idr
183 test/reg024/expected
184 test/reg025/run
185 test/reg025/*.idr
186 test/reg025/expected
187 test/reg026/run
188 test/reg026/*.idr
189 test/reg026/expected
190 test/reg027/run
191 test/reg027/*.idr
192 test/reg027/expected
193 test/reg028/run
194 test/reg028/*.idr
195 test/reg028/expected
196 test/reg029/run
197 test/reg029/*.idr
198 test/reg029/expected
199 test/reg030/run
200 test/reg030/*.idr
201 test/reg030/expected
202 test/reg031/run
203 test/reg031/*.idr
204 test/reg031/expected
205 test/reg032/run
206 test/reg032/*.idr
207 test/reg032/expected
208 test/reg033/run
209 test/reg033/*.idr
210 test/reg033/expected
211 test/reg034/run
212 test/reg034/*.idr
213 test/reg034/expected
214 test/reg035/run
215 test/reg035/*.idr
216 test/reg035/*.lidr
217 test/reg035/expected
218 test/reg036/run
219 test/reg036/*.idr
220 test/reg036/expected
221 test/reg037/run
222 test/reg037/*.idr
223 test/reg037/expected
224 test/reg038/run
225 test/reg038/*.idr
226 test/reg038/expected
227 test/reg039/run
228 test/reg039/*.idr
229 test/reg039/expected
230 test/reg040/run
231 test/reg040/*.idr
232 test/reg040/expected
233 test/reg041/run
234 test/reg041/*.idr
235 test/reg041/expected
236 test/reg042/run
237 test/reg042/*.idr
238 test/reg042/expected
239 test/reg043/run
240 test/reg043/expected
241 test/reg044/run
242 test/reg044/*.idr
243 test/reg044/expected
245 test/basic001/run
246 test/basic001/*.idr
247 test/basic001/expected
248 test/basic002/run
249 test/basic002/*.idr
250 test/basic002/expected
251 test/basic003/run
252 test/basic003/*.idr
253 test/basic003/expected
254 test/basic004/run
255 test/basic004/*.idr
256 test/basic004/expected
257 test/basic005/run
258 test/basic005/*.lidr
259 test/basic005/expected
260 test/basic006/run
261 test/basic006/*.idr
262 test/basic006/expected
263 test/basic007/run
264 test/basic007/*.idr
265 test/basic007/expected
266 test/basic008/run
267 test/basic008/*.idr
268 test/basic008/expected
269 test/basic009/run
270 test/basic009/*.idr
271 test/basic009/expected
272 test/basic009/B/*.idr
273 test/basic010/run
274 test/basic010/*.idr
275 test/basic010/expected
277 test/buffer001-disabled/*.idr
278 test/buffer001-disabled/run
279 test/buffer001-disabled/expected
281 test/dsl001/run
282 test/dsl001/*.idr
283 test/dsl001/expected
284 test/dsl002/run
285 test/dsl002/test
286 test/dsl002/*.idr
287 test/dsl002/expected
289 test/effects001/run
290 test/effects001/*.idr
291 test/effects001/expected
292 test/effects001/testFile
293 test/effects002/run
294 test/effects002/*.idr
295 test/effects002/expected
297 test/error001/run
298 test/error001/*.idr
299 test/error001/expected
300 test/error002/run
301 test/error002/*.idr
302 test/error002/expected
303 test/error003/run
304 test/error003/*.idr
305 test/error003/expected
306 test/error004/run
307 test/error004/*.idr
308 test/error004/expected
310 test/ffi001/run
311 test/ffi001/*.idr
312 test/ffi001/expected
313 test/ffi002/run
314 test/ffi002/*.idr
315 test/ffi002/expected
316 test/ffi003/run
317 test/ffi003/*.idr
318 test/ffi003/expected
319 test/ffi003/input
320 test/ffi004/run
321 test/ffi004/*.idr
322 test/ffi004/theType
323 test/ffi004/theOtherType
324 test/ffi004/expected
325 test/ffi005/*.idr
326 test/ffi005/run
327 test/ffi005/expected
329 test/idrisdoc001/run
330 test/idrisdoc001/expected
331 test/idrisdoc001/*.idr
332 test/idrisdoc001/*.ipkg
333 test/idrisdoc002/run
334 test/idrisdoc002/expected
335 test/idrisdoc002/*.idr
336 test/idrisdoc002/*.ipkg
337 test/idrisdoc003/run
338 test/idrisdoc003/expected
339 test/idrisdoc003/*.idr
340 test/idrisdoc003/*.ipkg
341 test/idrisdoc004/run
342 test/idrisdoc004/expected
343 test/idrisdoc004/*.idr
344 test/idrisdoc004/*.ipkg
345 test/idrisdoc005/run
346 test/idrisdoc005/expected
347 test/idrisdoc005/*.idr
348 test/idrisdoc005/*.ipkg
349 test/idrisdoc006/run
350 test/idrisdoc006/expected
351 test/idrisdoc006/A/fully/Qualified/NAME.idr
352 test/idrisdoc006/*.idr
353 test/idrisdoc006/*.ipkg
354 test/idrisdoc007/run
355 test/idrisdoc007/expected
356 test/idrisdoc007/*.idr
357 test/idrisdoc007/*.ipkg
358 test/idrisdoc008/run
359 test/idrisdoc008/expected
360 test/idrisdoc008/*.idr
361 test/idrisdoc008/*.ipkg
363 test/interactive001/run
364 test/interactive001/input
365 test/interactive001/*.idr
366 test/interactive001/expected
367 test/interactive002/run
368 test/interactive002/input
369 test/interactive002/*.idr
370 test/interactive002/expected
371 test/interactive003/run
372 test/interactive003/input
373 test/interactive003/*.idr
374 test/interactive003/expected
375 test/interactive004/run
376 test/interactive004/input
377 test/interactive004/*.idr
378 test/interactive004/expected
380 test/io001/run
381 test/io001/*.idr
382 test/io001/expected
383 test/io002/run
384 test/io002/*.idr
385 test/io002/expected
386 test/io003/run
387 test/io003/*.idr
388 test/io003/expected
390 test/literate001/run
391 test/literate001/*.lidr
392 test/literate001/expected
394 test/primitives001/run
395 test/primitives001/*.idr
396 test/primitives001/expected
397 test/primitives002/run
398 test/primitives002/expected
399 test/primitives003/run
400 test/primitives003/*.idr
401 test/primitives003/expected
403 test/proof001/run
404 test/proof001/*.idr
405 test/proof001/expected
406 test/proof002/run
407 test/proof002/*.idr
408 test/proof002/expected
409 test/proof003/run
410 test/proof003/*.idr
411 test/proof003/expected
412 test/proof004/run
413 test/proof004/*.idr
414 test/proof004/expected
416 test/records001/run
417 test/records001/*.idr
418 test/records001/expected
419 test/records002/run
420 test/records002/*.idr
421 test/records002/expected
422 test/records003/run
423 test/records003/*.idr
424 test/records003/expected
426 test/sugar001/run
427 test/sugar001/*.idr
428 test/sugar001/expected
429 test/sugar002/run
430 test/sugar002/*.idr
431 test/sugar002/expected
432 test/sugar003/run
433 test/sugar003/*.idr
434 test/sugar003/expected
436 test/totality001/run
437 test/totality001/*.idr
438 test/totality001/expected
439 test/totality002/run
440 test/totality002/*.idr
441 test/totality002/expected
442 test/totality003/run
443 test/totality003/*.idr
444 test/totality003/expected
445 test/totality004/run
446 test/totality004/*.idr
447 test/totality004/expected
448 test/totality005/run
449 test/totality005/*.idr
450 test/totality005/expected
451 test/totality006/run
452 test/totality006/*.idr
453 test/totality006/expected
454 test/totality007/run
455 test/totality007/*.ipkg
456 test/totality007/src/*.idr
457 test/totality007/expected
459 test/tutorial001/run
460 test/tutorial001/*.idr
461 test/tutorial001/expected
462 test/tutorial002/run
463 test/tutorial002/*.idr
464 test/tutorial002/expected
465 test/tutorial003/run
466 test/tutorial003/*.idr
467 test/tutorial003/expected
468 test/tutorial004/run
469 test/tutorial004/*.idr
470 test/tutorial004/expected
471 test/tutorial005/run
472 test/tutorial005/*.idr
473 test/tutorial005/expected
474 test/tutorial006/run
475 test/tutorial006/*.idr
476 test/tutorial006/expected
478source-repository head
479 type: git
480 location: git://github.com/idris-lang/Idris-dev.git
482Flag LLVM
483 Description: Build the LLVM backend
484 Default: False
485 manual: True
487Flag FFI
488 Description: Build support for libffi
489 Default: False
490 manual: True
492Flag GMP
493 Description: Use GMP for Integers
494 Default: False
495 manual: True
497Flag curses
498 Description: Use Curses to get the screen width
499 Default: False
500 manual: True
502-- This flag determines whether to show Git hashes in version strings
503-- Defaults to True because Hackage is a source release
504Flag release
505 Description: This is an official release
506 Default: False
507 manual: True
509Library
510 hs-source-dirs: src
511 Exposed-modules:
512 Idris.Core.CaseTree
513 , Idris.Core.Constraints
514 , Idris.Core.DeepSeq
515 , Idris.Core.Elaborate
516 , Idris.Core.Evaluate
517 , Idris.Core.Execute
518 , Idris.Core.ProofState
519 , Idris.Core.TC
520 , Idris.Core.TT
521 , Idris.Core.Typecheck
522 , Idris.Core.Unify
524 , Idris.AbsSyntax
525 , Idris.AbsSyntaxTree
526 , Idris.Apropos
527 , Idris.ASTUtils
528 , Idris.CaseSplit
529 , Idris.Chaser
530 , Idris.Colours
531 , Idris.Completion
532 , Idris.Coverage
533 , Idris.DSL
534 , Idris.DataOpts
535 , Idris.DeepSeq
536 , Idris.Delaborate
537 , Idris.Docs
538 , Idris.Docstrings
539 , Idris.ElabDecls
540 , Idris.ElabTerm
541 , Idris.Erasure
542 , Idris.Error
543 , Idris.ErrReverse
544 , Idris.Help
545 , Idris.IBC
546 , Idris.IdeSlave
547 , Idris.IdrisDoc
548 , Idris.Imports
549 , Idris.Inliner
550 , Idris.Interactive
551 , Idris.Output
552 , Idris.Parser
553 , Idris.ParseHelpers
554 , Idris.ParseOps
555 , Idris.ParseExpr
556 , Idris.ParseData
557 , Idris.PartialEval
558 , Idris.Primitives
559 , Idris.ProofSearch
560 , Idris.Prover
561 , Idris.Providers
562 , Idris.REPL
563 , Idris.REPLParser
564 , Idris.Transforms
565 , Idris.Unlit
566 , Idris.WhoCalls
567 , Idris.CmdOptions
569 , IRTS.BCImp
570 , IRTS.Bytecode
571 , IRTS.CodegenC
572 , IRTS.CodegenCommon
573 , IRTS.CodegenJava
574 , IRTS.CodegenJavaScript
575 , IRTS.Compiler
576 , IRTS.Defunctionalise
577 , IRTS.DumpBC
578 , IRTS.Inliner
579 , IRTS.Java.ASTBuilding
580 , IRTS.Java.JTypes
581 , IRTS.Java.Mangling
582 , IRTS.Java.Pom
583 , IRTS.Lang
584 , IRTS.Simplified
585 , IRTS.System
587 , Pkg.Package
588 , Util.DynamicLinker
589 , Util.ScreenSize
591 Other-modules:
592 Util.Pretty
593 , Util.System
594 , Util.Net
595 , Util.Zlib
597 , Pkg.PParser
599 -- Auto Generated
600 , Paths_idris
601 , Version_idris
603 Build-depends: base >=4 && <5
604 , Cabal
605 , annotated-wl-pprint >= 0.5.3
606 , ansi-terminal
607 , ansi-wl-pprint
608 , binary
609 , blaze-html >= 0.6.1.3
610 , blaze-markup >= 0.5.2.1 && < 0.7.0.0
611 , bytestring
612 , cheapskate
613 , containers >= 0.5
614 , directory
615 , directory >= 1.2
616 , filepath
617 , haskeline >= 0.7
618 , language-java >= 0.2.6
619 , lens >= 4.1.1
620 , mtl
621 , parsers >= 0.9
622 , pretty
623 , process
624 , split
625 , text
626 , time >= 1.4
627 , transformers
628 , trifecta >= 1.1
629 , unordered-containers
630 , utf8-string
631 , vector
632 , vector-binary-instances
633 , network
634 , xml
635 , deepseq
636 , zlib
637 , optparse-applicative
638 Extensions: MultiParamTypeClasses
639 , FunctionalDependencies
640 , FlexibleContexts
641 , FlexibleInstances
642 , TemplateHaskell
644 ghc-prof-options: -auto-all -caf-all
645 ghc-options: -threaded -rtsopts
647 if os(linux)
648 cpp-options: -DLINUX
649 build-depends: unix
650 if os(freebsd)
651 cpp-options: -DFREEBSD
652 build-depends: unix
653 if os(dragonfly)
654 cpp-options: -DDRAGONFLY
655 build-depends: unix
656 if os(darwin)
657 cpp-options: -DMACOSX
658 build-depends: unix
659 if os(windows)
660 cpp-options: -DWINDOWS
661 build-depends: Win32
662 if flag(LLVM)
663 other-modules: IRTS.CodegenLLVM
664 cpp-options: -DIDRIS_LLVM
665 build-depends: llvm-general == 3.3.8.*
666 , llvm-general-pure == 3.3.8.*
667 else
668 other-modules: Util.LLVMStubs
669 if flag(FFI)
670 build-depends: libffi
671 cpp-options: -DIDRIS_FFI
672 if flag(GMP)
673 build-depends: libffi
674 cpp-options: -DIDRIS_GMP
675 if flag(curses)
676 build-depends: hscurses
677 cpp-options: -DCURSES
679Executable idris
680 Main-is: Main.hs
681 hs-source-dirs: main
683 Build-depends: idris
684 , base
685 , filepath
686 , haskeline >= 0.7
687 , transformers
689 ghc-prof-options: -auto-all -caf-all
690 ghc-options: -threaded -rtsopts -funbox-strict-fields