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

Directory listing for singletons-2.5.1 source tarball

singletons-2.5.1/

• 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/
        • Bounded.hs
        • Enum.hs
        • Foldable.hs
        • Functor.hs
        • Infer.hs
        • Ord.hs
        • Show.hs
        • Traversable.hs
        • Util.hs
      • Prelude/
        • Applicative.hs
        • Base.hs
        • Bool.hs
        • Const.hs
        • Either.hs
        • Enum.hs
        • Eq.hs
        • Foldable.hs
        • Function.hs
        • Functor.hs
        • Identity.hs
        • Instances.hs
        • IsString.hs
        • List.hs
        • Maybe.hs
        • Monad.hs
        • Monoid.hs
        • Num.hs
        • Ord.hs
        • Semigroup.hs
        • Show.hs
        • Traversable.hs
        • Tuple.hs
        • Void.hs
        • List/
          • Internal.hs
          • NonEmpty.hs
          • Internal/
            • Disambiguation.hs
        • Monad/
          • Internal.hs
          • Zip.hs
        • Semigroup/
          • Internal.hs
      • Promote/
        • Defun.hs
        • Eq.hs
        • Monad.hs
        • Type.hs
      • Single/
        • Data.hs
        • Defun.hs
        • Eq.hs
        • Fixity.hs
        • Monad.hs
        • Type.hs
      • TypeLits/
        • Internal.hs
• tests/
  • ByHand.hs
  • ByHand2.hs
  • SingletonsTestSuite.hs
  • SingletonsTestSuiteUtils.hs
  • compile-and-dump/
    • buildGoldenFiles.awk
    • GradingClient/
      • Database.ghc86.template
      • Database.hs
      • Main.ghc86.template
      • Main.hs
    • InsertionSort/
      • InsertionSortImp.ghc86.template
      • InsertionSortImp.hs
    • Promote/
      • Constructors.ghc86.template
      • Constructors.hs
      • GenDefunSymbols.ghc86.template
      • GenDefunSymbols.hs
      • Newtypes.ghc86.template
      • Newtypes.hs
      • Pragmas.ghc86.template
      • Pragmas.hs
      • Prelude.ghc86.template
      • Prelude.hs
      • T180.ghc86.template
      • T180.hs
      • T361.ghc86.template
      • T361.hs
    • Singletons/
      • AsPattern.ghc86.template
      • AsPattern.hs
      • BadBoundedDeriving.ghc86.template
      • BadBoundedDeriving.hs
      • BadEnumDeriving.ghc86.template
      • BadEnumDeriving.hs
      • BoundedDeriving.ghc86.template
      • BoundedDeriving.hs
      • BoxUnBox.ghc86.template
      • BoxUnBox.hs
      • CaseExpressions.ghc86.template
      • CaseExpressions.hs
      • Classes.ghc86.template
      • Classes.hs
      • Classes2.ghc86.template
      • Classes2.hs
      • Contains.ghc86.template
      • Contains.hs
      • DataValues.ghc86.template
      • DataValues.hs
      • Empty.ghc86.template
      • Empty.hs
      • EmptyShowDeriving.ghc86.template
      • EmptyShowDeriving.hs
      • EnumDeriving.ghc86.template
      • EnumDeriving.hs
      • EqInstances.ghc86.template
      • EqInstances.hs
      • Error.ghc86.template
      • Error.hs
      • Fixity.ghc86.template
      • Fixity.hs
      • FunDeps.ghc86.template
      • FunDeps.hs
      • FunctorLikeDeriving.ghc86.template
      • FunctorLikeDeriving.hs
      • HigherOrder.ghc86.template
      • HigherOrder.hs
      • LambdaCase.ghc86.template
      • LambdaCase.hs
      • Lambdas.ghc86.template
      • Lambdas.hs
      • LambdasComprehensive.ghc86.template
      • LambdasComprehensive.hs
      • LetStatements.ghc86.template
      • LetStatements.hs
      • Maybe.ghc86.template
      • Maybe.hs
      • Nat.ghc86.template
      • Nat.hs
      • NatSymbolReflexive.ghc86.template
      • NatSymbolReflexive.hs
      • Operators.ghc86.template
      • Operators.hs
      • OrdDeriving.ghc86.template
      • OrdDeriving.hs
      • OverloadedStrings.ghc86.template
      • OverloadedStrings.hs
      • PatternMatching.ghc86.template
      • PatternMatching.hs
      • PolyKinds.ghc86.template
      • PolyKinds.hs
      • PolyKindsApp.ghc86.template
      • PolyKindsApp.hs
      • Records.ghc86.template
      • Records.hs
      • ReturnFunc.ghc86.template
      • ReturnFunc.hs
      • Sections.ghc86.template
      • Sections.hs
      • ShowDeriving.ghc86.template
      • ShowDeriving.hs
      • StandaloneDeriving.ghc86.template
      • StandaloneDeriving.hs
      • Star.ghc86.template
      • Star.hs
      • T124.ghc86.template
      • T124.hs
      • T136.ghc86.template
      • T136.hs
      • T136b.ghc86.template
      • T136b.hs
      • T145.ghc86.template
      • T145.hs
      • T153.ghc86.template
      • T153.hs
      • T157.ghc86.template
      • T157.hs
      • T159.ghc86.template
      • T159.hs
      • T160.ghc86.template
      • T160.hs
      • T163.ghc86.template
      • T163.hs
      • T166.ghc86.template
      • T166.hs
      • T167.ghc86.template
      • T167.hs
      • T172.ghc86.template
      • T172.hs
      • T175.ghc86.template
      • T175.hs
      • T176.ghc86.template
      • T176.hs
      • T178.ghc86.template
      • T178.hs
      • T183.ghc86.template
      • T183.hs
      • T184.ghc86.template
      • T184.hs
      • T187.ghc86.template
      • T187.hs
      • T190.ghc86.template
      • T190.hs
      • T197.ghc86.template
      • T197.hs
      • T197b.ghc86.template
      • T197b.hs
      • T200.ghc86.template
      • T200.hs
      • T206.ghc86.template
      • T206.hs
      • T209.ghc86.template
      • T209.hs
      • T216.ghc86.template
      • T216.hs
      • T226.ghc86.template
      • T226.hs
      • T229.ghc86.template
      • T229.hs
      • T249.ghc86.template
      • T249.hs
      • T271.ghc86.template
      • T271.hs
      • T287.ghc86.template
      • T287.hs
      • T29.ghc86.template
      • T29.hs
      • T297.ghc86.template
      • T297.hs
      • T312.ghc86.template
      • T312.hs
      • T313.ghc86.template
      • T313.hs
      • T316.ghc86.template
      • T316.hs
      • T322.ghc86.template
      • T322.hs
      • T323.ghc86.template
      • T323.hs
      • T33.ghc86.template
      • T33.hs
      • T332.ghc86.template
      • T332.hs
      • T342.ghc86.template
      • T342.hs
      • T353.ghc86.template
      • T353.hs
      • T358.ghc86.template
      • T358.hs
      • T371.ghc86.template
      • T371.hs
      • T54.ghc86.template
      • T54.hs
      • T78.ghc86.template
      • T78.hs
      • TopLevelPatterns.ghc86.template
      • TopLevelPatterns.hs
      • TypeRepTYPE.ghc86.template
      • TypeRepTYPE.hs
      • Undef.ghc86.template
      • Undef.hs