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

Directory listing for singletons-2.7 source tarball

singletons-2.7/

• 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
        • Proxy.hs
        • Semigroup.hs
        • Show.hs
        • Traversable.hs
        • Tuple.hs
        • Void.hs
        • List/
          • Internal.hs
          • NonEmpty.hs
          • Internal/
            • Disambiguation.hs
        • Monad/
          • Fail.hs
          • Internal.hs
          • Zip.hs
        • Ord/
          • Disambiguation.hs
        • Semigroup/
          • Internal.hs
          • Internal/
            • Disambiguation.hs
      • Promote/
        • Defun.hs
        • Eq.hs
        • Monad.hs
        • Type.hs
      • Single/
        • Data.hs
        • Defun.hs
        • Eq.hs
        • Fixity.hs
        • Monad.hs
        • Type.hs
      • TH/
        • Options.hs
      • TypeLits/
        • Internal.hs
• tests/
  • ByHand.hs
  • ByHand2.hs
  • README.md
  • SingletonsTestSuite.hs
  • SingletonsTestSuiteUtils.hs
  • compile-and-dump/
    • GradingClient/
      • Database.golden
      • Database.hs
      • Main.golden
      • Main.hs
    • InsertionSort/
      • InsertionSortImp.golden
      • InsertionSortImp.hs
    • Promote/
      • Constructors.golden
      • Constructors.hs
      • GenDefunSymbols.golden
      • GenDefunSymbols.hs
      • Newtypes.golden
      • Newtypes.hs
      • Pragmas.golden
      • Pragmas.hs
      • Prelude.golden
      • Prelude.hs
      • T180.golden
      • T180.hs
      • T361.golden
      • T361.hs
    • Singletons/
      • AsPattern.golden
      • AsPattern.hs
      • BadBoundedDeriving.golden
      • BadBoundedDeriving.hs
      • BadEnumDeriving.golden
      • BadEnumDeriving.hs
      • BoundedDeriving.golden
      • BoundedDeriving.hs
      • BoxUnBox.golden
      • BoxUnBox.hs
      • CaseExpressions.golden
      • CaseExpressions.hs
      • Classes.golden
      • Classes.hs
      • Classes2.golden
      • Classes2.hs
      • Contains.golden
      • Contains.hs
      • DataValues.golden
      • DataValues.hs
      • Empty.golden
      • Empty.hs
      • EmptyShowDeriving.golden
      • EmptyShowDeriving.hs
      • EnumDeriving.golden
      • EnumDeriving.hs
      • EqInstances.golden
      • EqInstances.hs
      • Error.golden
      • Error.hs
      • Fixity.golden
      • Fixity.hs
      • FunDeps.golden
      • FunDeps.hs
      • FunctorLikeDeriving.golden
      • FunctorLikeDeriving.hs
      • HigherOrder.golden
      • HigherOrder.hs
      • LambdaCase.golden
      • LambdaCase.hs
      • Lambdas.golden
      • Lambdas.hs
      • LambdasComprehensive.golden
      • LambdasComprehensive.hs
      • LetStatements.golden
      • LetStatements.hs
      • Maybe.golden
      • Maybe.hs
      • Nat.golden
      • Nat.hs
      • NatSymbolReflexive.golden
      • NatSymbolReflexive.hs
      • Operators.golden
      • Operators.hs
      • OrdDeriving.golden
      • OrdDeriving.hs
      • OverloadedStrings.golden
      • OverloadedStrings.hs
      • PatternMatching.golden
      • PatternMatching.hs
      • PolyKinds.golden
      • PolyKinds.hs
      • PolyKindsApp.golden
      • PolyKindsApp.hs
      • Records.golden
      • Records.hs
      • ReturnFunc.golden
      • ReturnFunc.hs
      • Sections.golden
      • Sections.hs
      • ShowDeriving.golden
      • ShowDeriving.hs
      • StandaloneDeriving.golden
      • StandaloneDeriving.hs
      • Star.golden
      • Star.hs
      • T124.golden
      • T124.hs
      • T136.golden
      • T136.hs
      • T136b.golden
      • T136b.hs
      • T145.golden
      • T145.hs
      • T150.golden
      • T150.hs
      • T153.golden
      • T153.hs
      • T157.golden
      • T157.hs
      • T159.golden
      • T159.hs
      • T160.golden
      • T160.hs
      • T163.golden
      • T163.hs
      • T166.golden
      • T166.hs
      • T167.golden
      • T167.hs
      • T172.golden
      • T172.hs
      • T175.golden
      • T175.hs
      • T176.golden
      • T176.hs
      • T178.golden
      • T178.hs
      • T183.golden
      • T183.hs
      • T184.golden
      • T184.hs
      • T187.golden
      • T187.hs
      • T190.golden
      • T190.hs
      • T197.golden
      • T197.hs
      • T197b.golden
      • T197b.hs
      • T200.golden
      • T200.hs
      • T204.golden
      • T204.hs
      • T206.golden
      • T206.hs
      • T209.golden
      • T209.hs
      • T216.golden
      • T216.hs
      • T226.golden
      • T226.hs
      • T229.golden
      • T229.hs
      • T249.golden
      • T249.hs
      • T271.golden
      • T271.hs
      • T287.golden
      • T287.hs
      • T29.golden
      • T29.hs
      • T296.golden
      • T296.hs
      • T297.golden
      • T297.hs
      • T312.golden
      • T312.hs
      • T313.golden
      • T313.hs
      • T316.golden
      • T316.hs
      • T322.golden
      • T322.hs
      • T323.golden
      • T323.hs
      • T326.golden
      • T326.hs
      • T33.golden
      • T33.hs
      • T332.golden
      • T332.hs
      • T342.golden
      • T342.hs
      • T353.golden
      • T353.hs
      • T358.golden
      • T358.hs
      • T367.golden
      • T367.hs
      • T371.golden
      • T371.hs
      • T376.golden
      • T376.hs
      • T378a.golden
      • T378a.hs
      • T378b.golden
      • T378b.hs
      • T401.golden
      • T401.hs
      • T401b.golden
      • T401b.hs
      • T402.golden
      • T402.hs
      • T410.golden
      • T410.hs
      • T412.golden
      • T412.hs
      • T414.golden
      • T414.hs
      • T54.golden
      • T54.hs
      • T78.golden
      • T78.hs
      • TopLevelPatterns.golden
      • TopLevelPatterns.hs
      • TypeRepTYPE.golden
      • TypeRepTYPE.hs
      • Undef.golden
      • Undef.hs