1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
use crate::syntax::core::ValInfo; pub use self::error::*; pub use self::state::*; /// `Control.Monad.Except`, as type-checking error. mod error; /// `Control.Monad.State`, as type-checking state. mod state; /// Type-Checking Monad. pub type TCM<T = TCS> = Result<T, TCE>; /// Val-Producing Type-Checking Monad. pub type ValTCM = TCM<(ValInfo, TCS)>;