序列化表格

程序包 org.aya.concrete.desugar

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

class DesugarInterruption extends Exception implements Serializable

程序包 org.aya.core.serde

记录类 org.aya.core.serde.CompiledAya

class CompiledAya extends Record implements Serializable

序列化字段

exports

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

exports 记录组件的字段。

imports

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

imports 记录组件的字段。

opRename

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

opRename 记录组件的字段。

reExports

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

reExports 记录组件的字段。

serDefs

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

serDefs 记录组件的字段。

serOps

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

serOps 记录组件的字段。

记录类 org.aya.core.serde.SerDef.Ctor

class Ctor extends Record implements Serializable

序列化字段

clauses

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

clauses 记录组件的字段。

coerce

boolean coerce

coerce 记录组件的字段。

data

@NotNull SerDef.QName data

data 记录组件的字段。

ownerTele

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

ownerTele 记录组件的字段。

pats

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

pats 记录组件的字段。

result

@NotNull SerTerm result

result 记录组件的字段。

self

@NotNull SerDef.QName self

self 记录组件的字段。

selfTele

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

selfTele 记录组件的字段。

记录类 org.aya.core.serde.SerDef.Data

class Data extends Record implements Serializable

序列化字段

bodies

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

bodies 记录组件的字段。

name

@NotNull SerDef.QName name

name 记录组件的字段。

resultLift

SerTerm.Sort resultLift

resultLift 记录组件的字段。

telescope

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

telescope 记录组件的字段。

异常错误类 org.aya.core.serde.SerDef.DeserializeException

class DeserializeException extends InternalException implements Serializable

记录类 org.aya.core.serde.SerDef.Field

class Field extends Record implements Serializable

序列化字段

body

@NotNull kala.control.Option<SerTerm> body

body 记录组件的字段。

coerce

boolean coerce

coerce 记录组件的字段。

ownerTele

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

ownerTele 记录组件的字段。

result

@NotNull SerTerm result

result 记录组件的字段。

self

@NotNull SerDef.QName self

self 记录组件的字段。

selfTele

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

selfTele 记录组件的字段。

struct

@NotNull SerDef.QName struct

struct 记录组件的字段。

记录类 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

body 记录组件的字段。

modifiers

@NotNull EnumSet<Modifier> modifiers

modifiers 记录组件的字段。

name

@NotNull SerDef.QName name

name 记录组件的字段。

result

@NotNull SerTerm result

result 记录组件的字段。

telescope

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

telescope 记录组件的字段。

记录类 org.aya.core.serde.SerDef.Prim

class Prim extends Record implements Serializable

序列化字段

module

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

module 记录组件的字段。

name

PrimDef.ID name

name 记录组件的字段。

记录类 org.aya.core.serde.SerDef.QName

class QName extends Record implements Serializable

序列化字段

mod

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

mod 记录组件的字段。

name

@NotNull String name

name 记录组件的字段。

记录类 org.aya.core.serde.SerDef.SerBind

class SerBind extends Record implements Serializable

序列化字段

loosers

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

loosers 记录组件的字段。

tighters

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

tighters 记录组件的字段。

记录类 org.aya.core.serde.SerDef.SerOp

class SerOp extends Record implements Serializable

序列化字段

assoc

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

assoc 记录组件的字段。

bind

@NotNull SerDef.SerBind bind

bind 记录组件的字段。

name

@NotNull SerDef.QName name

name 记录组件的字段。

记录类 org.aya.core.serde.SerDef.SerRenamedOp

class SerRenamedOp extends Record implements Serializable

序列化字段

assoc

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

assoc 记录组件的字段。

bind

@NotNull SerDef.SerBind bind

bind 记录组件的字段。

name

@NotNull String name

name 记录组件的字段。

记录类 org.aya.core.serde.SerDef.Struct

class Struct extends Record implements Serializable

序列化字段

fields

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

fields 记录组件的字段。

name

@NotNull SerDef.QName name

name 记录组件的字段。

resultLift

SerTerm.Sort resultLift

resultLift 记录组件的字段。

telescope

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

telescope 记录组件的字段。

记录类 org.aya.core.serde.SerPat.Absurd

class Absurd extends Record implements Serializable

序列化字段

explicit

boolean explicit

explicit 记录组件的字段。

记录类 org.aya.core.serde.SerPat.Bind

class Bind extends Record implements Serializable

序列化字段

explicit

boolean explicit

explicit 记录组件的字段。

ty

@NotNull SerTerm ty

ty 记录组件的字段。

var

SerTerm.SimpVar var

var 记录组件的字段。

记录类 org.aya.core.serde.SerPat.Ctor

class Ctor extends Record implements Serializable

序列化字段

explicit

boolean explicit

explicit 记录组件的字段。

name

SerDef.QName name

name 记录组件的字段。

params

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

params 记录组件的字段。

ty

SerTerm.DataCall ty

ty 记录组件的字段。

记录类 org.aya.core.serde.SerPat.End

class End extends Record implements Serializable

序列化字段

explicit

boolean explicit

explicit 记录组件的字段。

isLeft

boolean isLeft

isLeft 记录组件的字段。

记录类 org.aya.core.serde.SerPat.Matchy

class Matchy extends Record implements Serializable

序列化字段

body

@NotNull SerTerm body

body 记录组件的字段。

pats

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

pats 记录组件的字段。

记录类 org.aya.core.serde.SerPat.ShapedInt

class ShapedInt extends Record implements Serializable

序列化字段

explicit

boolean explicit

explicit 记录组件的字段。

integer

int integer

integer 记录组件的字段。

shape

SerDef.SerAyaShape shape

shape 记录组件的字段。

type

SerTerm.DataCall type

type 记录组件的字段。

记录类 org.aya.core.serde.SerPat.Tuple

