provableFromClass
function provableFromClass<A, T, V, J>(Class: Constructor<T> & {
check: (x: T) => void;
empty: () => T;
}, typeObj: A): IsPure<A> extends true ? ProvablePureExtended<T, V, J> : ProvableExtended<T, V, J>
Defined in: lib/provable/types/provable-derivers.ts:85
Type Parameters
• A extends NestedProvable
• T extends any
• V extends any
• J extends
| null
| string
| number
| boolean
| {}
| {}
| (
| null
| string
| number
| boolean
| {}
| (string | number | boolean | { [x: number]: string | number | boolean | ... | (string | number | boolean | ... | (string | number | boolean | ... | (string | number | boolean | ... | (string | ... 5 more ... | null)[] | { ...; } | null)[] | { ...; } | null)[] | { ...; } | null)[] | { ...; } | null; } | (string | ......
| {})[]
| {}
Parameters
Class
Constructor
<T
> & {
check
: (x
: T
) => void
;
empty
: () => T
;
}
typeObj
A
Returns
IsPure
<A
> extends true
? ProvablePureExtended
<T
, V
, J
> : ProvableExtended
<T
, V
, J
>