November 2016 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Tue Nov 1 23:13:42 UTC 2016
Ending: Wed Nov 30 23:25:56 UTC 2016
Messages: 77

• Type Level "Application" Operator   Elliot Cameron
  • Type Level "Application" Operator   Jon Purdy
    • Type Level "Application" Operator   Jeffrey Brown
  • Type Level "Application" Operator   Edward Kmett
    • Type Level "Application" Operator   Oleg Grenrus
      • Type Level "Application" Operator   Elliot Cameron
      • Type Level "Application" Operator   Edward Kmett
    • Type Level "Application" Operator   Index Int
      • Type Level "Application" Operator   Edward Kmett
      • Type Level "Application" Operator   Ken Bateman
      • Type Level "Application" Operator   Edward Kmett
  • Type Level "Application" Operator   Ryan Scott
• Proposal: Add Data instance for Const   Ryan Scott
  • Proposal: Add Data instance for Const   Eric Mertens
  • Proposal: Add Data instance for Const   Edward Kmett
    • Proposal: Add Data instance for Const   Index Int
      • Proposal: Add Data instance for Const   Ryan Scott
      • Proposal: Add Data instance for Const   Index Int
      • Proposal: Add Data instance for Const   Ryan Scott
• Discussion: add pattern synonyms and a non-dependent eliminator to Numeric.Natural   David Feuer
• Proposal: relax type of asProxyTypeOf   Tom Ellis
  • Proposal: relax type of asProxyTypeOf   David Feuer
    • Proposal: relax type of asProxyTypeOf   Edward Kmett
  • Proposal: relax type of asProxyTypeOf   Ryan Scott
  • Proposal: relax type of asProxyTypeOf   Fumiaki Kinoshita
• Proposal: Add ‘type f ~> g = forall a. f a -> g a’   Baldur Blöndal
  • Re: Proposal: Add ‘type f ~> g = forall a. f a -> g a’   Eric Mertens
    • Proposal: Add ‘type f ~> g = forall a. f a -> g a’   John Wiegley
      • Re: Proposal: Add ‘type f ~> g = forall a. f a -> g a’   wren romano
  • Re: Proposal: Add ‘type f ~> g = forall a. f a -> g a’   Oleg Grenrus
    • Re: Proposal: Add ‘type f ~> g = forall a. f a -> g a’   Edward Kmett
• Proposal: Add portable eliminator for Data.Type.Equality   David Feuer
  • Proposal: Add portable eliminator for Data.Type.Equality   David Feuer
  • Proposal: Add portable eliminator for Data.Type.Equality   wren romano
    • Proposal: Add portable eliminator for Data.Type.Equality   David Feuer
      • Proposal: Add portable eliminator for Data.Type.Equality   Oleg Grenrus
      • Proposal: Add portable eliminator for Data.Type.Equality   David Feuer
• Add ifThenElse and (?) to Data.Bool   winter
  • Add ifThenElse and (?) to Data.Bool   David Feuer
    • Add ifThenElse and (?) to Data.Bool   winter
      • Add ifThenElse and (?) to Data.Bool   winter
      • Add ifThenElse and (?) to Data.Bool   Edward Kmett
      • Add ifThenElse and (?) to Data.Bool   winter
      • Add ifThenElse and (?) to Data.Bool   Henning Thielemann
  • Add ifThenElse and (?) to Data.Bool   M Farkas-Dyck
    • Add ifThenElse and (?) to Data.Bool   David Feuer
  • Add ifThenElse and (?) to Data.Bool   Ivan Lazar Miljenovic
  • Add ifThenElse and (?) to Data.Bool   Edward Kmett
    • Add ifThenElse and (?) to Data.Bool   Yitzchak Gale
      • Add ifThenElse and (?) to Data.Bool   Henning Thielemann
      • Add ifThenElse and (?) to Data.Bool   winter
      • Add ifThenElse and (?) to Data.Bool   Elliot Cameron
  • Add ifThenElse and (?) to Data.Bool   Joachim Breitner
    • Add ifThenElse and (?) to Data.Bool   Henning Thielemann
• Add default MonadPlus or Alternative method to MonadFail   Baldur Blöndal
• Pattern synonyms and record fields for Cont, Writer, Reader, State, ...   Baldur Blöndal
  • Pattern synonyms and record fields for Cont, Writer, Reader, State, ...   David Feuer
    • Pattern synonyms and record fields for Cont, Writer, Reader, State, ...   Baldur Blöndal
• Remove redundant Functor constraint from StateT Applicative/Alternative instances   Baldur Blöndal
  • Remove redundant Functor constraint from StateT Applicative/Alternative instances   Henning Thielemann
  • Remove redundant Functor constraint from StateT Applicative/Alternative instances   Edward Kmett
    • Remove redundant Functor constraint from StateT Applicative/Alternative instances   Baldur Blöndal
      • Remove redundant Functor constraint from StateT Applicative/Alternative instances   Ross Paterson
• The lazy Show instance for GHC.Generics.U1 is confusing.   David Feuer
  • The lazy Show instance for GHC.Generics.U1 is confusing.   Ryan Scott
• Many functions can be generalised   Baldur Blöndal
  • Many functions can be generalised   David Feuer
    • Many functions can be generalised   amindfv at gmail.com
      • Many functions can be generalised   Henning Thielemann
    • Many functions can be generalised   Baldur Blöndal
      • Many functions can be generalised   Baldur Blöndal
      • Many functions can be generalised   David Feuer
      • Many functions can be generalised   Lana Black
      • Many functions can be generalised   David Feuer
  • Many functions can be generalised   Lana Black
    • Many functions can be generalised   wren romano
• Traversal order newtypes for Data.Tree, and Ord instances   David Feuer

Last message date: Wed Nov 30 23:25:56 UTC 2016
Archived on: Wed Nov 30 23:10:04 UTC 2016

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...