ImperativeHaskell/ImperativeHaskell.cabal at master · mmirman/ImperativeHaskell · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
Name:                ImperativeHaskell
Version:             2.0.0.0
Description:
  A monad that uses GADTs and continuations to replicate what it is like to program
  in an imperative language like C, Java or Go with "return", "for", "break", "continue",
  and mutable references.
  .
  In Version 2:
  .
  * Single return function: @return'@
  .
  * A Go language style @defer'@ primitive.
  .
  * Proper compiler errors when @break'@ and @continue'@ are used incorrectly
  .
  * /Note/: Version 2 has a very different internal structure from version 1,
    and thus there will likely be type signature conflicts.
  .
  For more information see:
  .
  * Examples on github <http://github.com/mmirman/ImperativeHaskell/blob/master/Main.hs>
  .
  * The relevant blog post <http://kormacode.blogspot.com/2011/11/c-style-haskell_10.html>


Synopsis:	     A library for writing Imperative style haskell.

Homepage:            https://github.com/mmirman/ImperativeHaskell

License:             GPL-3

License-file:        LICENSE

Author:              Matthew Mirman

Maintainer:          Matthew Mirman <mmirman@andrew.cmu.edu>

Category:            Control, Embedded, Development, Language

Build-type:          Simple

Cabal-version:       >=1.6

Source-repository head
  Type:     git
  Location: git://github.com/mmirman/ImperativeHaskell.git

Library

  Build-depends:       base >= 4.0 && < 5.0,
                       mtl >= 2.0 && < 3.0,
                       template-haskell >= 2.6 && < 3.0
  Exposed-modules:    Control.Monad.Imperative,
                      Control.Monad.Imperative.Internals,
                      Control.Monad.Imperative.Operators,
                      Control.Monad.Imperative.FunctionFactory

  Extensions: GADTs,
              EmptyDataDecls,
              GeneralizedNewtypeDeriving,
              MultiParamTypeClasses,
              FlexibleInstances,
              FlexibleContexts,
              TemplateHaskell,
              UndecidableInstances,
              TypeFamilies,
              FunctionalDependencies