curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Source code Contents Index

IL.XML

Documentation

level :: Int Source

xmlModule :: CurryEnv -> Module -> Doc Source

xmlBody :: CurryEnv -> Module -> Doc Source

xmlModuleDecl :: ModuleIdent -> Doc Source

xmlImportDecl :: ModuleIdent -> Doc Source

xmlTypeDecl :: Decl -> Doc Source

xmlTypeParams :: Int -> Doc Source

xmlConstructor :: ConstrDecl [Type] -> Doc Source

xmlConstructorBegin :: QualIdent -> Int -> Doc Source

xmlHeadingWithArity :: String -> QualIdent -> Int -> Bool -> Doc Source

xmlType :: Type -> Doc Source

xmlTypeConsBegin :: QualIdent -> Bool -> Doc Source

xmlTypeVar :: Int -> Doc Source

xmlTypeFun :: Type -> Type -> Doc Source

xmlFunctionDecl :: Decl -> Doc Source

xmlBeginFunction :: QualIdent -> Int -> Type -> Doc Source

xmlEndFunction :: Doc Source

xmlFunctionArity :: Type -> Int Source

xmlRule :: [Ident] -> Expression -> Doc Source

xmlLhs :: [Ident] -> Doc Source

xmlRhs :: [Ident] -> Expression -> Doc Source

xmlExpr :: [(Int, Ident)] -> Expression -> (Doc, [(Int, Ident)]) Source

xmlSingleApp :: QualIdent -> Int -> Bool -> Doc Source

xmlCombHeading :: Doc -> Doc -> Bool -> Doc Source

xmlExprVar :: [(Int, Ident)] -> Ident -> (Doc, [(Int, Ident)]) Source

xmlApply :: [(Int, Ident)] -> Expression -> (Expression, [Expression]) -> (Doc, [(Int, Ident)]) Source

xmlApplyFunctor :: [(Int, Ident)] -> QualIdent -> Int -> [Expression] -> Bool -> (Doc, [(Int, Ident)]) Source

xmlCombApply :: [(Int, Ident)] -> Doc -> Doc -> Int -> [Expression] -> (Doc, [(Int, Ident)]) Source

xmlAppArgs :: Expression -> (Expression, [Expression]) Source

xmlCase :: [(Int, Ident)] -> Eval -> Expression -> [Alt] -> (Doc, [(Int, Ident)]) Source

xmlOr :: [(Int, Ident)] -> Expression -> Expression -> (Doc, [(Int, Ident)]) Source

xmlBranch :: [(Int, Ident)] -> Alt -> (Doc, [(Int, Ident)]) Source

xmlPattern :: [(Int, Ident)] -> ConstrTerm -> (Doc, [(Int, Ident)]) Source

xmlConsPattern :: [(Int, Ident)] -> QualIdent -> [Ident] -> (Doc, [(Int, Ident)]) Source

xmlFree :: [(Int, Ident)] -> Ident -> Expression -> (Doc, [(Int, Ident)]) Source

xmlLet :: [(Int, Ident)] -> Binding -> Expression -> (Doc, [(Int, Ident)]) Source

xmlBinding :: [(Int, Ident)] -> Binding -> (Doc, [(Int, Ident)]) Source

xmlLetrec :: [(Int, Ident)] -> [Binding] -> Expression -> (Doc, [(Int, Ident)]) Source

splitDecls :: [Decl] -> ([Decl], [Decl]) Source

xmlElement :: Eq a => String -> (a -> Doc) -> [a] -> Doc Source

xmlLines :: (a -> Doc) -> [a] -> Doc Source

xmlMapDicc :: [(Int, Ident)] -> ([(Int, Ident)] -> a -> (Doc, [(Int, Ident)])) -> [a] -> ([Doc], [(Int, Ident)]) Source

xmlBuildDicc :: [Ident] -> [(Int, Ident)] Source

xmlLookUp :: Ident -> [(Int, Ident)] -> Int Source

xmlNewVar :: [(Int, Ident)] -> Int Source

xmlVar :: Int -> Doc Source

xmlLiteral :: Doc -> Doc Source

xmlLitPattern :: Doc -> Doc Source

xmlLit :: Literal -> Doc Source

xmlOperatorDecl :: IDecl -> Doc Source

xmlFixity :: Infix -> Doc Source

xmlTranslationDecl :: QualIdent -> Doc Source

xmlIdent :: Ident -> Doc Source

xmlInt :: Int -> Doc Source

xmlInteger :: Integer -> Doc Source

xmlFloat :: Double -> Doc Source

xmlQualIdent :: QualIdent -> Doc Source

xmlModuleIdent :: ModuleIdent -> Doc Source

xmlFormat :: String -> String Source

qualIDeclId :: ModuleIdent -> [QualIdent] -> IDecl -> [QualIdent] Source

qualConstrDeclId :: ModuleIdent -> [QualIdent] -> ConstrDecl -> [QualIdent] Source

qualNewConstrDeclId :: ModuleIdent -> [QualIdent] -> NewConstrDecl -> [QualIdent] Source

Produced by Haddock version 2.4.2