java.lang.Object
- hydra.haskell.syntax.InfixType

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<InfixType>
```
public class InfixType
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<InfixType>
```
An infix type application

See Also:

Serialized Form

Nested Class Summary

Nested Classes
Modifier and Type Class Description

static class InfixType.Builder
A fluent builder for InfixType.

Field Summary

Fields
Modifier and Type	Field	Description
`Type`	`lhs`	The left-hand type
`static Name`	`LHS`	Name of the `hydra.haskell.syntax.InfixType.lhs` field.
`Operator`	`operator`	The type operator
`static Name`	`OPERATOR`	Name of the `hydra.haskell.syntax.InfixType.operator` field.
`Type`	`rhs`	The right-hand type
`static Name`	`RHS`	Name of the `hydra.haskell.syntax.InfixType.rhs` field.
`static Name`	`TYPE_`	Name of the `hydra.haskell.syntax.InfixType` type.

Constructor Summary

Constructors
Constructor Description

InfixType(Type lhs, Operator operator, Type rhs)
Constructs an immutable InfixType.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static InfixType.Builder`	`builder()`	Creates a new fluent builder for `InfixType`.
`int`	`compareTo(InfixType other)`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`java.lang.String`	`toString()`
`InfixType`	`withLhs(Type lhs)`	Returns a copy of this `InfixType` with `lhs` replaced.
`InfixType`	`withOperator(Operator operator)`	Returns a copy of this `InfixType` with `operator` replaced.
`InfixType`	`withRhs(Type rhs)`	Returns a copy of this `InfixType` with `rhs` replaced.

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - TYPE_
```
public static final Name TYPE_
```
    Name of the hydra.haskell.syntax.InfixType type.
  - LHS
```
public static final Name LHS
```
    Name of the hydra.haskell.syntax.InfixType.lhs field.
  - OPERATOR
```
public static final Name OPERATOR
```
    Name of the hydra.haskell.syntax.InfixType.operator field.
  - RHS
```
public static final Name RHS
```
    Name of the hydra.haskell.syntax.InfixType.rhs field.
  - lhs
```
public final Type lhs
```
    The left-hand type
  - operator
```
public final Operator operator
```
    The type operator
  - rhs
```
public final Type rhs
```
    The right-hand type
- Constructor Detail
  - InfixType
```
public InfixType(Type lhs,
                 Operator operator,
                 Type rhs)
```
    Constructs an immutable InfixType.
    
    Parameters:
    
    lhs - The left-hand type
    
    operator - The type operator
    
    rhs - The right-hand type
- Method Detail
  - equals
```
public boolean equals(java.lang.Object other)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - compareTo
```
public int compareTo(InfixType other)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<InfixType>
  - withLhs
```
public InfixType withLhs(Type lhs)
```
    Returns a copy of this InfixType with lhs replaced.
  - withOperator
```
public InfixType withOperator(Operator operator)
```
    Returns a copy of this InfixType with operator replaced.
  - withRhs
```
public InfixType withRhs(Type rhs)
```
    Returns a copy of this InfixType with rhs replaced.
  - builder
```
public static InfixType.Builder builder()
```
    Creates a new fluent builder for InfixType.

Class InfixType

Nested Class Summary

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

TYPE_

LHS

OPERATOR

RHS

lhs

operator

rhs

Constructor Detail

InfixType

Method Detail

equals

hashCode

toString

compareTo

withLhs

withOperator

withRhs

builder