README- TrAnyable
- ::AnyAny::Any
- ::dyn_castAny::dyn_cast
- ::idAny::id
- ::unsafe_castAny::unsafe_cast
- TIso
- TPayload
- ::TypeIdTypeId::TypeId
any
Type-safe Any for WASM/JS/Native targets, without json/string serialization
Any
downcast
Author
Version
0.2.1
License
Apache-2.0
Repository
Last updated
3 months ago
Downloads
569
#Any
What's this? This module provides a type-safe Any type and a dyn_cast method,
without JSON/string serialization.
///|
test "Any and dyn_cast" {
let a : @any.Any = Any(false)
let b : @any.Any = Any([1, 2, 3])
let c : Bool = a.dyn_cast()
let d : Array[Int] = b.dyn_cast()
let e : Result[Int, _] = try? b.dyn_cast()
debug_inspect(c, content="false")
debug_inspect(d, content="[1, 2, 3]")
debug_inspect(
e,
content=(
#|Err(Failure("failed to cast Array[Int] to Int"))
),
)
}#Advantages
- True type safety
- Supports all backends
- No Json/String serialization or deserialization
#Limitations
- Requires manually implementing TypeInfo for custom types
- Some boxing and conversion overhead for generic types
#More examples
- dyn_cast failed///|
test "dyn_cast failed" {
let a = Any(false)
debug_inspect(
try? (a.dyn_cast() : Int),
content=(
#|Err(Failure("README.mbt.md:50:13-50:25@Yoorkin/any FAILED: failed to cast Bool to Int"))
),
)
}
- implement TypeInfo for custom type///|
struct Pos {
x : Int
y : Int
} derive(Debug)
///|
extenum @any.Payload += {
Pos(Pos)
}
///|
impl Anyable for Pos with fn iso() {
{
id: TypeId("my/pkg", "Pos", []),
box: p => Pos(p),
unbox: payload => {
guard payload is Pos(p)
p
},
}
}
///|
test {
let a = Any({ x: 10, y: 20 })
let b : Pos = a.dyn_cast()
debug_inspect(b, content="{ x: 10, y: 20 }")
}
Anyable
impl Anyable for FlagActionimpl Anyable for OptionActionimpl Anyable for PositionArgimpl Anyable for ValueRangeimpl Anyable for ValueSourceimpl Anyable for PriorityQueue[T]impl Anyable for JsonDecodeErrorimpl Anyable for ParseErrorimpl Anyable for PriorityQueue[T]impl Anyable for RandomStateimpl Anyable for MatchResultimpl Anyable for StringViewAny
type AnyAny::dyn_cast
Install
Download zipType-safe Any for WASM/JS/Native targets, without json/string serialization
Anydowncast
Apache-2.0
Updated 3 months ago
569 downloads