Safe Haskell	Safe-Inferred

Helium.Syntax.UHA_Syntax

Documentation

data Alternative Source

Constructors

Alternative_Hole Range Integer
Alternative_Feedback Range String Alternative
Alternative_Alternative Range Pattern RightHandSide
Alternative_Empty Range

type Alternatives = [Alternative]Source

data AnnotatedType Source

Constructors

AnnotatedType_AnnotatedType Range Bool Type

type AnnotatedTypes = [AnnotatedType]Source

data Body Source

Constructors

Body_Hole Range Integer
Body_Body Range ImportDeclarations Declarations

data Constructor Source

Constructors

Constructor_Constructor Range Name AnnotatedTypes
Constructor_Infix Range AnnotatedType Name AnnotatedType
Constructor_Record Range Name FieldDeclarations

type Constructors = [Constructor]Source

data ContextItem Source

Constructors

ContextItem_ContextItem Range Name Types

type ContextItems = [ContextItem]Source

type Declarations = [Declaration]Source

data Export Source

Constructors

Export_Variable Range Name
Export_TypeOrClass Range Name MaybeNames
Export_TypeOrClassComplete Range Name
Export_Module Range Name

type Exports = [Export]Source

data Expression Source

Constructors

Expression_Hole Range Integer
Expression_Feedback Range String Expression
Expression_MustUse Range Expression
Expression_Literal Range Literal
Expression_Variable Range Name
Expression_Constructor Range Name
Expression_Parenthesized Range Expression
Expression_NormalApplication Range Expression Expressions
Expression_InfixApplication Range MaybeExpression Expression MaybeExpression
Expression_If Range Expression Expression Expression
Expression_Lambda Range Patterns Expression
Expression_Case Range Expression Alternatives
Expression_Let Range Declarations Expression
Expression_Do Range Statements
Expression_List Range Expressions
Expression_Tuple Range Expressions
Expression_Comprehension Range Expression Qualifiers
Expression_Typed Range Expression Type
Expression_RecordConstruction Range Name RecordExpressionBindings
Expression_RecordUpdate Range Expression RecordExpressionBindings
Expression_Enum Range Expression MaybeExpression MaybeExpression
Expression_Negate Range Expression
Expression_NegateFloat Range Expression

type Expressions = [Expression]Source

data FieldDeclaration Source

Constructors

FieldDeclaration_FieldDeclaration Range Names AnnotatedType

type FieldDeclarations = [FieldDeclaration]Source

data Fixity Source

Constructors

Fixity_Infixl Range
Fixity_Infixr Range
Fixity_Infix Range

data FunctionBinding Source

Constructors

FunctionBinding_Hole Range Integer
FunctionBinding_Feedback Range String FunctionBinding
FunctionBinding_FunctionBinding Range LeftHandSide RightHandSide

type FunctionBindings = [FunctionBinding]Source

data GuardedExpression Source

Constructors

GuardedExpression_GuardedExpression Range Expression Expression

type GuardedExpressions = [GuardedExpression]Source

data Import Source

Constructors

Import_Variable Range Name
Import_TypeOrClass Range Name MaybeNames
Import_TypeOrClassComplete Range Name

data ImportDeclaration Source

Constructors

ImportDeclaration_Import Range Bool Name MaybeName MaybeImportSpecification
ImportDeclaration_Empty Range

type ImportDeclarations = [ImportDeclaration]Source

data ImportSpecification Source

Constructors

ImportSpecification_Import Range Bool Imports

type Imports = [Import]Source

data LeftHandSide Source

Constructors

LeftHandSide_Function Range Name Patterns
LeftHandSide_Infix Range Pattern Name Pattern
LeftHandSide_Parenthesized Range LeftHandSide Patterns

data Literal Source

Constructors

Literal_Int Range String
Literal_Char Range String
Literal_Float Range String
Literal_String Range String

data MaybeDeclarations Source

