Module Curry.Types

Exported Datatypes

This datatype is copied from curry-base.

Constructors:

• Module :: SpanInfo -> LayoutInfo -> [ModulePragma] -> ModuleIdent -> (Maybe ExportSpec) -> [ImportDecl] -> [Decl a] -> Module a

Known instances:

• HasSpanInfo (Module a)
• Eq a => Eq (Module a)
• Read a => Read (Module a)
• Show a => Show (Module a)

Constructors:

• LanguagePragma :: SpanInfo -> [Extension] -> ModulePragma
• OptionsPragma :: SpanInfo -> (Maybe Tool) -> String -> ModulePragma

Known instances:

• HasSpanInfo ModulePragma
• Eq ModulePragma
• Read ModulePragma
• Show ModulePragma

Constructors:

• Exporting :: SpanInfo -> [Export] -> ExportSpec

Known instances:

• HasSpanInfo ExportSpec
• Eq ExportSpec
• Read ExportSpec
• Show ExportSpec

Constructors:

• Export :: SpanInfo -> QualIdent -> Export
• ExportTypeWith :: SpanInfo -> QualIdent -> [Ident] -> Export
• ExportTypeAll :: SpanInfo -> QualIdent -> Export
• ExportModule :: SpanInfo -> ModuleIdent -> Export

Known instances:

• HasSpanInfo Export
• Eq Export
• Read Export
• Show Export

Constructors:

• ImportDecl :: SpanInfo -> ModuleIdent -> Qualified -> (Maybe ModuleIdent) -> (Maybe ImportSpec) -> ImportDecl

Known instances:

• HasSpanInfo ImportDecl
• Eq ImportDecl
• Read ImportDecl
• Show ImportDecl

Constructors:

• Importing :: SpanInfo -> [Import] -> ImportSpec
• Hiding :: SpanInfo -> [Import] -> ImportSpec

Known instances:

• HasSpanInfo ImportSpec
• Eq ImportSpec
• Read ImportSpec
• Show ImportSpec

Constructors:

• Import :: SpanInfo -> Ident -> Import
• ImportTypeWith :: SpanInfo -> Ident -> [Ident] -> Import
• ImportTypeAll :: SpanInfo -> Ident -> Import

Known instances:

• HasSpanInfo Import
• Eq Import
• Read Import
• Show Import

Constructors:

• InfixDecl :: SpanInfo -> Infix -> (Maybe Precedence) -> [Ident] -> Decl a
• DataDecl :: SpanInfo -> Ident -> [Ident] -> [ConstrDecl] -> [QualIdent] -> Decl a
• ExternalDataDecl :: SpanInfo -> Ident -> [Ident] -> Decl a
• NewtypeDecl :: SpanInfo -> Ident -> [Ident] -> NewConstrDecl -> [QualIdent] -> Decl a
• TypeDecl :: SpanInfo -> Ident -> [Ident] -> TypeExpr -> Decl a
• TypeSig :: SpanInfo -> [Ident] -> QualTypeExpr -> Decl a
• FunctionDecl :: SpanInfo -> a -> Ident -> [Equation a] -> Decl a
• ExternalDecl :: SpanInfo -> [Var a] -> Decl a
• PatternDecl :: SpanInfo -> (Pattern a) -> (Rhs a) -> Decl a
• FreeDecl :: SpanInfo -> [Var a] -> Decl a
• DefaultDecl :: SpanInfo -> [TypeExpr] -> Decl a
• ClassDecl :: SpanInfo -> LayoutInfo -> Context -> Ident -> [Ident] -> [FunDep] -> [Decl a] -> Decl a
• InstanceDecl :: SpanInfo -> LayoutInfo -> Context -> QualIdent -> [InstanceType] -> [Decl a] -> Decl a

Known instances:

• HasSpanInfo (Decl a)
• Eq a => Eq (Decl a)
• Read a => Read (Decl a)
• Show a => Show (Decl a)

Constructors:

