logic-tasks/package.yaml at master · fmidue/logic-tasks · 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
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
---
name: logic-tasks
version: 0.1.0.0

dependencies:
  - autotool-capabilities
  - base >= 4.7 && < 5
  - extra
  - mtl
  - QuickCheck >= 2.14
  - random
  - containers
  - hspec
  - minisat-solver
  - wl-pprint-text
  - parsec
  - text
  - flex-tasks
  - output-blocks >= 0.5.0.1
  - pretty-simple
  - latex-svg-image >= 0.2
  - bytestring
  - utf8-string
  - SHA
  - math-functions
  - yesod
  - temporary

library:
  source-dirs: src
  exposed-modules:
    - LogicTasks.Forms
    - LogicTasks.Formula
    - LogicTasks.Keys
    - LogicTasks.Table
    - LogicTasks.Resolution
    - LogicTasks.Config
    - LogicTasks.Semantics.Fill
    - LogicTasks.Semantics.Pick
    - LogicTasks.Semantics.Decide
    - LogicTasks.Semantics.Max
    - LogicTasks.Semantics.Min
    - LogicTasks.Semantics.Step
    - LogicTasks.Semantics.Prolog
    - LogicTasks.Semantics.Resolve
    - LogicTasks.Printing
    - LogicTasks.Parsing
    - LogicTasks.Util
    - LogicTasks.Debug
    - LogicTasks.Syntax.IllegalCnfs
    - LogicTasks.Syntax.IllegalDnfs
    - LogicTasks.Syntax.IllegalFormulas
    - LogicTasks.Syntax.SimplestFormula
    - LogicTasks.Syntax.SubTreeSet
    - LogicTasks.Syntax.TreeToFormula
    - LogicTasks.Syntax.ComposeFormula
    - LogicTasks.Syntax.DecomposeFormula
    - Tasks.SynTree.Config
    - Tasks.SubTree.Config
    - Tasks.SubTree.Quiz
    - Tasks.LegalProposition.Config
    - Tasks.LegalProposition.PrintIllegal
    - Tasks.LegalProposition.PrintBracket
    - Tasks.LegalProposition.Quiz
    - Tasks.LegalProposition.Helpers
    - Tasks.SuperfluousBrackets.Config
    - Tasks.SuperfluousBrackets.PrintSuperfluousBrackets
    - Tasks.SuperfluousBrackets.Quiz
    - Tasks.TreeToFormula.Config
    - Tasks.TreeToFormula.Quiz
    - Tasks.LegalNormalForm.Config
    - Tasks.LegalNormalForm.Quiz
    - Tasks.LegalNormalForm.GenerateIllegal
    - Tasks.ComposeFormula.Config
    - Tasks.ComposeFormula.Quiz
    - Tasks.DecomposeFormula.Config
    - Tasks.DecomposeFormula.Quiz
    - Trees.Types
    - Trees.Parsing
    - Trees.Print
    - Trees.Helpers
    - Trees.Generate
    - Trees.Formula
    - Formula.Parsing
    - Formula.Parsing.Type
    - Formula.Parsing.Delayed
    - Formula.Helpers
    - Formula.Printing
    - ParsingHelpers
    - Config
    - Formula.Types
    - Formula.Resolution
    - Formula.Util
    - Util

  ghc-options:
    - -Wall
    - -Widentities
    - -fno-warn-unused-do-bind
    - -Werror
    - -Wwarn=incomplete-uni-patterns
    - -Wwarn=unrecognised-warning-flags # should be removed when on lts-22 or later
    - -fdefer-typed-holes

tests:
  src-test:
    main: Spec.hs
    source-dirs: test
    ghc-options:
      - -threaded
      - -rtsopts
      - -with-rtsopts=-N
      - -Wunused-imports
      - -Wmissing-signatures
      - -Wunused-matches
      - -Widentities
      - -Wunused-top-binds
      - -Werror
    dependencies:
      - autotool-capabilities-io-instances
      - logic-tasks