Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
openFile :: FilePath -> IOMode -> SafeFiles (St h opens) (St (h + 1) (h ': opens)) (SafeHandle h) Source #
hPutChar :: Member h opens => SafeHandle h -> Char -> SafeFiles (St n opens) (St n opens) () Source #
hClose :: Member h opens => SafeHandle h -> SafeFiles (St n opens) (St n (Delete h opens)) () Source #
data SafeHandle (n :: Nat) Source #
ifThenElse :: Bool -> a -> a -> a Source #