Copyright	Copyright (c) 2016 the Hakaru team
License	BSD3
Maintainer	zsulliva@indiana.edu
Stability	experimental
Portability	GHC-only
Safe Haskell	None
Language	Haskell2010

Language.Hakaru.CodeGen.Types

Description

Provides tools for building C Types from Hakaru types

Synopsis

Documentation

buildDeclaration :: CTypeSpec -> Ident -> CDecl Source #

buildDeclaration' :: [CTypeSpec] -> Ident -> CDecl Source #

buildPtrDeclaration :: CTypeSpec -> Ident -> CDecl Source #

typeDeclaration :: Sing (a :: Hakaru) -> Ident -> CDecl Source #

typePtrDeclaration :: Sing (a :: Hakaru) -> Ident -> CDecl Source #

typeName :: Sing (a :: Hakaru) -> String Source #

arrayDeclaration :: Sing (a :: Hakaru) -> Ident -> CDecl Source #

arrayStruct :: Sing (a :: Hakaru) -> CExtDecl Source #

arraySize :: CExpr -> CExpr Source #

arrayData :: CExpr -> CExpr Source #

arrayPtrSize :: CExpr -> CExpr Source #

arrayPtrData :: CExpr -> CExpr Source #

mdataDeclaration :: Sing (a :: Hakaru) -> Ident -> CDecl Source #

mdataPtrDeclaration :: Sing (a :: Hakaru) -> Ident -> CDecl Source #

mdataStruct :: Sing (a :: Hakaru) -> CExtDecl Source #

mdataStruct' :: Sing (a :: Hakaru) -> CTypeSpec Source #

mdataWeight :: CExpr -> CExpr Source #

mdataSample :: CExpr -> CExpr Source #

mdataPtrWeight :: CExpr -> CExpr Source #

mdataPtrSample :: CExpr -> CExpr Source #

datumDeclaration :: Sing (HData' t) -> Ident -> CDecl Source #

datumStruct :: Sing (HData' t) -> CExtDecl Source #

datumSum :: Sing (HData' t) -> Sing (a :: [[HakaruFun]]) -> Ident -> CDecl Source #

datumProd :: Sing (HData' t) -> Sing (a :: [HakaruFun]) -> Ident -> Maybe CDecl Source #

datumFst :: CExpr -> CExpr Source #

datumSnd :: CExpr -> CExpr Source #

functionDef :: Sing (a :: Hakaru) -> Ident -> [CDecl] -> [CDecl] -> [CStat] -> CFunDef Source #

closureDeclaration :: Sing (a :: Hakaru) -> Ident -> CDecl Source #

buildType :: Sing (a :: Hakaru) -> [CTypeSpec] Source #

buildType function do the work of describing how the Hakaru type will be stored in memory. Arrays needed their own declaration function for their arity

castTo :: [CTypeSpec] -> CExpr -> CExpr Source #

castToPtrOf :: [CTypeSpec] -> CExpr -> CExpr Source #

callStruct :: String -> CTypeSpec Source #

callStruct will give the type spec calling a struct we have already declared externally

buildStruct :: Maybe Ident -> [CDecl] -> CTypeSpec Source #

buildUnion :: [CDecl] -> CTypeSpec Source #

binaryOp :: NaryOp a -> CExpr -> CExpr -> CExpr Source #