<!-- Type Reference -->

# A lookup list for every core AEON value form.

This page is intentionally dry. It is the reference list: syntax, accepted values, alternative type names, and reserved names. Use the value types page when you want the explanation behind special forms.

## String
- **Syntax:** `"..." or '...' or \`...\``
- **Accepted values:** Any quoted text value.
- **Alternative type names:** string
- **Reserved names:** None
**Example:**
```aeon
title:string = "Daily note"
```

## Trimtick / prose
- **Syntax:** `> \`...\` through >>>> \`...\``
- **Accepted values:** Multiline text with trimming behavior for prose-like content.
- **Alternative type names:** trimtick; prose is the common prose label
- **Reserved names:** prose
**Example:**
```aeon
body:prose = >`
  Hello
  from AEON
`
```

## Number
- **Syntax:** `42, 3.14, .5, 1e3, 1_000`
- **Accepted values:** Finite numeric literals.
- **Alternative type names:** number, n
- **Reserved names:** int, uint, int8, int16, int32, int64, uint8, uint16, uint32, uint64, float, float32, float64
**Example:**
```aeon
port:number = 8080
```

## NaN
- **Syntax:** `NaN or -NaN`
- **Accepted values:** Explicit not-a-number values.
- **Alternative type names:** nan
- **Reserved names:** None
**Example:**
```aeon
reading:nan = NaN
```

## Infinity
- **Syntax:** `Infinity or -Infinity`
- **Accepted values:** Explicit infinite numeric edge values.
- **Alternative type names:** infinity
- **Reserved names:** None
**Example:**
```aeon
upperBound:infinity = Infinity
```

## Boolean
- **Syntax:** `true or false`
- **Accepted values:** Truth values.
- **Alternative type names:** boolean, bool
- **Reserved names:** None
**Example:**
```aeon
published:boolean = true
```

## Toggle
- **Syntax:** `yes, no, on, off`
- **Accepted values:** Human-readable toggles where the words matter.
- **Alternative type names:** toggle
- **Reserved names:** None
**Example:**
```aeon
enabled:toggle = on
```

## Null
- **Syntax:** `!none, !notSet, !notApplicable, !tombstone, !"reason"`
- **Accepted values:** Absence with an explicit reason.
- **Alternative type names:** null
- **Reserved names:** !none, !notSet, !notApplicable, !tombstone
**Example:**
```aeon
middleName:null = !notApplicable
```

## Hex
- **Syntax:** `#ff00aa`
- **Accepted values:** Hexadecimal byte/color-like literals.
- **Alternative type names:** hex
- **Reserved names:** None
**Example:**
```aeon
brandColor:hex = #ff00aa
```

## Radix
- **Syntax:** `%1011 with a separator such as :radix[2]`
- **Accepted values:** Digits interpreted in an explicit base.
- **Alternative type names:** radix
- **Reserved names:** radix2, radix6, radix8, radix12
**Example:**
```aeon
bits:radix[2] = %1011
```

## Encoding
- **Syntax:** `$QmFzZTY0IQ==`
- **Accepted values:** Encoded inline payloads.
- **Alternative type names:** encoding
- **Reserved names:** base64, embed, inline
**Example:**
```aeon
payload:base64 = $QmFzZTY0IQ==
```

## Date
- **Syntax:** `2026-05-05`
- **Accepted values:** Calendar dates without a time of day.
- **Alternative type names:** date
- **Reserved names:** None
**Example:**
```aeon
shipDate:date = 2026-05-05
```

## Time
- **Syntax:** `09:, 09:30, 09:30Z, 09:30+10:00`
- **Accepted values:** Times of day with optional UTC or offset information.
- **Alternative type names:** time
- **Reserved names:** None
**Example:**
```aeon
opensAt:time = 09:30
```

## DateTime
- **Syntax:** `2026-05-05T09:30:00Z`
- **Accepted values:** Combined date and time values.
- **Alternative type names:** datetime
- **Reserved names:** zrut for zoned round-trip values
**Example:**
```aeon
published:datetime = 2026-05-05T09:30:00Z
```

## Separator
- **Syntax:** `^300x250 with a separator such as :sep[x]`
- **Accepted values:** Separator-shaped literals where the separator has meaning.
- **Alternative type names:** sep
- **Reserved names:** kadot
**Example:**
```aeon
dimensions:sep[x] = ^300x250
```

## Object
- **Syntax:** `{ key:type = value }`
- **Accepted values:** Named bindings grouped together.
- **Alternative type names:** object, obj, o
- **Reserved names:** envelope
**Example:**
```aeon
contact:object = {
  name:string = "Bob"
}
```

## List
- **Syntax:** `[1, 2, 3] or [:number = 3]`
- **Accepted values:** Ordered repeated values.
- **Alternative type names:** list
- **Reserved names:** None
**Example:**
```aeon
scores:list<number> = [3, 4, 5]
```

## Tuple
- **Syntax:** `(12, 42)`
- **Accepted values:** Fixed positions where each slot has a role.
- **Alternative type names:** tuple
- **Reserved names:** None
**Example:**
```aeon
point:tuple<number> = (12, 42)
```

## Node
- **Syntax:** `<tag("text")>`
- **Accepted values:** Tagged tree-shaped values.
- **Alternative type names:** node
- **Reserved names:** None
**Example:**
```aeon
page:node = <section(
  <title("Hello")>
)>
```

## Clone reference
- **Syntax:** `~path.to.value`
- **Accepted values:** Copy-intent reference to another value.
- **Alternative type names:** Reference form, not a datatype label
- **Reserved names:** None
**Example:**
```aeon
name:string = "Alice"
displayName:string = ~name
```

## Pointer reference
- **Syntax:** `~>path.to.value`
- **Accepted values:** Pointer-intent reference to another value.
- **Alternative type names:** Reference form, not a datatype label
- **Reserved names:** None
**Example:**
```aeon
contact:object = {
  name:string = "Bob"
}
primaryContact:object = ~>contact
```