Kind

Types

Link copied to clipboard
data class Array(val element: MilanoType) : MilanoType.Kind
Link copied to clipboard
data object Bool : MilanoType.Kind
Link copied to clipboard
data object Double : MilanoType.Kind
Link copied to clipboard
data class Enum(val members: Set<String>) : MilanoType.Kind

A closed set of member strings; two enum types are the same exactly when their member sets are equal (structural identity).

Link copied to clipboard
data object Int : MilanoType.Kind
Link copied to clipboard
data class Record(val fields: Map<String, MilanoType>) : MilanoType.Kind
Link copied to clipboard
data object Text : MilanoType.Kind