2022-02-22 18:52:56 -05:00
|
|
|
module Luau.RuntimeType.ToString where
|
|
|
|
|
|
|
|
open import FFI.Data.String using (String)
|
2022-03-02 18:26:58 -05:00
|
|
|
open import Luau.RuntimeType using (RuntimeType; function; number; nil; boolean; string)
|
2022-02-22 18:52:56 -05:00
|
|
|
|
|
|
|
runtimeTypeToString : RuntimeType → String
|
|
|
|
runtimeTypeToString function = "function"
|
|
|
|
runtimeTypeToString number = "number"
|
|
|
|
runtimeTypeToString nil = "nil"
|
2022-02-24 14:17:46 -05:00
|
|
|
runtimeTypeToString boolean = "boolean"
|
2022-03-02 18:26:58 -05:00
|
|
|
runtimeTypeToString string = "string"
|