| 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