| License | BSD-style |
|---|---|
| Maintainer | Haskell Foundation |
| Safe Haskell | None |
| Language | Haskell2010 |
Basement.Cast
Description
Synopsis
- class Cast source destination where
Documentation
class Cast source destination where Source #
Cast an object of type a to b.
Do not add instance of this class if the source type is not of the same size of the destination type. Also keep in mind this is casting a value of a given type into a destination type. The value won't be changed to fit the destination represention.
If you wish to convert a value of a given type into another type, look at
From and TryFrom.
cast (-10 :: Int) :: Word === 18446744073709551606
Methods
cast :: source -> destination Source #
cast :: (PrimType source, PrimType destination, PrimSize source ~ PrimSize destination) => source -> destination Source #
Instances
| Cast Int Int64 Source # | |
| Cast Int Word Source # | |
| Cast Int Word64 Source # | |
| Cast Int8 Word8 Source # | |
| Cast Int16 Word16 Source # | |
| Cast Int32 Word32 Source # | |
| Cast Int64 Int Source # | |
| Cast Int64 Word Source # | |
| Cast Int64 Word64 Source # | |
| Cast Word Int Source # | |
| Cast Word Int64 Source # | |
| Cast Word Word64 Source # | |
| Cast Word8 Int8 Source # | |
| Cast Word16 Int16 Source # | |
| Cast Word32 Int32 Source # | |
| Cast Word64 Int Source # | |
| Cast Word64 Int64 Source # | |
| Cast Word64 Word Source # | |
| Cast (Block a) (Block Word8) Source # | |