Safe Haskell | None |
---|

# Documentation

zeroBasedSize :: Value val => val (ZeroBased n) -> val nSource

singletonRange :: n -> Range nSource

singletonShifted :: n -> Shifted nSource

decomposeGen :: C n => Value (PairStruct n) -> CodeGenFunction r (T n, T n)Source

composeGen :: C n => T n -> T n -> CodeGenFunction r (Value (PairStruct n))Source