flaw-math/Flaw/Math/Internal.hs
Redundant $ Open
Open
tySynD (mkName $ mathTypePrefix ++ dimStr) [] [t| $(conT $ mkName $ "Mat" ++ dimStr) $(conT mathTypeName) |]
- Read upRead up
- Exclude checks
Found
conT $ mkName
Perhaps
conT mkName
Redundant $ Open
Open
tySynD (mkName $ mathTypePrefix ++ dimStr) [] [t| $(conT $ mkName $ "Vec" ++ dimStr) $(conT mathTypeName) |]
- Read upRead up
- Exclude checks
Found
conT $ mkName
Perhaps
conT mkName