ConwayHs/ConwayHs.cabal at master · ming-t18/ConwayHs · 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
cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.37.0.
--
-- see: https://github.com/sol/hpack

name:           ConwayHs
version:        0.1.0.0
description:    Please see the README on GitHub at <https://github.com/ming-t18/ConwayHs#readme>
homepage:       https://github.com/ming-t18/ConwayHs#readme
bug-reports:    https://github.com/ming-t18/ConwayHs/issues
author:         Ming
maintainer:     example@example.com
copyright:      2025 Author name here
license:        MIT
build-type:     Simple
extra-source-files:
    README.md
    CHANGELOG.md

source-repository head
  type: git
  location: https://github.com/ming-t18/ConwayHs

library
  exposed-modules:
      Data.Conway
      Data.Conway.Conway
      Data.Conway.Dyadic
      Data.Conway.Dyadic.Bisect
      Data.Conway.Dyadic.Ratio
      Data.Conway.FundamentalSeq
      Data.Conway.Helpers
      Data.Conway.MonoTerm
      Data.Conway.OrdinalArith
      Data.Conway.OrdLim
      Data.Conway.OrdLim.Impls
      Data.Conway.OrdLim.Types
      Data.Conway.QuasiEpsilon
      Data.Conway.RangeCompression
      Data.Conway.Seq
      Data.Conway.Seq.InfList
      Data.Conway.Seq.Types
      Data.Conway.SignExpansion
      Data.Conway.SignExpansion.CommonPrefix
      Data.Conway.SignExpansion.Conway
      Data.Conway.SignExpansion.Dyadic
      Data.Conway.SignExpansion.Parser
      Data.Conway.SignExpansion.Reduce
      Data.Conway.SignExpansion.Types
      Data.Conway.SignExpansion.Veb
      Data.Conway.Simplicity
      Data.Conway.Simplicity.Completion
      Data.Conway.Simplicity.Conway
      Data.Conway.Simplicity.Conway.Completion
      Data.Conway.Simplicity.ConwaySeq
      Data.Conway.Simplicity.Descent
      Data.Conway.Simplicity.HelperTypes
      Data.Conway.Simplicity.Instances
      Data.Conway.Simplicity.LeftRightRange
      Data.Conway.Simplicity.OrdinalSeq
      Data.Conway.Simplicity.Parent
      Data.Conway.Simplicity.Prefix
      Data.Conway.Simplicity.Range
      Data.Conway.Simplicity.Seq
      Data.Conway.Simplicity.SeqArith
      Data.Conway.Simplicity.SignExpansionSeq
      Data.Conway.Simplicity.Types
      Data.Conway.Typeclasses
      Data.Conway.Typeclasses.Algebra
      Data.Conway.Typeclasses.ConwayOps
  other-modules:
      Paths_ConwayHs
  hs-source-dirs:
      src
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints
  build-depends:
      base >=4.7 && <5
    , containers
    , mtl >=2.3.1 && <3
  default-language: Haskell2010

executable ConwayHs-exe
  main-is: Main.hs
  other-modules:
      Paths_ConwayHs
  hs-source-dirs:
      app
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      ConwayHs
    , base >=4.7 && <5
    , containers
    , mtl >=2.3.1 && <3
  default-language: Haskell2010

test-suite ConwayHs-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Gen
      Props
      Specs.OrdinalArith
      Specs.SignExpansion
      Specs.Simplicity
      Specs.Veb
      Paths_ConwayHs
  hs-source-dirs:
      test
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      ConwayHs
    , HUnit
    , QuickCheck ==2.15.*
    , base >=4.7 && <5
    , containers
    , hspec ==2.11.*
    , hspec-contrib
    , mtl >=2.3.1 && <3
  default-language: Haskell2010