IdrisDoc
: Prelude.Cast
Index
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 cast operation.