Serialized Form

Package hydra.haskell.environment

Class hydra.haskell.environment.HaskellModuleMetadata extends java.lang.Object implements Serializable

Serialized Fields

usesByteString

java.lang.Boolean usesByteString

Whether the module uses Data.ByteString (B.ByteString)

usesInt

java.lang.Boolean usesInt

Whether the module uses Data.Int (I.Int8, I.Int16, I.Int64)

usesMap

java.lang.Boolean usesMap

Whether the module uses Data.Map (M.Map, M.fromList, M.empty)

usesSet

java.lang.Boolean usesSet

Whether the module uses Data.Set (S.Set, S.fromList, S.empty)

usesVoid

java.lang.Boolean usesVoid

Whether the module uses Data.Void (Void)

Package hydra.haskell.syntax

Class hydra.haskell.syntax.Alternative extends java.lang.Object implements Serializable

Serialized Fields

binds

Optional<LocalBindings> binds

Optional local bindings

pattern

Pattern pattern

The pattern to match

rhs

CaseRhs rhs

The right-hand side of the alternative

Class hydra.haskell.syntax.ApplicationDeclarationHead extends java.lang.Object implements Serializable

Serialized Fields

function

DeclarationHead function

The function being applied

operand

Variable operand

The type variable operand

Class hydra.haskell.syntax.ApplicationExpression extends java.lang.Object implements Serializable

Serialized Fields

argument

Expression argument

The argument

function

Expression function

The function being applied

Class hydra.haskell.syntax.ApplicationPattern extends java.lang.Object implements Serializable

Serialized Fields

args

java.util.List<Pattern> args

The pattern arguments

name

Name name

The constructor name

Class hydra.haskell.syntax.ApplicationType extends java.lang.Object implements Serializable

Serialized Fields

argument

Type argument

The type argument

context

Type context

The type being applied

Class hydra.haskell.syntax.AsPattern extends java.lang.Object implements Serializable

Serialized Fields

inner

Pattern inner

The inner pattern

name

Name name

The bound name

Class hydra.haskell.syntax.CaseExpression extends java.lang.Object implements Serializable

Serialized Fields

alternatives

java.util.List<Alternative> alternatives

The pattern-matching alternatives

case_

Expression case_

The expression being matched

Class hydra.haskell.syntax.CaseRhs extends java.lang.Object implements Serializable

Serialized Fields

value

Expression value

Class hydra.haskell.syntax.ClassConstraint extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The name of the class

types

java.util.List<Type> types

The types to which the class is applied

Class hydra.haskell.syntax.ConstrainedType extends java.lang.Object implements Serializable

Serialized Fields

ctx

Constraint ctx

The type class context

type

Type type

The constrained type

Class hydra.haskell.syntax.Constraint extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.Constraint.Class_ extends Constraint implements Serializable

Serialized Fields

value

ClassConstraint value

Class hydra.haskell.syntax.Constraint.Tuple extends Constraint implements Serializable

Serialized Fields

value

java.util.List<Constraint> value

Class hydra.haskell.syntax.Constructor extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.Constructor.Ordinary extends Constructor implements Serializable

Serialized Fields

value

PositionalConstructor value

Class hydra.haskell.syntax.Constructor.Record extends Constructor implements Serializable

Serialized Fields

value

RecordConstructor value

Class hydra.haskell.syntax.DataDeclaration extends java.lang.Object implements Serializable

Serialized Fields

comments

Optional<java.lang.String> comments

Optional comments

constructors

java.util.List<Constructor> constructors

The data constructors

context

java.util.List<Constraint> context

Type class constraints

deriving

java.util.List<DerivingClause> deriving

Derived type class instances

head

DeclarationHead head

The declaration head

keyword

DataKeyword keyword

The 'data' or 'newtype' keyword

Class hydra.haskell.syntax.DataKeyword extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.DataKeyword.Data extends DataKeyword implements Serializable

Class hydra.haskell.syntax.DataKeyword.Newtype extends DataKeyword implements Serializable

Class hydra.haskell.syntax.Declaration extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.Declaration.Data extends Declaration implements Serializable

Serialized Fields

value

DataDeclaration value

Class hydra.haskell.syntax.Declaration.Type extends Declaration implements Serializable

Serialized Fields

value

TypeSynonymDeclaration value

Class hydra.haskell.syntax.Declaration.TypedBinding extends Declaration implements Serializable

Serialized Fields

value

TypedBinding value

Class hydra.haskell.syntax.Declaration.ValueBinding extends Declaration implements Serializable

Serialized Fields

value

ValueBinding value

