Safe Haskell	Safe
Language	Haskell98

DDC.Core.Salt.Platform

Synopsis

Documentation

data Platform Source #

Enough information about the platform to generate code for it. We need to know the pointer size and alignment constraints so that we can lay out heap objects.

Constructors

Platform
Fields platformAddrBytes :: Integer Width of an address in bytes. platformTagBytes :: Integer Width of a constructor tag in bytes. platformNatBytes :: Integer Width of a Nat in bytes (used for object sizes like size_t). platformAlignBytes :: Integer Align functions on this boundary in bytes. platformObjBytes :: Integer Minimum size of a heap object in bytes.

Instances

Show Platform Source #
Methods showsPrec :: Int -> Platform -> ShowS # show :: Platform -> String # showList :: [Platform] -> ShowS #
Pretty Platform Source #
Associated Types data PrettyMode Platform :: * # Methods pprDefaultMode :: PrettyMode Platform # ppr :: Platform -> Doc # pprPrec :: Int -> Platform -> Doc # pprModePrec :: PrettyMode Platform -> Int -> Platform -> Doc #

platform32 :: Platform Source #

32-bit platform specification.

Heap objects are aligned to 64-bit so that double-precision floats in the object payloads maintain their alignments.

platform64 :: Platform Source #

64-bit platform specification.