Send Beginners mailing list submissions to
        beginners@haskell.org

To subscribe or unsubscribe via the World Wide Web, visit
        http://www.haskell.org/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
        beginners-requ...@haskell.org

You can reach the person managing the list at
        beginners-ow...@haskell.org

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."


Today's Topics:

   1.  test-framework (Mateusz Neumann)
   2. Re:  test-framework (Mateusz Neumann)
   3.  Help with Why Do Monads Matter blog post understanding
      (Matt Ford)


----------------------------------------------------------------------

Message: 1
Date: Fri, 29 Jun 2012 07:30:23 +0200
From: Mateusz Neumann <mate...@neumanny.net>
Subject: [Haskell-beginners] test-framework
To: beginners@haskell.org
Message-ID: <20120629073023.03c72439@dragonfly.localdomain>
Content-Type: text/plain; charset="us-ascii"

Hi,

I am currently writing testing routines for my project.  I have came
across an interesting test-framework
(http://hackage.haskell.org/package/test-framework-0.6).  Do you know
it?  I use QuickCheck2 provider (Test.Framework.Providers.QuickCheck2)
to property tests.  And here is my problem: I find configuring the
provider very confusing, I cannot set (in Haskell code) for example
number of tests to run or other QuickCheck parameters.  Could you
please help?

Thanks

-- 
Mateusz
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 230 bytes
Desc: not available
URL: 
<http://www.haskell.org/pipermail/beginners/attachments/20120629/5ff5a066/attachment-0001.pgp>

------------------------------

Message: 2
Date: Fri, 29 Jun 2012 09:58:34 +0200
From: Mateusz Neumann <mate...@neumanny.net>
Subject: Re: [Haskell-beginners] test-framework
To: Lorenzo Bolla <lbo...@gmail.com>, beginners@haskell.org
Message-ID: <20120629095834.7208a123@dragonfly.localdomain>
Content-Type: text/plain; charset="us-ascii"

On Fri, 29 Jun 2012 08:43:33 +0100
Lorenzo Bolla <lbo...@gmail.com> wrote:

> Are the examples in the package distribution of any help?
> https://github.com/batterseapower/test-framework/blob/master/example/Test/Framework/Example.lhs
> 
> L.

I was thinking more about parametres set in Haskell code itself.  There
is something like TestOptions
(http://hackage.haskell.org/packages/archive/test-framework/0.6/doc/html/Test-Framework-Options.html#t:TestOptions)
and RunnerOptions
(http://hackage.haskell.org/packages/archive/test-framework/0.6/doc/html/Test-Framework-Runners-Options.html)
but I do not find any examples of using them.  Similarly, I do not know
how to set them up.


> On Fri, Jun 29, 2012 at 6:30 AM, Mateusz Neumann
> <mate...@neumanny.net>wrote:
> 
> > Hi,
> >
> > I am currently writing testing routines for my project.  I have came
> > across an interesting test-framework
> > (http://hackage.haskell.org/package/test-framework-0.6).  Do you
> > know it?  I use QuickCheck2 provider
> > (Test.Framework.Providers.QuickCheck2) to property tests.  And here
> > is my problem: I find configuring the provider very confusing, I
> > cannot set (in Haskell code) for example number of tests to run or
> > other QuickCheck parameters.  Could you please help?
> >
> > Thanks
> >
> > --
> > Mateusz
> >
> > _______________________________________________
> > Beginners mailing list
> > Beginners@haskell.org
> > http://www.haskell.org/mailman/listinfo/beginners
> >
> >



-- 
Mateusz
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 230 bytes
Desc: not available
URL: 
<http://www.haskell.org/pipermail/beginners/attachments/20120629/07b87fea/attachment-0001.pgp>

------------------------------

Message: 3
Date: Fri, 29 Jun 2012 09:57:42 +0100
From: Matt Ford <m...@dancingfrog.co.uk>
Subject: [Haskell-beginners] Help with Why Do Monads Matter blog post
        understanding
To: beginners@haskell.org
Message-ID: <20120629085741.gm20...@rss01.mhs.man.ac.uk>
Content-Type: text/plain; charset="utf-8"

Hi,

I've been reading the following blog post

https://cdsmith.wordpress.com/2012/04/18/why-do-monads-matter/

And I think I like it.  But there's a part that I don't get.

"For a set A, we will define the set Pref(A) to be the set of functions
from application settings to the set A. Now watch closely: a function in
context from A to B is just an ordinary function from A to Pref(B). In
other words, you give it a value from the set A, and it gives you back
another function that maps from application settings to the set B."

This is in the "functioning with dependency" section and is talking about a
procedure that uses outside info from preferences or application settings.

If I set my prefs as follows

configvar = 3

and define a function as follows

add x = configvar + 6

So add?s signature is

add: int -> int

What does prefs(int) look like? Is that even the right thing to ask?
What happens to the add function? 

By substituting the B for Prefs(B) and returning now only functions from
Pref(B) don't we lose the rest of the mapping for add i.e., " + 6"?

Matt.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: 
<http://www.haskell.org/pipermail/beginners/attachments/20120629/f25ef77d/attachment-0001.pgp>

------------------------------

_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://www.haskell.org/mailman/listinfo/beginners


End of Beginners Digest, Vol 48, Issue 30
*****************************************

Reply via email to