esmeta
API
Generated with
esmeta/esmeta/esmeta.ty/MapTy

MapTy

esmeta.ty.MapTy
See theMapTy companion object
enum MapTy extends TyElem, Lattice[MapTy]

map types

Attributes

Companion
object
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
trait Lattice[MapTy]
trait TyElem
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

case case Bot extends MapTy
final case class Elem(key: ValueTy, value: ValueTy)
case case Top extends MapTy
Generated with