IdrisDoc: Prelude.Cast

Prelude.Cast

interface Cast 

Interface for transforming an instance of a data type to another type.

cast : Cast from to => (orig : from) -> to

Perform a (potentially lossy!) cast operation.