agda-lib-ffi-0.0.2

Safe HaskellSafe-Inferred

IO.FFI

Synopsis

Documentation

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).