cabal-version: 2.2 -- This file has been generated from package.yaml by hpack version 0.38.1. -- -- see: https://github.com/sol/hpack name: varargs version: 0.1.0.1 synopsis: Utilities for working with variadic functions using type-level lists description: Utility library for working with variadic functions using type-level lists of argument types. This library provides utilities for sequencing monadic actions over variadic function arguments, mapping over results, and folding over arguments with constraints. The core idea is to represent variadic functions as type-level lists of argument types paired with a result type, enabling type-safe operations over functions with arbitrary numbers of arguments. Originally part of the temporal-sdk project at Mercury, but extracted as a standalone library for broader use. For more details, see https://www.iankduncan.com/articles/2023-08-30-functions-into-rpc-definitions category: Data homepage: https://github.com/iand675/varargs#readme bug-reports: https://github.com/iand675/varargs/issues author: Ian Duncan maintainer: ian@iankduncan.com copyright: 2025 Ian Duncan license: BSD-3-Clause license-file: LICENSE build-type: Simple extra-doc-files: README.md CHANGELOG.md source-repository head type: git location: https://github.com/iand675/varargs library exposed-modules: VarArgs other-modules: Paths_varargs autogen-modules: Paths_varargs hs-source-dirs: src default-extensions: AllowAmbiguousTypes BangPatterns DataKinds FlexibleContexts TypeFamilies InstanceSigs KindSignatures RankNTypes ScopedTypeVariables TypeApplications TypeOperators UndecidableInstances ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints build-depends: base >=4.7 && <5 default-language: Haskell2010 test-suite varargs-test type: exitcode-stdio-1.0 main-is: Spec.hs other-modules: Paths_varargs autogen-modules: Paths_varargs hs-source-dirs: test default-extensions: AllowAmbiguousTypes BangPatterns DataKinds FlexibleContexts TypeFamilies InstanceSigs KindSignatures RankNTypes ScopedTypeVariables TypeApplications TypeOperators UndecidableInstances ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N build-depends: base >=4.7 && <5 , varargs default-language: Haskell2010