See https://github.com/enthought/pyface/blob/33542a4afd6452f08c18756229253b3d384e0da1/pyface/i_splash_screen.py#L31

Using an Image trait here would mean that users could pass image names or paths instead of ImageResource objects.

Hi Taine,

In one of your example, you have

@trait Addable{L, R} begin
    (+) :: [L, R] => Any
    (+) = Base.:+
end

I'd like to do something like this, but avoid the Any. I was thinking something like

@trait Addable{L, R, X} where {X = inferAddable(L,R)} begin
    (+) :: [L, R] => X
    (+) = Base.:+
end

But then I'm having trouble getting the `@i

What's here is the bare minimum necessary.

Three things I think are high priority:

• Add module documentation
• Fix doctests that don't pass (predominantly in the buffered mod)
• Add example patterns for making crates compatible with bare-io

If anybody would like guidance on this, please hit me up.