Type Alias FromGiven<Class, F, G, Os>Internal
FromGiven<Class, F, G, Os>: Os extends ParameterizedGiven<Class, F, any, any, any, infer In1, infer Out2, infer Out1> ? { G: Kind<Class, In1, Out2, Out1, G>; getArbitraryG: LiftArbitrary<G, In1, Out2, Out1>; getEquivalenceG: LiftEquivalence<G, In1, Out2, Out1>; } : never Type Parameters
- Class extends TypeLambda
- F extends TypeLambda
- G extends TypeLambda
- Os extends ParameterizedGiven<Class, F, any, any, any, any, any, any>