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

Directory listing for singletons-2.3 source tarball

singletons-2.3/

• 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
        • Function.hs
        • List.hs
        • Maybe.hs
        • Num.hs
        • Ord.hs
        • Tuple.hs
        • List/
          • NonEmpty.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
        • Function.hs
        • Instances.hs
        • List.hs
        • Maybe.hs
        • Num.hs
        • Ord.hs
        • Tuple.hs
        • List/
          • NonEmpty.hs
          • NonEmpty/
            • Internal.hs
      • Promote/
        • Defun.hs
        • Eq.hs
        • Monad.hs
        • Type.hs
      • Single/
        • Data.hs
        • Eq.hs
        • Fixity.hs
        • Monad.hs
        • Type.hs
      • TypeLits/
        • Internal.hs
• tests/
  • SingletonsTestSuite.hs
  • SingletonsTestSuiteUtils.hs
  • compile-and-dump/
    • buildGoldenFiles.awk
    • GradingClient/
      • Database.ghc82.template
      • Database.hs
      • Main.ghc82.template
      • Main.hs
    • InsertionSort/
      • InsertionSortImp.ghc82.template
      • InsertionSortImp.hs
    • Promote/
      • Constructors.ghc82.template
      • Constructors.hs
      • GenDefunSymbols.ghc82.template
      • GenDefunSymbols.hs
      • Newtypes.ghc82.template
      • Newtypes.hs
      • Pragmas.ghc82.template
      • Pragmas.hs
      • Prelude.ghc82.template
      • Prelude.hs
      • T180.ghc82.template
      • T180.hs
    • Singletons/
      • AsPattern.ghc82.template
      • AsPattern.hs
      • BadBoundedDeriving.ghc82.template
      • BadBoundedDeriving.hs
      • BadEnumDeriving.ghc82.template
      • BadEnumDeriving.hs
      • BoundedDeriving.ghc82.template
      • BoundedDeriving.hs
      • BoxUnBox.ghc82.template
      • BoxUnBox.hs
      • CaseExpressions.ghc82.template
      • CaseExpressions.hs
      • Classes.ghc82.template
      • Classes.hs
      • Classes2.ghc82.template
      • Classes2.hs
      • Contains.ghc82.template
      • Contains.hs
      • DataValues.ghc82.template
      • DataValues.hs
      • Empty.ghc82.template
      • Empty.hs
      • EnumDeriving.ghc82.template
      • EnumDeriving.hs
      • EqInstances.ghc82.template
      • EqInstances.hs
      • Error.ghc82.template
      • Error.hs
      • Fixity.ghc82.template
      • Fixity.hs
      • FunDeps.ghc82.template
      • FunDeps.hs
      • HigherOrder.ghc82.template
      • HigherOrder.hs
      • LambdaCase.ghc82.template
      • LambdaCase.hs
      • Lambdas.ghc82.template
      • Lambdas.hs
      • LambdasComprehensive.ghc82.template
      • LambdasComprehensive.hs
      • LetStatements.ghc82.template
      • LetStatements.hs
      • Maybe.ghc82.template
      • Maybe.hs
      • Nat.ghc82.template
      • Nat.hs
      • Operators.ghc82.template
      • Operators.hs
      • OrdDeriving.ghc82.template
      • OrdDeriving.hs
      • PatternMatching.ghc82.template
      • PatternMatching.hs
      • PolyKinds.ghc82.template
      • PolyKinds.hs
      • PolyKindsApp.ghc82.template
      • PolyKindsApp.hs
      • Records.ghc82.template
      • Records.hs
      • ReturnFunc.ghc82.template
      • ReturnFunc.hs
      • Sections.ghc82.template
      • Sections.hs
      • Star.ghc82.template
      • Star.hs
      • T124.ghc82.template
      • T124.hs
      • T136.ghc82.template
      • T136.hs
      • T136b.ghc82.template
      • T136b.hs
      • T145.ghc82.template
      • T145.hs
      • T153.ghc82.template
      • T153.hs
      • T157.ghc82.template
      • T157.hs
      • T159.ghc82.template
      • T159.hs
      • T166.ghc82.template
      • T166.hs
      • T167.ghc82.template
      • T167.hs
      • T172.ghc82.template
      • T172.hs
      • T175.ghc82.template
      • T175.hs
      • T176.ghc82.template
      • T176.hs
      • T178.ghc82.template
      • T178.hs
      • T29.ghc82.template
      • T29.hs
      • T33.ghc82.template
      • T33.hs
      • T54.ghc82.template
      • T54.hs
      • T78.ghc82.template
      • T78.hs
      • TopLevelPatterns.ghc82.template
      • TopLevelPatterns.hs
      • Undef.ghc82.template
      • Undef.hs