模块 aya.base

程序包 org.aya.core.serde

package org.aya.core.serde

相关程序包

程序包	说明
org.aya.core

类	说明
CompiledAya	The .ayac file representation.
SerDef
SerDef.Ctor
SerDef.Data
SerDef.DeserializeException
SerDef.Field
SerDef.Fn
SerDef.Prim
SerDef.QName
SerDef.SerAyaShape	serialized AyaShape
SerDef.SerBind	Serialized version of BindBlock
SerDef.SerOp	Serialized version of OpDecl.OpInfo
SerDef.SerOpDecl	To use serialized operators in AyaBinOpSet
SerDef.SerRenamedOp	Serialized version of ResolveInfo.RenamedOpDecl
SerDef.Struct
Serializer
Serializer.State
SerPat
SerPat.Absurd
SerPat.Bind
SerPat.Ctor
SerPat.End
SerPat.Matchy
SerPat.ShapedInt
SerPat.Tuple
SerTerm
SerTerm.Access
SerTerm.App
SerTerm.CallData
SerTerm.Coe
SerTerm.ConCall
SerTerm.DataCall
SerTerm.DeState
SerTerm.FieldRef
SerTerm.FnCall
SerTerm.Interval
SerTerm.ISet
SerTerm.Lam
SerTerm.Mula
SerTerm.New
SerTerm.PartEl
SerTerm.PartTy
SerTerm.Path
SerTerm.PathApp
SerTerm.PathLam
SerTerm.Pi
SerTerm.PrimCall
SerTerm.Proj
SerTerm.Prop
SerTerm.Ref
SerTerm.SerArg
SerTerm.SerCube
SerTerm.SerParam
SerTerm.Set
SerTerm.ShapedInt
SerTerm.Sigma
SerTerm.SimpVar
SerTerm.Sort
SerTerm.Str
SerTerm.StructCall
SerTerm.Tup
SerTerm.Type