name: symantic-base
-- PVP:  +-+------- breaking API changes
--       | | +----- non-breaking API additions
--       | | | +--- code changes with no API change
version: 0.1.0.20210703
category: Data Structures
synopsis: Basic symantics for writing Embedded Domain-Specific Languages (EDSL)
description: A collection of basic tagless-final combinators.
license: AGPL-3.0-or-later
stability: experimental
author: Julien Moutinho <julm+symantic-base@sourcephile.fr>
maintainer: Julien Moutinho <julm+symantic-base@sourcephile.fr>
bug-reports: https://mails.sourcephile.fr/inbox/symantic-base
copyright: Julien Moutinho <julm+symantic-base@sourcephile.fr>

build-type: Simple
cabal-version: 1.24
tested-with: GHC==8.10.4
extra-source-files:
  cabal.project
  default.nix
  .envrc
  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.Dityped
    Symantic.Dityped.Lang
    Symantic.Dityped.Derive
    Symantic.Typed
    Symantic.Typed.Data
    Symantic.Typed.Derive
    Symantic.Typed.Lang
    Symantic.Typed.ObserveSharing
    Symantic.Typed.Optimize
    Symantic.Typed.Reify
    Symantic.Typed.View
    Symantic.Utils.ADT
    Symantic.Utils.CurryN
    Symantic.Utils.Fixity
  default-language: Haskell2010
  default-extensions:
    DefaultSignatures
    FlexibleContexts
    FlexibleInstances
    GeneralizedNewtypeDeriving
    LambdaCase
    MultiParamTypeClasses
    NamedFieldPuns
    NoImplicitPrelude
    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