cuddle/cuddle.cabal at master · input-output-hk/cuddle · 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
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
cabal-version: 3.4
name: cuddle
version: 1.2.0.1
synopsis: CDDL Generator and test utilities
description:
  Cuddle is a library for generating and manipulating [CDDL](https://datatracker.ietf.org/doc/html/rfc8610).

  Included in this package is a command line tool for working with CDDL files. It
  currently supports four functions:

  - Formatting of CDDL files
  - Validating that a CDDL file is legal
  - Generating random CBOR terms matching CDDL productions
  - Testing compliance of a CBOR file against a CDDL spec.

license: Apache-2.0
license-file: LICENSE
author: IOG Ledger Team
maintainer: hackage@iohk.io
copyright: 2025 Input Output Global Inc (IOG)
category: Codec
build-type: Simple
extra-doc-files: CHANGELOG.md
tested-with: ghc ==9.6 || ==9.8 || ==9.10 || ==9.12
data-files:
  example/cddl-files/*.cddl
  example/cddl-files/validator/negative/*.cddl
  golden/*.txt

source-repository head
  type: git
  location: https://github.com/input-output-hk/cuddle

flag example
  description: Enable the example executable
  manual: True
  default: False

common warnings
  ghc-options: -Wall

library
  import: warnings
  exposed-modules:
    Codec.CBOR.Cuddle.CBOR.Gen
    Codec.CBOR.Cuddle.CBOR.Validator
    Codec.CBOR.Cuddle.CBOR.Validator.Trace
    Codec.CBOR.Cuddle.CDDL
    Codec.CBOR.Cuddle.CDDL.CBORGenerator
    Codec.CBOR.Cuddle.CDDL.CTree
    Codec.CBOR.Cuddle.CDDL.CTreePhase
    Codec.CBOR.Cuddle.CDDL.CtlOp
    Codec.CBOR.Cuddle.CDDL.Postlude
    Codec.CBOR.Cuddle.CDDL.Resolve
    Codec.CBOR.Cuddle.Comments
    Codec.CBOR.Cuddle.Huddle
    Codec.CBOR.Cuddle.IndexMappable
    Codec.CBOR.Cuddle.Parser
    Codec.CBOR.Cuddle.Parser.Lexer
    Codec.CBOR.Cuddle.Pretty
    Codec.CBOR.Cuddle.Pretty.Columnar
    Codec.CBOR.Cuddle.Pretty.Utils

  build-depends:
    QuickCheck >=2.14.3 && <2.18,
    antigen >=0.3.1 && <0.4,
    base >=4.18 && <5,
    base16-bytestring >=1.0.2,
    boxes >=0.1.5,
    bytestring >=0.11.4,
    capability >=0.5,
    cborg >=0.2.10,
    containers >=0.6.7,
    data-default-class >=0.2,
    foldable1-classes-compat >=0.1.1,
    generic-optics >=2.2.1,
    half,
    hashable >=1.4,
    megaparsec >=9.5,
    mtl >=2.3.1,
    mutable-containers >=0.3.4,
    optics-core >=0.4.1,
    ordered-containers >=0.2.4,
    parser-combinators >=1.3,
    prettyprinter >=1.7.1,
    prettyprinter-ansi-terminal,
    quickcheck-transformer,
    random >=1.2,
    regex-tdfa >=1.3.2,
    scientific >=0.3.7,
    text >=2.0.2,
    tree-diff >=0.3,

  hs-source-dirs: src
  default-language: GHC2021

executable example
  import: warnings

  if flag(example)
    buildable: True
  else
    buildable: False

  default-language: GHC2021
  other-modules:
    Conway
    Monad

  hs-source-dirs: example
  main-is: Main.hs
  build-depends:
    base,
    bytestring,
    cuddle,
    megaparsec,
    prettyprinter,
    random,
    text,

executable cuddle
  import: warnings
  default-language: GHC2021
  hs-source-dirs: ./bin/
  main-is: Main.hs
  build-depends:
    QuickCheck,
    antigen,
    base,
    base16-bytestring,
    bytestring,
    cborg,
    containers,
    cuddle,
    megaparsec,
    mtl,
    optparse-applicative >=0.18,
    prettyprinter,
    prettyprinter-ansi-terminal,
    random,
    text,

test-suite cuddle-test
  import: warnings
  default-language: GHC2021
  autogen-modules:
    Paths_cuddle

  other-modules:
    Paths_cuddle
    Test.Codec.CBOR.Cuddle.CDDL.Examples
    Test.Codec.CBOR.Cuddle.CDDL.Examples.Huddle
    Test.Codec.CBOR.Cuddle.CDDL.Gen
    Test.Codec.CBOR.Cuddle.CDDL.GeneratorSpec
    Test.Codec.CBOR.Cuddle.CDDL.Parser
    Test.Codec.CBOR.Cuddle.CDDL.Pretty
    Test.Codec.CBOR.Cuddle.CDDL.Validator
    Test.Codec.CBOR.Cuddle.CDDL.Validator.Golden
    Test.Codec.CBOR.Cuddle.Huddle

  type: exitcode-stdio-1.0
  hs-source-dirs: test
  main-is: Main.hs
  build-depends:
    HUnit >=1.6.2,
    QuickCheck,
    antigen,
    base,
    bytestring,
    cborg,
    containers,
    cuddle,
    data-default-class,
    filepath,
    generic-random,
    hspec >=2.11,
    hspec-core,
    hspec-golden,
    hspec-megaparsec >=2.2,
    megaparsec,
    pretty-simple,
    prettyprinter,
    prettyprinter-ansi-terminal,
    random,
    string-qq >=0.0.6,
    text,
    tree-diff,