Class hydra.haskell.syntax.DeclarationHead extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.DeclarationHead.Application extends DeclarationHead implements Serializable

Serialized Fields

value

ApplicationDeclarationHead value

Class hydra.haskell.syntax.DeclarationHead.Simple extends DeclarationHead implements Serializable

Serialized Fields

value

Name value

Class hydra.haskell.syntax.DerivingClause extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.List<Name> value

Class hydra.haskell.syntax.Export extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.Export.Declaration extends Export implements Serializable

Serialized Fields

value

NamedImportExport value

Class hydra.haskell.syntax.Export.Module extends Export implements Serializable

Serialized Fields

value

ModuleName value

Class hydra.haskell.syntax.Expression extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.Expression.Application extends Expression implements Serializable

Serialized Fields

value

ApplicationExpression value

Class hydra.haskell.syntax.Expression.Case extends Expression implements Serializable

Serialized Fields

value

CaseExpression value

Class hydra.haskell.syntax.Expression.ConstructRecord extends Expression implements Serializable

Serialized Fields

value

RecordExpression value

Class hydra.haskell.syntax.Expression.Do extends Expression implements Serializable

Serialized Fields

value

java.util.List<Statement> value

Class hydra.haskell.syntax.Expression.If extends Expression implements Serializable

Serialized Fields

value

IfExpression value

Class hydra.haskell.syntax.Expression.InfixApplication extends Expression implements Serializable

Serialized Fields

value

InfixExpression value

Class hydra.haskell.syntax.Expression.Lambda extends Expression implements Serializable

Serialized Fields

value

LambdaExpression value

Class hydra.haskell.syntax.Expression.LeftSection extends Expression implements Serializable

Serialized Fields

value

SectionExpression value

Class hydra.haskell.syntax.Expression.Let extends Expression implements Serializable

Serialized Fields

value

LetExpression value

Class hydra.haskell.syntax.Expression.List extends Expression implements Serializable

Serialized Fields

value

java.util.List<Expression> value

Class hydra.haskell.syntax.Expression.Literal extends Expression implements Serializable

Serialized Fields

value

Literal value

Class hydra.haskell.syntax.Expression.RightSection extends Expression implements Serializable

Serialized Fields

value

SectionExpression value

Class hydra.haskell.syntax.Expression.Tuple extends Expression implements Serializable

Serialized Fields

value

java.util.List<Expression> value

Class hydra.haskell.syntax.Expression.TypeSignature extends Expression implements Serializable

Serialized Fields

value

TypedExpression value

Class hydra.haskell.syntax.Expression.UpdateRecord extends Expression implements Serializable

Serialized Fields

value

RecordUpdateExpression value

Class hydra.haskell.syntax.Expression.Variable extends Expression implements Serializable

Serialized Fields

value

Name value

Class hydra.haskell.syntax.Field extends java.lang.Object implements Serializable

Serialized Fields

comments

Optional<java.lang.String> comments

Optional comments

name

Name name

The field name

type

Type type

The field type

Class hydra.haskell.syntax.FieldUpdate extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The field name

value

Expression value

The field value

Class hydra.haskell.syntax.FunctionType extends java.lang.Object implements Serializable

Serialized Fields

codomain

Type codomain

The codomain type

domain

Type domain

The domain type

Class hydra.haskell.syntax.IfExpression extends java.lang.Object implements Serializable

Serialized Fields

condition

Expression condition

The condition expression

else_

Expression else_

The 'else' branch

then

Expression then

The 'then' branch

Class hydra.haskell.syntax.Import extends java.lang.Object implements Serializable

Serialized Fields

as

Optional<ModuleName> as

Optional alias for the module

module

ModuleName module

The module being imported

qualified

java.lang.Boolean qualified

Whether the import is qualified

spec

Optional<ImportSpec> spec

Optional import specification

Class hydra.haskell.syntax.ImportExportSubspec extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.ImportExportSubspec.All extends ImportExportSubspec implements Serializable

Class hydra.haskell.syntax.ImportExportSubspec.List extends ImportExportSubspec implements Serializable

Serialized Fields

value

java.util.List<Name> value

Class hydra.haskell.syntax.ImportModifier extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.ImportModifier.Pattern extends ImportModifier implements Serializable

Class hydra.haskell.syntax.ImportModifier.Type extends ImportModifier implements Serializable

Class hydra.haskell.syntax.ImportSpec extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.ImportSpec.Hiding extends ImportSpec implements Serializable

Serialized Fields

value

java.util.List<NamedImportExport> value

Class hydra.haskell.syntax.ImportSpec.List extends ImportSpec implements Serializable

Serialized Fields

value

java.util.List<NamedImportExport> value

Class hydra.haskell.syntax.InfixExpression extends java.lang.Object implements Serializable

Serialized Fields

lhs

Expression lhs

The left-hand operand

operator

Operator operator

The infix operator

rhs

Expression rhs

The right-hand operand

Class hydra.haskell.syntax.InfixType extends java.lang.Object implements Serializable

Serialized Fields

lhs

Type lhs

The left-hand type

operator

Operator operator

The type operator

rhs

Type rhs

The right-hand type

Class hydra.haskell.syntax.LambdaExpression extends java.lang.Object implements Serializable

Serialized Fields

bindings

java.util.List<Pattern> bindings

The patterns binding parameters

inner

Expression inner

The body of the lambda

Class hydra.haskell.syntax.LetExpression extends java.lang.Object implements Serializable

Serialized Fields

bindings

java.util.List<LocalBinding> bindings

The local bindings

inner

Expression inner

The body of the let expression

Class hydra.haskell.syntax.Literal extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.Literal.Char extends Literal implements Serializable

Serialized Fields

value

java.lang.Character value

Class hydra.haskell.syntax.Literal.Double_ extends Literal implements Serializable

Serialized Fields

value

java.lang.Double value

Class hydra.haskell.syntax.Literal.Float_ extends Literal implements Serializable

Serialized Fields

value

java.lang.Float value

Class hydra.haskell.syntax.Literal.Int extends Literal implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.haskell.syntax.Literal.Integer_ extends Literal implements Serializable

Serialized Fields

value

java.math.BigInteger value

Class hydra.haskell.syntax.Literal.String_ extends Literal implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.haskell.syntax.LocalBinding extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.LocalBinding.Signature extends LocalBinding implements Serializable

Serialized Fields

value

TypeSignature value

Class hydra.haskell.syntax.LocalBinding.Value extends LocalBinding implements Serializable

Serialized Fields

value

ValueBinding value

Class hydra.haskell.syntax.LocalBindings extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.List<LocalBinding> value

Class hydra.haskell.syntax.Module extends java.lang.Object implements Serializable

Serialized Fields

declarations

java.util.List<Declaration> declarations

Module declarations

head

Optional<ModuleHead> head

Optional module head

imports

java.util.List<Import> imports

Import statements

Class hydra.haskell.syntax.ModuleHead extends java.lang.Object implements Serializable

Serialized Fields

comments

Optional<java.lang.String> comments

Optional module-level comments

exports

java.util.List<Export> exports

Export list

name

ModuleName name

The module name

Class hydra.haskell.syntax.ModuleName extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.haskell.syntax.Name extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.Name.Implicit extends Name implements Serializable

Serialized Fields

value

QualifiedName value

Class hydra.haskell.syntax.Name.Normal extends Name implements Serializable

Serialized Fields

value

QualifiedName value

Class hydra.haskell.syntax.NamedImportExport extends java.lang.Object implements Serializable

Serialized Fields

modifier

Optional<ImportModifier> modifier

Optional import modifier

name

Name name

The name being imported or exported

subspec

Optional<ImportExportSubspec> subspec

Optional subspecification

Class hydra.haskell.syntax.NamePart extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.haskell.syntax.Operator extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.Operator.Backtick extends Operator implements Serializable

Serialized Fields

value

QualifiedName value

Class hydra.haskell.syntax.Operator.Normal extends Operator implements Serializable

Serialized Fields

value

QualifiedName value

Class hydra.haskell.syntax.Pattern extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.Pattern.Application extends Pattern implements Serializable

Serialized Fields

value

ApplicationPattern value

Class hydra.haskell.syntax.Pattern.As extends Pattern implements Serializable

Serialized Fields

value

AsPattern value

Class hydra.haskell.syntax.Pattern.List extends Pattern implements Serializable

Serialized Fields

value

java.util.List<Pattern> value

Class hydra.haskell.syntax.Pattern.Literal extends Pattern implements Serializable

Serialized Fields

value

Literal value

Class hydra.haskell.syntax.Pattern.Name extends Pattern implements Serializable

Serialized Fields

value

Name value

Class hydra.haskell.syntax.Pattern.Record extends Pattern implements Serializable

Serialized Fields

value

RecordPattern value

Class hydra.haskell.syntax.Pattern.Tuple extends Pattern implements Serializable

Serialized Fields

value

java.util.List<Pattern> value

Class hydra.haskell.syntax.Pattern.Typed extends Pattern implements Serializable

Serialized Fields

value

TypedPattern value

Class hydra.haskell.syntax.Pattern.Wildcard extends Pattern implements Serializable

Class hydra.haskell.syntax.PatternField extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The field name

pattern

Pattern pattern

The field pattern

Class hydra.haskell.syntax.PositionalConstructor extends java.lang.Object implements Serializable

Serialized Fields

comments

Optional<java.lang.String> comments

Optional comments

fields

java.util.List<Type> fields

The types of the positional fields

name

Name name

The name of the constructor

Class hydra.haskell.syntax.QualifiedName extends java.lang.Object implements Serializable

Serialized Fields

qualifiers

java.util.List<NamePart> qualifiers

The qualifier parts

unqualified

NamePart unqualified

The unqualified name part

Class hydra.haskell.syntax.RecordConstructor extends java.lang.Object implements Serializable

Serialized Fields

comments

Optional<java.lang.String> comments

Optional comments

fields

java.util.List<Field> fields

The named fields of the record

name

Name name

The name of the constructor

Class hydra.haskell.syntax.RecordExpression extends java.lang.Object implements Serializable

Serialized Fields

fields

java.util.List<FieldUpdate> fields

The field assignments

name

Name name

The constructor name

Class hydra.haskell.syntax.RecordPattern extends java.lang.Object implements Serializable

Serialized Fields

fields

java.util.List<PatternField> fields

The field patterns

name

Name name

The constructor name

Class hydra.haskell.syntax.RecordUpdateExpression extends java.lang.Object implements Serializable

Serialized Fields

fields

java.util.List<FieldUpdate> fields

The field updates

inner

Expression inner

The record being updated

Class hydra.haskell.syntax.RightHandSide extends java.lang.Object implements Serializable

Serialized Fields

value

Expression value

Class hydra.haskell.syntax.SectionExpression extends java.lang.Object implements Serializable

Serialized Fields

expression

Expression expression

The operand

operator

Operator operator

The operator

Class hydra.haskell.syntax.SimpleValueBinding extends java.lang.Object implements Serializable

Serialized Fields

comments

Optional<java.lang.String> comments

Optional comments

localBindings

Optional<LocalBindings> localBindings

Optional local bindings (where clause)

pattern

Pattern pattern

The pattern being bound

rhs

RightHandSide rhs

The right-hand side

Class hydra.haskell.syntax.Statement extends java.lang.Object implements Serializable

Serialized Fields

value

Expression value

Class hydra.haskell.syntax.Type extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.Type.Application extends Type implements Serializable

Serialized Fields

value

ApplicationType value

Class hydra.haskell.syntax.Type.Ctx extends Type implements Serializable

Serialized Fields

value

ConstrainedType value

Class hydra.haskell.syntax.Type.Function extends Type implements Serializable

Serialized Fields

value

FunctionType value

Class hydra.haskell.syntax.Type.Infix extends Type implements Serializable

Serialized Fields

value

InfixType value

Class hydra.haskell.syntax.Type.List extends Type implements Serializable

Serialized Fields

value

Type value

Class hydra.haskell.syntax.Type.Tuple extends Type implements Serializable

Serialized Fields

value

java.util.List<Type> value

Class hydra.haskell.syntax.Type.Variable extends Type implements Serializable

Serialized Fields

value

Name value

Class hydra.haskell.syntax.TypedBinding extends java.lang.Object implements Serializable

Serialized Fields

comments

Optional<java.lang.String> comments

Optional comments

typeSignature

TypeSignature typeSignature

The type signature

valueBinding

ValueBinding valueBinding

The value binding

Class hydra.haskell.syntax.TypedExpression extends java.lang.Object implements Serializable

Serialized Fields

inner

Expression inner

The expression being typed

type

Type type

The type signature

Class hydra.haskell.syntax.TypedPattern extends java.lang.Object implements Serializable

Serialized Fields

inner

Pattern inner

The inner pattern

type

Type type

The type annotation

Class hydra.haskell.syntax.TypeSignature extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The name being typed

type

Type type

The type

Class hydra.haskell.syntax.TypeSynonymDeclaration extends java.lang.Object implements Serializable

Serialized Fields

comments

Optional<java.lang.String> comments

Optional comments

name

DeclarationHead name

The declaration head

type

Type type

The type being defined

Class hydra.haskell.syntax.ValueBinding extends java.lang.Object implements Serializable

Class hydra.haskell.syntax.ValueBinding.Simple extends ValueBinding implements Serializable

Serialized Fields

value

SimpleValueBinding value

Class hydra.haskell.syntax.Variable extends java.lang.Object implements Serializable

Serialized Fields

value

Name value