athan 2017-02-07 20:07:42
edwardk: Do you happen to have your mmorph++ library hosted?
athan 2017-02-07 20:15:21
Is it possible to lens into a lens? Where you can partition the lens given you have an "identical" prefix or something?
athan 2017-02-07 20:15:46
given that you have some different kind of lens design (more data oriented) than Control.Lens I mean
athan 2017-02-07 20:23:09
Like given you have some lens from `a -> c` (like Lens' a c), and another lens `a -> b`, then you could use `over` with some new `b -> d`, and turn `a -> c` into `a -> d`, given that the `a -> b` lens is a bona-fide prefix of the `a -> c` one
athan 2017-02-07 20:23:22
idk this is probably impossible (quote unquote)
athan 2017-02-07 20:23:37
due to existentials and dynamic types or something
athan 2017-02-07 20:23:52
maybe actually... type-level lenses or something bananas?
osa1 2017-02-07 20:32:03
does this error message look familliar to anyone: "Error in $: endOfInput" this is from parsec
halogenandtoast 2017-02-07 20:32:58
osa1: If I had to guess I'd say that it was expecting more input and instead read an endOfInput character
osa1 2017-02-07 20:33:36
halogenandtoast: but it doesn't expect more input. full error message is three lines: unexpected end of input; expecting end of input; Error in $: endOfInput
osa1 2017-02-07 20:33:44
I have no idea what it's trying to say
halogenandtoast 2017-02-07 20:34:52
Do you have any code you can paste (with the example you are parsing)?
halogenandtoast 2017-02-07 20:36:52
also where is the `endOfInput` function coming from?
osa1 2017-02-07 20:37:12
I don't know; certainly not my function
osa1 2017-02-07 20:37:33
this is just `manyTill anyChar (try (string "...")) <* eof`
osa1 2017-02-07 20:38:19
stream is Text
