std.effect.io

type File = <opaque>

type OpenOptions = 
    | Read
    | Write
    | Append
    | Truncate
    | Create
    | CreateNew

type IO a = <opaque>

let open_file x0 : forall a . String -> Eff [| lift : Lift IO | a |] File

let create_file x0 : forall a . String -> Eff [| lift : Lift IO | a |] File

let functor : Functor IO

let applicative : Applicative IO

let monad : Monad IO

let read : Read File

let write : Write File

let disposable : Disposable File

let flat_map x0 x1 : forall a a0 a1 . (a -> IO a0) -> IO a -> Eff [| lift : Lift IO | a1 |] a0

let wrap x0 : forall a a0 . a -> Eff [| lift : Lift IO | a0 |] a

let open_file_with x0 x1 : forall a .
        String
            -> Array
                (| Read
                | Write
                | Append
                | Truncate
                | Create
                | CreateNew)
            -> Eff [| lift : Lift IO | a |] File

let read_file_to_string x0 : forall a . String -> Eff [| lift : Lift IO | a |] String

let read_file_to_array x0 : forall a . String -> Eff [| lift : Lift IO | a |] (Array Byte)

let read_file x0 x1 : forall a . File -> Int -> Eff [| lift : Lift IO | a |] (Option (Array Byte))

let read_file_to_end x0 : forall a . File -> Eff [| lift : Lift IO | a |] (Array Byte)

let write_slice_file x0 x1 x2 x3 : forall a . File -> Array Byte -> Int -> Int -> Eff [| lift : Lift IO | a |] Int

let flush_file x0 : forall a . File -> Eff [| lift : Lift IO | a |] ()

let close_file x0 : forall a . File -> Eff [| lift : Lift IO | a |] ()

let is_file_closed : File -> Bool

let read_char : forall a . Eff [| lift : Lift IO | a |] Char

let read_line : forall a . Eff [| lift : Lift IO | a |] String

let print x0 : forall a . String -> Eff [| lift : Lift IO | a |] ()

let println x0 : forall a . String -> Eff [| lift : Lift IO | a |] ()

let flush_stdout : forall a . Eff [| lift : Lift IO | a |] ()

let eprint x0 : forall a . String -> Eff [| lift : Lift IO | a |] ()

let eprintln x0 : forall a . String -> Eff [| lift : Lift IO | a |] ()

let catch x0 x1 : forall a a0 . IO a -> (String -> IO a) -> Eff [| lift : Lift IO | a0 |] a

let throw x0 : forall a a0 . String -> Eff [| lift : Lift IO | a |] a0

let run_expr x0 : forall a .
        String -> Eff [| lift : Lift IO | a |] { value : String, typ : String }

let load_script x0 x1 : forall a . String -> String -> Eff [| lift : Lift IO | a |] String

let default_buf_len : Int