-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Auxiliary Haskell code used by Agda's standard library.
@package agda-lib-ffi
@version 0.0.2

module IO.FFI

-- | A variant of IO with an extra dummy type parameter.
type AgdaIO a b = IO b

-- | Reads a finite file. Raises an exception if the file path refers to a
--   non-physical file (like <tt><i>dev</i>zero</tt>).
readFiniteFile :: FilePath -> IO String

module Data.FFI
type AgdaList a b = [b]
type AgdaMaybe a b = Maybe b
type AgdaEither a b c d = Either c d
data AgdaEmpty
data AgdaStream a
Cons :: a -> (AgdaStream a) -> AgdaStream a
