implementation module Platform import Data.Error import StdMisc, StdOverloaded, StdString import System.Directory getDevices :: !*World -> !*([String], !*World) getDevices w = case readDirectory "/dev" w of (Error (errcode, errmsg), w) = abort errmsg (Ok entries, w) = (entries, w)