| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Gibbon.Language.Constants
Synopsis
- redirectionSize :: Int
- redirectionTag :: DataCon
- isRedirectionTag :: DataCon -> Bool
- redirectionAlt :: Num a => a
- indirectionTag :: DataCon
- isIndirectionTag :: DataCon -> Bool
- indirectionAlt :: Num a => a
- toAbsRANDataCon :: DataCon -> DataCon
- isAbsRANDataCon :: DataCon -> Bool
- toRelRANDataCon :: DataCon -> DataCon
- isRelRANDataCon :: DataCon -> Bool
- fromRANDataCon :: DataCon -> DataCon
- mkUnpackerName :: TyCon -> Var
- isUnpackerName :: Var -> Bool
- mkPrinterName :: TyCon -> Var
- isPrinterName :: Var -> Bool
- mkCopyFunName :: TyCon -> Var
- isCopyFunName :: Var -> Bool
- mkCopySansPtrsFunName :: TyCon -> Var
- isCopySansPtrsFunName :: Var -> Bool
- mkTravFunName :: TyCon -> Var
- isTravFunName :: Var -> Bool
- mkRelOffsetsFunName :: DataCon -> Var
- isRelOffsetsFunName :: Var -> Bool
Documentation
isRedirectionTag :: DataCon -> Bool Source #
redirectionAlt :: Num a => a Source #
isIndirectionTag :: DataCon -> Bool Source #
indirectionAlt :: Num a => a Source #
toAbsRANDataCon :: DataCon -> DataCon Source #
isAbsRANDataCon :: DataCon -> Bool Source #
toRelRANDataCon :: DataCon -> DataCon Source #
isRelRANDataCon :: DataCon -> Bool Source #
fromRANDataCon :: DataCon -> DataCon Source #
mkUnpackerName :: TyCon -> Var Source #
Map a DataCon onto the name of the generated unpack function.
isUnpackerName :: Var -> Bool Source #
mkPrinterName :: TyCon -> Var Source #
Map a DataCon onto the name of the generated print function.
isPrinterName :: Var -> Bool Source #
mkCopyFunName :: TyCon -> Var Source #
isCopyFunName :: Var -> Bool Source #
mkCopySansPtrsFunName :: TyCon -> Var Source #
isCopySansPtrsFunName :: Var -> Bool Source #
mkTravFunName :: TyCon -> Var Source #
isTravFunName :: Var -> Bool Source #
mkRelOffsetsFunName :: DataCon -> Var Source #
isRelOffsetsFunName :: Var -> Bool Source #