a2ml-haskell/a2ml-haskell.cabal at main · hyperpolymath/a2ml-haskell · 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
-- SPDX-License-Identifier: MPL-2.0
-- (PMPL-1.0-or-later preferred; MPL-2.0 required for Hackage OSI-approved policy)
--
-- a2ml-haskell.cabal — Cabal package description for the a2ml library.

cabal-version:       2.4
name:                a2ml
version:             0.1.0.0
synopsis:            Parser and renderer for A2ML (Attested Markup Language)
description:
    A Haskell library for parsing and rendering A2ML (Attested Markup Language)
    documents. A2ML is an attestation-native markup format designed for documents
    that carry trust metadata, cryptographic attestations, and provenance
    information.
    .
    Features:
    .
    * Parse @.a2ml@ files into a typed Haskell AST
    * Render the AST back to A2ML surface syntax
    * Data types for manifests, attestations, trust levels, and directives
    * Round-trip fidelity: parse then render preserves document structure

license:             MPL-2.0
license-file:        LICENSE-MPL-2.0
author:              Jonathan D.A. Jewell
maintainer:          j.d.a.jewell@open.ac.uk
copyright:           Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
category:            Text, Data
build-type:          Simple
homepage:            https://github.com/hyperpolymath/a2ml-haskell
bug-reports:         https://github.com/hyperpolymath/a2ml-haskell/issues
extra-doc-files:     CHANGELOG.md
extra-source-files:  README.adoc

source-repository head
    type:     git
    location: https://github.com/hyperpolymath/a2ml-haskell.git

library
    exposed-modules:
        Data.A2ML
        Data.A2ML.Types
        Data.A2ML.Parser
        Data.A2ML.Renderer
    build-depends:
        base       >= 4.14 && < 5,
        text       >= 1.2  && < 2.2,
        containers >= 0.6  && < 0.8,
        bytestring >= 0.10 && < 0.13
    hs-source-dirs:   src
    default-language:  Haskell2010
    ghc-options:       -Wall -Wcompat -Widentities -Wincomplete-record-updates
                       -Wincomplete-uni-patterns -Wredundant-constraints

test-suite a2ml-tests
    type:             exitcode-stdio-1.0
    main-is:          Spec.hs
    other-modules:
        UnitSpec
        E2ESpec
        PropertySpec
    build-depends:
        base        >= 4.14 && < 5,
        a2ml,
        text        >= 1.2  && < 2.2,
        containers  >= 0.6  && < 0.8,
        hspec       >= 2.10 && < 2.12,
        QuickCheck  >= 2.14 && < 2.16,
        hspec-quickcheck >= 0.0.1
    hs-source-dirs:   tests
    default-language: Haskell2010
    ghc-options:      -Wall -threaded -rtsopts -with-rtsopts=-N

benchmark a2ml-bench
    type:             exitcode-stdio-1.0
    main-is:          Main.hs
    build-depends:
        base       >= 4.14 && < 5,
        a2ml,
        text       >= 1.2  && < 2.2,
        criterion  >= 1.5  && < 1.7
    hs-source-dirs:   bench
    default-language: Haskell2010
    ghc-options:      -Wall -O2