structure Unicode.Aliases : Type

Type for list of aliases

• aliasMap : Std.HashMap String.Slice (Array String.Slice)
• nameMap : Std.HashMap String.Slice String.Slice

def Unicode.instInhabitedAliases.default : Aliases

Equations

• Unicode.instInhabitedAliases.default = { aliasMap := default, nameMap := default }

@[implicit_reducible]

instance Unicode.instInhabitedAliases : Inhabited Aliases

Equations

• Unicode.instInhabitedAliases = { default := Unicode.instInhabitedAliases.default }

@[inline]

def Unicode.PropertyAliases.getLongName? (prop : String.Slice) : Option String.Slice

Get the long name of a property

Equations

• Unicode.PropertyAliases.getLongName? prop = Unicode.PropertyAliases.data✝.nameMap.get? prop

@[inline]

def Unicode.PropertyAliases.getLongName! (prop : String.Slice) : String.Slice

Get the long name of a property

Equations

• Unicode.PropertyAliases.getLongName! prop = (Unicode.PropertyAliases.getLongName? prop).get!

@[inline]

def Unicode.PropertyAliases.getAliases? (prop : String.Slice) : Option (Array String.Slice)

Get all aliases of a property

Equations

• Unicode.PropertyAliases.getAliases? prop = do let prop ← Unicode.PropertyAliases.getLongName? prop Unicode.PropertyAliases.data✝.aliasMap.get? prop

@[inline]

def Unicode.PropertyAliases.getAliases! (prop : String.Slice) : Array String.Slice

Get all aliases of a property

Equations

• Unicode.PropertyAliases.getAliases! prop = (Unicode.PropertyAliases.getAliases? prop).get!

def Unicode.PropertyAliases.getShortName? (prop : String.Slice) : Option String.Slice

Get the short name of a property

Equations

• Unicode.PropertyAliases.getShortName? prop = do let a ← Unicode.PropertyAliases.getAliases? prop a[1]? <|> a[0]?

@[inline]

def Unicode.PropertyAliases.getShortName! (prop : String.Slice) : String.Slice

Get the short name of a property

Equations

• Unicode.PropertyAliases.getShortName! prop = (Unicode.PropertyAliases.getShortName? prop).get!

@[inline]

def Unicode.PropertyAliases.getValues? (prop : String.Slice) : Option (Array String.Slice)

Get all values for a property

Equations

• Unicode.PropertyAliases.getValues? prop = do let prop ← Unicode.PropertyAliases.getLongName? prop let al ← Unicode.PropertyValueAliases.data✝.get? prop pure al.aliasMap.keysArray

@[inline]

def Unicode.PropertyAliases.getValues! (prop : String.Slice) : Array String.Slice

Get all values for a property

Equations

• Unicode.PropertyAliases.getValues! prop = (Unicode.PropertyAliases.getValues? prop).get!

@[inline]

def Unicode.PropertyValueAliases.getLongName? (prop val : String.Slice) : Option String.Slice

Get the long name of a property value

Equations

• Unicode.PropertyValueAliases.getLongName? prop val = do let prop ← Unicode.PropertyAliases.getLongName? prop let al ← Unicode.PropertyValueAliases.data✝.get? prop al.nameMap.get? val

@[inline]

def Unicode.PropertyValueAliases.getLongName! (prop val : String.Slice) : String.Slice

Get the long name of a property value

Equations

• Unicode.PropertyValueAliases.getLongName! prop val = (Unicode.PropertyValueAliases.getLongName? prop val).get!

@[inline]

def Unicode.PropertyValueAliases.getAliases? (prop val : String.Slice) : Option (Array String.Slice)

Get all aliases of a property value

Equations

• One or more equations did not get rendered due to their size.

@[inline]

def Unicode.PropertyValueAliases.getAliases! (prop val : String.Slice) : Array String.Slice

Get all aliases of a property

Equations

• Unicode.PropertyValueAliases.getAliases! prop val = (Unicode.PropertyValueAliases.getAliases? prop val).get!

@[inline]

def Unicode.PropertyValueAliases.getShortName? (prop val : String.Slice) : Option String.Slice

Get the short name of a property value

Equations

• Unicode.PropertyValueAliases.getShortName? prop val = do let a ← Unicode.PropertyValueAliases.getAliases? prop val a[1]? <|> a[0]?

@[inline]

def Unicode.PropertyValueAliases.getShortName! (prop val : String.Slice) : String.Slice

Get the short name of a property value

Equations

• Unicode.PropertyValueAliases.getShortName! prop val = (Unicode.PropertyValueAliases.getShortName? prop val).get!