Equations
- System.Posix.instBEqFd.beq { fd := a } { fd := b } = (a == b)
- System.Posix.instBEqFd.beq x✝¹ x✝ = false
Instances For
@[implicit_reducible]
Equations
@[implicit_reducible]
Equations
- System.Posix.instReprFd = { reprPrec := System.Posix.instReprFd.repr }
Equations
- System.Posix.instReprFd.repr x✝ prec✝ = Std.Format.bracket "{ " (Std.Format.nil ++ Std.Format.text "fd" ++ Std.Format.text " := " ++ (Std.Format.nest 6 (repr x✝.fd)).group) " }"
Instances For
@[implicit_reducible]
Equations
Equations
Instances For
@[implicit_reducible]
Close a file descriptor.
Equations
Instances For
@[implicit_reducible]
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
Get file status. $$\text{getFileStatus} : \text{String} \to \text{IO}(\text{FileStatus})$$
Equations
- One or more equations did not get rendered due to their size.