CoreUtils

Documentation

mkId :: Name -> Name -> Maybe Name -> [Attribute] -> Id Source

setIdModule :: Maybe Name -> Id -> Id Source

mkParam :: Name -> ParamDir -> Type -> Param Source

flattenDecls :: [Decl] -> [Decl]Source

reallyFlattenDecls :: [Decl] -> [Decl]Source

inSeparateHaskellModule :: Decl -> Bool Source

findFieldTy :: [Field] -> Name -> Type Source

findFieldOrigTy :: [Field] -> Name -> Type Source

findParam :: [Param] -> Name -> Param Source

findParamTy :: [Param] -> Name -> Type Source

localiseTypes :: [Decl] -> [Decl]Source

getTypeAttributes :: Type -> [Attribute]Source

getHsImports :: Id -> [QualName]Source

keepValueAsPointer :: Type -> Bool Source

isStructTy :: Type -> Bool Source

isEnumTy :: Type -> Bool Source

isPointerTy :: Type -> Bool Source

isVoidPointerTy :: Type -> Bool Source

isArrayTy :: Type -> Bool Source

isSafeArrayTy :: Type -> Bool Source

isOpenArrayTy :: Type -> Bool Source

isFunTy :: Type -> Bool Source

isBoolTy :: Type -> Bool Source

isVoidTy :: Type -> Bool Source

isPointerOrArrayTy :: Type -> Bool Source

isPtrPointerTy :: Type -> Bool Source

isRefPointerTy :: Type -> Bool Source

isUniquePointerTy :: Type -> Bool Source

isStringTy :: Type -> Bool Source

isSeqTy :: Type -> Bool Source

isAnyTy :: Type -> Bool Source

isObjectTy :: Type -> Bool Source

isConstructedTy :: Type -> Bool Source

isCompleteTy :: Type -> Bool Source

isReferenceTy :: Type -> Bool Source

isSimpleTy :: Type -> Bool Source

isIntegerTy :: Type -> Bool Source

isSynTy :: Type -> Bool Source

isAbstractTy :: Type -> Bool Source

isAbstractFinalTy :: Type -> Bool Source

isNonEncUnionTy :: Type -> Bool Source

getNonEncUnionTy :: Type -> Type Source

isUnionTy :: Type -> Bool Source

isIfaceTy :: Type -> Bool Source

isIUnknownTy :: Type -> Bool Source

isIfacePtr :: Type -> Bool Source

isVariantTy :: Type -> Bool Source

getIfaceTy :: Type -> Type Source

tyFun :: CallConv -> Result -> [Param] -> Type Source

stringTy :: Type Source

wStringTy :: Type Source

bstrTy :: Type Source

intTy :: Type Source

addrTy :: Type Source

boolTy :: Type Source

variantBoolTy :: Type Source

variantTy :: Type Source

charTy :: Type Source

wCharTy :: Type Source

int32Ty :: Type Source

int64Ty :: Type Source

word64Ty :: Type Source

shortTy :: Type Source

floatTy :: Type Source

doubleTy :: Type Source

byteTy :: Type Source

word32Ty :: Type Source

int16Ty :: Type Source

word16Ty :: Type Source

voidTy :: Type Source

currencyTy :: Type Source

dateTy :: Type Source

fileTimeTy :: Type Source

safeArrayTy :: Type -> Type Source

iUnknownTy :: Type Source

iDispatchTy :: Type Source

hresultTy :: Type Source

guidTy :: Type Source

isHRESULTTy :: Type -> Bool Source

isHRESULT :: Result -> Bool Source

mkPtrPointer :: Type -> Type Source

removePtr :: Type -> Type Source

removePtrAndArray :: Type -> Type Source

removePtrAll :: Type -> Type Source

removePtrs :: Type -> Type Source

removeNames :: Type -> Type Source

nukeNames :: Type -> Type Source

