Wrapl, The Programming Language

Libraries IO.Special

Types

EmptyT

Inherits from:

IO.Stream.TextReaderT, IO.Stream.TextWriterT, IO.Stream.ReaderT, IO.Stream.WriterT, IO.Stream.SeekerT, IO.Stream.T

FullT

Inherits from:

IO.Stream.TextReaderT, IO.Stream.TextWriterT, IO.Stream.ReaderT, IO.Stream.WriterT, IO.Stream.SeekerT, IO.Stream.T

RandomT

Inherits from:

IO.Posix.ReaderT, IO.Posix.SeekerT, IO.Posix.T, IO.Stream.ReaderT, IO.Stream.SeekerT, IO.Stream.T

Constants

Empty : EmptyT

Full : FullT

Random : IO.Stream.T

URandom : IO.Stream.T

Methods

:close(_ @ FullT)

:close(_ @ EmptyT)

:eoi(_ @ FullT)

:eoi(_ @ EmptyT)

:flush(_ @ FullT)

:flush(_ @ EmptyT)

:read(_ @ FullT, _ @ Std.Address.T, _ @ Std.Integer.SmallT)

:read(_ @ EmptyT, _ @ Std.Address.T, _ @ Std.Integer.SmallT)

:seek(_ @ FullT, _ @ Std.Integer.SmallT, _ @ IO.Stream.SeekModeT)

:seek(_ @ EmptyT, _ @ Std.Integer.SmallT, _ @ IO.Stream.SeekModeT)

:write(_ @ FullT, _ @ Std.Address.T, _ @ Std.Integer.SmallT)

:write(_ @ EmptyT, _ @ Std.Address.T, _ @ Std.Integer.SmallT)