heltc.cabal

cabal-version:         2.4

name:                  heltc
version:               0.1.4.0

synopsis:              HelTC - Heavenly Esoteric Little True Calculator to Esoteric Languages
description:           Please see the README on GitHub at <https://github.com/helvm/heltc#readme>
homepage:              https://helvm.github.io/heltc/
bug-reports:           https://github.com/helvm/heltc/issues

license:               Apache-2.0
license-file:          docs/license/LICENSE-APACHE
author:                Kamil Adam
maintainer:            kamil.adam.zabinski@gmail.com
copyright:             2020-2023 WriteOnly Developers

category:              Language
build-type:            Simple
extra-source-files:
  docs/developers/CHANGELOG.md
  docs/README.md

tested-with:           GHC == 9.6.2

source-repository head
  type:                git
  location:            https://github.com/helvm/heltc

flag ghcoptions
  description:         compile with options
  manual:              True
  default:             False

common common-options
  build-depends:
      base                 <  4.19
    , relude               == 1.1.0.0
--FIXME Remove Unsafe
  mixins:
      base hiding (Prelude)
    , relude (Relude as Prelude, Relude.Extra, Data.Text, Relude.Unsafe)
  default-language:    Haskell2010
  default-extensions:
    EmptyDataDecls
    ExistentialQuantification
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    GADTs
    GeneralizedNewtypeDeriving
    InstanceSigs
    KindSignatures
    LambdaCase
    MultiParamTypeClasses
    MultiWayIf
    NamedFieldPuns
--    NoImplicitPrelude
    OverloadedStrings
    PartialTypeSignatures
    PatternGuards
    PolyKinds
    RankNTypes
    RecordWildCards
    ScopedTypeVariables
    StandaloneDeriving
    TupleSections
    TypeFamilies
    TypeSynonymInstances
    ViewPatterns
--    CPP
--    TemplateHaskell
--    ForeignFunctionInterface
--    MagicHash
--    UnliftedFFITypes
    TypeOperators
--    UnboxedTuples
--    PackageImports
--    QuasiQuotes
--    DeriveAnyClass
--    DeriveLift
--    StaticPointers
    DerivingStrategies
    ConstraintKinds
    StrictData
  if flag(ghcoptions)
    ghc-options:
      -Wall
      -Wcompat
      -Widentities
      -Wincomplete-uni-patterns
      -Wincomplete-record-updates
      -Wredundant-constraints
      -Wnoncanonical-monad-instances
      -fhide-source-paths
--      -Wmissing-export-lists FIXME
       -Wpartial-fields
      -Wmissing-deriving-strategies
      -fwrite-ide-info
      -hiedir=.hie
--      -Wunused-packages FIXME for attoparser
      -fprint-potential-instances
      -Werror

