cabal-version: 2.4
name: symantic-parser
version: 0.1.0.20210201
synopsis: Parser combinators statically optimized and staged via typed meta-programming
description:
  This is a work-in-progress experimental library to generate parsers,
  leveraging Tagless-Final interpreters and Typed Template Haskell staging.
  .
  This is an alternative but less powerful/reviewed
  implementation of [ParsleyHaskell](https://github.com/J-mie6/ParsleyHaskell).
  See the paper by Jamie Willis, Nicolas Wu, and Matthew
  Pickering, admirably well presented at ICFP-2020: [Staged
  Selective Parser
  Combinators](https://icfp20.sigplan.org/details/icfp-2020-papers/20/Staged-Selective-Parser-Combinators).
license: AGPL-3.0-or-later
author:      Julien Moutinho <julm+symantic-parser@sourcephile.fr>
maintainer:  Julien Moutinho <julm+symantic-parser@sourcephile.fr>
bug-reports: Julien Moutinho <julm+symantic-parser@sourcephile.fr>
copyright:   Julien Moutinho <julm+symantic-parser@sourcephile.fr>
stability: experimental
category: Parsing
extra-doc-files:
  ChangeLog.md
  ReadMe.md
  ToDo.md
extra-source-files:
  .envrc
  Makefile
  cabal.project
  default.nix
  flake.lock
  flake.nix
  shell.nix
  test/Golden/**/*.txt
extra-tmp-files:
build-type: Simple
tested-with: GHC==9.0.1

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

flag dump-core
  description: Dump GHC's Core in HTML
  manual: True
  default: False

common boilerplate
  default-language: Haskell2010
  default-extensions:
    NoImplicitPrelude
  ghc-options:
    -Wall
    -Wincomplete-uni-patterns
    -Wincomplete-record-updates
    -Wpartial-fields
    -fhide-source-paths
    -freverse-errors

library
  import: boilerplate
  hs-source-dirs: src
  exposed-modules:
    Language.Haskell.TH.HideName
    Symantic.Parser
    Symantic.Parser.Grammar
    Symantic.Parser.Grammar.Combinators
    Symantic.Parser.Grammar.Fixity
    Symantic.Parser.Grammar.ObserveSharing
    Symantic.Parser.Grammar.Optimize
    Symantic.Parser.Grammar.View
    Symantic.Parser.Grammar.Write
    Symantic.Parser.Haskell
    Symantic.Parser.Haskell.Optimize
    Symantic.Parser.Haskell.Term
    Symantic.Parser.Haskell.View
    Symantic.Parser.Machine
    Symantic.Parser.Machine.Generate
    Symantic.Parser.Machine.Input
    Symantic.Parser.Machine.Instructions
    Symantic.Parser.Machine.Optimize
    Symantic.Parser.Machine.Program
    Symantic.Parser.Machine.View
    Symantic.Univariant.Letable
    Symantic.Univariant.Trans
  default-extensions:
    BangPatterns,
    DataKinds,
    FlexibleContexts,
    FlexibleInstances,
    GADTs,
    GeneralizedNewtypeDeriving,
    LambdaCase,
    MultiParamTypeClasses,
    NamedFieldPuns,
    RankNTypes,
    RecordWildCards,
    ScopedTypeVariables,
    TypeApplications,
    TypeFamilies,
    TypeOperators
  build-depends:
    base >=4.10 && <5,
    array,
    bytestring,
    containers,
    ghc-prim,
    hashable,
    template-haskell >= 2.16,
    text,
    transformers,
    unordered-containers

test-suite symantic-parser-test
  import: boilerplate
  type: exitcode-stdio-1.0
  hs-source-dirs: test
  main-is: Main.hs
  other-modules:
    Golden
    Golden.Grammar
    Golden.Machine
    Golden.Parser
    Golden.Splice
    Golden.Utils
    Grammar
    Grammar.Brainfuck
    Grammar.Nandlang
    Grammar.Playground
    -- HUnit
    -- QuickCheck
  ghc-options:
  ghc-prof-options:
    -fexternal-interpreter
  build-depends:
    symantic-parser,
    base >= 4.10 && < 5,
    bytestring >= 0.10,
    -- Needed for exported Data.Map.Internal
    containers >= 0.5.10.1,
    deepseq >= 1.4,
    directory >= 1.3,
    filepath >= 1.4,
    hashable >= 1.2.6,
    process >= 1.6,
    strict >= 0.4,
    tasty >= 0.11,
    tasty-golden >= 2.3,
    -- tasty-hunit,
    template-haskell >= 2.16,
    -- th-lift-instances >= 0.1.17,
    -- temporary >= 1.3,
    text >= 1.2,
    -- time >= 1.9,
    transformers >= 0.4,
    turtle >= 1.5,
    -- QuickCheck >= 2.0,
    -- tasty-quickcheck,
    unix >= 2.7,
    unordered-containers
  if flag(dump-core)
    build-depends: dump-core
    ghc-options: -fplugin=DumpCore