Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.haskell > #492
| Path | csiph.com!eternal-september.org!feeder.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail |
|---|---|
| From | Mark Carroll <mtbc@bcs.org> |
| Newsgroups | comp.lang.haskell |
| Subject | Re: Type question |
| Date | Tue, 17 Jul 2018 16:11:27 +0100 |
| Organization | none |
| Lines | 16 |
| Message-ID | <877eltoq1s.fsf@ixod.org> (permalink) |
| References | <L453D.296188$R51.200199@fx03.iad> <8736wjc5fx.fsf@ixod.org> <1An3D.206132$%s2.46322@fx18.iad> |
| Mime-Version | 1.0 |
| Content-Type | text/plain |
| Injection-Info | h2725194.stratoserver.net; posting-host="050aac5d57a31c88948872a9bb70a7d6"; logging-data="6095"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/v0B4+T7V9MHTEgSCCs4z7" |
| User-Agent | Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
| Cancel-Lock | sha1:CTy7KHa9NoJoOJmvmY13qBJbkoo= sha1:JFxUCFDLKxSb2QoCNJpsyVYqMLY= |
| Xref | csiph.com comp.lang.haskell:492 |
Show key headers only | 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
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