Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
Idris> :doc Cast
Interface Cast
Interface for transforming an instance of a data type to another type.
from, to
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