Class Hierarchy
- java.lang.Object
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- java.lang.RuntimeException
- org.aya.generic.util.InternalException
- org.aya.core.serde.SerDef.DeserializeException
- org.aya.generic.util.InternalException
- java.lang.RuntimeException
- java.lang.Exception
- java.lang.Throwable (implements java.io.Serializable)
Interface Hierarchy
- org.aya.guest0x0.cubical.Restr.TermLike<E>
- org.aya.core.serde.SerTerm (also extends java.io.Serializable)
- java.io.Serializable
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)
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
Record Class Hierarchy
- 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.SerRenamedOp (implements java.io.Serializable)
- org.aya.core.serde.SerDef.SerShapeResult (implements java.io.Serializable)
- 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.Clause (implements java.io.Serializable)
- org.aya.core.serde.SerPat.Ctor (implements org.aya.core.serde.SerPat)
- 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.Coe (implements org.aya.core.serde.SerTerm)
- org.aya.core.serde.SerTerm.Con (implements org.aya.core.serde.SerTerm)
- org.aya.core.serde.SerTerm.Data (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.Fn (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.Match (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.PartEl (implements org.aya.core.serde.SerTerm)
- org.aya.core.serde.SerTerm.PartTy (implements org.aya.core.serde.SerTerm)
- org.aya.core.serde.SerTerm.Path (implements org.aya.core.serde.SerTerm)
- org.aya.core.serde.SerTerm.PathApp (implements org.aya.core.serde.SerTerm)
- org.aya.core.serde.SerTerm.PathLam (implements org.aya.core.serde.SerTerm)
- org.aya.core.serde.SerTerm.Pi (implements org.aya.core.serde.SerTerm)
- org.aya.core.serde.SerTerm.Prim (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.SerCube (implements java.io.Serializable)
- 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.ShapedList (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.Sort (implements org.aya.core.serde.SerTerm)
- org.aya.core.serde.SerTerm.Str (implements org.aya.core.serde.SerTerm)
- org.aya.core.serde.SerTerm.Struct (implements org.aya.core.serde.SerTerm)
- org.aya.core.serde.SerTerm.Tup (implements org.aya.core.serde.SerTerm)
- java.lang.Record