Skip to content

Instantly share code, notes, and snippets.

@sgillis
Created August 4, 2017 13:01
Show Gist options
  • Save sgillis/2e00da934d0a58d0b64db6324bb62d77 to your computer and use it in GitHub Desktop.
Save sgillis/2e00da934d0a58d0b64db6324bb62d77 to your computer and use it in GitHub Desktop.
module Main where
import Prelude
import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Console (CONSOLE, log)
import Control.Monad.Eff.Random (RANDOM, random)
main :: forall e. Eff (random :: RANDOM, console :: CONSOLE | e) Unit
main =
_main r l
_main :: forall e. Eff (random :: RANDOM | e) Number -> (String -> Eff (console :: CONSOLE | e) Unit) -> Eff (random :: RANDOM, console :: CONSOLE | e) Unit
_main r l = do
x <- r
l $ show x
r :: forall e. Eff (random :: RANDOM | e) Number
r = random
l :: forall e. String -> Eff (console :: CONSOLE | e) Unit
l = log
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment