Skip to content

Instantly share code, notes, and snippets.

@yanok

yanok/TotalRun.idr

Created April 7, 2017 17:29
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save yanok/0729e4acab4be5178098807def758200 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save yanok/0729e4acab4be5178098807def758200 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
TotalRun.idr
data InfIO : Type where
Do : IO a ->
(a -> Inf InfIO) ->
InfIO
total
run : InfIO -> IO ()
run (Do x f) = do r <- x
run (f r)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment