Skip to content

Instantly share code, notes, and snippets.

@andrevidela

andrevidela/effects.idr

Created July 28, 2019 18:12
Show Gist options
  • Save andrevidela/6d68bcdf3617b3b0f2c06a7bd6d6adfb to your computer and use it in GitHub Desktop.
Save andrevidela/6d68bcdf3617b3b0f2c06a7bd6d6adfb to your computer and use it in GitHub Desktop.
Download ZIP
Raw
effects.idr
import Effects
import Effect.State
import Effect.Exception
runTest : Effects.SimpleEff.Eff a [EXCEPTION String, 'S1 ::: STATE Int, 'S2 ::: STATE Bool] -> Either String a
runTest m = runInit ['S1 := 2, 'S2 := False] m
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment