模块 org.aya

程序包 org.aya.core.serde

package org.aya.core.serde

Related Packages

程序包	说明
org.aya.core
org.aya.core.def
org.aya.core.ops
org.aya.core.pat
org.aya.core.term
org.aya.core.visitor

类	说明
CompiledAya	The .ayac file representation.
SerDef
SerDef.Ctor
SerDef.Data
SerDef.DeserializeException
SerDef.Field
SerDef.Fn
SerDef.Prim
SerDef.QName
SerDef.SerBind	Serialized version of BindBlock
SerDef.SerOp	Serialized version of OpDecl.OpInfo
SerDef.SerOpDecl	To use serialized operators in AyaBinOpSet
SerDef.Struct
Serializer
Serializer.State
SerPat
SerPat.Absurd
SerPat.Bind
SerPat.Ctor
SerPat.Matchy
SerPat.Prim
SerPat.Tuple
SerTerm
SerTerm.Access
SerTerm.App
SerTerm.CallData
SerTerm.ConCall
SerTerm.DataCall
SerTerm.DeState
SerTerm.FieldRef
SerTerm.FnCall
SerTerm.Lam
SerTerm.New
SerTerm.Pi
SerTerm.PrimCall
SerTerm.Proj
SerTerm.Ref
SerTerm.SerArg
SerTerm.SerParam
SerTerm.Sigma
SerTerm.SimpVar
SerTerm.StructCall
SerTerm.Tup
SerTerm.Univ