Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
23 lines (16 sloc) 388 Bytes
{-# LANGUAGE NoImplicitPrelude #-}
module ITMOPrelude.IO where
import ITMOPrelude.Primitive
import ITMOPrelude.List
import ITMOPrelude.Categories
data RealWorld = RealWorld
{ stdIn :: List Nat
, stdOut :: List Nat
, exitCode :: Nat }
type IO a = State RealWorld a
getNat :: IO Nat
getNat = ?
putNat :: Nat -> IO ()
putNat = ?
setExitCode :: Nat -> IO ()
setExitCode = ?