• InfixL :: Infix
• InfixR :: Infix
• Infix :: Infix

Known instances:

• Eq Infix
• Read Infix
• Show Infix

Constructors:

• ConstrDecl :: SpanInfo -> Ident -> [TypeExpr] -> ConstrDecl
• ConOpDecl :: SpanInfo -> TypeExpr -> Ident -> TypeExpr -> ConstrDecl
• RecordDecl :: SpanInfo -> Ident -> [FieldDecl] -> ConstrDecl

Known instances:

• HasSpanInfo ConstrDecl
• Eq ConstrDecl
• Read ConstrDecl
• Show ConstrDecl

Constructors:

• NewConstrDecl :: SpanInfo -> Ident -> TypeExpr -> NewConstrDecl
• NewRecordDecl :: SpanInfo -> Ident -> (Ident, TypeExpr) -> NewConstrDecl

Known instances:

• HasSpanInfo NewConstrDecl
• Eq NewConstrDecl
• Read NewConstrDecl
• Show NewConstrDecl

Constructors:

• FieldDecl :: SpanInfo -> [Ident] -> TypeExpr -> FieldDecl

Known instances:

• HasSpanInfo FieldDecl
• Eq FieldDecl
• Read FieldDecl
• Show FieldDecl

Constructors:

• ConstructorType :: SpanInfo -> QualIdent -> TypeExpr
• ApplyType :: SpanInfo -> TypeExpr -> TypeExpr -> TypeExpr
• VariableType :: SpanInfo -> Ident -> TypeExpr
• TupleType :: SpanInfo -> [TypeExpr] -> TypeExpr
• ListType :: SpanInfo -> TypeExpr -> TypeExpr
• ArrowType :: SpanInfo -> TypeExpr -> TypeExpr -> TypeExpr
• ParenType :: SpanInfo -> TypeExpr -> TypeExpr
• ForallType :: SpanInfo -> [Ident] -> TypeExpr -> TypeExpr

Known instances:

• HasSpanInfo TypeExpr
• Eq TypeExpr
• Read TypeExpr
• Show TypeExpr

Constructors:

• QualTypeExpr :: SpanInfo -> Context -> TypeExpr -> QualTypeExpr

Known instances:

• HasSpanInfo QualTypeExpr
• Eq QualTypeExpr
• Read QualTypeExpr
• Show QualTypeExpr

Constructors:

• Constraint :: SpanInfo -> QualIdent -> [TypeExpr] -> Constraint

Known instances:

• HasSpanInfo Constraint
• Eq Constraint
• Read Constraint
• Show Constraint

Constructors:

• FunDep :: SpanInfo -> [Ident] -> [Ident] -> FunDep

Known instances:

• HasSpanInfo FunDep
• Eq FunDep
• Read FunDep
• Show FunDep

Constructors:

• Equation :: SpanInfo -> (Maybe a) -> (Lhs a) -> (Rhs a) -> Equation a

Known instances:

• HasSpanInfo (Equation a)
• Eq a => Eq (Equation a)
• Read a => Read (Equation a)
• Show a => Show (Equation a)

Constructors:

• FunLhs :: SpanInfo -> Ident -> [Pattern a] -> Lhs a
• OpLhs :: SpanInfo -> (Pattern a) -> Ident -> (Pattern a) -> Lhs a
• ApLhs :: SpanInfo -> (Lhs a) -> [Pattern a] -> Lhs a

Known instances:

• HasSpanInfo (Lhs a)
• Eq a => Eq (Lhs a)
• Read a => Read (Lhs a)
• Show a => Show (Lhs a)

Constructors:

• SimpleRhs :: SpanInfo -> LayoutInfo -> (Expression a) -> [Decl a] -> Rhs a
• GuardedRhs :: SpanInfo -> LayoutInfo -> [CondExpr a] -> [Decl a] -> Rhs a

Known instances:

• HasSpanInfo (Rhs a)
• Eq a => Eq (Rhs a)
• Read a => Read (Rhs a)
• Show a => Show (Rhs a)

