Idris2Doc : Data.Swirl.File
Reexports
import public Data.Swirl
import public Language.Implicits.IfUnsolved
import public System.File.Error
import public System.File.ModeDefinitions
readAsChars : HasIO io => Monoid r => {auto 0 _ : IfUnsolved io IO} -> {auto 0 _ : IfUnsolved r ()} -> File -> Swirl io FileError r Char- Visibility: export
readAsLines : HasIO io => Monoid r => {auto 0 _ : IfUnsolved io IO} -> {auto 0 _ : IfUnsolved r ()} -> File -> Swirl io FileError r String- Visibility: export
readAsChunks : HasIO io => Monoid r => {auto 0 _ : IfUnsolved io IO} -> {auto 0 _ : IfUnsolved r ()} -> Nat -> File -> Swirl io FileError r String- Visibility: export
writeStr : HasIO io => Monoid r => {auto 0 _ : IfUnsolved io IO} -> {auto 0 _ : IfUnsolved r ()} -> {auto 0 _ : IfUnsolved o Void} -> File -> String -> Swirl io FileError r o- Visibility: export
withFile : HasIO io => Mode -> String -> (File -> Swirl io FileError r o) -> Swirl io FileError r o- Visibility: export
withFile' : HasIO io => Mode -> String -> (File -> Swirl io (Either FileError e) r o) -> Swirl io (Either FileError e) r o- Visibility: export