Ty
type Subst = IntMap T Source #
runTyM :: Int -> TyM a b -> Either (Err a) (b, Int) Source #
tyP :: Ord a => Program a -> TyM a (Program T) Source #
match :: T -> T -> Subst Source #
aT :: Subst -> T -> T Source #
tyOf :: Ord a => E a -> TyM a T Source #