blob: 70a9d6045b8db3fee7809a3491a42b97cc3f1146 [file] [log] [blame]
extension type ET_Bivariant<T>(T Function(T) f) {}
extension type ET_BivariantAlias<T>(Bivariant<T> f) {}
extension type ET_Contravariant<T>(void Function(T) f) {}
extension type ET_ContravariantAlias<T>(Contravariant<T> f) {}
extension type ET_ContravariantAlias1<T>(Contravariant<T> Function() f) {}
extension type ET_ContravariantAlias2<T>(void Function(Covariant<T>) f) {}
extension type ET_Covariant<T>(T Function() f) {}
extension type ET_CovariantAlias<T>(Covariant<T> f) {}
extension type ET_CovariantAlias1<T>(Covariant<T> Function() f) {}
extension type ET_CovariantAlias2<T>(void Function(Contravariant<T>) f) {}
extension type ET_Invariant<T>(void Function<S extends T>() f) {}
extension type ET_InvariantAlias<T>(Invariant<T> f) {}
typedef Bivariant<T> = T Function(T);
typedef Contravariant<T> = void Function(T);
typedef Covariant<T> = T Function();
typedef Invariant<T> = void Function<S extends T>();