Curry.Module.PrettyFlat

Documentation

type C_Precs = List (T2 (T2 (List C_Char) (List C_Char)) C_Int)

c_prelude :: State -> List C_Char

c_arrow :: State -> C_Doc

c_bar :: State -> C_Doc

c_dcolon :: State -> C_Doc

c_precFillEncloseSep :: C_Int -> C_Int -> C_Doc -> C_Doc -> C_Doc -> List C_Doc -> State -> C_Doc

c_precFillEncloseSep'46pre'4611 :: C_Int -> C_Int -> C_Doc -> State -> C_Doc

c_isInfixName :: T2 (List C_Char) (List C_Char) -> State -> C_Bool

c_infixIDs :: State -> List C_Char

c_isTupleName :: T2 (List C_Char) (List C_Char) -> State -> C_Bool

c_showStyledProg :: State -> Prim (C_Prog -> State -> List C_Char)

c_prettyProg :: C_Int -> State -> Prim (C_Prog -> State -> List C_Char)

c_prettyTypeExpr :: List C_Char -> State -> Prim (C_TypeExpr -> State -> List C_Char)

c_prettyTypes :: List C_Char -> State -> Prim (List C_TypeDecl -> State -> List C_Char)

c_prettyOps :: State -> Prim (List C_OpDecl -> State -> List C_Char)

c_showProg :: State -> Prim (C_Prog -> State -> List C_Char)

c_printStyledProg :: List C_Char -> State -> C_IO T0

c_mainPrint :: State -> C_IO T0

c_printProg :: List C_Char -> State -> C_IO T0

c_keyword :: State -> Prim (List C_Char -> State -> C_Doc)

c_consname :: State -> Prim (List C_Char -> State -> C_Doc)

c_operator :: State -> Prim (C_Doc -> State -> C_Doc)

c_literal :: State -> Prim (C_Doc -> State -> C_Doc)

c_marked :: State -> Prim (C_Doc -> State -> C_Doc)

c_block :: State -> Prim (C_Doc -> State -> C_Doc)

c_def :: C_Doc -> List C_Int -> C_Doc -> State -> C_Doc

c_app :: C_Doc -> List C_Doc -> State -> C_Doc

c_layout :: State -> Prim (List C_Doc -> State -> C_Doc)

c_qname :: List C_Char -> T2 (List C_Char) (List C_Char) -> State -> C_Doc

c_qname'46txt'4665 :: List C_Char -> State -> C_Doc

c_correctName :: List C_Char -> State -> List C_Char

op_60_36_62_62 :: C_Doc -> C_Doc -> State -> C_Doc

c_progDoc :: C_Prog -> State -> C_Doc

c_precs :: State -> Prim (List C_OpDecl -> State -> List (T2 (T2 (List C_Char) (List C_Char)) C_Int))

c_precs'46_'35lambda3 :: C_OpDecl -> State -> T2 (T2 (List C_Char) (List C_Char)) C_Int

c_exportedNames :: List C_Char -> C_Prog -> State -> List C_Doc

c_exportedNames'46typeExpDoc'4689 :: List C_Char -> C_TypeDecl -> State -> C_Doc

c_exportedNames'46typeExpDoc'4689'46_'35lambda4 :: T2 (List C_Char) (List C_Char) -> C_Visibility -> List C_Int -> List C_ConsDecl -> State -> List C_ConsDecl

c_exportedNames'46typeExpDoc'4689'46_'35lambda5 :: Curry t1 => T2 (List C_Char) (List C_Char) -> C_Visibility -> List C_Int -> C_TypeExpr -> State -> List t1

c_moduleHeaderDoc :: List C_Char -> List C_Doc -> State -> C_Doc

c_exportsDoc :: List C_Doc -> State -> C_Doc

c_impsDoc :: List (List C_Char) -> State -> C_Doc

c_opsDoc :: List C_OpDecl -> State -> C_Doc

c_opDoc :: C_OpDecl -> State -> C_Doc

c_opDoc'46fixDoc'46114 :: C_Fixity -> State -> C_Doc

c_typesDoc :: List C_Char -> State -> Prim (List C_TypeDecl -> State -> C_Doc)

c_typeDoc :: List C_Char -> C_TypeDecl -> State -> C_Doc

c_varDoc :: State -> Prim (C_Int -> State -> C_Doc)

c_tvarDoc :: C_Int -> State -> C_Doc