library
  import:              common-options
  hs-source-dirs:      hs/src
  exposed-modules:

    HelVM.HelTC.Calculator.ReadPExtra
    HelVM.HelTC.Calculator.Value

    HelVM.HelTC.Calculator.API.IOTypes
    HelVM.HelTC.Calculator.Types.FormatType

    HelVM.HelTC.Calculators.Evaluator

    HelVM.HelTC.Calculators.API.CalculatorParams
    HelVM.HelTC.Calculators.API.CalculatorType

    HelVM.HelTC.Calculators.Combinators.Evaluator

    HelVM.HelTC.Calculators.Combinators.API.CombinatorsType

    HelVM.HelTC.Calculators.Combinators.LazyK.Calculator
    HelVM.HelTC.Calculators.Combinators.LazyK.Combinator
    HelVM.HelTC.Calculators.Combinators.LazyK.Constants
    HelVM.HelTC.Calculators.Combinators.LazyK.Evaluator
    HelVM.HelTC.Calculators.Combinators.LazyK.InputEncoder
    HelVM.HelTC.Calculators.Combinators.LazyK.Lexer
    HelVM.HelTC.Calculators.Combinators.LazyK.Parser
    HelVM.HelTC.Calculators.Combinators.LazyK.Reducer

    HelVM.HelTC.Calculators.Combinators.Zot.Calculator
    HelVM.HelTC.Calculators.Combinators.Zot.Parser
    HelVM.HelTC.Calculators.Combinators.Zot.Evaluator
    HelVM.HelTC.Calculators.Combinators.Zot.Expression

    HelVM.HelTC.Calculators.Lambda.API.ILType
    HelVM.HelTC.Calculators.Lambda.API.LambdaType

    HelVM.HelTC.Calculators.Lambda.Generators.Generator
    HelVM.HelTC.Calculators.Lambda.Generators.GeneratorUtil

    HelVM.HelTC.Calculators.Lambda.Generators.Impl.HaskellGenerator
    HelVM.HelTC.Calculators.Lambda.Generators.Impl.MetaGenerator
    HelVM.HelTC.Calculators.Lambda.Generators.Impl.SymbolicGenerator
    HelVM.HelTC.Calculators.Lambda.Generators.Impl.UnLambdaGenerator
    HelVM.HelTC.Calculators.Lambda.Generators.Impl.ZotGenerator

    HelVM.HelTC.Calculators.Lambda.Parsers.HaskellParser
    HelVM.HelTC.Calculators.Lambda.Parsers.MetaParser
    HelVM.HelTC.Calculators.Lambda.Parsers.SymbolicParser
    HelVM.HelTC.Calculators.Lambda.Parsers.UnLambdaParser
    HelVM.HelTC.Calculators.Lambda.Parsers.ZotParser

    HelVM.HelTC.Calculators.Lambda.Reducers.AbstractionReducer
    HelVM.HelTC.Calculators.Lambda.Reducers.AbsReReducer
    HelVM.HelTC.Calculators.Lambda.Reducers.IntegerReducer
    HelVM.HelTC.Calculators.Lambda.Reducers.NaturalReducer
    HelVM.HelTC.Calculators.Lambda.Reducers.ListReducer
    HelVM.HelTC.Calculators.Lambda.Reducers.SkiReducer
    HelVM.HelTC.Calculators.Lambda.Reducers.StringReducer

    HelVM.HelTC.Calculators.Lambda.Calculator
    HelVM.HelTC.Calculators.Lambda.DefinitionExpander
    HelVM.HelTC.Calculators.Lambda.Lambda
    HelVM.HelTC.Calculators.Lambda.LambdaReducer
    HelVM.HelTC.Calculators.Lambda.Lexer
    HelVM.HelTC.Calculators.Lambda.Parser

    HelVM.HelTC.Calculators.Legacy.Calculator
    HelVM.HelTC.Calculators.Legacy.Parser

    HelVM.HelTC.Calculators.Legacy.CodeGenerator
    HelVM.HelTC.Calculators.Legacy.Parse
    HelVM.HelTC.Calculators.Legacy.Reducer

    HelVM.HelTC.Calculators.Legacy.API.CalculusType

    HelVM.HelTC.Calculators.Legacy.Reducers.FromSki
    HelVM.HelTC.Calculators.Legacy.Reducers.LambdaReducer

    HelVM.HelTC.Calculators.Legacy.Parsers.LambdaParser
    HelVM.HelTC.Calculators.Legacy.Parsers.ZotParser

  build-depends:
      helio
    , attoparsec           <  0.14.4
    , bytestring
    , containers           <  0.7
    , dlist
    , ListLike
    , mtl
    , parsers
    , text
    , trifecta
    , type-operators
    , yjtools
  ghc-options:

executable heltc
  import:              common-options
  hs-source-dirs:      hs/app
  main-is:             Main.hs
  other-modules:
    AppOptions
    BoolTypes
  build-depends:
      optparse-applicative >= 0.14.3.0

    , heltc
    , helio
  ghc-options:
    -threaded
    -rtsopts
    -with-rtsopts=-N

test-suite heltc-test
  import:              common-options
  type:                exitcode-stdio-1.0
  hs-source-dirs:      hs/test
  main-is:             Main.hs
  other-modules:
    Spec
    SpecHook

    HelVM.Expectations
    HelVM.GoldenExpectations

    HelVM.HelTC.Calculators.FileExtra

    HelVM.HelTC.Calculators.Lambda.CalculatorSpec
    HelVM.HelTC.Calculators.Lambda.FileUtil

    HelVM.HelTC.Calculators.Combinators.LazyK.EvaluatorSpec
    HelVM.HelTC.Calculators.Combinators.LazyK.FileExtra
    HelVM.HelTC.Calculators.Combinators.LazyK.NumberSpec
    HelVM.HelTC.Calculators.Combinators.LazyK.ParserSpec

    HelVM.HelTC.Calculators.Combinators.Zot.EvaluatorSpec
    HelVM.HelTC.Calculators.Combinators.Zot.FileExtra

    HelVM.HelTC.Calculators.Legacy.CalculatorSpec
    HelVM.HelTC.Calculators.Legacy.ParserSpec
    HelVM.HelTC.Calculators.Legacy.FileUtil

  build-depends:
      hspec
    , hspec-core
    , hspec-expectations-pretty-diff
    , hspec-golden > 0.1.0.0
    , hspec-slow

    , helio
    , heltc

    , filepath
    , type-operators

  build-tool-depends:  hspec-discover:hspec-discover == 2.*
  ghc-options:
    -threaded
    -rtsopts
    -with-rtsopts=-N

benchmark heltc-benchmark
  import:              common-options
  type:                exitcode-stdio-1.0
  hs-source-dirs:      hs/benchmark
  main-is:             Main.hs
  build-depends:
      gauge

--    , heltc

  ghc-options:
    -threaded
    -rtsopts
    -with-rtsopts=-N