Skip to content

Instantly share code, notes, and snippets.

@markhibberd

markhibberd/capture.idr

Created April 27, 2014 13:14
Show Gist options
  • Save markhibberd/11345304 to your computer and use it in GitHub Desktop.
Save markhibberd/11345304 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
capture.idr
import Effect.System
data Capture : Effect where
Try : { current ==> {ok} (case ok of
Just n => Vect n String
Nothing => current) } Capture (Maybe Nat)
CAPTURE : Nat -> EFFECT
CAPTURE n = MkEff (Vect n String) Capture
@markhibberd
Copy link
Author

./src/TicTacType/Play.idr:6:7:When elaborating constructor Try:
Can't infer type for n

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment