language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-30 15:21:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Rename Http.getStr to Http.getUtf8

Browse source
This commit is contained in:
Richard Feldman 2021-04-05 21:18:49 -04:00
parent e96a799a01
commit 2d0f8482e9
4 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
examples/cli/HttpGet.roc
View file

@ -11,4 +11,4 @@ main =
{} <- await (Stdout.line "The contents of \(url) are:") {} <- await (Stdout.line "The contents of \(url) are:")
Http.getStr url Http.getUtf8 url

6
examples/cli/platform/Http.roc
View file

@ -1,6 +1,6 @@
interface Http interface Http
exposes [ getStr ] exposes [ getUtf8 ]
imports [ fx.Effect, Task ] # TODO FIXME Task.{ Task } imports [ fx.Effect, Task ] # TODO FIXME Task.{ Task }
getStr : Str -> Task.Task {} * getUtf8 : Str -> Task.Task {} *
getStr = \url -> Effect.map (Effect.httpGetStr url) (\_ -> Ok {}) getUtf8 = \url -> Effect.map (Effect.httpGetUtf8 url) (\_ -> Ok {})

2
examples/cli/platform/Pkg-Config.roc
View file

@ -8,7 +8,7 @@ platform rtfeldman/roc-cli
{ {
putChar : I64 -> Effect {}, putChar : I64 -> Effect {},
putLine : Str -> Effect {}, putLine : Str -> Effect {},
httpGetStr : Str -> Effect Str, httpGetUtf8 : Str -> Effect Str,
getLine : Effect Str getLine : Effect Str
} }

2
examples/cli/platform/src/lib.rs
View file

@ -47,7 +47,7 @@ pub fn roc_fx_putLine(line: RocStr) -> () {
} }
#[no_mangle] #[no_mangle]
pub fn roc_fx_httpGetStr(url: RocStr) -> RocStr { pub fn roc_fx_httpGetUtf8(url: RocStr) -> RocStr {
println!("TODO: read from this URL {:?}", url); println!("TODO: read from this URL {:?}", url);
RocStr::from_slice("url!!!".as_bytes()) RocStr::from_slice("url!!!".as_bytes())