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

Directory listing for singletons-2.4.1 source tarball

singletons-2.4.1/

• 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
        • IsString.hs
        • List.hs
        • Maybe.hs
        • Num.hs
        • Ord.hs
        • Show.hs
        • Tuple.hs
        • Void.hs
        • List/
          • NonEmpty.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
      • TypeLits.hs
      • TypeRepStar.hs
      • Util.hs
      • Deriving/
        • Bounded.hs
        • Enum.hs
        • Infer.hs
        • Ord.hs
        • Show.hs
      • Prelude/
        • Base.hs
        • Bool.hs
        • Either.hs
        • Enum.hs
        • Eq.hs
        • Function.hs
        • Instances.hs
        • IsString.hs
        • List.hs
        • Maybe.hs
        • Num.hs
        • Ord.hs
        • Show.hs
        • Tuple.hs
        • Void.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.ghc84.template
      • Database.hs
      • Main.ghc84.template
      • Main.hs
    • InsertionSort/
      • InsertionSortImp.ghc84.template
      • InsertionSortImp.hs
    • Promote/
      • Constructors.ghc84.template
      • Constructors.hs
      • GenDefunSymbols.ghc84.template
      • GenDefunSymbols.hs
      • Newtypes.ghc84.template
      • Newtypes.hs
      • Pragmas.ghc84.template
      • Pragmas.hs
      • Prelude.ghc84.template
      • Prelude.hs
      • T180.ghc84.template
      • T180.hs
    • Singletons/
      • AsPattern.ghc84.template
      • AsPattern.hs
      • BadBoundedDeriving.ghc84.template
      • BadBoundedDeriving.hs
      • BadEnumDeriving.ghc84.template
      • BadEnumDeriving.hs
      • BoundedDeriving.ghc84.template
      • BoundedDeriving.hs
      • BoxUnBox.ghc84.template
      • BoxUnBox.hs
      • CaseExpressions.ghc84.template
      • CaseExpressions.hs
      • Classes.ghc84.template
      • Classes.hs
      • Classes2.ghc84.template
      • Classes2.hs
      • Contains.ghc84.template
      • Contains.hs
      • DataValues.ghc84.template
      • DataValues.hs
      • Empty.ghc84.template
      • Empty.hs
      • EmptyShowDeriving.ghc84.template
      • EmptyShowDeriving.hs
      • EnumDeriving.ghc84.template
      • EnumDeriving.hs
      • EqInstances.ghc84.template
      • EqInstances.hs
      • Error.ghc84.template
      • Error.hs
      • Fixity.ghc84.template
      • Fixity.hs
      • FunDeps.ghc84.template
      • FunDeps.hs
      • HigherOrder.ghc84.template
      • HigherOrder.hs
      • LambdaCase.ghc84.template
      • LambdaCase.hs
      • Lambdas.ghc84.template
      • Lambdas.hs
      • LambdasComprehensive.ghc84.template
      • LambdasComprehensive.hs
      • LetStatements.ghc84.template
      • LetStatements.hs
      • Maybe.ghc84.template
      • Maybe.hs
      • Nat.ghc84.template
      • Nat.hs
      • Operators.ghc84.template
      • Operators.hs
      • OrdDeriving.ghc84.template
      • OrdDeriving.hs
      • OverloadedStrings.ghc84.template
      • OverloadedStrings.hs
      • PatternMatching.ghc84.template
      • PatternMatching.hs
      • PolyKinds.ghc84.template
      • PolyKinds.hs
      • PolyKindsApp.ghc84.template
      • PolyKindsApp.hs
      • Records.ghc84.template
      • Records.hs
      • ReturnFunc.ghc84.template
      • ReturnFunc.hs
      • Sections.ghc84.template
      • Sections.hs
      • ShowDeriving.ghc84.template
      • ShowDeriving.hs
      • StandaloneDeriving.ghc84.template
      • StandaloneDeriving.hs
      • Star.ghc84.template
      • Star.hs
      • T124.ghc84.template
      • T124.hs
      • T136.ghc84.template
      • T136.hs
      • T136b.ghc84.template
      • T136b.hs
      • T145.ghc84.template
      • T145.hs
      • T153.ghc84.template
      • T153.hs
      • T157.ghc84.template
      • T157.hs
      • T159.ghc84.template
      • T159.hs
      • T163.ghc84.template
      • T163.hs
      • T166.ghc84.template
      • T166.hs
      • T167.ghc84.template
      • T167.hs
      • T172.ghc84.template
      • T172.hs
      • T175.ghc84.template
      • T175.hs
      • T176.ghc84.template
      • T176.hs
      • T178.ghc84.template
      • T178.hs
      • T187.ghc84.template
      • T187.hs
      • T190.ghc84.template
      • T190.hs
      • T197.ghc84.template
      • T197.hs
      • T197b.ghc84.template
      • T197b.hs
      • T200.ghc84.template
      • T200.hs
      • T206.ghc84.template
      • T206.hs
      • T209.ghc84.template
      • T209.hs
      • T226.ghc84.template
      • T226.hs
      • T229.ghc84.template
      • T229.hs
      • T249.ghc84.template
      • T249.hs
      • T271.ghc84.template
      • T271.hs
      • T29.ghc84.template
      • T29.hs
      • T33.ghc84.template
      • T33.hs
      • T54.ghc84.template
      • T54.hs
      • T78.ghc84.template
      • T78.hs
      • TopLevelPatterns.ghc84.template
      • TopLevelPatterns.hs
      • Undef.ghc84.template
      • Undef.hs