Lines Matching refs:TypeEnv

100 newtype TypeEnv =  type
101   TypeEnv  constructor
104 instance Monoid TypeEnv where
105   mempty = TypeEnv mempty
107 instance Semigroup TypeEnv where
108   l <> r = TypeEnv
111 lookupTypeVar :: TVar -> TypeEnv -> Maybe (Either Nat' TValue)
114 bindTypeVar :: TVar -> Either Nat' TValue -> TypeEnv -> TypeEnv
118 evalType :: TypeEnv -> Type -> Either Nat' TValue
170 evalNewtypeBody :: TypeEnv -> Newtype -> [Either Nat' TValue] -> RecordMap Ident TValue
180 evalValType :: TypeEnv -> Type -> TValue
187 evalNumType :: TypeEnv -> Type -> Nat'