Idris2Doc : Prelude.Cast

Prelude.Cast

Cast : Type -> Type -> Type
Interface for transforming an instance of a data type to another type.
Parameters: from, to
Methods:
cast : (orig : from) -> to
Perform a (potentially lossy!) cast operation.
@ orig The original type

Implementations:
Castaa
Cast Int String
Cast Integer String
Cast Char String
Cast Double String
Cast Int Integer
Cast Char Integer
Cast Double Integer
Cast String Integer
CastNat Integer
Cast Bits8 Integer
Cast Bits16 Integer
Cast Bits32 Integer
Cast Bits64 Integer
Cast Integer Int
Cast Char Int
Cast Double Int
Cast String Int
CastNat Int
Cast Bits8 Int
Cast Bits16 Int
Cast Bits32 Int
Cast Bits64 Int
Cast Int Char
Cast Int Double
Cast Integer Double
Cast String Double
CastNat Double
Cast Int Bits8
Cast Integer Bits8
Cast Bits16 Bits8
Cast Bits32 Bits8
Cast Bits64 Bits8
Cast Int Bits16
Cast Integer Bits16
Cast Bits8 Bits16
Cast Bits32 Bits16
Cast Bits64 Bits16
Cast Int Bits32
Cast Integer Bits32
Cast Bits8 Bits32
Cast Bits16 Bits32
Cast Bits64 Bits32
Cast Int Bits64
Cast Integer Bits64
Cast Bits8 Bits64
Cast Bits16 Bits64
Cast Bits32 Bits64
cast : Castfromto => from -> to
Perform a (potentially lossy!) cast operation.
@ orig The original type