From 14a4f246b61e763cea32281e3a5f73bde38fe5d4 Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Fri, 16 Feb 2024 20:29:43 -0600 Subject: Add helper function for merging finite sets --- tiny/package.yaml | 69 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 69 insertions(+) create mode 100644 tiny/package.yaml (limited to 'tiny/package.yaml') diff --git a/tiny/package.yaml b/tiny/package.yaml new file mode 100644 index 0000000..5793777 --- /dev/null +++ b/tiny/package.yaml @@ -0,0 +1,69 @@ +name: circuits +version: 0.1.0.0 +github: "githubuser/circuits" +license: BSD3 +author: "Author name here" +maintainer: "example@example.com" +copyright: "2022 Author name here" + +extra-source-files: +- README.md + +# Metadata used when publishing your package +# synopsis: Short description of your package +# category: Web + +# To avoid duplicated efforts in documentation and dealing with the +# complications of embedding Haddock markup inside cabal files, it is +# common to point users to the README.md file. +description: Please see the README on GitHub at + +dependencies: +- base >= 4.7 && < 5 +- rio + +library: + source-dirs: src + +ghc-options: +- -Wall +- -Wcompat +- -Wincomplete-record-updates +- -Wredundant-constraints +- -Wmissing-local-signatures +- -Wmissing-export-lists +- -Wpartial-fields +- -Wmonomorphism-restriction +- -Widentities +- -Wno-unticked-promoted-constructors +- -fprint-expanded-synonyms + +default-extensions: +- ApplicativeDo +- BangPatterns +- ConstraintKinds +- DataKinds +- EmptyCase +- ExistentialQuantification +- FlexibleContexts +- FlexibleInstances +- GADTs +- GeneralizedNewtypeDeriving +- InstanceSigs +- KindSignatures +- LambdaCase +- MultiParamTypeClasses +- NoImplicitPrelude +- NoStarIsType +- OverloadedStrings +- PatternSynonyms +- PolyKinds +- RankNTypes +- ScopedTypeVariables +- StandaloneDeriving +- StandaloneKindSignatures +- TupleSections +- TypeApplications +- TypeFamilies +- TypeFamilyDependencies +- TypeOperators -- cgit v1.2.3