Searched refs:dictTypeName (Results 1 – 4 of 4) sorted by relevance
220 …let dictTy = foldl srcTypeApp (srcTypeConstructor (fmap (coerceProperName . dictTypeName) classNam…276 … unit (foldl srcTypeApp (srcTypeConstructor (fmap (coerceProperName . dictTypeName) superclass)) t…282 ctor = DataConstructorDeclaration sa (coerceProperName $ dictTypeName name)284 in DataDeclaration sa Newtype (coerceProperName $ dictTypeName name) args [ctor]348 …dictTy = foldl srcTypeApp (srcTypeConstructor (fmap (coerceProperName . dictTypeName) className)) …350 dict = App (Constructor ss (fmap (coerceProperName . dictTypeName) className)) props
344 in (dictTypeName <$> name, (k, TypeSynonym))585 dictTypeName :: ProperName a -> ProperName a586 dictTypeName = ProperName . dictTypeName' . runProperName function
249 | let dictName = dictTypeName . coerceProperName $ className
389 …return $ App (Constructor nullSourceSpan (coerceProperName . dictTypeName <$> C.IsSymbol)) (Litera…