Constructors

MaybeDeclarations_Nothing
MaybeDeclarations_Just Declarations

data MaybeExports Source

Constructors

MaybeExports_Nothing
MaybeExports_Just Exports

data MaybeExpression Source

Constructors

MaybeExpression_Nothing
MaybeExpression_Just Expression

data MaybeImportSpecification Source

Constructors

MaybeImportSpecification_Nothing
MaybeImportSpecification_Just ImportSpecification

data MaybeInt Source

Constructors

MaybeInt_Nothing
MaybeInt_Just Int

data MaybeName Source

Constructors

MaybeName_Nothing
MaybeName_Just Name

data MaybeNames Source

Constructors

MaybeNames_Nothing
MaybeNames_Just Names

data Module Source

Constructors

Module_Module Range MaybeName MaybeExports Body

data Name Source

Constructors

Name_Identifier Range Strings String
Name_Operator Range Strings String
Name_Special Range Strings String

Instances

Eq Name
Ord Name
Show Name

type Names = [Name]Source

type Patterns = [Pattern]Source

data Position Source

Constructors

Position_Position String Int Int
Position_Unknown

Instances

Eq Position
Ord Position

data Qualifier Source

Constructors

Qualifier_Guard Range Expression
Qualifier_Let Range Declarations
Qualifier_Generator Range Pattern Expression
Qualifier_Empty Range

type Qualifiers = [Qualifier]Source

data Range Source

Constructors

Range_Range Position Position

Instances

Eq Range
Ord Range
Show Range

data RecordExpressionBinding Source

Constructors

RecordExpressionBinding_RecordExpressionBinding Range Name Expression

type RecordExpressionBindings = [RecordExpressionBinding]Source

data RecordPatternBinding Source

Constructors

RecordPatternBinding_RecordPatternBinding Range Name Pattern

type RecordPatternBindings = [RecordPatternBinding]Source

data RightHandSide Source

Constructors

RightHandSide_Expression Range Expression MaybeDeclarations
RightHandSide_Guarded Range GuardedExpressions MaybeDeclarations

data SimpleType Source

Constructors

SimpleType_SimpleType Range Name Names

data Statement Source

Constructors

Statement_Expression Range Expression
Statement_Let Range Declarations
Statement_Generator Range Pattern Expression
Statement_Empty Range

type Statements = [Statement]Source

type Strings = [String]Source

type Types = [Type]Source

Declaration_Hole Range Integer
Declaration_Type Range SimpleType Type
Declaration_Data Range ContextItems SimpleType Constructors Names
Declaration_Newtype Range ContextItems SimpleType Constructor Names
Declaration_Class Range ContextItems SimpleType MaybeDeclarations
Declaration_Instance Range ContextItems Name Types MaybeDeclarations
Declaration_Default Range Types
Declaration_FunctionBindings Range FunctionBindings
Declaration_PatternBinding Range Pattern RightHandSide
Declaration_TypeSignature Range Names Type
Declaration_Fixity Range Fixity MaybeInt Names
Declaration_Empty Range

Pattern_Hole Range Integer
Pattern_Literal Range Literal
Pattern_Variable Range Name
Pattern_Constructor Range Name Patterns
Pattern_Parenthesized Range Pattern
Pattern_InfixConstructor Range Pattern Name Pattern
Pattern_List Range Patterns
Pattern_Tuple Range Patterns
Pattern_Record Range Name RecordPatternBindings
Pattern_Negate Range Literal
Pattern_As Range Name Pattern
Pattern_Wildcard Range
Pattern_Irrefutable Range Pattern
Pattern_Successor Range Name Literal
Pattern_NegateFloat Range Literal

Type_Application Range Bool Type Types
Type_Variable Range Name
Type_Constructor Range Name
Type_Qualified Range ContextItems Type
Type_Forall Range Names Type
Type_Exists Range Names Type
Type_Parenthesized Range Type