Constructors:

• CondExpr :: SpanInfo -> (Expression a) -> (Expression a) -> CondExpr a

Known instances:

• HasSpanInfo (CondExpr a)
• Eq a => Eq (CondExpr a)
• Read a => Read (CondExpr a)
• Show a => Show (CondExpr a)

Constructors:

• Char :: Char -> Literal
• Int :: Int -> Literal
• Float :: Float -> Literal
• String :: String -> Literal

Known instances:

• Eq Literal
• Read Literal
• Show Literal

Constructors:

• LiteralPattern :: SpanInfo -> a -> Literal -> Pattern a
• NegativePattern :: SpanInfo -> a -> Literal -> Pattern a
• VariablePattern :: SpanInfo -> a -> Ident -> Pattern a
• ConstructorPattern :: SpanInfo -> a -> QualIdent -> [Pattern a] -> Pattern a
• InfixPattern :: SpanInfo -> a -> (Pattern a) -> QualIdent -> (Pattern a) -> Pattern a
• ParenPattern :: SpanInfo -> (Pattern a) -> Pattern a
• RecordPattern :: SpanInfo -> a -> QualIdent -> [Field (Pattern a)] -> Pattern a
• TuplePattern :: SpanInfo -> [Pattern a] -> Pattern a
• ListPattern :: SpanInfo -> a -> [Pattern a] -> Pattern a
• AsPattern :: SpanInfo -> Ident -> (Pattern a) -> Pattern a
• LazyPattern :: SpanInfo -> (Pattern a) -> Pattern a
• FunctionPattern :: SpanInfo -> a -> QualIdent -> [Pattern a] -> Pattern a
• InfixFuncPattern :: SpanInfo -> a -> (Pattern a) -> QualIdent -> (Pattern a) -> Pattern a

Known instances:

• HasSpanInfo (Pattern a)
• Eq a => Eq (Pattern a)
• Read a => Read (Pattern a)
• Show a => Show (Pattern a)

Constructors:

• Literal :: SpanInfo -> a -> Literal -> Expression a
• Variable :: SpanInfo -> a -> QualIdent -> Expression a
• Constructor :: SpanInfo -> a -> QualIdent -> Expression a
• Paren :: SpanInfo -> (Expression a) -> Expression a
• Typed :: SpanInfo -> (Expression a) -> QualTypeExpr -> Expression a
• Record :: SpanInfo -> a -> QualIdent -> [Field (Expression a)] -> Expression a
• RecordUpdate :: SpanInfo -> (Expression a) -> [Field (Expression a)] -> Expression a
• Tuple :: SpanInfo -> [Expression a] -> Expression a
• List :: SpanInfo -> a -> [Expression a] -> Expression a
• ListCompr :: SpanInfo -> (Expression a) -> [Statement a] -> Expression a
• EnumFrom :: SpanInfo -> (Expression a) -> Expression a
• EnumFromThen :: SpanInfo -> (Expression a) -> (Expression a) -> Expression a
• EnumFromTo :: SpanInfo -> (Expression a) -> (Expression a) -> Expression a
• EnumFromThenTo :: SpanInfo -> (Expression a) -> (Expression a) -> (Expression a) -> Expression a
• UnaryMinus :: SpanInfo -> (Expression a) -> Expression a
• Apply :: SpanInfo -> (Expression a) -> (Expression a) -> Expression a
• InfixApply :: SpanInfo -> (Expression a) -> (InfixOp a) -> (Expression a) -> Expression a
• LeftSection :: SpanInfo -> (Expression a) -> (InfixOp a) -> Expression a
• RightSection :: SpanInfo -> (InfixOp a) -> (Expression a) -> Expression a
• Lambda :: SpanInfo -> [Pattern a] -> (Expression a) -> Expression a
• Let :: SpanInfo -> LayoutInfo -> [Decl a] -> (Expression a) -> Expression a
• Do :: SpanInfo -> LayoutInfo -> [Statement a] -> (Expression a) -> Expression a
• IfThenElse :: SpanInfo -> (Expression a) -> (Expression a) -> (Expression a) -> Expression a
• Case :: SpanInfo -> LayoutInfo -> CaseType -> (Expression a) -> [Alt a] -> Expression a

