stevegilham / fsharp-typeclasses Goto Github PK

fsharp-typeclasses is great library and I love it.
But it isn't registered in NuGet gallery.
So we try to use this library, the build will be required.
Please register to NuGet gallery.

Added Set and Map monoid instances in 
http://code.google.com/r/mauricioscheffer-fsharp-typeclasses/source/detail?r=22a
e902606e579e68bc10b0a02b1d6384dedbb7f (don't know how to do a pull request 
here).

Anyway, just my way of saying hi :)

Implemented in 
http://code.google.com/r/mauricioscheffer-fsharp-typeclasses/source/detail?r=d10
13cf83bdaa90eb391e274ab00ec6049d3fe8a

I wonder if this could be generalized for any monoid.

Also investigating if general functor/applicative composition could be encoded, 
as in 
http://hackage.haskell.org/packages/archive/transformers/latest/doc/html/src/Dat
a-Functor-Compose.html#Compose

What steps will reproduce the problem?
Code does not compile under 
\3.0\Runtime\v4.0\FSharp.Core.dll

In foldable.fs 
FoldMap.Base   should be changed to  FoldMap.FoldMap.Base   
Foldr.Base     should be changed to  Foldr.Foldr.Base

What steps will reproduce the problem?

pure' (+) <*> pure' 5 <*> ZipList [1;2;3] ;;

What is the expected output? 

ZipList [6;7;8] ;;

What do you see instead?

error FS0332: Could not resolve the ambiguity inherent in the use of the 
operator '( ?<- )' at or near this program point. Consider using type 
annotations to resolve the ambiguity.

But

pure' (+) <*> pure' 5 <*> [1;2;3] ;;

Works fine:

val it : List<int> = [6; 7; 8]