deserialization - Haskell: find out how many bytes a Get expression would consume -

-

i writing tool includes deserialization mechanism bachelor thesis, use get monad (data.binary.get). ran following problem:

during deserialization, there part have getter of type get a , need read bytestring of length n, n amount of bytes consumed if ran getter @ position. in other words, need know how bytes getter consume without consuming them.

there way this:

readbytes :: -> bytestring readbytes getter = safe <- lookahead getremaininglazybytestring                       let info = rungetorfail getter safe                       -- n_cb = number of consumed bytes                       case info of right (_, n_cb, _) -> getlazybytestring n_cb

but hideous beyond description. every time method called, copies entire remainder of file.

even though doesn't seem hard problem in theory, , far monad has been capable of doing needed, cannot find better solution.

i need know how bytes getter consume without consuming them.

perhaps perform 2 calls bytesread :: int64 function, second call inside lookahead, after having parsed a value. like

bytesread1 <- bytesread  bytesread2 <- lookahead (getter *> bytesread) return (bytesread2 - bytesread1)

i'm not sure how bytesread behaves inside lookahead, however.


Comments

Post a Comment

Popular posts from this blog

jsf - "PropertyNotWritableException: Illegal Syntax for Set Operation" error when setting value in bean -

-
this question has answer here: how send form input values , invoke method in jsf bean 1 answer i error when trying send values jsf page bean. i want set values fields in bean, create airplane instance , add database. error telling me use illegal syntax setter part of bean. why error? didnt find on site helped me problem. here jsf part: <h4>add plane</h4> <c:if test="#{not empty listairplanebb.error}"> <div class="alert alert-danger"> <span class="glyphicon glyphicon-remove"></span> <h:outputtext value="#{listairplanebb.error}" /> </div> </c:if> <h:form> <table class="table"> <thead> ...
Read more

java - How to read a file created at runtime? -

-
using java 8. basically, in unit test (junit) have code: callsomecode(); asserttrue(new file(this.getclass().getresource("/img/dest/someimage.gif").getfile()).exists()); in callsomecode() , have this: inputstream = bodypart.getinputstream(); file f = new file("src/test/resources/img/dest/" + bodypart.getfilename()); //filename being someimage.gif fileoutputstream fos = new fileoutputstream(f); byte[] buf = new byte[40096]; int bytesread; while ((bytesread = is.read(buf)) != -1) fos.write(buf, 0, bytesread); fos.close(); the first time test runs, this.getclass().getresource("/img/dest/someimage.gif") returns null although file created. the second time (when file created during first test run overwritten), non-null , test passes. how make work first time? should configure special setup in intellij automatically refresh folder file created? note have basic maven structure: --src ----test ------resources as comment n...
Read more

php - Autoloader issue not returning Class -

-
problem? bootloader (autoloader) not seem working properly, or i'm missing something. here simplified code. the code below returns class "skeleton" not exist. on index.php file. index.php <?php include 'bootloader.php'; use skeleton\html\loginheader; $tool = new skeleton/html/loginheader(); bootloader.php <?php function boot($classname) { $filename = ''; $namespace = ''; // sets include path "src" directory $includepath = dirname(__file__).directory_separator.'src'; if (false !== ($lastnspos = strripos($classname, '\\'))) { $namespace = substr($classname, 0, $lastnspos); $classname = substr($classname, $lastnspos + 1); $filename = str_replace('\\', directory_separator, $namespace) . directory_separator; } $filename .= str_replace('_', directory_separator, $classname) . '.php'...
Read more