c_consDeclsDoc :: List C_Char -> State -> Prim (List C_ConsDecl -> State -> C_Doc)

c_consDeclDoc :: List C_Char -> C_ConsDecl -> State -> C_Doc

c_typeExprDoc :: List C_Char -> C_Bool -> C_TypeExpr -> State -> C_Doc

c_par :: C_Bool -> State -> Prim (C_Doc -> State -> C_Doc)

c_funcsDoc :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> List C_Char -> List C_FuncDecl -> State -> C_Doc

c_funcDoc :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> List C_Char -> C_FuncDecl -> State -> C_Doc

c_funcTypeDeclDoc :: List C_Char -> T2 (List C_Char) (List C_Char) -> C_TypeExpr -> State -> C_Doc

c_funcTypeDoc :: List C_Char -> List C_TypeExpr -> C_TypeExpr -> State -> C_Doc

c_ruleDoc :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> List C_Char -> T2 (List C_Char) (List C_Char) -> C_Rule -> State -> C_Doc

c_expDoc :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> C_Int -> List C_Char -> C_Bool -> C_Expr -> State -> C_Doc

c_expDoc'46_'35lambda6 :: List C_Char -> List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> List C_Expr -> State -> C_Doc

c_expDoc'46_'35lambda7 :: List C_Char -> State -> C_Doc

c_expDoc2 :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> C_Int -> List C_Char -> C_Bool -> C_Expr -> State -> C_Doc

c_expDoc2'46_'35selFP3'35lbr :: T2 C_Doc C_Doc -> State -> C_Doc

c_expDoc2'46_'35selFP4'35rbr :: T2 C_Doc C_Doc -> State -> C_Doc

c_branchDoc :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> List C_Char -> C_BranchExpr -> State -> C_Doc

c_caseTypeDoc :: C_CaseType -> State -> C_Doc

c_patternDoc :: List C_Char -> C_Pattern -> State -> C_Doc

c_letBindsDoc :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> List C_Char -> State -> Prim (List (T2 C_Int C_Expr) -> State -> C_Doc)

c_letBindDoc :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> List C_Char -> T2 C_Int C_Expr -> State -> C_Doc

c_litDoc :: C_Literal -> State -> C_Doc

c_quoteChar :: C_Char -> State -> List C_Char

c_specialChars :: State -> List (T2 C_Char (List C_Char))

c_toString :: C_Expr -> State -> C_Maybe (List C_Char)

c_toList :: C_Expr -> State -> C_Maybe (List C_Expr)

c_elimApp :: State -> Prim (C_Expr -> State -> C_Expr)

c_elimApp'46extend'46276 :: C_Expr -> C_Expr -> State -> C_Expr

c_elimApp'46elim'46276 :: C_CombType -> T2 (List C_Char) (List C_Char) -> List C_Expr -> State -> C_Expr

c_elimApp'46elim'46276_case_1 :: C_CombType -> T2 (List C_Char) (List C_Char) -> List C_Expr -> C_Bool -> State -> C_Expr

c_elimApp'46elim'46276_case_0 :: C_CombType -> T2 (List C_Char) (List C_Char) -> List C_Expr -> C_Bool -> State -> C_Expr

c_toList_case_29 :: T2 (List C_Char) (List C_Char) -> List C_Expr -> C_CombType -> State -> C_Maybe (List C_Expr)

c_toList_case_28 :: List C_Expr -> T2 (List C_Char) (List C_Char) -> State -> C_Maybe (List C_Expr)

c_toList_case_27 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Expr)

c_toList_case_26 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Expr)

c_toList_case_25 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Expr)

c_toList_case_24 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Expr)

c_toList_case_23 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Expr)

c_toList_case_22 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Expr)

c_toList_case_21 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Expr)

c_toList_case_20 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Expr)

c_toList_case_19 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Expr)

c_toList_case_18 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Expr)

c_toList_case_17 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Expr)

c_toList_case_16 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Expr)

c_toList_case_15 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Expr)

c_toList_case_14 :: BaseCurry t1 => List C_Expr -> List C_Char -> t -> List t1 -> C_Bool -> State -> C_Maybe (List C_Expr)

c_toList_case_13 :: BaseCurry t => List C_Expr -> List C_Char -> List t -> State -> C_Maybe (List C_Expr)

c_toList_case_12 :: List C_Expr -> List C_Char -> State -> C_Maybe (List C_Expr)

