def StrataDDM.Util.readInputSource (path : String) : IO String

Read from stdin if path is "-", otherwise read from file

Equations

• StrataDDM.Util.readInputSource path = if (path == "-") = true then do let stdin ← liftM IO.getStdin stdin.readToEnd else IO.FS.readFile { toString := path }

def StrataDDM.Util.readBinInputSource (path : String) : IO ByteArray

Read binary from stdin if path is "-", otherwise read from file

Equations

• StrataDDM.Util.readBinInputSource path = if (path == "-") = true then do let stdin ← liftM IO.getStdin stdin.readBinToEnd else IO.FS.readBinFile { toString := path }

def StrataDDM.Util.displayName (path : String) : String

Get display name for error messages: "<stdin>" if reading from stdin, otherwise the path

Equations

• StrataDDM.Util.displayName path = if (path == "-") = true then "<stdin>" else path