DDC.Core.Salt.Platform

Documentation

data Platform

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

Methods

showsPrec :: Int -> Platform -> ShowS

show :: Platform -> String

showList :: [Platform] -> ShowS

Pretty Platform

Associated Types

data PrettyMode Platform :: *

Methods

pprDefaultMode :: PrettyMode Platform

ppr :: Platform -> Doc

pprPrec :: Int -> Platform -> Doc

pprModePrec :: PrettyMode Platform -> Int -> Platform -> Doc

platform32 :: Platform

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

64-bit platform specification.