c_toList_case_11 :: List C_Expr -> C_Char -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Expr)

c_toList_case_6 :: BaseCurry t1 => List C_Expr -> t -> List t1 -> C_Bool -> State -> C_Maybe (List C_Expr)

c_toList_case_5 :: BaseCurry t => List C_Expr -> List t -> State -> C_Maybe (List C_Expr)

c_toList_case_4 :: List C_Expr -> State -> C_Maybe (List C_Expr)

c_toList_case_3 :: C_Expr -> List C_Expr -> State -> C_Maybe (List C_Expr)

c_toList_case_2 :: BaseCurry t => C_Expr -> C_Expr -> List t -> State -> C_Maybe (List C_Expr)

c_toList_case_10 :: (BaseCurry t0, BaseCurry t) => List t -> List C_Char -> State -> C_Maybe (List t0)

c_toList_case_9 :: (BaseCurry t2, BaseCurry t0, BaseCurry t1) => List t2 -> t -> List t1 -> C_Bool -> State -> C_Maybe (List t0)

c_toList_case_8 :: (BaseCurry t, BaseCurry t0, BaseCurry t1) => List t1 -> List t -> State -> C_Maybe (List t0)

c_toList_case_7 :: (BaseCurry t, BaseCurry t0) => List t -> State -> C_Maybe (List t0)

c_toString_case_59 :: T2 (List C_Char) (List C_Char) -> List C_Expr -> C_CombType -> State -> C_Maybe (List C_Char)

c_toString_case_58 :: List C_Expr -> T2 (List C_Char) (List C_Char) -> State -> C_Maybe (List C_Char)

c_toString_case_57 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Char)

c_toString_case_56 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Char)

c_toString_case_55 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Char)

c_toString_case_54 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Char)

c_toString_case_53 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Char)

c_toString_case_52 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Char)

c_toString_case_51 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Char)

c_toString_case_50 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Char)

c_toString_case_49 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Char)

c_toString_case_48 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Char)

c_toString_case_47 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Char)

c_toString_case_46 :: List C_Expr -> List C_Char -> t -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Char)

c_toString_case_45 :: List C_Expr -> List C_Char -> List C_Char -> State -> C_Maybe (List C_Char)

c_toString_case_44 :: BaseCurry t1 => List C_Expr -> List C_Char -> t -> List t1 -> C_Bool -> State -> C_Maybe (List C_Char)

c_toString_case_43 :: BaseCurry t => List C_Expr -> List C_Char -> List t -> State -> C_Maybe (List C_Char)

c_toString_case_42 :: List C_Expr -> List C_Char -> State -> C_Maybe (List C_Char)

c_toString_case_41 :: List C_Expr -> C_Char -> List C_Char -> C_Bool -> State -> C_Maybe (List C_Char)

c_toString_case_36 :: BaseCurry t1 => List C_Expr -> t -> List t1 -> C_Bool -> State -> C_Maybe (List C_Char)

c_toString_case_35 :: BaseCurry t => List C_Expr -> List t -> State -> C_Maybe (List C_Char)

c_toString_case_34 :: List C_Expr -> State -> C_Maybe (List C_Char)

c_toString_case_33 :: List C_Expr -> C_Expr -> State -> C_Maybe (List C_Char)

c_toString_case_32 :: List C_Expr -> C_Literal -> State -> C_Maybe (List C_Char)

c_toString_case_31 :: C_Char -> List C_Expr -> State -> C_Maybe (List C_Char)

c_toString_case_30 :: BaseCurry t => C_Char -> C_Expr -> List t -> State -> C_Maybe (List C_Char)

c_toString_case_40 :: (BaseCurry t0, BaseCurry t) => List t -> List C_Char -> State -> C_Maybe (List t0)

c_toString_case_39 :: (BaseCurry t2, BaseCurry t0, BaseCurry t1) => List t2 -> t -> List t1 -> C_Bool -> State -> C_Maybe (List t0)

c_toString_case_38 :: (BaseCurry t, BaseCurry t0, BaseCurry t1) => List t1 -> List t -> State -> C_Maybe (List t0)

c_toString_case_37 :: (BaseCurry t, BaseCurry t0) => List t -> State -> C_Maybe (List t0)

c_patternDoc_case_63 :: List C_Char -> T2 (List C_Char) (List C_Char) -> List C_Int -> C_Bool -> State -> C_Doc

c_patternDoc_case_62 :: List C_Char -> T2 (List C_Char) (List C_Char) -> List C_Int -> C_Bool -> State -> C_Doc

c_patternDoc_case_61 :: List C_Char -> T2 (List C_Char) (List C_Char) -> List C_Int -> C_Bool -> State -> C_Doc

c_patternDoc_case_60 :: List C_Char -> T2 (List C_Char) (List C_Char) -> List C_Int -> C_Bool -> State -> C_Doc

c_expDoc2_case_64 :: C_Bool -> State -> T2 C_Doc C_Doc

c_expDoc2_case_65 :: t -> t1 -> C_Maybe C_Int -> State -> C_Int

c_expDoc2_case_69 :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> C_Int -> List C_Char -> C_Bool -> C_CombType -> T2 (List C_Char) (List C_Char) -> List C_Expr -> T2 C_Doc C_Doc -> C_Int -> C_Bool -> State -> C_Doc

c_expDoc2_case_68 :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> C_Int -> List C_Char -> C_Bool -> t -> T2 (List C_Char) (List C_Char) -> List C_Expr -> T2 C_Doc C_Doc -> C_Int -> C_Bool -> State -> C_Doc

c_expDoc2_case_67 :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> C_Int -> List C_Char -> C_Bool -> T2 (List C_Char) (List C_Char) -> List C_Expr -> T2 C_Doc C_Doc -> C_Int -> C_Bool -> State -> C_Doc

c_expDoc2_case_66 :: List (T2 (T2 (List C_Char) (List C_Char)) C_Int) -> List C_Char -> C_Bool -> T2 (List C_Char) (List C_Char) -> List C_Expr -> C_Bool -> State -> C_Doc

c_expDoc'46_'35lambda7_case_70 :: List C_Char -> C_Bool -> State -> C_Doc

c_typeExprDoc_case_74 :: List C_Char -> C_Bool -> T2 (List C_Char) (List C_Char) -> List C_TypeExpr -> C_Bool -> State -> C_Doc

c_typeExprDoc_case_73 :: List C_Char -> C_Bool -> T2 (List C_Char) (List C_Char) -> List C_TypeExpr -> C_Bool -> State -> C_Doc

c_typeExprDoc_case_72 :: List C_Char -> C_Bool -> T2 (List C_Char) (List C_Char) -> List C_TypeExpr -> C_Bool -> State -> C_Doc

c_typeExprDoc_case_71 :: List C_Char -> C_Bool -> T2 (List C_Char) (List C_Char) -> List C_TypeExpr -> C_Bool -> State -> C_Doc

c_tvarDoc_case_76 :: C_Int -> C_Bool -> State -> C_Doc

c_tvarDoc_case_75 :: C_Int -> C_Bool -> State -> C_Doc

c_opDoc_case_78 :: C_Fixity -> C_Int -> T2 (List C_Char) (List C_Char) -> State -> C_Doc

c_opDoc_case_77 :: t -> List C_Char -> C_Bool -> State -> List C_Char

c_exportedNames'46typeExpDoc'4689_case_79 :: t -> C_Bool -> State -> C_Doc

c_correctName_case_81 :: List C_Char -> State -> List C_Char

c_correctName_case_80 :: BaseCurry b => b -> t -> b -> C_Bool -> State -> b

c_qname'46txt'4665_case_82 :: C_Char -> List C_Char -> C_Bool -> State -> C_Doc

c_qname_case_87 :: List C_Char -> T2 (List C_Char) (List C_Char) -> List C_Char -> List C_Char -> C_Bool -> State -> C_Doc

c_qname_case_86 :: List C_Char -> t -> List C_Char -> List C_Char -> C_Bool -> State -> C_Doc

c_qname_case_84 :: List C_Char -> List C_Char -> List C_Char -> C_Bool -> State -> C_Doc

c_qname_case_83 :: t -> List C_Char -> List C_Char -> C_Bool -> State -> C_Doc

c_qname_case_85 :: t -> List C_Char -> List C_Char -> C_Bool -> State -> C_Doc

c_app_case_88 :: C_Doc -> List C_Doc -> C_Bool -> State -> C_Doc

c_def_case_89 :: List C_Int -> C_Bool -> State -> C_Doc

c_precFillEncloseSep'46pre'4611_case_90 :: t -> t1 -> C_Doc -> C_Bool -> State -> C_Doc