├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── .hlint.yaml ├── CHANGELOG.markdown ├── LICENSE ├── README.markdown ├── Setup.hs ├── cabal.haskell-ci ├── cabal.project ├── constraints.cabal ├── src └── Data │ ├── Constraint.hs │ └── Constraint │ ├── Char.hs │ ├── Deferrable.hs │ ├── Forall.hs │ ├── Lifting.hs │ ├── Nat.hs │ ├── Symbol.hs │ └── Unsafe.hs └── tests ├── GH117Spec.hs ├── GH55Spec.hs └── Spec.hs /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/.gitignore -------------------------------------------------------------------------------- /.hlint.yaml: -------------------------------------------------------------------------------- 1 | - ignore: { name: Eta reduce } 2 | -------------------------------------------------------------------------------- /CHANGELOG.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/CHANGELOG.markdown -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/LICENSE -------------------------------------------------------------------------------- /README.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/README.markdown -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /cabal.haskell-ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/cabal.haskell-ci -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- 1 | packages: . 2 | -------------------------------------------------------------------------------- /constraints.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/constraints.cabal -------------------------------------------------------------------------------- /src/Data/Constraint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/src/Data/Constraint.hs -------------------------------------------------------------------------------- /src/Data/Constraint/Char.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/src/Data/Constraint/Char.hs -------------------------------------------------------------------------------- /src/Data/Constraint/Deferrable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/src/Data/Constraint/Deferrable.hs -------------------------------------------------------------------------------- /src/Data/Constraint/Forall.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/src/Data/Constraint/Forall.hs -------------------------------------------------------------------------------- /src/Data/Constraint/Lifting.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/src/Data/Constraint/Lifting.hs -------------------------------------------------------------------------------- /src/Data/Constraint/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/src/Data/Constraint/Nat.hs -------------------------------------------------------------------------------- /src/Data/Constraint/Symbol.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/src/Data/Constraint/Symbol.hs -------------------------------------------------------------------------------- /src/Data/Constraint/Unsafe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/src/Data/Constraint/Unsafe.hs -------------------------------------------------------------------------------- /tests/GH117Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/tests/GH117Spec.hs -------------------------------------------------------------------------------- /tests/GH55Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/constraints/HEAD/tests/GH55Spec.hs -------------------------------------------------------------------------------- /tests/Spec.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -F -pgmF hspec-discover #-} 2 | --------------------------------------------------------------------------------