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.0.20221211
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
  flake.lock
  flake.nix
  Makefile

extra-tmp-files:

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

library
  hs-source-dirs:     src
  exposed-modules:
    Symantic
    Symantic.Semantics
    Symantic.Semantics.Data
    Symantic.Semantics.Forall
    Symantic.Semantics.Identity
    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

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

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

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