2015-04-06 15:49:30 -05:00
|
|
|
#![crate_name = "foo"]
|
|
|
|
|
2015-01-27 11:26:52 -06:00
|
|
|
pub mod io {
|
2015-02-12 09:29:52 -06:00
|
|
|
pub trait Reader { fn dummy(&self) { } }
|
2015-01-27 11:26:52 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
pub enum Maybe<A> {
|
|
|
|
Just(A),
|
|
|
|
Nothing
|
|
|
|
}
|
|
|
|
|
|
|
|
// @has foo/prelude/index.html
|
|
|
|
pub mod prelude {
|
2016-11-23 22:11:31 -06:00
|
|
|
// @has foo/prelude/index.html '//code' 'pub use io;'
|
|
|
|
// @has foo/prelude/index.html '//code' 'pub use io::Reader;'
|
2015-01-27 11:26:52 -06:00
|
|
|
#[doc(no_inline)] pub use io::{self, Reader};
|
2016-11-23 22:11:31 -06:00
|
|
|
// @has foo/prelude/index.html '//code' 'pub use Maybe;'
|
|
|
|
// @has foo/prelude/index.html '//code' 'pub use Maybe::Just;'
|
|
|
|
// @has foo/prelude/index.html '//code' 'pub use Maybe::Nothing;'
|
2015-01-27 11:26:52 -06:00
|
|
|
#[doc(no_inline)] pub use Maybe::{self, Just, Nothing};
|
|
|
|
}
|