Serialized Form

Package org.aya.concrete.desugar

Exception Class org.aya.concrete.desugar.Desugarer.DesugarInterruption

class DesugarInterruption extends Exception implements Serializable

Package org.aya.core.serde

Record Class org.aya.core.serde.CompiledAya

class CompiledAya extends Record implements Serializable

Serialized Fields

exports

@NotNull kala.collection.immutable.ImmutableSeq<SerDef.QName> exports

The field for the exports record component.

imports

@NotNull kala.collection.immutable.ImmutableSeq<kala.collection.immutable.ImmutableSeq<String>> imports

The field for the imports record component.

opRename

@NotNull kala.collection.immutable.ImmutableMap<SerDef.QName,SerDef.SerRenamedOp> opRename

The field for the opRename record component.

reExports

@NotNull kala.collection.immutable.ImmutableMap<kala.collection.immutable.ImmutableSeq<String>,org.aya.core.serde.CompiledAya.SerUseHide> reExports

The field for the reExports record component.

serDefs

@NotNull kala.collection.immutable.ImmutableSeq<SerDef> serDefs

The field for the serDefs record component.

serOps

@NotNull kala.collection.immutable.ImmutableSeq<SerDef.SerOp> serOps

The field for the serOps record component.

Record Class org.aya.core.serde.SerDef.Ctor

class Ctor extends Record implements Serializable

Serialized Fields

clauses

org.aya.guest0x0.cubical.Partial.Split<SerTerm> clauses

The field for the clauses record component.

coerce

boolean coerce

The field for the coerce record component.

data

@NotNull SerDef.QName data

The field for the data record component.

ownerTele

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> ownerTele

The field for the ownerTele record component.

pats

@NotNull kala.collection.immutable.ImmutableSeq<SerPat> pats

The field for the pats record component.

result

@NotNull SerTerm result

The field for the result record component.

self

@NotNull SerDef.QName self

The field for the self record component.

selfTele

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> selfTele

The field for the selfTele record component.

Record Class org.aya.core.serde.SerDef.Data

class Data extends Record implements Serializable

Serialized Fields

bodies

@NotNull kala.collection.immutable.ImmutableSeq<SerDef.Ctor> bodies

The field for the bodies record component.

name

@NotNull SerDef.QName name

The field for the name record component.

resultLift

SerTerm.Sort resultLift

The field for the resultLift record component.

telescope

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> telescope

The field for the telescope record component.

Exception Class org.aya.core.serde.SerDef.DeserializeException

class DeserializeException extends InternalException implements Serializable

Record Class org.aya.core.serde.SerDef.Field

class Field extends Record implements Serializable

Serialized Fields

body

@NotNull kala.control.Option<SerTerm> body

The field for the body record component.

coerce

boolean coerce

The field for the coerce record component.

ownerTele

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> ownerTele

The field for the ownerTele record component.

result

@NotNull SerTerm result

The field for the result record component.

self

@NotNull SerDef.QName self

The field for the self record component.

selfTele

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> selfTele

The field for the selfTele record component.

struct

@NotNull SerDef.QName struct

The field for the struct record component.

Record Class org.aya.core.serde.SerDef.Fn

class Fn extends Record implements Serializable

Serialized Fields

body

@NotNull kala.control.Either<SerTerm,kala.collection.immutable.ImmutableSeq<SerPat.Clause>> body

The field for the body record component.

modifiers

@NotNull EnumSet<Modifier> modifiers

The field for the modifiers record component.

name

@NotNull SerDef.QName name

The field for the name record component.

result

@NotNull SerTerm result

The field for the result record component.

telescope

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> telescope

The field for the telescope record component.

Record Class org.aya.core.serde.SerDef.Prim

class Prim extends Record implements Serializable

Serialized Fields

module

@NotNull kala.collection.immutable.ImmutableSeq<String> module

The field for the module record component.

name

PrimDef.ID name

The field for the name record component.

Record Class org.aya.core.serde.SerDef.QName

class QName extends Record implements Serializable

Serialized Fields

mod

@NotNull kala.collection.immutable.ImmutableSeq<String> mod

The field for the mod record component.

name

@NotNull String name

The field for the name record component.

Record Class org.aya.core.serde.SerDef.SerBind

class SerBind extends Record implements Serializable

