moonlight-delta-0.1.0.0: moonlight-delta.cabal

cabal-version:       3.0
name:                moonlight-delta
version:             0.1.0.0
synopsis:            Boundary-aware delta calculus for Moonlight.
description:         Categorical and state-change delta vocabulary layered over moonlight-core.
license:             MIT
license-file:        LICENSE
author:              Blue Rose
maintainer:          rosaliafialkova@gmail.com
category:            Math
homepage:            https://github.com/PaleRoses/moonlight
bug-reports:         https://github.com/PaleRoses/moonlight/issues
build-type:          Simple
tested-with:         GHC == 9.14.1
extra-doc-files:
  README.md
  CHANGELOG.md

source-repository head
  type:     git
  location: https://github.com/PaleRoses/moonlight.git
  subdir:   moonlight-delta

common shared-properties
  default-language: GHC2024
  ghc-options:
    -Wall
    -Wcompat
    -Wincomplete-record-updates
    -Wincomplete-uni-patterns
    -Wredundant-constraints
    -Wpartial-fields
    -Wno-missing-import-lists
  default-extensions:
    StrictData
    NoImplicitPrelude
    TypeFamilies
    UndecidableInstances

library moonlight-delta-core
  import: shared-properties
  visibility: public
  hs-source-dirs: src-core
  exposed-modules:
    Moonlight.Delta.Frontier
    Moonlight.Delta.Monotone
    Moonlight.Delta.Normalize
    Moonlight.Delta.Operator
    Moonlight.Delta.Scope
    Moonlight.Delta.Signed
    Moonlight.Delta.Support
    Moonlight.Delta.Time
  build-depends:
    base >= 4.22 && < 5
    , containers >= 0.8 && < 0.9
    , moonlight-core >= 0.1 && < 0.2
    , vector >= 0.13 && < 0.14

library moonlight-delta-patch-internal
  import: shared-properties
  visibility: private
  hs-source-dirs: src-patch
  exposed-modules:
    Moonlight.Delta.Patch.Internal.Apply
    Moonlight.Delta.Patch.Internal.Builder
    Moonlight.Delta.Patch.Internal.Cell
    Moonlight.Delta.Patch.Internal.Compose.Core
    Moonlight.Delta.Patch.Internal.Compose.Record
    Moonlight.Delta.Patch.Internal.Construction
    Moonlight.Delta.Patch.Internal.IncrementalDigest
    Moonlight.Delta.Patch.Internal.MerkleDeltaHash
    Moonlight.Delta.Patch.Internal.MultisetDeltaHash
    Moonlight.Delta.Patch.Internal.NodeCommitment
    Moonlight.Delta.Patch.Internal.Replay
    Moonlight.Delta.Patch.Internal.Types
  other-modules:
    Moonlight.Delta.Patch.Internal.Compose.Aligned
    Moonlight.Delta.Patch.Internal.Compose.Range
    Moonlight.Delta.Patch.Internal.Compose.SameSupport
    Moonlight.Delta.Patch.Internal.Cursor
    Moonlight.Delta.Patch.Internal.Page
  build-depends:
    base >= 4.22 && < 5
    , containers >= 0.8 && < 0.9
    , moonlight-algebra:abstract >= 0.1 && < 0.2
    , moonlight-core >= 0.1 && < 0.2
    , moonlight-delta:moonlight-delta-core
    , primitive >= 0.9 && < 0.10
    , vector >= 0.13 && < 0.14

library moonlight-delta-patch
  import: shared-properties
  visibility: public
  hs-source-dirs: src-patch-public
  exposed-modules:
    Moonlight.Delta.Patch
  build-depends:
    base >= 4.22 && < 5
    , moonlight-delta:moonlight-delta-patch-internal

library moonlight-delta-epoch
  import: shared-properties
  visibility: public
  hs-source-dirs: src-epoch
  exposed-modules:
    Moonlight.Delta.Epoch
  other-modules:
    Moonlight.Delta.Epoch.Internal.Compose
    Moonlight.Delta.Epoch.Internal.Construction
    Moonlight.Delta.Epoch.Internal.Projection
    Moonlight.Delta.Epoch.Internal.Transport
    Moonlight.Delta.Epoch.Internal.Types
    Moonlight.Delta.Epoch.Internal.Version
    Moonlight.Delta.Epoch.Internal.View
  build-depends:
    base >= 4.22 && < 5
    , moonlight-core >= 0.1 && < 0.2
    , moonlight-delta:moonlight-delta-core

