tvl-depot/users/Profpatsch/netencode/netencode.cabal

cabal-version:      2.4
name:               netencode
version:            0.1.0.0
author:             Profpatsch
maintainer:         mail@profpatsch.de

library
    exposed-modules:
        Netencode,
        Netencode.Parse

    build-depends:
        base >=4.15 && <5,
        hedgehog,
        nonempty-containers,
        deriving-compat,
        my-prelude,
        data-fix,
        bytestring,
        attoparsec,
        text,
        semigroupoids,
        selective

    default-language: Haskell2010
feat(users/Profpatsch): init netencode-hs Haskell implementation of the netncode parser & generators. Change-Id: I904df752e78641110af2857e71d8206bf432d427 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6114 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de> 2022-08-20 00:33:37 +02:00			`cabal-version: 2.4`
			`name: netencode`
			`version: 0.1.0.0`
			`author: Profpatsch`
			`maintainer: mail@profpatsch.de`

			`library`
feat(users/Profpatsch/netencode): Add initial Haskell parser A simple categorical parser that does not implement Monad, and does not contain an `m` and some rudementary error message handling. In the future I’d probably want to wrap everything in an additional `m`, so that subparsers can somehow use `Selective` to throw errors from within `m` that contain the parsing context if at all possible. Hard to do without Monad, I have to say. Not even stuff like `StateT` works without the inner `m` implementing `Monad`. Change-Id: I1366eda606ddfb019637b09c82d8b0e30bd4e318 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7797 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de> 2023-01-08 23:41:17 +01:00			`exposed-modules:`
			`Netencode,`
			`Netencode.Parse`
feat(users/Profpatsch): init netencode-hs Haskell implementation of the netncode parser & generators. Change-Id: I904df752e78641110af2857e71d8206bf432d427 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6114 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de> 2022-08-20 00:33:37 +02:00
			`build-depends:`
chore(3p/sources): Bump channels & overlays The main change is that nixpkgs updated to GHC 9.2 and Stackage LTS-20, so we suffer from a bit of churn. * //3p/overlays/haskell: - use updated dhall-nix patch for hnix 0.16 - use superrecord fork with fixes for GHC 9.2 - use graphmod-1.4.5.1 which has support for GHC 9.2 * //users/Profpatsch: relax constraints on base in Haskell pkgs * //users/Profpatsch/cas-serve: inherit superrecord from 3p * //users/grfn/xanthous: - //3p/overlays/haskell for 8.10.7: * Provide missing dependency of binary-orphans. Fix already commited upstream as e238c3fdaab710a2ce0135e5a77cd7e6bb023a22, can be dropped when channel advances. * Downgrade to brick 0.71.1, the latest version xanthous supports. - Adjust to generic-arbitrary >= 1.0, providing Arg constraints where necessary. - Increase constraint-solver-iterations to 6 (default 4), so Xanthous.Command and Xanthous.Data can be typechecked. - Drop NFData instances for Key and Modifier which have been added to vty upstream. Change-Id: I2170438c2ce8130b65f1a9fe07c4fecab5683d66 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7654 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI 2022-12-27 14:32:52 +01:00			`base >=4.15 && <5,`
feat(users/Profpatsch): init netencode-hs Haskell implementation of the netncode parser & generators. Change-Id: I904df752e78641110af2857e71d8206bf432d427 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6114 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de> 2022-08-20 00:33:37 +02:00			`hedgehog,`
			`nonempty-containers,`
			`deriving-compat,`
			`my-prelude,`
			`data-fix,`
			`bytestring,`
			`attoparsec,`
feat(users/Profpatsch/netencode): Add initial Haskell parser A simple categorical parser that does not implement Monad, and does not contain an `m` and some rudementary error message handling. In the future I’d probably want to wrap everything in an additional `m`, so that subparsers can somehow use `Selective` to throw errors from within `m` that contain the parsing context if at all possible. Hard to do without Monad, I have to say. Not even stuff like `StateT` works without the inner `m` implementing `Monad`. Change-Id: I1366eda606ddfb019637b09c82d8b0e30bd4e318 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7797 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de> 2023-01-08 23:41:17 +01:00			`text,`
			`semigroupoids,`
			`selective`
feat(users/Profpatsch): init netencode-hs Haskell implementation of the netncode parser & generators. Change-Id: I904df752e78641110af2857e71d8206bf432d427 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6114 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de> 2022-08-20 00:33:37 +02:00
			`default-language: Haskell2010`