Serialized Fields

loosers

@NotNull kala.collection.immutable.ImmutableSeq<SerDef.QName> loosers

The field for the loosers record component.

tighters

@NotNull kala.collection.immutable.ImmutableSeq<SerDef.QName> tighters

The field for the tighters record component.

Record Class org.aya.core.serde.SerDef.SerOp

class SerOp extends Record implements Serializable

Serialized Fields

assoc

@NotNull org.aya.util.binop.Assoc assoc

The field for the assoc record component.

bind

@NotNull SerDef.SerBind bind

The field for the bind record component.

name

@NotNull SerDef.QName name

The field for the name record component.

Record Class org.aya.core.serde.SerDef.SerRenamedOp

class SerRenamedOp extends Record implements Serializable

Serialized Fields

assoc

@NotNull org.aya.util.binop.Assoc assoc

The field for the assoc record component.

bind

@NotNull SerDef.SerBind bind

The field for the bind record component.

name

@NotNull String name

The field for the name record component.

Record Class org.aya.core.serde.SerDef.SerShapeResult

class SerShapeResult extends Record implements Serializable

Serialized Fields

captures

@NotNull kala.collection.immutable.ImmutableMap<CodeShape.MomentId,SerDef.QName> captures

The field for the captures record component.

shape

@NotNull SerDef.SerAyaShape shape

The field for the shape record component.

Record Class org.aya.core.serde.SerDef.Struct

class Struct extends Record implements Serializable

Serialized Fields

fields

@NotNull kala.collection.immutable.ImmutableSeq<SerDef.Field> fields

The field for the fields record component.

name

@NotNull SerDef.QName name

The field for the name record component.

resultLift

SerTerm.Sort resultLift

The field for the resultLift record component.

telescope

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> telescope

The field for the telescope record component.

Record Class org.aya.core.serde.SerPat.Absurd

class Absurd extends Record implements Serializable

Serialized Fields

explicit

boolean explicit

The field for the explicit record component.

Record Class org.aya.core.serde.SerPat.Bind

class Bind extends Record implements Serializable

Serialized Fields

explicit

boolean explicit

The field for the explicit record component.

ty

@NotNull SerTerm ty

The field for the ty record component.

var

SerTerm.SimpVar var

The field for the var record component.

Record Class org.aya.core.serde.SerPat.Clause

class Clause extends Record implements Serializable

Serialized Fields

body

@NotNull SerTerm body

The field for the body record component.

pats

@NotNull kala.collection.immutable.ImmutableSeq<SerPat> pats

The field for the pats record component.

Record Class org.aya.core.serde.SerPat.Ctor

class Ctor extends Record implements Serializable

Serialized Fields

explicit

boolean explicit

The field for the explicit record component.

name

SerDef.QName name

The field for the name record component.

params

@NotNull kala.collection.immutable.ImmutableSeq<SerPat> params

The field for the params record component.

ty

SerTerm.Data ty

The field for the ty record component.

Record Class org.aya.core.serde.SerPat.ShapedInt

class ShapedInt extends Record implements Serializable

Serialized Fields

explicit

boolean explicit

The field for the explicit record component.

integer

int integer

The field for the integer record component.

shape

SerDef.SerShapeResult shape

The field for the shape record component.

type

SerTerm.Data type

The field for the type record component.

Record Class org.aya.core.serde.SerPat.Tuple

class Tuple extends Record implements Serializable

Serialized Fields

explicit

boolean explicit

The field for the explicit record component.

pats

@NotNull kala.collection.immutable.ImmutableSeq<SerPat> pats

The field for the pats record component.

Record Class org.aya.core.serde.SerTerm.Access

class Access extends Record implements Serializable

Serialized Fields

fieldArgs

@NotNull kala.collection.immutable.ImmutableSeq<@NotNull SerTerm.SerArg> fieldArgs

The field for the fieldArgs record component.

of

@NotNull SerTerm of

The field for the of record component.

ref

SerDef.QName ref

The field for the ref record component.

structArgs

@NotNull kala.collection.immutable.ImmutableSeq<@NotNull SerTerm.SerArg> structArgs

The field for the structArgs record component.

Record Class org.aya.core.serde.SerTerm.App

class App extends Record implements Serializable

Serialized Fields

arg

