def state_of

bend-collections@1.0.0.0 · src/crypto/aes/aes.bend:180

import Base
import bend-collections@1.0.0.0/src/crypto/aes/types.bend as T

180def state_of(bytes: List<&2, U32>) -> Maybe<&2, T.State>:
181  match bytes:
182    case a0 <> a1 <> a2 <> a3 <> b0 <> b1 <> b2 <> b3 <> c0 <> c1 <> c2 <> c3 <> d0 <> d1 <> d2 <> d3 <> Nil{}:
183      Some{T.S{T.W{a0, a1, a2, a3}, T.W{b0, b1, b2, b3}, T.W{c0, c1, c2, c3}, T.W{d0, d1, d2, d3}}}
184    case _:
185      None{}