Documentation

computeTypecheckingEnvironment :: ShouldUseTndr Transaction -> Codebase IO Symbol Ann -> [Type Symbol Ann] -> UnisonFile Symbol Ann -> Transaction (Env Symbol Ann) Source #

typecheckTerm :: Codebase IO Symbol Ann -> Term Symbol Ann -> Transaction (Result (Seq (Note Symbol Ann)) (Type Symbol Ann)) Source #