├── .github └── workflows │ └── ci.yml ├── .gitignore ├── cabal.project ├── changelog.md ├── example ├── M1.hs └── M2.hs ├── if-instance.cabal ├── readme.md ├── src ├── Data │ └── Constraint │ │ └── If.hs └── IfSat │ ├── Plugin.hs │ └── Plugin │ └── Compat.hs └── test ├── Framework.hs ├── Main.hs └── Tests.hs /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | cabal.project.local -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- 1 | packages: . -------------------------------------------------------------------------------- /changelog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/changelog.md -------------------------------------------------------------------------------- /example/M1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/example/M1.hs -------------------------------------------------------------------------------- /example/M2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/example/M2.hs -------------------------------------------------------------------------------- /if-instance.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/if-instance.cabal -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/readme.md -------------------------------------------------------------------------------- /src/Data/Constraint/If.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/src/Data/Constraint/If.hs -------------------------------------------------------------------------------- /src/IfSat/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/src/IfSat/Plugin.hs -------------------------------------------------------------------------------- /src/IfSat/Plugin/Compat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/src/IfSat/Plugin/Compat.hs -------------------------------------------------------------------------------- /test/Framework.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/test/Framework.hs -------------------------------------------------------------------------------- /test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/test/Main.hs -------------------------------------------------------------------------------- /test/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sheaf/if-instance/HEAD/test/Tests.hs --------------------------------------------------------------------------------