flocc-pffb

Stabilityexperimental
Maintainerdeveloper@flocc.net
Safe HaskellNone

Compiler.Back.TypeNames

Description

For more information please see http://www.flocc.net/

Synopsis

Documentation

nameTy :: String -> LfTy

namedTy :: String -> [Ty] -> LfTy

eqTys :: LfTy -> LfTy

copyByVal :: Ty -> Bool

Returns true for all types that should be copied by |value rather than by pointer.

defaultInitializer :: Monad m => Ty -> Id -> GenM1 m Id

Returns the value to use when creating a fresh instance of this |type.

getTypeName :: Monad m => LfTy -> [Maybe Id] -> GenM1 m (Maybe Id)

getTypeName ty. Returns the C++ type |to use for ty, or Nothing if this type should not |be stored as a data structure.

getMPITypeName :: Monad m => Ty -> Maybe Id -> GenM1 m (Maybe (Id, Code))