behavior-complete-report.cabal

cabal-version: 3.0
name:          keiro-dsl-behavior-complete-report
version:       0.0.0.0
build-type:    Simple

executable keiro-dsl-behavior-complete-report
  main-is:            Main.hs
  other-modules:
    BehaviorComplete.Bindings
    BehaviorComplete.Domain
    BehaviorComplete.Journey.BehaviorHoles
    BehaviorComplete.Journey.Holes
    Generated.BehaviorComplete.BehaviorSourceMap
    Generated.BehaviorComplete.Nominals
    Generated.BehaviorComplete.Nominals.Internal
    Generated.BehaviorComplete.Journey.BehaviorContract
    Generated.BehaviorComplete.Journey.Codec
    Generated.BehaviorComplete.Journey.Domain
    Generated.BehaviorComplete.Journey.Transducer
    Generated.BehaviorComplete.Structural.Shape.StartPayload
    Generated.BehaviorComplete.StructuralProjections

  default-language:   GHC2024
  default-extensions:
    DuplicateRecordFields
    ImportQualifiedPost
    LambdaCase
    NoFieldSelectors
    OverloadedLabels
    OverloadedRecordDot
    OverloadedStrings

  ghc-options:        -Wall
  build-depends:
    , aeson       >=2.2  && <2.3
    , base        >=4.21 && <5
    , bytestring  >=0.12 && <0.13
    , containers  >=0.6  && <0.8
    , keiki       >=0.9  && <0.10
    , keiro
    , text        >=2.1  && <2.2
    , time        >=1.12 && <1.15