Refine unit requirement

Tento commit je obsažen v:
2024-10-06 13:44:19 +02:00
rodič 381ecd5f03
revize 1fce00e531

Zobrazit soubor

@@ -104,7 +104,7 @@ runFunction f input = genDependency (makeDependency input (Function f))
runFunctionIO :: IsFunctionIO f a b => f -> Token a -> DepGenM' b
runFunctionIO f input = genDependency (makeDependency input (FunctionIO f))
runFunctionIO_ :: IsFunctionIO f a b => f -> Token a -> DepGenM ()
runFunctionIO_ :: IsFunctionIO f a () => f -> Token a -> DepGenM ()
runFunctionIO_ f input = tellDep $ makeDependency input (FunctionIO f) NoToken
class TokenableTo t s | s -> t where