程序包org.aya.core.serde的分层结构

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • java.lang.Record
    • org.aya.core.serde.CompiledAya (implements java.io.Serializable)
    • org.aya.core.serde.SerDef.Ctor (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.SerDef.Data (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.SerDef.Field (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.SerDef.Fn (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.SerDef.Prim (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.SerDef.QName (implements java.io.Serializable)
    • org.aya.core.serde.SerDef.SerBind (implements java.io.Serializable)
    • org.aya.core.serde.SerDef.SerOp (implements java.io.Serializable)
    • org.aya.core.serde.SerDef.SerOpDecl (implements org.aya.util.binop.OpDecl)
    • org.aya.core.serde.SerDef.Struct (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.Serializer
    • org.aya.core.serde.Serializer.State
    • org.aya.core.serde.SerPat.Absurd (implements org.aya.core.serde.SerPat)
    • org.aya.core.serde.SerPat.Bind (implements org.aya.core.serde.SerPat)
    • org.aya.core.serde.SerPat.Ctor (implements org.aya.core.serde.SerPat)
    • org.aya.core.serde.SerPat.End (implements org.aya.core.serde.SerPat)
    • org.aya.core.serde.SerPat.Matchy (implements java.io.Serializable)
    • org.aya.core.serde.SerPat.ShapedInt (implements org.aya.core.serde.SerPat)
    • org.aya.core.serde.SerPat.Tuple (implements org.aya.core.serde.SerPat)
    • org.aya.core.serde.SerTerm.Access (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.App (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.CallData (implements java.io.Serializable)
    • org.aya.core.serde.SerTerm.ConCall (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.DataCall (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.DeState
    • org.aya.core.serde.SerTerm.FieldRef (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.FnCall (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Interval (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Lam (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Mula (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.New (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Pi (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.PrimCall (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Proj (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Ref (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.SerArg (implements java.io.Serializable)
    • org.aya.core.serde.SerTerm.SerMula.Conn (implements org.aya.core.serde.SerTerm.SerMula)
    • org.aya.core.serde.SerTerm.SerMula.Inv (implements org.aya.core.serde.SerTerm.SerMula)
    • org.aya.core.serde.SerTerm.SerMula.Lit (implements org.aya.core.serde.SerTerm.SerMula)
    • org.aya.core.serde.SerTerm.SerParam (implements java.io.Serializable)
    • org.aya.core.serde.SerTerm.ShapedInt (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Sigma (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.SimpVar (implements java.io.Serializable)
    • org.aya.core.serde.SerTerm.Str (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.StructCall (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Tup (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Univ (implements org.aya.core.serde.SerTerm)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • org.aya.generic.util.InternalException
          • org.aya.core.serde.SerDef.DeserializeException

接口分层结构

• java.io.Serializable
  • org.aya.core.serde.SerDef
  • org.aya.core.serde.SerPat
  • org.aya.core.serde.SerTerm
  • org.aya.core.serde.SerTerm.SerMula

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.aya.core.serde.SerDef.SerAyaShape (implements java.io.Serializable)