Module aya.base

Package org.aya.core.serde

package org.aya.core.serde

Related Packages

Package	Description
org.aya.core

Class	Description
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.SerShapeResult	serialized ShapeRecognition
SerDef.Struct
Serializer
Serializer.State
SerPat
SerPat.Absurd
SerPat.Bind
SerPat.Clause
SerPat.Ctor
SerPat.ShapedInt
SerPat.Tuple
SerTerm
SerTerm.Access
SerTerm.App
SerTerm.CallData
SerTerm.Coe
SerTerm.Con
SerTerm.Data
SerTerm.DeState
SerTerm.FieldRef
SerTerm.Fn
SerTerm.Interval
SerTerm.Lam
SerTerm.Match
SerTerm.Mula
SerTerm.New
SerTerm.PartEl
SerTerm.PartTy
SerTerm.Path
SerTerm.PathApp
SerTerm.PathLam
SerTerm.Pi
SerTerm.Prim
SerTerm.Proj
SerTerm.Ref
SerTerm.SerArg
SerTerm.SerCube
SerTerm.SerParam
SerTerm.ShapedInt
SerTerm.ShapedList
SerTerm.Sigma
SerTerm.SimpVar
SerTerm.Sort
SerTerm.Str
SerTerm.Struct
SerTerm.Tup