序列化表格

程序包 org.aya.concrete.desugar

异常错误 org.aya.concrete.desugar.Desugarer.DesugarInterruption

class DesugarInterruption extends Exception implements Serializable

程序包 org.aya.core.serde

Record Class org.aya.core.serde.CompiledAya

class CompiledAya extends Record implements Serializable

序列化字段

exports

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

imports

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

reExports

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

serDefs

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

serOps

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

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

class Ctor extends Record implements Serializable

序列化字段

clauses

@NotNull kala.collection.immutable.ImmutableSeq<SerPat.Matchy> clauses

coerce

boolean coerce

data

@NotNull SerDef.QName data

ownerTele

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

pats

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

result

@NotNull SerTerm result

self

@NotNull SerDef.QName self

selfTele

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

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

class Data extends Record implements Serializable

序列化字段

bodies

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

name

@NotNull SerDef.QName name

resultLift

int resultLift

telescope

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

异常错误 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

序列化字段

body

@NotNull kala.control.Option<SerTerm> body

clauses

@NotNull kala.collection.immutable.ImmutableSeq<SerPat.Matchy> clauses

coerce

boolean coerce

ownerTele

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

result

@NotNull SerTerm result

self

@NotNull SerDef.QName self

selfTele

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

struct

@NotNull SerDef.QName struct

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

class Fn extends Record implements Serializable

序列化字段

body

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

modifiers

@NotNull EnumSet<Modifier> modifiers

name

@NotNull SerDef.QName name

result

@NotNull SerTerm result

telescope

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

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

class Prim extends Record implements Serializable

序列化字段

module

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

name

PrimDef.ID name

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

class QName extends Record implements Serializable

序列化字段

mod

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

name

@NotNull String name

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

class SerBind extends Record implements Serializable

序列化字段

loosers

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

tighters

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

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

class SerOp extends Record implements Serializable

序列化字段

argc

int argc

assoc

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

bind

@NotNull SerDef.SerBind bind

name

@NotNull SerDef.QName name

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

class Struct extends Record implements Serializable

序列化字段

fields

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

name

@NotNull SerDef.QName name

resultLift

int resultLift

telescope

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

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

class Absurd extends Record implements Serializable

序列化字段

explicit

boolean explicit

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

class Bind extends Record implements Serializable

序列化字段

explicit

boolean explicit

ty

@NotNull SerTerm ty

var

SerTerm.SimpVar var

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

class Ctor extends Record implements Serializable

序列化字段

explicit

boolean explicit

name

SerDef.QName name

params

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

ty

SerTerm.DataCall ty

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

class Matchy extends Record implements Serializable

序列化字段

body

@NotNull SerTerm body

pats

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

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

class Prim extends Record implements Serializable

序列化字段

explicit

boolean explicit

name

SerDef.QName name

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

class Tuple extends Record implements Serializable

序列化字段

explicit

boolean explicit

pats

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

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

class Access extends Record implements Serializable

序列化字段

fieldArgs

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

of

@NotNull SerTerm of

ref

SerDef.QName ref

structArgs

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

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

class App extends Record implements Serializable

序列化字段

arg

@NotNull SerTerm.SerArg arg

of

@NotNull SerTerm of

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

class CallData extends Record implements Serializable

序列化字段

args

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

ulift

int ulift

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

class ConCall extends Record implements Serializable

序列化字段

args

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

dataArgs

@NotNull SerTerm.CallData dataArgs

dataRef

SerDef.QName dataRef

selfRef

SerDef.QName selfRef

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

class DataCall extends Record implements Serializable

序列化字段

data

@NotNull SerTerm.CallData data

name

SerDef.QName name

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

class FieldRef extends Record implements Serializable

序列化字段

name

SerDef.QName name

ulift

int ulift

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

class FnCall extends Record implements Serializable

序列化字段

data

@NotNull SerTerm.CallData data

name

SerDef.QName name

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

class Lam extends Record implements Serializable

序列化字段

body

@NotNull SerTerm body

param

@NotNull SerTerm.SerParam param

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

class New extends Record implements Serializable

序列化字段

call

@NotNull SerTerm.StructCall call

map

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

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

class Pi extends Record implements Serializable

序列化字段

body

@NotNull SerTerm body

param

SerTerm.SerParam param

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

class PrimCall extends Record implements Serializable

序列化字段

data

@NotNull SerTerm.CallData data

id

PrimDef.ID id

name

SerDef.QName name

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

class Proj extends Record implements Serializable

序列化字段

ix

int ix

of

@NotNull SerTerm of

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

class Ref extends Record implements Serializable

序列化字段

ulift

int ulift

var

@NotNull SerTerm.SimpVar var

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

class SerArg extends Record implements Serializable

序列化字段

arg

@NotNull SerTerm arg

explicit

boolean explicit

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

class SerParam extends Record implements Serializable

序列化字段

explicit

boolean explicit

pattern

boolean pattern

term

@NotNull SerTerm term

var

@NotNull SerTerm.SimpVar var

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

class Sigma extends Record implements Serializable

序列化字段

params

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

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

class SimpVar extends Record implements Serializable

序列化字段

name

@NotNull String name

var

int var

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

class StructCall extends Record implements Serializable

序列化字段

data

@NotNull SerTerm.CallData data

name

SerDef.QName name

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

class Tup extends Record implements Serializable

序列化字段

components

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

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

class Univ extends Record implements Serializable

序列化字段

ulift

int ulift

程序包 org.aya.generic.util

异常错误 org.aya.generic.util.InternalException

class InternalException extends RuntimeException implements Serializable

异常错误 org.aya.generic.util.InterruptException

class InterruptException extends RuntimeException implements Serializable

程序包 org.aya.resolve.context

异常错误 org.aya.resolve.context.Context.ResolvingInterruptedException

class ResolvingInterruptedException extends InterruptException implements Serializable

程序包 org.aya.tyck

异常错误 org.aya.tyck.ExprTycker.TyckerException

class TyckerException extends InternalException implements Serializable

程序包 org.aya.tyck.order

异常错误 org.aya.tyck.order.AyaSccTycker.SCCTyckingFailed

class SCCTyckingFailed extends InterruptException implements Serializable

序列化字段

what

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