idris - Evaluating `IO` Actions from REPL -


given:

*lecture2> :let x = (the (io int) (pure 42))

looking @ type, what's meaning of mkffi c_types string string signature?

*lecture2> :t x x : io' (mkffi c_types string string) int

i attempted evaluate x repl:

*lecture2> :exec x main:when checking argument value function prelude.basics.the:         type mismatch between                 io int (type of x)         ,                 integer (expected type)

also, why doesn't 42 print out in repl?

looking @ type, what's meaning of mkffi c_types string string signature?

the io' type constructor parametrised on ffi available within it. it'll different depending on e.g. backend want target. here have access c ffi the default 1 io picks.

you can find out these things using :doc in repl. e.g. :doc io' yields:

data type io' : (lang : ffi) -> type -> type     io type, parameterised on ffi available within it.  constructors:     mkio : (world -> primio (worldres a)) -> io' lang

also, why doesn't 42 print out in repl?

i don't know how :exec x supposed work can evaluate x in interpreter using :x x instead , yield sensible output:

idris> :x x mkio (\w => prim_io_pure 42) : io' (mkffi c_types string string) int

Comments

Post a Comment

Popular posts from this blog

node.js - Node js - Trying to send POST request, but it is not loading javascript content -

i have been trying send post request website, , has not been loading full site. i guessing problem node js not loading javascript content, executing it. can see javascript in response, though never loads content javascript files producing in html. what mean is, doesn't execute javascript. how make node js code overcome this, , wait the full website load? have tried native code, , "request' module, both producing same errors. if helps, don't need native javascript. modules fine. some code have tried (request module): var options = { method: 'post', uri: 'https://url', formdata: { 'email': 'email', 'prize': '0', 'transactional': 'on' }, headers: { /* 'content-type': 'application/x-www-form-urlencoded' */ // set automatically } }; rp(options) .then(function (body) { console.log(body) }) .catch(function (err) { console.log(err) }); when fetch content...
Read more

javascript - Replicate keyboard event with html button -

i have tried few ways make happen. have javascript pinball game uses keyboard keys controls. converting application touch screen display. workaround, hoping overlay buttons when clicked simulate keyboard strokes. have done research , sounds should work. using jquery v3.2.1 here things have tried far... html element: <input type="button" class="coil"></input> $('.coil').trigger({type: 'keydown', which: 40, keycode: 40}); with this, not errors, nothing happens. var coilkey = $('body').keydown(function(e) { switch (e.keycode) { case 40: break;} }) $('.coil').click(coilkey); this 1 returns error in console... ((jquery.event.special[handleobj.origtype] || (intermediate value)).handle || handleobj.handler).apply not function below javascript game engine handles key listeners... addkeylistener: function (keyandlistener) { this.keylisteners.push(keyandlistener); }, // gi...
Read more

javascript - Web audio api 5.1 surround example not working in firefox -

i've been playing lott lately web audio api on both firefox , chrome. few days ago started experiment surround set. when trying surround audio in web audio api came notice example works fine in chrome v59 not in firefox v54. // create web audio api context var audioctx = new (window.audiocontext || window.webkitaudiocontext)(); audioctx.destination.channelinterpretation = 'discrete'; audioctx.destination.channelcountmode = 'explicit'; audioctx.destination.channelcount = 6; var oscillators = []; var merger = audioctx.createchannelmerger(6); console.log(audioctx.destination, merger); //merger.channelinterpretation = 'discrete'; //merger.channelcountmode = 'explicit'; //merger.channelcount = 6; var addoscilator = function(channel, frequency) { var oscillator = audioctx.createoscillator(); oscillator.frequency.value = frequency; // value in hertz oscillator.connect(merger,0,channel); oscillator.start(); oscillators.push(o...
Read more