agda-lib-ffi-0.0.2
IO.FFI
Synopsis
type AgdaIO a b = IO bSource
A variant of IO with an extra dummy type parameter.
readFiniteFile :: FilePath -> IO StringSource
Reads a finite file. Raises an exception if the file path refers to a non-physical file (like devzero).
devzero