Curry.Module.CurrySyntax

Documentation

type C_Pos = T2 C_Int C_Int

type C_ModuleIdent = List C_Char

data C_Position

Constructors

C_Position (List C_Char) C_Int C_Int

C_PositionFail C_Exceptions

C_PositionOr OrRef (Branches C_Position)

Instances

Read C_Position

Show C_Position

BaseCurry C_Position

Curry C_Position

data C_Ident

Constructors

C_Ident (List C_Char) C_Int

C_IdentFail C_Exceptions

C_IdentOr OrRef (Branches C_Ident)

Instances

Read C_Ident

Show C_Ident

BaseCurry C_Ident

Curry C_Ident

data C_QualIdent

Constructors

C_UnqualIdent C_Ident

C_QualIdent (List C_Char) C_Ident

C_QualIdentFail C_Exceptions

C_QualIdentOr OrRef (Branches C_QualIdent)

Instances

Read C_QualIdent

Show C_QualIdent

BaseCurry C_QualIdent

Curry C_QualIdent

data C_Module t0

Constructors

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))

Instances

Read t0 => Read (C_Module t0)

Show t0 => Show (C_Module t0)

BaseCurry t0 => BaseCurry (C_Module t0)

Curry t0 => Curry (C_Module t0)

data C_ExportSpec t0

Constructors

C_Exporting t0 (List C_Export)

C_ExportSpecFail C_Exceptions

C_ExportSpecOr OrRef (Branches (C_ExportSpec t0))

Instances

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_Export

Constructors

C_Export C_QualIdent

C_ExportTypeWith C_QualIdent (List C_Ident)

C_ExportTypeAll C_QualIdent

C_ExportModule (List C_Char)

C_ExportFail C_Exceptions

C_ExportOr OrRef (Branches C_Export)

Instances

Read C_Export

Show C_Export

BaseCurry C_Export

Curry C_Export

data C_ImportSpec t0

Constructors

C_Importing t0 (List C_Import)

C_Hiding t0 (List C_Import)

C_ImportSpecFail C_Exceptions

C_ImportSpecOr OrRef (Branches (C_ImportSpec t0))

Instances

Read t0 => Read (C_ImportSpec t0)

Show t0 => Show (C_ImportSpec t0)

BaseCurry t0 => BaseCurry (C_ImportSpec t0)

Curry t0 => Curry (C_ImportSpec t0)

data C_Import

Constructors

C_Import C_Ident

C_ImportTypeWith C_Ident (List C_Ident)

C_ImportTypeAll C_Ident

C_ImportFail C_Exceptions

C_ImportOr OrRef (Branches C_Import)

Instances

Read C_Import

Show C_Import

BaseCurry C_Import

Curry C_Import

data C_Decl t0

Constructors

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))

Instances

Read t0 => Read (C_Decl t0)

Show t0 => Show (C_Decl t0)

BaseCurry t0 => BaseCurry (C_Decl t0)

Curry t0 => Curry (C_Decl t0)

data C_ConstrDecl t0

Constructors

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))

Instances

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

Constructors

C_NewConstrDecl t0 (List C_Ident) C_Ident C_TypeExpr

C_NewConstrDeclFail C_Exceptions

C_NewConstrDeclOr OrRef (Branches (C_NewConstrDecl t0))

Instances

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_Infix

Constructors

C_InfixL

C_InfixR

C_Infix

C_InfixFail C_Exceptions

C_InfixOr OrRef (Branches C_Infix)

Instances

Read C_Infix

Show C_Infix

BaseCurry C_Infix

Curry C_Infix

data C_EvalAnnotation

Constructors

C_EvalRigid

C_EvalChoice

C_EvalAnnotationFail C_Exceptions

C_EvalAnnotationOr OrRef (Branches C_EvalAnnotation)

Instances

Read C_EvalAnnotation

Show C_EvalAnnotation

BaseCurry C_EvalAnnotation

Curry C_EvalAnnotation

data C_CallConv

