search

tweag / linear-constraints

6 stars 0 forks source link

File handles without manual, explicit threading #1

Open aspiwack opened 5 years ago

aspiwack commented 5 years ago
facundominguez commented 5 years ago

In this interface

openFile  :: FilePath -> IOL (Handle h .<= Open h)
close     :: Open h =>. Handle h -> IOL ()
readLine  :: Open h =>. Handle h -> IOL (String .<= Open h)

I'm guessing that a fresh h should be provided every time openFile is used. These types don't ensure that so far.