View on GitHub

Magma Utils

Adds some basic functionality missing from

IO

ReadLines (F :: File)

ReadLines (F :: MonStgElt)

-> []

The lines of F.

Parameters

TouchFile (filename :: MonStgElt)

Ensures the file exists.