class Tuple extends Record implements Serializable

序列化字段

explicit

boolean explicit

explicit 记录组件的字段。

pats

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

pats 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Access

class Access extends Record implements Serializable

序列化字段

fieldArgs

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

fieldArgs 记录组件的字段。

of

@NotNull SerTerm of

of 记录组件的字段。

ref

SerDef.QName ref

ref 记录组件的字段。

structArgs

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

structArgs 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.App

class App extends Record implements Serializable

序列化字段

arg

@NotNull SerTerm.SerArg arg

arg 记录组件的字段。

of

@NotNull SerTerm of

of 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.CallData

class CallData extends Record implements Serializable

序列化字段

args

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

args 记录组件的字段。

ulift

int ulift

ulift 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Coe

class Coe extends Record implements Serializable

序列化字段

restr

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

restr 记录组件的字段。

type

@NotNull SerTerm type

type 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.ConCall

class ConCall extends Record implements Serializable

序列化字段

args

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

args 记录组件的字段。

dataArgs

@NotNull SerTerm.CallData dataArgs

dataArgs 记录组件的字段。

dataRef

SerDef.QName dataRef

dataRef 记录组件的字段。

selfRef

SerDef.QName selfRef

selfRef 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.DataCall

class DataCall extends Record implements Serializable

序列化字段

data

@NotNull SerTerm.CallData data

data 记录组件的字段。

name

SerDef.QName name

name 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.FieldRef

class FieldRef extends Record implements Serializable

序列化字段

name

SerDef.QName name

name 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.FnCall

class FnCall extends Record implements Serializable

序列化字段

data

@NotNull SerTerm.CallData data

data 记录组件的字段。

name

SerDef.QName name

name 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Interval

class Interval extends Record implements Serializable

记录类 org.aya.core.serde.SerTerm.ISet

class ISet extends Record implements Serializable

记录类 org.aya.core.serde.SerTerm.Lam

class Lam extends Record implements Serializable

序列化字段

body

@NotNull SerTerm body

body 记录组件的字段。

param

@NotNull SerTerm.SerParam param

param 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Mula

class Mula extends Record implements Serializable

序列化字段

formula

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

formula 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.New

class New extends Record implements Serializable

序列化字段

call

@NotNull SerTerm.StructCall call

call 记录组件的字段。

map

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

map 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.PartEl

class PartEl extends Record implements Serializable

序列化字段

partial

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

partial 记录组件的字段。

rhsType

@NotNull SerTerm rhsType

rhsType 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.PartTy

class PartTy extends Record implements Serializable

序列化字段

restr

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

restr 记录组件的字段。

type

@NotNull SerTerm type

type 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Path

class Path extends Record implements Serializable

序列化字段

cube

@NotNull SerTerm.SerCube cube

cube 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.PathApp

class PathApp extends Record implements Serializable

序列化字段

args

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

args 记录组件的字段。

cube

@NotNull SerTerm.SerCube cube

cube 记录组件的字段。

of

@NotNull SerTerm of

of 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.PathLam

class PathLam extends Record implements Serializable

序列化字段

body

@NotNull SerTerm body

body 记录组件的字段。

params

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

params 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Pi

class Pi extends Record implements Serializable

序列化字段

body

@NotNull SerTerm body

body 记录组件的字段。

param

SerTerm.SerParam param

param 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.PrimCall

class PrimCall extends Record implements Serializable

序列化字段

data

@NotNull SerTerm.CallData data

data 记录组件的字段。

id

PrimDef.ID id

id 记录组件的字段。

name

SerDef.QName name

name 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Proj

class Proj extends Record implements Serializable

序列化字段

ix

int ix

ix 记录组件的字段。

of

@NotNull SerTerm of

of 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Prop

class Prop extends Record implements Serializable

记录类 org.aya.core.serde.SerTerm.Ref

class Ref extends Record implements Serializable

序列化字段

var

@NotNull SerTerm.SimpVar var

var 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.SerArg

class SerArg extends Record implements Serializable

序列化字段

arg

@NotNull SerTerm arg

arg 记录组件的字段。

explicit

boolean explicit

explicit 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.SerCube

class SerCube extends Record implements Serializable

序列化字段

params

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

params 记录组件的字段。

partial

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

partial 记录组件的字段。

type

@NotNull SerTerm type

type 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.SerParam

class SerParam extends Record implements Serializable

序列化字段

explicit

boolean explicit

explicit 记录组件的字段。

term

@NotNull SerTerm term

term 记录组件的字段。

var

@NotNull SerTerm.SimpVar var

var 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Set

class Set extends Record implements Serializable

序列化字段

ulift

int ulift

ulift 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.ShapedInt

class ShapedInt extends Record implements Serializable

序列化字段

integer

int integer

integer 记录组件的字段。

shape

SerDef.SerAyaShape shape

shape 记录组件的字段。

type

@NotNull SerTerm type

type 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Sigma

class Sigma extends Record implements Serializable

序列化字段

params

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

params 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.SimpVar

class SimpVar extends Record implements Serializable

序列化字段

name

@NotNull String name

name 记录组件的字段。

var

int var

var 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Str

class Str extends Record implements Serializable

序列化字段

string

@NotNull String string

string 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.StructCall

class StructCall extends Record implements Serializable

序列化字段

data

@NotNull SerTerm.CallData data

data 记录组件的字段。

name

SerDef.QName name

name 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Tup

class Tup extends Record implements Serializable

序列化字段

components

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

components 记录组件的字段。

记录类 org.aya.core.serde.SerTerm.Type

class Type extends Record implements Serializable

序列化字段

ulift

int ulift

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.order

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

class SCCTyckingFailed extends InterruptException implements Serializable

序列化字段

what

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