{"id":8214,"date":"2020-06-12T21:52:05","date_gmt":"2020-06-12T21:52:05","guid":{"rendered":"http:\/\/putridparrot.com\/blog\/?p=8214"},"modified":"2020-06-12T21:52:05","modified_gmt":"2020-06-12T21:52:05","slug":"the-haskell-repl-basic-commands","status":"publish","type":"post","link":"https:\/\/putridparrot.com\/blog\/the-haskell-repl-basic-commands\/","title":{"rendered":"The Haskell repl – basic commands"},"content":{"rendered":"

Haskell’s repl can be run use ghci<\/em> or cabal repl<\/em>. The repl using : to prefix commands, so for example :? will list the help.<\/p>\n

I’m not going to go through all commands, but just the one’s I’ve been using regularly, check out Cabal<\/a> for the full list of commands and features.<\/p>\n

Quitting the repl<\/strong><\/p>\n

Let’s start by looking at how to quitting the repl (gracefully)<\/p>\n

\r\nPrelude> :q\r\n<\/pre>\n
Writing code<\/strong><\/p>\n
Obviously we want to be able to execute code in the repl, in such cases we write code such as<\/p>\n
\r\nx = 1 + 2\r\n-- press enter\r\nx\r\n-- press enter\r\n<\/pre>\n
The output from this will obviously be 3. <\/p>\n
To handle multi line input we create a block using :{ and :}, for example<\/p>\n
\r\n:{\r\ndata Expr = Lit Integer |\r\n            Div Expr Expr\r\n:}\r\n<\/pre>\n
Don’t forget indention is required!<\/p>\n
Loading existing code<\/strong><\/p>\n
In some cases we might want to load existing code into the repl, such a data definitions etc. Let’s say we have a Main.hs then run<\/p>\n
\r\n:load Main\r\n<\/pre>\n
Display information<\/strong><\/p>\n
Assuming we added the Expr data type, to the repl, we might want to show the definition at some point, just use<\/p>\n
\r\n:i Expr\r\n<\/pre>\n
Showing the type of an expression<\/strong><\/p>\n
Let’s assume we have something like the following in a module<\/p>\n
\r\neval :: Expr -> Integer\r\n<\/pre>\n
We can use the following to return the type (obviously in this instance we should see the above, but this command can ofcourse be executed against types where we want to find the type annotations\/decalaractions<\/p>\n
\r\n:t Expr\r\n<\/pre>\n
Now try <\/p>\n
\r\n:t print\r\n<\/pre>\n
and you’ll see the following<\/p>\n
\r\nprint :: Show a => a -> IO ()\r\n<\/pre>\n
References<\/strong><\/p>\n
Using GHCi<\/a>
\nCabal User Guide<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"
Haskell’s repl can be run use ghci or cabal repl. The repl using : to prefix commands, so for example :? will list the help. I’m not going to go through all commands, but just the one’s I’ve been using regularly, check out Cabal for the full list of commands and features. Quitting the repl […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[296],"tags":[],"class_list":["post-8214","post","type-post","status-publish","format-standard","hentry","category-cabal"],"jetpack_sharing_enabled":true,"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/putridparrot.com\/blog\/wp-json\/wp\/v2\/posts\/8214","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/putridparrot.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/putridparrot.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/putridparrot.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/putridparrot.com\/blog\/wp-json\/wp\/v2\/comments?post=8214"}],"version-history":[{"count":5,"href":"https:\/\/putridparrot.com\/blog\/wp-json\/wp\/v2\/posts\/8214\/revisions"}],"predecessor-version":[{"id":8239,"href":"https:\/\/putridparrot.com\/blog\/wp-json\/wp\/v2\/posts\/8214\/revisions\/8239"}],"wp:attachment":[{"href":"https:\/\/putridparrot.com\/blog\/wp-json\/wp\/v2\/media?parent=8214"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/putridparrot.com\/blog\/wp-json\/wp\/v2\/categories?post=8214"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/putridparrot.com\/blog\/wp-json\/wp\/v2\/tags?post=8214"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}