@NotNull SerTerm.SerArg arg

The field for the arg record component.

of

@NotNull SerTerm of

The field for the of record component.

Record Class org.aya.core.serde.SerTerm.CallData

class CallData extends Record implements Serializable

Serialized Fields

args

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerArg> args

The field for the args record component.

ulift

int ulift

The field for the ulift record component.

Record Class org.aya.core.serde.SerTerm.Coe

class Coe extends Record implements Serializable

Serialized Fields

restr

@NotNull org.aya.guest0x0.cubical.Restr<SerTerm> restr

The field for the restr record component.

type

@NotNull SerTerm type

The field for the type record component.

Record Class org.aya.core.serde.SerTerm.Con

class Con extends Record implements Serializable

Serialized Fields

conArgs

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerArg> conArgs

The field for the conArgs record component.

dataArgs

@NotNull SerTerm.CallData dataArgs

The field for the dataArgs record component.

dataRef

SerDef.QName dataRef

The field for the dataRef record component.

selfRef

SerDef.QName selfRef

The field for the selfRef record component.

Record Class org.aya.core.serde.SerTerm.Data

class Data extends Record implements Serializable

Serialized Fields

data

@NotNull SerTerm.CallData data

The field for the data record component.

name

SerDef.QName name

The field for the name record component.

Record Class org.aya.core.serde.SerTerm.FieldRef

class FieldRef extends Record implements Serializable

Serialized Fields

name

SerDef.QName name

The field for the name record component.

Record Class org.aya.core.serde.SerTerm.Fn

class Fn extends Record implements Serializable

Serialized Fields

data

@NotNull SerTerm.CallData data

The field for the data record component.

name

SerDef.QName name

The field for the name record component.

Record Class org.aya.core.serde.SerTerm.Interval

class Interval extends Record implements Serializable

Record Class org.aya.core.serde.SerTerm.Lam

class Lam extends Record implements Serializable

Serialized Fields

body

@NotNull SerTerm body

The field for the body record component.

param

@NotNull SerTerm.SerParam param

The field for the param record component.

Record Class org.aya.core.serde.SerTerm.Match

class Match extends Record implements Serializable

Serialized Fields

clauses

kala.collection.immutable.ImmutableSeq<SerPat.Clause> clauses

The field for the clauses record component.

of

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm> of

The field for the of record component.

Record Class org.aya.core.serde.SerTerm.Mula

class Mula extends Record implements Serializable

Serialized Fields

formula

@NotNull org.aya.guest0x0.cubical.Formula<SerTerm> formula

The field for the formula record component.

Record Class org.aya.core.serde.SerTerm.New

class New extends Record implements Serializable

Serialized Fields

call

SerTerm.Struct call

The field for the call record component.

map

@NotNull kala.collection.immutable.ImmutableMap<SerDef.QName,SerTerm> map

The field for the map record component.

Record Class org.aya.core.serde.SerTerm.PartEl

class PartEl extends Record implements Serializable

Serialized Fields

partial

@NotNull org.aya.guest0x0.cubical.Partial<SerTerm> partial

The field for the partial record component.

rhsType

@NotNull SerTerm rhsType

The field for the rhsType record component.

Record Class org.aya.core.serde.SerTerm.PartTy

class PartTy extends Record implements Serializable

Serialized Fields

restr

@NotNull org.aya.guest0x0.cubical.Restr<SerTerm> restr

The field for the restr record component.

type

@NotNull SerTerm type

The field for the type record component.

Record Class org.aya.core.serde.SerTerm.Path

class Path extends Record implements Serializable

Serialized Fields

cube

@NotNull SerTerm.SerCube cube

The field for the cube record component.

Record Class org.aya.core.serde.SerTerm.PathApp

class PathApp extends Record implements Serializable

Serialized Fields

args

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerArg> args

The field for the args record component.

cube

@NotNull SerTerm.SerCube cube

The field for the cube record component.

of

@NotNull SerTerm of

The field for the of record component.

Record Class org.aya.core.serde.SerTerm.PathLam

class PathLam extends Record implements Serializable

Serialized Fields

body

@NotNull SerTerm body

The field for the body record component.

params

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SimpVar> params

The field for the params record component.

Record Class org.aya.core.serde.SerTerm.Pi

class Pi extends Record implements Serializable

