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 copyright: Julien Moutinho 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.Data 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