cabal-version:      3.0
name:               symantic-base
maintainer:         mailto:symantic-base@sourcephile.fr
bug-reports:        https://mails.sourcephile.fr/inbox/symantic-base
homepage:           https://git.sourcephile.fr/haskell/symantic-base
author:             Julien Moutinho <julm+symantic-base@sourcephile.fr>
copyright:          Julien Moutinho <julm+symantic-base@sourcephile.fr>
license:            AGPL-3.0-or-later
license-file:       LICENSES/AGPL-3.0-or-later.txt

-- PVP:             +-+------- breaking API changes
--                  | | +----- non-breaking API additions
--                  | | | +--- code changes with no API change
version:            0.5.1.20240520
stability:          experimental
category:           Data Structures
synopsis:
  Basic symantic combinators for Embedded Domain-Specific Languages (EDSL)

description:
  This is a work-in-progress collection of basic tagless-final combinators,
  along with some experimental utilities to exploit them.

build-type:         Simple
tested-with:        GHC ==8.10.4
extra-doc-files:    ChangeLog.md
extra-source-files:
  .envrc
  cabal.project

extra-tmp-files:

source-repository head
  type:     git
  location: git://git.sourcephile.fr/haskell/symantic-base

common boilerplate
  default-language:   Haskell2010
  default-extensions:
    DefaultSignatures
    FlexibleContexts
    FlexibleInstances
    GeneralizedNewtypeDeriving
    ImportQualifiedPost
    LambdaCase
    MultiParamTypeClasses
    NamedFieldPuns
    NoImplicitPrelude
    RecordWildCards
    ScopedTypeVariables
    TupleSections
    TypeApplications
    TypeFamilies
    TypeOperators

  ghc-options:
    -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
    -Wpartial-fields -fprint-potential-instances

common library-deps
  build-depends:
    , base                  >=4.10 && <5
    , containers
    , hashable
    , template-haskell
    , transformers
    , unordered-containers

library
  import:          boilerplate, library-deps
  hs-source-dirs:  src
  exposed-modules:
    Symantic
    Symantic.Semantics
    Symantic.Semantics.Data
    Symantic.Semantics.Forall
    Symantic.Semantics.Identity
    Symantic.Semantics.LetInserter
    Symantic.Semantics.Reader
    Symantic.Semantics.SharingObserver
    Symantic.Semantics.Viewer
    Symantic.Semantics.Viewer.Fixity
    Symantic.Syntaxes
    Symantic.Syntaxes.Classes
    Symantic.Syntaxes.CurryN
    Symantic.Syntaxes.Derive
    Symantic.Syntaxes.EithersOfTuples
    Symantic.Syntaxes.Reify
    Symantic.Syntaxes.TuplesOfFunctions

test-suite symantic-base-tests
  import:             boilerplate, library-deps
  type:               exitcode-stdio-1.0
  hs-source-dirs:     tests
  main-is:            Spec.hs
  build-tool-depends: sydtest-discover:sydtest-discover
  ghc-options:        -threaded -rtsopts -with-rtsopts=-N

  -- ghc-prof-options: -fexternal-interpreter
  -- ghc-options: -ddump-splices -ddump-to-file
  other-modules:
    Paths_symantic_base
    Symantic.Semantics.LetInserterSpec
    Symantic.Syntaxes.Extras

  autogen-modules:    Paths_symantic_base
  build-depends:
    , genvalidity
    , genvalidity-containers
    , genvalidity-sydtest
    , genvalidity-text
    , genvalidity-time
    , relude
    , sydtest
    , symantic-base
    , validity
    , validity-containers
    , validity-text