Serialized Fields

body

@NotNull SerTerm body

The field for the body record component.

param

SerTerm.SerParam param

The field for the param record component.

Record Class org.aya.core.serde.SerTerm.Prim

class Prim extends Record implements Serializable

Serialized Fields

data

@NotNull SerTerm.CallData data

The field for the data record component.

id

PrimDef.ID id

The field for the id record component.

name

SerDef.QName name

The field for the name record component.

Record Class org.aya.core.serde.SerTerm.Proj

class Proj extends Record implements Serializable

Serialized Fields

ix

int ix

The field for the ix record component.

of

@NotNull SerTerm of

The field for the of record component.

Record Class org.aya.core.serde.SerTerm.Ref

class Ref extends Record implements Serializable

Serialized Fields

var

@NotNull SerTerm.SimpVar var

The field for the var record component.

Record Class org.aya.core.serde.SerTerm.SerArg

class SerArg extends Record implements Serializable

Serialized Fields

arg

@NotNull SerTerm arg

The field for the arg record component.

explicit

boolean explicit

The field for the explicit record component.

Record Class org.aya.core.serde.SerTerm.SerCube

class SerCube extends Record implements Serializable

Serialized Fields

params

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SimpVar> params

The field for the params record component.

partial

@NotNull org.aya.guest0x0.cubical.Partial<SerTerm> partial

The field for the partial record component.

type

@NotNull SerTerm type

The field for the type record component.

Record Class org.aya.core.serde.SerTerm.SerParam

class SerParam extends Record implements Serializable

Serialized Fields

explicit

boolean explicit

The field for the explicit record component.

term

@NotNull SerTerm term

The field for the term record component.

var

@NotNull SerTerm.SimpVar var

The field for the var record component.

Record Class org.aya.core.serde.SerTerm.ShapedInt

class ShapedInt extends Record implements Serializable

Serialized Fields

integer

int integer

The field for the integer record component.

shape

SerDef.SerShapeResult shape

The field for the shape record component.

type

SerTerm.Data type

The field for the type record component.

Record Class org.aya.core.serde.SerTerm.ShapedList

class ShapedList extends Record implements Serializable

Serialized Fields

repr

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm> repr

The field for the repr record component.

shape

SerDef.SerShapeResult shape

The field for the shape record component.

type

SerTerm.Data type

The field for the type record component.

Record Class org.aya.core.serde.SerTerm.Sigma

class Sigma extends Record implements Serializable

Serialized Fields

params

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> params

The field for the params record component.

Record Class org.aya.core.serde.SerTerm.SimpVar

class SimpVar extends Record implements Serializable

Serialized Fields

name

@NotNull String name

The field for the name record component.

var

int var

The field for the var record component.

Record Class org.aya.core.serde.SerTerm.Sort

class Sort extends Record implements Serializable

Serialized Fields

kind

@NotNull SortKind kind

The field for the kind record component.

lift

int lift

The field for the lift record component.

Record Class org.aya.core.serde.SerTerm.Str

class Str extends Record implements Serializable

Serialized Fields

string

@NotNull String string

The field for the string record component.

Record Class org.aya.core.serde.SerTerm.Struct

class Struct extends Record implements Serializable

Serialized Fields

data

@NotNull SerTerm.CallData data

The field for the data record component.

name

SerDef.QName name

The field for the name record component.

Record Class org.aya.core.serde.SerTerm.Tup

class Tup extends Record implements Serializable

Serialized Fields

components

@NotNull kala.collection.immutable.ImmutableSeq<SerTerm> components

The field for the components record component.

Package org.aya.generic.util

Exception Class org.aya.generic.util.InternalException

class InternalException extends RuntimeException implements Serializable

Exception Class org.aya.generic.util.InterruptException

class InterruptException extends RuntimeException implements Serializable

Package org.aya.resolve.context

Exception Class org.aya.resolve.context.Context.ResolvingInterruptedException

class ResolvingInterruptedException extends InterruptException implements Serializable

Package org.aya.tyck.order

Exception Class org.aya.tyck.order.AyaSccTycker.SCCTyckingFailed

class SCCTyckingFailed extends InterruptException implements Serializable

Serialized Fields

what

@NotNull kala.collection.immutable.ImmutableSeq<TyckOrder> what