November 2016 Archives by author

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

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

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