Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/cast_interface.idr

Created June 13, 2017 12:22
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/d6cf0c9a6599b4261bcaf4e4c1a4ef6d to your computer and use it in GitHub Desktop.
Save deque-blog/d6cf0c9a6599b4261bcaf4e4c1a4ef6d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
cast_interface.idr
Idris> :doc Cast
Interface Cast
Interface for transforming an instance of a data type to another type.
Parameters:
from, to
Methods:
cast : Cast from to => (orig : from) -> to
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment