Safe Haskell | Safe-Infered |
---|
Documentation
type C_ModuleIdent = List C_CharSource
data C_Position Source
data C_QualIdent Source
C_Module (List C_Char) (C_Maybe (C_ExportSpec t0)) (List (C_Decl t0)) | |
C_ModuleFail C_Exceptions | |
C_ModuleOr OrRef (Branches (C_Module t0)) |
data C_ExportSpec t0 Source
C_Exporting t0 (List C_Export) | |
C_ExportSpecFail C_Exceptions | |
C_ExportSpecOr OrRef (Branches (C_ExportSpec t0)) |
Read t0 => Read (C_ExportSpec t0) | |
Show t0 => Show (C_ExportSpec t0) | |
BaseCurry t0 => BaseCurry (C_ExportSpec t0) | |
Curry t0 => Curry (C_ExportSpec t0) |
data C_ImportSpec t0 Source
C_Importing t0 (List C_Import) | |
C_Hiding t0 (List C_Import) | |
C_ImportSpecFail C_Exceptions | |
C_ImportSpecOr OrRef (Branches (C_ImportSpec t0)) |
Read t0 => Read (C_ImportSpec t0) | |
Show t0 => Show (C_ImportSpec t0) | |
BaseCurry t0 => BaseCurry (C_ImportSpec t0) | |
Curry t0 => Curry (C_ImportSpec t0) |
C_ImportDecl t0 (List C_Char) C_Bool (C_Maybe (List C_Char)) (C_Maybe (C_ImportSpec t0)) | |
C_InfixDecl t0 C_Infix C_Int (List C_Ident) | |
C_DataDecl t0 C_Ident (List C_Ident) (List (C_ConstrDecl t0)) | |
C_NewtypeDecl t0 C_Ident (List C_Ident) (C_NewConstrDecl t0) | |
C_TypeDecl t0 C_Ident (List C_Ident) C_TypeExpr | |
C_TypeSig t0 (List C_Ident) C_TypeExpr | |
C_EvalAnnot t0 (List C_Ident) C_EvalAnnotation | |
C_FunctionDecl t0 C_Ident (List (C_Equation t0)) | |
C_ExternalDecl t0 C_CallConv (C_Maybe (List C_Char)) C_Ident C_TypeExpr | |
C_FlatExternalDecl t0 (List C_Ident) | |
C_PatternDecl t0 (C_ConstrTerm t0) (C_Rhs t0) | |
C_ExtraVariables t0 (List C_Ident) | |
C_DeclFail C_Exceptions | |
C_DeclOr OrRef (Branches (C_Decl t0)) |
data C_ConstrDecl t0 Source
C_ConstrDecl t0 (List C_Ident) C_Ident (List C_TypeExpr) | |
C_ConOpDecl t0 (List C_Ident) C_TypeExpr C_Ident C_TypeExpr | |
C_ConstrDeclFail C_Exceptions | |
C_ConstrDeclOr OrRef (Branches (C_ConstrDecl t0)) |
Read t0 => Read (C_ConstrDecl t0) | |
Show t0 => Show (C_ConstrDecl t0) | |
BaseCurry t0 => BaseCurry (C_ConstrDecl t0) | |
Curry t0 => Curry (C_ConstrDecl t0) |
data C_NewConstrDecl t0 Source
C_NewConstrDecl t0 (List C_Ident) C_Ident C_TypeExpr | |
C_NewConstrDeclFail C_Exceptions | |
C_NewConstrDeclOr OrRef (Branches (C_NewConstrDecl t0)) |
Read t0 => Read (C_NewConstrDecl t0) | |
Show t0 => Show (C_NewConstrDecl t0) | |
BaseCurry t0 => BaseCurry (C_NewConstrDecl t0) | |
Curry t0 => Curry (C_NewConstrDecl t0) |
data C_EvalAnnotation Source
data C_CallConv Source
data C_TypeExpr Source
data C_Equation t0 Source
C_Equation t0 (C_Lhs t0) (C_Rhs t0) | |
C_EquationFail C_Exceptions | |
C_EquationOr OrRef (Branches (C_Equation t0)) |
Read t0 => Read (C_Equation t0) | |
Show t0 => Show (C_Equation t0) | |
BaseCurry t0 => BaseCurry (C_Equation t0) | |
Curry t0 => Curry (C_Equation t0) |
C_FunLhs C_Ident (List (C_ConstrTerm t0)) | |
C_OpLhs (C_ConstrTerm t0) C_Ident (C_ConstrTerm t0) | |
C_ApLhs (C_Lhs t0) (List (C_ConstrTerm t0)) | |
C_LhsFail C_Exceptions | |
C_LhsOr OrRef (Branches (C_Lhs t0)) |
C_SimpleRhs t0 (C_Expression t0) (List (C_Decl t0)) | |
C_GuardedRhs (List (C_CondExpr t0)) (List (C_Decl t0)) | |
C_RhsFail C_Exceptions | |
C_RhsOr OrRef (Branches (C_Rhs t0)) |
data C_CondExpr t0 Source
C_CondExpr t0 (C_Expression t0) (C_Expression t0) | |
C_CondExprFail C_Exceptions | |
C_CondExprOr OrRef (Branches (C_CondExpr t0)) |
Read t0 => Read (C_CondExpr t0) | |
Show t0 => Show (C_CondExpr t0) | |
BaseCurry t0 => BaseCurry (C_CondExpr t0) | |
Curry t0 => Curry (C_CondExpr t0) |
data C_ConstrTerm t0 Source
C_LiteralPattern C_Literal | |
C_NegativePattern C_Ident C_Literal | |
C_VariablePattern C_Ident | |
C_ConstructorPattern C_QualIdent (List (C_ConstrTerm t0)) | |
C_InfixPattern (C_ConstrTerm t0) C_QualIdent (C_ConstrTerm t0) | |
C_ParenPattern (C_ConstrTerm t0) | |
C_TuplePattern (List (C_ConstrTerm t0)) | |
C_ListPattern (List (C_ConstrTerm t0)) | |
C_AsPattern C_Ident (C_ConstrTerm t0) | |
C_LazyPattern (C_ConstrTerm t0) | |
C_FunctionPattern C_QualIdent (List (C_ConstrTerm t0)) | |
C_InfixFuncPattern (C_ConstrTerm t0) C_QualIdent (C_ConstrTerm t0) | |
C_RecordPattern (List (C_Field t0 (C_ConstrTerm t0))) (C_Maybe (C_ConstrTerm t0)) | |
C_ConstrTermFail C_Exceptions | |
C_ConstrTermOr OrRef (Branches (C_ConstrTerm t0)) |
Read t0 => Read (C_ConstrTerm t0) | |
Show t0 => Show (C_ConstrTerm t0) | |
BaseCurry t0 => BaseCurry (C_ConstrTerm t0) | |
Curry t0 => Curry (C_ConstrTerm t0) |
data C_Expression t0 Source
Read t0 => Read (C_Expression t0) | |
Show t0 => Show (C_Expression t0) | |
BaseCurry t0 => BaseCurry (C_Expression t0) | |
Curry t0 => Curry (C_Expression t0) |
data C_Statement t0 Source
C_StmtExpr (C_Expression t0) | |
C_StmtDecl (List (C_Decl t0)) | |
C_StmtBind (C_ConstrTerm t0) (C_Expression t0) | |
C_StatementFail C_Exceptions | |
C_StatementOr OrRef (Branches (C_Statement t0)) |
Read t0 => Read (C_Statement t0) | |
Show t0 => Show (C_Statement t0) | |
BaseCurry t0 => BaseCurry (C_Statement t0) | |
Curry t0 => Curry (C_Statement t0) |
C_Alt t0 (C_ConstrTerm t0) (C_Rhs t0) | |
C_AltFail C_Exceptions | |
C_AltOr OrRef (Branches (C_Alt t0)) |
C_Field t0 C_Ident t1 | |
C_FieldFail C_Exceptions | |
C_FieldOr OrRef (Branches (C_Field t0 t1)) |
c_readCurryWithParseOptions :: List C_Char -> C_FrontendParams -> State -> C_IO (C_Module (T2 C_Int C_Int))Source
c_readCurryWithParseOptions'46parse'465 :: Curry t0 => C_FrontendParams -> List C_Char -> t0 -> State -> C_IO (C_Maybe T0)Source
c_readCurryWithParseOptions'46parseCurry'465 :: C_FrontendParams -> List C_Char -> List C_Char -> State -> C_IO (C_Maybe T0)Source
c_readCurryFile'46_'35lambda3 :: Curry t49 => List C_Char -> C_Maybe (List C_Char) -> State -> C_IO t49Source
c_absoluteFileName'46_'35lambda4 :: List C_Char -> C_Bool -> State -> C_IO (C_Maybe (List C_Char))Source
c_orElseDo :: Curry t0 => C_IO (C_Maybe t0) -> C_IO (C_Maybe t0) -> State -> C_IO (C_Maybe t0)Source