Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
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