Constructors

C_CallConvPrimitive

C_CallConvCCall

C_CallConvFail C_Exceptions

C_CallConvOr OrRef (Branches C_CallConv)

Instances

Read C_CallConv

Show C_CallConv

BaseCurry C_CallConv

Curry C_CallConv

data C_TypeExpr

Constructors

C_ConstructorType C_QualIdent (List C_TypeExpr)

C_VariableType C_Ident

C_TupleType (List C_TypeExpr)

C_ListType C_TypeExpr

C_ArrowType C_TypeExpr C_TypeExpr

C_RecordType (List (T2 (List C_Ident) C_TypeExpr)) (C_Maybe C_TypeExpr)

C_TypeExprFail C_Exceptions

C_TypeExprOr OrRef (Branches C_TypeExpr)

Instances

Read C_TypeExpr

Show C_TypeExpr

BaseCurry C_TypeExpr

Curry C_TypeExpr

data C_Equation t0

Constructors

C_Equation t0 (C_Lhs t0) (C_Rhs t0)

C_EquationFail C_Exceptions

C_EquationOr OrRef (Branches (C_Equation t0))

Instances

Read t0 => Read (C_Equation t0)

Show t0 => Show (C_Equation t0)

BaseCurry t0 => BaseCurry (C_Equation t0)

Curry t0 => Curry (C_Equation t0)

data C_Lhs t0

Constructors

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))

Instances

Read t0 => Read (C_Lhs t0)

Show t0 => Show (C_Lhs t0)

BaseCurry t0 => BaseCurry (C_Lhs t0)

Curry t0 => Curry (C_Lhs t0)

data C_Rhs t0

Constructors

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))

Instances

Read t0 => Read (C_Rhs t0)

Show t0 => Show (C_Rhs t0)

BaseCurry t0 => BaseCurry (C_Rhs t0)

Curry t0 => Curry (C_Rhs t0)

data C_CondExpr t0

Constructors

C_CondExpr t0 (C_Expression t0) (C_Expression t0)

C_CondExprFail C_Exceptions

C_CondExprOr OrRef (Branches (C_CondExpr t0))

Instances

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_Literal

Constructors

C_Char C_Char

C_Int C_Ident C_Int

C_Float C_Float

C_String (List C_Char)

C_LiteralFail C_Exceptions

C_LiteralOr OrRef (Branches C_Literal)

Instances

Read C_Literal

Show C_Literal

BaseCurry C_Literal

Curry C_Literal

data C_ConstrTerm t0

Constructors

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))

Instances

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

Constructors

C_Literal C_Literal

C_Variable C_QualIdent

C_Constructor C_QualIdent

C_Paren (C_Expression t0)

C_Typed (C_Expression t0) C_TypeExpr

C_Tuple (List (C_Expression t0))

C_List (List (C_Expression t0))

C_ListCompr (C_Expression t0) (List (C_Statement t0))

C_EnumFrom (C_Expression t0)

C_EnumFromThen (C_Expression t0) (C_Expression t0)

C_EnumFromTo (C_Expression t0) (C_Expression t0)

C_EnumFromThenTo (C_Expression t0) (C_Expression t0) (C_Expression t0)

C_UnaryMinus C_Ident (C_Expression t0)

C_Apply (C_Expression t0) (C_Expression t0)

C_InfixApply (C_Expression t0) C_InfixOp (C_Expression t0)

C_LeftSection (C_Expression t0) C_InfixOp

C_RightSection C_InfixOp (C_Expression t0)

C_Lambda (List (C_ConstrTerm t0)) (C_Expression t0)

C_Let (List (C_Decl t0)) (C_Expression t0)

C_Do (List (C_Statement t0)) (C_Expression t0)

C_IfThenElse (C_Expression t0) (C_Expression t0) (C_Expression t0)

C_Case (C_Expression t0) (List (C_Alt t0))

C_RecordConstr (List (C_Field t0 (C_Expression t0)))

C_RecordSelection (C_Expression t0) C_Ident

