Documentation

unzipZeroBased :: T (ZeroBased n) -> ZeroBased (T n)Source

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

zeroBased :: Value val => val n -> val (ZeroBased n)Source

singletonRange :: n -> Range nSource

unzipRange :: T (Range n) -> Range (T n)Source

zipRange :: T n -> T n -> T (Range n)Source

singletonShifted :: n -> Shifted nSource

unzipShifted :: T (Shifted n) -> Shifted (T n)Source

zipShifted :: T n -> T n -> T (Shifted n)Source

type PairStruct n = Struct (Struct n, (Struct n, ()))Source

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