Idris2Doc : Data.Swirl.Console

Data.Swirl.Console

(source)
Reexports
import public Data.Swirl
import public Language.Implicits.IfUnsolved
Definitions
stdinAsChars : HasIO io => Monoid r => {auto 0 _ : IfUnsolved io IO} -> {auto 0 _ : IfUnsolved e Void} -> {auto 0 _ : IfUnsolved r ()} -> Swirl io e r Char
  Visibility: export
stdinAsLines : HasIO io => Monoid r => {auto 0 _ : IfUnsolved io IO} -> {auto 0 _ : IfUnsolved e Void} -> {auto 0 _ : IfUnsolved r ()} -> Swirl io e r String
  Visibility: export