library moonlight-delta-repair
  import: shared-properties
  visibility: public
  hs-source-dirs: src-repair
  exposed-modules:
    Moonlight.Delta.Repair
  build-depends:
    base >= 4.22 && < 5

common moonlight-delta-test-properties
  default-language: GHC2024
  ghc-options: -Wall -Wcompat
  default-extensions:
    TypeFamilies
  build-depends:
    base >= 4.22 && < 5
    , tasty >= 1.4

test-suite moonlight-delta-core-test
  import: moonlight-delta-test-properties
  type: exitcode-stdio-1.0
  hs-source-dirs:
    test/core
    test-support
  main-is: Main.hs
  other-modules:
    CoreTests
    DeltaLaws
    LawManifest
  build-depends:
    containers >= 0.8 && < 0.9
    , moonlight-core >= 0.1 && < 0.2
    , moonlight-delta:moonlight-delta-core
    , tasty-hunit >= 0.10
    , tasty-quickcheck >= 0.10
    , QuickCheck >= 2.14

test-suite moonlight-delta-patch-test
  import: moonlight-delta-test-properties
  type: exitcode-stdio-1.0
  hs-source-dirs:
    test/patch
    test-support
  main-is: Main.hs
  other-modules:
    CodecSpec
    DeltaLaws
    LawManifest
    LawsSpec
    PatchReference
    PatchLaws
    PatchSupport
    PatchTests
    ReferenceSpec
    ReplaySpec
    SemanticsSpec
    DeltaHashSpec
  build-depends:
    containers >= 0.8 && < 0.9
    , moonlight-core >= 0.1 && < 0.2
    , moonlight-delta:moonlight-delta-core
    , moonlight-delta:moonlight-delta-patch-internal
    , moonlight-delta:moonlight-delta-patch
    , tasty-hunit >= 0.10
    , tasty-quickcheck >= 0.10
    , QuickCheck >= 2.14

test-suite moonlight-delta-epoch-test
  import: moonlight-delta-test-properties
  type: exitcode-stdio-1.0
  hs-source-dirs:
    test/epoch
    test-support
  main-is: Main.hs
  other-modules:
    ComposeSpec
    ConstructionSpec
    EpochSupport.Expected
    EpochSupport.Generators
    EpochSupport.Mapping
    EpochSupport.Reference
    EpochSupport.Types
    EpochTests
    FiniteSpec
    LawManifest
    ProjectionSpec
    TransportSpec
    VersionSpec
    ViewSpec
  build-depends:
    containers >= 0.8 && < 0.9
    , moonlight-core >= 0.1 && < 0.2
    , moonlight-delta:moonlight-delta-core
    , moonlight-delta:moonlight-delta-epoch
    , tasty-hunit >= 0.10
    , tasty-quickcheck >= 0.10
    , QuickCheck >= 2.14

test-suite moonlight-delta-repair-test
  import: moonlight-delta-test-properties
  type: exitcode-stdio-1.0
  hs-source-dirs: test/repair
  main-is: Main.hs
  other-modules:
    RepairTests
  build-depends:
    moonlight-delta:moonlight-delta-repair
    , tasty-hunit >= 0.10

test-suite moonlight-delta-laws-test
  import: moonlight-delta-test-properties
  type: exitcode-stdio-1.0
  hs-source-dirs:
    test/laws
    test/patch
    test/epoch
    test-support
  main-is: Main.hs
  other-modules:
    CrossCarrierLaws
    DeltaLaws
    EpochSupport.Generators
    EpochSupport.Types
    LawManifest
    PatchSupport
    PatchLaws
  build-depends:
    containers >= 0.8 && < 0.9
    , moonlight-core >= 0.1 && < 0.2
    , moonlight-delta:moonlight-delta-core
    , moonlight-delta:moonlight-delta-epoch
    , moonlight-delta:moonlight-delta-patch
    , tasty-hunit >= 0.10
    , tasty-quickcheck >= 0.10
    , QuickCheck >= 2.14

