Searched refs:variableToCanType (Results 1 – 1 of 1) sorted by relevance
345 variableToCanType :: Variable -> StateT NameState IO Can.Type346 variableToCanType variable = function379 do canArgs <- traverse (traverse variableToCanType) args380 canType <- variableToCanType realVariable391 Can.TType home name <$> traverse variableToCanType args395 <$> variableToCanType a396 <*> variableToCanType b420 <$> variableToCanType a421 <*> variableToCanType b422 <*> traverse variableToCanType maybeC[all …]