Idris2Doc : FS.Elin

FS.Elin

(source)
Reexports
import public Control.Monad.Elin
import public FS.Pull
Definitions
pullElin : EmptyPull (Elin s) es r -> Outcome es r
  Convenience alias of `run` for running a `Pull` in the `Elin s`
  monad, producing a pure result of type `Outcome es r`.

  Visibility: export
mpullElin : Monoid r => EmptyPull (Elin s) [] r -> r
  Convenience alias of `run` for running a `Pull` in the `Elin s`
  monad, producing a pure result.

  Visibility: export
toSnocList : Stream (Elin s) [] o -> SnocList o
  Visibility: export
toList : Stream (Elin s) [] o -> List o
  Visibility: export