git.iko.soy/Idris-dev
on 385dcbf help sign in
Idris-dev/test/effects005/defaultLogger.idr
14 lines 286 B history raw
1import Effects
2import Effect.Logging.Default
4doubleFunc : Nat -> Eff Nat [LOG]
5doubleFunc x = do
6 warn $ unwords ["Doing the double with", show x ]
7 pure (x+x)
9main : IO ()
10main = do
11 x <- runInit [MkLogRes ALL] (doubleFunc 3)
12 printLn x
13 y <- run (doubleFunc 4)
14 printLn y