write file idris2

mywrite.idr

module Main
import System.File

main : IO ()
main = do myFile <- openFile "out_string.txt" WriteTruncate
          case myFile of
              Right c => fPutStr myFile "Alpha Beta"
              Left err => printLn err
          closeFile myFile
    

module Main
import System.File

main : IO ()
main = do myFile <- openFile "out_string.txt" WriteTruncate
          case myFile of
              Right c => do fPutStr c "Alpha Beta"
                            closeFile c
              Left err => printLn err