├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── CHANGELOG.markdown ├── LICENSE ├── README.markdown ├── Setup.hs ├── propagators.cabal ├── src └── Data │ ├── Propagator.hs │ └── Propagator │ ├── Cell.hs │ ├── Class.hs │ ├── Name.hs │ ├── Num.hs │ ├── Prop.hs │ └── Supported.hs └── stack.yaml /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.markdown: -------------------------------------------------------------------------------- 1 | ## 0 2 | 3 | * Repository Initialized 4 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/LICENSE -------------------------------------------------------------------------------- /README.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/README.markdown -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain -------------------------------------------------------------------------------- /propagators.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/propagators.cabal -------------------------------------------------------------------------------- /src/Data/Propagator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/src/Data/Propagator.hs -------------------------------------------------------------------------------- /src/Data/Propagator/Cell.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/src/Data/Propagator/Cell.hs -------------------------------------------------------------------------------- /src/Data/Propagator/Class.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/src/Data/Propagator/Class.hs -------------------------------------------------------------------------------- /src/Data/Propagator/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/src/Data/Propagator/Name.hs -------------------------------------------------------------------------------- /src/Data/Propagator/Num.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/src/Data/Propagator/Num.hs -------------------------------------------------------------------------------- /src/Data/Propagator/Prop.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/src/Data/Propagator/Prop.hs -------------------------------------------------------------------------------- /src/Data/Propagator/Supported.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/propagators/HEAD/src/Data/Propagator/Supported.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- 1 | resolver: lts-12.9 2 | extra-deps: [unique-0] 3 | --------------------------------------------------------------------------------