Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/TypeSafeGoal.idr

Last active September 4, 2017 19:53
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save deque-blog/7491951f0c925a70e6a5fd53c3104a9a to your computer and use it in GitHub Desktop.
Save deque-blog/7491951f0c925a70e6a5fd53c3104a9a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
TypeSafeGoal.idr
birthDay : Event
birthDay = MkEvent "Happy BirthDay" [IntVar, StrCst " years old, ", StrVar]
-- In the REPL:
> :t logEvent birthDay -- Query the type of logEvent applied to the birthDay event
Int -> String -> String -- The type of a function expecting an integer and a string to produce a string
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment