adapt_type_to_haskell_and_encode()
constant_for_field_name()
constant_for_type_name()
construct_module()
encode_case_expression()
encode_lambda_term()
encode_literal()
encode_projection()
encode_standalone_cases()
encode_term()
encode_type()
encode_type_with_class_assertions()
encode_unwrap()
extend_meta_for_term()
extend_meta_for_type()
find_ord_variables()
gather_metadata()
get_implicit_type_classes()
module_to_haskell()
module_to_haskell_module()
name_decls()
set_meta_uses_byte_string()
set_meta_uses_int()
set_meta_uses_map()
set_meta_uses_set()
set_meta_uses_void()
to_data_declaration()
to_type_declarations_from()
type_decl()
type_scheme_constraints_to_class_map()
HaskellModuleMetadata
HaskellModuleMetadata.Builder
HaskellModuleMetadata.Builder.build()
HaskellModuleMetadata.Builder.uses_byte_string()
HaskellModuleMetadata.Builder.uses_int()
HaskellModuleMetadata.Builder.uses_map()
HaskellModuleMetadata.Builder.uses_set()
HaskellModuleMetadata.Builder.uses_void()
HaskellModuleMetadata.TYPE_
HaskellModuleMetadata.USES_BYTE_STRING
HaskellModuleMetadata.USES_INT
HaskellModuleMetadata.USES_MAP
HaskellModuleMetadata.USES_SET
HaskellModuleMetadata.USES_VOID
HaskellModuleMetadata.builder()
HaskellModuleMetadata.uses_byte_string
HaskellModuleMetadata.uses_int
HaskellModuleMetadata.uses_map
HaskellModuleMetadata.uses_set
HaskellModuleMetadata.uses_void
HaskellModuleMetadata.with_uses_byte_string()
HaskellModuleMetadata.with_uses_int()
HaskellModuleMetadata.with_uses_map()
HaskellModuleMetadata.with_uses_set()
HaskellModuleMetadata.with_uses_void()
haskell_language()
reserved_words()
and_op()
ap_op()
apply_op()
arrow_op()
assert_op()
bind_op()
case_op()
compose_op()
concat_op()
cons_op()
define_op()
diamond_op()
div_op()
divide_op()
elem_op()
equal_op()
fmap_op()
gt_op()
gte_op()
index_op()
lambda_op()
lt_op()
lte_op()
minus_op()
mod_op()
mult_op()
neq_op()
not_elem_op()
or_op()
plus_op()
quot_op()
rem_op()
type_op()
alternative_to_expr()
application_expression_to_expr()
application_pattern_to_expr()
case_expression_to_expr()
case_rhs_to_expr()
class_constraint_to_expr()
constraint_to_expr()
constructor_to_expr()
data_keyword_to_expr()
declaration_head_to_expr()
declaration_to_expr()
expression_to_expr()
field_to_expr()
haddock_entity_ref()
if_expression_to_expr()
import_to_expr()
lambda_expression_to_expr()
literal_to_expr()
local_binding_to_expr()
module_head_to_expr()
module_to_expr()
name_to_expr()
named_import_export_to_expr()
pattern_to_expr()
record_expression_to_expr()
right_hand_side_to_expr()
statement_to_expr()
to_haskell_comments()
to_simple_comments()
type_signature_to_expr()
type_to_expr()
value_binding_to_expr()
variable_to_expr()
write_qualified_name()
Alternative
Alternative.BINDS
Alternative.Builder
Alternative.Builder.binds()
Alternative.Builder.build()
Alternative.Builder.pattern()
Alternative.Builder.rhs()
Alternative.PATTERN
Alternative.RHS
Alternative.TYPE_
Alternative.binds
Alternative.builder()
Alternative.pattern
Alternative.rhs
Alternative.with_binds()
Alternative.with_pattern()
Alternative.with_rhs()
ApplicationDeclarationHead
ApplicationDeclarationHead.Builder
ApplicationDeclarationHead.Builder.build()
ApplicationDeclarationHead.Builder.function()
ApplicationDeclarationHead.Builder.operand()
ApplicationDeclarationHead.FUNCTION
ApplicationDeclarationHead.OPERAND
ApplicationDeclarationHead.TYPE_
ApplicationDeclarationHead.builder()
ApplicationDeclarationHead.function
ApplicationDeclarationHead.operand
ApplicationDeclarationHead.with_function()
ApplicationDeclarationHead.with_operand()
ApplicationExpression
ApplicationExpression.ARGUMENT
ApplicationExpression.Builder
ApplicationExpression.Builder.argument()
ApplicationExpression.Builder.build()
ApplicationExpression.Builder.function()
ApplicationExpression.FUNCTION
ApplicationExpression.TYPE_
ApplicationExpression.argument
ApplicationExpression.builder()
ApplicationExpression.function
ApplicationExpression.with_argument()
ApplicationExpression.with_function()
ApplicationPattern
ApplicationPattern.ARGS
ApplicationPattern.Builder
ApplicationPattern.Builder.args()
ApplicationPattern.Builder.build()
ApplicationPattern.Builder.name()
ApplicationPattern.NAME
ApplicationPattern.TYPE_
ApplicationPattern.args
ApplicationPattern.builder()
ApplicationPattern.name
ApplicationPattern.with_args()
ApplicationPattern.with_name()
ApplicationType
ApplicationType.ARGUMENT
ApplicationType.Builder
ApplicationType.Builder.argument()
ApplicationType.Builder.build()
ApplicationType.Builder.context()
ApplicationType.CONTEXT
ApplicationType.TYPE_
ApplicationType.argument
ApplicationType.builder()
ApplicationType.context
ApplicationType.with_argument()
ApplicationType.with_context()
AsPattern
AsPattern.Builder
AsPattern.Builder.build()
AsPattern.Builder.inner()
AsPattern.Builder.name()
AsPattern.INNER
AsPattern.NAME
AsPattern.TYPE_
AsPattern.builder()
AsPattern.inner
AsPattern.name
AsPattern.with_inner()
AsPattern.with_name()
CaseExpression
CaseExpression.ALTERNATIVES
CaseExpression.Builder
CaseExpression.Builder.alternatives()
CaseExpression.Builder.build()
CaseExpression.Builder.case()
CaseExpression.CASE
CaseExpression.TYPE_
CaseExpression.alternatives
CaseExpression.builder()
CaseExpression.case
CaseExpression.with_alternatives()
CaseExpression.with_case()
CaseRhs
CaseRhs.TYPE_
ClassConstraint
ClassConstraint.Builder
ClassConstraint.Builder.build()
ClassConstraint.Builder.name()
ClassConstraint.Builder.types()
ClassConstraint.NAME
ClassConstraint.TYPES
ClassConstraint.TYPE_
ClassConstraint.builder()
ClassConstraint.name
ClassConstraint.types
ClassConstraint.with_name()
ClassConstraint.with_types()
ConstrainedType
ConstrainedType.Builder
ConstrainedType.Builder.build()
ConstrainedType.Builder.ctx()
ConstrainedType.Builder.type()
ConstrainedType.CTX
ConstrainedType.TYPE
ConstrainedType.TYPE_
ConstrainedType.builder()
ConstrainedType.ctx
ConstrainedType.type
ConstrainedType.with_ctx()
ConstrainedType.with_type()
Constraint
Constraint.CLASS
Constraint.TUPLE
Constraint.TYPE_
ConstraintClass
ConstraintTuple
Constructor
Constructor.ORDINARY
Constructor.RECORD
Constructor.TYPE_
ConstructorOrdinary
ConstructorRecord
DataDeclaration
DataDeclaration.Builder
DataDeclaration.Builder.build()
DataDeclaration.Builder.comments()
DataDeclaration.Builder.constructors()
DataDeclaration.Builder.context()
DataDeclaration.Builder.deriving()
DataDeclaration.Builder.head()
DataDeclaration.Builder.keyword()
DataDeclaration.COMMENTS
DataDeclaration.CONSTRUCTORS
DataDeclaration.CONTEXT
DataDeclaration.DERIVING
DataDeclaration.HEAD
DataDeclaration.KEYWORD
DataDeclaration.TYPE_
DataDeclaration.builder()
DataDeclaration.comments
DataDeclaration.constructors
DataDeclaration.context
DataDeclaration.deriving
DataDeclaration.head
DataDeclaration.keyword
DataDeclaration.with_comments()
DataDeclaration.with_constructors()
DataDeclaration.with_context()
DataDeclaration.with_deriving()
DataDeclaration.with_head()
DataDeclaration.with_keyword()
DataKeyword
DataKeyword.DATA
DataKeyword.NEWTYPE
DataKeyword.TYPE_
Declaration
Declaration.DATA
Declaration.TYPE
Declaration.TYPED_BINDING
Declaration.TYPE_
Declaration.VALUE_BINDING
DeclarationData
DeclarationHead
DeclarationHead.APPLICATION
DeclarationHead.SIMPLE
DeclarationHead.TYPE_
DeclarationHeadApplication
DeclarationHeadSimple
DeclarationType
DeclarationTypedBinding
DeclarationValueBinding
DerivingClause
DerivingClause.TYPE_
Export
Export.DECLARATION
Export.MODULE
Export.TYPE_
ExportDeclaration
ExportModule
Expression
Expression.APPLICATION
Expression.CASE
Expression.CONSTRUCT_RECORD
Expression.DO
Expression.IF
Expression.INFIX_APPLICATION
Expression.LAMBDA
Expression.LEFT_SECTION
Expression.LET
Expression.LIST
Expression.LITERAL
Expression.RIGHT_SECTION
Expression.TUPLE
Expression.TYPE_
Expression.TYPE_SIGNATURE
Expression.UPDATE_RECORD
Expression.VARIABLE
ExpressionApplication
ExpressionCase
ExpressionConstructRecord
ExpressionDo
ExpressionIf
ExpressionInfixApplication
ExpressionLambda
ExpressionLeftSection
ExpressionLet
ExpressionList
ExpressionLiteral
ExpressionRightSection
ExpressionTuple
ExpressionTypeSignature
ExpressionUpdateRecord
ExpressionVariable
Field
Field.Builder
Field.Builder.build()
Field.Builder.comments()
Field.Builder.name()
Field.Builder.type()
Field.COMMENTS
Field.NAME
Field.TYPE
Field.TYPE_
Field.builder()
Field.comments
Field.name
Field.type
Field.with_comments()
Field.with_name()
Field.with_type()
FieldUpdate
FieldUpdate.Builder
FieldUpdate.Builder.build()
FieldUpdate.Builder.name()
FieldUpdate.Builder.value()
FieldUpdate.NAME
FieldUpdate.TYPE_
FieldUpdate.VALUE
FieldUpdate.builder()
FieldUpdate.name
FieldUpdate.value
FieldUpdate.with_name()
FieldUpdate.with_value()
FunctionType
FunctionType.Builder
FunctionType.Builder.build()
FunctionType.Builder.codomain()
FunctionType.Builder.domain()
FunctionType.CODOMAIN
FunctionType.DOMAIN
FunctionType.TYPE_
FunctionType.builder()
FunctionType.codomain
FunctionType.domain
FunctionType.with_codomain()
FunctionType.with_domain()
IfExpression
IfExpression.Builder
IfExpression.Builder.build()
IfExpression.Builder.condition()
IfExpression.Builder.else_()
IfExpression.Builder.then()
IfExpression.CONDITION
IfExpression.ELSE
IfExpression.THEN
IfExpression.TYPE_
IfExpression.builder()
IfExpression.condition
IfExpression.else_
IfExpression.then
IfExpression.with_condition()
IfExpression.with_else_()
IfExpression.with_then()
Import
Import.AS
Import.Builder
Import.Builder.as_()
Import.Builder.build()
Import.Builder.module()
Import.Builder.qualified()
Import.Builder.spec()
Import.MODULE
Import.QUALIFIED
Import.SPEC
Import.TYPE_
Import.as_
Import.builder()
Import.module
Import.qualified
Import.spec
Import.with_as_()
Import.with_module()
Import.with_qualified()
Import.with_spec()
ImportExportSubspec
ImportExportSubspec.ALL
ImportExportSubspec.LIST
ImportExportSubspec.TYPE_
ImportExportSubspecAll
ImportExportSubspecList
ImportModifier
ImportModifier.PATTERN
ImportModifier.TYPE
ImportModifier.TYPE_
ImportSpec
ImportSpec.HIDING
ImportSpec.LIST
ImportSpec.TYPE_
ImportSpecHiding
ImportSpecList
InfixExpression
InfixExpression.Builder
InfixExpression.Builder.build()
InfixExpression.Builder.lhs()
InfixExpression.Builder.operator()
InfixExpression.Builder.rhs()
InfixExpression.LHS
InfixExpression.OPERATOR
InfixExpression.RHS
InfixExpression.TYPE_
InfixExpression.builder()
InfixExpression.lhs
InfixExpression.operator
InfixExpression.rhs
InfixExpression.with_lhs()
InfixExpression.with_operator()
InfixExpression.with_rhs()
InfixType
InfixType.Builder
InfixType.Builder.build()
InfixType.Builder.lhs()
InfixType.Builder.operator()
InfixType.Builder.rhs()
InfixType.LHS
InfixType.OPERATOR
InfixType.RHS
InfixType.TYPE_
InfixType.builder()
InfixType.lhs
InfixType.operator
InfixType.rhs
InfixType.with_lhs()
InfixType.with_operator()
InfixType.with_rhs()
LambdaExpression
LambdaExpression.BINDINGS
LambdaExpression.Builder
LambdaExpression.Builder.bindings()
LambdaExpression.Builder.build()
LambdaExpression.Builder.inner()
LambdaExpression.INNER
LambdaExpression.TYPE_
LambdaExpression.bindings
LambdaExpression.builder()
LambdaExpression.inner
LambdaExpression.with_bindings()
LambdaExpression.with_inner()
LetExpression
LetExpression.BINDINGS
LetExpression.Builder
LetExpression.Builder.bindings()
LetExpression.Builder.build()
LetExpression.Builder.inner()
LetExpression.INNER
LetExpression.TYPE_
LetExpression.bindings
LetExpression.builder()
LetExpression.inner
LetExpression.with_bindings()
LetExpression.with_inner()
Literal
Literal.CHAR
Literal.DOUBLE
Literal.FLOAT
Literal.INT
Literal.INTEGER
Literal.STRING
Literal.TYPE_
LiteralChar
LiteralDouble
LiteralFloat
LiteralInt
LiteralInteger
LiteralString
LocalBinding
LocalBinding.SIGNATURE
LocalBinding.TYPE_
LocalBinding.VALUE
LocalBindingSignature
LocalBindingValue
LocalBindings
LocalBindings.TYPE_
Module
Module.Builder
Module.Builder.build()
Module.Builder.declarations()
Module.Builder.head()
Module.Builder.imports()
Module.DECLARATIONS
Module.HEAD
Module.IMPORTS
Module.TYPE_
Module.builder()
Module.declarations
Module.head
Module.imports
Module.with_declarations()
Module.with_head()
Module.with_imports()
ModuleHead
ModuleHead.Builder
ModuleHead.Builder.build()
ModuleHead.Builder.comments()
ModuleHead.Builder.exports()
ModuleHead.Builder.name()
ModuleHead.COMMENTS
ModuleHead.EXPORTS
ModuleHead.NAME
ModuleHead.TYPE_
ModuleHead.builder()
ModuleHead.comments
ModuleHead.exports
ModuleHead.name
ModuleHead.with_comments()
ModuleHead.with_exports()
ModuleHead.with_name()
ModuleName
ModuleName.TYPE_
Name
Name.IMPLICIT
Name.NORMAL
Name.TYPE_
NameImplicit
NameNormal
NamePart
NamePart.TYPE_
NamedImportExport
NamedImportExport.Builder
NamedImportExport.Builder.build()
NamedImportExport.Builder.modifier()
NamedImportExport.Builder.name()
NamedImportExport.Builder.subspec()
NamedImportExport.MODIFIER
NamedImportExport.NAME
NamedImportExport.SUBSPEC
NamedImportExport.TYPE_
NamedImportExport.builder()
NamedImportExport.modifier
NamedImportExport.name
NamedImportExport.subspec
NamedImportExport.with_modifier()
NamedImportExport.with_name()
NamedImportExport.with_subspec()
Operator
Operator.BACKTICK
Operator.NORMAL
Operator.TYPE_
OperatorBacktick
OperatorNormal
Pattern
Pattern.APPLICATION
Pattern.AS
Pattern.LIST
Pattern.LITERAL
Pattern.NAME
Pattern.RECORD
Pattern.TUPLE
Pattern.TYPED
Pattern.TYPE_
Pattern.WILDCARD
PatternApplication
PatternAs
PatternField
PatternField.Builder
PatternField.Builder.build()
PatternField.Builder.name()
PatternField.Builder.pattern()
PatternField.NAME
PatternField.PATTERN
PatternField.TYPE_
PatternField.builder()
PatternField.name
PatternField.pattern
PatternField.with_name()
PatternField.with_pattern()
PatternList
PatternLiteral
PatternName
PatternRecord
PatternTuple
PatternTyped
PatternWildcard
PositionalConstructor
PositionalConstructor.Builder
PositionalConstructor.Builder.build()
PositionalConstructor.Builder.comments()
PositionalConstructor.Builder.fields()
PositionalConstructor.Builder.name()
PositionalConstructor.COMMENTS
PositionalConstructor.FIELDS
PositionalConstructor.NAME
PositionalConstructor.TYPE_
PositionalConstructor.builder()
PositionalConstructor.comments
PositionalConstructor.fields
PositionalConstructor.name
PositionalConstructor.with_comments()
PositionalConstructor.with_fields()
PositionalConstructor.with_name()
QualifiedName
QualifiedName.Builder
QualifiedName.Builder.build()
QualifiedName.Builder.qualifiers()
QualifiedName.Builder.unqualified()
QualifiedName.QUALIFIERS
QualifiedName.TYPE_
QualifiedName.UNQUALIFIED
QualifiedName.builder()
QualifiedName.qualifiers
QualifiedName.unqualified
QualifiedName.with_qualifiers()
QualifiedName.with_unqualified()
RecordConstructor
RecordConstructor.Builder
RecordConstructor.Builder.build()
RecordConstructor.Builder.comments()
RecordConstructor.Builder.fields()
RecordConstructor.Builder.name()
RecordConstructor.COMMENTS
RecordConstructor.FIELDS
RecordConstructor.NAME
RecordConstructor.TYPE_
RecordConstructor.builder()
RecordConstructor.comments
RecordConstructor.fields
RecordConstructor.name
RecordConstructor.with_comments()
RecordConstructor.with_fields()
RecordConstructor.with_name()
RecordExpression
RecordExpression.Builder
RecordExpression.Builder.build()
RecordExpression.Builder.fields()
RecordExpression.Builder.name()
RecordExpression.FIELDS
RecordExpression.NAME
RecordExpression.TYPE_
RecordExpression.builder()
RecordExpression.fields
RecordExpression.name
RecordExpression.with_fields()
RecordExpression.with_name()
RecordPattern
RecordPattern.Builder
RecordPattern.Builder.build()
RecordPattern.Builder.fields()
RecordPattern.Builder.name()
RecordPattern.FIELDS
RecordPattern.NAME
RecordPattern.TYPE_
RecordPattern.builder()
RecordPattern.fields
RecordPattern.name
RecordPattern.with_fields()
RecordPattern.with_name()
RecordUpdateExpression
RecordUpdateExpression.Builder
RecordUpdateExpression.Builder.build()
RecordUpdateExpression.Builder.fields()
RecordUpdateExpression.Builder.inner()
RecordUpdateExpression.FIELDS
RecordUpdateExpression.INNER
RecordUpdateExpression.TYPE_
RecordUpdateExpression.builder()
RecordUpdateExpression.fields
RecordUpdateExpression.inner
RecordUpdateExpression.with_fields()
RecordUpdateExpression.with_inner()
RightHandSide
RightHandSide.TYPE_
SectionExpression
SectionExpression.Builder
SectionExpression.Builder.build()
SectionExpression.Builder.expression()
SectionExpression.Builder.operator()
SectionExpression.EXPRESSION
SectionExpression.OPERATOR
SectionExpression.TYPE_
SectionExpression.builder()
SectionExpression.expression
SectionExpression.operator
SectionExpression.with_expression()
SectionExpression.with_operator()
SimpleValueBinding
SimpleValueBinding.Builder
SimpleValueBinding.Builder.build()
SimpleValueBinding.Builder.comments()
SimpleValueBinding.Builder.local_bindings()
SimpleValueBinding.Builder.pattern()
SimpleValueBinding.Builder.rhs()
SimpleValueBinding.COMMENTS
SimpleValueBinding.LOCAL_BINDINGS
SimpleValueBinding.PATTERN
SimpleValueBinding.RHS
SimpleValueBinding.TYPE_
SimpleValueBinding.builder()
SimpleValueBinding.comments
SimpleValueBinding.local_bindings
SimpleValueBinding.pattern
SimpleValueBinding.rhs
SimpleValueBinding.with_comments()
SimpleValueBinding.with_local_bindings()
SimpleValueBinding.with_pattern()
SimpleValueBinding.with_rhs()
Statement
Statement.TYPE_
Type
Type.APPLICATION
Type.CTX
Type.FUNCTION
Type.INFIX
Type.LIST
Type.TUPLE
Type.TYPE_
Type.VARIABLE
TypeApplication
TypeCtx
TypeFunction
TypeInfix
TypeList
TypeSignature
TypeSignature.Builder
TypeSignature.Builder.build()
TypeSignature.Builder.name()
TypeSignature.Builder.type()
TypeSignature.NAME
TypeSignature.TYPE
TypeSignature.TYPE_
TypeSignature.builder()
TypeSignature.name
TypeSignature.type
TypeSignature.with_name()
TypeSignature.with_type()
TypeSynonymDeclaration
TypeSynonymDeclaration.Builder
TypeSynonymDeclaration.Builder.build()
TypeSynonymDeclaration.Builder.comments()
TypeSynonymDeclaration.Builder.name()
TypeSynonymDeclaration.Builder.type()
TypeSynonymDeclaration.COMMENTS
TypeSynonymDeclaration.NAME
TypeSynonymDeclaration.TYPE
TypeSynonymDeclaration.TYPE_
TypeSynonymDeclaration.builder()
TypeSynonymDeclaration.comments
TypeSynonymDeclaration.name
TypeSynonymDeclaration.type
TypeSynonymDeclaration.with_comments()
TypeSynonymDeclaration.with_name()
TypeSynonymDeclaration.with_type()
TypeTuple
TypeVariable
TypedBinding
TypedBinding.Builder
TypedBinding.Builder.build()
TypedBinding.Builder.comments()
TypedBinding.Builder.type_signature()
TypedBinding.Builder.value_binding()
TypedBinding.COMMENTS
TypedBinding.TYPE_
TypedBinding.TYPE_SIGNATURE
TypedBinding.VALUE_BINDING
TypedBinding.builder()
TypedBinding.comments
TypedBinding.type_signature
TypedBinding.value_binding
TypedBinding.with_comments()
TypedBinding.with_type_signature()
TypedBinding.with_value_binding()
TypedExpression
TypedExpression.Builder
TypedExpression.Builder.build()
TypedExpression.Builder.inner()
TypedExpression.Builder.type()
TypedExpression.INNER
TypedExpression.TYPE
TypedExpression.TYPE_
TypedExpression.builder()
TypedExpression.inner
TypedExpression.type
TypedExpression.with_inner()
TypedExpression.with_type()
TypedPattern
TypedPattern.Builder
TypedPattern.Builder.build()
TypedPattern.Builder.inner()
TypedPattern.Builder.type()
TypedPattern.INNER
TypedPattern.TYPE
TypedPattern.TYPE_
TypedPattern.builder()
TypedPattern.inner
TypedPattern.type
TypedPattern.with_inner()
TypedPattern.with_type()
ValueBinding
ValueBinding.SIMPLE
ValueBinding.TYPE_
ValueBindingSimple
Variable
Variable.TYPE_
add_namespaces_to_namespaces()
build_namespaces_for_test_group()
build_test_module()
collect_names()
collect_test_cases()
extract_encoded_term_variable_names()
extract_test_terms()
find_haskell_imports()
generate_haskell_test_file()
generate_test_case()
generate_test_file()
generate_test_group_hierarchy()
namespace_to_module_name()
application_pattern()
element_reference()
hsapp()
hslambda()
hslit()
hsvar()
namespaces_for_module()
newtype_accessor_name()
raw_name()
record_field_reference()
sanitize_haskell_name()
simple_name()
simple_value_binding()
to_type_application()
type_name_for_record()
union_field_reference()
unpack_forall_type()
Add your content using reStructuredText syntax. See the reStructuredText documentation for details.
reStructuredText