Re: Type question

From	Mark Carroll <mtbc@bcs.org>
Newsgroups	comp.lang.haskell
Subject	Re: Type question
Date	2018-07-17 16:11 +0100
Organization	none
Message-ID	<877eltoq1s.fsf@ixod.org> (permalink)
References	<L453D.296188$R51.200199@fx03.iad> <8736wjc5fx.fsf@ixod.org> <1An3D.206132$%s2.46322@fx18.iad>

Show all headers | View raw

On 17 Jul 2018, Black Swan wrote:

> On Mon Jul 16 21:05:06 2018 Mark Carroll  wrote:
>> On 16 Jul 2018, Black Swan wrote:
(snip)
>> > *Lib> :t dividedBy 
>> > dividedBy :: (Num b, Ord b) => b -> b -> DividedResult
(snip)
> I am starting to get the hang of it. Just figured out that the declaration
> that I needed was:
>
> dividedBy :: (Num n, Ord n) => n -> n -> DividedResult

Glad to hear it. Kudos to the type inference system then. (-:

-- Mark

Back to comp.lang.haskell | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Type question Black Swan <root@rhok.xyz> - 2018-07-16 18:02 +0000
  Re: Type question Mark Carroll <mtbc@bcs.org> - 2018-07-16 20:56 +0100
  Re: Type question Mark Carroll <mtbc@bcs.org> - 2018-07-16 21:05 +0100
    RE: Re: Type question Black Swan <root@rhok.xyz> - 2018-07-17 15:04 +0000
      Re: Type question Mark Carroll <mtbc@bcs.org> - 2018-07-17 16:11 +0100

csiph-web