rainfall-model/rainfall.cabal at master · rainfall-lang/rainfall-model · 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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91

name:           rainfall
version:        1.0.0.1
license:        MIT
author:         Ben Lippmeier <benl@ouroborus.net>
maintainer:     Ben Lippmeier <benl@ouroborus.net>
cabal-version:  >= 1.6
synopsis:       Smart Contracts as Authorized Production Rules
build-type:     Simple

executable rainfall
 hs-source-dirs:
        src

 build-depends:
        base,
        containers,
        transformers,
        extra,
        inchworm,
        wl-pprint,
        parsec,
        pretty-show

 ghc-options:
        -Wall
        -Werror
        -Wno-missing-signatures
        -Wno-missing-pattern-synonym-signatures
        -Wno-name-shadowing
        -Wno-incomplete-uni-patterns

 extensions:
        LambdaCase
        PatternGuards
        PatternSynonyms
        ParallelListComp
        OverloadedStrings

 main-is:
        Main.hs

 other-modules:
        Rainfall.Core.Codec.Text.Pretty

        Rainfall.Core.Eval.Rule
        Rainfall.Core.Eval.Store
        Rainfall.Core.Eval.Term
        Rainfall.Core.Eval

        Rainfall.Core.Exp.Base
        Rainfall.Core.Exp.Compounds
        Rainfall.Core.Exp.Patterns
        Rainfall.Core.Exp.Predicates
        Rainfall.Core.Exp.Decl
        Rainfall.Core.Exp.Term
        Rainfall.Core.Transform.MapAnnot
        Rainfall.Core.Exp

        Rainfall.Source.Exp.Decl.Base
        Rainfall.Source.Exp.Decl
        Rainfall.Source.Exp.Term.Base
        Rainfall.Source.Exp.Term.Patterns
        Rainfall.Source.Exp.Term
        Rainfall.Source.Exp.Type.Base
        Rainfall.Source.Exp.Type
        Rainfall.Source.Exp.Type.Patterns
        Rainfall.Source.Exp.Name
        Rainfall.Source.Exp

        Rainfall.Source.Codec.Text.Token
        Rainfall.Source.Codec.Text.Lexer
        Rainfall.Source.Codec.Text.Pretty

        Rainfall.Source.Codec.Text.Parser.Decl
        Rainfall.Source.Codec.Text.Parser.Term
        Rainfall.Source.Codec.Text.Parser.Base
        Rainfall.Source.Codec.Text.Parser

        Rainfall.Source.Check.Base
        Rainfall.Source.Check.Term
        Rainfall.Source.Check.Decl
        Rainfall.Source.Check

        Rainfall.Source.Transform.Lower

        Rainfall.EDSL

        Rainfall.Main.Config
        Rainfall.Main.Args
        Rainfall.Main.Mode.Run