• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for singletons-1.0 source tarball

singletons-1.0/

• CHANGES.md
• LICENSE
• README.md
• Setup.hs
• singletons.cabal
• src/
  • Data/
    • Singletons.hs
    • Promotion/
      • Prelude.hs
      • TH.hs
      • Prelude/
        • Base.hs
        • Bool.hs
        • Bounded.hs
        • Either.hs
        • Eq.hs
        • List.hs
        • Maybe.hs
        • Ord.hs
        • Tuple.hs
    • Singletons/
      • CustomStar.hs
      • Decide.hs
      • Names.hs
      • Prelude.hs
      • Promote.hs
      • Single.hs
      • SuppressUnusedWarnings.hs
      • Syntax.hs
      • TH.hs
      • TypeLits.hs
      • TypeRepStar.hs
      • Types.hs
      • Util.hs
      • Void.hs
      • Prelude/
        • Base.hs
        • Bool.hs
        • Either.hs
        • Eq.hs
        • Instances.hs
        • List.hs
        • Maybe.hs
        • Ord.hs
        • Tuple.hs
      • Promote/
        • Bounded.hs
        • Defun.hs
        • Eq.hs
        • Monad.hs
        • Ord.hs
        • Type.hs
      • Single/
        • Data.hs
        • Eq.hs
        • Monad.hs
        • Type.hs
• tests/
  • SingletonsTestSuite.hs
  • SingletonsTestSuiteUtils.hs
  • compile-and-dump/
    • buildGoldenFiles.awk
    • GradingClient/
      • Database.ghc76.template
      • Database.ghc78.template
      • Database.hs
      • Main.ghc76.template
      • Main.ghc78.template
      • Main.hs
    • InsertionSort/
      • InsertionSortImp.ghc76.template
      • InsertionSortImp.ghc78.template
      • InsertionSortImp.hs
    • Promote/
      • BadBoundedDeriving.ghc78.template
      • BadBoundedDeriving.hs
      • BoundedDeriving.ghc78.template
      • BoundedDeriving.hs
      • Classes.ghc76.template
      • Classes.ghc78.template
      • Classes.hs
      • Constructors.ghc76.template
      • Constructors.ghc78.template
      • Constructors.hs
      • GenDefunSymbols.ghc76.template
      • GenDefunSymbols.ghc78.template
      • GenDefunSymbols.hs
      • Newtypes.ghc76.template
      • Newtypes.ghc78.template
      • Newtypes.hs
      • OrdDeriving.ghc78.template
      • OrdDeriving.hs
      • Pragmas.ghc78.template
      • Pragmas.hs
      • Prelude.ghc78.template
      • Prelude.hs
      • TopLevelPatterns.ghc78.template
      • TopLevelPatterns.hs
    • Singletons/
      • AsPattern.ghc76.template
      • AsPattern.ghc78.template
      • AsPattern.hs
      • BoxUnBox.ghc76.template
      • BoxUnBox.ghc78.template
      • BoxUnBox.hs
      • CaseExpressions.ghc76.template
      • CaseExpressions.ghc78.template
      • CaseExpressions.hs
      • Contains.ghc76.template
      • Contains.ghc78.template
      • Contains.hs
      • DataValues.ghc76.template
      • DataValues.ghc78.template
      • DataValues.hs
      • Empty.ghc76.template
      • Empty.ghc78.template
      • Empty.hs
      • EqInstances.ghc76.template
      • EqInstances.ghc78.template
      • EqInstances.hs
      • Error.ghc76.template
      • Error.ghc78.template
      • Error.hs
      • HigherOrder.ghc76.template
      • HigherOrder.ghc78.template
      • HigherOrder.hs
      • LambdaCase.ghc76.template
      • LambdaCase.ghc78.template
      • LambdaCase.hs
      • Lambdas.ghc76.template
      • Lambdas.ghc78.template
      • Lambdas.hs
      • LambdasComprehensive.ghc76.template
      • LambdasComprehensive.ghc78.template
      • LambdasComprehensive.hs
      • LetStatements.ghc76.template
      • LetStatements.ghc78.template
      • LetStatements.hs
      • Maybe.ghc76.template
      • Maybe.ghc78.template
      • Maybe.hs
      • Nat.ghc76.template
      • Nat.ghc78.template
      • Nat.hs
      • Operators.ghc76.template
      • Operators.ghc78.template
      • Operators.hs
      • PatternMatching.ghc76.template
      • PatternMatching.ghc78.template
      • PatternMatching.hs
      • Records.ghc78.template
      • Records.hs
      • ReturnFunc.ghc76.template
      • ReturnFunc.ghc78.template
      • ReturnFunc.hs
      • Sections.ghc76.template
      • Sections.ghc78.template
      • Sections.hs
      • Star.ghc76.template
      • Star.ghc78.template
      • Star.hs
      • T29.ghc78.template
      • T29.hs
      • T33.ghc78.template
      • T33.hs
      • TopLevelPatterns.ghc76.template
      • TopLevelPatterns.ghc78.template
      • TopLevelPatterns.hs
      • Tuples.ghc76.template
      • Tuples.ghc78.template
      • Tuples.hs