C_RecordUpdate (List (C_Field t0 (C_Expression t0))) (C_Expression t0)

C_ExpressionFail C_Exceptions

C_ExpressionOr OrRef (Branches (C_Expression t0))

Instances

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_InfixOp

Constructors

C_InfixOp C_QualIdent

C_InfixConstr C_QualIdent

C_InfixOpFail C_Exceptions

C_InfixOpOr OrRef (Branches C_InfixOp)

Instances

Read C_InfixOp

Show C_InfixOp

BaseCurry C_InfixOp

Curry C_InfixOp

data C_Statement t0

Constructors

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))

Instances

Read t0 => Read (C_Statement t0)

Show t0 => Show (C_Statement t0)

BaseCurry t0 => BaseCurry (C_Statement t0)

Curry t0 => Curry (C_Statement t0)

data C_Alt t0

Constructors

C_Alt t0 (C_ConstrTerm t0) (C_Rhs t0)

C_AltFail C_Exceptions

C_AltOr OrRef (Branches (C_Alt t0))

Instances

Read t0 => Read (C_Alt t0)

Show t0 => Show (C_Alt t0)

BaseCurry t0 => BaseCurry (C_Alt t0)

Curry t0 => Curry (C_Alt t0)

data C_Field t0 t1

Constructors

C_Field t0 C_Ident t1

C_FieldFail C_Exceptions

C_FieldOr OrRef (Branches (C_Field t0 t1))

Instances

(Read t0, Read t1) => Read (C_Field t0 t1)

(Show t0, Show t1) => Show (C_Field t0 t1)

(BaseCurry t0, BaseCurry t1) => BaseCurry (C_Field t0 t1)

(Curry t0, Curry t1) => Curry (C_Field t0 t1)

c_readCurry :: List C_Char -> State -> C_IO (C_Module (T2 C_Int C_Int))

c_readCurryWithParseOptions :: List C_Char -> C_FrontendParams -> State -> C_IO (C_Module (T2 C_Int C_Int))

c_readCurryWithParseOptions'46parse'465 :: Curry t0 => C_FrontendParams -> List C_Char -> t0 -> State -> C_IO (C_Maybe T0)

c_readCurryWithParseOptions'46parseCurry'465 :: C_FrontendParams -> List C_Char -> List C_Char -> State -> C_IO (C_Maybe T0)

c_readCurryFile :: List C_Char -> State -> C_IO (C_Module (T2 C_Int C_Int))

c_readCurryFile'46read'4613 :: Curry t0 => List C_Char -> State -> C_IO t0

c_readCurryFile'46read'4613'46_'35lambda2 :: Curry t48 => List C_Char -> State -> C_IO t48

c_readCurryFile'46_'35lambda3 :: Curry t49 => List C_Char -> C_Maybe (List C_Char) -> State -> C_IO t49

c_writeCurryModule :: C_Module (T2 C_Int C_Int) -> State -> C_IO T0

c_writeCurryFile :: List C_Char -> C_Module (T2 C_Int C_Int) -> State -> C_IO T0

c_absoluteFileName :: List C_Char -> State -> C_IO (C_Maybe (List C_Char))

c_absoluteFileName'46_'35lambda4 :: List C_Char -> C_Bool -> State -> C_IO (C_Maybe (List C_Char))

c_orElseDo :: Curry t0 => C_IO (C_Maybe t0) -> C_IO (C_Maybe t0) -> State -> C_IO (C_Maybe t0)

c_stripSuffix :: State -> Prim (List C_Char -> State -> List C_Char)

c_absoluteFileName'46_'35lambda4_case_0 :: BaseCurry t0 => t0 -> C_Bool -> State -> C_Maybe t0

c_absoluteFileName_case_2 :: List C_Char -> C_Bool -> State -> C_IO (C_Maybe (List C_Char))

c_absoluteFileName_case_1 :: List C_Char -> C_Bool -> State -> C_IO (C_Maybe (List C_Char))