Known instances:

• HasSpanInfo (Expression a)
• Eq a => Eq (Expression a)
• Read a => Read (Expression a)
• Show a => Show (Expression a)

Constructors:

• InfixOp :: a -> QualIdent -> InfixOp a
• InfixConstr :: a -> QualIdent -> InfixOp a

Known instances:

• Eq a => Eq (InfixOp a)
• Read a => Read (InfixOp a)
• Show a => Show (InfixOp a)

Constructors:

• StmtExpr :: SpanInfo -> (Expression a) -> Statement a
• StmtDecl :: SpanInfo -> LayoutInfo -> [Decl a] -> Statement a
• StmtBind :: SpanInfo -> (Pattern a) -> (Expression a) -> Statement a

Known instances:

• HasSpanInfo (Statement a)
• Eq a => Eq (Statement a)
• Read a => Read (Statement a)
• Show a => Show (Statement a)

Constructors:

• Rigid :: CaseType
• Flex :: CaseType

Known instances:

• Eq CaseType
• Read CaseType
• Show CaseType

Constructors:

• Alt :: SpanInfo -> (Pattern a) -> (Rhs a) -> Alt a

Known instances:

• HasSpanInfo (Alt a)
• Eq a => Eq (Alt a)
• Read a => Read (Alt a)
• Show a => Show (Alt a)

Constructors:

• Field :: SpanInfo -> QualIdent -> a -> Field a

Known instances:

• HasSpanInfo (Field a)
• Eq a => Eq (Field a)
• Read a => Read (Field a)
• Show a => Show (Field a)

Constructors:

• Var :: a -> Ident -> Var a

Known instances:

• Eq a => Eq (Var a)
• Read a => Read (Var a)
• Show a => Show (Var a)

Constructors:

• Goal :: SpanInfo -> LayoutInfo -> (Expression a) -> [Decl a] -> Goal a

Known instances:

• Eq a => Eq (Goal a)
• Read a => Read (Goal a)
• Show a => Show (Goal a)

Constructors:

• KnownExtension :: SpanInfo -> KnownExtension -> Extension
• UnknownExtension :: SpanInfo -> String -> Extension

Known instances:

• Eq Extension
• Read Extension
• Show Extension

Constructors:

• AnonFreeVars :: KnownExtension anonymous free variables
• CPP :: KnownExtension C preprocessor
• FlexibleContexts :: KnownExtension no restrictions on context form
• FlexibleInstances :: KnownExtension no restrictions on instance syntax
• FunctionalDependencies :: KnownExtension functional dependencies
• FunctionalPatterns :: KnownExtension functional patterns
• MultiParamTypeClasses :: KnownExtension multi-parameter type classes
• NegativeLiterals :: KnownExtension negative literals
• NoAnonFreeVars :: KnownExtension no anonymous free variables
• NoFunctionalPatterns :: KnownExtension no functional patterns
• NoImplicitPrelude :: KnownExtension no implicit import of the prelude
• NoDataDeriving :: KnownExtension no implicit deriving of the Data class

Known instances:

• Eq KnownExtension
• Read KnownExtension
• Show KnownExtension

Constructors:

• KICS2 :: KnownTool
• PAKCS :: KnownTool
• CYMAKE :: KnownTool
• FRONTEND :: KnownTool

Known instances:

• Eq KnownTool
• Read KnownTool
• Show KnownTool
• Enum KnownTool
• Bounded KnownTool

Constructors:

• KnownTool :: KnownTool -> Tool
• UnknownTool :: String -> Tool

Known instances:

• Eq Tool
• Read Tool
• Show Tool