├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── aux └── Gen.hs ├── cabal.haskell-ci ├── cabal.project ├── cabal.project.ci ├── recover-rtti.cabal ├── src └── Debug │ ├── RecoverRTTI.hs │ └── RecoverRTTI │ ├── CheckSame.hs │ ├── Classifier.hs │ ├── Classify.hs │ ├── ClosureTree.hs │ ├── Constraint.hs │ ├── Debugging.hs │ ├── FlatClosure.hs │ ├── Modules.hs │ ├── Nat.hs │ ├── Reclassify.hs │ ├── Tuple.hs │ ├── Tuple │ ├── Recursive.hs │ └── Size.hs │ ├── Util.hs │ └── Wrappers.hs └── tests ├── RecoverRttiTests.hs └── Test └── RecoverRTTI ├── Classifier ├── Arbitrary.hs ├── Equality.hs └── Size.hs ├── Classify.hs ├── ConcreteClassifier.hs ├── Globals.hs ├── Prim.hs ├── QuickCheck ├── DepGen.hs └── Sized.hs ├── Sanity.hs ├── Show.hs ├── Staged.hs └── UserDefined.hs /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | tags 2 | dist-newstyle/ 3 | .envrc 4 | cabal.project.local 5 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/README.md -------------------------------------------------------------------------------- /aux/Gen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/aux/Gen.hs -------------------------------------------------------------------------------- /cabal.haskell-ci: -------------------------------------------------------------------------------- 1 | branches: main 2 | copy-fields: all 3 | -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/cabal.project -------------------------------------------------------------------------------- /cabal.project.ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/cabal.project.ci -------------------------------------------------------------------------------- /recover-rtti.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/recover-rtti.cabal -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/CheckSame.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/CheckSame.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Classifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Classifier.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Classify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Classify.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/ClosureTree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/ClosureTree.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Constraint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Constraint.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Debugging.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Debugging.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/FlatClosure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/FlatClosure.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Modules.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Modules.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Nat.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Reclassify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Reclassify.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Tuple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Tuple.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Tuple/Recursive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Tuple/Recursive.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Tuple/Size.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Tuple/Size.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Util.hs -------------------------------------------------------------------------------- /src/Debug/RecoverRTTI/Wrappers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/src/Debug/RecoverRTTI/Wrappers.hs -------------------------------------------------------------------------------- /tests/RecoverRttiTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/RecoverRttiTests.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/Classifier/Arbitrary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/Classifier/Arbitrary.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/Classifier/Equality.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/Classifier/Equality.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/Classifier/Size.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/Classifier/Size.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/Classify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/Classify.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/ConcreteClassifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/ConcreteClassifier.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/Globals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/Globals.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/Prim.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/QuickCheck/DepGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/QuickCheck/DepGen.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/QuickCheck/Sized.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/QuickCheck/Sized.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/Sanity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/Sanity.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/Show.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/Show.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/Staged.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/Staged.hs -------------------------------------------------------------------------------- /tests/Test/RecoverRTTI/UserDefined.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/recover-rtti/HEAD/tests/Test/RecoverRTTI/UserDefined.hs --------------------------------------------------------------------------------