pushPointerType :: PointerType -> Type -> Type Source

hasIgnoreAttribute :: Id -> Bool Source

findPtrType :: Bool -> [Attribute] -> Type -> Type Source

mkRefPointer :: Type -> Type Source

rawPointerToIP :: Type -> Type Source

notAggregatableAttribute :: Attribute -> Bool Source

childAttributes :: [Attribute] -> [Attribute]Source

getTyTag :: Type -> Id Source

findFreeVars :: Expr -> [Name]Source

solve :: Name -> Expr -> Expr -> Expr Source

complementOp :: BinaryOp -> BinaryOp Source

isCommutative :: BinaryOp -> Bool Source

contains :: Name -> Expr -> Bool Source

evalExpr :: Expr -> Integer Source

simplifyExpr :: Env String (Either Int32 Expr) -> Expr -> Expr Source

simpRedExpr :: Env String (Either Int32 Expr) -> Type -> Expr -> Expr Source

plusOne :: Expr -> Expr Source

minusOne :: Expr -> Expr Source

add :: Expr -> Expr -> Expr Source

sizeofType :: Type -> Int Source

sizeAndAlignModulus :: Maybe Int -> Type -> (Int, Int)Source

computeStructSizeOffsets :: Maybe Int -> [Field] -> ((Int, Int), [Int])Source

align :: Int -> Int -> Int Source

data Dependent Source

Constructors

Dep DepReason [DepVal]

Instances

Show Dependent

data DepVal Source

Constructors

DepNone
DepVal (Maybe Name) Expr

Instances

Show DepVal

type DependInfo = [(Id, [Dependent])]Source

findDependents :: [Id] -> DependInfo Source

attrToDependent :: Attribute -> Dependent Source

computeArrayConstraints :: Bool -> [Dependent] -> ([DepVal], [DepVal], [DepVal])Source

isLengthIs :: Dependent -> Bool Source

isSizeIs :: Dependent -> Bool Source

isMaxIs :: Dependent -> Bool Source

isMinIs :: Dependent -> Bool Source

isFirstIs :: Dependent -> Bool Source

isLastIs :: Dependent -> Bool Source

sizeOrLength :: Dependent -> Bool Source

minOrFirst :: Dependent -> Bool Source

maxOrLast :: Dependent -> Bool Source

isSwitchIs :: Dependent -> Bool Source

lookupDepender :: DependInfo -> Id -> Maybe [Dependent]Source

isDepender :: DependInfo -> Id -> Bool Source

isDependee :: DependInfo -> Id -> Bool Source

isSwitchDependee :: DependInfo -> Id -> Bool Source

isSwitchDepender :: DependInfo -> Id -> Bool Source

isNotSwitchDependee :: DependInfo -> Id -> Bool Source

hasNonConstantExprs :: Dependent -> Bool Source

mkHaskellVarName :: Name -> Name Source

mkHaskellTyConName :: Name -> Name Source

toCType :: Type -> Either String String Source

mkIfaceTypeName :: Name -> Name Source

getInterfaceIds :: Decl -> [Id]Source

idHaskellModule :: Id -> Maybe Name Source

isMethod :: Decl -> Bool Source

isConst :: Decl -> Bool Source

isMethodOrProp :: Decl -> Bool Source

isProperty :: Decl -> Bool Source

isCoClass :: Decl -> Bool Source

dummyMethod :: Decl Source

unionToStruct :: Type -> (Maybe (Id, Type), Type)Source

binParams :: [Param] -> ([Param], [Param], [Param], [Param], [Param])Source

objParam :: Name -> Param Source

resultParam :: Type -> Param Source

iPointerParam :: Name -> Param Source

derivesFromIDispatch :: CoClassDecl -> Bool Source

toDispInterfaceMethod :: Decl -> Decl Source

sortDecls :: [Decl] -> [Decl]Source

isFinalisedType :: Bool -> Type -> Bool Source