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