Send Beginners mailing list submissions to
beginners@haskell.org
To subscribe or unsubscribe via the World Wide Web, visit
http://mail.haskell.org/cgi-bin/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. Re: Multiline code in GHCi (David McBride)
2. Re: Multiline code in GHCi (Manny Romero)
3. Re: Installing Idris for Linux Dummies: "The following
packages are likely to be broken..." (Manny Romero)
4. Is it possible to "run" JSON Parser? (Baa)
5. Re: Multiline code in GHCi (David McBride)
----------------------------------------------------------------------
Message: 1
Date: Tue, 29 Aug 2017 11:20:01 -0400
From: David McBride <toa...@gmail.com>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <beginners@haskell.org>
Subject: Re: [Haskell-beginners] Multiline code in GHCi
Message-ID:
<CAN+Tr43idzWjhruSo3=HbqBT=SG=5aiavjdu4qnyvd2kycu...@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"
The type of both True and False is Bool. Just like the type of 1 and
2 and 3 is Integer.
Bool and Integer are types. True, False, and 42 are all values.
On Tue, Aug 29, 2017 at 11:04 AM, Shishir Srivastava
<shishir.srivast...@gmail.com> wrote:
> Just revisiting haskell after a hiatus and to begin that with a rather
> uncalled for query -
>
> In the system type declaration for the data type Bool as below what are the
> types of the two values 'True' and 'False'
>
> data Bool = False | True
>
> Are the values 'String' ? In which case how's the Bool data type different
> from String enumerator data type ?
>
> Thanks,
> S
>
>
>
>
>
>
> _______________________________________________
> Beginners mailing list
> Beginners@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
------------------------------
Message: 2
Date: Tue, 29 Aug 2017 17:49:53 +0200
From: "Manny Romero" <mannyrom...@mail.com>
To: beginners@haskell.org, "David McBride" <toa...@gmail.com>
Subject: Re: [Haskell-beginners] Multiline code in GHCi
Message-ID:
<trinity-5db34089-edb7-4638-a983-0a9ec2c2a686-1504021793053@3c-app-mailcom-lxa10>
Content-Type: text/plain; charset="utf-8"
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20170829/300660e7/attachment-0001.html>
------------------------------
Message: 3
Date: Tue, 29 Aug 2017 17:51:11 +0200
From: "Manny Romero" <mannyrom...@mail.com>
To: beginners@haskell.org, "David McBride" <toa...@gmail.com>
Subject: Re: [Haskell-beginners] Installing Idris for Linux Dummies:
"The following packages are likely to be broken..."
Message-ID:
<trinity-c0b28e33-5305-4dbc-8919-1b617d18b766-1504021871031@3c-app-mailcom-lxa10>
Content-Type: text/plain; charset="utf-8"
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20170829/2576cfd7/attachment-0001.html>
------------------------------
Message: 4
Date: Tue, 29 Aug 2017 18:58:22 +0300
From: Baa <aqua...@gmail.com>
To: beginners <beginners@haskell.org>
Subject: [Haskell-beginners] Is it possible to "run" JSON Parser?
Message-ID: <20170829185822.54ee960d@Pavel>
Content-Type: text/plain; charset=US-ASCII
Hello List again! :)
If I have a `FromJSON` instance, with `parseJSON` which translates
`Value` to MyType, how can I run this parser like I "run"
state/writer/reader monads? I mean not decoding of a bytestring
representation:
decode::ByteString -> Maybe MyType
but
run::Value -> Maybe MyType
The reason is that I have already collected Value's , and I have
parsers, so what is the problem, it would seem, to run parser on the
Value - to convert `Value` into `Maybe MyType`... Is it possible?
===
Best regards, Paul
------------------------------
Message: 5
Date: Tue, 29 Aug 2017 12:01:00 -0400
From: David McBride <toa...@gmail.com>
To: Manny Romero <mannyrom...@mail.com>
Cc: Haskell Beginners <beginners@haskell.org>
Subject: Re: [Haskell-beginners] Multiline code in GHCi
Message-ID:
<can+tr41-gpp_n6qbfgotuwqkywyz8lwpdy6xpb3+gp+1evo...@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"
Sorry, I should have kept reading. stack setup will most likely
install ghc without a problem.
Since stack doesn't appear to support your distro, if it doesn't it
may be because you are missing some of those libraries it mentions.
It looks like it is based on debian, so you would go apt-get install
<pkg> the various packages gcc, make, libffi, zlib, libgmp and
libtinfo.
If stack setup succeeds, then you stack install and after that, you
should have files in /home/third/.local/bin, one of which is likely
idris.
Hopefully everything works okay for you!
On Tue, Aug 29, 2017 at 11:49 AM, Manny Romero <mannyrom...@mail.com> wrote:
> Thanks! I don't have the slightest idea what any of this did, with the
> exception of "cd Idris-dev", but it seems to have worked...up until I got
> this message:
>
> Populated index cache.
> No compiler found, expected minor version match with ghc-8.0.2 (x86_64)
> (based on resolver setting in /home/third/Idris-dev/stack.yaml).
> To install the correct GHC into /home/third/.stack/programs/x86_64-linux/,
> try running "stack setup" or use the "--install-ghc" flag.
>
> ...additionally, I don't seem to have acquired a ~/.local/bin/idris ("no
> such file or directory"), nor for that matter do I know how to adjust my
> PATH.
>
> Also, for what it may be worth, I had been warned after the "curl -sSL
> https://get.haskellstack.org/ | sh" that:
>
> Detected Linux distribution: linuxmint
> This installer doesn't support your Linux distribution, trying generic
> bindist...
> Stack has been installed to: /usr/local/bin/stack
> Since this installer doesn't support your Linux distribution,
> there is no guarantee that 'stack' will work at all! You may
> need to manually install some system info dependencies for GHC:
> gcc, make, libffi, zlib, libgmp and libtinfo
> Please see http://docs.haskellstack.org/en/stable/install_and_upgrade/
> Pull requests to add support for this distro would be welcome!
> WARNING: '/home/third/.local/bin' is not on your PATH.
> For best results, please add it to the beginning of PATH in your
> profile.
>
> ...Sorry to be so completely clueless about the most basic aspects of what's
> going on, but it really is the state of my knowledge for now!
>
>
> -------------------------
>
> Date: Tue, 29 Aug 2017 09:08:35 -0400
> From: David McBride <toa...@gmail.com>
> To: The Haskell-Beginners Mailing List - Discussion of primarily
> beginner-level topics related to Haskell <beginners@haskell.org>
> Subject: Re: [Haskell-beginners] Installing Idris for Linux Dummies:
> "The following packages are likely to be broken..."
> Message-ID:
> <can+tr41q_g1wpugxpzpjgxnkfp8qc6z1mkyzuurwtx3pu6c...@mail.gmail.com>
> Content-Type: text/plain; charset="UTF-8"
>
> The problem most users face with using straight up cabal is that often
> the needs of one package conflict with the needs of some of the others
> you've installed. I highly recommend you use stack to install idris.
> The process should look something like this:
>
> download stack, install it. (directions here:
> https://docs.haskellstack.org/en/stable/README/)
> git clone https://github.com/idris-lang/Idris-dev.git
> cd idris-dev
> stack install
>
> And then either run ~/.local/bin/idris or make sure .local/bin is in
> your PATH so that you can run idris on the command line.
>
> On Tue, Aug 29, 2017 at 9:02 AM, Manny Romero <mannyrom...@mail.com> wrote:
>> I am a Linux user (Mint 18) trying to install Idris. I don't know the
>> slightest thing about computers. I barely managed to install Linux, and
>> later the full GHC, based on ample instructions available on the Web.
>> (Still
>> don't actually recall how I did it!)
>>
>> Idris, however, seems a little trickier. I followed the website
>> (https://www.idris-lang.org/download/)'s instructions:
>>
>> cabal update
>> cabal install idris
>>
>> ...because apparently I installed "cabal" at some point. But I get this
>> message, which apparently is quite common:
>>
>> cabal: The following packages are likely to be broken by the reinstalls:
>> semigroupoids-5.1
>> lens-4.15.1
>> kan-extensions-5.0.1
>> profunctors-5.2
>> comonad-5
>> bifunctors-5.4.1
>> Use --force-reinstalls if you want to install anyway.
>>
>> ...those are some of my favorite things! I can't live without them! I am
>> reading things about creating a "sandbox" and so forth. But I cannot use
>> or
>> make sense of this information. I don't know the first thing about cabal;
>> I
>> never use it; I just load everything into GHCI all the time.
>>
>> Does anyone have some *specific* instructions that I can follow (as
>> "rotely"
>> and dumbly as possible) to get Idris downloaded so I can use it for some
>> beginning studies, without breaking Haskell?
>>
>> _______________________________________________
>> Beginners mailing list
>> Beginners@haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>
>
------------------------------
Subject: Digest Footer
_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
------------------------------
End of Beginners Digest, Vol 110, Issue 24
******************************************
