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

Directory listing for singletons-2.2 source tarball

singletons-2.2/

• CHANGES.md
• LICENSE
• README.md
• Setup.hs
• singletons.cabal
• src/
  • Data/
    • Singletons.hs
    • Promotion/
      • Prelude.hs
      • TH.hs
      • Prelude/
        • Base.hs
        • Bool.hs
        • Either.hs
        • Enum.hs
        • Eq.hs
        • List.hs
        • Maybe.hs
        • Num.hs
        • Ord.hs
        • Tuple.hs
    • Singletons/
      • CustomStar.hs
      • Decide.hs
      • Names.hs
      • Partition.hs
      • Prelude.hs
      • Promote.hs
      • Single.hs
      • SuppressUnusedWarnings.hs
      • Syntax.hs
      • TH.hs
      • TypeLits.hs
      • TypeRepStar.hs
      • Util.hs
      • Deriving/
        • Bounded.hs
        • Enum.hs
        • Infer.hs
        • Ord.hs
      • Prelude/
        • Base.hs
        • Bool.hs
        • Either.hs
        • Enum.hs
        • Eq.hs
        • Instances.hs
        • List.hs
        • Maybe.hs
        • Num.hs
        • Ord.hs
        • Tuple.hs
      • Promote/
        • Defun.hs
        • Eq.hs
        • Monad.hs
        • Type.hs
      • Single/
        • Data.hs
        • Eq.hs
        • Monad.hs
        • Type.hs
      • TypeLits/
        • Internal.hs
• tests/
  • SingletonsTestSuite.hs
  • SingletonsTestSuiteUtils.hs
  • compile-and-dump/
    • buildGoldenFiles.awk
    • GradingClient/
      • Database.ghc80.template
      • Database.hs
      • Main.ghc80.template
      • Main.hs
    • InsertionSort/
      • InsertionSortImp.ghc80.template
      • InsertionSortImp.hs
    • Promote/
      • Constructors.ghc80.template
      • Constructors.hs
      • GenDefunSymbols.ghc80.template
      • GenDefunSymbols.hs
      • Newtypes.ghc80.template
      • Newtypes.hs
      • Pragmas.ghc80.template
      • Pragmas.hs
      • Prelude.ghc80.template
      • Prelude.hs
    • Singletons/
      • AsPattern.ghc80.template
      • AsPattern.hs
      • BadBoundedDeriving.ghc80.template
      • BadBoundedDeriving.hs
      • BadEnumDeriving.ghc80.template
      • BadEnumDeriving.hs
      • BoundedDeriving.ghc80.template
      • BoundedDeriving.hs
      • BoxUnBox.ghc80.template
      • BoxUnBox.hs
      • CaseExpressions.ghc80.template
      • CaseExpressions.hs
      • Classes.ghc80.template
      • Classes.hs
      • Classes2.ghc80.template
      • Classes2.hs
      • Contains.ghc80.template
      • Contains.hs
      • DataValues.ghc80.template
      • DataValues.hs
      • Empty.ghc80.template
      • Empty.hs
      • EnumDeriving.ghc80.template
      • EnumDeriving.hs
      • EqInstances.ghc80.template
      • EqInstances.hs
      • Error.ghc80.template
      • Error.hs
      • Fixity.ghc80.template
      • Fixity.hs
      • FunDeps.ghc80.template
      • FunDeps.hs
      • HigherOrder.ghc80.template
      • HigherOrder.hs
      • LambdaCase.ghc80.template
      • LambdaCase.hs
      • Lambdas.ghc80.template
      • Lambdas.hs
      • LambdasComprehensive.ghc80.template
      • LambdasComprehensive.hs
      • LetStatements.ghc80.template
      • LetStatements.hs
      • Maybe.ghc80.template
      • Maybe.hs
      • Nat.ghc80.template
      • Nat.hs
      • Operators.ghc80.template
      • Operators.hs
      • OrdDeriving.ghc80.template
      • OrdDeriving.hs
      • PatternMatching.ghc80.template
      • PatternMatching.hs
      • Records.ghc80.template
      • Records.hs
      • ReturnFunc.ghc80.template
      • ReturnFunc.hs
      • Sections.ghc80.template
      • Sections.hs
      • Star.ghc80.template
      • Star.hs
      • T124.ghc80.template
      • T124.hs
      • T136.ghc80.template
      • T136.hs
      • T136b.ghc80.template
      • T136b.hs
      • T29.ghc80.template
      • T29.hs
      • T33.ghc80.template
      • T33.hs
      • T54.ghc80.template
      • T54.hs
      • T78.ghc80.template
      • T78.hs
      • TopLevelPatterns.ghc80.template
      • TopLevelPatterns.hs
      • Undef.ghc80.template
      • Undef.hs