test-suite moonlight-delta-test
  import: moonlight-delta-test-properties
  type: exitcode-stdio-1.0
  hs-source-dirs:
    test/aggregate
    test/core
    test/patch
    test/epoch
    test/repair
    test/laws
    test-support
  main-is: Main.hs
  other-modules:
    CodecSpec
    ComposeSpec
    ConstructionSpec
    CoreTests
    CrossCarrierLaws
    DeltaLaws
    EpochSupport.Expected
    EpochSupport.Generators
    EpochSupport.Mapping
    EpochSupport.Reference
    EpochSupport.Types
    EpochTests
    FiniteSpec
    LawManifest
    LawsSpec
    PatchReference
    PatchLaws
    PatchSupport
    PatchTests
    ProjectionSpec
    ReferenceSpec
    RepairTests
    ReplaySpec
    SemanticsSpec
    DeltaHashSpec
    TransportSpec
    VersionSpec
    ViewSpec
  build-depends:
    containers >= 0.8 && < 0.9
    , moonlight-core >= 0.1 && < 0.2
    , moonlight-delta:moonlight-delta-core
    , moonlight-delta:moonlight-delta-epoch
    , moonlight-delta:moonlight-delta-patch-internal
    , moonlight-delta:moonlight-delta-patch
    , moonlight-delta:moonlight-delta-repair
    , tasty-hunit >= 0.10
    , tasty-quickcheck >= 0.10
    , QuickCheck >= 2.14

common moonlight-delta-benchmark-properties
  default-language: GHC2024
  ghc-options: -Wall -Wcompat -O2 -rtsopts
  default-extensions:
    TypeFamilies
  build-depends:
    base >= 4.22 && < 5
    , tasty-bench >= 0.3 && < 0.6

benchmark moonlight-delta-core-bench
  import: moonlight-delta-benchmark-properties
  type: exitcode-stdio-1.0
  hs-source-dirs:
    bench/core
    bench/support
  main-is: Main.hs
  other-modules:
    BenchSupport
    CoreBench
  build-depends:
    containers >= 0.8 && < 0.9
    , deepseq >= 1.4
    , moonlight-delta:moonlight-delta-core

benchmark moonlight-delta-patch-bench
  import: moonlight-delta-benchmark-properties
  type: exitcode-stdio-1.0
  hs-source-dirs:
    bench/patch
    bench/support
    test-support
  main-is: Main.hs
  other-modules:
    BenchSupport
    Patch.Allocation
    Patch.Fixtures
    Patch.Hackage
    Patch.Types
    PatchBench
    PatchReference
  build-depends:
    containers >= 0.8 && < 0.9
    , deepseq >= 1.4
    , moonlight-core >= 0.1 && < 0.2
    , moonlight-delta:moonlight-delta-core
    , moonlight-delta:moonlight-delta-patch

benchmark moonlight-delta-epoch-bench
  import: moonlight-delta-benchmark-properties
  type: exitcode-stdio-1.0
  hs-source-dirs:
    bench/epoch
    bench/support
  main-is: Main.hs
  other-modules:
    BenchSupport
    EpochBench
  build-depends:
    containers >= 0.8 && < 0.9
    , deepseq >= 1.4
    , moonlight-delta:moonlight-delta-epoch

benchmark moonlight-delta-repair-bench
  import: moonlight-delta-benchmark-properties
  type: exitcode-stdio-1.0
  hs-source-dirs:
    bench/repair
    bench/support
  main-is: Main.hs
  other-modules:
    BenchSupport
    RepairBench
  build-depends:
    containers >= 0.8 && < 0.9
    , deepseq >= 1.4
    , moonlight-delta:moonlight-delta-repair

benchmark moonlight-delta-bench
  import: moonlight-delta-benchmark-properties
  type: exitcode-stdio-1.0
  hs-source-dirs:
    bench/aggregate
    bench/core
    bench/patch
    bench/epoch
    bench/repair
    bench/support
    test-support
  main-is: Main.hs
  other-modules:
    BenchSupport
    CoreBench
    EpochBench
    Patch.Allocation
    Patch.Fixtures
    Patch.Hackage
    Patch.Types
    PatchBench
    PatchReference
    RepairBench
  build-depends:
    containers >= 0.8 && < 0.9
    , deepseq >= 1.4
    , moonlight-core >= 0.1 && < 0.2
    , moonlight-delta:moonlight-delta-core
    , moonlight-delta:moonlight-delta-epoch
    , moonlight-delta:moonlight-delta-patch
    , moonlight-delta:moonlight-delta-repair