sol2rust tool: Variable type issue

[Subway2023]

I am developing a tool to convert Solidity into Stylus, but I’m stuck on the variable type mappings.

Is there any detailed documentation explaining how Solidity types should be mapped to Stylus? For example, bytes32 can be mapped to B32, but bytes8 cannot be mapped to B8.

I would like to have complete documentation that shows the full correspondence between the types.

[Subway2023]

bytes1 cannot be directly represented in Rust either.

contract Test {
    int a;
    function UintToBytes(uint8 h) public returns (bytes1 s) {
        
        return bytes1(h);
    }
}

#![cfg_attr(not(any(test, feature = "export-abi")), no_main)]
#![cfg_attr(not(any(test, feature = "export-abi")), no_std)]

#[macro_use]
extern crate alloc;
use alloc::vec::Vec;
use stylus_sdk::{alloy_primitives::*, prelude::*};sol_storage! {
    #[entrypoint]
    pub struct Test {
        int a; // internal
    }
}

#[public]
impl Test {
    // visibility: public
    pub fn UintToBytes(&self, h: U8) -> Bytes {
        // TODO: implement
    }
}

compile error

error[E0308]: mismatched types
  --> src/lib.rs:17:41
   |
17 |     pub fn UintToBytes(&self, h: U8) -> Bytes {
   |            -----------                  ^^^^^ expected `Bytes`, found `()`
   |            |
   |            implicitly returns `()` as its body has no tail or `return` expression

error[E0277]: the trait bound `alloy_primitives::Bytes: EncodableReturnType` is not satisfied
  --> src/lib.rs:17:41
   |
17 |     pub fn UintToBytes(&self, h: U8) -> Bytes {
   |                                         ^^^^^ the trait `AbiType` is not implemented for `alloy_primitives::Bytes`
   |