~/bend-docscommunity

src/permutation.bend checks

raw source on the hub · import 0x48cee57f42dae6ba4c727fbf982cdd4d/src/permutation.bend as Permutation

3 imports
import Base
import ./types.bend as T
import ./lane.bend as L

Definitions

def initial source · line 5 · raw

0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.State

def constant source · line 8 · raw

@i:Nat -> 0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.Lane

def round source · line 36 · raw

@s:0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.State -> @rc:0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.Lane -> 0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.State

def rounds_short source · line 76 · raw

@n:Nat -> @+i:Nat -> @s:0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.State -> 0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.State

def rounds source · line 81 · raw

@n:Nat -> @+i:Nat -> @s:0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.State -> 0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.State

def permute source · line 210 · raw

@s:0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.State -> 0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.State