Directory listing for singletons-2.6 source tarball
singletons-2.6/
- CHANGES.md
- LICENSE
- README.md
- Setup.hs
- singletons.cabal
- src/
- Data/
- Singletons.hs
- Singletons/
- CustomStar.hs
- Decide.hs
- Internal.hs
- Names.hs
- Partition.hs
- Prelude.hs
- Promote.hs
- ShowSing.hs
- Sigma.hs
- Single.hs
- SuppressUnusedWarnings.hs
- Syntax.hs
- TH.hs
- TypeError.hs
- TypeLits.hs
- TypeRepTYPE.hs
- Util.hs
- Deriving/
- Prelude/
- Promote/
- Single/
- TypeLits/
- Data/
- tests/
- ByHand.hs
- ByHand2.hs
- SingletonsTestSuite.hs
- SingletonsTestSuiteUtils.hs
- compile-and-dump/
- buildGoldenFiles.awk
- GradingClient/
- InsertionSort/
- Promote/
- Singletons/
- AsPattern.ghc88.template
- AsPattern.hs
- BadBoundedDeriving.ghc88.template
- BadBoundedDeriving.hs
- BadEnumDeriving.ghc88.template
- BadEnumDeriving.hs
- BoundedDeriving.ghc88.template
- BoundedDeriving.hs
- BoxUnBox.ghc88.template
- BoxUnBox.hs
- CaseExpressions.ghc88.template
- CaseExpressions.hs
- Classes.ghc88.template
- Classes.hs
- Classes2.ghc88.template
- Classes2.hs
- Contains.ghc88.template
- Contains.hs
- DataValues.ghc88.template
- DataValues.hs
- Empty.ghc88.template
- Empty.hs
- EmptyShowDeriving.ghc88.template
- EmptyShowDeriving.hs
- EnumDeriving.ghc88.template
- EnumDeriving.hs
- EqInstances.ghc88.template
- EqInstances.hs
- Error.ghc88.template
- Error.hs
- Fixity.ghc88.template
- Fixity.hs
- FunDeps.ghc88.template
- FunDeps.hs
- FunctorLikeDeriving.ghc88.template
- FunctorLikeDeriving.hs
- HigherOrder.ghc88.template
- HigherOrder.hs
- LambdaCase.ghc88.template
- LambdaCase.hs
- Lambdas.ghc88.template
- Lambdas.hs
- LambdasComprehensive.ghc88.template
- LambdasComprehensive.hs
- LetStatements.ghc88.template
- LetStatements.hs
- Maybe.ghc88.template
- Maybe.hs
- Nat.ghc88.template
- Nat.hs
- NatSymbolReflexive.ghc88.template
- NatSymbolReflexive.hs
- Operators.ghc88.template
- Operators.hs
- OrdDeriving.ghc88.template
- OrdDeriving.hs
- OverloadedStrings.ghc88.template
- OverloadedStrings.hs
- PatternMatching.ghc88.template
- PatternMatching.hs
- PolyKinds.ghc88.template
- PolyKinds.hs
- PolyKindsApp.ghc88.template
- PolyKindsApp.hs
- Records.ghc88.template
- Records.hs
- ReturnFunc.ghc88.template
- ReturnFunc.hs
- Sections.ghc88.template
- Sections.hs
- ShowDeriving.ghc88.template
- ShowDeriving.hs
- StandaloneDeriving.ghc88.template
- StandaloneDeriving.hs
- Star.ghc88.template
- Star.hs
- T124.ghc88.template
- T124.hs
- T136.ghc88.template
- T136.hs
- T136b.ghc88.template
- T136b.hs
- T145.ghc88.template
- T145.hs
- T153.ghc88.template
- T153.hs
- T157.ghc88.template
- T157.hs
- T159.ghc88.template
- T159.hs
- T160.ghc88.template
- T160.hs
- T163.ghc88.template
- T163.hs
- T166.ghc88.template
- T166.hs
- T167.ghc88.template
- T167.hs
- T172.ghc88.template
- T172.hs
- T175.ghc88.template
- T175.hs
- T176.ghc88.template
- T176.hs
- T178.ghc88.template
- T178.hs
- T183.ghc88.template
- T183.hs
- T184.ghc88.template
- T184.hs
- T187.ghc88.template
- T187.hs
- T190.ghc88.template
- T190.hs
- T197.ghc88.template
- T197.hs
- T197b.ghc88.template
- T197b.hs
- T200.ghc88.template
- T200.hs
- T206.ghc88.template
- T206.hs
- T209.ghc88.template
- T209.hs
- T216.ghc88.template
- T216.hs
- T226.ghc88.template
- T226.hs
- T229.ghc88.template
- T229.hs
- T249.ghc88.template
- T249.hs
- T271.ghc88.template
- T271.hs
- T287.ghc88.template
- T287.hs
- T29.ghc88.template
- T29.hs
- T297.ghc88.template
- T297.hs
- T312.ghc88.template
- T312.hs
- T313.ghc88.template
- T313.hs
- T316.ghc88.template
- T316.hs
- T322.ghc88.template
- T322.hs
- T323.ghc88.template
- T323.hs
- T33.ghc88.template
- T33.hs
- T332.ghc88.template
- T332.hs
- T342.ghc88.template
- T342.hs
- T353.ghc88.template
- T353.hs
- T358.ghc88.template
- T358.hs
- T367.ghc88.template
- T367.hs
- T371.ghc88.template
- T371.hs
- T376.ghc88.template
- T376.hs
- T402.ghc88.template
- T402.hs
- T54.ghc88.template
- T54.hs
- T78.ghc88.template
- T78.hs
- TopLevelPatterns.ghc88.template
- TopLevelPatterns.hs
- TypeRepTYPE.ghc88.template
- TypeRepTYPE.hs
- Undef.ghc88.template
- Undef.hs