
  0 | module JS.Any
  1 | 
  2 | import JS.Inheritance
  3 | import JS.Marshall
  4 | 
  5 | %default total
  6 | 
  7 | public export
  8 | record Any where
  9 |   constructor MkAny
 10 |   value : tpe
 11 | 
 12 | export
 13 | ToFFI Any AnyPtr where
 14 |   toFFI (MkAny v) = believe_me v
 15 | 
 16 | export
 17 | FromFFI Any AnyPtr where
 18 |   fromFFI = Just . MkAny
 19 | 
 20 | export
 21 | SafeCast Any where
 22 |   safeCast = Just . MkAny
 23 |