cabal-version:      3.0
name:               literate-web
maintainer:         mailto:literate-web@sourcephile.fr
bug-reports:        https://mails.sourcephile.fr/inbox/literate-web
homepage:           https://git.sourcephile.fr/literate-web.git
author:             Julien Moutinho <julm+literate-web@sourcephile.fr>
copyright:          Julien Moutinho <julm+literate-web@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.0.0.20221117
stability:          experimental
category:           Web
synopsis:           Haskell-website compiler
description:
  Exploring the design space of compile-time website generator
  by using a domain-specific language (DSL)
  embedded into the Haskell language.
  .
  Alternatives:
  .
  * <https://hackage.haskell.org/package/ema ema>

build-type:         Simple
tested-with:        GHC ==9.2.4
extra-doc-files:    ChangeLog.md
extra-source-files:
  .envrc
  cabal.project
  flake.lock
  flake.nix

extra-tmp-files:

source-repository head
  type:     git
  location: git://git.sourcephile.fr/haskell/literate-web.git

common boilerplate
  default-language:   Haskell2010
  default-extensions:
    BlockArguments
    DataKinds
    DefaultSignatures
    DeriveDataTypeable
    DeriveGeneric
    DerivingVia
    FlexibleContexts
    FlexibleInstances
    GADTs
    ImportQualifiedPost
    LambdaCase
    MultiParamTypeClasses
    NamedFieldPuns
    NoImplicitPrelude
    NumericUnderscores
    OverloadedStrings
    RecordWildCards
    ScopedTypeVariables
    TupleSections
    TypeApplications
    TypeFamilies
    TypeOperators

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

-- -dshow-passes
-- -ddump-to-file
-- -ddump-simpl
-- -dsuppress-coercions
-- -dsuppress-module-prefixes
-- -dsuppress-type-applications
-- -O0
-- -fmax-simplifier-iterations=0

common library-deps
  build-depends:
    , async                  >=2.2
    , base                   >=4.6  && <5
    , bytestring             >=0.10
    , containers             >=0.5
    , directory              >=1.3
    , filepath               >=1.4
    , filepattern            >=0.1
    , ghc-prim
    , hashable
    , http-client            >=0.6
    , http-media             >=0.7
    , monad-classes
    , mvc
    , mvc-updates
    , peano
    , reflection
    , symantic-base          >=0.5
    , template-haskell
    , text
    , transformers           >=0.5
    , unicode-transforms     >=0.2
    , unordered-containers
    , uri-encode             >=1.5
    , wai
    , wai-middleware-static
    , wai-websockets
    , warp
    , websockets             >=0.12

-- , pipes
-- , pipes-concurrency
-- , pipes-group
-- , pipes-parse
-- , pipes-safe
library
  import:          boilerplate, library-deps
  hs-source-dirs:  src
  exposed-modules:
    Literate.Web
    Literate.Web.Semantics.Addresser
    Literate.Web.Semantics.Compiler
    Literate.Web.Syntaxes
    Literate.Web.Types.MIME
    Literate.Web.Types.URL

--Literate.Web.Semantics.Server
--Literate.Web.Semantics.Client
--Literate.Web.Decoder
--Literate.Web.Encoder
--Literate.Web.Generator
--Literate.Web.MIME

library relactive
  import:          boilerplate, library-deps
  hs-source-dirs:  src
  build-depends:
    , async
    , contravariant  >=1.5
    , monad-classes
    , stm

  exposed-modules:
    Control.Reactive
    Control.Reactive.IORef
    Control.Reactive.MVar
    Control.Reactive.Relation
    Control.Reactive.STRef
    Control.Reactive.TVar
    Control.Reactive.Value

test-suite literate-web-tests
  -- library-deps is only to have ghcid reloaded on changes in src
  import:          boilerplate, library-deps
  type:            exitcode-stdio-1.0
  hs-source-dirs:  tests
  main-is:         Main.hs
  other-modules:
    Examples.Ex01
    Examples.Ex02
    Examples.Ex03
    Examples.Ex04
    Examples.Ex05
    Goldens
    Paths_literate_web
    Utils

  autogen-modules: Paths_literate_web
  build-depends:
    , base           >=4.6  && <5
    , containers     >=0.5
    , literate-web
    , monad-classes
    , relude
    , symantic-base  >=0.5
    , tasty          >=0.11
    , tasty-golden   >=2.3
    , tasty-hunit    >=0.9
    , text           >=1.2
    , transformers   >=0.5

-- , relude         >=1    && <2
benchmark time
  import:         boilerplate, library-deps
  type:           exitcode-stdio-1.0
  hs-source-dirs: benchmarks/time
  main-is:        Main.hs
  build-depends:
    , base         >=4.6 && <5
    , relactive
    , tasty
    , tasty-bench

  -- , relude >= 1
  -- Set a larger allocation area (nursery)
  -- to remove some noisiness of the garbage collection.
  ghc-options:    -with-rtsopts=-A32m

benchmark weigh
  import:         boilerplate, library-deps
  type:           exitcode-stdio-1.0
  hs-source-dirs: benchmarks/weigh src
  build-depends:
    , async
    , contravariant  >=1.5
    , stm

  main-is:        Main.hs
  build-depends:
    , base    >=4.6 && <5
    , relude  >=1
    , weigh

executable async
  import:         boilerplate, library-deps
  hs-source-dirs: executables/async
  main-is:        Main.hs
  build-depends:
    , async
    , base           >=4.6 && <5
    , relactive
    , relude
    , symantic-base
    , tasty
    , tasty-bench

-- , relude >= 1

executable fsnotify
  import:         boilerplate, library-deps
  hs-source-dirs: executables/fsnotify
  main-is:        Main.hs
  build-depends:
    , async
    , base           >=4.6 && <5
    , directory
    , filepath
    , fsnotify
    , relactive
    , relude         >=1
    , symantic-base
    , tasty
    , tasty-bench
    , time